**6**

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

218 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

628 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

490 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

578 views

### What is Taft algebra?

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

**4**

votes

**3**answers

643 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

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

**4**

votes

**5**answers

402 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

448 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

333 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

367 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

219 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

595 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

376 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

234 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

312 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

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

**5**

votes

**2**answers

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

**21**

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

969 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

432 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

510 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

702 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

297 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

798 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

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