pith. sign in

arxiv: 2403.19771 · v4 · submitted 2024-03-28 · 🧮 math.NT · math.AG

On a conjecture of Pappas and Rapoport

Patrick Daniels , Pol van Hoften , Dongryul Kim , Mingjia Zhang This is my paper

Pith reviewed 2026-05-24 03:11 UTC · model grok-4.3

classification 🧮 math.NT math.AG
keywords Shimura varietiesintegral modelsHodge typequasi-parahoric leveluniformizationlocal model diagrams
0
0 comments X

The pith

Shimura varieties of Hodge type admit canonical integral models with quasi-parahoric level at p.

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

The paper proves a conjecture by Pappas and Rapoport establishing the existence of canonical integral models for Shimura varieties of Hodge type when equipped with quasi-parahoric level structure at a prime p. It further demonstrates that these models allow the uniformization of isogeny classes through integral local Shimura varieties. Additionally, the work confirms a conjecture by Kisin and Pappas about local model diagrams. This provides a framework for analyzing the integral structure of these varieties in arithmetic geometry.

Core claim

We prove a conjecture of Pappas and Rapoport about the existence of canonical integral models of Shimura varieties of Hodge type with quasi-parahoric level structure at a prime p. For these integral models, we moreover show uniformization of isogeny classes by integral local Shimura varieties, and prove a conjecture of Kisin and Pappas on local model diagrams.

What carries the argument

Canonical integral models of Shimura varieties of Hodge type with quasi-parahoric level structure, which enable uniformization by integral local Shimura varieties and local model diagrams.

If this is right

  • The existence of canonical integral models is established for the relevant Shimura varieties.
  • Isogeny classes of the varieties are uniformized by integral local Shimura varieties.
  • The conjecture of Kisin and Pappas on local model diagrams is proven true.

Where Pith is reading between the lines

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

  • This result may support further analysis of the reduction behavior of these varieties modulo p.
  • The uniformization property could connect to questions about the geometry of special fibers in related moduli problems.

Load-bearing premise

The Shimura varieties considered are of Hodge type and the level structure at p is quasi-parahoric.

What would settle it

A specific example of a Shimura variety of Hodge type with quasi-parahoric level at p that does not admit a canonical integral model would falsify the proved conjecture.

read the original abstract

We prove a conjecture of Pappas and Rapoport about the existence of ''canonical'' integral models of Shimura varieties of Hodge type with quasi-parahoric level structure at a prime $p$. For these integral models, we moreover show uniformization of isogeny classes by integral local Shimura varieties, and prove a conjecture of Kisin and Pappas on local model diagrams.

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

0 major / 2 minor

Summary. The manuscript proves the Pappas-Rapoport conjecture on the existence of canonical integral models of Shimura varieties of Hodge type with quasi-parahoric level structure at a prime p. It additionally establishes uniformization of isogeny classes by integral local Shimura varieties and proves the Kisin-Pappas conjecture on local model diagrams.

Significance. If the proofs hold, this resolves two longstanding conjectures in the arithmetic geometry of Shimura varieties, supplying canonical integral models, uniformization statements, and local model diagrams in the Hodge-type quasi-parahoric setting. These results would furnish new tools for studying integral structures, isogeny classes, and local-global compatibility in the Langlands program.

minor comments (2)
  1. [Abstract] Abstract: the statement that the models are 'canonical' is used without a forward reference to the precise characterizing property (e.g., the universal property or the local model diagram) that is proved later; a single sentence clarifying this would improve readability.
  2. Notation: the distinction between the global Shimura variety and its integral model is occasionally implicit in the text; explicit use of a subscript or superscript (e.g., S_K vs. S_K^int) in the first few sections would reduce ambiguity.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of the manuscript and for recommending acceptance. No major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity; proof of external conjectures

full rationale

