**8**

votes

**2**answers

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

**3**

votes

**3**answers

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

**2**

votes

**1**answer

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

**1**

vote

**0**answers

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

**2**

votes

**1**answer

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

**2**

votes

**1**answer

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

**10**

votes

**1**answer

444 views

### The Inverse of a Universal R-Matrix for Quantized Universal Enveloping Algebra of sl2 and the Dual Pairing with SUq(2)

I have recently begun to study quasi-triangular structures and have come across a problem I can't resolve. Let ${\cal U}_q({\mathfrak sl}_N)$ denote the quantised enveloping algebra of ${\mathfrak ...

**7**

votes

**4**answers

2k views

### What is the universal enveloping algebra?

Let ${\mathfrak g}$ be a Lie algebra in a symmetric monoidal category enriched over $K$-vector spaces, i.e., in particular, hom-s are $K$-vector spaces (where $K$ is a field of characteristic zero). ...

**1**

vote

**2**answers

224 views

### Group and Hopf Algebra Structures for Projective Varieties

Let $V$ be a projective (or affine) variety. Does there exist a bijective correspondence between group structures on $V$ and Hopf algebra structures on the coordinate ring of $V$?

**17**

votes

**4**answers

1k views

### Does the forgetful functor {Hopf Algebras}→{Algebras} have a right adjoint?

(Alternate title: Find the Adjoint: Hopf Algebra edition)
I was chatting with Jonah about his question Hopf algebra structure on $\prod_n A^{\otimes n}$ for an algebra $A$. It's very closely related ...

**6**

votes

**2**answers

630 views

### Hopf algebra structure on $\prod_n A^{\otimes n}$ for an algebra $A$

For a finite dimensional $k$-algebra $A$, each $A^{\otimes n}, n \geq 0$ is a $k$-algebra ($A^0 = k $). Let $T= \prod_{n \geq 0} A^{\otimes n}$. This is a $k$-alegbra with unit $(1,1,\dots)$ and ...

**7**

votes

**1**answer

497 views

### Are groups in (Var/k, rational maps) necessarily algebraic groups?

Let $RVar$ be the category which has complex algebraic verieties as objects and rational maps as morphisms [Edit: for $RVar$ to be a category, the rational maps have to be dominant].
Let's consider a ...

**0**

votes

**1**answer

600 views

### What is Taft algebra?

What is a Taft algebra? Is there any references about the original conception?

**4**

votes

**3**answers

662 views

### Is a bialgebra pairing of Hopf algebras automatically a Hopf pairing?

The following question came up in the course on Quantum Groups here at UC Berkeley. (If you care, I have been TeXing uneditted lecture notes.)
Let $X,Y$ be (infinite-dimensional) Hopf algebras over ...

**6**

votes

**1**answer

452 views

### Is there a good reference for the relationship between the Yangian and formal based loop group?

For every finite dimensional semi-simple Lie group $\mathfrak{g}$, we have a loop algebra $\mathfrak{g}[t,t^{-1}]$. This loop algebra has a natural invariant inner product by taking the residue at ...

**5**

votes

**5**answers

410 views

### What are the correct axioms for a “weakly associative monoidal functor”?

Definitions and the main question
Recall that a category $\mathcal C$ is monoidal if it is equipped with the following data (two functors, three natural transformations, and some properties):
a ...

**5**

votes

**1**answer

454 views

### Is there a relative version of Tannakian reconstruction?

According to some form of Tannakian reconstruction, given a finite tensor category with a fiber functor to the category of vector spaces, one determines a Hopf algebra by considering tensor ...

**3**

votes

**3**answers

336 views

### Group-Adjoint and Hopf-Algebra-Adjoint Maps

I've reading some introductory quantum group material and am trying to understand the algebra-space correspondence in the classical case. One object I'm stuck on is the adjoint coaction
$$
Ad_R: a ...

**7**

votes

**1**answer

379 views

### Comparing two similar procedures for quantizing a Casimir Lie algebra

My primary reference for this question is the very good book Quantum Groups and Knot Invariants by C. Kassel, M. Rosso, and V. Turaev. I'm also drawing from P. Etingof and O. Schiffmann, Lectures on ...

**3**

votes

**1**answer

222 views

### In what way do exact sequences of Lie ideals integrate to the category of groups?

