pith. sign in

arxiv: 2602.23813 · v2 · pith:RTP74IRRnew · submitted 2026-02-27 · 🧮 math.NT

On p-adic integral moduli schemes and local models for PEL type D

Jie Yang , Ioannis Zachos , Zhihao Zhao This is my paper

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

classification 🧮 math.NT
keywords PEL type Dspin local modelsRapoport-Zink spacesparahoric levelorthogonal similitude groupsp-adic integral modelsflatnessSchubert varieties
0
0 comments X

The pith

Spin local models for even orthogonal similitude groups are flat, normal, and Cohen-Macaulay with reduced special fibers when the residue characteristic exceeds 2.

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

The paper proves that the spin local model attached to an even orthogonal similitude group over a complete discretely valued field with residue characteristic p greater than 2 is flat over the ring of integers for any parahoric level. It further shows that this model is normal and Cohen-Macaulay with a reduced special fiber. These properties are used to construct flat integral moduli schemes of PEL type D and flat orthogonal Rapoport-Zink spaces with parahoric level structure. Additional results establish topological flatness of the naive local model in the quasi-split non-split case and give an explicit regular semi-stable model by blowing up the spin local model along its unique closed Schubert cell in the maximal parahoric case.

Core claim

For an even orthogonal similitude group over a complete discretely valued field of residue characteristic p greater than 2, the associated spin local model at arbitrary parahoric level is flat, normal, Cohen-Macaulay, and has reduced special fiber. This fact yields flat p-adic integral moduli schemes of PEL type D and flat orthogonal Rapoport-Zink spaces. In the quasi-split non-split case the naive local model is topologically flat, and in the maximal parahoric case the Schubert varieties in the special fiber admit a moduli-theoretic description that permits an explicit regular semi-stable model via blow-up along the closed Schubert cell.

What carries the argument

The spin local model, a scheme that approximates the moduli space of abelian varieties with orthogonal similitude structure and parahoric level, whose flatness and singularity properties are established to guarantee the existence of the desired integral models.

If this is right

  • Flat integral moduli schemes of PEL type D exist over p-adic integer rings with arbitrary parahoric level.
  • Flat orthogonal Rapoport-Zink spaces with parahoric level structure can be constructed.
  • The naive local model is topologically flat in the quasi-split but non-split case.
  • Schubert varieties in the special fiber of the maximal parahoric spin local model admit a moduli-theoretic description.
  • An explicit regular semi-stable model is obtained by blowing up the spin local model along its unique closed Schubert cell.

Where Pith is reading between the lines

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

  • The flatness results may support the definition of integral models for related Shimura varieties in the orthogonal case.
  • The blow-up construction could be tested for producing regular models in other PEL types or at non-maximal levels.
  • Point-counting or cohomology computations on these spaces may become accessible through the reduced special fiber.
  • The techniques for proving flatness might extend to similar conjectures for other classical groups when p is odd.

Load-bearing premise

The residue characteristic must be greater than 2, as this hypothesis is required to avoid characteristic-2 pathologies in the orthogonal similitude group and its spin cover.

What would settle it

An explicit even orthogonal similitude group with p greater than 2 and some parahoric level for which the spin local model fails to be flat or has a non-reduced special fiber would disprove the central claim.

read the original abstract

