Does the differential of an augmented dga algebra fix the augmentation ideal?

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
1
down vote

favorite












I am reading about the bar/cobar construction in the book Algebraic Operads. The differential on the bar construction of a augmented dga algebra $A$ is a sum of two differentials $d_1+d_2$ where $d_1$ is somehow induced from the differential $d_A$ on $A$. I know we get a differential on $A^otimes n$ by taking $sum_i 1^otimes i-1otimes d_Aotimes 1^otimes n-i$. But this is only a differential on $barA^otimes n$ if $d_A(barA)subset barA$ (where $barA$ is the kernel of the augmentation map). My question is if this is true in general and if not how do we get a differential on $barA^otimes n$?



Much grateful for any answer=)










share|cite|improve this question





















  • $d_A(barA) subseteq barA$ provided $d_A$ commutes with the augmentation map.
    – JHF
    Sep 3 at 20:52










  • OK that makes sense, but do you know then how to get a differential on $barA^otimes n$ from $d_A$? Or do we have to assume that the augmentation map of a dga algebra $A$ commutes with the differential $d_A$ in order to construct $BA$?
    – budwarrior
    Sep 4 at 6:17














up vote
1
down vote

favorite












I am reading about the bar/cobar construction in the book Algebraic Operads. The differential on the bar construction of a augmented dga algebra $A$ is a sum of two differentials $d_1+d_2$ where $d_1$ is somehow induced from the differential $d_A$ on $A$. I know we get a differential on $A^otimes n$ by taking $sum_i 1^otimes i-1otimes d_Aotimes 1^otimes n-i$. But this is only a differential on $barA^otimes n$ if $d_A(barA)subset barA$ (where $barA$ is the kernel of the augmentation map). My question is if this is true in general and if not how do we get a differential on $barA^otimes n$?



Much grateful for any answer=)










share|cite|improve this question





















  • $d_A(barA) subseteq barA$ provided $d_A$ commutes with the augmentation map.
    – JHF
    Sep 3 at 20:52










  • OK that makes sense, but do you know then how to get a differential on $barA^otimes n$ from $d_A$? Or do we have to assume that the augmentation map of a dga algebra $A$ commutes with the differential $d_A$ in order to construct $BA$?
    – budwarrior
    Sep 4 at 6:17












up vote
1
down vote

favorite









up vote
1
down vote

favorite











I am reading about the bar/cobar construction in the book Algebraic Operads. The differential on the bar construction of a augmented dga algebra $A$ is a sum of two differentials $d_1+d_2$ where $d_1$ is somehow induced from the differential $d_A$ on $A$. I know we get a differential on $A^otimes n$ by taking $sum_i 1^otimes i-1otimes d_Aotimes 1^otimes n-i$. But this is only a differential on $barA^otimes n$ if $d_A(barA)subset barA$ (where $barA$ is the kernel of the augmentation map). My question is if this is true in general and if not how do we get a differential on $barA^otimes n$?



Much grateful for any answer=)










share|cite|improve this question













I am reading about the bar/cobar construction in the book Algebraic Operads. The differential on the bar construction of a augmented dga algebra $A$ is a sum of two differentials $d_1+d_2$ where $d_1$ is somehow induced from the differential $d_A$ on $A$. I know we get a differential on $A^otimes n$ by taking $sum_i 1^otimes i-1otimes d_Aotimes 1^otimes n-i$. But this is only a differential on $barA^otimes n$ if $d_A(barA)subset barA$ (where $barA$ is the kernel of the augmentation map). My question is if this is true in general and if not how do we get a differential on $barA^otimes n$?



Much grateful for any answer=)







linear-algebra abstract-algebra homological-algebra multilinear-algebra coalgebras






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Sep 3 at 14:22









budwarrior

10610




10610











  • $d_A(barA) subseteq barA$ provided $d_A$ commutes with the augmentation map.
    – JHF
    Sep 3 at 20:52










  • OK that makes sense, but do you know then how to get a differential on $barA^otimes n$ from $d_A$? Or do we have to assume that the augmentation map of a dga algebra $A$ commutes with the differential $d_A$ in order to construct $BA$?
    – budwarrior
    Sep 4 at 6:17
















  • $d_A(barA) subseteq barA$ provided $d_A$ commutes with the augmentation map.
    – JHF
    Sep 3 at 20:52










  • OK that makes sense, but do you know then how to get a differential on $barA^otimes n$ from $d_A$? Or do we have to assume that the augmentation map of a dga algebra $A$ commutes with the differential $d_A$ in order to construct $BA$?
    – budwarrior
    Sep 4 at 6:17















$d_A(barA) subseteq barA$ provided $d_A$ commutes with the augmentation map.
– JHF
Sep 3 at 20:52