Please excuse, very naive question:
Suppose $g$ is a topological Lie algebra over Q and $G$ = $exp(g)$ the associated group
(take free group on formal symbols $exp(X)$, X $\in$ $G$, and impose all ...

**2**

votes

**2**answers

349 views

### Finding the Universal Ideal of a (Covariant) Differential Calculus

Let $(\Omega,d)$ be a differential calculus over an algebra $A$. It is easy to show that $\Omega$ is always equal to a quotient of $\Omega_u(A)$, the universal calculus over $A$, by some ideal $N$ of ...

**10**

votes

**2**answers

610 views

### Is there a canonical Hopf structure on the center of a universal enveloping algebra?

Let $\mathfrak g$ be a finite-dimensional Lie algebra over $\mathbb C$. Define $\mathcal Z(\mathfrak g)$ to be the center of the universal enveloping algebra $\mathcal U\mathfrak g$, and define ...

**5**

votes

**4**answers

383 views

### Is every monomorphism of commutative Hopf algebras (over a field) injective?

Is it true that any monomorphism of commutative Hopf algebras over a field is injective? Moreover, is it true that any epimorphism of commutative Hopf algebras over a field is surjective?

**2**

votes

**1**answer

242 views

### When does a certain natural construction on monoidal categories yield a Hopf algebra?

Let $\mathcal C = (\mathcal C_0,\mathcal C_1)$ be a (small) strict monoidal category. Pick a field $\mathbb K$, and let $\mathbb K[\mathcal C_1]$ be the vector space with basis the morphism of ...

**6**

votes

**1**answer

319 views

### Transmutation versus operads

A while ago, I was reading Majid's book Foundations of quantum group theory, and Section 9.4 has a rather fascinating description of a Tannaka-Krein reconstruction result for quantum groups. In ...

**3**

votes

**3**answers

637 views

### Apocryphal Maschke theorem?

This may be totally trivial or wrong. I am just posting this because I am sick and tired of trying to understand this myself and I am sure someone out here can just answer it out of his head in 2 ...

**6**

votes

**2**answers

370 views

### If associated-graded of a filtered bialgebra is Hopf, does it follow that the original bialgebra was Hopf?

Warning: older texts use the word "Hopf algebra" for what's now commonly called "bialgebra", whereas now "Hopf" is an extra condition. So as to avoid any confusion, I'll give my definitions before ...

**7**

votes

**3**answers

2k views

### Faithful characters of finite groups

Related to a previous question I am asking furthermore a proof
for the following:
Question 1: If $\chi$ is a faithful irreducible character of a
finite group $G$ then the regular character of $G$ is ...

**23**

votes

**10**answers

2k views

### What does the generating function $x/(1 - e^{-x})$ count?

Let $x$ be a formal (or small, since the function is analytic) variable, and consider the power series
$$ A(x) = \frac{x}{1 - e^{-x}} = \sum_{m=0}^\infty \left( -\sum_{n=1}^\infty ...

**21**

votes

**6**answers

2k views

### Why Drinfel'd-Jimbo-type Quantum Groups?

Hopf algebras are pretty easy to motivate, as a not-necessarily-commutative generalization of the ring of functions on an algebraic group (and there are many other ways in which they come up). I like ...

**12**

votes

**6**answers

977 views

### What structure on a monoidal category would make its 2-category of module categories monoidal and braided?

So, many of us know the answer to "what kind of structure on an algebra would make its category of representations braided monoidal": your algebra should be a quasi-triangular Hopf algebra (maybe if ...

**6**

votes

**3**answers

438 views

### Are supervector spaces the representations of a Hopf algebra?

Supervector spaces look a lot like the category of representations of $\mathbb{Z}/2\mathbb{Z}$ - the even part corresponds to the copies of the trivial representation and the odd part corresponds to ...

**8**

votes

**3**answers

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

**4**

votes

**2**answers

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

**6**

votes

**2**answers

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

**16**

votes

**1**answer

810 views

### Hopf Algebra Reference

I was talking this morning to a colleague who thinks about combinatorial Hopf algebras. He mentioned several rings, which are of interest in combinatorics, for which he didn't know whether a Hopf ...

**3**

votes

**3**answers

418 views

### What is a formula for the “group-like Drinfeld element”?

Any quantized universal enveloping algebra (in fact, any toplogically quasi-triangular Hopf algebra) has an (in its completion) an element u called the Drinfeld element which gives an isomorphism from ...