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

learn more… | top users | synonyms

2
votes
0answers
149 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 : ...
1
vote
0answers
43 views

For Finite Dual when is $(A \otimes A)^o = A^o \otimes A^0$?

Let $A$ be any $k$-algebra. The finite dual or restricted dual of $A$ is $$ A^o = \{f \in A^* ~ | ~ f(I)= 0, \text{ for some ideal } I \subseteq A, \text{ such that } \text{dim}_k(A/I) < \infty\}. ...
1
vote
0answers
42 views

Alternative Generating Sets of the Quantum Special Linear Group

The Hopf algebra ${\cal O}_q(SL(N))$ has as generators the elements $u^i_j$, subject to certain $q$-relations. Moreover, the antipode is bijective, with square equal to a multiple of the identity on ...
-2
votes
0answers
43 views

${\mathbb Z}$-Gradings and $U_1$ actions [duplicate]

An Hopf algebra $U_1$ is a unital algebra generated by elements $k$ and $k^{-1}$ subject to the obvious relation $kk^{-1} = k^{-1}k = 1$, along with $\Delta(k) = k \otimes k$, $\epsilon(k) = 1$, and ...
3
votes
0answers
65 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
1answer
193 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 ...
3
votes
0answers
63 views

Is multiplication continuous in quantum-SU(2) with respect to the $L^2$-norm

For the Hopf $\ast$-algebra ${\cal O}_q(SU(2)$, with its unique Haar measure $h$, we have an inner product, and a norm, on ${\cal O}_q(SU(2))$ defined by $$ <x,y> : = h(xy^*), ...
1
vote
0answers
82 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
0answers
27 views

Coinvariant Complement to Hopf Comodule Morhpism Kernel

Let $(V,\Delta_R)$ be a (right) comodule over a Hopf algebra $H$, and let $f:V \to C$ be a comodule map, where $C$ is viewed as a Hopf algebra in the usual trivial way. Can there exist more that one ...
2
votes
0answers
99 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 ...
4
votes
4answers
363 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 ...
7
votes
1answer
187 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 ...
2
votes
0answers
108 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
0answers
77 views

faithful modules of algebraic group

Let $G$ be a linear algebraic group over a field $k$. $k[G]$ is the coordinate ring of $G$. $k[G]^{*}$ is the dual algebra of the coalgebra $k[G]$. $H=k[G]^{\circ}$ is the finite dual of the Hopf ...
2
votes
1answer
80 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
0answers
96 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
0answers
84 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
0answers
101 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: ...
6
votes
3answers
271 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
0answers
160 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
0answers
94 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
1answer
135 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 ...
5
votes
0answers
133 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 ...
3
votes
0answers
58 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
0answers
170 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
1answer
115 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 ...
14
votes
0answers
141 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 ...
12
votes
0answers
497 views

Non-“weakly group theoretical” integral fusion categories?

Can you exclude integral fusion categories of global dimension 210, such that the simple objects have dimensions {1,5,5,5,6,7,7} and the following fusion matrices (I don't write the trivial one) ? ...
0
votes
0answers
168 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\\ ...
1
vote
0answers
156 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 ...
10
votes
1answer
395 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
0answers
206 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 ...
1
vote
1answer
162 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
1answer
102 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
2answers
211 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
0answers
69 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
0answers
100 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
0answers
140 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 ...
0
votes
0answers
199 views

Why are there two Hopf algebra structures on a Kac--Moody Algebra.

For a Lie algebra $\frak{g}$, we will recall that its universal enveloping algebra $U(\frak{g})$ has a Hopf algebra structure given by $$ \Delta(x) := 1 \otimes x + x \otimes 1, ~~~ \epsilon(x) = 0, ...
4
votes
1answer
170 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
2answers
182 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
2answers
256 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 ...
11
votes
2answers
735 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
2answers
165 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
1answer
243 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
1answer
268 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 ...
1
vote
0answers
83 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 ...
7
votes
2answers
309 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 ...
8
votes
1answer
212 views

Hopf algebras and bijective antipodes

By a theorem of Larson and Sweedler, the antipode of every finite-dimensional Hopf algebra is bijective. My question is the following: Is it true that in every noetherian Hopf algebra the antipode ...
12
votes
3answers
637 views

Classification of Hopf algebras (state of the art)

I assume that the classification of (certain families of) Hopf algebras is still an open problem, am I right? My question is the following: What is the current state of the art? What is known about ...