“Free” Hopf algebraWhen does a certain natural construction on monoidal categories yield a Hopf...
“Free” Hopf algebra
When does a certain natural construction on monoidal categories yield a Hopf algebra?pointed Hopf algebraDifferent Hopf algebra structures on same graded algebraWhen is an exponential functor a bialgebra?Hopf-algebras in associative ring spectracoproduct of the homology of iterated loop space on spheresBott-Samelson theorem for simplicial setsBases of free Hopf algebras over Hopf subalgebrasIs Leray's theorem on commutative Hopf algebras proven in Milnor-Moore?Lang's Jacobian identity: slicker, elementary proof?
$begingroup$
I am reading through the Dyer and Lashof's paper "Homology of Iterated Loop Spaces". They are quoting the following theorem:
If $A$ is a connected, free, associative, commutative, primitively generated mod $p$ Hopf algebra of finite type, then $A$ is isomorphic as a Hopf algebra to a tensor product of free monogenic Hopf algebras, i.e. to a tensor product of exterior and polynomial Hopf algebras each having one generator.
I can find respective theorems in Milnor-Moore's paper, but I cannot understand the "freeness" assumption, as it does not appear elsewhere.
So my questions are:
1) What "free Hopf algebra" might mean in this context? Is it free as an algebra?
2) Is it known that the only "free" Hopf algebras with one generator are external and polynomial ones?
at.algebraic-topology hopf-algebras
$endgroup$
add a comment |
$begingroup$
I am reading through the Dyer and Lashof's paper "Homology of Iterated Loop Spaces". They are quoting the following theorem:
If $A$ is a connected, free, associative, commutative, primitively generated mod $p$ Hopf algebra of finite type, then $A$ is isomorphic as a Hopf algebra to a tensor product of free monogenic Hopf algebras, i.e. to a tensor product of exterior and polynomial Hopf algebras each having one generator.
I can find respective theorems in Milnor-Moore's paper, but I cannot understand the "freeness" assumption, as it does not appear elsewhere.
So my questions are:
1) What "free Hopf algebra" might mean in this context? Is it free as an algebra?
2) Is it known that the only "free" Hopf algebras with one generator are external and polynomial ones?
at.algebraic-topology hopf-algebras
$endgroup$
add a comment |
$begingroup$
I am reading through the Dyer and Lashof's paper "Homology of Iterated Loop Spaces". They are quoting the following theorem:
If $A$ is a connected, free, associative, commutative, primitively generated mod $p$ Hopf algebra of finite type, then $A$ is isomorphic as a Hopf algebra to a tensor product of free monogenic Hopf algebras, i.e. to a tensor product of exterior and polynomial Hopf algebras each having one generator.
I can find respective theorems in Milnor-Moore's paper, but I cannot understand the "freeness" assumption, as it does not appear elsewhere.
So my questions are:
1) What "free Hopf algebra" might mean in this context? Is it free as an algebra?
2) Is it known that the only "free" Hopf algebras with one generator are external and polynomial ones?
at.algebraic-topology hopf-algebras
$endgroup$
I am reading through the Dyer and Lashof's paper "Homology of Iterated Loop Spaces". They are quoting the following theorem:
If $A$ is a connected, free, associative, commutative, primitively generated mod $p$ Hopf algebra of finite type, then $A$ is isomorphic as a Hopf algebra to a tensor product of free monogenic Hopf algebras, i.e. to a tensor product of exterior and polynomial Hopf algebras each having one generator.
I can find respective theorems in Milnor-Moore's paper, but I cannot understand the "freeness" assumption, as it does not appear elsewhere.
So my questions are:
1) What "free Hopf algebra" might mean in this context? Is it free as an algebra?
2) Is it known that the only "free" Hopf algebras with one generator are external and polynomial ones?
at.algebraic-topology hopf-algebras
at.algebraic-topology hopf-algebras
asked 3 hours ago
Igor SikoraIgor Sikora
3558
3558
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
1) Yes, free means free as an algebra. (I don't think it could possibly mean anything else. "Free Hopf algebras" and "free coalgebras" as left adjoints to the forgetful functor don't exist.)
2) is elementary, I think. Let $H$ be a connected free monogenic Hopf algebra. Let $x$ be a generator. Thanks to the connectivity assumption, $deg x > 0$. The algebra $H$ is the free graded-commutative algebra on $x$, either $Bbbk[x]$ if $deg x$ is even or $p = 2$, or $Lambda(x)$ otherwise. Then by counitality and degree arguments, $Delta(x) = 1 otimes x + x otimes 1$, so $H$ is indeed either a polynomial or exterior Hopf algebra.
Note that I used the connectivity assumption above. If you don't assume that $H$ is connected (or at the very least locally conilpotent) then the result becomes false. Consider for example the Hopf algebra of dimension $2$, with basis $(1,x)$, both in degree zero, $x cdot x = 1$, $epsilon(x) = 1$ and $Delta(x) = x otimes x$. In other words, the group algebra of $mathbb{Z}/2mathbb{Z}$.
$endgroup$
add a comment |
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: "504"
};
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',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
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
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f324407%2ffree-hopf-algebra%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
1) Yes, free means free as an algebra. (I don't think it could possibly mean anything else. "Free Hopf algebras" and "free coalgebras" as left adjoints to the forgetful functor don't exist.)
2) is elementary, I think. Let $H$ be a connected free monogenic Hopf algebra. Let $x$ be a generator. Thanks to the connectivity assumption, $deg x > 0$. The algebra $H$ is the free graded-commutative algebra on $x$, either $Bbbk[x]$ if $deg x$ is even or $p = 2$, or $Lambda(x)$ otherwise. Then by counitality and degree arguments, $Delta(x) = 1 otimes x + x otimes 1$, so $H$ is indeed either a polynomial or exterior Hopf algebra.
Note that I used the connectivity assumption above. If you don't assume that $H$ is connected (or at the very least locally conilpotent) then the result becomes false. Consider for example the Hopf algebra of dimension $2$, with basis $(1,x)$, both in degree zero, $x cdot x = 1$, $epsilon(x) = 1$ and $Delta(x) = x otimes x$. In other words, the group algebra of $mathbb{Z}/2mathbb{Z}$.
$endgroup$
add a comment |
$begingroup$
1) Yes, free means free as an algebra. (I don't think it could possibly mean anything else. "Free Hopf algebras" and "free coalgebras" as left adjoints to the forgetful functor don't exist.)
2) is elementary, I think. Let $H$ be a connected free monogenic Hopf algebra. Let $x$ be a generator. Thanks to the connectivity assumption, $deg x > 0$. The algebra $H$ is the free graded-commutative algebra on $x$, either $Bbbk[x]$ if $deg x$ is even or $p = 2$, or $Lambda(x)$ otherwise. Then by counitality and degree arguments, $Delta(x) = 1 otimes x + x otimes 1$, so $H$ is indeed either a polynomial or exterior Hopf algebra.
Note that I used the connectivity assumption above. If you don't assume that $H$ is connected (or at the very least locally conilpotent) then the result becomes false. Consider for example the Hopf algebra of dimension $2$, with basis $(1,x)$, both in degree zero, $x cdot x = 1$, $epsilon(x) = 1$ and $Delta(x) = x otimes x$. In other words, the group algebra of $mathbb{Z}/2mathbb{Z}$.
$endgroup$
add a comment |
$begingroup$
1) Yes, free means free as an algebra. (I don't think it could possibly mean anything else. "Free Hopf algebras" and "free coalgebras" as left adjoints to the forgetful functor don't exist.)
2) is elementary, I think. Let $H$ be a connected free monogenic Hopf algebra. Let $x$ be a generator. Thanks to the connectivity assumption, $deg x > 0$. The algebra $H$ is the free graded-commutative algebra on $x$, either $Bbbk[x]$ if $deg x$ is even or $p = 2$, or $Lambda(x)$ otherwise. Then by counitality and degree arguments, $Delta(x) = 1 otimes x + x otimes 1$, so $H$ is indeed either a polynomial or exterior Hopf algebra.
Note that I used the connectivity assumption above. If you don't assume that $H$ is connected (or at the very least locally conilpotent) then the result becomes false. Consider for example the Hopf algebra of dimension $2$, with basis $(1,x)$, both in degree zero, $x cdot x = 1$, $epsilon(x) = 1$ and $Delta(x) = x otimes x$. In other words, the group algebra of $mathbb{Z}/2mathbb{Z}$.
$endgroup$
1) Yes, free means free as an algebra. (I don't think it could possibly mean anything else. "Free Hopf algebras" and "free coalgebras" as left adjoints to the forgetful functor don't exist.)
2) is elementary, I think. Let $H$ be a connected free monogenic Hopf algebra. Let $x$ be a generator. Thanks to the connectivity assumption, $deg x > 0$. The algebra $H$ is the free graded-commutative algebra on $x$, either $Bbbk[x]$ if $deg x$ is even or $p = 2$, or $Lambda(x)$ otherwise. Then by counitality and degree arguments, $Delta(x) = 1 otimes x + x otimes 1$, so $H$ is indeed either a polynomial or exterior Hopf algebra.
Note that I used the connectivity assumption above. If you don't assume that $H$ is connected (or at the very least locally conilpotent) then the result becomes false. Consider for example the Hopf algebra of dimension $2$, with basis $(1,x)$, both in degree zero, $x cdot x = 1$, $epsilon(x) = 1$ and $Delta(x) = x otimes x$. In other words, the group algebra of $mathbb{Z}/2mathbb{Z}$.
edited 2 hours ago
answered 2 hours ago
Najib IdrissiNajib Idrissi
1,98911027
1,98911027
add a comment |
add a comment |
Thanks for contributing an answer to MathOverflow!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
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
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f324407%2ffree-hopf-algebra%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
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
Required, but never shown
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
Required, but never shown
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
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown