For questions about Hopf algebras and related concepts, such as quantum groups.

learn more… | top users | synonyms

1
vote
1answer
40 views

Group objects in the category of rings

Are there group objects in: $\text{Ring}$ $\text{CRing}$ If so, why doesn't anyone talk about them? On the other hand, $$ \begin{align} cogroup \ objects \ in \ \text{CRing} &= co(group \ ...
4
votes
1answer
66 views

Is $\mathbb{H}P^\infty$ an H-space or not?

$\mathbb{R}P^\infty$ is H-space. $\mathbb{C}P^\infty$ is H-space. Is $\mathbb{H}P^\infty$ an H-space or not?
0
votes
1answer
52 views

Hopf bifurcation and limit cycles

$$dV/dt=10(V-\frac{V^3}{3}-R+I_{input})$$ $$dR/dt=0.8(-R+1.25V+1.5)$$ Use $I_{input}$ as the relative parameter to prove that there these equations undergo 2 hopf bifurcations and indicate whether ...
0
votes
0answers
12 views

How to show that $U(\mathfrak{n})^* \cong \mathbb{C}[U]$?

Let $U$ be the unipotent subgroup of $GL_n(\mathbb{C})$ consisting of all unipotent upper triangular matrices. Let $\mathfrak{n}$ be its Lie algebra. I heard many times that $U(\mathfrak{n})^* \cong ...
0
votes
0answers
12 views

How to show that action of an algebra $H$ on a vector space is the same as the coaction of $H^*$ on $V$?

Let $H$ be a Hopf algebra and $V$ a finite dimensional $H$-module. How to show that action of an algebra $H$ on a vector space is the same as the coaction of $H^*$ on $V$? Thank you very much.
1
vote
1answer
37 views

What is $\Delta(1)$ for $1$ in $U(\mathfrak{g})$?

Let $\mathfrak{g}$ be a semisimple Lie algebra and $U(\mathfrak{g})$ its universal enveloping algebra. Then $U(\mathfrak{g})$ is a hopf algebra. Is $\Delta(1) = 1 \otimes 1$ or $\Delta(1) = 1 \otimes ...
0
votes
0answers
8 views

Hopf Algebras Arising From Fourier Transforms?

At least for nice functions, a Fourier series is just a Laurent series on a circle (which means just substituting $z = re^{i\theta}$ into a Laurent series), so I can see Fourier analysis on Abelian ...
0
votes
1answer
25 views

The comultiplication on $\mathbb{C} Q $ 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=Q$ the ...
2
votes
1answer
87 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$, ...
2
votes
1answer
48 views

Identities that connect antipode with multiplication and comultiplication

The group algebra $k(G)$ of any group $G$ satisfies as a Hopf algebra the following identities: $$ S\otimes S\circ \varDelta=\sigma\circ\Delta\circ S $$ $$ \nabla\circ S\otimes ...
1
vote
0answers
18 views

Isomorphism of affine group schemes of rank 2

I was reading Waterhouse's book "Introduction to Affine Group Schemes", when I found, in Chapter 2, an exercise about classification of Affine Group Schemes of Rank 2. I proved essentially that every ...
0
votes
0answers
10 views

Classification of finite group schemes

I was reading an article of Tate about $p$-divisible Groups and, just at the beginning, I read this example. Consider $a,b\in R$, where $R$ is a commutative ring, such that $ab=2$. Put $A=R+Rx$, with ...
0
votes
1answer
30 views

Induced actions.

Let $U$ be the subgroup of $GL_n$ consisting of all unipotent upper triangular matrices. Suppose that there is an action of $U$ on a variety $X$. Let $\mathbb{C}[U]$ be the group algebra of $U$ and ...
1
vote
1answer
41 views

Is cocycle condition necesarry for coassociativity of coproduct and why is it called “cocycle condition”?

Let $\Delta_0$ and $\Delta$ be coproducts related by \begin{equation} \Delta h = \mathcal F \Delta_0 h \mathcal F^{-1} \end{equation} where $\mathcal F \in H\otimes H$ is Drinfeld twist and $h \in H$ ...
2
votes
0answers
40 views

Recovering a restricted Lie algebra from its restricted enveloping algebra

Let $k$ be an algebraically closed field of characteristic $p>0$, and let $\mathfrak{g}$ be a restricted Lie algebra, with restricted enveloping algebra $u(\mathfrak{g})$. We can place a Hopf ...
2
votes
0answers
25 views

Are there always nontrivial primitive elements in a Hopf algebra?

Let $k$ be an algebraically closed field of arbitrary characteristic. Let $H$ be a Hopf algebra over $k$. We say $x\in H$ is a primitive element if $\Delta(x)=1\otimes x+x\otimes 1$, where $\Delta$ ...
0
votes
0answers
33 views

Actions of Hopf Algebras

i have a question about Hopf-algebras and Sweedler notation: Suppose that $A$ and $B$ both are Hopf algebras with a Hopf algebra pairing $p:A\times B\rightarrow\mathbb{C}$. I want to show that the ...
1
vote
1answer
48 views