We construct flat integral moduli schemes of PEL type D and the corresponding flat orthogonal Rapoport--Zink spaces with parahoric level structure over a $p$-adic integer ring. The construction relies on proving a conjecture of Pappas--Rapoport: for an even orthogonal similitude group over a complete discretely valued field of residue characteristic $p>2$, and for arbitrary parahoric level, the associated spin local model is flat, normal, Cohen--Macaulay, with reduced special fiber. In the course of the proof, we also show that in the quasi-split but non-split case, the Rapoport--Zink (naive) local model is topologically flat, verifying a conjecture of Pappas--Rapoport--Smithling. In the maximal parahoric case, we also describe the Schubert varieties in the special fiber in moduli-theoretic terms. Finally, for a maximal parahoric case we construct an explicit regular semi-stable model by blowing up the spin local model along the unique closed Schubert cell in its special fiber.

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 constructs flat integral moduli schemes of PEL type D and proves the Pappas-Rapoport conjecture that, for an even orthogonal similitude group over a complete discretely valued field of residue characteristic p>2 and for arbitrary parahoric level, the associated spin local model is flat, normal, Cohen-Macaulay, and has reduced special fiber. It additionally verifies the topological flatness of the naive Rapoport-Zink local model in the quasi-split non-split case, describes Schubert varieties in the special fiber in moduli-theoretic terms for the maximal parahoric case, and constructs an explicit regular semi-stable model by blowing up the spin local model along the unique closed Schubert cell.

Significance. If the central claims hold, the work resolves a longstanding conjecture in the theory of local models for Shimura varieties of PEL type D, supplying flat integral models and explicit geometric descriptions that advance the study of p-adic Rapoport-Zink spaces and their special fibers. The reduction to the quasi-split case and the blow-up construction provide concrete tools with potential applications to deformation theory and arithmetic geometry of orthogonal groups.

minor comments (2)
  1. [§1] §1 (Introduction): the statement of the Pappas-Rapoport conjecture could include a precise reference to the original formulation (including the page or theorem number in the cited work) to aid readers.
  2. [§3] The notation for the spin cover and the parahoric subgroups in the quasi-split case is introduced without an explicit comparison table to the split case; adding one would clarify the reduction step used for topological flatness.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful summary of our work and for the positive recommendation of minor revision. We are pleased that the manuscript is recognized as resolving the Pappas-Rapoport conjecture on flatness, normality, and Cohen-Macaulayness of spin local models for PEL type D, along with the related results on topological flatness and the blow-up construction. Since the report lists no specific major comments, we have no point-by-point rebuttals to major issues. Any minor suggestions will be incorporated in the revised version.

Circularity Check

0 steps flagged

No circularity; proof proceeds from standard definitions and external conjectures

full rationale

The manuscript constructs the integral moduli scheme and spin local model from the definition of the even orthogonal similitude group and its spin cover, then establishes flatness, normality, Cohen-Macaulayness and reduced special fiber by deformation-theoretic arguments and explicit blow-up descriptions. These steps rely on standard properties of algebraic groups and local models rather than any fitted parameters, self-referential definitions, or load-bearing self-citations. The central result is a proof of the Pappas-Rapoport conjecture (with an auxiliary verification of the Pappas-Rapoport-Smithling conjecture), not a renaming or reduction of prior inputs by construction. No equation or claim collapses to its own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claims rest on standard axioms of algebraic geometry and the theory of reductive groups over local fields, plus the domain assumption p>2; no free parameters or new entities are introduced.

axioms (2)
  • standard math Standard properties of parahoric subgroups and spin covers of orthogonal groups over discretely valued fields
    Used to define the local models and their special fibers.
  • domain assumption Residue characteristic p>2
    Required to avoid characteristic-2 issues in the orthogonal similitude group and its spin representation.

pith-pipeline@v0.9.0 · 5485 in / 1278 out tokens · 35038 ms · 2026-05-15T19:05:28.947993+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

