🔢 mathematics

Intersection Cohomology of Igusa Stacks

This paper constructs a perverse, Verdier self-dual sheaf on the moduli stack of $G$ -bundles over the Fargues-Fontaine curve using Igusa stacks and Fargues-Scholze theory to recover the intersection cohomology of minimally compactified PEL-type Shimura varieties, thereby establishing a Mantovan product formula, torsion-vanishing results, and Eichler-Shimura relations.

Original authors: Ana Caraiani, Linus Hamann, Mingjia Zhang

Published 2026-07-29

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Ana Caraiani, Linus Hamann, Mingjia Zhang

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 trying to understand the hidden music of the universe. In the world of mathematics, specifically a field called number theory, there are these mysterious shapes called "Shimura varieties." Think of them as incredibly complex, multi-dimensional landscapes that encode deep secrets about numbers, much like a musical score encodes a symphony. For decades, mathematicians have tried to listen to the "music" of these shapes by studying their "cohomology," which is a fancy way of measuring the holes, loops, and twists in the geometry.

However, these landscapes are tricky. They often have jagged edges or missing pieces (singularities) that make the music sound distorted or break the instruments. To fix this, mathematicians invented a special tool called "intersection cohomology." You can think of this as a high-tech noise-canceling headphone that filters out the distortion, letting you hear the pure, underlying melody of the shape, even when it's broken or incomplete. But there's a catch: these shapes exist in a realm where the usual rules of geometry don't quite apply, and the "music" is often tangled with a different kind of math called "torsion," which is like a rhythmic glitch that makes the notes disappear entirely in some contexts.

Recently, a new generation of mathematicians has started using a powerful new framework called the "categorical local Langlands program." Imagine this as a universal translator that can convert the language of these jagged shapes into the language of "bundles" (which are like flexible, stretchy fabrics wrapped around a curved surface). This new language is so powerful that it can reveal patterns that were previously invisible. The big question has been: Can we use this new translator to hear the pure, noise-cancelled music of the broken shapes, even when the rhythm is glitchy?

This paper, written by Ana Caraiani, Linus Hamann, and Mingjia Zhang, says "Yes, and here is the map." The authors have built a new mathematical object, which they call a "sheaf on the moduli stack of G-bundles." To use our analogy, they have constructed a new, super-sensitive microphone that can be placed on the "fabric" of the universe (specifically, on a curve known as the Fargues–Fontaine curve). When they tune this microphone using a specific "Hecke operator" (think of this as a tuning fork that vibrates at the right frequency), it captures the exact, pure sound of the intersection cohomology of those broken Shimura varieties.

However, this new microphone works best under specific conditions. The authors had to restrict their study to a particular class of Shimura varieties known as "PEL type AC" (which have a very specific algebraic structure) and only when the underlying group is "unramified" (meaning it behaves very smoothly without certain types of mathematical "kinks"). Under these precise assumptions, the team proves that this new microphone isn't just a recording device; it has some magical properties. First, it is "self-dual," meaning the sound it records is perfectly balanced and symmetrical, like a reflection in a mirror. Second, it is "perverse," a technical term that essentially means it is perfectly organized and doesn't get messy or chaotic, even when the shape it's listening to is broken. Because they built this tool so carefully, they can now use it to solve several long-standing puzzles.

For one, they prove a "Mantovan product formula." Imagine trying to understand a massive orchestra by listening to the whole group at once; it's overwhelming. This formula shows that the music of the whole shape can be broken down into a simple product: the sound of a local instrument (a "local Shimura variety") multiplied by the sound of a specific local group (an "Igusa variety"). It's like realizing that a complex symphony is just a simple drumbeat played by a local musician, amplified by a specific echo.

Furthermore, they use this tool to show that under certain conditions, the "glitchy" torsion notes actually vanish. This means that for many of these shapes, the music is clean and clear, with no missing beats, which confirms some bold guesses made by other mathematicians. Finally, they establish a "congruence relation," which is a rule connecting the rhythm of the music to the way the shape behaves when you look at it through a specific lens (the Frobenius action). This confirms a famous conjecture by Blasius and Rogawski, proving that the relationship between the shape's geometry and its number-theoretic music holds true even for these complex, broken cases.