$d_A(barA) subseteq barA$ provided $d_A$ commutes with the augmentation map.
– JHF
Sep 3 at 20:52












OK that makes sense, but do you know then how to get a differential on $barA^otimes n$ from $d_A$? Or do we have to assume that the augmentation map of a dga algebra $A$ commutes with the differential $d_A$ in order to construct $BA$?
– budwarrior
Sep 4 at 6:17




OK that makes sense, but do you know then how to get a differential on $barA^otimes n$ from $d_A$? Or do we have to assume that the augmentation map of a dga algebra $A$ commutes with the differential $d_A$ in order to construct $BA$?
– budwarrior
Sep 4 at 6:17










1 Answer
1






active

oldest

votes

















up vote
2
down vote



accepted










An augmentation of a nonnegatively graded chain complex $A$ is defined as a chain map to the complex that is $k$ in degree zero and $0$ otherwise (see section 1.5.5 in Loday's Algebraic Operads). Thus, it commutes with the boundary map $d_A$ by definition. As mentioned in the comments, this means the augmentation ideal is preserved by $d_A$. So there's no problem in defining the differential in the bar construction as you have.






share|cite|improve this answer




















  • I see, thank you!
    – budwarrior
    Sep 4 at 20:01










Your Answer




StackExchange.ifUsing("editor", function ()
return StackExchange.using("mathjaxEditing", function ()
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
);
);
, "mathjax-editing");

StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "69"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);

else
createEditor();

);

function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
convertImagesToLinks: true,
noModals: false,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);



);













 

draft saved


draft discarded


















StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2903913%2fdoes-the-differential-of-an-augmented-dga-algebra-fix-the-augmentation-ideal%23new-answer', 'question_page');

);

Post as a guest






























1 Answer
1






active

oldest

votes








1 Answer
1






active

oldest

votes









active

oldest

votes






active

oldest

votes








up vote
2
down vote



accepted










An augmentation of a nonnegatively graded chain complex $A$ is defined as a chain map to the complex that is $k$ in degree zero and $0$ otherwise (see section 1.5.5 in Loday's Algebraic Operads). Thus, it commutes with the boundary map $d_A$ by definition. As mentioned in the comments, this means the augmentation ideal is preserved by $d_A$. So there's no problem in defining the differential in the bar construction as you have.






share|cite|improve this answer




















  • I see, thank you!
    – budwarrior
    Sep 4 at 20:01














up vote
2
down vote



accepted










An augmentation of a nonnegatively graded chain complex $A$ is defined as a chain map to the complex that is $k$ in degree zero and $0$ otherwise (see section 1.5.5 in Loday's Algebraic Operads). Thus, it commutes with the boundary map $d_A$ by definition. As mentioned in the comments, this means the augmentation ideal is preserved by $d_A$. So there's no problem in defining the differential in the bar construction as you have.






share|cite|improve this answer




















  • I see, thank you!
    – budwarrior
    Sep 4 at 20:01












up vote
2
down vote



accepted







up vote
2
down vote



accepted






An augmentation of a nonnegatively graded chain complex $A$ is defined as a chain map to the complex that is $k$ in degree zero and $0$ otherwise (see section 1.5.5 in Loday's Algebraic Operads). Thus, it commutes with the boundary map $d_A$ by definition. As mentioned in the comments, this means the augmentation ideal is preserved by $d_A$. So there's no problem in defining the differential in the bar construction as you have.






share|cite|improve this answer












An augmentation of a nonnegatively graded chain complex $A$ is defined as a chain map to the complex that is $k$ in degree zero and $0$ otherwise (see section 1.5.5 in Loday's Algebraic Operads). Thus, it commutes with the boundary map $d_A$ by definition. As mentioned in the comments, this means the augmentation ideal is preserved by $d_A$. So there's no problem in defining the differential in the bar construction as you have.







share|cite|improve this answer












share|cite|improve this answer



share|cite|improve this answer










answered Sep 4 at 19:01









JHF

3,996924




3,996924











  • I see, thank you!
    – budwarrior
    Sep 4 at 20:01
















  • I see, thank you!
    – budwarrior
    Sep 4 at 20:01















I see, thank you!
– budwarrior
Sep 4 at 20:01




I see, thank you!
– budwarrior
Sep 4 at 20:01

















 

draft saved


draft discarded















































 


draft saved


draft discarded














StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2903913%2fdoes-the-differential-of-an-augmented-dga-algebra-fix-the-augmentation-ideal%23new-answer', 'question_page');

);

Post as a guest













































































這個網誌中的熱門文章

How to combine Bézier curves to a surface?

Mutual Information Always Non-negative

Why am i infinitely getting the same tweet with the Twitter Search API?