Toric schemes and integral models for Shimura varieties with $\Gamma_1(p)$-type level

Georgios Pappas; Michael Rapoport

arxiv: 2602.23245 · v2 · submitted 2026-02-26 · 🧮 math.AG · math.NT· math.RT

Toric schemes and integral models for Shimura varieties with Gamma₁(p)-type level

Georgios Pappas , Michael Rapoport This is my paper

Pith reviewed 2026-05-15 18:48 UTC · model grok-4.3

classification 🧮 math.AG math.NTmath.RT

keywords Shimura varietiesintegral modelsparahoric levelroot stackstoric schemesPEL typeIwahori leveldivisor theorem

0 comments

The pith

Shimura varieties with Γ₁(p)-type level structures have p-integral models given by root stacks over parahoric local models.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proposes a conjectural theory for constructing p-integral models of Shimura varieties whose level structure at p comes from normal subgroups of parahoric subgroups that have abelian quotient. In this setup the usual local model is replaced by a root stack built over it, whose construction uses the divisor theorem for local models together with toric schemes. The authors establish the conjecture when the Shimura variety is of PEL type and the parahoric is an Iwahori, subject to additional conditions. A sympathetic reader would care because such models would let one study the reduction modulo p of these varieties in a uniform way that respects the finer level structure.

Core claim

We propose a conjectural theory of p-integral models of Shimura varieties with level structure at p given by a class of normal subgroups of parahoric subgroups with abelian quotient group. The role of the theory of local models is played in this context by a certain root stack over the local model for parahoric level. The construction of this root stack is based on the divisor theorem and on the theory of toric varieties in this context, both of which are of independent interest. We prove our conjecture in the case of Shimura varieties of PEL type when the parahoric is an Iwahori under some additional conditions.

What carries the argument

The root stack over the local model for parahoric level, built from the divisor theorem and toric schemes to encode the additional abelian level structure.

If this is right

The root-stack models satisfy the expected flatness and local-model properties for the given class of level structures.
In the proven PEL-Iwahori cases the models agree with existing integral models.
The special fibers of these models are described combinatorially via the toric data of the root stack.
The construction supplies a uniform way to study parahoric-level integral models for finer abelian quotients.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same root-stack technique may extend to other moduli problems whose local models admit a toric description.
Explicit computations of the special fiber in low-dimensional PEL cases could provide a direct test of the conjecture.
If the models exist, they would give a setting in which to compare Galois representations attached to different level structures at p.

Load-bearing premise

The divisor theorem holds for the local models in question and the toric-variety construction correctly captures the normal subgroup level structure.

What would settle it

A concrete PEL Shimura variety with Iwahori level where the proposed root-stack model is not flat over the base or has the wrong special fiber compared with known constructions.

read the original abstract

We propose a conjectural theory of $p$-integral models of Shimura varieties with level structure at $p$ given by a class of normal subgroups of parahoric subgroups with abelian quotient group. The role of the theory of local models is played in this context by a certain root stack over the local model for parahoric level. The construction of this root stack is based on the "divisor theorem" (a foundational fact about local models) and on the theory of toric varieties in this context, both of which are of independent interest. We prove our conjecture in the case of Shimura varieties of PEL type when the parahoric is an Iwahori (under some additional conditions).

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

A conjectural root-stack framework for Gamma1(p)-type integral models of Shimura varieties, with a solid proof only in the PEL-Iwahori case.

read the letter

The main thing here is a conjecture that replaces the usual local-model story with a root stack over the parahoric local model, built using the divisor theorem plus toric-variety methods, to handle level structures that are normal subgroups of parahorics with abelian quotient. They prove the conjecture works in the PEL-Iwahori setting under extra conditions. That special-case proof is the concrete advance; it shows the construction is at least viable in a case where prior local-model results apply directly. The toric and divisor-theorem ingredients are flagged as independently interesting, which is fair. The rest of the paper is the general conjecture plus the setup that makes the root stack well-defined. No obvious circularity or internal contradiction shows up in the argument structure, and the dependence on the divisor theorem is stated openly rather than hidden. The limitation is that outside the PEL-Iwahori case the claim stays conjectural, with no general derivation or error-control details supplied yet. That is normal for this kind of program, but it means the paper's reach is still prospective. Readers already working on integral models or parahoric-level Shimura varieties will find the framework useful to test or extend; people outside that niche will mostly see the special-case result and the toric construction. The work is coherent on its own terms and shows clear engagement with the existing local-model literature, so it deserves a serious referee rather than a desk rejection. The referee can push on whether the root-stack construction generalizes cleanly and whether the extra conditions in the PEL case can be relaxed.