In short, the authors haven't just found a new way to listen to the music of numbers; they've built a new instrument that plays the song perfectly, even when the sheet music is torn and the room is full of static. They have shown that the deep, hidden structures of these mathematical landscapes are more orderly and connected than anyone dared to hope, providing a solid foundation for future discoveries in the grand symphony of number theory.

Technical Summary: Intersection Cohomology of Igusa Stacks

1. Problem Statement

The paper addresses the study of the intersection cohomology of minimally compactified Shimura varieties of PEL type (specifically of type AC) within the framework of the Langlands program. While significant literature exists regarding the $L^2$ -cohomology and the intersection cohomology of these varieties (notably via Zucker's conjecture and the work of Morel), recent advances in the categorical local Langlands program (Fargues–Scholze, Zhu) have primarily been applied to the usual or compactly supported cohomology of Shimura varieties.

The central problem is to extend these categorical methods to intersection cohomology. Specifically, the authors aim to:

Construct a geometric object on the moduli stack of $G$ -bundles on the Fargues–Fontaine curve ( $\text{Bun}_G$ ) that recovers the intersection cohomology of Shimura varieties.
Establish that this object possesses desirable properties (such as Verdier self-duality and perversity) analogous to the intersection complex in classical algebraic geometry.
Derive applications such as a Mantovan product formula, torsion-vanishing results, and Eichler–Shimura relations for intersection cohomology, which were previously difficult to access using existing tools.

2. Methodology

The authors employ the theory of Igusa stacks, recently introduced in works by Zhang, Diamond, Hamann, Koshikawa, and Zhu, to bridge Shimura varieties with the categorical local Langlands program.

Geometric Setup

Igusa Stacks: The authors work with the minimally compactified Igusa stack, denoted $\text{Igs}^*$ , associated with a Shimura datum $(G, X)$ of PEL type AC.
The Cartesian Diagram: They utilize a key cartesian diagram of $v$ -stacks over $\text{Spd } \mathbb{F}_p$ :
$\begin{array}{ccc} S^*_{K_p} & \xrightarrow{\pi_{HT}} & \text{F}_{\ell} \\ \downarrow{\tilde{h}} & & \downarrow{h} \\ \text{Igs}^* & \xrightarrow{\pi_{HT}} & \text{Bun}_G \end{array}$
Here, $S^*_{K_p}$ is the minimal compactification of the Shimura variety at infinite level, $\text{F}_{\ell}$ is the analytification of a flag variety, and $\text{Bun}_G$ is the moduli stack of $G$ -bundles on the Fargues–Fontaine curve.
Stratification: The authors investigate the interaction between the Newton stratification (Harder–Narasimhan stratification) on $\text{Bun}_G$ and the Baily–Borel stratification (boundary stratification) on the Shimura variety and the Igusa stack. They prove that the Baily–Borel stratification on the Shimura variety pulls back to a compatible stratification on the Igusa stack.

Sheaf-Theoretic Construction

Intersection Complex on Igusa Stacks: They define an intersection complex $\text{IC}_{\text{Igs}^*}$ on the Igusa stack by taking the intermediate extension of the constant sheaf along the open immersion of the generic fiber. This requires defining a perverse $t$ -structure on the stratified $v$ -stack $\text{Igs}^*$ by gluing standard $t$ -structures on the strata with appropriate degree shifts.
Relative Intersection Cohomology: The main object of study is the complex $\text{FIC}_{\Lambda} := R\pi_{HT*}(\text{IC}_{\text{Igs}^*})$ on $\text{Bun}_G$ .
Technical Tools: The construction relies heavily on:
- Analytification functors for perfect schemes and mixed characteristic schemes.
- A criterion for Universal Local Acyclicity (ULA) on stacky quotients, inspired by the correspondence between ULA sheaves and admissible representations.
- The identification of fibers of the Hodge–Tate period morphism $\pi_{HT}$ with quotients of partially minimally compactified Igusa varieties $[\text{Igb}_{*,\diamond}/J_b]$ .

3. Key Contributions and Results

The Main Theorem (Theorem 1.2)

The authors construct a complex $\text{FIC}_{\Lambda} \in D_{\text{ét}}(\text{Bun}_{G, \mu^{-1}}, \Lambda)$ which satisfies:

Verdier Self-Duality: $\text{FIC}_{\Lambda}$ is self-dual with respect to Verdier duality on $\text{Bun}_{G, \mu^{-1}}$ . If $\Lambda$ is a regular ring, it is universally locally acyclic (ULA).
Perversity: $\text{FIC}_{\Lambda}$ is a perverse sheaf with respect to the natural perverse $t$ -structure on $\text{Bun}_{G, \mu^{-1}}$ .
Recovery of Intersection Cohomology: Applying the Hecke operator $T_\mu$ associated with the Hodge cocharacter $\mu$ and restricting to the neutral stratum (via $i_1^*$ ) recovers the intersection cohomology complex of the Shimura variety:
$i_1^* T_\mu \text{FIC}_{\Lambda} \simeq \text{IC}(G, X)_{K_p, \Lambda}$
Stalks: The stalks of $\text{FIC}_{\Lambda}$ at a point $b \in B(G, \mu^{-1})$ are isomorphic to the intersection cohomology of the partially minimally compactified Igusa variety $\text{Igb}_{*,\diamond}$ (shifted by dimension).

Applications

A. Mantovan Product Formula (Theorem 1.5)

The authors establish a version of the Mantovan product formula for intersection cohomology. They show that $\text{IC}(G, X)_{K_p, \Lambda}$ admits a filtration indexed by Newton strata $b \in B(G, \mu^{-1})$ , with graded pieces isomorphic to:
$R\Gamma_c(G, b, \mu, \Lambda(d_b))[d] \otimes_{H(J_b)} V_{\text{IC}, \Lambda, b}[d_b]$
where $R\Gamma_c$ is the cohomology of the local Shimura variety (Rapoport–Zink space) and $V_{\text{IC}}$ is the intersection cohomology of the Igusa variety. This provides a geometric method to compute intersection cohomology at places of bad reduction.

B. Torsion-Vanishing (Theorem 1.7)

By combining the perversity of $\text{FIC}_{\Lambda}$ with the properties of Hecke operators, the authors prove that for generic maximal ideals $\mathfrak{m}$ in the spherical Hecke algebra (and under specific conditions on $G$ , $\ell$ , and $p$ ), the localized intersection cohomology is concentrated in degree 0. This supports conjectures by Koshikawa and Shin regarding the cohomological amplitude of intersection cohomology with torsion coefficients.

C. Eichler–Shimura Relations (Theorem 1.13)

The paper proves the Blasius–Rogawski conjecture for intersection cohomology at Iwahori levels. Specifically, the action of the inertia subgroup is unipotent, and the action of the arithmetic Frobenius satisfies the Hecke polynomial relation $H_\mu(\sigma_E) = 0$ . This extends previous results known for usual cohomology to the intersection cohomology setting.

4. Significance and Scope

The paper claims that its primary significance lies in providing a framework to study the intersection cohomology of Shimura varieties using the categorical local Langlands program.

Bridging Local and Global: It connects the global geometry of Shimura varieties (via Igusa stacks) with the local geometry of $\text{Bun}_G$ , allowing the application of powerful local tools (like the spectral action and Hecke operators) to global intersection cohomology problems.
New Tools for Bad Reduction: The Mantovan product formula derived here offers a potential route to understanding the Galois action on intersection cohomology at places of bad reduction, complementing the Langlands–Kottwitz method which is more effective at places of good reduction.
Foundational for Future Conjectures: The authors suggest that the perverse sheaf $\text{FIC}_{\Lambda}$ is the correct geometric avatar for the "eigensheaf conjecture" related to Arthur's classification. They posit that $\text{FIC}_{\Lambda}$ should decompose into generalized eigensheaves corresponding to local Arthur parameters, mirroring the decomposition of $L^2$ -cohomology into discrete automorphic representations. This connection is framed as a realization of Fargues' vision of local-global compatibility.

Limitations and Assumptions:
The results are currently established under Assumption 1.1, which restricts the Shimura datum to be of PEL type with absolute root system of type AC, the group $G_{\mathbb{Q}_p}$ to be unramified, and the boundary of the minimal compactification to have codimension at least 2. The authors note that while the geometric constructions are expected to generalize, the existence of the minimally compactified Igusa stack for more general Shimura varieties (e.g., Hodge type) is a prerequisite for extending these results, which is currently an active area of research (citing Mao, 2025).

In summary, the paper successfully constructs a perverse sheaf on $\text{Bun}_G$ that encodes the intersection cohomology of Shimura varieties, proving its fundamental properties and deriving major arithmetic consequences, thereby opening a new pathway for applying categorical local Langlands techniques to intersection cohomology.