Questions tagged [hopf-algebras]
For questions about Hopf algebras and related concepts, such as quantum groups. The study of Hopf algebras spans many fields in mathematics including topology, algebraic geometry, algebraic number theory, Galois module theory, cohomology of groups, and formal groups and has wide-ranging connections to fields from theoretical physics to computer science.
57
questions
59
votes
4
answers
3k
views
How to think of the group ring as a Hopf algebra?
Given a finite group $G$ and a field $K$, one can form the group ring $K[G]$ as the free vector space on $G$ with the obvious multiplication. This is very useful when studying the representation ...
18
votes
1
answer
3k
views
Good Introduction to Hopf Algebras with Examples
I want to learn more about hopf algebras but I am having trouble finding a down to earth introduction to the subject with lots of motivation and examples. My algebra knowledge ranges from Dummit and ...
12
votes
2
answers
3k
views
Meaning of the antipode in Hopf algebras?
What I understand so far is that Hopf algebra is a vector space which is both algebra and coalgebra. In addition to this, there is a linear operation $S$, which for each element gives a so-called '...
8
votes
1
answer
725
views
Universal enveloping algebra as bialgebra
If $\mathfrak{g}$ is a Lie algebra (over $k$ ), then we can construct its universal enveloping algebra $U(\mathfrak{g})$. We can define $\Delta:U(\mathfrak{g})\rightarrow U(\mathfrak{g})\otimes U(\...
9
votes
1
answer
205
views
Cosemisimple Hopf algebra and Krull-Schmidt
A cosemisimple Hopf algebra is one which is the sum of its cosimple sub-cobalgebras. Is it clear that a comodule of a cosemisimple Hopf algebra always decomposes into irreducible parts? Moreover, will ...
5
votes
2
answers
396
views
Distributions of a group scheme as differential operators.
I'm trying to understand the distributions on an affine group scheme act as differential operators. Let $X$ be a scheme and $G$ a group scheme both affine over some commutative ring $k$. Suppose $\...
5
votes
1
answer
643
views
Internal Homs in Modules over a Hopf Algebra
Given a Hopf algebra $H$, I wonder when the monoidal category of $H$-modules is left-closed, right-closed, and finally, under what circumstances right and left internal hom are isomorphic.
If I'm not ...
4
votes
1
answer
830
views
group-like elements of a Hopf algebra and the group algebra
Suppose we are given a $n$-dimensional Hopf algebra $H$ over field $\mathbb K$. I want to prove that
$H$ contains n distinct group-like elements if and only if there exists a group $G$ such ...
4
votes
1
answer
270
views
The comultiplication on $\mathbb{C} S_3$ for a matrix basis?
Let $G$ be a finite group and let $\mathcal{A} = \mathbb{C} G$ be the group Hopf algebra.
The comultiplication on $\mathcal{A}$ is well-known to be given by $\Delta(g) = g \otimes g$.
For $G=S_3$, ...
3
votes
3
answers
528
views
How to proof equivalent condition of algebra morphism and coalgebra morphism about Hopf algebra
My question is why $\mu$ is multiplication preserving iff $\mu\circ m=(m\otimes m)\circ(1\otimes \tau \otimes1)\circ(\mu \otimes \mu)$ and this holds iff $m$ is comultiplication preserving, where $\...
2
votes
1
answer
448
views
Reference on correspondence between commutative Hopf Algebras and Groups
Is it true that every commutative Hopf algebra is related to a Group in such a way that the co-multiplication is originated from the multiplication of the group, the antipode from the inverse?
Making ...
1
vote
1
answer
109
views
Poincare Series of a graded algebra (revisited)
Here is the question I am trying to solve:
Let $A = \bigoplus_{i \geq 1}A_i$ be a graded algebra such that the vector spaces $A_i$ are all finite-dimensional. Define the Poincare series of $A$ as the ...
40
votes
2
answers
8k
views
What are Quantum Groups?
I am going to do a semester project (kind of a little thesis) this spring. I met a professor and asked him about some possible arguments. Among others, he proposed something related to quantum groups. ...
17
votes
1
answer
869
views
Integrals of a Hopf algebra: Why that name?
1. Context: The notion of an integral
Let $H$ be a Hopf algebra over a field $\mathbb k$. We call its $\mathbb k$-linear subspace
$$
I_l(H)= \{x \in H; h \cdot x=\epsilon(h)x \quad for \>all\>h\...
9
votes
2
answers
975
views
Duality between universal enveloping algebra and algebras of functions
There is a well known duality (of Hopf algebras) between universal enveloping algebra $U(\mathfrak{g})$ of a complex Lie algebra $\mathfrak{g}$ of a compact group $G$ and the algebra of continuous ...