Search arXiv⌕ Search

arXiv · 0710.1521

Algebraic quantum permutation groups

Abstract

We discuss some algebraic aspects of quantum permutation groups, working over arbitrary fields. If $K$ is any characteristic zero field, we show that there exists a universal cosemisimple Hopf algebra coacting on the diagonal algebra $K^n$: this is a refinement of Wang's universality theorem for the (compact) quantum permutation group. We also prove a structural result for Hopf algebras having a non-ergodic coaction on the diagonal algebra $K^n$, on which we determine the possible group gradings when $K$ is algebraically closed and has characteristic zero.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Julien Bichon. 2007-10-08. Algebraic quantum permutation groups. https://arxiv.org/abs/0710.1521

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Classification of finite-dimensional Nichols algebras of rank two in twisted Yetter--Drinfeld categories

Let \(G\) be a finite non-abelian group, let \(Φ\in Z^3(G,\mathbb C^\times)\) be normalized, and let \(V,W\) be finite-dimensional simple objects of \({}_G^G\mathcal{YD}^Φ\). We classify, up to interchange, the braided-indecomposable pairs \((V,W)\) whose supports generate \(G\) and for which \(\mathcal B(V\oplus W)\) is finite-dimensional. The classification consists of eight cases with five possible support quandles. In every case the Cartan graph is standard of type \(A_2\), \(B_2\), or \(G_2\), and the dimension is determined explicitly. A new phenomenon occurs {in the \(Γ_2\) case}: the twisted setting admits a family of type \(G_2\) absent from the ordinary \(Γ_2\) classification and we construct an explicit example over a non-abelian group of order \(16\).

math.QA↗

Facets of nondegeneracy: central type factor groups, Heisenberg representations and Hadamard matrices

Given a pair of complementary subgroups $P$ and $N$ of a finite group $G$, we first discuss how the same type of functions $\mathbb E\colon P\times N\to \mathbb T$, which we call bi-$1$-cocycles, appear naturally in the study of projective representations of $G$ of Heisenberg type and second cohomology of $G$ and of its dual quantum group $\widehat G$. We show then that such representations are irreducible and the corresponding ordinary and dual $2$-cocycles are nondegenerate if and only if the matrix $(\mathbb E(p,n))_{p,n}$ is invertible, if and only if it is Hadamard. We illustrate the result with examples arising from symplectic nilpotent Lie algebras over finite fields with two complementary Lagrangian subalgebras.

math.QA↗