Does the differential of an augmented dga algebra fix the augmentation ideal?
Clash 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=)
linear-algebra abstract-algebra homological-algebra multilinear-algebra coalgebras
add a comment |Â
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=)
linear-algebra abstract-algebra homological-algebra multilinear-algebra coalgebras
$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
add a comment |Â
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=)
linear-algebra abstract-algebra homological-algebra multilinear-algebra coalgebras
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
linear-algebra abstract-algebra homological-algebra multilinear-algebra coalgebras
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
add a comment |Â
$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
add a comment |Â
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.
I see, thank you!
â budwarrior
Sep 4 at 20:01
add a comment |Â
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.
I see, thank you!
â budwarrior
Sep 4 at 20:01
add a comment |Â
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.
I see, thank you!
â budwarrior
Sep 4 at 20:01
add a comment |Â
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.
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.
answered Sep 4 at 19:01
JHF
3,996924
3,996924
I see, thank you!
â budwarrior
Sep 4 at 20:01
add a comment |Â
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
add a comment |Â
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
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
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
$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