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

5
votes
1answer
115 views

Corepresentations of Tensor Products of Hopf Algebras

Given two cosemisimple Hopf algebras $H,G$ over ${\mathbb C}$, denote their usual (not braided) tensor product by $G \otimes H$. What conditions do we need to impose on the Hopf algebras to ensure ...
3
votes
0answers
97 views

Is the Nichols-Richmond theorem true for integral fusion rings?

The Nichols-Richmond theorem is a result on cosemisimple Hopf algebras, proved in their paper. It was restated for integral fusion categories by Dong-Natale-Vendramin (Theorem 3.4 here): Theorem: ...
0
votes
1answer
187 views

Open problems where Haskell meets Category theory or Hopf algebras [closed]

I couldn't find any idea to obtain a problem where Haskell programming language meets Category Theory, Algebraic Topology or Hopf algebras for an original and interesting problem. Also, I wonder ...
4
votes
0answers
152 views

'Noether normalization' for finite group schemes

Throughout let $p$ be a prime, and let $k$ be a field of characteristic $p$. Let $G$ be a compact Lie group. Such a $G$ can always be embedded as a closed subgroup of $SU(n)$ for some $n$. This ...
0
votes
0answers
77 views

Action is determined by a braiding

Let $H$ be a bialgebra over $\mathbb{C}$. Suppose that $V$ is a left $H$-comodule and $W$ is an $H$-module. Then we can defined map $\Psi$ by \begin{align} & \Psi: V \otimes W \to W \otimes V, \\ &...
1
vote
1answer
45 views

Reference request: compatibility conditions of four versions of Yetter-Drinfeld modules

There are four versions of compatibility conditions of Yetter-Drinfeld modules (left-left, left-right, right-left, right-right) in the article. Are there some references which derive these ...
1
vote
1answer
91 views

How to show that Yetter-Drinfeld condition is equialent to $\Psi$ is a braiding

Let $H$ be a Hopf algebra and $V$ a right $H$-module and right $H$-comodule. The module $V$ is a Yetter-Drinfeld module over $H$ if and only if \begin{align} ( v \triangleleft h_{(2)} )_{(0)} \otimes ...
1
vote
0answers
49 views

Is $T(V)$ a Yetter-Drinfeld module over $T(V^* \otimes V)$?

Let $V$ be a vector space and $V^*$ the dual vector space. Let $T(V)$ be the tensor algebra of $V$. Is there some action $T(V^* \otimes V) \otimes T(V) \to T(V)$ and coaction $T(V) \to T(V^* \otimes V)...
3
votes
1answer
59 views

Compatibility conditions for Yetter-Drinfeld modules

