🔢 mathematics

On the Drinfeld double of a finite group scheme and its representation category

This paper classifies Hopf algebra quotient pairs of the Drinfeld double $D(G)$ of a finite group scheme $G$ in terms of group scheme data, thereby characterizing the resulting quotients as specific extensions and fully describing the tensor subcategories, their centralizers, and object structures within the representation category $\mathscr{Z}(G)$ .

Original authors: Daniel Arreola, Shlomo Gelaki

Published 2026-04-01

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Daniel Arreola, Shlomo Gelaki

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are a master architect trying to understand the blueprints of a massive, complex city called $D(G)$ . This city isn't made of bricks and mortar, but of mathematical rules called "Hopf algebras." It's a place where symmetry, rotation, and structure all dance together.

The city is built on a foundation called a Finite Group Scheme (let's call it $G$ ). Think of $G$ as the "neighborhood" or the basic set of rules that define how things move and interact in this world.

The city $D(G)$ is special. It's the Drinfeld Double. You can think of it as the "ultimate city" that contains every possible way the neighborhood $G$ can be organized, combined with a "mirror world" of its own rules. It's a place where every action has a reaction, and every shape has a shadow.

The Big Question

The authors, Daniel and Shlomo, asked a simple but deep question: "What are all the smaller, simpler cities we can build by taking pieces of this giant city $D(G)$ ?"

In math terms, they wanted to classify all the "quotients" (simpler versions) of this complex structure. But they didn't just want a list; they wanted to know how to build them using the original neighborhood $G$ as a guide.

The Solution: The "Three-Ingredient Recipe"

The authors discovered that every smaller city you can build from $D(G)$ is defined by a specific three-ingredient recipe:

Ingredient A (The Inner City, $K$ ): A specific neighborhood inside $G$ that is "normal" (it plays nicely with everyone else).
Ingredient B (The Outer City, $H$ ): Another neighborhood inside $G$ that is also "normal."
Ingredient C (The Bridge, $B$ ): A special "handshake" or rule that connects $K$ and $H$ .

The Magic Condition:
For this recipe to work, the Inner City ( $K$ ) and the Outer City ( $H$ ) must centralize each other. Imagine two groups of dancers. If Group $K$ dances, Group $H$ doesn't get in the way, and vice versa. They can move independently without tripping over each other. This independence is the key to building a stable new city.

What Does the New City Look Like?

When you mix these three ingredients, you get a new structure called $D(K, H, B)$ .

It's a mix of the rules of $K$ and the rules of the "leftover" parts of $G$ after you remove $H$ .
The "Bridge" ( $B$ ) acts like a translator, ensuring that the rules of $K$ and $H$ don't clash when they are combined.

The paper provides a complete map: Every possible smaller city you can make from $D(G)$ corresponds to exactly one of these three-ingredient recipes. No more, no less.

Why Does This Matter? (The "Tensor Subcategories")

In the world of math, these smaller cities represent Tensor Subcategories.

Think of it like this: If the big city $D(G)$ is a giant library containing every possible story, a "subcategory" is a specific section of the library, like "Science Fiction" or "Mystery."
The authors figured out exactly how to organize the library. They showed that every section (like "Mystery") is defined by picking a specific set of rules ( $K$ and $H$ ) and a specific way to connect them ( $B$ ).

The "Mirror" Effect (Centralizers)

One of the coolest discoveries in the paper is about Centralizers.

Imagine you pick a section of the library (say, "Science Fiction"). The "Centralizer" is the section of the library that is completely independent of it—books that don't share any themes or characters with Science Fiction.
The authors proved a beautiful symmetry: If your section is defined by the recipe $(K, H, B)$ , then its "independent twin" is defined by the recipe $(H, K, B)$ .
The Analogy: If you swap the "Inner City" and the "Outer City" in your recipe, you get the section of the library that is completely unrelated to the first one. It's like swapping the "Hero" and the "Villain" roles to find a story that has nothing to do with the original plot.

Special Cases: When Things Get Simple

The paper also looks at special scenarios:

Constant Groups: If the city is just a collection of distinct points (like a grid of streetlights), the math simplifies, and the "Bridge" ( $B$ ) acts like a simple color code.
Connected Groups: If the city is a solid, continuous shape (like a blob of clay), the math changes slightly, focusing on the "shape" rather than the points.
The "Lagrangian" Case: This is when the section of the library is so perfectly balanced that it is its own "independent twin." This happens when the Inner and Outer cities are the same ( $K=H$ ) and the handshake is perfect.

The Bottom Line

Before this paper, mathematicians had a great map for these cities when the world was "simple" (characteristic 0). But when the world gets "weird" (positive characteristic, like in computer science or specific physics models), the old maps broke down.

Daniel and Shlomo built a new, universal map that works in all worlds. They showed that no matter how complex the city gets, you can always understand its smaller parts by looking at three simple ingredients: two neighborhoods and the handshake between them.

In short: They took a giant, confusing mathematical puzzle and showed us that every piece of it is just a combination of two familiar neighborhoods and a simple rule connecting them.

1. Problem Statement

The paper addresses the classification of tensor subcategories within the representation category of the Drinfeld double of a finite group scheme, denoted as $\mathcal{Z}(G) := \text{Rep}(D(G))$ .

Context: In characteristic $p=0$ , $\mathcal{Z}(G)$ is a semisimple braided fusion category. The tensor subcategories were previously classified by Naidu, Nikshych, and Witherspoon (NNW) using modular data (specifically the $S$ -matrix).
Challenge: In positive characteristic ( $p > 0$ ), $\mathcal{Z}(G)$ is typically non-semisimple. Consequently, the $S$ -matrix technology used in the semisimple case is unavailable or insufficient, as there is no computable $S$ -matrix attached to simple objects that detects centralization in the same way.
Goal: To provide a complete, group-scheme-theoretical classification of Hopf algebra quotient pairs of $D(G)$ and, consequently, the tensor subcategories of $\mathcal{Z}(G)$ , valid for any characteristic $p \geq 0$ .

2. Methodology

The authors replace the reliance on modular data ( $S$ -matrices) with a Hopf-theoretic approach.

Hopf Quotient Correspondence: They utilize the known correspondence between tensor subcategories of $\text{Rep}(H)$ and equivalence classes of Hopf algebra quotient pairs $(D, \theta)$ of a finite-dimensional Hopf algebra $H$ . Thus, classifying subcategories of $\mathcal{Z}(G)$ reduces to classifying quotients of $D(G)$ .
Group Scheme Data: They construct quotients using triples $(K, H, B)$ $(K, H, B)$ consisting of:
- $K, H$ : Normal subgroup schemes of $G$ that centralize each other.
- $B$ : A $G$ -equivariant Hopf algebra map $B: k[H] \to \mathcal{O}(K)$ .
Cocycle Construction: Using sections of quotient maps (cleaving maps) and the equivariant map $B$ , they construct specific 2-cocycles ( $\sigma$ ) and 2-cocycles ( $\tau$ ) to define the structure of the quotient Hopf algebra.
Braiding Analysis: They analyze the induced braiding on the quotient algebras using the universal $R$ -matrix of $D(G)$ to determine properties like symmetry, non-degeneracy, and Lagrangianity.

3. Key Contributions and Results

A. Classification of Hopf Algebra Quotients (Theorem 3.5 & 3.9)

The authors prove that every Hopf algebra quotient $D$ of $D(G)$ is isomorphic to a specific algebra $D(K, H, B)$ defined as a crossed product (smash product with cocycles):
$D(K, H, B) := \mathcal{O}(K)^{cop} \#_{\sigma}^{\tau} k[G/H]$

Structure: The algebra is a smash product of the coordinate ring of $K$ (with opposite coproduct) and the group algebra of the quotient $G/H$ .
Twists: The multiplication and comultiplication are twisted by a 2-cocycle $\sigma$ and a 2-cocycle $\tau$ , derived from the section $\gamma$ and the map $B$ .
Bijection: There is a bijection between equivalence classes of Hopf quotient pairs $(D, \theta)$ and triples $(K, H, B)$ satisfying the centralization and equivariance conditions.

B. Structure of the Quotient Algebra

Ribbon Structure: Every quotient $D(K, H, B)$ is shown to be a quasitriangular ribbon Hopf algebra. Explicit formulas are provided for the $R$ -matrix and the ribbon element $V$ .
Dimension: $\dim_k(D(K, H, B)) = |K| \cdot [G:H]$ .
Special Cases:
- If $B=1$ , the algebra is a standard smash product.
- If $K$ is commutative, the algebra is cocommutative and corresponds to a group scheme extension.

C. Classification of Tensor Subcategories (Theorem 4.2)

The assignment $(K, H, B) \mapsto \mathcal{Z}(K, H, B) := \text{Rep}(D(K, H, B))$ establishes a bijection between the set of valid triples and the set of tensor subcategories of $\mathcal{Z}(G)$ .

This generalizes the NNW classification from characteristic 0 to arbitrary characteristic.
It provides a purely group-theoretic description of the lattice of subcategories.

D. Centralizers and Non-Degeneracy (Theorem 4.5 & Corollary 4.6)

The paper determines the Müger centralizer of a subcategory $\mathcal{Z}(K, H, B)$ within $\mathcal{Z}(G)$ .

Result: The centralizer of $\mathcal{Z}(K, H, B)$ is exactly $\mathcal{Z}(H, K, B)$ .
Criteria:
- Symmetric: $\mathcal{Z}(K, H, B)$ is symmetric iff $K \subseteq H$ and $B$ satisfies a specific self-duality condition.
- Non-degenerate (Factorizable): $\mathcal{Z}(K, H, B)$ is non-degenerate iff $HK = G$ and a specific convolution map $\beta_{B,B}$ is an isomorphism.
- Lagrangian: $\mathcal{Z}(K, H, B)$ is Lagrangian iff $K=H$ and $B = \bar{B}$ .

E. Simple and Projective Objects (Theorem 4.10)

Using the geometric description of $\mathcal{Z}(G)$ from previous work (Gelaki, Shlomo), the authors describe the simple and projective objects in the subcategories $\mathcal{Z}(K, H, B)$ .

They provide a decomposition of $\mathcal{Z}(K, H, B)$ into blocks indexed by conjugacy classes in $K$ .
They compute the Frobenius-Perron dimensions of these objects and the subcategories, confirming the dimension formula $|K|[G:H]$ .

4. Significance and Impact

Generalization to Positive Characteristic: The work successfully extends the classification of tensor subcategories from the semisimple (char 0) setting to the non-semisimple (char $p$ ) setting, where traditional modular data fails.
Unified Framework: It unifies the study of Drinfeld doubles of finite groups and finite group schemes under a single Hopf-algebraic framework, treating constant groups and connected group schemes (like Frobenius kernels) uniformly.
New Families of Categories: The classification yields large families of non-degenerate finite braided tensor categories in positive characteristic. These are constructed as quotients of Drinfeld doubles, providing concrete examples of factorizable Hopf algebras that are neither semisimple nor commutative/cocommutative in the standard sense.
Explicit Computations: The paper provides explicit formulas for the $R$ -matrix, ribbon element, and the structure of the quotient algebras, allowing for concrete calculations in specific cases (e.g., Heisenberg groups, Frobenius kernels of additive groups).
Categorical Insights: By linking the centralizer theory directly to the swapping of $K$ and $H$ in the triple $(K, H, B)$ , the paper offers a clear structural understanding of how subcategories interact within the Drinfeld double, generalizing the "commuting normal subgroups" intuition from the fusion case to the non-semisimple case.

In summary, Arreola and Gelaki provide a comprehensive structural theory for the representation categories of Drinfeld doubles of finite group schemes, replacing analytic modular data with algebraic Hopf-theoretic classification, thereby solving a major open problem in the representation theory of non-semisimple braided tensor categories.