Mixing
When is a monoidal structure on $mathrmMod_A$ induced by a bialgebra structure on $A$?
Clash Royale CLAN TAG#URR8PPP
up vote
3
down vote
favorite
Fix a field $k$, and let $A$ be a (commutative, coassociative, counital) $k$-bialgebra. Write $otimes = otimes_k$. The category $mathrmMod_A$ of $A$-modules admits the structure of a monoidal category, symmetric if $A$ is cocommutative, with underlying tensor product $otimes$: for $M,NinmathrmMod_A$, we have an action on $Motimes N$ given by
$$ acdot (motimes n) = sum_a a_(1) motimes a_(2) n.$$
Here, I use Sweedler's notation $Delta(a) = sum_a a_(1)otimes a_(2)$ for the coproduct on $A$. From this monoidal structure, we can recover the bialgebra structure on $A$ by
$$Delta(a) = acdot (1otimes 1),$$
where $1otimes 1in Aotimes A$. My question is:
- Suppose given a monoidal structure on $mathrmMod_A$ with underlying tensor product $otimes$. When does this arise from the structure of a bialgebra on $A$?
There is also the converse question:
- What coproducts $Arightarrow Aotimes A$ arise from such monoidal structures on $mathrmMod_A$?
If there is a good answer to the first question, then I would also be interested in detecting when such a monoidal structure arises from a bialgebra with the property of being a Hopf algebra.
The question boils down to: given a monoidal structure on $mathrmMod_A$ with underlying monoidal product $otimes$, what natural conditions ensure that $Delta(a) = a cdot (1otimes 1)$ gives $A$ the structure of a bialgebra? For example, if $Aotimes A$ is an $A-Aotimes A$-bimodule, then $Delta(ab) = Delta(a)Delta(b)$, but it is not clear to me what natural conditions force this to hold and if anything can be said if it does not.
category-theory hopf-algebras monoidal-categories
asked Jul 18 at 19:38
ne-
1067
 |Â
