Questions tagged [hopf-algebras]
A Hopf algebra is a vector space $H$ over a field $k$ endowed with an associative product $\times:H\otimes_k H\to H$ and a coassociative coproduct $\Delta:H\to H\otimes_k H$ which is a morphism of algebras. Unit $1:k\to H$, counit $\epsilon:H\to k$ and antipode $S:H\to H$ are also required. Such a structure exists on the group algebra $k G$ of a finite group $G$.
564
questions
0
votes
1
answer
106
views
Antipode on a multiplier Hopf-algebra
Probably an easy question, but here goes:
I'm reading the paper Multiplier Hopf algebras by Van Daele.
Let $(A, \Delta)$ be a multiplier Hopf algebra. Let $L(A), R(A), M(A)$ be the left, right and ...
2
votes
0
answers
83
views
Examples of multiplier Hopf algebras
A multiplier Hopf-algebra (introduced by Van Daele) is a pair $(A, \Delta)$ where $A$ is a non-degenerate algebra $A$ together with a non-degenerate algebra morphism $\Delta: A \to M(A \otimes A)$ ...
2
votes
1
answer
169
views
A comodule algebra map from a Hopf algebra to itself
Let $H$ be a cosemisimple Hopf algebra (or just a bialgebra). Considering $H$ as a left $H$-comodule (i.e. take $\Delta_H$ to be the coaction), can there exist a (non-identity) algebra map $\sigma:H \...
6
votes
1
answer
163
views
Morphisms between compact quantum groups
Let $(A, \Delta_A)$ and $(B, \Delta_B)$ be two compact quantum groups (in the sense of Woronowicz). I would be tempted to define a morphism $(A, \Delta_A) \to (B, \Delta_B)$ to be a unital $*$-...
5
votes
1
answer
455
views
Braided monoidal category, example
Let $H$ be a cocommutative hopf algebra.
Let $M$ be the category of $H$-bimodules.
Does the category $M$ form a braided monoidal category with tensor product $\otimes_{H}$ ?
3
votes
1
answer
168
views
Show that a certain element is a linear combination of tensors
I posted this question on MSE but got no answer even after putting a bounty on it, so I figured I can try to ask here.
Let $(A, \Delta: A \to A \otimes A)$ be bialgebra (unital and counital) such that ...
4
votes
1
answer
238
views
Hopf "algebroid" structure of a groupoid convolution algebra?
This question is already posted in math.stackexchange, but didn't receive any answer. I'm not sure if this question fits in here, but surely someone in here can guide me to the correct answer.
To make ...
3
votes
1
answer
275
views
Is the kernel of an action of a Hopf algebra on an algebra a biideal?
I think, this must be simple, but I am not a specialist in this field, so excuse me. I asked this a week ago at MSE, but without success.
S.Dascalescu, C.Nastasescu and S.Raianu define the action of a ...
4
votes
2
answers
188
views
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 ...
5
votes
1
answer
213
views
References for Hopf Galois module theory
I am a first-year PhD student and I am really interested in Galois module theory, both in a "classical" and in a "nonclassical" sense. In the last months I have been reading about ...
5
votes
1
answer
481
views
Deligne Tensor Product of Categories, Explicit Equivalence of $A\otimes_\mathbb{C} B\text{-Mod} \cong A\text{-Mod}\boxtimes B\text{-Mod}$
$\newcommand\Mod[1]{#1\text{-Mod}}$Does any one have a reference on a explicit equivalence between
$$\Mod{A\otimes_\mathbb{C} B} \cong \Mod A\boxtimes \Mod B?$$
The proof in "Tensor Categories ...
3
votes
0
answers
175
views
Galois descent of a Hopf algebra
In a question here on why the classification of commutative Hopf algebras requires the field to be algebraically closed, a brilliant answer is given discussing the notion of Galois descent.
As I ...
2
votes
1
answer
114
views
Definition of multiplier bialgebra
Consider the following fragments from "An invitation to quantum groups and duality" by Timmerman:
Question: In remark 2.1.6 (ii), it is stated that the homomorphism $\Delta\otimes \text{id}:...
14
votes
1
answer
351
views
Question about definition of Hopf algebra in Hatcher
I have two questions about the definition of a Hopf algebra in Hatcher's book on algebraic topology. He defines it as follows (see Section 3.C, page 283):
Definition: A Hopf algebra is a graded ...
4
votes
1
answer
101
views
Non-cosemisimple duals of pointed Hopf algebras
I take the following quote from an answer to this question
A Hopf algebra is called pointed if all its simple left (or right)
comodules are one-dimensional. The quantized enveloping algebras and
...
2
votes
2
answers
399
views
Hopf algebra with a non-grouplike invertible element
What is an example of a Hopf algebra $(H,\Delta,\epsilon)$ containing an invertible element $h$ which is not grouplike: An element $h \in H$ such that
$$
\Delta(h) \neq h \otimes h\qquad\text{(not ...
6
votes
1
answer
326
views
Invertible elements of the Hopf algebra quantum $SU(2)$
Let $SU_q(2)$ be the (polynomial) Hopf algebra introduced by Woronocicz called the quantum special unitary group. For details see
https://en.wikipedia.org/wiki/Compact_quantum_group
(Note that on the ...
0
votes
0
answers
100
views
Hopf algebra antipodes and right left comodule equivalences
Given a Hopf algebra $H$, denote by ${}^H\mathrm{mod}$ the category of left $H$-comodules, and by $\mathrm{mod}^H$ the category of right $H$-comodules. If the antipode $S$ of $H$ is invertible then we ...
15
votes
3
answers
1k
views
What is known about the category of Hopf algebras?
Several weeks ago I asked this at MathStackExchange, and to my surprise nobody answered.
Recently I understood that I know almost nothing about the category $\operatorname{HopfAlg}$ of Hopf algebras (...
5
votes
0
answers
222
views
Derived category of an abelian monoidal category
For any abelian category $\mathcal{A}$, we can consider its derived category $\mathcal{D(A)}$, which is naturally triangulated. If $\mathcal{A}$ is endowed with a monoidal structure (bilinear with ...
1
vote
1
answer
186
views
Example of a sub-bialgebra of a Hopf algebra that is not a Hopf subalgebra
It's all in the question! What is an example of a sub-bialgebra of a Hopf algebra that is not a Hopf subalgebra?
0
votes
0
answers
77
views
Monoid objects constructed from duals
Let $(M,\otimes)$ be a rigid monoidal category, for which left and right duals coincide. For any object $X \in M$, we can define a monoid structure on $X \otimes X^*$: Multiplication is defined by ...
3
votes
0
answers
118
views
Is the category of Yetter-Drinfeld modules abelian?
Is $YD(H)$ the category of Yetter--Drinfeld modules over a Hopf algebra (defined over a field $k$) necessarily abelian? If not then what is the simplest example of a Hopf algebra $H$ for which $YD(H)$ ...
7
votes
1
answer
570
views
$\mathbb{Z}$-graded algebras and tensor products
Let $A = \bigoplus_{k \in \mathbb{Z}} A_k$ be a not necessarily commutative $\mathbb{Z}$-graded unital algebra over a field $\mathbb{K}$, and assume that it is strongly graded:
$$
A_kA_l = A_{k+l}.
$$
...
2
votes
1
answer
194
views
Comodule Morita equivalence for Hopf algebras
Let $A$ and $B$ be two Hopf algebras, and denote by $\mathcal{M}^A$ and $\mathcal{M}^B$ their respective categories of right comodules. If we have a monoidal equivalence between $\mathcal{M}^A$ and $\...
6
votes
1
answer
318
views
Comparing Hochschild (co)homology for algebras and coalgebras
Given a field $k$, an associative $k$-algebra $A$, and an $A$-bimodule $M$, one can define as the Hochschild homology and cohomology as the homology of the complexes
$$M\otimes A^{\otimes n}$$
and
$$\...
9
votes
2
answers
607
views
Definition of subcoalgebra over a commutative ring
Let $k$ be commutative ring and $(C, \Delta)$ be a coalgebra over $k$. Let $D$ be a $k$-submodule of $C$.
Notes I'm reading give the following definition:
$D$ is called subcoalgebra of $C$ if the ...
4
votes
0
answers
196
views
Are the finite quantum permutation groups, weakly group-theoretical?
Wang defined in Quantum symmetry groups of finite spaces a notion of quantum automorphism group. The application to a finite space of $n$ elements is called the quantum permutation group of $n$ ...
4
votes
0
answers
105
views
Categorical interpretation of the comodulus of a Hopf algebra?
Let $H$ be a finite-dimensional Hopf algebra.
Then it has a right cointegral $\lambda \in H^*$ and a left integral $c \in H$, characterized uniquely (up to scalar) by
\begin{align}
(\lambda \...
3
votes
0
answers
562
views
Where can I find Drinfeld's original papers on quantum groups?
Let $\mathfrak{g}$ be a semisimple Lie algebra. Let $U_h(\mathfrak{g})$ be the Drinfeld-Jimbo quantum group, i.e. the $\mathbb{C}[[h]]$-algebra topologically generated by $X_i,Y_i,H_i$ where $1\leq i\...
5
votes
1
answer
200
views
Simple quotients of a triple tensor product
Let $\mathcal{H}$ be a Hopf algebra over $\mathbb{C}$. Let also $V_1, V_2, V_3$ finite-dimensional simple modules over $\mathcal{H}$ and $Q$ be a simple quotient of $V_1\otimes V_2\otimes V_3$. Is it ...
5
votes
1
answer
156
views
Reference requests : Presentation of the braided dual of $U_q(\frak{sl_2})$
I am interested in the braided dual of the quantum group $U_q(\frak{sl_2})$. This is the algebra generated by the matrix coefficients but where the multiplication is twisted by an action of the $R$-...
5
votes
1
answer
128
views
Covariant splittings of Hopf algebra projections
What is an example of a pair of Hopf algebras $(A,B)$ with a surjective Hopf algebra map $\phi:A \to B$ such that $\phi$ does not admit a $B$-bi-comodule splitting $s:B \to A$? To be clear, the right $...
1
vote
0
answers
96
views
When is the action of the braid group on tensor powers of Yetter-Drinfeld modules faithful?
Let $V$ be a Yetter-Drinfeld module over a Hopf algebra $H$ with invertible antipode. Recall that $V$ is a braided vector space with braiding $\Psi\colon V\otimes V\to V\otimes V, v\otimes w\mapsto v_{...
5
votes
0
answers
595
views
Weak Hopf algebra structure on twisted group algebra
A (normalized) $2$-cocycle on a finite group $G$ with values in $S^1$ is a map
$\sigma:G\times G\rightarrow S^1$ such that $$\sigma(g,h)\sigma(gh,k)=\sigma(h,k)\sigma(g,hk)$$ and $$\sigma(g,e)=\sigma(...
6
votes
2
answers
433
views
Confusion around the reflection equation algebra
I have encountered several occurrences of the so called reflection equation algebra (REA) but depending on where I find them, I feel like I get slightly different objects. In all cases there is a ...
2
votes
1
answer
124
views
Non-counital coalgebras
For any unital algebra $A$, we have an associated dual coalgebra $A^{\circ}$. (Recall that it is defined to be the largest subalgebra of the $\mathbf{C}$-linear dual of $A$ such that the coproduct $\...
12
votes
3
answers
810
views
Axiomatic definition of quantum groups
This is a question I've discussed with a lot of mathematicians, and have read some mathematical texts about, and watched some conference talks about: what is, axiomatically, a quantum group?
There are ...
2
votes
0
answers
51
views
Involutions on Hopf algebra crossed products
I am interested in a (cocycle) crossed product of a Hopf algebra $H$ with a (twisted) $H$-module algebra $A$, often denoted $H\#_\sigma A$, where $\sigma$ is the associated cocycle. This construction ...
5
votes
0
answers
117
views
Is the group Hopf algebra left and right adjoint?
Suppose that $G$ is a group and $k$ is a field. Then it is well known that the group ring (group algebra) functor $k[\bullet]$ is left adjoint to the group of units functor, the latter of which ...
4
votes
0
answers
97
views
Examples of semisimple Hopf algebras where the category of representations has certain properties
I wish to find an example of a semisimple (hence finite dimensional) Hopf algebra $H$ with the following properties:
$H$ is nontrivial (i.e. not a group algebra or the dual of one);
The category of ...
6
votes
0
answers
195
views
Integral Milnor-Moore theorem
Given a field K of char. zero the theorem of Milnor Moore
states that taking the enveloping hopf algebra defines an embedding
$\mathcal{U} $ from Lie algebras over K into hopf algebras over K.
Taking ...
5
votes
0
answers
171
views
Are the symmetric groups integrable as Hopf algebras?
Let $G$ be a group. For $g,h \in G$, let $[g,h]=g^{-1}h^{-1}gh$ be a commutator. The normal subgroup $G' = \langle [g,h] \ | \ g,h \in G \rangle$ is called the commutator subgroup or derived subgroup. ...
2
votes
2
answers
366
views
Hopf algebra structure on Frobenius algebras
It was shown by Abrams (see https://www.sciencedirect.com/science/article/pii/S0021869399979012 ) that every Frobenius algebra has a canonical coalgebra structure.
Question 1: Has it been studied ...
5
votes
1
answer
691
views
Further developments of Cartier–Gabriel–Kostant–Milnor–Moore Structure Theorem for cocommutative Hopf algebras
A very well-known theorem in Hopf algebra theory (see, for example, Lorenz - A tour of representation theory or the EGNO book (Etingof, Gelaki, Nikshych, and Ostrik - Tensor categories)) states that ...
7
votes
2
answers
540
views
Characterizing discrete quantum groups
Let $M$ be a von Neumann algebra, and let $\Delta$ be a unital normal $*$-homomorphism $M \rightarrow M \mathbin{\bar\otimes} M$ that satisfies the coassociativity condition $(\Delta \mathbin{\bar\...
4
votes
3
answers
333
views
Coinvariants of tensor products of Hopf algebras
Let $G$ be a Hopf algebra, considered as a right $G$-comodule in the obvious way.
The axioms of Hopf algebras imply that
$$
G^{\operatorname{coinv}(G)} == \{g \in G : \Delta(g) = g \otimes 1\} = \...
3
votes
1
answer
137
views
Integrals and finite dimensionality in braided Hopf algebras
Let $H$ be a Hopf algebra with invertible antipode. Let $A$ be a braided Hopf algebra in the Yetter-Drinfeld category ${}_H^H\mathcal{YD}$ over $H$.
A nonzero left integral in $A$ is a nonzero ...
3
votes
0
answers
89
views
Hopf algebras structure and quantum affine algebras
I'm looking for some information about the Hopf algebras structure and the quantum groups.
In particularly I was wondering if (and eventually where) is defined in the case of quantum affine algebras ...
3
votes
0
answers
79
views
Quantum analogue of certain property of compact groups
Let $\mathcal{A}$ be the category of $C^*$ algebras. For a group $G$ let $\tilde{G}$ be the space of all conjugacy classes of $G$.
What is a precise description of a maximal ,or in some sense ...