🔢 mathematics

On a conjecture of Pappas and Rapoport

This paper proves a conjecture by Pappas and Rapoport regarding the existence of canonical integral models for Hodge-type Shimura varieties with quasi-parahoric level structure, while also establishing the uniformization of isogeny classes and verifying a related conjecture on local model diagrams.

Original authors: Patrick Daniels, Pol van Hoften, Dongryul Kim, Mingjia Zhang

Published 2026-04-27

📖 3 min read🧠 Deep dive

CC BY 4.0

Original authors: Patrick Daniels, Pol van Hoften, Dongryul Kim, 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 a master architect tasked with designing a massive, intricate skyscraper (this is the Shimura variety). This skyscraper is so complex that it exists in multiple dimensions and across different "worlds" (mathematical fields).

The problem is that while we have a perfect blueprint for the skyscraper in the "ideal world" (the generic fiber), we don't know how to build its foundation in the "real, gritty world" (the integral model at a prime $p$ ). If the foundation is poorly designed, the whole building might collapse or become a jagged, unnavigable mess of singularities when we try to actually construct it.

This paper is the definitive manual for building that foundation. Here is the breakdown:

1. The Conjecture: The "Perfect Foundation" Problem

For years, mathematicians (specifically Pappas and Rapoport) had a hunch. They said: "If we want to build these massive mathematical skyscrapers, there is one 'canonical' way to design the foundation so that it stays smooth, predictable, and connects perfectly to the blueprint above."

They had a set of rules (axioms) for what a "perfect foundation" should look like, but they couldn't prove that such a foundation actually exists for all types of buildings. They had only proven it for certain "standard" models.

2. The Innovation: The "Universal DNA" (Shtukas)

The authors of this paper used a brilliant new tool called Shtukas.

Think of a Shtuka as a strand of "mathematical DNA." Instead of trying to build the foundation from the ground up by looking at bricks and mortar, the authors looked at the DNA. They realized that if you can prove the "DNA" (the universal shtuka) can exist and spread across the foundation, then the foundation itself must exist and follow the rules.

They essentially worked backward: instead of building a house and checking its DNA, they proved the DNA was stable, which forced the house to be built correctly.

3. The Main Achievement: Solving the Puzzle

The paper achieves three major things:

The Existence Proof (Theorem I): They proved that for a huge class of these mathematical skyscrapers (Hodge-type), the "perfect foundation" (canonical integral model) definitely exists. They didn't just do it for the easy buildings; they did it for the ones with "quasi-parahoric" structures—which are like buildings with incredibly complex, non-standard entryways and staircases.
The Local Model Diagram (Theorem II): They proved that if you zoom in on a tiny, microscopic part of the foundation, it looks exactly like a simpler, well-understood "mini-model." This is like saying, "If you look at a single bolt in this skyscraper, it follows a simple, predictable pattern that we already understand." This makes the complex structure much easier to study.
The Uniformization (The "Mirror" Effect): They showed that these complex spaces can be "uniformized." Imagine looking at a crumpled piece of paper and realizing it’s actually just a perfectly flat sheet that has been folded in a very specific, mathematical way. They proved that these complicated spaces are actually just "folded" versions of simpler, local spaces.

Summary for the Non-Mathematician

In short, this paper provides the mathematical "construction permits" and "blueprints" for some of the most complex objects in number theory. By using the "DNA" of these objects (Shtukas), the authors proved that we can build stable, predictable foundations for these massive mathematical structures, ensuring that the "ideal" world and the "real" world connect without any cracks in the foundation.

This paper, titled "On a Conjecture of Pappas and Rapoport," authored by Patrick Daniels, Pol van Hoften, Dongryul Kim, and Mingjia Zhang, represents a major advancement in the arithmetic geometry of Shimura varieties. It provides a definitive proof for the existence of canonical integral models for Shimura varieties of Hodge type with arbitrary (quasi-)parahoric level structure at a prime $p$ .

Below is a detailed technical summary of the work.

1. The Problem: The Pappas–Rapoport Conjecture