show 2 more comments
up vote
3
down vote
favorite
Fix a field $k$, and let $A$ be a (commutative, coassociative, counital) $k$-bialgebra. Write $otimes = otimes_k$. The category $mathrmMod_A$ of $A$-modules admits the structure of a monoidal category, symmetric if $A$ is cocommutative, with underlying tensor product $otimes$: for $M,NinmathrmMod_A$, we have an action on $Motimes N$ given by
$$ acdot (motimes n) = sum_a a_(1) motimes a_(2) n.$$
Here, I use Sweedler's notation $Delta(a) = sum_a a_(1)otimes a_(2)$ for the coproduct on $A$. From this monoidal structure, we can recover the bialgebra structure on $A$ by
$$Delta(a) = acdot (1otimes 1),$$
where $1otimes 1in Aotimes A$. My question is:
- Suppose given a monoidal structure on $mathrmMod_A$ with underlying tensor product $otimes$. When does this arise from the structure of a bialgebra on $A$?
There is also the converse question:
- What coproducts $Arightarrow Aotimes A$ arise from such monoidal structures on $mathrmMod_A$?
If there is a good answer to the first question, then I would also be interested in detecting when such a monoidal structure arises from a bialgebra with the property of being a Hopf algebra.
The question boils down to: given a monoidal structure on $mathrmMod_A$ with underlying monoidal product $otimes$, what natural conditions ensure that $Delta(a) = a cdot (1otimes 1)$ gives $A$ the structure of a bialgebra? For example, if $Aotimes A$ is an $A-Aotimes A$-bimodule, then $Delta(ab) = Delta(a)Delta(b)$, but it is not clear to me what natural conditions force this to hold and if anything can be said if it does not.
category-theory hopf-algebras monoidal-categories
asked Jul 18 at 19:38
ne-
1067
Why do you require that $A$ be commutative?
– Qiaochu Yuan
Jul 18 at 20:06
Also, for starters see ncatlab.org/nlab/show/sesquialgebra. A necessary condition is that $otimes$ is $k$-linear and cocontinuous in both variables, which gets you a sesquialgebra.
– Qiaochu Yuan
Jul 18 at 20:13
@QiaochuYuan because my familiarity with bialgebras stems entirely from the commutative case. I would be happy with an answer not assuming that $A$ is commutative, but I can only trust myself to write correct things when it is. (For instance, I don't recall offhand if being a Hopf algebra is a property of a noncommutative bialgebra, but I do know that it is and why it is in the commutative case.)
– ne-
Jul 18 at 20:14
That page certainly looks relevant; I'll look closer at it.
– ne-
Jul 18 at 20:15
1
Yes, the antipode remains unique, but the proof is more complicated. It's just that in the commutative case it's more typical to look at comodules (for Hopf algebras this corresponds to representations of affine schemes), and on the other hand the motivating examples of the tensor product construction you describe are noncommutative, namely group algebras and universal enveloping algebras of Lie algebras.
– Qiaochu Yuan
Jul 18 at 20:41
 |Â
show 2 more comments
up vote
3
down vote
favorite
up vote
3
down vote
favorite
Fix a field $k$, and let $A$ be a (commutative, coassociative, counital) $k$-bialgebra. Write $otimes = otimes_k$. The category $mathrmMod_A$ of $A$-modules admits the structure of a monoidal category, symmetric if $A$ is cocommutative, with underlying tensor product $otimes$: for $M,NinmathrmMod_A$, we have an action on $Motimes N$ given by
$$ acdot (motimes n) = sum_a a_(1) motimes a_(2) n.$$
Here, I use Sweedler's notation $Delta(a) = sum_a a_(1)otimes a_(2)$ for the coproduct on $A$. From this monoidal structure, we can recover the bialgebra structure on $A$ by
$$Delta(a) = acdot (1otimes 1),$$
where $1otimes 1in Aotimes A$. My question is:
- Suppose given a monoidal structure on $mathrmMod_A$ with underlying tensor product $otimes$. When does this arise from the structure of a bialgebra on $A$?
There is also the converse question:
- What coproducts $Arightarrow Aotimes A$ arise from such monoidal structures on $mathrmMod_A$?
If there is a good answer to the first question, then I would also be interested in detecting when such a monoidal structure arises from a bialgebra with the property of being a Hopf algebra.
The question boils down to: given a monoidal structure on $mathrmMod_A$ with underlying monoidal product $otimes$, what natural conditions ensure that $Delta(a) = a cdot (1otimes 1)$ gives $A$ the structure of a bialgebra? For example, if $Aotimes A$ is an $A-Aotimes A$-bimodule, then $Delta(ab) = Delta(a)Delta(b)$, but it is not clear to me what natural conditions force this to hold and if anything can be said if it does not.
category-theory hopf-algebras monoidal-categories
asked Jul 18 at 19:38
ne-
1067
Fix a field $k$, and let $A$ be a (commutative, coassociative, counital) $k$-bialgebra. Write $otimes = otimes_k$. The category $mathrmMod_A$ of $A$-modules admits the structure of a monoidal category, symmetric if $A$ is cocommutative, with underlying tensor product $otimes$: for $M,NinmathrmMod_A$, we have an action on $Motimes N$ given by
$$ acdot (motimes n) = sum_a a_(1) motimes a_(2) n.$$
Here, I use Sweedler's notation $Delta(a) = sum_a a_(1)otimes a_(2)$ for the coproduct on $A$. From this monoidal structure, we can recover the bialgebra structure on $A$ by
$$Delta(a) = acdot (1otimes 1),$$
where $1otimes 1in Aotimes A$. My question is:
- Suppose given a monoidal structure on $mathrmMod_A$ with underlying tensor product $otimes$. When does this arise from the structure of a bialgebra on $A$?
There is also the converse question:
- What coproducts $Arightarrow Aotimes A$ arise from such monoidal structures on $mathrmMod_A$?
If there is a good answer to the first question, then I would also be interested in detecting when such a monoidal structure arises from a bialgebra with the property of being a Hopf algebra.
The question boils down to: given a monoidal structure on $mathrmMod_A$ with underlying monoidal product $otimes$, what natural conditions ensure that $Delta(a) = a cdot (1otimes 1)$ gives $A$ the structure of a bialgebra? For example, if $Aotimes A$ is an $A-Aotimes A$-bimodule, then $Delta(ab) = Delta(a)Delta(b)$, but it is not clear to me what natural conditions force this to hold and if anything can be said if it does not.
category-theory hopf-algebras monoidal-categories
asked Jul 18 at 19:38
ne-
1067
edited Jul 18 at 20:02
asked Jul 18 at 19:38
ne-
1067
asked Jul 18 at 19:38
ne-
1067
asked Jul 18 at 19:38
ne-
1067
1067
Why do you require that $A$ be commutative?
– Qiaochu Yuan
Jul 18 at 20:06
Also, for starters see ncatlab.org/nlab/show/sesquialgebra. A necessary condition is that $otimes$ is $k$-linear and cocontinuous in both variables, which gets you a sesquialgebra.
– Qiaochu Yuan
Jul 18 at 20:13
@QiaochuYuan because my familiarity with bialgebras stems entirely from the commutative case. I would be happy with an answer not assuming that $A$ is commutative, but I can only trust myself to write correct things when it is. (For instance, I don't recall offhand if being a Hopf algebra is a property of a noncommutative bialgebra, but I do know that it is and why it is in the commutative case.)
– ne-
Jul 18 at 20:14
That page certainly looks relevant; I'll look closer at it.
– ne-
Jul 18 at 20:15
1
Yes, the antipode remains unique, but the proof is more complicated. It's just that in the commutative case it's more typical to look at comodules (for Hopf algebras this corresponds to representations of affine schemes), and on the other hand the motivating examples of the tensor product construction you describe are noncommutative, namely group algebras and universal enveloping algebras of Lie algebras.
– Qiaochu Yuan
Jul 18 at 20:41
 |Â
show 2 more comments
Why do you require that $A$ be commutative?
– Qiaochu Yuan
Jul 18 at 20:06
Also, for starters see ncatlab.org/nlab/show/sesquialgebra. A necessary condition is that $otimes$ is $k$-linear and cocontinuous in both variables, which gets you a sesquialgebra.
– Qiaochu Yuan
Jul 18 at 20:13
@QiaochuYuan because my familiarity with bialgebras stems entirely from the commutative case. I would be happy with an answer not assuming that $A$ is commutative, but I can only trust myself to write correct things when it is. (For instance, I don't recall offhand if being a Hopf algebra is a property of a noncommutative bialgebra, but I do know that it is and why it is in the commutative case.)
– ne-
Jul 18 at 20:14
That page certainly looks relevant; I'll look closer at it.
– ne-
Jul 18 at 20:15
1
Yes, the antipode remains unique, but the proof is more complicated. It's just that in the commutative case it's more typical to look at comodules (for Hopf algebras this corresponds to representations of affine schemes), and on the other hand the motivating examples of the tensor product construction you describe are noncommutative, namely group algebras and universal enveloping algebras of Lie algebras.
– Qiaochu Yuan
Jul 18 at 20:41
Why do you require that $A$ be commutative?
– Qiaochu Yuan
Jul 18 at 20:06
Why do you require that $A$ be commutative?
– Qiaochu Yuan
Jul 18 at 20:06
Also, for starters see ncatlab.org/nlab/show/sesquialgebra. A necessary condition is that $otimes$ is $k$-linear and cocontinuous in both variables, which gets you a sesquialgebra.
– Qiaochu Yuan
Jul 18 at 20:13
Also, for starters see ncatlab.org/nlab/show/sesquialgebra. A necessary condition is that $otimes$ is $k$-linear and cocontinuous in both variables, which gets you a sesquialgebra.
– Qiaochu Yuan
Jul 18 at 20:13
@QiaochuYuan because my familiarity with bialgebras stems entirely from the commutative case. I would be happy with an answer not assuming that $A$ is commutative, but I can only trust myself to write correct things when it is. (For instance, I don't recall offhand if being a Hopf algebra is a property of a noncommutative bialgebra, but I do know that it is and why it is in the commutative case.)
– ne-
Jul 18 at 20:14
@QiaochuYuan because my familiarity with bialgebras stems entirely from the commutative case. I would be happy with an answer not assuming that $A$ is commutative, but I can only trust myself to write correct things when it is. (For instance, I don't recall offhand if being a Hopf algebra is a property of a noncommutative bialgebra, but I do know that it is and why it is in the commutative case.)
– ne-
Jul 18 at 20:14
That page certainly looks relevant; I'll look closer at it.
– ne-
Jul 18 at 20:15
That page certainly looks relevant; I'll look closer at it.
– ne-
Jul 18 at 20:15
1
1
Yes, the antipode remains unique, but the proof is more complicated. It's just that in the commutative case it's more typical to look at comodules (for Hopf algebras this corresponds to representations of affine schemes), and on the other hand the motivating examples of the tensor product construction you describe are noncommutative, namely group algebras and universal enveloping algebras of Lie algebras.
– Qiaochu Yuan
Jul 18 at 20:41
Yes, the antipode remains unique, but the proof is more complicated. It's just that in the commutative case it's more typical to look at comodules (for Hopf algebras this corresponds to representations of affine schemes), and on the other hand the motivating examples of the tensor product construction you describe are noncommutative, namely group algebras and universal enveloping algebras of Lie algebras.
– Qiaochu Yuan
Jul 18 at 20:41
 |Â
show 2 more comments
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
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%2f2855927%2fwhen-is-a-monoidal-structure-on-mathrmmod-a-induced-by-a-bialgebra-structur%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
Why do you require that $A$ be commutative?
– Qiaochu Yuan
Jul 18 at 20:06
Also, for starters see ncatlab.org/nlab/show/sesquialgebra. A necessary condition is that $otimes$ is $k$-linear and cocontinuous in both variables, which gets you a sesquialgebra.
– Qiaochu Yuan
Jul 18 at 20:13
@QiaochuYuan because my familiarity with bialgebras stems entirely from the commutative case. I would be happy with an answer not assuming that $A$ is commutative, but I can only trust myself to write correct things when it is. (For instance, I don't recall offhand if being a Hopf algebra is a property of a noncommutative bialgebra, but I do know that it is and why it is in the commutative case.)
– ne-
Jul 18 at 20:14
That page certainly looks relevant; I'll look closer at it.
– ne-
Jul 18 at 20:15
1
Yes, the antipode remains unique, but the proof is more complicated. It's just that in the commutative case it's more typical to look at comodules (for Hopf algebras this corresponds to representations of affine schemes), and on the other hand the motivating examples of the tensor product construction you describe are noncommutative, namely group algebras and universal enveloping algebras of Lie algebras.
– Qiaochu Yuan
Jul 18 at 20:41