pith. sign in

arxiv: 2512.16704 · v2 · pith:GZ4Q5OZ7new · submitted 2025-12-18 · 🧮 math.NT

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

Jie Yang This is my paper

Pith reviewed 2026-05-16 21:16 UTC · model grok-4.3

classification 🧮 math.NT
keywords spin local modelsorthogonal similitude groupsflatnessparahoric level structuresPappas-Rapoport conjecturePEL moduli spacesreduced special fibers
0
0 comments X

The pith

Spin local models for the split orthogonal similitude group GO_{2n} are flat O-schemes with reduced special fibers for any parahoric level structure.

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 models attached to the split group G equal to GO_{2n} over a complete discretely valued field F with residue characteristic p greater than 2 remain flat as schemes over the ring of integers O. This flatness holds no matter which parahoric level structure is chosen, and the special fibers are reduced. The result settles a conjecture of Pappas and Rapoport in the split case. It also yields a flat integral moduli space of PEL type D as a direct consequence.

Core claim

For any parahoric level structure, the associated spin local model for G=GO_{2n} is a flat O-scheme with reduced special fiber. This confirms a conjecture of Pappas and Rapoport in the split case. As a corollary, we construct a flat integral moduli space of PEL-type D.

What carries the argument

The spin local model, a moduli scheme for lattices with spinor data attached to the orthogonal similitude group at parahoric level.

If this is right

  • The spin local models remain flat for every choice of parahoric level structure.
  • The special fibers of these models are reduced schemes.
  • A flat integral moduli space of PEL type D exists as a corollary of the flatness result.
  • The result applies uniformly in the split case for GO_{2n}.

Where Pith is reading between the lines

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

  • This flatness may simplify the construction of integral models for Shimura varieties attached to orthogonal groups.
  • The reduced special fibers could make the geometry of reductions easier to compute explicitly in low-rank cases.
  • Similar flatness statements might be testable for nearby groups such as symplectic similitude groups using parallel techniques.

Load-bearing premise

The orthogonal similitude group G is split over the complete discretely valued field F with residue characteristic greater than 2.

What would settle it

An explicit parahoric subgroup for which the corresponding spin local model is non-flat over O or has a non-reduced special fiber would disprove the claim.

read the original abstract

Let $F$ be a complete discretely valued field with ring of integers $\mathcal{O}$ and residue field of characteristic $p>2$. Let $G=\operatorname{GO}_{2n}$ denote the split orthogonal similitude group over $F$. For any parahoric level structure, we prove that the associated spin local model for $G$ is a flat $\mathcal{O}$-scheme with reduced special fiber. This confirms a conjecture of Pappas and Rapoport in the split case. As a corollary, we construct a flat (integral) moduli space of PEL-type D.

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 paper proves that for the split even orthogonal similitude group G = GO_{2n} over a complete discretely valued field F with residue field of characteristic p > 2, the spin local model attached to any parahoric level structure is a flat O-scheme whose special fiber is reduced. The argument reduces the construction to an explicit description via the spinor norm and the Bruhat-Tits building, verifies flatness by direct computation of the defining equations, and establishes reducedness by showing that the special fiber is a union of smooth Schubert varieties with no embedded components. As a corollary, the authors obtain a flat integral moduli space of PEL type D. This confirms the Pappas-Rapoport conjecture in the split case.

Significance. If the result holds, it supplies a self-contained verification of flatness and reducedness for spin local models in the split even orthogonal case, advancing the theory of local models for groups of type D and enabling the construction of flat integral models for the associated Shimura varieties. The explicit reduction to the Bruhat-Tits building and direct verification of the equations, rather than reliance on prior fitted quantities, strengthens the contribution. The corollary on the PEL moduli space is a direct and useful consequence.

minor comments (2)
  1. The notation for the spinor norm map and its compatibility with the parahoric subgroups could be recalled explicitly in the introduction for readers less familiar with the orthogonal case.
  2. In the statement of the main theorem, it would help to include a brief reminder of the precise definition of the spin local model (e.g., as a closed subscheme of a Grassmannian or via the spinor norm condition) rather than referring only to the general construction.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript and for recommending acceptance. We appreciate the recognition of the result as a self-contained verification of flatness and reducedness for spin local models in the split even orthogonal case.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The manuscript states a direct theorem proving flatness and reduced special fiber for spin local models of split GO_{2n} via explicit description from the spinor norm and Bruhat-Tits building, followed by direct computation of defining equations and verification that the special fiber is a union of smooth Schubert varieties. No steps reduce by construction to fitted inputs, self-definitions, or load-bearing self-citations; the argument relies on standard Bruhat-Tits theory and external conjectures of Pappas-Rapoport without circular reduction. The central claim has independent content from the stated assumptions (p>2, split group).

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The result rests on standard domain assumptions in the theory of reductive groups over local fields and the definition of spin local models; no free parameters or invented entities are introduced in the abstract.

axioms (2)
  • domain assumption G is the split even orthogonal similitude group GO_{2n} over F
    Setup of the group and field in the statement of the theorem.
  • domain assumption Residue characteristic p > 2
    Explicit hypothesis required for the flatness statement.

