# Tagged Questions

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 ...

1k views

### A question about the smash product

Let $K$ be an algebraically closed field and $H$ a finite dimensional semisimple-cosemisimple Hopf $K$-algebra, and let $A$ be a finite dimensional $H$-module algebra and $H^{\ast}= Hom_{K}(H, K)$. ...
519 views

### Is there a “correct” general setting for the principle: “tensoring any object with a projective object yields another projective”?

Apparently this principle was first formulated for left modules over the group algebra $A=kG$ of a finite group, where $k$ is a field of characteristic $p>0$ dividing $|G|$. (See Exercise 2 on p. ...
159 views

### Duflot-type theorem for Hopf algebras ?

In group cohomology Duflot's theorem states that the depth of the mod p cohomology ring of a finite group is greater than or equal to the p-rank of the center of a Sylow p-subgroup. Is there a ...
782 views

### Innocent question on tensor products of modular representations

Let $K$ be a field (of course, of positive characteristic, unless you want a trivial question). Let $G$ be a finite group, and $V$ and $W$ be two completely reducible (finite-dimensional) ...
434 views

1k views

### What is the Hopf algebra structures in the homology of the based loop spaces of $E_7$ and $E_8$?

Since $\Omega X$ is a $H$-space, if it has homology of finite type, the homology acquires the structure of a Hopf algebra. Bott has shown that for $X=G$ a Lie group, in fact $H_*(\Omega X)$ is free ...
2k views

### Hopf algebra duality and algebraic groups

Background: Let $G$ be a linear algebraic group over an algebraically closed field $k$ and let $I \subseteq k[G]$ be the ideal of the identity element. The hyperalgebra $U(G)$ of $G$ is defined to be ...
1k views

### When are the homology and cohomology Hopf algebras of topological groups equal?

Suppose we have a topological group $G$, then the multiplication map $\mu$ and the diagonal map $\Delta$ provide the cohomology $H^\ast(G;R)$ (with Pontryagin coproduct and cup coproduct) and homology ...
273 views

### Semisimple Hopf algebras with commutative character ring

Suppose that $A$ is a semisimple Hopf algebra with a commutative character ring. Does it follow that $A$ is quasitriangular, i.e $\mathrm{Rep}(A)$ is a braided tensor category? I think I 've seen ...
424 views

### Ring objects in the category of cocommutative coalgebras (aka Hopf rings).

I have recently been doing some calculations in topology which are naturally expressed in terms commutative ring objects in the category of cocommutative coalgebras. These have been studied for quite ...
165 views

### Formula for the Matrix Elements of the Inverse of special linear Universal R-Matrix of Uq(sln)

Motivated by this question, I'm going to ask a much more direct one: Let $R$ be a universal R-matrix for the quasitriangular Hopf algebra ${\cal U}_q ({\mathfrak sl}_N)$, $~$ $R ^{-1}$ its inverse, ...
242 views

### Reference for the Hecke relation for the universal R-matrix

I've come across a reference in a paper to the Hecke relation for the universal R-matrix of a quasi-triangular Hopf algebra. I've looked around, standard references, online etc, but can't seem ...
504 views

559 views

### Faithfully flat descent over Hopf algebras in terms of comodule structures

Let A be a (finite-dimensional graded cocommutative) Hopf algebra over a field k, E be a Hopf subalgebra, and R=A \otimes_E k. Then the comultiplication on A induces a coalgebra structure on R. ...
952 views

### Hopf algebra structure on the universal enveloping algebra of a Leibniz algebra?

A Leibniz algebra L may be thought of as a noncommutative generalisation of a Lie algebra. One drops the requirement that the bracket be alternating and substitutes the Jacobi identity for the ...
344 views

### How do quantum knot invariants change when I pick a funny ribbon element?

So, there's a construction of Reshetikhin and Turaev which extracts knot invariants from ribbon monoidal categories, which are (usually) the representation category a Hopf algebra with a choice of ...