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

Filter by
Sorted by
Tagged with
1 vote
0 answers
84 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 ...
Christoph Mark's user avatar
7 votes
2 answers
608 views

Abelian category from the category of Hopf algebras

The kernel of a Hopf algebra map $\phi:H_1 \to H_2$ is in general not a Hopf sub-algebra of $H_1$. Is there some replacement or alteration of the notion of a kernel in the Hopf algebra setting. Same ...
Jake Wetlock's user avatar
  • 1,114
3 votes
1 answer
102 views

Irreducibility of product bicomodules

Let $H$ be a Hopf algebra, and $V$ and $W$ a left, and a right, $H$-comodule respectively. The tensor product $$ V \otimes W $$ has an obvious $H$-$H$-bicomodule structure. If $V$ and $W$ are ...
Jake Wetlock's user avatar
  • 1,114
7 votes
1 answer
276 views

Is $Tor_A(k,k)$ a bicommutative Hopf algebra?

Let $A$ be a commutative (or graded commutative) algebra over a field $k.$ In some sources, such as Mcleary's book on spectral sequences, Corollary 7.12, pg. 248, it is claimed that $\text{Tor}_A(k,k)$...
crystallineperiodic's user avatar
4 votes
0 answers
100 views

Tensor algebras in the bicategory $\mathsf{2Vect}$

To my knowledge there are two main approaches to categorify the notion of a vector space. I will refer to them as BC-2-vector spaces (Baez, Crans) and KV-2-vector spaces (Kapranov, Voevodsky). Both ...
Bipolar Minds's user avatar
6 votes
0 answers
200 views

What is a quantum analogue of the fact that the second fundamental group of every Lie group is trivial?

What is an appropriate version of the following fact in terms of Hopf algebras and quantum groups: "For every connected Lie group $G$ the second fundamental group $\pi_2(G)$ is trivial?" Is there ...
Ali Taghavi's user avatar
3 votes
1 answer
149 views

Reduced compact quantum group and left and right multiplication

Let $(A,\Delta)$ be a compact quantum group in the sense of Woronowicz, and let $A_0$ be its dense Hopf subalgebra. We can construct from the Haar state $h:A \to \mathbb{C}$ an inner product $$ \...
Jake Wetlock's user avatar
  • 1,114
5 votes
0 answers
72 views

Corepresentations on Hilbert modules

In the seminal paper "Unitaires multiplicatifs et dualité pour les produits croisés de $C^*$-algèbres" by Baaj and Skandalis, we find the following very general definition of what a corepresentation ...
Matthew Daws's user avatar
  • 18.5k
3 votes
1 answer
409 views

Rigidity for the category of comodules over a Hopf algebra

On this page https://ncatlab.org/nlab/show/rigid+monoidal+category there is a discussion of rigidity (left-right duality) for the catagory of modules over a Hopf algebra. What happens if we look at ...
Max Schattman's user avatar
2 votes
0 answers
235 views

Tensor product of fields 2

Let $K_1, K_2$ be finite field extensions of a field $k$. Question: Is it true that $A=K_1 \otimes_k K_2$ is isomorphic to a product of group algebras over fields? Question 2: In case the answer is ...
Mare's user avatar
  • 25.7k
5 votes
1 answer
204 views

Classification of $\operatorname{Rep}D(H)$

Question Let $H$ be a finite dimensional complex Hopf algebra and $D(H)$ its quantum double. Can we classify the simple objects in $\operatorname{Rep}D(H)$ if the representations of $H$ are well-...
Student's user avatar
  • 5,008
2 votes
0 answers
49 views

Relative projectivness and tensor products

Let $R$ be a commutative ring, $H<G$ a finite group pair. Let $P$ be a $RG$ module that is $RH$ projective. It is known that for any $RG$ module $X$ the tensor $P\otimes X$ is $RH$ projective. This ...
Alberto's user avatar
  • 39
5 votes
3 answers
795 views

Update on "Hopf algebras: their status and pervasiveness" by Hazewinkel

Hazewinkel wrote this article in 2005. Perhaps it's time for an update. For example, updating item 34: Ordinary differential equations much work has been done on the underlying Hopf algebra (HA) of ...
11 votes
1 answer
273 views

