Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

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

15
votes
0answers
232 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 ...
13
votes
0answers
261 views

Analog of Haar element in an algebra

In a Hopf algebra $H $ (over some field $ k $), there is the notion of a Haar element $ h \in H$. This is an element of the algebra which has the property that if $ V $ is a representation of $ H $, ...
12
votes
0answers
566 views

Given an algebra, can it be realized as a block of a Hopf algebra?

During a classification problem I came across a set of algebras given as the path algebra of a quiver with relations. As an example the local ones: $k\langle x,y\rangle/x^2,y^2, xy-qyx$, where $q\in k$...
11
votes
0answers
152 views

Hopf-Galois extensions where the “extension” is a module?

For $H$ a Hopf-algebra, an $H$-Hopf-Galois extension is a map of rings $\phi\colon\thinspace A\to B$ such that $H$ coacts on $B$ over $A$, $B\otimes_AB\cong B\otimes H$, and the cofixed points, or the ...
11
votes
0answers
473 views

What is the role of fiber functor in Deligne's theorem on Tannakian categories?

The theorem states that, for a field $k$ of characteristic 0, any $k$-linear tensor category with $End(1)=k$ satisfying a condition that each object is annihilated by a Schur functor, is equivalent to ...
10
votes
0answers
305 views

Lazard's theorem and Hopf structures on the polynomial algebra

Let $k$ be an algebraically closed field of characteristic $0$. A well-known result of Lazard's states that an algebraic group which is isomorphic as a variety to an affine space is unipotent (M. ...
10
votes
0answers
239 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 ...
10
votes
0answers
390 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 ...
9
votes
0answers
86 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 ...
9
votes
0answers
182 views

Are local finite dimensional Hopf algebras symmetric?

