pith. machine review for the scientific record. sign in

arxiv: 2604.06442 · v2 · submitted 2026-04-07 · 🧮 math.NT · math.AG

Recognition: 2 theorem links

· Lean Theorem

On canonicity for integral models of Shimura varieties with hyperspecial level

Keerthi Madapusi , Alex Youcis
Authors on Pith no claims yet

Pith reviewed 2026-05-10 18:03 UTC · model grok-4.3

classification 🧮 math.NT math.AG
keywords integral canonical modelsShimura varietiesaperturesNewton strataEkedahl-Oort stratacentral leavesp-divisible groupshyperspecial level
0
0 comments X

The pith

Integral canonical models of Shimura varieties admit a new definition via apertures that works uniformly for pre-abelian and exceptional types at suitable primes.

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

The paper introduces a definition of integral canonical models for Shimura varieties that relies on the notion of an aperture. This definition applies to varieties of pre-abelian type at odd primes of hyperspecial level and extends to exceptional varieties when the prime is large enough. It recovers earlier constructions while supplying uniform proofs that every Newton stratum, every Ekedahl-Oort stratum, and every central leaf is non-empty. The central technical step is a generalization of Tate's full-faithfulness theorem from p-divisible groups to apertures, which also produces a mapping property that characterizes the model by the maps it receives from normal, flat, excellent schemes over the ring of integers localized at p.

Core claim

We give a new definition -- and in some cases a new construction -- of integral canonical models of Shimura varieties that uses the notion of an aperture. This applies to Shimura varieties of pre-abelian type at odd primes of hyperspecial level, recovering and extending previous work, but also to exceptional Shimura varieties for large enough primes. The characterization in the exceptional case is a priori different from the one recently shown by others and recovers many of their results. In fact, we give a uniform proof of the non-emptiness of all possible Newton strata, and of the non-emptiness of Ekedahl-Oort strata and central leaves as well. An important ingredient is a generalization 0

What carries the argument

The aperture, a notion introduced in work on Drinfeld conjectures, which serves as the device for generalizing Tate full faithfulness from p-divisible groups to the setting of integral models.

If this is right

  • Prime-to-p Hecke operators exist on the integral model in the exceptional case.
  • The mu-ordinary stratum is non-empty and the theory of the canonical lift holds.
  • Every Newton stratum, every Ekedahl-Oort stratum, and every central leaf is non-empty.
  • The model satisfies a universal mapping property from all normal flat excellent schemes over Z_{(p)}.

Where Pith is reading between the lines

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

  • The aperture-based construction may supply a template for defining integral models in other moduli problems where p-divisible groups appear.
  • The uniform non-emptiness statements could be used to study the geometry of special fibers without case-by-case analysis.
  • If the aperture generalization extends to smaller primes or other levels, the same mapping property might characterize models in broader settings.

Load-bearing premise

The generalization of Tate's full faithfulness theorem for p-divisible groups to the context of apertures holds and is sufficient to establish the mapping property and the non-emptiness statements.

What would settle it

A normal flat excellent scheme over Z_{(p)} equipped with a map to the special fiber that does not factor uniquely through the proposed integral model, or an exceptional Shimura variety at a large prime whose Newton polygon strata include an empty one.

read the original abstract

We give a new definition -- and in some cases, a new construction -- of integral canonical models of Shimura varieties that uses the notion of an aperture appearing in work of Gardner--Madapusi on some conjectures of Drinfeld. This applies to Shimura varieties of pre-abelian type at odd primes of hyperspecial level, recovering and extending previous work of Kisin, Kim--Madapusi and Imai--Kato--Youcis, but also to exceptional Shimura varieties for large enough primes. The characterization in the exceptional case is \emph{a priori} different from the one recently shown by Bakker--Shankar--Tsimerman, and recovers many of their results, such as the existence of prime-to-$p$ Hecke operators, the non-emptiness of the $\mu$-ordinary stratum and the theory of the canonical lift. In fact, we give a uniform proof of the non-emptiness of \emph{all} possible Newton strata, and of the non-emptiness of Ekedahl--Oort strata and central leaves as well. An important ingredient in the proofs is a generalization of Tate's full faithfulness theorem for $p$-divisible groups to the context of apertures. This leads to a mapping property for the integral canonical model that characterizes maps into it from all normal, flat and excellent schemes over $\mathbb{Z}_{(p)}$.

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.