The central problem addressed is the existence of canonical integral models for Shimura varieties.

When a Shimura variety has "hyperspecial" level structure at $p$ , its integral models are smooth and well-understood. However, when the level structure is parahoric (or more generally, quasi-parahoric), the integral models develop complicated singularities. Pappas and Rapoport (2024) provided a set of axioms that uniquely characterize these "canonical" models, but they could only prove their existence for specific cases (e.g., stabilizer parahorics).

The authors aim to prove that for any Shimura variety of Hodge type, a system of normal, flat, finite-type schemes satisfying the Pappas–Rapoport axioms exists for any quasi-parahoric level structure.

2. Methodology: The Shtuka-Theoretic Approach

The authors depart from traditional geometric constructions and instead utilize the theory of $v$ -sheaves and $p$ -adic shtukas (in the sense of Scholze and Weinstein).

The "Reverse" Strategy: While previous work used the existence of a universal $p$ -adic shtuka to characterize integral models, this paper works in reverse. They start with the requirement that a universal shtuka must exist over an integral model and must be compatible with transition morphisms between different levels.
Moduli of Quasi-Parahoric Shtukas: A significant portion of the technical work involves studying the moduli stack of $G$ -shtukas ( $\text{Sht}_{G,\mu}$ ) for a quasi-parahoric group scheme $G$ . Because $G$ is not necessarily connected, the stack $\text{Sht}_{G,\mu}$ is less well-behaved than the stack for the identity component $G^\circ$ .
Decomposition and Torsors: The authors prove that the stack of $G^\circ$ -shtukas is a finite étale torsor over a specific open/closed substack of the $G$ -shtuka stack. This allows them to "lift" the existence of shtukas from the connected component to the full quasi-parahoric group.
Tannakian Formalism: They use the Tannakian interpretation of $p$ -adic Hodge theory to relate $G$ -torsors to representations and to control the behavior of the Frobenius action on these bundles.

3. Key Contributions and Results

Theorem I: Existence of Canonical Models

The primary result is the proof of the Pappas–Rapoport conjecture for Hodge-type Shimura varieties. They show that for any quasi-parahoric subgroup $K_p \subset G(\mathbb{Q}_p)$ , there exists a system of integral models $\{S_{K}(G, X)\}$ satisfying the required axioms. This generalizes previous results that were restricted to "stabilizer parahorics."

Theorem II: Local Model Diagrams

The authors prove a conjecture by Kisin and Pappas regarding scheme-theoretic local model diagrams.

They show that the singularities of the integral models $S_K(G, X)$ are (étale-locally) modeled by the singularities of a simpler scheme called the local model $M_{G,\mu}$ .
This is crucial because it allows mathematicians to study the geometry of the Shimura variety by studying the much more tractable local model.

Theorem III: Decomposition of Shtuka Stacks

They provide a precise decomposition of the moduli stack of quasi-parahoric shtukas:
$\coprod_{\delta \in \Pi_G} [\text{Sht}_{G^\circ_\delta, \mu} / \pi_0(G_\delta)_\phi] \simeq \text{Sht}_{G, \mu}^{\kappa = -\mu^\natural}$
This result clarifies the relationship between the shtukas of a non-connected group and its connected components.

Application: Rapoport–Zink Uniformization

The authors use their main theorem to prove the uniformization of isogeny classes by integral local Shimura varieties in full generality for Hodge-type varieties. This provides a way to describe the $p$ -adic points of Shimura varieties in terms of local data.

4. Significance

The significance of this paper is three-fold:

Completing a Program: It completes a major program initiated by Pappas and Rapoport to provide a unified framework for the integral models of Shimura varieties, regardless of the complexity of the level structure.
Geometric Toolset: By proving the existence of scheme-theoretic local model diagrams, the paper provides the necessary tools to study the cohomology, singularities, and geometry of these varieties in arithmetic applications.
Methodological Breakthrough: The use of $v$ -sheaves and the study of the "big diamond" functors to solve problems in classical scheme theory represents a powerful application of the recent "Perfectoid" revolution in arithmetic geometry.