🔢 mathematics

Character Sheaves on Reductive Lie Algebras in Positive Characteristic

This paper establishes a microlocal characterization of character sheaves on reductive Lie algebras in sufficiently large positive characteristic, proving that a perverse irreducible G-equivariant sheaf is a character sheaf if and only if it possesses nilpotent singular support and is quasi-admissible, while also providing geometric proofs for related equivalences and characterizations following Mirković's work.

Original authors: Tong Zhou

Published 2026-07-08

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Tong Zhou

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 cartographer trying to map a vast, mysterious, and highly symmetrical landscape called a Reductive Lie Algebra. This isn't a physical place with mountains and rivers, but a mathematical "space" filled with points that represent complex algebraic structures.

In this paper, the author, Tong Zhou, is trying to solve a specific puzzle: How do we identify the "special" maps (called Character Sheaves) hidden within this landscape?

Here is the story of the paper, broken down into simple concepts and analogies.

1. The Landscape and the "Special Maps"

Think of the Lie algebra as a giant, multi-dimensional room. Inside this room, there are various types of "sheaves."

Sheaves: Imagine these as layers of transparent film or maps covering different parts of the room. Some films are simple; others are complex, twisted, and carry hidden information.
Character Sheaves: These are the "VIP" films. They are the most important ones because they hold the key to understanding the symmetries of the whole room. In the past, mathematicians knew how to find these VIPs in a room made of "complex numbers" (like the field of real numbers but with imaginary parts).
The Problem: This paper asks: "What if the room is made of Positive Characteristic?" (Think of this as a different type of mathematical "ground," like a grid made of prime numbers instead of smooth lines). The old rules didn't quite work here.

2. The Two Clues to Find the VIPs

The paper proves that to spot a Character Sheaf (the VIP) in this new type of room, you only need to check two specific clues. If a map has both, it is a Character Sheaf. If it's missing either, it isn't.

Clue A: The "Nilpotent Singular Support" (The Shadow Rule)

The Metaphor: Imagine shining a light on an object in the room. The "singular support" is the shadow the object casts on the walls.
The Rule: For a map to be a VIP, its shadow must fall only on a specific, restricted area called the Nilpotent Cone. Think of the Nilpotent Cone as a "quiet zone" or a "dead zone" in the room where things stop moving or become zero.
Simple Translation: The map's "influence" or "shadow" must be confined to this quiet, special zone. If the shadow spills out into the chaotic, busy parts of the room, it's not a Character Sheaf.

Clue B: "Quasi-Admissible" (The Simple Center Rule)

The Metaphor: Imagine the room is divided into different neighborhoods (called "strata"). In some neighborhoods, the map looks very complicated. But, if you look at the "center" of these neighborhoods (the part related to the center of the group), the map must look surprisingly simple and predictable.
The Rule: A "Quasi-admissible" map is one that, when you zoom in on the center of any neighborhood, behaves in a very orderly, "textbook" way. It doesn't have weird, unpredictable twists in the middle.
Simple Translation: The map must be well-behaved and simple in the "center" of every section it covers.

The Big Discovery: The paper proves that if and only if a map has a "quiet zone" shadow (Clue A) AND is "well-behaved in the center" (Clue B), it is a Character Sheaf. This is a perfect "microlocal" (looking at tiny details) definition.

3. The "Cuspidal" Seeds

To prove this, the author uses a concept called Cuspidal Sheaves.

The Metaphor: Think of these as "seeds" or "roots." They are the most fundamental, irreducible maps that cannot be broken down further.
The Finding: The paper shows that these "seeds" are also special. They are the only maps that live entirely inside the "quiet zone" (Nilpotent Cone) and have a "quiet zone" shadow.
The Connection: All the big, complex Character Sheaves are essentially built by taking these "seeds" and "growing" them (using a process called parabolic induction) to cover the whole room.

4. The "Induction" Machine

The author uses a machine called Parabolic Induction to build the big maps from the small seeds.

The Metaphor: Imagine you have a small, perfect blueprint (the Cuspidal Sheaf) for a small garden. You use a machine to scale this blueprint up to cover a massive city.
The Proof: The paper shows that if you start with a "seed" that follows the rules (quiet shadow, simple center), and you run it through this machine, the resulting big map will always be a Character Sheaf. Conversely, if you find a Character Sheaf, you can trace it back to one of these seeds.