35 extracted references · 35 canonical work pages · 1 internal anchor

  1. [1]

    [BH20] Oliver B¨ ultel and Mohammad Hadi Hedayatzadeh

    J. Ansch¨ utz, I. Gleason, J. Louren¸ co, T. Richarz,On thep-adic theory of local models, to appear inAnn. of Math. (2); preprint arXiv:2201.01234 (2022)

    work page arXiv 2022

  2. [2]

    C.-L. Chai, P. Norman,Bad reduction of the Siegel moduli scheme of genus two withΓ 0(p)- level structure,Amer. J. Math.112(1990), no. 6, 1003–1071

    work page 1990

  3. [3]

    Deligne, G

    P. Deligne, G. Pappas,Singularit´ es des espaces de modules de Hilbert, en les caract´ eristiques divisant le discriminant,Compositio Math.90(1994), 59–79

    work page 1994

  4. [4]

    de Jong,The moduli spaces of principally polarized abelian varieties withΓ 0(p)-level struc- ture,J

    J. de Jong,The moduli spaces of principally polarized abelian varieties withΓ 0(p)-level struc- ture,J. Algebraic Geom.2(1993), 667–688

    work page 1993

  5. [5]

    de Jong,Smoothness, semi-stability and alterations,Publ

    J. de Jong,Smoothness, semi-stability and alterations,Publ. Math. Inst. Hautes ´Etudes Sci. 83(1996), 51–93

    work page 1996

  6. [6]

    R. S. Elman, N. Karpenko, A. Merkurjev,The algebraic and geometric theory of quadratic forms, Amer. Math. Soc., Providence, RI, 2008

    work page 2008

  7. [7]

    Fakhruddin, T

    N. Fakhruddin, T. Haines, J. Louren¸ co, T. Richarz,Singularities of local models,Math. Ann. 391(2025), no. 4, 6205–6250

    work page 2025

  8. [8]

    G¨ ortz,On the flatness of models of certain Shimura varieties of PEL-type,Math

    U. G¨ ortz,On the flatness of models of certain Shimura varieties of PEL-type,Math. Ann. 321(2001), 689–727

    work page 2001

  9. [9]

    G¨ ortz,On the flatness of local models for the symplectic group,Adv

    U. G¨ ortz,On the flatness of local models for the symplectic group,Adv. Math.176(2003), 89–115

    work page 2003

  10. [10]

    Haines, M

    T. Haines, M. Rapoport,Appendix: On parahoric subgroups,Adv. Math.219(2008), no. 1, 188–198

    work page 2008

  11. [11]

    Haines, X

    T. Haines, X. He,Vertexwise criteria for admissibility of alcoves,Amer. J. Math.139(2017), no. 3, 769–784

    work page 2017

  12. [12]

    Haines, T

    T. Haines, T. Richarz,Normality and Cohen–Macaulayness of parahoric local models,J. Eur. Math. Soc. (JEMS)25(2022), no. 2, 703–729

    work page 2022

  13. [13]

    U. T. Hartl,Semi-stability and base change,Arch. Math. (Basel)77(2001), 215–221. 41

    work page 2001

  14. [14]

    X. He, G. Pappas, M. Rapoport,Good and semi-stable reductions of Shimura varieties,J. ´E c. polytech. Math.7(2020), 497–571

    work page 2020

  15. [15]

    Howard, G

    B. Howard, G. Pappas,Rapoport–Zink spaces for spinor groups,Compos. Math.153(2017), no. 5, 1050–1118

    work page 2017

  16. [16]

    Koll´ ar,Flatness criteria,J

    J. Koll´ ar,Flatness criteria,J. Algebra175(1995), no. 2, 715–727

    work page 1995

  17. [17]

    Kottwitz,Isocrystals with additional structure

    R. Kottwitz,Isocrystals with additional structure. II,Compositio Math.109(1997), no. 3, 255–339

    work page 1997

  18. [18]

    Levin,Local models for Weil-restricted groups,Compos

    B. Levin,Local models for Weil-restricted groups,Compos. Math.152(2016), no. 12, 2563– 2601

    work page 2016

  19. [19]

    Louren¸ co,Grassmanniennes affines tordues sur les entiers,Forum Math

    J. Louren¸ co,Grassmanniennes affines tordues sur les entiers,Forum Math. Sigma11(2023), Paper No. e12, 65 pp

    work page 2023

  20. [20]

    Luo,On the moduli description of ramified unitary local models of signature(n−1,1), Math

    Y. Luo,On the moduli description of ramified unitary local models of signature(n−1,1), Math. Ann.392(2025), no. 4, 4661–4738

    work page 2025

  21. [21]

    Pappas,On the arithmetic moduli schemes of PEL Shimura varieties,J

    G. Pappas,On the arithmetic moduli schemes of PEL Shimura varieties,J. Algebraic Geom. 9(2000), 577–605

    work page 2000

  22. [22]

    Pappas, M

    G. Pappas, M. Rapoport,Local models in the ramified case. III. Unitary groups,J. Inst. Math. Jussieu8(2009), no. 3, 507–564

    work page 2009

  23. [23]

    Pappas, M

    G. Pappas, M. Rapoport, B. Smithling,Local models of Shimura varieties, I. Geometry and combinatorics, inHandbook of moduli. Vol. III, Adv. Lect. Math. (ALM), vol. 26, Int. Press, Somerville, MA, 2013, pp. 135–217

    work page 2013

  24. [24]

    Pappas, X

    G. Pappas, X. Zhu,Local models of Shimura varieties and a conjecture of Kottwitz,Invent. Math.194(2013), no. 1, 147–254

    work page 2013

  25. [25]

    Pappas, I

    G. Pappas, I. Zachos,Regular integral models for Shimura varieties of orthogonal type,Com- pos. Math.158(2022), no. 4, 831–867

    work page 2022

  26. [26]

    Rapoport, T

    M. Rapoport, T. Zink,Period spaces forp–divisible groups, Annals of Mathematics Studies, vol. 141, Princeton Univ. Press, Princeton, NJ, 1996

    work page 1996

  27. [27]

    Rapoport, E

    M. Rapoport, E. Viehmann,Towards a theory of local Shimura varieties,M¨ unster J. Math. 7(2014), no. 1, 273–326

    work page 2014

  28. [28]

    Scholze, J

    P. Scholze, J. Weinstein,Berkeley lectures onp-adic geometry, Annals of Mathematics Stud- ies, vol. 207, Princeton Univ. Press, Princeton, NJ, 2020

    work page 2020

  29. [29]

    Smithling,Topological flatness of orthogonal local models in the split, even case

    B. Smithling,Topological flatness of orthogonal local models in the split, even case. I,Math. Ann.350(2011), no. 2, 381–416

    work page 2011

  30. [30]

    Smithling,On the moduli description of local models for ramified unitary groups,Int

    B. Smithling,On the moduli description of local models for ramified unitary groups,Int. Math. Res. Not. IMRN(2015), no. 24, 13493–13532

    work page 2015

  31. [31]

    Stacks Project Authors,The Stacks Project,https://stacks.math.columbia.edu, accessed 20 Jan 2026

    work page 2026

  32. [32]

    Tits,Reductive groups over local fields, inAutomorphic forms, representations andL- functions, Proc

    J. Tits,Reductive groups over local fields, inAutomorphic forms, representations andL- functions, Proc. Sympos. Pure Math., vol. 33, Part 1, Amer. Math. Soc., Providence, RI, 1979, pp. 29–69

    work page 1979

  33. [33]

    Yang,Topological flatness of orthogonal spin local models, arXiv:2512.16646 (2025)

    J. Yang,Topological flatness of orthogonal spin local models, arXiv:2512.16646 (2025)

    work page arXiv 2025

  34. [34]

    On the flatness of spin local models for split even orthogonal groups

    J. Yang,On the flatness of spin local models for split even orthogonal groups, arXiv:2512.16704 (2025)

    work page internal anchor Pith review Pith/arXiv arXiv 2025

  35. [35]

    Zachos,On orthogonal local models of Hodge type,Int

    I. Zachos,On orthogonal local models of Hodge type,Int. Math. Res. Not. IMRN2023 (2023), no. 13, 10799–10836. Yau Mathematical Sciences Center, Tsinghua University, Beijing, 100084, China E-mail address:jie-yang@mail.tsinghua.edu.cn Department of Mathematics, Universit ¨at M ¨unster, M ¨unster, 48149, Germany E-mail address:io.zachos@uni-muenster.de Depar...

    work page 2023