🔢 mathematics

Irreducible objects in the Gaiotto category at roots of unity

This paper investigates whether the equivalence between the Gaiotto category and the representations of the quantum supergroup $U_q(\mathfrak{gl}(M|N))$ holds at roots of unity by establishing a natural bijection between their irreducible objects and those of the supergroup $GL(M|N)$ in positive characteristic.

Original authors: Aleksandr Popkovich

Published 2026-02-10

📖 3 min read🧠 Deep dive

CC BY 4.0

Original authors: Aleksandr Popkovich

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 chef trying to recreate a legendary, ancient recipe—let’s call it the "Gaiotto Soufflé."

For years, mathematicians have known how to make this soufflé perfectly when the "temperature" (which we call $q$ ) is a normal, steady number. When the temperature is steady, the recipe is predictable: there is a perfect one-to-one match between the ingredients you use (the Gaiotto Category) and a specific way of arranging them on a plate (the Quantum Supergroup).

But there is a problem. What happens if you turn the temperature to a very specific, "glitchy" setting? In math, we call these "Roots of Unity." At these settings, the physics of the kitchen changes. The ingredients start to behave strangely, and the old recipe seems to break.

This paper is an investigation into whether that perfect one-to-one match still exists even when the kitchen is glitching.

The Core Mystery: The Glitchy Kitchen

The author, Aleksandr Popkovich, is asking: “Even if the temperature is glitchy, is there still a perfect map between the ingredients and the plate?”

To solve this, he doesn't try to fix the glitchy kitchen directly (which is incredibly hard). Instead, he uses a clever mathematical "teleportation" trick. He says: "If the quantum kitchen is glitchy at temperature $p$ , it should look almost exactly like a different kind of kitchen—a kitchen where we are cooking in a different dimension (Positive Characteristic $p$ )."

The Tool: Serganova’s Algorithm (The Sorting Machine)

To prove his point, he uses a tool called Serganova’s Algorithm.

Imagine you have two different ways to organize your spice rack.

The Standard Way: Everything is alphabetical. It’s easy, but it doesn't show you the hidden connections between spices.
The Mixed Way: You organize spices by how they react to heat. It’s much more complex and "messy."

In the world of "Supergroups" (the math used here), there isn't just one way to organize things. Because these mathematical objects have "super" properties (like being both even and odd at the same time), you can have different "Borel subgroups"—essentially different ways of organizing your spice rack.

Serganova’s Algorithm is like a sorting machine. You feed it the "Standard" spice rack, and it tells you exactly how the rack would look if you reorganized it into the "Mixed" version.

The Discovery: The Perfect Match

The author uses this sorting machine to show that the "glitchy" ingredients in the first kitchen (the Gaiotto Category) follow the exact same rules as the "Mixed" spice rack in the second kitchen.

The Result: He proves that even when the temperature is at a "Root of Unity," the connection isn't lost. The "relevant" ingredients (the ones that actually make the soufflé rise) match up perfectly with the "highest weights" (the most important flavors) of the supergroup in the other dimension.

In Short:

The paper proves that symmetry survives the glitch. Even when the mathematical "temperature" hits a volatile point, the underlying structure remains beautifully organized, allowing mathematicians to use the rules of one world to understand the mysteries of another.

Technical Summary: Irreducible Objects in the Gaiotto Category at Roots of Unity

Author: Aleksandr Popkovich
Subject Area: Representation Theory, Geometric Representation Theory, Quantum Groups, Supergroups

1. The Problem

The paper addresses a central question in the study of the Gaiotto Category: whether a known monoidal equivalence between geometric and algebraic objects holds when the parameter $q$ is a root of unity.

Specifically, for a generic $q$ (not a root of unity), a theorem by Travkin and Yang establishes an equivalence between:

The Geometric Side: The category of $q$ -twisted $D$ -modules on the affine Grassmannian $Gr_{GL_N}$ that are equivariant with respect to a specific subgroup $GL_M(\mathcal{O}) \ltimes U_{M,N}(K)$ .
The Algebraic Side: The category of finite-dimensional representations of the quantum supergroup $U_q(\mathfrak{gl}(M|N))$ .

The author investigates whether this equivalence persists when $q$ is a root of unity ( $q^p = 1$ ). Since a full categorical equivalence is difficult to prove directly at roots of unity, the author focuses on a necessary condition: Is there a natural bijection between the sets of irreducible objects in these two categories?

2. Methodology

The author employs a strategy of "bridging" the two sides using a third, well-understood category. The methodology follows these steps:

The Principle of Characteristic $p$ : The author invokes a principle stating that the representation theory of a quantum group at a $p$ -th root of unity is closely related to the representation theory of the corresponding algebraic group over a field of positive characteristic $p$ . Thus, the algebraic side is modeled by $\text{Rep}_p(GL(M|N))$ .
Serganova’s Algorithm: To handle the complexities of supergroups (where Borel subgroups are not all conjugate), the author utilizes a version of Serganova’s algorithm (as formulated by Brundan and Kujawa). This algorithm allows for the translation of highest weights from a "standard" Borel subgroup to a "mixed" Borel subgroup.
Orbit Analysis: On the geometric side, irreducible objects are parametrized by "relevant" orbits of the group action on the affine Grassmannian. The author analyzes these orbits using the combinatorial framework established by Travkin and Yang, modifying it to account for the modular arithmetic ( $\text{mod } p$ ) introduced by the root of unity.

3. Key Contributions and Results

The paper provides a rigorous combinatorial characterization of the irreducible objects on both sides.

Characterization of the Algebraic Side: Using Serganova's algorithm, the author proves that the highest weights of irreducible representations of $GL(M|N)$ in characteristic $p$ $p$ with respect to the mixed Borel subalgebra are precisely those weights $(\lambda, \theta)$ $(λ, θ)$ satisfying specific modular conditions:
- If $\theta_i = \theta_{i+1}$ , then $\lambda_i + \theta_i \equiv 0 \pmod p$ .
- If $\lambda_{i-1} = \lambda_i$ , then $\lambda_i + \theta_i \equiv 0 \pmod p$ .
Characterization of the Geometric Side: The author proves that for $q^p = 1$ , the "relevancy" condition for orbits in the affine Grassmannian shifts from a strict equality ( $a=0$ ) to a modular equality ( $a \equiv 0 \pmod p$ ). This identifies the relevant orbits as those satisfying the same modular constraints mentioned above.
The Main Result (Theorem 10): The author concludes that the set of orbits supporting irreducible objects in the Gaiotto category (at $q^p=1$ ) is in natural bijection with the set of highest weights of irreducible representations of the supergroup $GL(M|N)$ in characteristic $p$ with respect to the mixed Borel subalgebra.

4. Significance

This paper is significant for several reasons:

Evidence for Categorical Equivalence: By proving a bijection between the sets of irreducible objects, the author provides strong evidence that the Travkin-Yang equivalence extends to the root-of-unity case.
Bridging Geometry and Super-Representation Theory: The work connects the geometry of the affine Grassmannian (twisted $D$ -modules) with the modular representation theory of Lie supergroups, a field that is notoriously complex due to the non-conjugacy of Borel subgroups.
Refinement of Quantum Group Theory: It clarifies how the "relevant" weights in the Gaiotto category behave under the transition from generic $q$ to roots of unity, specifically highlighting the role of the "mixed" Borel subgroup in the super-setting.