Referee Report

2 major / 2 minor

Summary. The paper proposes a conjectural theory of p-integral models for Shimura varieties whose level structure at p is given by normal subgroups of parahoric subgroups with abelian quotient. In this framework the usual local-model theory is replaced by a root stack over the parahoric local model; the root stack is constructed from the divisor theorem for local models together with toric-variety techniques. The conjecture is proved in the special case of PEL-type Shimura varieties when the parahoric is Iwahori, subject to additional stated conditions.

Significance. If the conjecture is established in greater generality, the work would supply a new class of integral models for Shimura varieties at non-parahoric level, with the root-stack construction potentially of independent interest for the geometry of local models and toric schemes. The explicit proof in the PEL-Iwahori case already provides a concrete verification of the proposed framework under controlled hypotheses.

major comments (2)

[Introduction and §1] The central conjecture is stated in the introduction and §1; its formulation depends on the divisor theorem being available for the underlying local model. The manuscript should clarify whether this theorem is invoked as a black box or whether any new verification is supplied for the root-stack setting.
[PEL-Iwahori case (likely §4–5)] In the PEL-Iwahori proof (presumably §4–5), the additional conditions on the Shimura datum are used to guarantee that the root stack is smooth or has the expected dimension; the paper should indicate whether these conditions are essential or merely technical simplifications.

minor comments (2)

[§2] Notation for the root stack and the toric scheme should be introduced with a short table or diagram to help the reader track the various morphisms.
[References] A few references to prior work on toric models of Shimura varieties appear without page numbers; adding precise citations would improve traceability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and the recommendation of minor revision. Below we address the major comments point by point, indicating the clarifications and revisions we will incorporate.

read point-by-point responses

Referee: [Introduction and §1] The central conjecture is stated in the introduction and §1; its formulation depends on the divisor theorem being available for the underlying local model. The manuscript should clarify whether this theorem is invoked as a black box or whether any new verification is supplied for the root-stack setting.

Authors: The divisor theorem is invoked as a known foundational result from the existing literature on parahoric local models; no new verification is supplied in this manuscript. The novelty of our construction lies in combining the theorem with toric-variety techniques to produce the root stack. We will add an explicit clarifying sentence in the introduction and §1 stating that the theorem is used as a black box. revision: yes
Referee: [PEL-Iwahori case (likely §4–5)] In the PEL-Iwahori proof (presumably §4–5), the additional conditions on the Shimura datum are used to guarantee that the root stack is smooth or has the expected dimension; the paper should indicate whether these conditions are essential or merely technical simplifications.

Authors: The additional conditions are technical simplifications introduced to ensure smoothness and the expected dimension of the root stack in the PEL-Iwahori setting, thereby allowing a complete verification of the conjecture under controlled hypotheses. They are not essential to the statement of the conjecture itself. We will revise the relevant paragraphs in §§4–5 to state explicitly that the conditions serve this technical purpose. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper advances a conjecture for p-integral models of Shimura varieties at Γ₁(p)-type level, with the root stack construction explicitly grounded in the independently established divisor theorem for local models and toric variety techniques, both described as foundational and of separate interest. The special-case proof for PEL-type Shimura varieties at Iwahori level is supplied under additional conditions without any reduction of the central claim to a self-definition, fitted input renamed as prediction, or load-bearing self-citation chain. No equation or step in the provided abstract or structure collapses by construction to its own inputs, and the argument remains self-contained against external benchmarks such as prior local model results.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The proposal rests on the divisor theorem and toric variety theory as foundational inputs from prior literature; no free parameters or new entities are introduced in the abstract.

axioms (2)

domain assumption The divisor theorem holds as a foundational fact about local models
Invoked directly to construct the root stack over the parahoric local model.
domain assumption Theory of toric varieties applies to this context of local models
Used as the basis for building the root stack.

pith-pipeline@v0.9.0 · 5422 in / 1369 out tokens · 26419 ms · 2026-05-15T18:48:40.375866+00:00 · methodology

discussion (0)

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

On the Face Map of the Admissible Set With Iwahori Level
math.NT 2026-05 unverdicted novelty 6.0

The paper introduces a face decomposition of the μ-admissible set and proves surjectivity of the Pappas-Rapoport face map |Δ|^f with a complete description of its fibers.