Referee Report

2 major / 2 minor

Summary. The paper gives a new definition (and in some cases construction) of integral canonical models of Shimura varieties via the notion of an aperture from Gardner--Madapusi. It applies to pre-abelian type Shimura varieties at odd primes of hyperspecial level (recovering and extending Kisin, Kim--Madapusi, Imai--Kato--Youcis) and to exceptional Shimura varieties for large enough primes. It supplies uniform proofs of non-emptiness for all Newton strata, Ekedahl--Oort strata and central leaves, using a claimed generalization of Tate's full faithfulness theorem for p-divisible groups to apertures; this yields a mapping property characterizing the integral canonical model via maps from normal, flat, excellent Z_{(p)}-schemes.

Significance. If the generalization of Tate's theorem holds and the aperture construction applies as stated, the work supplies a uniform framework that recovers prior theorems on integral models, extends them to exceptional types, and establishes non-emptiness results together with a clean mapping characterization. The uniform non-emptiness statements for Newton, EO and central-leaf strata would be a notable strengthening.

major comments (2)
  1. [Abstract (and the section containing the statement and proof of the generalized Tate theorem)] The mapping property and all non-emptiness statements rest on the generalization of Tate's full faithfulness theorem to apertures (stated as an important ingredient in the abstract). This generalization must be stated precisely (including the precise category of apertures and the exact faithfulness statement) and its proof must be self-contained; without an explicit verification that the argument reduces to the classical Tate theorem when the aperture is trivial, the load-bearing step remains unverified.
  2. [The section treating exceptional Shimura varieties] For exceptional Shimura varieties the paper claims the aperture construction works for all sufficiently large primes and recovers many results of Bakker--Shankar--Tsimerman. The precise lower bound on the prime and the verification that the exceptional group satisfies the necessary aperture hypotheses (e.g., the required properties of the associated p-divisible groups) must be given explicitly; the current abstract leaves open whether the argument is uniform or requires case-by-case checks.
minor comments (2)
  1. [Introduction] Clarify the precise relationship between the new aperture-based definition and the classical Kisin-style definition in the pre-abelian case; a short comparison paragraph would help readers see exactly where the new construction coincides with or differs from prior work.
  2. [References and introduction] Ensure that all citations to Gardner--Madapusi, Kisin, Kim--Madapusi, Imai--Kato--Youcis and Bakker--Shankar--Tsimerman are complete and that the paper indicates which results are recovered verbatim versus which are strengthened.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the constructive comments. We address each major point below and will revise the paper accordingly to improve precision and completeness.

read point-by-point responses

  1. Referee: [Abstract (and the section containing the statement and proof of the generalized Tate theorem)] The mapping property and all non-emptiness statements rest on the generalization of Tate's full faithfulness theorem to apertures (stated as an important ingredient in the abstract). This generalization must be stated precisely (including the precise category of apertures and the exact faithfulness statement) and its proof must be self-contained; without an explicit verification that the argument reduces to the classical Tate theorem when the aperture is trivial, the load-bearing step remains unverified.

    Authors: We agree that a precise statement and self-contained proof of the generalized Tate theorem are essential. In the revised manuscript we will state the theorem explicitly, including the precise category of apertures under consideration and the exact faithfulness statement. We will supply a complete proof and add an explicit verification that the argument reduces to the classical Tate theorem when the aperture is trivial. These additions will appear in the section devoted to the generalized Tate theorem and will be cross-referenced in the abstract. revision: yes

  2. Referee: [The section treating exceptional Shimura varieties] For exceptional Shimura varieties the paper claims the aperture construction works for all sufficiently large primes and recovers many results of Bakker--Shankar--Tsimerman. The precise lower bound on the prime and the verification that the exceptional group satisfies the necessary aperture hypotheses (e.g., the required properties of the associated p-divisible groups) must be given explicitly; the current abstract leaves open whether the argument is uniform or requires case-by-case checks.

    Authors: We will revise the section on exceptional Shimura varieties to state the precise lower bound on the prime explicitly. We will also provide a direct verification that the exceptional groups satisfy the required aperture hypotheses, including the necessary properties of the associated p-divisible groups. The argument is uniform once this lower bound is fixed; the revised text will make this uniformity clear and will indicate that no further case-by-case analysis is needed beyond establishing the bound. revision: yes

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper presents a new definition of integral canonical models for Shimura varieties using the aperture notion from the external prior work of Gardner--Madapusi on Drinfeld conjectures. It proves a generalization of Tate's full faithfulness theorem for p-divisible groups in the aperture setting as an explicit new ingredient. This is used to derive the mapping property for normal flat excellent Z_{(p)}-schemes and uniform non-emptiness results for Newton, Ekedahl-Oort, and central leaf strata, extending prior results for pre-abelian type while handling exceptional cases at large primes. No quoted equations or steps in the abstract reduce any central claim by construction to fitted inputs, self-definitions, or unverified self-citations; the derivation relies on independent prior definitions and new proofs, remaining self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The central claim rests on the prior notion of aperture (from Gardner--Madapusi) and on the validity of a generalization of Tate's full faithfulness theorem; no new numerical parameters are introduced. Background results on Shimura varieties and p-divisible groups are treated as standard.

