Skip to main content
added an edit
Source Link
Jo Mo
  • 338
  • 2
  • 11

Repost from math.SE since no answer after two months, but feel free to close if not appropriate:


Everything is finite-dimensional over a field $k$.

Let $B$ be a bialgebra with $B\text{-mod}$ its category of modules. Suppose now that we fix a rigid structure on $B\text{-mod}$ such that the dual of a module is given by the the dual vector space, with some action. In other words, taking duals in $B\text{-mod}$ commutes on the nose with the canonical forgetful functor to $Vect$.

My question: Is $B$ necessarily a Hopf algebra? $^\text{see Edit below}$

The reason for this question is that from the above data I can easily define a quasi-Hopf algebra structure on $B$, whose coassociator is trivial. A quasi-Hopf algebra for me is like a Hopf algebra, except that its not quite coassociative and that the antipode has been replaced by a triple $(S,\alpha, \beta)$, where $S$ is still the antipode, but $\alpha, \beta \in B$ are now some elements implementing the evaluation and coevaluation in $B\text{-mod}$. This triple has to satisfy some axioms, namely the zig-zag equations of the rigid structure. ${}^\star$

Thus

My question formulated differently: Is it necessarily the case that $\alpha = \beta = 1$ in the quasi-Hopf algebra I obtained above?


${}^\star$ A source for this construction is eg Section 3.5 in "Quasi-Hopf algebras - a categorical approach" by Bulacu, Caenepeel, Panaite, and van Oystaeyen.



