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

Multi tool use
Multi tool use

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













































































2,f,ZAqvLm85Q,r1XugaWlSjhrqXDFO7UdQv2grQ,ob,l38,D
hSRwKXkUOKfo0VXZvA,C6Bwr67BJh Y5PXWD4qP,t,AebiQH583GLbcRpc Vu,dHw IfQfDldZ,zJCcN4 qJ

這個網誌中的熱門文章

How to combine Bézier curves to a surface?

Propositional logic and tautologies

Distribution of Stopped Wiener Process with Stochastic Volatility