The paper proves the Pappas-Rapoport conjecture on canonical integral models for Hodge-type Shimura varieties with quasi-parahoric level at p, plus uniformization by integral local Shimura varieties and the Kisin-Pappas local model diagram conjecture. All load-bearing steps are standard mathematical derivations in algebraic geometry and number theory that build on independently stated external conjectures and prior results by other authors. No self-definitional reductions, fitted inputs renamed as predictions, or load-bearing self-citation chains appear; the central claims are resolutions of statements whose hypotheses and conclusions are fixed externally and do not reduce to the paper's own constructions by definition. The work is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work is a proof within an established area of arithmetic geometry and therefore rests on standard background results rather than new free parameters or invented entities.

axioms (1)
  • standard math Standard results on Shimura varieties, Hodge type data, and integral models from prior literature in arithmetic geometry
    The proof is stated to build on the existing theory of Shimura varieties of Hodge type.

pith-pipeline@v0.9.0 · 5581 in / 1260 out tokens · 60409 ms · 2026-05-24T03:11:23.816004+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.

Forward citations

Cited by 3 Pith papers

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

  1. Igusa Stacks and the Cohomology of Shimura Varieties

    math.NT 2024-08 unverdicted novelty 7.0

    Constructs functorial Igusa stacks for Hodge-type Shimura varieties, yielding a sheaf on Bun_G that controls cohomology and proves compatibility with the semisimple local Langlands correspondence of Fargues-Scholze wh...

  2. Relative representability and parahoric level structures

    math.NT 2024-02 unverdicted novelty 6.0

    Establishes a representability criterion for v-sheaf modifications of formal schemes and applies it to parahoric level structures on local shtukas, yielding local representability of integral models of local Shimura v...

  3. Integral models of Shimura varieties with parahoric level structure, II

    math.NT 2024-09 unverdicted novelty 5.0

    Constructs integral models for Shimura varieties of abelian type with parahoric level at odd primes that are étale locally isomorphic to local models.

Reference graph

Works this paper leans on