Natural map of extension groups

Let $\Lambda$ be a cocommutative Hopf algebra over a commutative ring $R$. For two left $\Lambda$-modules $M$ and $N$, interpret $\mathrm{Ext}_{\Lambda}^n(M,N)$ as the set of equivalence classes of ...
1
vote
2answers
79 views

co-idempotents: algebraic dual of an idempotent element?

So many times you can write out the axioms for an algebraic structure (say an algebra over a ring) as commutative diagrams and then reverse all the arrows and get a new structure: say a coalgebra. ...
3
votes
0answers
83 views

Integral Homology of $BU$

We know that the integral cohomology of $BU$, $H^*(BU) = Z[c_1,c_2,...]$ where $|c_i| = 2i$ is the $i$th Chern class, with coproduct $\Delta c_i = \Sigma c_j\otimes c_{i-j}$. And at almost ...
1
vote
1answer
41 views

Comultiplication of sum

If $a$ and $b$ are elements of a Hopf algebra over a field $k$ and $\alpha, \beta \in k$, then what is $\Delta(\alpha a+\beta b)$? Is it $\alpha\Delta(a)+\beta\Delta(b)$? For example if $\Delta(x)=x ...
1
vote
0answers
28 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 ...
2
votes
0answers
23 views

Booleanity implies commutativity, the case of a Hopf algebra.

If a group $G$ satisfies $g^2=e, \forall g\in G,$ then $gh=gh(hg)^2=ghhghg=gghg=hg, \forall g, h\in G,$ thus $G$ is commutative. Since Hopf algebras correspond to groups, one should obtain a ...
8
votes
2answers
757 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. ...
1
vote
0answers
50 views

A characterisation of the cyclic subfactors by the existence of a cyclic vector?

A cyclic subfactor is a subfactor admitting a distributive intermediate subfactors lattice. Let's start with the finite index irreducible depth 2 subfactors, i.e. the class of subfactors of the form ...
4
votes
0answers
87 views

Embedding $\mathbb{G}_a$ into $GL_2$

Let $k$ be an algebraically closed field of characteristic $p$. I'd like to find interesting examples of closed embeddings $\mathbb{G}_a(k)\hookrightarrow GL_2(k)$, where $\mathbb{G}_a(k)$ is ...
0
votes
1answer
89 views

Anti-homomorphism of Hopf Algebra

I've got a quick question regarding the anti-homomorphism property. Specifically, what does it actually mean?? For a bit of context, I have the following question. We define $U_q = U_q[o(3)]$ to be ...
3
votes
1answer
108 views

Hopf Algebra - Adjoint Representation

I've been asked to prove the following; $$ a \circ (bc) = \sum_{(a)} (a_{(1)} \circ b)(a_{(2)} \circ c)$$ Using the fact that the adjoint representation is as follows; $$ a \circ b = \sum_{(a)} ...
1
vote
1answer
63 views

The Hopf algebra structure of $GL(n, K)$.

Let $K$ be an algebraic closed field and $G=GL(n, K)$. There is a Hopf algebra structure on $K[G]=K[T_{11}, T_{12}, \ldots, T_{nn}, d^{-1}]$, $d=\det (T_{ij})$ given by $e^*(T_{ij})=\delta_{ij}$, ...
2
votes
1answer
34 views

Question about the definition of left normal morphism of augmented algebras

On the renowned "On the Structure of Hopf Algebras" by Milnor and Moore, there is a definition of "left normal morphism of augmented algebras." It says as follows. If $A$ and $B$ are augmented ...
1
vote
1answer
82 views

Fusion rules and comultiplication for a Kac algebra

Let $\mathbb{A}$ be a Kac algebra (i.e. a Hopf C*-algebra) of finite dimension, and $\mathbb{A}^{*}$ its dual : Is there a formula revealing the fusion rules for the irreducible ...
3
votes
0answers
93 views

Applications of a theorem of Cartier and Gabriel

In a representation theory course I took we stated and proved the following Theorem due to Cartier and Gabriel: Theorem: Suppose $H$ is a cocommutative Hopf algebra over a field $k$ such that $ ...
9
votes
1answer
178 views

Hopf Algebras in Combinatorics

I know that many examples of Hopf algebras that come from combinatorics. But I'm interested in knowing how Hopf algebras are applied in solving combinatorial problem. Are there examples of open ...
1
vote
1answer
165 views

Computation of the hom-set of a comodule over a coalgebra: $Ext_{E(x)}(k, E(x)) = P(y)$.

First of all, since every other book somehow mentions that this is trivial, I apologize if it turns out that I am just misunderstanding something in the definitions. So here goes: The motivation for ...
0
votes
0answers
43 views

Quotient of the group schemes

When I study the quotient of the group schemes, I can not catch the key point. Many claims are similar with the prue group theory, but the prove are more long. I think that are march problems related ...
0
votes
1answer
38 views