Edit: Sorry, there is a "mistake" in the above. My two questions are not equivalent. As Adrien pointed out, antipode triples are not unique, but instead two distinct ones are related by some invertible element (this is easily seen by noting that a choice of rigid structure is structure, but different choices are related by a unique natural isomorphism). If the coassociator is trivial, one can show (as in Drinfeld's paper) that if $B$ admits some antipode triple $(S,\alpha,\beta)$ then it admits an antipode triple $(S,1,1)$. In particular, with the latter it is a Hopf algebra.

However, my second question was: For a fixed rigid structure on $B\text{-mod}$, are $\alpha$ and $\beta$ from the reconstruction automatically trivial? And I suppose the answer to this is "no", since for any invertible element $u$ in a Hopf algebra $H$ with antipode $S$, we get a quasi-Hopf structure (i.e. antipode triple) $(S(h) = uhu^{-1}, \alpha = u, \beta = u^{-1})$, such that we are in the situation of my question.

Repost from math.SE since no answer after two months, but feel free to close if not appropriate:


Everything is finite-dimensional over a field $k$.

Let $B$ be a bialgebra with $B\text{-mod}$ its category of modules. Suppose now that we fix a rigid structure on $B\text{-mod}$ such that the dual of a module is given by the the dual vector space, with some action. In other words, taking duals in $B\text{-mod}$ commutes on the nose with the canonical forgetful functor to $Vect$.

My question: Is $B$ necessarily a Hopf algebra?

The reason for this question is that from the above data I can easily define a quasi-Hopf algebra structure on $B$, whose coassociator is trivial. A quasi-Hopf algebra for me is like a Hopf algebra, except that its not quite coassociative and that the antipode has been replaced by a triple $(S,\alpha, \beta)$, where $S$ is still the antipode, but $\alpha, \beta \in B$ are now some elements implementing the evaluation and coevaluation in $B\text{-mod}$. This triple has to satisfy some axioms, namely the zig-zag equations of the rigid structure. ${}^\star$

Thus

My question formulated differently: Is it necessarily the case that $\alpha = \beta = 1$ in the quasi-Hopf algebra I obtained above?


${}^\star$ A source for this construction is eg Section 3.5 in "Quasi-Hopf algebras - a categorical approach" by Bulacu, Caenepeel, Panaite, and van Oystaeyen.

Repost from math.SE since no answer after two months, but feel free to close if not appropriate:


Everything is finite-dimensional over a field $k$.

Let $B$ be a bialgebra with $B\text{-mod}$ its category of modules. Suppose now that we fix a rigid structure on $B\text{-mod}$ such that the dual of a module is given by the the dual vector space, with some action. In other words, taking duals in $B\text{-mod}$ commutes on the nose with the canonical forgetful functor to $Vect$.

My question: Is $B$ necessarily a Hopf algebra? $^\text{see Edit below}$

The reason for this question is that from the above data I can easily define a quasi-Hopf algebra structure on $B$, whose coassociator is trivial. A quasi-Hopf algebra for me is like a Hopf algebra, except that its not quite coassociative and that the antipode has been replaced by a triple $(S,\alpha, \beta)$, where $S$ is still the antipode, but $\alpha, \beta \in B$ are now some elements implementing the evaluation and coevaluation in $B\text{-mod}$. This triple has to satisfy some axioms, namely the zig-zag equations of the rigid structure. ${}^\star$

Thus

My question formulated differently: Is it necessarily the case that $\alpha = \beta = 1$ in the quasi-Hopf algebra I obtained above?


${}^\star$ A source for this construction is eg Section 3.5 in "Quasi-Hopf algebras - a categorical approach" by Bulacu, Caenepeel, Panaite, and van Oystaeyen.



Edit: Sorry, there is a "mistake" in the above. My two questions are not equivalent. As Adrien pointed out, antipode triples are not unique, but instead two distinct ones are related by some invertible element (this is easily seen by noting that a choice of rigid structure is structure, but different choices are related by a unique natural isomorphism). If the coassociator is trivial, one can show (as in Drinfeld's paper) that if $B$ admits some antipode triple $(S,\alpha,\beta)$ then it admits an antipode triple $(S,1,1)$. In particular, with the latter it is a Hopf algebra.

However, my second question was: For a fixed rigid structure on $B\text{-mod}$, are $\alpha$ and $\beta$ from the reconstruction automatically trivial? And I suppose the answer to this is "no", since for any invertible element $u$ in a Hopf algebra $H$ with antipode $S$, we get a quasi-Hopf structure (i.e. antipode triple) $(S(h) = uhu^{-1}, \alpha = u, \beta = u^{-1})$, such that we are in the situation of my question.

spotted a typo
Source Link
Jo Mo
  • 338
  • 2
  • 11

Repost from math.SE since no answer after two months, but feel free to close if not appropriate:


Everything is finite-dimensional over a field $k$.

Let $B$ be a bialgebra with $B\text{-mod}$ its category of modules. Suppose now that we fix a rigid structure on $B\text{-mod}$ such that the dual of a module is given by the the dual vector space, with some action. In other words, taking duals in $B\text{-mod}$ commutes on the nose with the canonical forgetful functor to $Vect$.

My question: Is $B$ necessarily a Hopf algebra?

The reason for this question is that from the above data I can easily define a quasi-Hopf algebra structure on $B$, whose coassociator is trivial. A quasi-Hopf algebra for me is like a Hopf algebra, except that its not quite coassociative and that the antipode has been replaced by a triple $(S,\alpha, \beta)$, where $S$ is still the antipode, but $\alpha, \beta \in H$$\alpha, \beta \in B$ are now some elements implementing the evaluation and coevaluation in $B\text{-mod}$. This triple has to satisfy some axioms, namely the zig-zag equations of the rigid structure. ${}^\star$

Thus

My question formulated differently: Is it necessarily the case that $\alpha = \beta = 1$ in the quasi-Hopf algebra I obtained above?


${}^\star$ A source for this construction is eg Section 3.5 in "Quasi-Hopf algebras - a categorical approach" by Bulacu, Caenepeel, Panaite, and van Oystaeyen.

Repost from math.SE since no answer after two months, but feel free to close if not appropriate:


Everything is finite-dimensional over a field $k$.

Let $B$ be a bialgebra with $B\text{-mod}$ its category of modules. Suppose now that we fix a rigid structure on $B\text{-mod}$ such that the dual of a module is given by the the dual vector space, with some action. In other words, taking duals in $B\text{-mod}$ commutes on the nose with the canonical forgetful functor to $Vect$.

My question: Is $B$ necessarily a Hopf algebra?

The reason for this question is that from the above data I can easily define a quasi-Hopf algebra structure on $B$, whose coassociator is trivial. A quasi-Hopf algebra for me is like a Hopf algebra, except that its not quite coassociative and that the antipode has been replaced by a triple $(S,\alpha, \beta)$, where $S$ is still the antipode, but $\alpha, \beta \in H$ are now some elements implementing the evaluation and coevaluation in $B\text{-mod}$. This triple has to satisfy some axioms, namely the zig-zag equations of the rigid structure. ${}^\star$

Thus

My question formulated differently: Is it necessarily the case that $\alpha = \beta = 1$ in the quasi-Hopf algebra I obtained above?


${}^\star$ A source for this construction is eg Section 3.5 in "Quasi-Hopf algebras - a categorical approach" by Bulacu, Caenepeel, Panaite, and van Oystaeyen.

Repost from math.SE since no answer after two months, but feel free to close if not appropriate:


Everything is finite-dimensional over a field $k$.

Let $B$ be a bialgebra with $B\text{-mod}$ its category of modules. Suppose now that we fix a rigid structure on $B\text{-mod}$ such that the dual of a module is given by the the dual vector space, with some action. In other words, taking duals in $B\text{-mod}$ commutes on the nose with the canonical forgetful functor to $Vect$.

My question: Is $B$ necessarily a Hopf algebra?

The reason for this question is that from the above data I can easily define a quasi-Hopf algebra structure on $B$, whose coassociator is trivial. A quasi-Hopf algebra for me is like a Hopf algebra, except that its not quite coassociative and that the antipode has been replaced by a triple $(S,\alpha, \beta)$, where $S$ is still the antipode, but $\alpha, \beta \in B$ are now some elements implementing the evaluation and coevaluation in $B\text{-mod}$. This triple has to satisfy some axioms, namely the zig-zag equations of the rigid structure. ${}^\star$

Thus

My question formulated differently: Is it necessarily the case that $\alpha = \beta = 1$ in the quasi-Hopf algebra I obtained above?


${}^\star$ A source for this construction is eg Section 3.5 in "Quasi-Hopf algebras - a categorical approach" by Bulacu, Caenepeel, Panaite, and van Oystaeyen.

Source Link
Jo Mo
  • 338
  • 2
  • 11

Bialgebras with rigid representation theory

Repost from math.SE since no answer after two months, but feel free to close if not appropriate:


Everything is finite-dimensional over a field $k$.

Let $B$ be a bialgebra with $B\text{-mod}$ its category of modules. Suppose now that we fix a rigid structure on $B\text{-mod}$ such that the dual of a module is given by the the dual vector space, with some action. In other words, taking duals in $B\text{-mod}$ commutes on the nose with the canonical forgetful functor to $Vect$.

My question: Is $B$ necessarily a Hopf algebra?

The reason for this question is that from the above data I can easily define a quasi-Hopf algebra structure on $B$, whose coassociator is trivial. A quasi-Hopf algebra for me is like a Hopf algebra, except that its not quite coassociative and that the antipode has been replaced by a triple $(S,\alpha, \beta)$, where $S$ is still the antipode, but $\alpha, \beta \in H$ are now some elements implementing the evaluation and coevaluation in $B\text{-mod}$. This triple has to satisfy some axioms, namely the zig-zag equations of the rigid structure. ${}^\star$

Thus

My question formulated differently: Is it necessarily the case that $\alpha = \beta = 1$ in the quasi-Hopf algebra I obtained above?


${}^\star$ A source for this construction is eg Section 3.5 in "Quasi-Hopf algebras - a categorical approach" by Bulacu, Caenepeel, Panaite, and van Oystaeyen.