59 extracted references · 59 canonical work pages · cited by 3 Pith papers · 4 internal anchors

  1. [1]

    Johannes Ansch \"u tz , Ian Gleason , Jo \ a o Louren c o , and Timo Richarz , On the p -adic theory of local models , arXiv 2201.01234 https://arxiv.org/abs/2201.01234, January 2022

    work page arXiv 2022

  2. [2]

    Pi 11 (2023), Paper No

    Johannes Ansch\" u tz and Arthur-C\' e sar Le Bras, Prismatic D ieudonn\' e theory , Forum Math. Pi 11 (2023), Paper No. e2, 92. 4530092

    work page 2023

  3. [3]

    Piotr Achinger, Marcin Lara, and Alex Youcis, Specialization for the pro-\' e tale fundamental group , Compos. Math. 158 (2022), no. 8, 1713--1745. 4490930

    work page 2022

  4. [4]

    Reine Angew

    Johannes Ansch\" u tz, Extending torsors on the punctured Spec (A_ ) , J. Reine Angew. Math. 783 (2022), 227--268. 4373246

    work page 2022

  5. [5]

    207 (2023), no

    , G -bundles on the absolute F argues- F ontaine curve , Acta Arith. 207 (2023), no. 4, 351--363. 4591255

    work page 2023

  6. [6]

    Mikhail Borovoi, Abelian G alois cohomology of reductive groups , Mem. Amer. Math. Soc. 132 (1998), no. 626, viii+50. 1401491

    work page 1998

  7. [7]

    Bhatt and P

    B. Bhatt and P. Scholze, Prisms and prismatic cohomology, Ann. of Math. (2) 196 (2022), no. 3, 1135 -- 1275

    work page 2022

  8. [8]

    Bruhat and J

    F. Bruhat and J. Tits, Groupes r\' e ductifs sur un corps local. II . S ch\' e mas en groupes. E xistence d'une donn\' e e radicielle valu\' e e , Inst. Hautes \' E tudes Sci. Publ. Math. (1984), no. 60, 197--376. 756316

    work page 1984

  9. [9]

    Ana Caraiani and Peter Scholze, On the generic part of the cohomology of compact unitary S himura varieties , Ann. of Math. (2) 186 (2017), no. 3, 649--766. 3702677

    work page 2017

  10. [10]

    Patrick Daniels , Canonical integral models for S himura varieties defined by tori , arXiv 2207.09513 https://arxiv.org/abs/2207.09513, July 2022

    work page arXiv 2022

  11. [11]

    Patrick Daniels, Pol Hoften Van van Hoften, Dongryul Kim, and Mingjia Zhang, Igusa stacks for S himura varieties of H odge type , 2024, In preparation

    work page 2024

  12. [12]

    Hansheng Diao, Kai-Wen Lan, Ruochuan Liu, and Xinwen Zhu, Logarithmic R iemann- H ilbert correspondences for rigid varieties , J. Amer. Math. Soc. 36 (2023), no. 2, 483--562. 4536903

    work page 2023

  13. [13]

    Patrick Daniels and Alex Youcis , Canonical Integral Models of Shimura Varieties of Abelian Type , arXiv 2402.05727 https://arxiv.org/abs/2402.05727, February 2024

    work page arXiv 2024

  14. [14]

    [GI23] Ian Gleason and Alexander B

    L. Fargues and P. Scholze, Geometrization of the local L anglands correspondence , arXiv 2102.13459 https://arxiv.org/abs/2102.13459, 2021

    work page arXiv 2021

  15. [15]

    Meromorphic vector bundles on the Fargues--Fontaine curve

    Ian Gleason and Alexander B. Ivanov , Meromorphic vector bundles on the Fargues--Fontaine curve , arXiv 2307.00887 https://arxiv.org/abs/2307.00887, July 2023

    work page internal anchor Pith review Pith/arXiv arXiv 2023

  16. [16]

    Ian Gleason, Specialization maps for S cholze's category of diamonds , arXiv 2012.05483 https://arxiv.org/abs/2012.05483, 2020

    work page arXiv 2012

  17. [17]

    arXiv:2107.03579

    Ian Gleason , On the geometric connected components of moduli spaces of p-adic shtukas and local Shimura varieties , arXiv 2107.03579 https://arxiv.org/abs/2107.03579, July 2021, p. arXiv:2107.03579

    work page arXiv 2021

  18. [18]

    Ian Gleason , Dong Gyu Lim , and Yujie Xu , The connected components of affine Deligne-Lusztig varieties , https://ianandreigf.github.io/Website/QsplitADLV.pdf, January 2023

    work page 2023

  19. [19]

    Haoyang Guo and Emanuel Reinecke, A prismatic approach to crystalline local systems , Inventiones Mathematicae 236 (2024), 1--164

    work page 2024

  20. [20]

    Ph\` u ng H\^ o Hai and Jo\ a o Pedro dos Santos, On the structure of affine flat group schemes over discrete valuation rings, II , Int. Math. Res. Not. IMRN (2021), no. 12, 9375--9424. 4276322

    work page 2021

  21. [21]

    Xuhua He, Kottwitz- R apoport conjecture on unions of affine D eligne- L usztig varieties , Ann. Sci. \' E c. Norm. Sup\' e r. (4) 49 (2016), no. 5, 1125--1141

    work page 2016

  22. [22]

    Paul Hamacher and Wansu Kim, l -adic \' e tale cohomology of S himura varieties of H odge type with non-trivial coefficients , Math. Ann. 375 (2019), no. 3-4, 973--1044. 4023369

    work page 2019

  23. [23]

    Pol Hoften Van van Hoften, Mod p points on S himura varieties of parahoric level (with an appendix by Rong Zhou) , arXiv 2010.10496 https://arxiv.org/abs/2010.10496, October 2020

    work page arXiv 2010

  24. [24]

    Haines and M

    T. Haines and M. Rapoport, On parahoric subgroups (Appendix to ``Twisted loop groups and their affine flag varieties'' by Pappas--Rapoport) , 2008

    work page 2008

  25. [25]

    Huber, A generalization of formal schemes and rigid analytic varieties, Math

    R. Huber, A generalization of formal schemes and rigid analytic varieties, Math. Z. 217 (1994), no. 4, 513 -- 551

    work page 1994

  26. [26]

    30, Springer Fachmedien Wiesbaden, 1996

    Roland Huber, \'E tale cohomology of rigid analytic varieties and adic spaces , Aspects of Mathematics, vol. 30, Springer Fachmedien Wiesbaden, 1996

    work page 1996

  27. [27]

    Naoki Imai , Hiroki Kato , and Alex Youcis , The prismatic realization functor for S himura varieties of abelian type , arXiv 2310.08472 https://arxiv.org/abs/2310.08472, October 2023

    work page arXiv 2023

  28. [28]

    Kedlaya, Some ring-theoretic properties of A_ inf , p -adic hodge theory, Simons Symp., Springer, Cham, [2020] 2020, pp

    Kiran S. Kedlaya, Some ring-theoretic properties of A_ inf , p -adic hodge theory, Simons Symp., Springer, Cham, [2020] 2020, pp. 129--141. 4359204

    work page 2020

  29. [29]

    Dongryul Kim , Descending finite projective modules from a Novikov ring , arXiv 2402.17852 https://arxiv.org/abs/2402.17852, February 2024

    work page arXiv 2024

  30. [30]

    Mark Kisin, Integral models for S himura varieties of abelian type , J. Amer. Math. Soc. 23 (2010), no. 4, 967--1012. 2669706

    work page 2010

  31. [31]

    , mod \,p points on S himura varieties of abelian type , J. Amer. Math. Soc. 30 (2017), no. 3, 819--914. 3630089

    work page 2017

  32. [32]

    Kedlaya and Ruochuan Liu, Relative p -adic H odge theory: foundations , Ast\' e risque (2015), no

    Kiran S. Kedlaya and Ruochuan Liu, Relative p -adic H odge theory: foundations , Ast\' e risque (2015), no. 371, 239. 3379653

    work page 2015

  33. [33]

    Mark Kisin, Keerthi Madapusi Pera, and Sug Woo Shin, Honda-- T ate theory for S himura varieties , Duke Math. J. 171 (2022), no. 7, 1559--1614. 4484214

    work page 2022

  34. [34]

    Kottwitz, Isocrystals with additional structure

    Robert E. Kottwitz, Isocrystals with additional structure. II , Compositio Math. 109 (1997), no. 3, 255--339. 1485921

    work page 1997

  35. [35]

    Kisin and G

    M. Kisin and G. Pappas, Integral models of S himura varieties with parahoric level structure , Publ. Math. Inst. Hautes \' E tudes Sci. 128 (2018), 121--218. 3905466

    work page 2018

  36. [36]

    44, Cambridge University Press, Cambridge, 2023

    Tasho Kaletha and Gopal Prasad, Bruhat- T its theory---a new approach , New Mathematical Monographs, vol. 44, Cambridge University Press, Cambridge, 2023. 4520154

    work page 2023

  37. [37]

    Mark Kisin , Sug Woo Shin , and Yihang Zhu , The stable trace formula for S himura varieties of abelian type , arXiv 2110.05381 https://arxiv.org/abs/2110.05381, October 2021

    work page arXiv 2021

  38. [38]

    Mark Kisin and Rong Zhou , Independence of for Frobenius conjugacy classes attached to abelian varieties , https://www.dpmms.cam.ac.uk/ rz240/l-indep_v2.pdf, March 2021

    work page 2021

  39. [39]

    Ruochuan Liu and Xinwen Zhu, Rigidity and a R iemann- H ilbert correspondence for p -adic local systems , Invent. Math. 207 (2017), no. 1, 291--343. 3592758

    work page 2017

  40. [40]

    J. S. Milne, Canonical models of (mixed) S himura varieties and automorphic vector bundles , Automorphic forms, S himura varieties, and L -functions, V ol. I ( A nn A rbor, MI , 1988), Perspect. Math., vol. 10, Academic Press, Boston, MA, 1990, pp. 283--414. 1044823

    work page 1988

  41. [41]

    Milne, The points on a S himura variety modulo a prime of good reduction , The zeta functions of P icard modular surfaces, Univ

    James S. Milne, The points on a S himura variety modulo a prime of good reduction , The zeta functions of P icard modular surfaces, Univ. Montr\' e al, Montreal, QC, 1992, pp. 151--253. 1155229

    work page 1992

  42. [42]

    J. S. Milne, Introduction to S himura varieties , Harmonic analysis, the trace formula, and S himura varieties, Clay Math. Proc., vol. 4, Amer. Math. Soc., Providence, RI, 2005, pp. 265--378. 2192012

    work page 2005

  43. [43]

    Ben Moonen, Models of S himura varieties in mixed characteristics , Galois representations in arithmetic algebraic geometry ( D urham, 1996), London Math. Soc. Lecture Note Ser., vol. 254, Cambridge Univ. Press, Cambridge, 1998, pp. 267--350. 1696489

    work page 1996

  44. [44]

    Georgios Pappas, On integral models of S himura varieties , Math. Ann. 385 (2023), no. 3-4, 2037--2097. 4566689

    work page 2023

  45. [45]

    Georgios Pappas and Michael Rapoport , On integral local S himura varieties , arXiv 2204.02829 https://arxiv.org/abs/2204.02829, April 2022

    work page arXiv 2022

  46. [46]

    Georgios Pappas and Michael Rapoport, p -adic shtukas and the theory of global and local S himura varieties , Camb. J. Math. 12 (2024), no. 1, 1--164. 4701491

    work page 2024

  47. [47]

    298, 271--318, Automorphic forms

    Michael Rapoport, A guide to the reduction modulo p of S himura varieties , Ast\' e risque (2005), no. 298, 271--318, Automorphic forms. I. 2141705

    work page 2005

  48. [48]

    , Accessible and weakly accessible period domains, Ann. Sci. \' E c. Norm. Sup\' e r. (4) 51 (2018), no. 4, 811--863, appendix to On the p -adic cohomology of the Lubin--Tate tower by Peter Scholze. 3861564

    work page 2018

  49. [49]

    J. E. Rodr \' guez Camargo , Locally analytic completed cohomology , arXiv 2209.01057 https://arxiv.org/abs/2209.01057, August 2022, p. arXiv:2209.01057

    work page internal anchor Pith review Pith/arXiv arXiv 2022

  50. [50]

    Rapoport and M

    M. Rapoport and M. Richartz, On the classification and specialization of F -isocrystals with additional structure , Compositio Math. 103 (1996), no. 2, 153--181. 1411570

    work page 1996

  51. [51]

    Pi 1 (2013), e1, 77

    Peter Scholze, p -adic H odge theory for rigid-analytic varieties , Forum Math. Pi 1 (2013), e1, 77. 3090230

    work page 2013

  52. [52]

    Peter Scholze , Etale cohomology of diamonds , arXiv 1709.07343 https://arxiv.org/abs/1709.07343, September 2017

    work page internal anchor Pith review Pith/arXiv arXiv 2017

  53. [53]

    The Stacks project authors , The stacks project, https://stacks.math.columbia.edu, 2024

    work page 2024

  54. [54]

    Peter Scholze and Jared Weinstein, Moduli of p -divisible groups , Camb. J. Math. 1 (2013), no. 2, 145--237. 3272049

    work page 2013

  55. [55]

    207, Princeton University Press, Princeton, NJ, 2020

    , Berkeley lectures on p -adic geometry , Annals of Mathematics Studies, vol. 207, Princeton University Press, Princeton, NJ, 2020. 4446467

    work page 2020

  56. [56]

    Yuta Takaya , Moduli spaces of level structures on mixed characteristic local shtukas , arxiv 2402.07135 https://arxiv.org/abs/2402.07135, February 2024

    work page internal anchor Pith review Pith/arXiv arXiv 2024

  57. [57]

    Eva Viehmann , On Newton strata in the B_ dR ^+ -Grassmannian , arXiv 2101.07510 https://arxiv.org/abs/2101.07510, January 2021

    work page arXiv 2021

  58. [58]

    Mingjia Zhang , A PEL-type Igusa Stack and the p -adic Geometry of S himura Varieties , arXiv 2309.05152 https://arxiv.org/abs/2309.05152, September 2023

    work page arXiv 2023

  59. [59]

    Rong Zhou, Mod p isogeny classes on S himura varieties with parahoric level structure , Duke Math. J. 169 (2020), no. 15, 2937--3031

    work page 2020