5. Why This Matters (In the Paper's Context)

Before this paper, mathematicians had to use very different, complicated methods to prove these things in "Positive Characteristic" (the prime-number grid).

The Innovation: The author uses a technique called Contraction Principle and Proper-Transversality.
The Analogy: Imagine trying to prove two shapes are the same. Instead of measuring every inch, you find a way to "squash" or "stretch" the space so that the shapes align perfectly without tearing. This allows the author to prove that the "shadows" behave exactly as they should, even in this difficult mathematical environment.

Summary

In short, Tong Zhou has written a "User's Guide" for finding the most important mathematical maps (Character Sheaves) in a specific, difficult type of mathematical world.

The guide says: "Don't get lost in the complexity. Just check two things: Is the shadow confined to the quiet zone? Is the center of the map simple and orderly? If yes, you've found a Character Sheaf."

This confirms that the beautiful, geometric rules discovered in the "smooth" world of complex numbers also hold true in the "grainy" world of positive characteristic, provided the "grain" (the prime number) is large enough.

Technical Summary: Character Sheaves on Reductive Lie Algebras in Positive Characteristic

Problem Statement
The paper addresses the classification and characterization of character sheaves on reductive Lie algebras $\mathfrak{g}$ over an algebraically closed field $k$ of sufficiently large positive characteristic $p$ . While the theory of character sheaves was established by Lusztig for finite fields and by Mirković for complex Lie algebras (using $D$ -modules), a complete microlocal characterization in positive characteristic for $\ell$ -adic sheaves remained an open problem. Specifically, the paper seeks to prove the analogue of Mirković's theorem: that an irreducible $G$ -equivariant perverse sheaf is a character sheaf if and only if it possesses nilpotent singular support and is quasi-admissible. Additionally, the paper aims to provide geometric proofs in positive characteristic for the equivalence between admissible and character sheaves, and for various characterizations of cuspidal sheaves.

Methodology
The author employs a geometric approach utilizing the Lusztig stratification of the Lie algebra $\mathfrak{g}$ . The stratification decomposes $\mathfrak{g}$ into locally closed smooth subvarieties $S_{(L,O)} = G(Z_r(\mathfrak{l}) + \mathcal{O})$ , indexed by pairs $(L, \mathcal{O})$ where $L$ is a Levi subgroup and $\mathcal{O}$ is a nilpotent orbit in $\mathfrak{l}$ .

Key methodological tools include:

Parabolic Induction and Restriction: The paper utilizes functors $\text{Ind}_P^G$ and $\text{Res}_P^G$ to relate sheaves on $\mathfrak{g}$ to sheaves on Levi subalgebras $\mathfrak{l}$ .
Microlocal Analysis: The study of singular support ($SS$) and characteristic cycles is central. The author relies on the compatibility of characteristic cycles with the Fourier transform for monodromic $\ell$ -adic sheaves (established in [Zho24]) to handle the positive characteristic setting.
Proper-Transversality: A crucial technical innovation involves proving a proper-transversality result. This ensures that the singular support of a pullback equals the pullback of the singular support, a property not immediately guaranteed in the positive characteristic context using Mirković's original arguments.
Contraction Principle: Used to analyze restrictions of sheaves to specific strata and to establish transversality conditions for the inclusion of regular parts of the center.

Key Contributions and Results

Microlocal Characterization (Theorem 5.1):
The primary result establishes that for a connected reductive group $G$ over a field of sufficiently large characteristic $p$ , an irreducible $G$ -equivariant perverse sheaf $\mathcal{F}$ on $\mathfrak{g}$ is a character sheaf if and only if:
- $\mathcal{F}$ has nilpotent singular support (i.e., $SS(\mathcal{F}) \subseteq \mathfrak{g} \times \mathcal{N}_{\mathfrak{g}}$ ).
- $\mathcal{F}$ is quasi-admissible (meaning its restriction to each stratum $S_{(L,O)}$ takes a specific form involving Artin-Schreier sheaves and local systems on the nilpotent orbit).
Equivalence of Admissibility and Character Sheaves (Theorem 4.4):
The paper proves that a perverse irreducible sheaf is admissible (defined as an irreducible constituent of the parabolic induction of a cuspidal sheaf) if and only if it is a character sheaf.
- Novelty: The proof uses an induction argument on the Levi subgroups. The author notes that Mirković's original proof relied on a claim regarding the irreducibility of a specific local system restriction, which the author could not verify in this context.
Characterization of Cuspidal Sheaves (Theorem 4.1):
For semisimple $G$ , the paper provides equivalent conditions for a sheaf to be cuspidal:
- It is supported on the nilpotent cone $\mathcal{N}_{\mathfrak{g}}$ and has nilpotent singular support.
- It is a character sheaf and is orbital (supported on the closure of a single orbit).
- Both the sheaf and its Fourier transform are supported on the nilpotent cone.
- Novelty: This characterization was previously known only over $\mathbb{C}$ . The positive characteristic proof relies on the compatibility of characteristic cycles and Fourier transforms for monodromic sheaves.
Geometric Proofs in Positive Characteristic:
The paper provides detailed geometric proofs for theorems originally due to Lusztig (for finite fields) and Mirković (for $\mathbb{C}$ ), specifically adapting the arguments to the $\ell$ -adic setting in positive characteristic. This includes proofs regarding the behavior of parabolic induction/restriction with respect to orbital and character sheaves.

Significance and Claims
The paper claims to fill a gap in the theory of character sheaves by extending Mirković's microlocal characterization to positive characteristic. The author explicitly states that the main novelty lies in the proof of the "if" direction of the microlocal characterization, which requires new geometric arguments (proper-transversality) because Mirković's original argument for the singular support analysis does not directly transfer to the $\ell$ -adic setting in positive characteristic.

Furthermore, the paper serves as a rigorous verification and expansion of the geometric proofs found in [Mir04], carried out entirely within the framework of positive characteristic $\ell$ -adic sheaves. The author modestly notes that while the results (except for the specific microlocal characterization of cuspidal sheaves in positive characteristic) are not new in terms of the final statements, the paper provides the necessary details and corrections for the geometric proofs in this specific setting, particularly addressing gaps in verifying certain irreducibility claims made in previous literature.