Questions tagged [hopf-algebras]
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 structure exists on the group algebra $k G$ of a finite group $G$.
588 questions
2
votes
1
answer
141
views
Exotic Hopf algebra structures on the $p$-fold direct product in characteristic $p > 0$
Let $k$ be an algebraically closed field of characteristic $p > 0 $ and let $A$ be an algebra over $k$, which is a local ring.
There is an isomorphism of algebras $\prod_{i=1}^p A \cong A \otimes k[...
7
votes
2
answers
201
views
Does the canonical element associated to a finite dimensional $\mathbb{C}^* $-Hopf algebra always have finite order?
Let $\mathcal{A}$ be a finite dimensional $\mathbb{C}^* $-Hopf algebra. Let $B(\mathcal{A})$ be a basis of $\mathcal{A}$ and let
$B(\mathcal{A}^* )=\{ \delta_x\in\mathcal{A}^* | x\in B(\mathcal{A}) \}$...
13
votes
1
answer
284
views
Finiteness of the number of Hopf subalgebras
Let $H$ be a finite-dimensional Hopf algebra over the complex field.
Question: Does $ H $ have a finite number of Hopf subalgebras?
In the case where $ H $ is semisimple, the answer is yes. According ...
5
votes
0
answers
93
views
$\text{Rep}(D_4)$ and its three fiber functors
It is well-known that the fusion category $\text{Rep}(D_4)$ of representations of the dihedral group $D_4$ of order 8 admits three distinct fiber functors. Therefore, there are three different Hopf ...
5
votes
1
answer
179
views
Semisimplicity of algebras in fusion categories
Let $\mathcal{C}$ be a fusion category and $A \in \mathcal{C}$ be an algebra object. We say that $A$ is semisimple if its category of (right) modules $\mathsf{mod}_A(\mathcal{C})$ is a semisimple ...
0
votes
1
answer
294
views
Hopf algebras actions
Can you write down a general type of Hopf algebra action? How do you justify the name "action", when it is already used for group actions?
There must be a common core, if the same term is ...
3
votes
0
answers
87
views
Functorial relationships between Hopf algebras and rough paths
In rough paths theory, the signature of a path $x: [0, T] \to \mathbb{R}^d$ is an element in the tensor algebra $T((\mathbb{R}^d))$. These signatures reside within the group-like elements and ...
13
votes
0
answers
332
views
Lie theory for quantum groups?
$\DeclareMathOperator\SU{SU}$I know about quantum groups from two perspectives:
Compact quantum groups in the sense of Woronowicz.
Deformation of the universal enveloping algebra of a Lie algebra in ...
2
votes
1
answer
78
views
Does there exist a nontrivial triangular weak Hopf algebra?
Quasitriangular weak Hopf algebras (QWHAs) are defined in Nikshych-Turaev-Vainerman (2000): A QWHA is a pair
($H,\mathcal{R}$) where $H$ is a WHA and
$\mathcal{R} \in \Delta^{op}(1)(H\otimes H)\Delta(...
6
votes
0
answers
349
views
Quantum Hilbert's fifth problem
Hilbert's fifth problem inquires whether every locally Euclidean group is necessarily a Lie group. Von Neumann demonstrated that this is indeed true for the compact case.
The definition of a quantum ...
4
votes
0
answers
82
views
Is the Drinfeld element of a semisimple quasitriangular Hopf algebra invariant under the Drinfeld twist?
Let $A$ be a finite dimensional semisimple quasitriangular Hopf algebra over $\mathbb{C}$ with universal $R$-matrix denoted by $\mathcal{R}\in A\otimes A$. The Drinfeld element of $A$ is defined as
$$...
9
votes
1
answer
1k
views
Coderivations of $S(V)$ correspond to linear maps $S(V) \to V.$ Only over characteristic $0$?
Definition. Let $k$ be a commutative ring. Let $V$ be a $k$-module. We turn the symmetric algebra $\mathrm{S}\left(V\right)$ of $V$ into a graded Hopf algebra by defining the comultiplication
\begin{...
8
votes
1
answer
821
views
A "concrete" example of a one-sided Hopf algebra
I came to know from the paper Left Hopf Algebras by Green, Nichols and Taft that one may consider a Hopf algebra whose antipode satisfies only the left (resp. right) antipode condition.
To be more ...
3
votes
0
answers
65
views
A combinatorial Dyson-Schwinger equation, tree diagrams, and compositional inversion of a Laurent series
In "Tree hook length formulae, Feynman rules and B-series", Bradley Jones and Karen Yeats state on pg. 9:
Combinatorial Dyson-Schwinger equations are functional equations with solutions in
$...
0
votes
0
answers
44
views
Categorical duals for Yetter-Drinfeld modules [duplicate]
Yetter-Drinfeld (YD) modules appear naturally in the theory of Hopf algebras. They are both modules and comodules at the same time, satisfying a certain compatibility condition, as presented here. The ...
0
votes
0
answers
124
views
Do the following two notions of quantum groups sometimes coincide?
On the one hand there is the notion of quantum groups due to Drinfeld and Jimbo. In there notion a quantum group is defined as a deformation of the universal enveloping algebra of a semisimple Lie ...
3
votes
0
answers
60
views
$G$-crossed (braided) fusion categories and Tannaka duality
Many important concepts in tensor category theory have their counterpart in Hopf algebra theory under Tannaka duality. They have the general form: let $A$ be an XX-algebra, and let Rep$(A)$ denote the ...
5
votes
1
answer
80
views
Weakly involutive $R$-matrices and representations of the symmetric group $S_N$ in restricted subspaces of $V^{\otimes N}$
An $R$-matrix is a matrix $R\in\operatorname{End}(V\otimes V)$ (where $V$ is a finite dimensional vector space) that solves the Yang–Baxter equation
$$R_{12}R_{23}R_{12}=R_{23}R_{12}R_{23},$$
where ...
1
vote
1
answer
110
views
On reflexive bialgebras
Let $A$ be a bialgebra. We can consider $A$ as a relfexive algebra (i.e. $A\cong A^{o*}$) or relfexive coalgebra (i.e. $A\cong A^{*o}$ where in each case $o$ denotes what is sometimes called ...
4
votes
0
answers
68
views
Smallest finite dimensional $\mathbb{C}^*$-Hopf algebra that is not "strongly group theoretical"
In this question, let us call a finite dimensional $\mathbb{C}^*$ Hopf algebra $H$ strongly group theoretical if there exists a finite group $G$ such that one of the following three equivalent ...
3
votes
2
answers
135
views
Are the Drinfeld doubles of twist equivalent Hopf algebras twist equivalent?
Let $H_1$ and $H_2$ be finite dimensional Hopf algebras that are twist equivalent, i.e. $H_2$ is obtained from $H_1$ using a Drinfeld twist. My question is: are the Drinfeld doubles $D(H_1)$ and $D(...
10
votes
3
answers
856
views
Tannaka-Krein duality in Chari-Pressley's book
I am not sure that this was not discussed before, so excuse me in this case. This can be considered as a special case of my previous question here.
V.Chari and A.N.Pressley in their "Guide to Quantum ...
5
votes
0
answers
130
views
The Balmer spectrum and the thick tensor ideals of the derived category of a Hopf algebra
Given a Hopf algebra $H$ over a field $\mathbb{k}$, the category of finite-dimensional left-$H$-modules naturally becomes a rigid monoidal category with exact monoidal product. Thus clearly the ...
7
votes
3
answers
650
views
Representations of $D(G)$ as an object in the center of $\operatorname{Rep}(G)$
Let $G$ be a finite group and $D(G)$ its quantum double. As in my previous question, a typical irreducible representation (finite dimensional over $\mathbb{C}$) is labeled by $(\theta,\pi)$, where $\...
0
votes
0
answers
55
views
Weakly symmetric Hopf algebras
Let $A$ be a finite dimensional Hopf algebra over a field $K$ that is weakly symmetric (meaning $soc P = top P$ for each indecomposable projective $A$-module P).
Question: Is $A$ then automatically ...
3
votes
0
answers
276
views
Is there a non-pointed simple integral modular fusion category?
The complex field $\mathbb{C}$ is assumed to be the base field. Let WGT stand for weakly group-theoretical; then [ENO11, Question 2] asks whether the following holds:
Statement 1 (open): There is a ...
3
votes
1
answer
165
views
quantum invariants, ribbon Tannakian duality and classification of ribbon Hopf algebras
In a nutshell, my question is:
Q0: is there a classification of invariant of (framed) tangles arising from the Reshetikhin–Turaev construction?
I will now make it more precise. One could define a ...
22
votes
3
answers
2k
views
Stable homotopy type theory?
This is a combined question, strictly speaking I am asking three questions concerning, respectively, homotopy type theory, stable homotopy theory and Yetter-Drinfeld modules. But I believe in the ...
6
votes
0
answers
122
views
If a strong monoidal functor $F$ has an ambidextrous adjoint, then how close is the adjoint to being strong monoidal?
Let $F : C \to D$ be a strong (symmetric, say) monoidal functor. Suppose that $G : D \to C$ is both left and right adjoint to $F$ (an ambidextrous adjunction). Then by doctrinal adjunction $G$ is both ...
3
votes
1
answer
426
views
Is Malcev completion an embedding?
The Malcev completion of an abstract group $G$ over a field $k$ of characteristic zero is defined by
$$\hat G = \mathbb{G}(\widehat{k[G]}) ,$$
the group-like part of the completed (by the augmentation ...
11
votes
1
answer
1k
views
When are representation rings special lambda-rings? (variations of an old question)
Status: Questions 2 and 4 answered in the negative. Questions 1 and 3 ARE STILL UNANSWERED, despite previous claims.
On the third page of Wolfang K. Seiler's paper "lambda-rings and Adams ...
0
votes
0
answers
51
views
Action of Hopf algebra of identity supported distributions on a Lie group
The Hopf algebra
of identity supported distributions on a lie group is cocommutative. It is well known that it is a group object in the category of cocommutative coalgebras. Is there a canonical ...
2
votes
1
answer
90
views
Germs of left invariant differential operators on a group
Are there germs at the identity of linear differential operators on a group which are not germs at the identity of left invariant differential operators?
I feel like the answer is no but the statement ...
2
votes
0
answers
69
views
Is anything known about the center of the Fomin-Kirillov algebra?
Let $\mathcal{B}_{\mathbb{S}_m}$ be the quotient of the Fomin-Kirillov algebra so that its pairing becomes certainly nondegenerate. This algebra is conjecturally isomorphic to the Fomin-Kirillov ...
14
votes
1
answer
676
views
Quantum braid group
Recently I learned the definition of the quantum permutation group $A_s(n)$, which starts from the fundamental representation by permutation matrices and exchanges the entries by noncommuting ...
1
vote
0
answers
130
views
Can't parse a statement in an article on coalgebras and umbral calculus
This question is cross-posted from MSE.
I am reading Nigel Ray's "Universal Constructions in Umbral Calculus" (1998, published in "Mathematical Essays in Honor of Gian-Carlo Rota", ...
4
votes
1
answer
161
views
Existence of an element in a Hopf algebra that satisfies a 'flip' property
Consider a Hopf algebra $H$ where $S$ is the antipode and $\Delta$ is the coproduct. Given $a \in H$, I want to know if there always exists an element $b \in H$ satisfying the 'flip' property: $$\...
3
votes
0
answers
98
views
Yetter-Drinfeld modules for Hopf monads
1. Context.
1.1. Classical Yetter-Drinfeld modules.
Let $H$ a bialgebra in a braided monoidal category $\mathcal{C}$. A left-right Yetter-Drinfeld module over $H$ is a triple $(V,\rho,\Delta)$ ...
6
votes
1
answer
207
views
Hopf monads in categorical probability theory
1. Context. According to [1], probability monads are arguably the most important concept in categorical probability theory. In [2] Fritz and Perrone argue that "in order for a monad to really ...
4
votes
0
answers
168
views
Representations of $C\left(SO_q(n)\right)$
A complete classification of irreducible representations of the $C^*$-algebra $C(G_q)$, where $G_q$ is the $q$-deformation of a classical simply connected semisimple compact Lie group, was provided by ...
3
votes
0
answers
133
views
Tannaka duality for Hopf algebroids
Setting. Let $k$ be a field, $A$ a finite-dimensional $k$-algebra, and $H$ a Hopf algebroid over $A$ with invertible antipode. Denote by $\operatorname{mod}(H)$ the category of finite-dimensional ...
3
votes
0
answers
134
views
Generalized wreath products of commutative algebras with Hopf algebras
Fix $k$ a commutative ring (or, if more convenient, assume it’s a field or even an algebraically closed field of characteristic 0, which is the case I’m mainly interested in). Let $A$ be a unital ...
9
votes
0
answers
326
views
Equivalence of Yetter-Drinfeld modules to Drinfeld center: is there a purely categorical proof?
Let $H$ be an Hopf algebra over a field $k$, and let $\mathcal{C}$ be the monoidal category of left $H$-modules.
It is known that the Drinfeld center of $\mathcal{C}$ is equivalent (as a braided ...
7
votes
0
answers
331
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 [KSZ06].
We are interesting in an alternative ...
4
votes
0
answers
56
views
When does Morita equivalence between two Hopf-von Neumann algebras imply also equivalence of their categories of comodules?
Let $A$ and $B$ be two Hopf-von Neumann (bi)algebras. Furthermore, let us assume that we know that they are Morita equivalent as von Neumann algebras (i.e. their categories of appropriate ...
2
votes
1
answer
232
views
Completely contractive Banach algebra structure on the dual of a Hopf $C^*$-algebra
Let $(A, \Delta)$ be a Hopf $C^*$-algebra, i.e. $A$ is a $C^*$-algebra, and $\Delta: A \to M(A\otimes A)$ is an injective non-degenerate $*$-homomorphism that is coassociative:
$$(\iota \otimes \Delta)...
7
votes
0
answers
151
views
How to construct the quantum group $U_q(\mathfrak{sl}(2))$ from the quantum coordinate ring $\operatorname{SL}_q(2)$?
Let $k$ be the ground field, and $q$ be an invertible element with $q$ not being a root of unity.
Let $\operatorname{SL}_q(2)$ be the quantum coordinate ring of $\operatorname{SL}(2)$ given explicitly ...
5
votes
2
answers
252
views
An algebra map between Hopf algebras that does not commute with the counit
Let $(H,\Delta,\epsilon,S)$ be a Hopf algebra. Can there exist an algebra map $\phi:H \to H$ such that
$$
\epsilon(\phi(g)) \neq \epsilon(g), ~~~~~ \textrm{ for some } g \in H?
$$
Does the anti-pode ...
8
votes
1
answer
312
views
How does the Tannaka duality work for weak Hopf algebras and fusion categories?
I'm a physicist and not yet an expert in fusion category. I've heard that it's possible to reconstruct a weak Hopf algebra from its category of representations, and would like to know how this works ...
2
votes
0
answers
28
views
Examples of (weak-)bialgebras/Hopf algebras with a finite dimensional unitary representation and corepresentation and polynomial growth rate
I need examples (the more the better, even better if there is a systematic way of construction) of (weak-)bialgebras or (weak-)Hopf algebras $H$ with a finite dimensional representation $\rho$ and a ...