In the paper, page 28, Definition 4.2.1, the compatibility condition for a Yetter-Drinfeld module over $H$ is $$ h_{(1)}.v_{(-1)} \otimes h_{(2)}.v_{(0)} = (h_{(1)}.v)_{(-1)}h_{(2)} \otimes (h_{(1)}....
1
vote
0answers
75 views

Is $T(V) \rtimes T(V^* \otimes V)$ a bialgebra?

Let $V$ be a vector space and $V^*$ the dual vector space. Let $T(V)$ be the tensor algebra of $V$. The algebras $T(V)$ and $T(V^* \otimes V)$ are bialgebras. I am trying to find some bialgebra ...
8
votes
0answers
74 views

Are the quantum groups $C_q[SU_{1,1}]$ and $C_q[SL_{2}(R)]$ isomorphic?

Classically the group of Moebius transformations of the unit disk and Moebius transformations of the upper half plane are isomorphic, as the unit disk and upper half plane are transformed into each ...
1
vote
2answers
163 views

Motivations of cross product

Let $H$ be a bialgebra and $B$ an $H$-module. The cross product $B \rtimes H$ of $B$ and $H$ is $B \otimes H$ as a vector space and the multiplication in $B \rtimes H$ is defined as follows: $(a \...
1
vote
0answers
86 views

References of an operator $T: V \otimes V \to V \otimes V$

Let $V$ be a vector space with a basis $v_1, \ldots, v_n$ and let $X_{ij} = v_i \otimes v_j$. Then $X_{ij}, i,j=1,\ldots, n$, is a basis of $V \otimes V$. Let $T: V \otimes V \to V \otimes V$ be the ...
0
votes
0answers
80 views

How to write a braiding as a matrix?

Let $V$ be the vector representation of $sl_n$. Then $V \otimes V$ is a $U_q(sl_n)$-module. Suppose that a braiding \begin{align} \Psi: V \otimes V \to V \otimes V \end{align} satisfies the ...
0
votes
1answer
109 views

Is the cross product $A \rtimes H$ a bialgebra?

Let $H$ be a bialgebra and $A$ a $H$-module algebra. The cross product $A \rtimes H$ is defined as follows. As a vector space $A \rtimes H = A \otimes H$. The multiplication on $A \rtimes H$ is ...
3
votes
1answer
79 views

Comodules of Cosemisimple Hopf Algebras

A cosemisimple Hopf algebra is one which is the sum of its cosimple sub-cobalgebras. Is it clear that a comodule of a cosemisimple Hopf algebra always decomposes into irreducible parts? Moreover, will ...
2
votes
1answer
90 views

When are Morita classes represented by certain structured algebra objects?

Let $\mathcal{C}$ be a monoidal category. There is a notion of Morita equivalence of algebra objects internal to $\mathcal{C}$. Does each Morita class have a symmetric Frobenius representative? A Hopf ...
1
vote
0answers
141 views

Deformation of a Hopf algebra

A deformation of a Hopf algebra is defined as follows. On page 171 of the book a guide to quantum groups, Remark 2, it is said that Any deformation of a Hopf algebra $A$ as a bialgebra is ...
5
votes
2answers
114 views

When are the braid relations in a quasitriangular Hopf algebra equivalent?

Quasitriangular Hopf algebras have to satisfy, amongst other conditions, the following equations: $$(\Delta \otimes \mathrm{id}) (R) = R_{13} R_{23}$$ $$(\mathrm{id} \otimes \Delta) (R) = R_{13} R_{12}...
6
votes
1answer
111 views

The Quantum Group ${\cal O}_q(SL(n))$, for $q>1$

For the quantum group ${\cal O}_q(SL(n))$, $q\in \mathbb{R}$, I have read, without a proof, that for $p>1$, there exists a $q\in (0,1)$ such that $$ {\cal O}_p(SL(n)) \simeq {\cal O}_q(SL(n)). $$ ...
0
votes
1answer
113 views

Definition of a cosemisimple Hopf algebra

A cosemisimple Hopf algebra is usually defined to a Hopf algebra which is the sum of its cosimple subcoalgebras. Does this definition assume that each cosimple subcoalgebra appears only once in the ...
4
votes
0answers
110 views

The augmentation filtration on a group ring

Let $G$ be a group and $\mathbb QG=\{\sum a_ig_i\colon a_i\in\mathbb Q, g_i\in G\}$ its group ring over $\mathbb Q$. It is a Hopf algebra. Let $I=\{\sum a_ig_i\colon\sum a_i=0\}$ be the augmentation ...
6
votes
0answers
94 views

Modular double of elliptic quantum group

By studying dynamical quantum Yang-Baxter equations and corresponding $RLL$ relations, Felder defined an elliptic version of quantum group $E_{\tau, \eta}(sl_2)$, which can be understood as $\mathfrak{...
9
votes
3answers
367 views

Braided Hopf algebras and Quantum Field Theories

It is well-known, that there are a lot of applications of classical Hopf algebras in QFT, e.g. Connes-Kreimer renormalization, Birkhoff decomposition, Zimmermann formula, properties of Rota-Baxter ...
5
votes
1answer
131 views

Quantum group representations from (convolution) matrix units?

Let $A=F(\mathbb{G})$ be the algebra of functions on a finite quantum group with a Haar state $$h=:\int_\mathbb{G}:F(\mathbb{G})\rightarrow \mathbb{C}.$$ There is a convolution product on $A=F(\...
2
votes
0answers
104 views

Generalization of the sign representation to Hopf algebras

For $G$ a finite group, the sign representation is the one-dimensional representation $\pi : G \to \mathbb{C}$ with $\pi(g)$ the sign of the permutation given by the action of $g$ on $G$ by left ...
14
votes
3answers
656 views

Open problems in Hopf algebras

I couldn't find a list of open problems in Hopf algebras. So my question is the following: In the theory of Hopf algebras, what are the (big) open problems? Any kind of problem/question will be ...
0
votes
0answers
65 views

Structure theorem for non connected graded Hopf algebras

Let $V^{\bullet}$ be a graded vector space over a field of char $0$. Assume that $V^{i}=0$ for $i<1$. Then the tensor algebra has the structure of a connected cocommutative Hopf algebra and in ...
2
votes
0answers
82 views

Cosemi-simple FRT Hopf Algebras

This question is a somewhere similar variation on an old question of mine. Given an FRT-algebra, which is to say, roughly, that it can be constructed from an R-matrix in the Yang--Baxter sense (see ...
0
votes
1answer
93 views

bialgebras on quotient polynomials

Is there a general procedure for constructing a bi-algebra out of a quotient polynomial ring? In particular, how do I construct a bi-algebra corresponding to quotient polynomial ring $<x^2-x-1>$?...
4
votes
1answer
108 views

Hopf-Galois Structure Maps

A Hopf-Galois extension of commutative rings, as defined by Montgomery here, is a morphism of commutative rings $\phi:A\to B$ with a Hopf-algebra $H$ coacting on $B$ by a ring map $c:B\to B\otimes H$ ...
4
votes
0answers
130 views

When is a given quiver algebra a hopf algebra?

Given a finite dimensional selfinjective quiver algebra A over a finite field (or more generally an arbitrary field). Whats the best way to check if the algebra A has a Hopf algebra structure or not? ...
5
votes
1answer
127 views

Compact Quantum Groups and FRT-Algebras

As is well known, every compact quantum group in the sense of Woronowicz has a dense Hopf $*$-sub-algebra. For the case of $q-SU(n)$ (among others) this Hopf $*$-sub-algebra is an FRT-algebra, which ...
5
votes
1answer
258 views

Graded Hopf algebras and H-spaces

Let $k$ denote an algebraically closed field of characteristic $0$. Suppose $K=\bigoplus_{i\geq 0}K(i)$ is a Hopf $k$-algebra which admits a connected Hopf-grading (that is, a grading which is both ...
5
votes
1answer
191 views

Center of quantum affine algebras

Are there some references about the center of quantum affine algebras? I searched on google and only find the paper. In particular, what is the center of $U_q(\widehat{\mathfrak{sl}_2})$. Thank you ...
6
votes
0answers
125 views

An alternative Cauchy theorem on Hopf algebras

Let $\mathbb{A}$ be a finite dimensional Hopf ${\rm C}^{\star}$-algebra. There already exists a generalization of Cauchy theorem using exponent, see here. We are interesting in an alternative ...
22
votes
2answers
1k views

Structure of Hopf algebras - trouble understanding an old paper

UPDATE: I am grateful to Peter May for the accepted answer, which makes most of the details below irrelevant. However, I will leave them in place for the record. I am trying to understand the proof ...
7
votes
1answer
166 views

Hopf Galois extensions and conditional expectations for C* algebras

Suppose that $H$ is a Hopf algebra with normalised invariant integral (appropriate side) $\int:H\to \mathbb{C}$. The $H$ right comodule algebra $P$ is a Hopf Galois extension, so the canonical map $P\...
1
vote
1answer
97 views

dimension of generators of cohomology ring of iterated loop-suspension

In the book The unstable Adams spectral sequence for free iterated loop spaces, R.J. Wellington, Mem. Amer. Math. Soc. 258, 1982, p. 32 Question: When $p=2$, $k\geq 1$, $n=0$ to $\infty$, what kind ...
6
votes
0answers
148 views

What's the relation between half-twists, star structures and bar involutions on Hopf algebras?

A star structure on a Hopf algebra is an antilinear antiautomorphism squaring to 1 and satisfying some further axioms. A Hopf algebra with a star structure is then a star algebra and a Hopf algebra in ...
4
votes
1answer
191 views

group completion theorem of homology as Hopf algebras

Let $M$ be a topological monoid with product $\mu$. Then $H_*(M)$ is a Hopf algebra with product $\mu_*$ and coproduct $\Delta_*$. The group-completion theorem by McDuff-Segal, 1976 gives that as a ...
4
votes
0answers
73 views

Dense Hopf $*$-subalgebra of compact quantum groups and cancellation laws

Recall the notion of the compact quantum group, in the sense of Woronowicz: it is a pair $(A,\Delta)$ where $A$ is a unital $C^*$-algebra and $\Delta:A \to A \otimes_{\min} A$ is a unital $*$-...
2
votes
0answers
59 views

Co-quasitriangular Hopf algebra - notation

In one article I found the following statement : If $A$ is a Hopf algebra over $k$ with co-quasitriangular structure $r$, then one can define map $r_{21}*r:A\otimes A\rightarrow k \ \ $ (...). ...
1
vote
0answers
46 views

Realization of braiding on infinite dimensional vector space via Yetter-Drinfeld structure over Hopf algebra

In one article I found the following statement Let $V$ be finite dimensional vector space. A braiding $\Psi$ on $V$ can be realized via Yetter-Drinfeld structure over a Hopf algebra with ...
0
votes
1answer
105 views

Yetter-Drinfeld modules as rigid category

I'm reading a proof of the following theorem If $H$ is a Hopf algebra with invertible antipode then Yetter-Drinfeld modules of finite dimension form a rigid category. In this proof we define $...
1
vote
1answer
123 views

Difference between two definitions of graded coalgebra

I'm reading articles about applications of Hopf algebras in physics. In one of them there is following definition of graded coalgebra: A coalgebra $C$ is called graded if $C=\bigoplus\limits_{n\ge ...
4
votes
0answers
99 views

Is there a perfect integral fusion category with PFdim = 2 mod 4?

A finite group $G$ is perfect if $G = G^{(1)} := \langle [G,G] \rangle$. Proposition: A finite group $G$ is perfect iff any $1$-dimensional complex representation of $G$ is trivial. proof: First if $...
14
votes
2answers
687 views

Does projective imply flat?

Let $\mathcal C$ be an abelian category equipped with a closed symmetric monoidal structure. This implies in particular that the monoidal structure $\otimes$ is right exact in each variable. I care ...
3
votes
1answer
106 views

Normal Hopf ideals and Hopf subalgebras, quotient group schemes

There is a following theorem: $H$ is a commutative Hopf algebra over a field $k$. Then there exists a bijective correspondence between $$\{ \textrm{Hopf subalgebras }K\subset H \} \quad \...
1
vote
0answers
98 views

Programmatically computing dual Hopf algebras: state of the art

Given a graded Hopf algebra of finite type, we know the (graded) linear dual is also a graded Hopf algebra. For instance the dual Hopf algebra to the polynomial algebra on an even degree generator, $R[...