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

150 views

### Are there small examples of non-pivotal finite tensor categories?

I'm looking for small concrete examples of non-pivotal finite tensor categories to do some calculations with. Here a finite tensor category is, according to Etingof-Ostrik, a rigid monoidal category ...
496 views

177 views

### Is the “Toeplitz algebra” the representation ring of a Hopf algebra related to SU(2)?

More precisely, does there exist a Hopf algebra $H$ whose category of (finite-dimensional, complex) representations is generated under direct sum and tensor product by two one-dimensional ...
205 views

### $U\left(\mathfrak a\right) \otimes_{U\left(\mathfrak a\cap\mathfrak b\right)} U\left(\mathfrak b\right) \cong U\left(\mathfrak a + \mathfrak b\right)$ over a ring containing $\mathbb{Q}$

While the Poincaré-Birkhoff-Witt theorem is usually proven (and sometimes even formulated) for free modules only, it is known (see also here) that it holds for arbitrary modules if the ground ring is ...
56 views

### How well is the classification of low-dimensional semisimple Hopf superalgebras (or braided Hopf algebras) understood?

As far as I know, low-dimensional semisimple Hopf algebras are classified (along with non-semisimple ones) up to dimension 60, with the first example of a semisimple Hopf algebra not coming from a ...
59 views

### Explicit description of graded (counital) cofree cocommutative coalgebras

Let $k$ be a field of characteristic $p \neq 2$, and $V = \oplus V_{n}$ be a graded vector space over $k$. Then, can one compute the graded (counital) cofree cocommutative coalgebra $C(V)$ ...
75 views

### dual notion to hopf galois extension and properties thereof

Let $H$ be a finite dimensional hopf algebra and $B \subset A$ be an $H$-extension of algebras. We know that the following are equivelant 1) $A \cong B \times_\sigma H$ is a cocycle crossed product ...
66 views

85 views

### Equivalence between Algebraic Semi-group Structures and Coalgebra Structures for an Algebraic Variety?

I was looking at this old question Hopf algebra and group structure correspondence for algebraic varieties which says that there exists an equivalence between algebraic group structures on an ...
114 views

### Hopf Comodule Decompositions and Coinvariant Elements

For $H$ an Hopf algebra, and $V$ a right $H$-comodule with coaction $\Delta_R$, for which there exists a vector space decomposition $V=V_+ \oplus V_-$. Are the following two statements equivalent? ...
96 views

### Group-like Elements in a Coquasitriangular Bialgebra

What do we know about group-like elements in coquasitriangular bialgebras? In particular, we know that a commutative bialgebra in which all group-like elements are invertible is a Hopf algebra (see ...
132 views

### There is nonzero primitive element in finite dimensional pointed hopf algebra over C???

I'm huge confused! There is nonzero primitive element in finite dimensional pointed hopf algebra over complex field??? I find in several articles,it is said that a is primitive,so a=0. I will ...
255 views

### Coideals of Hopf algebra coming from right (left) coideals K->K^+

If $H$ is a Hopf algebra over a field and $K$ is a right or left coideal of $H$ then $K^+=K\cap\ker\epsilon$ is a coideal of $H$. Does this hold when $k$ is a commutative ring? If not, what is a ...
329 views

### Complement to the Kernel of a Hopf Algebra Map

Given two Hopf algebras $A,B$ over a field $k$, and a Hopf algebra map $\pi:A \to B$, are there any general tricks for finding a complement to the kernel of $\pi$. That is, how can one find a subspace ...
135 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 ...
343 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 ...
45 views

### When does the Spectrum of a Commutative Hopf Algebra Separate Points?

Let $H$ be a (finitely generated) commutative Hopf algebra over the complex numbers. When is it true that, for every $g \in H$, we can always find an algebra map $f_g:H \to \mathbb{C}$ such that ...
41 views

### Does the standard Podlés sphere have a quasitriangular Hopf algebra structure? Do quantum homogeneous spaces have one in general?

Function spaces on (classical) homogeneous spaces can have a bialgebra structure: Take $S^2$ to be the unital, associative algebra generated by $x, y, z$ with the relation $x^2 + y^2 + z^2 = 1$ and ...
132 views

### Flatness over Hopf subalgebra

Let $A\subset B$ be flat Hopf algebras over a Dedekind ring $R$. J. Moore has proved in the article Compléments sur les algèbres de Hopf, John C. Moore, Séminaire Henri Cartan (1959-1960), Volume: ...
175 views

### polynomial representation of $sl_{2}(k)$

Let $k$ be an algebraic closed field of characteristic 0. We write X=\left( \begin{array}{ccc} 0 & 1\\ 0 & 0\\ \end{array} \right),~~ Y=\left( \begin{array}{ccc} 0 & 0\\ 1 & 0\\ ...
Consider a semisimple algebraic group $G$ over an algebraically closed field of arbitrary characteristic and let $\bar U(G)$ denote its hyperalgebra (ie, the restricted Hopf dual of the coordinate ...
Given a Hopf algebra $H$, a left $H$-comodule $V$, and a surjective comodule endomorphism $f: V \to V$. Can somebody give: (i) a set of neccessary, or sufficient, or both neccessary and sufficient, ...