W H Lin's thesis and Hopf subalgebras of the Steenrod algebra

If $B$ is a subalgebra of $A$, you can ask whether the $B$-module structure on $B$ can be extended to give an $A$-module structure on $B$. W H Lin, in his 1973 PhD thesis at Northwestern, showed that ...
John Palmieri's user avatar
2 votes
1 answer
97 views

A weaker version of strongly graded algebras

Let $A = \oplus_{i \in \mathbb{Z}} A_i$ be a graded algebra. We say that it is strongly graded if $A_i.A_j = A_{i+j}$, for all $i,j \in \mathbb{Z}$. Can there be existing a graded algebra such that $$...
Fofi Konstantopoulou's user avatar
5 votes
2 answers
610 views

Characters on Hopf algebras

For any algebra $A$, a character for $A$ is a non-zero algebra map $c:A \to \mathbb{C}$. For $H$ be a Hopf algebra, a character is given by $\epsilon:H \to \mathbb{C}$ the counit of $H$. I am looking ...
Fofi Konstantopoulou's user avatar
7 votes
2 answers
498 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 $\...
Student's user avatar
  • 5,008
3 votes
0 answers
312 views

Intuitive, elementary intros to Hopf algebras/monoids

Motivation: I'm interested in understanding the role that noncrossing partitions play in Hopf algebras/monoids (HAs) as the components of the power series of the compositional inverse of formal ...
Tom Copeland's user avatar
  • 9,897
8 votes
3 answers
473 views

Classification of $\operatorname{Rep} D(G)$

Let $G$ be a finite group and $D(G)$ its quantum double. Its finite dimensional complex representations are classified in this Dijkgraaf et al. Quasi-Quantum Groups Related To Orbifold Models. However,...
Student's user avatar
  • 5,008
1 vote
0 answers
131 views

Submodules of $V\otimes V^*$

Let $\mathfrak{g}$ be a simple finite-dimensional Lie algebra over $\mathbb{C}$ and let $U_q(\hat{\mathfrak{g}})$ be the corresponding quantum affine algebra (here $q$ is not a root of unity). We know ...
cl4y70n____'s user avatar
4 votes
2 answers
452 views

Subfunctor of internal Hom

