Cohen-Macaulayness of Local Models via Shellability of the Admissible Set

This paper proves that augmented admissible sets in Iwahori-Weyl groups are dual EL-shellable, thereby resolving a conjecture of Görtz and establishing the Cohen-Macaulayness of special fibers for local models with parahoric level structure—including previously open cases in residue characteristic 2 and non-reduced root systems—through a characteristic-free, intrinsic construction that yields an explicit shelling and inductive building procedure.

The Gist

Here is an explanation of the paper "Cohen-Macaulayness of Local Models via Shellability of the Admissible Set," translated into everyday language with creative analogies.

The Big Picture: Building a Perfectly Stable Structure

Imagine you are an architect trying to build a massive, complex structure (a Local Model) that represents a specific mathematical universe. This structure is made of many different rooms and corridors (called Schubert varieties).

For this building to be useful in advanced mathematics (specifically for understanding "Shimura varieties," which are like maps of the universe's hidden patterns), the building must be Cohen-Macaulay.

What does "Cohen-Macaulay" mean?
Think of it as structural integrity.

• If a building is not Cohen-Macaulay, it might have hidden cracks, weak spots, or "ghost" rooms that don't connect properly. It's unstable.
• If a building is Cohen-Macaulay, it is solid, predictable, and every part of it fits together perfectly. You can trust the math happening inside it.

For a long time, mathematicians knew how to prove this stability for most buildings, but there were two tricky scenarios where the blueprints failed:

1. When the "ground" was very rough (residue characteristic 2).
2. When the building blocks had weird, non-standard shapes (non-reduced root systems).

This paper solves that problem. The authors prove that all these mathematical buildings are stable, even in the trickiest scenarios.

---

The Secret Weapon: "Shellability" (The LEGO Analogy)

How did they prove the building is stable? They didn't just look at the finished building; they looked at the order in which you can build it.

They used a concept called Shellability. Imagine you are building a giant sculpture out of LEGO bricks.

• The Problem: If you just throw bricks together randomly, the structure might collapse.
• The Solution (Shellability): If you can arrange the bricks in a specific, strict order such that:
  1. You place the first brick.
  2. You place the second brick, and it connects perfectly to the first.
  3. You place the third brick, and it connects perfectly to the first two, and so on...
  4. Crucially: Every time you add a new piece, it attaches to the existing structure in a way that keeps the whole thing rigid and stable.

If you can find this "perfect order," the entire structure is guaranteed to be stable (Cohen-Macaulay).

The Puzzle: The "Admissible Set"

The authors had to find this perfect order for a specific list of LEGO bricks called the Admissible Set.

• This set is a giant, chaotic list of all the possible ways the building can be arranged.
• For decades, mathematicians tried to find a pattern to order these bricks but failed for the "rough ground" and "weird shapes" cases.
• A mathematician named Görtz made a guess (a conjecture) in 2000: "If we can prove this list of bricks is 'Dual EL-shellable' (a fancy way of saying 'has a perfect building order'), then the building is stable."

The authors' achievement: They finally proved Görtz's guess is true. They found the perfect building order for every possible case.

---

How They Did It: The "Map" and the "Compass"

To find this order, the authors invented a new way to navigate the chaos. They combined two powerful tools:

1. The Quantum Bruhat Graph (The Map):
   Imagine a map of a city where you can walk in two ways:

   • Normal Walking: You take a step that makes the path longer (standard math steps).
   • Quantum Jumping: You take a "shortcut" that seems to break the rules of distance but actually gets you there faster in a specific mathematical sense.
     The authors used this map to figure out the shortest, most efficient routes between the bricks.

2. Acute Presentations (The Compass):
   They created a new way to describe the position of every brick. Think of it like giving every brick a coordinate that tells you exactly which "direction" it faces. This compass helped them ensure that when they added a new brick, it was facing the right way to lock into the previous ones.

By combining the Map and the Compass, they could write down a strict set of instructions: "First, build the corner. Then, add the wall. Then, add the roof. Always attach the new piece to the old piece in this specific way."

Why This Matters

1. It Works Everywhere: Previous methods relied on complex geometry that broke down when the "ground" was rough (characteristic 2). This new method is character-free. It doesn't care what the ground is made of; the logic holds up everywhere.
2. It's a Blueprint: The paper doesn't just say "It's stable." It gives you the exact recipe to build it. You can now build these mathematical models piece-by-piece, knowing that at every single step, the structure remains solid.
3. Real-World Impact: These local models are the foundation for understanding Shimura varieties, which are central to the Langlands Program (a grand theory trying to unify number theory and geometry). By proving these models are stable, the authors have removed a major roadblock in understanding the deep connections between numbers and shapes.

Summary in One Sentence

The authors solved a 20-year-old puzzle by proving that you can always build these complex mathematical structures brick-by-brick in a perfect, stable order, finally confirming that the "rough" and "weird" cases are just as solid as the rest.

Technical Summary

Here is a detailed technical summary of the paper "Cohen–Macaulayness of Local Models via Shellability of the Admissible Set" by Xuhua He, Felix Schremmer, and Qingchao Yu.

1. Problem Statement

The paper addresses a fundamental open problem in the arithmetic geometry of Shimura varieties: establishing the Cohen–Macaulay property for the special fibers of local models with parahoric level structures.

• Context: Local models are projective schemes over a discrete valuation ring (DVR) that model the étale-local structure of Shimura varieties at primes of bad reduction. Their geometry is controlled by the $\mu$-admissible set, denoted $\text{Adm}(\mu)_K$, within the Iwahori–Weyl group $\widetilde{W}$.
• The Challenge: The special fiber of a local model is a union of affine Schubert varieties indexed by $\text{Adm}(\mu)_K$. While individual Schubert varieties are known to be Cohen–Macaulay (often via Frobenius splitting), the union of these varieties is not automatically Cohen–Macaulay.
• Previous Limitations:
  • Prior geometric proofs (e.g., by Haines–Richarz, Anschütz–Gleason–Lourenço–Richarz) relied on intricate case-by-case analysis, often failing or requiring seminormalization in residue characteristic 2 and for non-reduced root systems.
  • Görtz [20] conjectured that the Cohen–Macaulayness could be deduced from a purely combinatorial property: the dual EL-shellability of the admissible set. This conjecture remained unproven in full generality.

2. Methodology

The authors provide a characteristic-free, intrinsic combinatorial proof that bypasses the geometric obstacles of small characteristics. The core strategy is to prove that the augmented admissible set $\widehat{\text{Adm}}(\mu)_K$ (the poset $\text{Adm}(\mu)_K$ with a formal top element $\hat{1}$ added) is dual EL-shellable.

The proof relies on three main technical pillars:

A. Construction of a Dual EL-Labeling

The authors construct a specific edge labeling $\hat{\eta}$ on the Hasse diagram of $\widehat{\text{Adm}}(\mu)_K$.

1. Reflection Orders: They utilize Dyer's theory of reflection orders on the set of positive affine roots $\Phi^+_{\text{aff}}$.
2. Separation and Compatibility: They introduce a novel reflection order that satisfies two critical properties:
   • Separation: It strictly separates "Type I" roots (related to the parahoric level $K$) from "Type II" roots.
   • $K$-compatibility: Roots in the subsystem generated by $K$ precede all other roots.
3. Augmented Edges: For the edges connecting the formal top element $\hat{1}$ to the maximal elements of the admissible set (which correspond to translation elements $t_{a}(\mu)$), they introduce new labels $\eta_a$ ordered by the Bruhat order on the finite Weyl group elements $a$.

B. Quantum Bruhat Graph (QBG)

To analyze the structure of the admissible set and the existence of specific chains, the authors employ the Quantum Bruhat Graph (introduced by Brenti, Fomin, and Postnikov).

• They prove the existence of "down-up" and "up-down" type shortest paths in the QBG.
• This allows them to navigate the complex Bruhat order of the affine Weyl group and establish the lexicographical minimality of specific chains required for the EL-shellability condition.

C. Acute Presentations

The authors introduce a new tool called acute presentations for elements of the Iwahori–Weyl group.

• A factorization $w = x t_\lambda y$ is "acute" if it satisfies specific inequalities involving the length function and root data.
• This concept unifies previous notions (like Haines–Ngô's acute cones) and provides a precise geometric interpretation of the Bruhat order, essential for describing the top layers of the admissible set and constructing the increasing chains.

3. Key Contributions and Results

Main Theorem (Theorem A)

For any dominant cocharacter $\mu$ and any parahoric level $K$, the augmented admissible set $\widehat{\text{Adm}}(\mu)_K$ is dual EL-shellable.

• This resolves Görtz's conjecture [20] in full generality.
• The proof is uniform and does not depend on the residue characteristic $p$ or the type of the root system (including non-reduced cases).

Geometric Consequences (Theorem B)

The combinatorial result translates directly into geometric properties of local models:

1. Cohen–Macaulayness: The special fibers of local models satisfying the He–Pappas–Rapoport characterization are Cohen–Macaulay.
2. Scholze–Weinstein Models: The local models constructed by Anschütz–Gleason–Lourenço–Richarz (satisfying Scholze–Weinstein's conjecture) are Cohen–Macaulay.
3. Integral Models of Shimura Varieties: Via the local model diagram, the integral models of Shimura varieties constructed by Kisin–Pappas–Zhou are proven to be Cohen–Macaulay.

Explicit Construction

Unlike previous existential proofs, this approach yields an explicit shelling. This provides a constructive, inductive procedure to build the special fiber component-by-component, preserving the Cohen–Macaulay property at every step. This offers a "transparent combinatorial blueprint" for the geometry of the special fiber.

4. Significance

• Resolution of Open Cases: The paper settles the previously intractable cases of residue characteristic 2 and non-reduced root systems, which were problematic for earlier geometric methods relying on Frobenius splittings or specific characteristic assumptions.
• Methodological Shift: It demonstrates that deep geometric properties of arithmetic schemes can be derived from intrinsic combinatorial structures (poset shellability) without relying on heavy geometric machinery or case-by-case analysis.
• Universality: The proof works for all reductive groups, all parahoric levels, and all characteristics, providing a unified framework for the study of local models.
• Future Directions: The authors propose a conjecture that the poset of Coxeter elements within the admissible set (indexing EKOR strata of basic loci) is also dual EL-shellable, suggesting that these combinatorial methods can be extended to finer stratifications of Shimura varieties.

In summary, this paper bridges the gap between combinatorial poset theory and arithmetic geometry, providing a definitive, characteristic-free proof of the Cohen–Macaulayness of local models and their associated integral models of Shimura varieties.