On the Drinfeld double of a finite group scheme and its representation category
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866915902512955392 |
|---|---|
| author | Arreola, Daniel Gelaki, Shlomo |
| author_facet | Arreola, Daniel Gelaki, Shlomo |
| contents | We classify equivalence classes of Hopf algebra quotient pairs $(D,θ)$ of the Drinfeld double $D(G)$ of a finite group scheme $G$ over an algebraically closed field $\mathbf{k}$ of characteristic $p\ge 0$, in terms of group scheme-theoretical data. We prove that such Hopf algebra quotients $D$ are Hopf algebra extensions $\mathscr{O}(K)^{\mathrm{cop}}\#_σ^τ \mathbf{k}[G/H]$, where $K$ and $H$ are normal subgroup schemes of $G$ that centralize each other and $B:\mathbf{k}[H]\to \mathscr{O}(K)$ is a $G$-equivariant Hopf algebra map, and describe the surjective Hopf algebra map $θ:D(G)\twoheadrightarrow D$. Using this classification, we determine the tensor subcategories of the center $\mathscr{Z}(G):=\Rep(D(G))$ of $G$, describe their centralizers, determine when they are symmetric or non-degenerate, and give a description of their simple and projective objects using \cite{GS}. Our categorical results generalize those found in \cite{NNW} in characteristic $0$. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2603_29639 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | On the Drinfeld double of a finite group scheme and its representation category Arreola, Daniel Gelaki, Shlomo Quantum Algebra Rings and Algebras Representation Theory 18M20, 16T05, 17B37 We classify equivalence classes of Hopf algebra quotient pairs $(D,θ)$ of the Drinfeld double $D(G)$ of a finite group scheme $G$ over an algebraically closed field $\mathbf{k}$ of characteristic $p\ge 0$, in terms of group scheme-theoretical data. We prove that such Hopf algebra quotients $D$ are Hopf algebra extensions $\mathscr{O}(K)^{\mathrm{cop}}\#_σ^τ \mathbf{k}[G/H]$, where $K$ and $H$ are normal subgroup schemes of $G$ that centralize each other and $B:\mathbf{k}[H]\to \mathscr{O}(K)$ is a $G$-equivariant Hopf algebra map, and describe the surjective Hopf algebra map $θ:D(G)\twoheadrightarrow D$. Using this classification, we determine the tensor subcategories of the center $\mathscr{Z}(G):=\Rep(D(G))$ of $G$, describe their centralizers, determine when they are symmetric or non-degenerate, and give a description of their simple and projective objects using \cite{GS}. Our categorical results generalize those found in \cite{NNW} in characteristic $0$. |
| title | On the Drinfeld double of a finite group scheme and its representation category |
| topic | Quantum Algebra Rings and Algebras Representation Theory 18M20, 16T05, 17B37 |
| url | https://arxiv.org/abs/2603.29639 |