axioms (1)
  • standard math Standard results on Shimura varieties of pre-abelian type, hyperspecial level structures, and p-divisible groups from the existing literature.
    Invoked throughout to set up the context for the new definition and the generalization of Tate's theorem.
invented entities (1)
  • Aperture no independent evidence
    purpose: To furnish a new definition of integral canonical models and to enable the mapping property.
    The aperture concept is taken from prior work of Gardner--Madapusi rather than introduced here; it is used as the key new ingredient for the definition.

pith-pipeline@v0.9.0 · 5551 in / 1926 out tokens · 79506 ms · 2026-05-10T18:03:39.468059+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

18 extracted references · 14 canonical work pages · 2 internal anchors

  1. [1]

    Prismatic Dieudonn´ e theory

    [AL23] Johannes Ansch¨ utz and Arthur-C´ esar Le Bras. “Prismatic Dieudonn´ e theory”. In:Forum Math. Pi 11 (2023), Paper No. e2, 92 (cited on p. 12). [ALY22] Piotr Achinger, Marcin Lara, and Alex Youcis. “Specialization for the pro-´ etale fundamental group”. In:Compos. Math.158.8 (Aug. 2022), pp. 1713–1745.url:http : / / dx . doi . org / 10 . 1112 / S00...

    work page doi:10.1017/s1474748025101539(cited 2023

  2. [2]

    Bhatt and J

    Progr. Math. Birkh¨ auser Boston, Boston, MA, 1990, pp. 333–400.isbn: 0-8176-3427-4 (cited on p. 14). [BL22] Bhargav Bhatt and Jacob Lurie. “The prismatization ofp-adic formal schemes”. In: (2022). eprint: 2201.06124.url:https://arxiv.org/abs/2201.06124(cited on p. 8). [BLR90] Siegfried Bosch, Werner L¨ utkebohmert, and Michel Raynaud.N´ eron models. Vol

    work page arXiv 1990

  3. [3]

    Topological Hochschild homology and integralp-adic Hodge theory

    Ergebnisse der Mathematik und ihrer Grenzgebiete. Berlin: Springer-Verlag, 1990 (cited on p. 3). [BMS19] Bhargav Bhatt, Matthew Morrow, and Peter Scholze. “Topological Hochschild homology and integral p-adic Hodge theory”. In:Publ. Math. Inst. Hautes ´Etudes Sci.129 (2019), pp. 199–310.issn: 0073- 8301,1618-1913.doi:10.1007/s10240- 019- 00106- 9.url:https...

    work page doi:10.1007/s10240- 1990

  4. [4]

    Logarithmic Riemann–Hilbert cor- respondences for rigid varieties

    Proc. Sympos. Pure Math., XXXIII. Amer. Math. Soc., Providence, R.I., 1979, pp. 247–289 (cited on pp. 44–47, 66–67, 74). [DLLZ22] Hansheng Diao, Kai-Wen Lan, Ruochuan Liu, and Xinwen Zhu. “Logarithmic Riemann–Hilbert cor- respondences for rigid varieties”. In:J. Amer. Math. Soc.36.2 (2022), pp. 483–562.url:http : //dx.doi.org/10.1090/jams/1002(cited on pp...

    work page doi:10.1090/jams/1002(cited 1979

  5. [5]

    Specialization maps for Scholze’s category of diamonds

    arXiv:2107.03579 [math.AG].url:https://arxiv.org/abs/2107.03579 (cited on p. 75). [Gle25b] Ian Gleason. “Specialization maps for Scholze’s category of diamonds”. In:Math. Ann.391.2 (2025), pp. 1611–1679.issn: 0025-5831,1432-1807.doi:10.1007/s00208-024-02952-3.url:https://doi. org/10.1007/s00208-024-02952-3(cited on p. 75). [GM24] Zachary Gardner and Keert...

    work page doi:10.1007/s00208-024-02952-3.url:https://doi 2025

  6. [6]

    A prismatic approach to crystalline local systems

    (cited on pp. 1–2, 6–9, 12, 14–22, 24–25, 40, 51, 68, 76). [GR24] Haoyang Guo and Emanuel Reinecke. “A prismatic approach to crystalline local systems”. In:Invent. Math.236.1 (2024), pp. 17–164.url:https://doi.org/10.1007/s00222-024-01238-4(cited on pp. 10–13). [Gro03] Alexander Grothendieck.Revˆ etements ´ etales et groupe fondamental (SGA 1). Vol

    work page doi:10.1007/s00222-024-01238-4(cited 2024

  7. [7]

    Paris: Soci´ et´ e Math´ ematique de France, 2003 (cited on p

    Documents Math´ ematiques (Paris). Paris: Soci´ et´ e Math´ ematique de France, 2003 (cited on p. 43). [Gro05] Alexander Grothendieck.Cohomologie locale des faisceaux coh´ erents et th´ eor` emes de Lefschetz locaux et globaux (SGA 2). Ed. by Yves Laszlo. Vol

    2003

  8. [8]

    Pointwise criteria of p-adic local systems

    Documents Math´ ematiques (Paris) [Mathematical Documents (Paris)]. Soci´ et´ e Math´ ematique de France, Paris, 2005, pp. x+208 (cited on p. 35). [GW20] Ulrich G¨ ortz and Torsten Wedhorn.Algebraic geometry I. Schemes—with examples and exercises. Springer Studium Mathematik—Master. Second edition. Springer Spektrum, Wiesbaden, 2020, pp. vii+625. url:http...

    work page doi:10.1007/978-3-658-30733-2(cited 2005

  9. [9]

    Deformation theory for prismaticG-displays

    arXiv:2504.16282 [math.NT].url:https://arxiv.org/abs/2504.16282(cited on pp. 5, 25–26, 35). [Ito25] Kazuhiro Ito. “Deformation theory for prismaticG-displays”. In:Forum Math. Sigma13 (2025), Paper No. e61, 57.issn: 2050-5094.doi:10.1017/fms.2025.7(cited on pp. 16, 76). [Kat73] Nicholas Katz. “Travaux de Dwork”. French. In: (1973) (cited on p. 37). [Kat81]...

    work page doi:10.1017/fms.2025.7(cited 2025

  10. [10]

    Integral models for Shimura varieties of abelian type

    Lecture Notes in Mathematics. Berlin: Springer, 1981, pp. 138–202 (cited on p. 23). [Kis10] Mark Kisin. “Integral models for Shimura varieties of abelian type”. In:J. Amer. Math. Soc.23.4 (2010), pp. 967–1012 (cited on pp. 3, 5, 34, 47, 50, 53, 59, 62, 66, 68, 74). [Kis17] Mark Kisin. “Modppoints on Shimura varieties of abelian type”. In:J. Amer. Math. So...

    1981

  11. [11]

    Honda–Tate theory for Shimura varieties

    (cited on p. 3). [KMS22] Mark Kisin, Keerthi Madapusi Pera, and Sug Woo Shin. “Honda–Tate theory for Shimura varieties”. In:Duke Math. J.171.7 (2022), pp. 1559–1614 (cited on pp. 6, 71). [Kot84] Robert E Kottwitz. “Shimura varieties and twisted orbital integrals”. In:Math. Ann.269.3 (1984), pp. 287–300.url:http://link.springer.com/article/10.1007/BF014506...

    work page doi:10.1007/bf01450697(cited 2022

  12. [12]

    Compatibility of canonicalℓ-adic local systems on adjoint Shimura varieties

    New Mathematical Monographs. Cambridge University Press, Cambridge, 2023, pp. xxx+718.isbn: 978-1-108-83196-3 (cited on p. 76). [KP25] Christian Klevdal and Stefan Patrikis. “Compatibility of canonicalℓ-adic local systems on adjoint Shimura varieties”. In:Invent. Math.242.1 (2025), pp. 305–335.url:https://doi.org/10.1007/ s00222-025-01357-6(cited on pp. 4...

    2023

  13. [13]

    Integral models of Shimura varieties with parahoric level structure, II

    arXiv:2409.03689 [math.NT].url:https://arxiv.org/abs/2409.03689 (cited on p. 77). [KSZ21] Mark Kisin, Sug Woo Shin, and Yihang Zhu. “The stable trace formula for Shimura varieties of abelian type”. In: (2021).url:https://arxiv.org/abs/2110.05381(cited on pp. 44–45, 51). [KZ25] Mark Kisin and Rong Zhou. “Independence ofℓfor Frobenius conjugacy classes atta...

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.4007/annals 2021

  14. [14]

    PerfectF-gauges and finite flat group schemes

    Perspect. Math. Boston, MA: Academic Press, 1990, pp. 283–414 (cited on pp. 46, 50). [MM25] Keerthi Madapusi and Shubhodip Mondal. “PerfectF-gauges and finite flat group schemes”. In:arXiv [math.NT](2025).url:http://arxiv.org/abs/2509.01573(cited on pp. 8, 14, 16–17, 22). [Moo04] Ben Moonen. “Serre-Tate theory for moduli spaces of PEL type”. In:Ann. Sci. ...

    work page arXiv 1990

  15. [15]

    Pinceaux de vari´ et´ es ab´ eliennes

    London Math. Soc. Lecture Note Ser. Cam- bridge: Cambridge Univ. Press, 1998, pp. 267–350 (cited on pp. 5, 43, 50). [Mor85] Laurent Moret-Bailly. “Pinceaux de vari´ et´ es ab´ eliennes”. In:Ast´ erisque129 (1985), p. 266 (cited on p. 69). [Mor89] Laurent Moret-Bailly. “Groupes de Picard et probl` emes de Skolem. I, II”. In:Ann. Sci. ´Ecole Norm. Sup. (4)2...

    1998

  16. [16]

    On integral models of Shimura varieties

    arXiv:2504 . 14801 [math.NT].url:https://arxiv.org/abs/2504.14801(cited on p. 8). [Pap23] Georgios Pappas. “On integral models of Shimura varieties”. In:Math. Ann.385.3-4 (2023), pp. 2037– 2097 (cited on pp. 1, 3, 5, 33). [Pat25] Stefan Patrikis. “Compatibility of canonicalℓ-adic local systems on Shimura varieties, II”. In: (2025). eprint:2504.00305.url:h...

    work page arXiv 2023

  17. [17]

    p-adic shtukas and the theory of global and local Shimura varieties

    arXiv:2510.16961 [math.NT]. url:https://arxiv.org/abs/2510.16961(cited on pp. 13–14). [Pin90] Richard Pink.Arithmetical compactification of mixed Shimura varieties (Dissertation, Rheinische Friedrich-Wilhelms-Universit¨ at Bonn, 1989). Bonner Mathematische Schriften. Bonn: Universit¨ at Bonn Mathematisches Institut, 1990 (cited on p. 44). [PR24] Georgios ...

    work page doi:10.4310/cjm 1989

  18. [18]

    Relative representability and parahoric level structures

    arXiv:2402.07135 [math.NT]. url:https://arxiv.org/abs/2402.07135(cited on pp. 7, 75–76). [Tat67] J. T. Tate. “p-divisible groups”. In:Proc. Conf. Local Fields (Driebergen, 1966). Springer, Berlin-New York, 1967, pp. 158–183 (cited on pp. 28–29). [Vas01] Adrian Vasiu. “Points of integral canonical models of Shimura varieties of preabelian type, p-divisible...

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/s00208- 1966