Recall that a finite dimensional algebra $A$ over a field $K$is called a Frobenius algebra in case $A \cong D(A)$ as right modules, where $D(A) \cong Hom_K(A,K)$. In case $A \cong D(A)$ as bimodules, ...
9
votes
0answers
445 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 ${...
8
votes
0answers
167 views

Categorical interpretation of quantum double $D(A,B,\eta)$

It is known that the Drinfel'd double $D(A)$ of a Hopf algebra $A$ is characterized by the following two properties: The category of left $D(A)$-modules $_{D(A)}\mathcal{M}$ is equivalent to the ...
8
votes
0answers
402 views

Bicommutative Hopf algebras have internal hom objects. What are they?

Let $k$ be a field and $\mathcal H$ the category of conilpotent bicommutative Hopf algebras over $k$. (Conilpotent means that every element eventually becomes zero if you apply the reduced ...
7
votes
0answers
161 views

When is the character group scheme of a group scheme representable? (Affine Case)

While reading Tate's article on Finite Flat Group Schemes in "Modular Forms and Fermat's Last Theorem" I was lead to this question. Let $S$ be a scheme, $G$ a group scheme over $S$, and $T$ an $S$-...
6
votes
0answers
156 views

Independence of characters with respect to polynomials

I came across the following property : Let $\mathfrak{g}$ be a Lie algebra over a ring $k$ without zero divisors, $\mathcal{U}=\mathcal{U}(\mathfrak{g})$ be its enveloping algebra. As such, $\...
6
votes
0answers
85 views

What additional property does the antipode give on the category of all modules over an Hopf algebra?

It is well known that many constructions involving bialgebras extends to monoidal categories, and often becomes more natural in that framework. If one cares about the category of finite dimensional ...
6
votes
0answers
114 views

Triviality of Semisimple Hopf Algebras of Cyclic Dimension

A cyclic number is a natural number $n$ such that any group of order $n$ is cyclic. A003277 Theorem (T. Szele, 1947): A number $n$ is cyclic if and only if it is coprime to its Euler totient $\varphi(...
6
votes
0answers
140 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 ...
6
votes
0answers
354 views

Is there a non-trivial Hopf algebra without left coideal subalgebra?

Let $H$ be a finite dimensional Hopf ${\rm C}^{\star}$-algebra. A $\star$-subalgebra $I$ of $H$ is a left coideal if $\Delta(I) \subset H \otimes I$. $H$ is called maximal if it has no left coideal $\...
6
votes
0answers
255 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. If,...
6
votes
0answers
213 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}, ..., d_{r}...
6
votes
0answers
103 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 $...
6
votes
0answers
308 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 ...
5
votes
0answers
91 views

Hopf algebra interpretation of hypergraph duality?

The work of Aguiar and Ardila (https://arxiv.org/abs/1709.07504) on Hopf monoids for generalized permutohedra gives a Hopf monoid structure on the collection of hypergraphs; see sections 19 and 20 of ...
5
votes
0answers
107 views

How to translate multi-segments to Drinfeld polynomials?

Let $\hat{H}_m=\hat{H}_m(q)$ be the Iwahori-Hecke algebra of $GL_m$, see for example, Section 2. The simple $\hat{H}_m$-modules are parametrized by Zelevinsky's multi-segments, See Section 2.2 of the ...
5
votes
0answers
152 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 ...
5
votes
0answers
131 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{...
5
votes
0answers
83 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 $*$-...
5
votes
0answers
132 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 (...
4
votes
0answers
106 views

Category of (co)commutative Hopf monoids in an exact category

I'm transferring this question over from SE, since it didn't get much attention over there. Let $(C, \otimes)$ be an exact monoidal category, and let $H(C)$ be the category of cocommutative and ...
4
votes
0answers
157 views

DGLA related to the deformation of hopf Algebras

Recently I was considering Hopf algebras and Drinfeld's twists. I stumbled upon a certain DGLA one can associate to a Hopf algebra (unital bialgebras actually) by copying the formulas obtained by ...
4
votes
0answers
200 views

Nichols Algebras as Braided Hopf Algebras

Given a Hopf algebra $H$ and a Yetter--Drinfeld module $V$ over $H$, it is well-known that $V$ has an induced braided vector space structure, and so, one can consider it's Nichols algebra which is a ...
4
votes
0answers
203 views

divided power structure on Hocschild cohomology?

Does Hochschild cohomology of a cocommutative Hopf algebra over a field of positive characteristic have a natural divided power structure? If not, perhaps a certain natural extra structure on the ...
4
votes
0answers
166 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 ...
4
votes
0answers
190 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? ...
4
votes
0answers
115 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 $...
4
votes
0answers
175 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)$ ...
4
votes
0answers
204 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 d(...
4
votes
0answers
257 views

Is the “Toeplitz algebra” the representation ring of a Hopf algebra related to SU(2)?

More precisely, does there exist a Hopf algebra $H$ whose category of (finite-dimensional, complex) representations is generated under direct sum and tensor product by two one-dimensional ...
4
votes
0answers
223 views

dimension of induced comodule

Let $\pi : G \to H$ be epimorphism of Hopf superalgebras, where $G$ be an quantum super group of function on $GL(m|n)$, $H$ be an quantum group of function on $GL(m) \otimes GL(n)$; $W$ an finite ...
3
votes
0answers
67 views

It there a nice way to describe the structure of Malcev-complete groups?

Let $\mathbb k$ be a field of characteristic zero. The grouplike functor $\mathbb G$ from complete Hopf algebras to groups is a faithful functor. Its image is the category of Malcev-complete groups ...
3
votes
0answers
67 views

How are the unit/counit of a Hopf algebra and of an categorical adjunction related?

For categories $\mathcal{C}$ and $\mathcal{D}$, a pair of functors $\mathcal{C} \xrightarrow{\;L\;} \mathcal{D}$ and $\mathcal{C} \xleftarrow{\;R\;} \mathcal{D}\,$ are an adjoint pair if we have ...
3
votes
0answers
102 views

Lie algebra of a compact Lie group

Let $\mathcal{G}$ be a compact (real) Lie group. We know that the Lie algebra $\mathfrak{g}$ of $\mathcal{G}$ is, by definition, the space of all left-invariant (smooth) vector fields over $\mathcal{G}...
3
votes
0answers
74 views

Is there a ''simple'' formula for the inverse of the Drinfeld associator?

The Drinfeld associator $\Phi(x_0, x_1)$ encodes the parallel transport of the Knizhnik-Zamolodchikov (KZ) connection $\nabla$ on the bundle $\mathbb{C}\langle\langle x_0, x_1\rangle\rangle$ of formal ...
3
votes
0answers
58 views

Is the associated grouplike $\gamma=uS(u)^{-1}$ of a quasi-triangular Hopf algebra always the square of another grouplike?

Let $(H,R)$ be a finite-dimensional quasi-triangular Hopf algebra, lets say generated by group-like and skew-primitive elements (I actually need it for $H$ fin. dim. pointed with $G(H)$ abelian). Let $...
3
votes
0answers
212 views

Does the tensor algebra $T(V)$ of $V$ isomorphic to the symmetric algebra of the free Lie algebra over $V$?

Let $V$ be a finite dimensional vector space. Let $T(V)$ be the tensor algebra over $V$. Do we have $T(V) \cong S(Lie(V))$ as a graded vector space? Here $S(Lie(V))$ is the symmetric algebra of the ...
3
votes
0answers
310 views

Semisimple Lie algebras and the commutator algebra

Suppose $A$ is a associative unital $k$-algebra, where $\operatorname{char}k=0$. As is well-known, $A$ becomes a Lie algebra with respect to the commutator bracket $[x, y] = xy-yx$ for $x,y \in A$. ...
3
votes
0answers
260 views

Lusztig's definition of quantum groups

In his book Introduction to quantum groups, Lusztig gives a definition (Def 3.1.1) of the rational form $U^{\mathbb{Q}(q)}_q$ that is rather different from the usual approach (see [1,Ch.9.1] for ...
3
votes
0answers
120 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: ...
3
votes
0answers
103 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 ...