**5**

votes

**0**answers

112 views

### Are the integer index finite depth irreducible subfactors Kac-coideal?

Is every integer index finite depth irreducible subfactors planar algebra, the intermediate of an irreducible finite index depth $2$ subfactors planar algebra?
In other words, of the following form ...

**2**

votes

**0**answers

114 views

### Isomorphism Between $U_{h}(\frak{sl}_3)$ and $U({\frak sl}_3)[[h]]$

I take the following from Klimyk and Schmudgen's book Quantum Groups Page 167:
Proposition For $\frak{g}$ a complex semi-simple Lie algebra, there is an isomorphism $\phi$ of the $h$-adic algebra ...

**2**

votes

**2**answers

157 views

### Identities that connect antipode with multiplication and comultiplication

I asked this initially in math.stackexchange:
The group algebra $k(G)$ of any group $G$ satisfies as a Hopf algebra the following identities:
$$
S\otimes S\circ \Delta=\sigma\circ\Delta\circ S
$$
$$
...

**4**

votes

**0**answers

106 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)$ ...

**2**

votes

**2**answers

263 views

### Is antipode unique for bialgebras in arbitrary monoidal categories?

If $B$ is a bialgebra in the category $\tt{Vect}$ of vector spaces (over $\mathbb C$, for example) then $B$ can't have two different antipodes.
Is this true for bialgebras in an arbitrary symmetric ...

**2**

votes

**1**answer

214 views

### When is an exponential functor a bialgebra?

My question is about the notion of exponential functors as they are frequently defined in the literature on (strict) polynomial functors, e.g., the paper "General Linear and Functor Cohomology" by ...

**7**

votes

**2**answers

246 views

### An identity in the free associative algebra

Let $V$ be a finite dimensional vector space over a field of characteristic $0$, and let $T(V)$ be the tensor algebra (also called the free associative algebra) on $V$. This is actually a Hopf ...

**6**

votes

**0**answers

237 views

### Topological quotient Hopf-algebras and “change-of-rings”

One way of constructing coalgebra objects in the homotopy theorist's category of spectra is to take the suspension spectrum of a space, with the diagonal providing a cocommutative comultiplication. ...

**3**

votes

**2**answers

293 views

### Algebraic Groups, Modules, and Comodules