Let $\mathcal{H}$ be a Hopf algebra over $\mathbb{C}$. Let $\textrm{mod}_\mathcal{H}$ be the monoidal abelian category of finite-dimensional modules over $\mathcal{H}$. Fix $X\in\textrm{Obj}(\textrm{...
cl4y70n____'s user avatar
2 votes
0 answers
70 views

Embedding problems on quantum groups?

We work over the field of complex numbers. We have known that Lie algebra of type $A_2 $is a subalgebra of type $G_2$. However, when we consider their quantum groups, is this true i.e. does there ...
user11090426's user avatar
2 votes
0 answers
60 views

Integrals in noncommutative graded algebras which are not necessarily Hopf

Let $\mathbf{k}$ be a field. Let $A$ be a finite dimensional $\mathbb{Z}_{\geq 0}$-graded $\mathbf{k}$-algebra such that $A^0=\mathbf{k}1$. Let $m$ be the maximal non-negative integer such that $A^m\...
Christoph Mark's user avatar
2 votes
2 answers
470 views

Comultiplication of elements of partition of unity

Let $F(G)$ be the algebra of functions on a finite quantum group $G$ (so that $F(G)$ is a finite dimensional $\mathrm{C}^*$-Hopf algebra). Suppose that $\{p_i:i=0,\dots,d-1\}\subset F(G)$ is a ...
JP McCarthy's user avatar
6 votes
0 answers
330 views

Example of a commutative, cocommutative, $p$-torsion Hopf algebra which is dualizable but not self-dual?

Let $C$ be a symmetric monoidal category with split idempotents, and let $H$ be a Hopf algebra object in $C$. If $H$ is dualizable as an object of $C$, then $H^\vee = L \otimes H$ for some $\otimes$-...
Tim Campion's user avatar
  • 60.5k
1 vote
1 answer
155 views

"Nice" bases for finite dimensional semisimple Hopf algebras

Let $H$ be a finite dimensional semisimple Hopf algebra over $\mathbb{C}$. Can one choose a basis $\{h_1, \dots, h_n \}$ of $H$, where $h_1 = 1$, such that if we write $$ \Delta(h_i) = \sum_{1 \leq j,...
ren's user avatar
  • 13
1 vote
0 answers
47 views

Weakly reflexive algebra vs proper (residually finite-dimensional) algebra

Currently I am reading the book "Hopf Algebras. An Introduction" by S. Dascalescu, C. Nastasescu, S. Raianu. There is a Definition 1.5.20 on page 44 (boldface is mine): An algebra $A$ is called ...
Nik Bren's user avatar
  • 499
1 vote
0 answers
223 views

Images and Kernels of tensor products of homomorphisms of modules

Let $\mathcal{H}$ be a Hopf algebra and let $M_1,M_2,N_1,N_2$ modules over $\mathcal{H}$. If $f:M_1\rightarrow N_1$ and $g:M_2\rightarrow N_2$ are homomorphisms of modules, then are the following ...
cl4y70n____'s user avatar
6 votes
1 answer
277 views

What properties of a finite group fibre functor give its endomorphisms a hopf algebra structure?

Tannaka duality for a finite group lets us recover the group algebra $\mathbb{C}[G]$ as the endomorphisms of the forgetful functor $F:RepG\rightarrow Vect$, and taking the monoidal automorphisms ...
Chris H's user avatar
  • 1,854
9 votes
2 answers
694 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 ...
Sergei Akbarov's user avatar
3 votes
0 answers
141 views

Noncrossing partitions in Hopf algebras/monoids via compositional inversion

Partition polynomials constructed from the face structures of the associahedra (OEIS A133437) and permutahedra (A133314) comprise the antipodes/compositional inverses in a Faa-di-Bruno-type Hopf ...
Tom Copeland's user avatar
  • 9,897
6 votes
0 answers
243 views

Classification of one dimensional (non-commutative) formal group laws over $k[\epsilon]/(\epsilon^n)$

It's well-known that any one dimensional formal group law over a $\mathbb Q$-algebra or a reduced ring is commutative, but there are one dimensioal non-commutative formal group laws over rings like $k[...
sawdada's user avatar
  • 6,148
4 votes
1 answer
152 views

Cobraided and coquasitriangular Hopf algebras

In a Hopf algebra, are the notions "cobraided" and "coquasitriangular" the same? Kassel (Hopf algebras) uses "cobraided" and Montgomery (HAs and their actions on rings) uses the other -- both on page ...
Paddychut's user avatar
2 votes
1 answer
94 views

When is $N^{*} \otimes_K M$ projective for a local Hopf algebra?

Given a finite dimensional local Hopf algebra $A$ over a field $K$ and two finite dimensional indecomposable modules $N$ and $M$. Is it known when the module $N^{*} \otimes_K M$ is projective? Can ...
Mare's user avatar
  • 25.7k
1 vote
1 answer
107 views

Some quantities associated to finite dimensional Hopf algebras

let $(H,\Delta,m,s)$ be a Hopf algebra. To this Hopf algebra one can associate two obvious linear maps $T_H, S_H: H \to H $ with $T_H=m\circ \Delta,\quad S_H=s$. Are there two finite dimensional ...
Ali Taghavi's user avatar
4 votes
1 answer
326 views

Examples of basic coalgebras

For an algebraically closed field $k$, let $C$ be a $k$-coalgebra. Given a minimal injective cogenerator $E$, there is a so-called basic coalgebra $B_C=coend^C(E)$, s.t. the comodule categories $Mod^C$...
Bipolar Minds's user avatar
2 votes
0 answers
161 views

The relationship between representations of groups and evaluation and coevaluation maps for $vect_{G}$ module categories

Let $G$ be a finite group and $vec_{G}$ be the monoidal category of finite dimensional $G$-graded vector spaces. Given any $vec_{G}$ module category $\mathcal{M}$ we can define a dual module category ...
Lazy Llama's user avatar
10 votes
3 answers
1k views

Hopf structure on the universal enveloping of a super Lie algebra

The universal enveloping algebra of a Lie algebra has a canonically defined Hopf algebra structure. Is the same true of the universal enveloping of a super Lie algebra? A presentation in terms of the ...
Nadia SUSY's user avatar
9 votes
4 answers
2k views

The tensor product of two monoidal categories

Given two monoidal categories $\mathcal{M}$ and $\mathcal{N}$, can one form their tensor product in a canonical way? The motivation I am thinking of is two categories that are representation ...
Nadia SUSY's user avatar
8 votes
1 answer
383 views

Image of Comultiplication on Finite Quantum Groups/Hopf Algebras

Let $A=:F(G)$ be the algebra of functions on a finite quantum groups aka a finite dimensional C*-Hopf Algebra. Suppose that $F(G)$ is neither commutative nor cocommutative. In their 1966 paper Kac and ...
JP McCarthy's user avatar
3 votes
1 answer
125 views

Is there a way to adjoin a counit to a non counital coalgebra?

Let $k$ be a field. If $A$ is a non unital $k$-algebra, there is a simple way to make it unital by taking $\tilde{A}:=A\oplus k$ and setting $$ (a+\lambda)(b+\mu):=ab+\lambda b +\mu a +\lambda \mu$$ ...
Operadbeginner's user avatar
4 votes
1 answer
125 views

Invariance of Finite Dimensional Woronowicz $\mathrm{C}^*$-ideals under the Antipode

Let $(A,\Delta)=:F(G)$ be a finite dimensional $\mathrm{C}^*$-Hopf algebra, and so the algebra of functions on a quantum group $G$. Let $J$ be a closed ideal in $F(G)$ and $\pi:F(G)\rightarrow F(G)/J$...
JP McCarthy's user avatar
2 votes
1 answer
255 views

Milnor-Moore and the characteristic zero homology of H-spaces

In their work on Hopf-algebras: https://www.uio.no/studier/emner/matnat/math/MAT9580/v12/undervisningsmateriale/milnor-moore-ann-math-1965.pdf> on the last page p.263, they say that the Hurewicz map ...
Jens Gönner's user avatar
3 votes
1 answer
172 views

Noncommutative Leray - Hirsch theorem in the context of noncommutative principal bundles

In the literature, are there some researchs on non commutative analogy of Leray-Hirsch theorem in the context of non commutative Principal bundles?
Ali Taghavi's user avatar
14 votes
1 answer
636 views

Is every finite quantum group a quantum symmetry group?

This post is basically a quantum extension of Is every finite group a group of “symmetries”? Here finite quantum group means finite dimensional Hopf ${\rm C}^{\star}$-algebra. Frucht's theorem ...
Sebastien Palcoux's user avatar
8 votes
1 answer
744 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 ...
Ender Wiggins's user avatar
9 votes
1 answer
327 views

An inner product approach to Hopf algebras

We fix the standard inner products on $\mathbb{C}^n$ and $\mathbb{C}^n\otimes \mathbb{C}^n$. Is there an algebra structure on $\mathbb{C}^n$ with multiplication $m$ such that the adjoint operator $m^...
Ali Taghavi's user avatar
9 votes
2 answers
393 views

Hopf algebra kernels vs. algebra kernels

Let $f: H_1 \rightarrow H_2$ be a map of graded connected cocommutative Hopf algebras over a perfect field. Let $H \subset H_1$ be the Hopf algebra kernel of $f$, and let $I \subset H_1$ be the ...
Nicholas Kuhn's user avatar
6 votes
1 answer
264 views

Hopf algebra in derived category vector spaces

Let $H$ be a complex of vector spaces over some field $k$ which is endowed with the structure of a Hopf algebra object. I have heard several times that if $H$ is concentrated in positive or negative ...
hopfology's user avatar
5 votes
2 answers
374 views

Indecomposable, non-simple, modules of quantum groups at roots of unity

Let us consider the quantum group $U_q(\mathfrak{sl}_2)$ (as defined in Kassel's book on quantum groups), for $q$ being a root of unity of order $d$ (i.e., $d$ is the smallest positive integer for ...
Konstantinos Kanakoglou's user avatar

1 2 3
4
5
12