Finitely-generated modules over a Frobenius algebra

Let $A$ be a Frobenius algebra over a field $k$ and let $P_1,\ldots, P_t$ be the principal indecomposable modules of $A_A$. If $W$ is a finitely-generated right $A$-module, then there exists ...
2
votes
1answer
73 views

A question on a Hopf algebra

Let $(H, \nu,\eta, \Delta, \epsilon, S)$ be a Hopf algebra. $S$ is the antipode. I am reading a proof of the fact $S(xy)=S(y)S(x)$. First, define maps $\nu, \rho$ in $\hom(H \otimes H, H)$ by ...
1
vote
1answer
89 views

Different definition of antipode for $SL_q(2)$?

In Majid's book (A Quantum Groups Primer) (pg11), the antipode for the Hopf algebra $SL_q(2)$ is defined as $Sd=a$, $Sa=d$, $Sb=-qb$, $Sc=-q^{-1}c$. However, in Kassel's book (Quantum Groups) (pg ...
6
votes
1answer
134 views

Quantum Groups: prove $U_1'\cong U[K]/(K^2-1)$ and $U\cong U_1'/(K-1)$

Regarding this theorem, which is in Kassel pg 126, I have two questions. I have typed in the relevant material for reference. 1) How does $$U_1'\cong U[K]/(K^2-1)$$ imply $$U\cong U_1'/(K-1)$$? ...
9
votes
0answers
154 views

Hopf-like monoid in $(\Bbb{Set}, \times)$

I am looking for a nontrivial example of the following: Let a monoid $A$ be given with unit $e$, and two of its distinguished disjoint submonoids $B_1$ and $B_2$ (s.t. $B_1\cap B_2=\{e\}$), ...
2
votes
1answer
86 views

Converse of Hopf Algebra Theorem

There is a theorem that if a Hopf algebra $H$ is commutative or cocommutative, then $S^2=id_H$, where $S$ denotes the antipode. May I know if the converse is true? (i.e. if $S^2=id_H$, does it ...
5
votes
0answers
95 views

Recovering Hopf Algebra from Group-Like Elements

Given the natural coalgebra structure on a group algebra $kG$, one can recover the group by taking the set of group-like elements of the coalgebra $kG$. When can you go the other way? In particular, ...
6
votes
0answers
166 views

Basis of $SL_q(2)$

While trying to show that $SL_q(2)$ is noncocommutative, I needed to prove the following fact: Show that the set $\{a^ib^jc^k\}_{i,j,k\geq 0}\cup\{b^ic^jd^k\}_{i,j\geq 0,k>0}$ is a basis of ...
2
votes
1answer
49 views

Tensor Product Question in Kassel's Quantum Groups

In Kassel's book on Quantum Groups, I am stuck on the following computation: \begin{eqnarray*} [\Delta (E), \Delta (F)] &=& \Delta (E)\Delta (F)-\Delta (F)\Delta (E)\\ &=& (1\otimes E ...
1
vote
2answers
102 views

How to show that $SL_q(2)$ and $U_q(\mathfrak{sl}(2))$ are noncommutative and noncocommutative

It is known that the two quantum groups $SL_q(2)$ and $U_q(\mathfrak{sl}(2))$ are both noncommutative and noncocommutative. May I ask how do we show that? I have attempted the following: To prove ...
1
vote
1answer
59 views

$U_q$ Quantum group and the four variables: E, F, K, K^{-1}

In Kassel's book on Quantum groups, it is defined that: "We define $U_q=U_q(\mathfrak{sl}(2) )$ as the algebra generated by the four variables $E$, $F$, $K$, $K^{-1}$ with the relations ...
1
vote
1answer
55 views

proving that a action of hopf algebra k(G) on A implies a G-grading on A

Let $k(G)$ be the hopf algebra of functions on $G$ with values in $k$ with pointwise multiplication and a comultiplication given by $\Delta(f)(x,y) = f(xy)$ and let $A$ be a $k$-algebra. I read (in ...
2
votes
1answer
92 views

Prove well-definedness of comultiplication and counit of $GL_q(2)$ and $SL_q(2)$.

I read a textbook on Quantum Groups by Kassel, and did not understand the following proof of well-definedness of $\Delta$ (comult.) and $\epsilon$ (counit) on $GL_q(2)$ and $SL_q(2)$: (pg 84) The ...
3
votes
1answer
123 views

Hopf algebra: Identity under convolution

In Hopf algebra texts, it is usually stated that $1=\eta\epsilon\in$Hom($H^C,H^A$) is the identity under convolution. $\eta$ is the unit, $\epsilon$ is the counit. My question is, is that a ...
1
vote
1answer
46 views

Kernel of a Comodule Map is a Sub-Comodule

Let $H$ be a Hopf algebra, $(V,\Delta_R)$ a right $H$-comodule map, and $f:V \to V$ a right $H$-comodule map. Since by definition we must have, for all $v \in V$, that $$ \Delta_R(f(v)) = \sum ...