Background:
Let $H$ be a finitely generated commutative Hopf $k$-algebra, where $k$ is a field of non-zero characteristic. For
$$
\widehat{H} := \text{Alg}_k\{H; k\},
$$
we recall (see Abe Chapter 4 ...

**6**

votes

**1**answer

192 views

### Problem with Eisenbud's Lemma “Symmetry of Diagonalization”?

This question was first asked on MathSE but nobody answered.
In his proof of Lemma A2.5 in his book Commutative Algebra with a View towards Algebraic Geometry, Prof. Eisenbud writes something like ...

**2**

votes

**0**answers

178 views

### (Non trivial) coidempotents(Co-$K$-theory)

I was interested to know about coalgebraic version of "Idempotents".
So I seached the web and I found the following interesting post :
...

**3**

votes

**0**answers

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

**4**

votes

**1**answer

393 views

### Tannaka–Krein duality

First I would like to stress that maybe I don't have a necessary background from the theory of Lie groups. I met the topic of Tannaka–Krein duality while reading the book of Gracia–Bondia, Varilly and ...

**1**

vote

**0**answers

102 views

### Action of Landweber-Novikov algebra on infinite polynomial ring

Denote $\text{Aut}(\hat{{\mathbb A}}^1)$ be the affine group over ${\mathbb Z}$ that sends some ring $R$ to the strict automorphisms of $R[[t]]$, i.e. those of the form $X\mapsto X + r_1 X^2 + r_2 X^3 ...

**2**

votes

**0**answers

134 views

### quantum deformations of tensor category

I was told that, if I understand correctly, that the enveloping algebra of semisimple Lie algebra admits one family of quantum deformation as Hopf algebra, which was proved by Drinfeld. Anyone can ...

**6**

votes

**4**answers

879 views

### Structure of the adjoint representation of a (finite) group (Hopf algebra) ?

Every group acts on itself by conjugation $h \mapsto g h g^{-1}$. Respectively considering functions on a group we obtain a linear representation.
Question 1: what is known about this representation ...

**8**

votes

**1**answer

367 views

### Duality between orbifold and quasi-Hopf algebra (twisted quantum doubles)

A quick Question:
Is there some duality known between the quasi Hopf algebra
$D^\omega(H)$ of a finite group $H$ to an orbifold model (such as
SU(2)/$G$ or SO(3)/$G$ orbifold of some ...

**3**

votes

**0**answers

160 views

### Is an integral simple fusion ring, categorifiable?

A fusion ring $\mathcal{F}$ (see here p 28) is integral if the Perron-Frobenius dimension $d(h_i)$ of its basic elements $\{h_1,...,h_r\}$, are integers. Its rank is $r$ and its dimension is $\sum ...

**1**

vote

**1**answer

154 views

### Understanding Sweedler's notation for the structure map of a comodule

I was hoping someone might be able to shed some light on the choice of indices for expressing the coaction using Sweedler notation.
For example, in the paper of Andruskiewitsch About ...

**3**

votes

**0**answers

174 views

### How a unitary corepresentation of a Hopf C*-algebra, deals with the antipode?

Let $\mathcal{A}$ be a Kac algebra (Hopf C*-algebra), with comultiplication $\delta$, counit $\epsilon$ and antipode $S$.
The following definition comes from this paper (p51-52) of ...

**2**

votes

**0**answers

103 views

### integrals in Hopf algebras

Let $H$ be a Hopf algebra and $g$ be a group-like element in
$H^{*}$. Define $L_{g}=\{x\in H\mid hx=g(h)x,~\forall h\in H\}$. If $H$
is not semisimple, when can we find a group-like element $g$ in
...

**0**

votes

**0**answers

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

**10**

votes

**4**answers

467 views

### If tensor product of representations is a representation, must we have a bialgebra?

Hopf algebras and bialgebras are sometimes introduced by saying that you've got an associative algebra $A$ and want to introduce the structure of an $A$-module on $V \otimes W$ where $V,W$ are ...

**4**

votes

**0**answers

190 views

### Existence of a Kac algebra for a given fusion ring in a particular class

A $n$-dimensional Kac algebra (i.e., a Hopf C*-algebra), admits finitely many irreducible representations, whose cardinal $r$ is called its rank, the increasing sequence $(d_{1},d_{2},d_{3}, ..., ...

**1**

vote

**0**answers

118 views

### How simplify the pentagonal equation from two fusion rings?

A semi-simple finite dimensional Hopf algebra $\mathbb{A}$, and its dual $\mathbb{A}^{*}$ produce two fusion categories $\mathcal{C}$ and $\mathcal{C}^{*}$ and then two fusion rings $\mathcal{R}_{1}$ ...

**5**

votes

**1**answer

176 views

### Hopf algebra structure on the ring of quasisymmetric functions

I'm looking for a particular description of the Hopf algebra structure on the ring of quasisymmetric functions.
Let me illustrate by giving this kind of description for the Hopf algebra of symmetric ...

**6**

votes

**0**answers

172 views

### Is it possible to define Hopf algebra as an object in the category of (associative) algebras?

I think this must be well-known, but I can't find references, so my apologies from the very beginning.
Consider first the notion of bialgebra. It is usually defined as an object $B$ in the category ...

**6**

votes

**0**answers

88 views

### Do purification and equivariantization commute?

Suppose that we have an action of a group $G$ on a (quasi-)Hopf algebra $H$, so that we can construct $H\rtimes G$ as in Majid's Cross Products by Braided Groups and Bosonization. It is known that ...

**5**

votes

**0**answers

248 views

### How to compute the abelianization of the representation theory of a Hopf algebra?

I will ask two versions of my question, which probably aren't precisely the same, and I am also interested in hearing about nuances between the two.
Version 1:
Let $(C,\otimes)$ be any monoidal ...

**4**

votes

**1**answer

126 views

### How to make Schubert calculus into a Hopf (actually a PCH) algbera?

The parallels between the formulas in Schubert calculus and in the theory of the representations of symmetric groups (par Geissinger-Zelevinsky) are so apparent (e.g. Giambelli formula), that one must ...

**15**

votes

**0**answers

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

**0**

votes

**0**answers

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

**2**

votes

**0**answers

211 views

### universal enveloping algebras and commutator subalgebras

Let $A$ and $B$ are Lie subalgebras of a Lie algebra $L$. $U(A)$,
$U(B)$ and $U(L)$ are the universal enveloping algebras of $A$, $B$
and $L$, respectively. Let $[A, B]$ be the Lie subalgebras ...

**11**

votes

**2**answers

651 views

### Quantum-Jimbo Algebras: Why Such Fuss About Roots of Unity?

Coming from a Lie algebraic background, I'm trying to branch onto quantum group theory. The divide I see all the time, is $q$ a root of unity or $q$ not a root of unity. I am wondering why is this? If ...

**3**

votes

**0**answers

243 views

### Quantum Coordinate Algebras at Roots of Unity and Non-Standard Irrep Types

Let $\frak{g}$ be a complex semi-simple Lie algebra of rank $n$, and $U_q(\frak{g})$ the corresponding Drinfeld-Jimbo algebra. As is well-known, for $q$ not a root of unity, the irreducible ...

**2**

votes

**1**answer

204 views

### Hopf Duals and Matrix Coefficients

One defines the finite dual of a Hopf algebra $A$ as
$$
H^o := \{f \in H^* ~|~ f(I) = 0, \text{ for some ideal $I$ of $H$ with } \dim_C(H/I) < \infty \}.
$$
As is well-known, $H^o$ has a ...

**1**

vote

**1**answer

137 views

### Generators of the Quantum Coordinate Algebras and Quantized Enveloping Algebra Representations

The representations of the quantized enveloping algebra $U_q(\frak{sl}_n)$ are labeled by the positive weight lattice $P^+$ of the classical Lie algebra $\frak{sl}_n$. Moreover, the dual Hopf algebra ...

**4**

votes

**2**answers

379 views

### Quantized Enveloping Algebras at $q=1$

As is well-known, the quantized enveloping algebra $U_q(\frak{sl}_2)$ is not well-defined when $q=1$ because of the relation
$$
[E,F] = \frac{K-K^{-1}}{q-q^{-1}}.
$$
To address this problem, one has ...

**0**

votes

**0**answers

83 views

### Degree of a commutator in a hyperalgebra or enveloping algebra

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

**3**

votes

**0**answers

135 views

### Hopf Algebra Pairings and Module-Comodule-Equivalences

Let $\left< , \right> : G \times H \to {\bf C}$ be a dually pairing for two complex Hopf algebras $G$ and $H$. For any (left)-$G$-comodule $(V,\Delta_R)$, we can give $V$ the structure of a left ...

**1**

vote

**0**answers

144 views

### Classification of Hopf algebra with exactly two 1-dimensional modules

Is there a classification of indecomposable non-semisimple finite dimensional Hopf algebras with exactly two 1 dimensional modules? If not, is there one when all simple modules are 1 dimensional and ...

**3**

votes

**0**answers

116 views

### Hopf-Borel theorem over polynomial rings

There is a theorem of Borel saying that:
For a connected cocommutative Hopf algebra $A$ over the perfect field $k$ such that underlying graded vector space is finite-dimensional over $k$ we have that ...

**5**

votes

**1**answer

240 views

### Is the “renormalized third comultiplication” on $\mathbf{Symm}$ integral?

Background:
For any commutative ring $R$, let $\mathbf{Symm}_R$ be the ring of symmetric functions in countably many variables $x_1$, $x_2$, $x_3$, ... over $R$. ("Symmetric functions" really means ...

**2**

votes

**2**answers

228 views

### Different Hopf algebra structures on same graded algebra

I'm reading Hatcher's book on algebraic topology. In Section 3.C, he proves as Theorem 3C.4 that if $A$ is a graded commutative associative Hopf algebra over a field of characteristic $0$ and $A^n$ ...

**5**

votes

**2**answers

317 views

### Free cocommutative commutative Hopf monoids

I have some questions about generalizations of abelian groups, relative to symmetric monoidal categories.
1) Let $C$ be a cocomplete cartesian monoidal category with equalizers. I can show that the ...

**12**

votes

**2**answers

899 views

### Hopf Algebra for a physicist

Hello,
for my bachelor's thesis I need to understand the Hopf Algebra of Feynman Diagrams. As I have only litte knowledge in Algebra by now I wanted to ask where I could start and what preknowledge I ...

**3**

votes

**2**answers

171 views

### On local parameters at the origin in an algebraic group

Let $k$ be an algebraically closed field and $G$ an algebraic group over $k$ which is also a $k$-variety (so $G$ is integral, etc). Let $I$ be the ideal defining the identity $e \in G$ and let $\{ ...

**3**

votes

**1**answer

315 views

### Classification of plethories over $\mathbb{Q}$

Let $k$ be a commutative ring. For every cocommutative bialgebra $A$ over $k$ the symmetric algebra of the underlying $k$-module $S(A)$ carries the structure of a $k$-plethory (Borger, Wieland, 2.5). ...

**2**

votes

**1**answer

289 views

### Explicit Descriptions of $q-SO(2)$, and $q-Sp(2)$?

When ever I hear noncommutative geometers talking about quantum groups, it is usually $q-SU(2)$ that they are discussing. As a result there are many good and explicit generator and relation ...

**11**

votes

**3**answers

481 views

### Kaplansky's 6th conjecture: dim(Irrep) | dim(algebra) - for semi-simple Hopf algebras

Let $H$ be a semisimple Hopf algebra. One of the Kaplansky's conjectures states that the dimension of any irreducible $H$-module divides the dimension of $H$.
In which cases the conjecture is known ...