pith-pipeline@v0.9.0 · 5381 in / 1334 out tokens · 40060 ms · 2026-05-16T21:16:22.024093+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 1 Pith paper

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

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

    math.NT 2026-02 unverdicted novelty 8.0

    Proves flatness and related properties of spin local models for PEL type D and constructs flat orthogonal Rapoport-Zink spaces with parahoric level.

Reference graph

Works this paper leans on

23 extracted references · 23 canonical work pages · cited by 1 Pith paper

  1. [1]

    G. Cliff. A basis of bideterminants for the coordinate ring of the orthogonal group . Communications in Algebra, 36(7):2719--2749, 2008

    work page 2008

  2. [2]

    Caracciolo, A

    S. Caracciolo, A. D. Sokal, and A. Sportiello. Algebraic/combinatorial proofs of Cayley-type identities for derivatives of determinants and pfaffians . Advances in Applied Mathematics, 50(4):474--594, 2013

    work page 2013

  3. [3]

    Symplectic standard tableaux

    Corrado De Concini. Symplectic standard tableaux . Advances in Mathematics, 34(1):1--27, 1979

    work page 1979

  4. [4]

    Fakhruddin, T

    N. Fakhruddin, T. Haines, J. Louren c o, and T. Richarz. Singularities of local models . Mathematische Annalen, 391(4):6205--6250, 2025

    work page 2025

  5. [5]

    G \"o rtz

    U. G \"o rtz. On the flatness of models of certain Shimura varieties of PEL-type . Mathematische Annalen, 321(3):689--727, 2001

    work page 2001

  6. [6]

    G \"o rtz

    U. G \"o rtz. On the flatness of local models for the symplectic group . Advances in Mathematics, 176(1):89--115, 2003

    work page 2003

  7. [7]

    X. He, G. Pappas, and M. Rapoport. Good and semi-stable reductions of Shimura varieties . Journal de l’ \'E cole polytechnique—Math \'e matiques, 7:497--571, 2020

    work page 2020

  8. [8]

    R. C. King and T. A. Welsh. Construction of orthogonal group modules using tableaux . Linear and Multilinear Algebra, 33(3-4):251--283, 1992

    work page 1992

  9. [9]

    K. Lan. Arithmetic compactifications of PEL -type Shimura varieties , volume 36 of London Mathematical Society Monographs Series . Princeton, NJ: Princeton University Press, 2013

    work page 2013

  10. [10]

    Y. Luo. On the moduli description of ramified unitary local models of signature (n-1, 1) . Mathematische Annalen, pages 1--78, 2025

    work page 2025

  11. [11]

    G. Pappas. On the arithmetic moduli schemes of PEL Shimura varieties . Journal of Algebraic Geometry, 9(3):577, 2000

    work page 2000

  12. [12]

    Pappas and M

    G. Pappas and M. Rapoport . Twisted loop groups and their affine flag varieties. With an appendix by T. Haines and M. Rapoport. Advances in Mathematics , 219(1):118--198, 2008

    work page 2008

  13. [13]

    Pappas and M

    G. Pappas and M. Rapoport. Local models in the ramified case. III Unitary groups . Journal of the Institute of Mathematics of Jussieu, 8(3):507--564, 2009

    work page 2009

  14. [14]

    Prasolov

    V. Prasolov. Problems and theorems in linear algebra , volume 134. American Mathematical Soc., 1994

    work page 1994

  15. [15]

    Rapoport and T

    M. Rapoport and T. Zink. Period spaces for p-divisible groups . Annals of Mathematics Studies, Volume 141. Princeton University Press, 1996

    work page 1996

  16. [16]

    Smithling

    B. Smithling. Topological flatness of orthogonal local models in the split, even case. I . Mathematische Annalen, 350(2):381--416, 2011

    work page 2011

  17. [17]

    Smithling

    B. Smithling. On the moduli description of local models for ramified unitary groups . International Mathematics Research Notices, 2015(24):13493--13532, 2015

    work page 2015

  18. [18]

    The Stacks project

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

    work page 2025

  19. [19]

    Scholze and J

    P. Scholze and J. Weinstein. Berkeley lectures on \(p\) -adic geometry , volume 207 of Annals of Mathematics Studies . Princeton, NJ: Princeton University Press, 2020

    work page 2020

  20. [20]

    Topological flatness of orthogonal spin local models

    Jie Yang. Topological flatness of orthogonal spin local models

    work page

  21. [21]

    S. Yu. On Moduli Description of Local Models For Ramified Unitary Groups and Resolution of Singularity . PhD thesis, Johns Hopkins University, 2019

    work page 2019

  22. [22]

    C.-F. Yu. On reduction of moduli schemes of abelian varieties with definite quaternion multiplications . In Annales de l'Institut Fourier , volume 71, pages 539--613, 2021

    work page 2021

  23. [23]

    I. Zachos. On orthogonal local models of Hodge type . International Mathematics Research Notices, 2023(13):10799--10836, 2023

    work page 2023