pith. sign in

arxiv: 2206.07470 · v4 · pith:SLDFHETYnew · submitted 2022-06-15 · 🧮 math.AG

The EKOR-stratification on the Siegel modular variety with parahoric level structure

Manuel Hoff This is my paper

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

classification 🧮 math.AG
keywords Siegel modular varietyEKOR stratificationparahoric level structuretruncated displayshomogeneous polarizationalgebraic stackmod p reduction
0
0 comments X

The pith

The EKOR-stratification on the Siegel modular variety with parahoric level structure arises as the fibers of a smooth morphism to an algebraic stack of homogeneously polarized chains of truncated displays.

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

The paper examines the geometry of the reduction modulo p of Siegel modular varieties equipped with parahoric level structure. It builds an algebraic stack whose points classify chains of truncated displays that carry a homogeneous polarization. A smooth morphism is then defined from the modular variety into this stack. The fibers of the morphism recover exactly the EKOR strata. This supplies a moduli-theoretic description of the stratification in the parahoric setting.

Core claim

The EKOR-stratification on the reduction modulo p of the Siegel modular variety with parahoric level structure is realized as the fibers of a smooth morphism into an algebraic stack parametrizing homogeneously polarized chains of certain truncated displays.

What carries the argument

The algebraic stack parametrizing homogeneously polarized chains of truncated displays, which receives the smooth morphism whose fibers are the EKOR strata.

If this is right

  • The EKOR strata are realized geometrically as fibers, so their local structure is controlled by the smoothness of the morphism.
  • The construction applies uniformly across parahoric level structures.
  • The stack supplies a moduli interpretation that classifies points according to their EKOR type via display data.
  • The stratification is compatible with the reduction map from the integral model to the mod p variety.

Where Pith is reading between the lines

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

  • Analogous stratifications on other PEL-type Shimura varieties may admit similar descriptions using chains of truncated displays.
  • The stack could be used to compute dimensions or closure relations among the strata by studying the geometry of the target.
  • The approach may allow comparison between EKOR strata and other known stratifications defined via displays or Dieudonné modules.

Load-bearing premise

The theory of truncated displays with homogeneous polarization extends compatibly to the parahoric level structure so that the resulting stack is algebraic and the morphism is smooth with the stated fibers.

What would settle it

An explicit point on the Siegel modular variety where the associated display chain fails to lie in the expected EKOR stratum, or where the morphism to the stack ceases to be smooth.

read the original abstract

We study the arithmetic geometry of the reduction modulo $p$ of the Siegel modular variety with parahoric level structure. We realize the EKOR-stratification on this variety as the fibers of a smooth morphism into an algebraic stack parametrizing homogeneously polarized chains of certain truncated displays.

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 / 1 minor

Summary. The paper studies the arithmetic geometry of the reduction modulo p of the Siegel modular variety with parahoric level structure. It realizes the EKOR-stratification on this variety as the fibers of a smooth morphism into an algebraic stack parametrizing homogeneously polarized chains of certain truncated displays.

Significance. If the central claim holds, the result supplies a geometric realization of the EKOR stratification via a smooth morphism to an algebraic stack of homogeneously polarized truncated-display chains. This framework could strengthen the understanding of stratifications on parahoric-level Shimura varieties and their reductions, particularly if the algebraicity and smoothness are established without additional parameters.

minor comments (1)
  1. [Abstract] The abstract is concise but does not indicate the specific parahoric level (e.g., hyperspecial or Iwahori) or the dimension of the Siegel variety under consideration.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for reviewing our manuscript on the EKOR-stratification. The provided summary accurately reflects the main result. No specific major comments appear under the 'MAJOR COMMENTS' section of the report, so there are no individual points to address. We maintain that the algebraicity and smoothness claims are established in the paper without additional parameters.

Circularity Check

0 steps flagged

No circularity in provided text; derivation not shown to reduce to inputs

full rationale

The abstract and reader's summary present a geometric realization (EKOR-stratification as fibers of a smooth morphism to an algebraic stack of polarized truncated displays) without any equations, fitted parameters, or explicit derivation chain. No self-definitional steps, fitted inputs called predictions, or load-bearing self-citations appear. The weakest assumption isolates an extension of display theory, but this is stated as a hypothesis rather than derived circularly from the result. Per rules, absent quoted reductions or equations that collapse by construction, the finding is no significant circularity (score 0). Full manuscript inspection would be needed to confirm independence from external benchmarks, but the given content is self-contained against the listed circularity patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

Review is based solely on the abstract; the full construction of the stack and morphism is not visible.

axioms (2)
  • domain assumption The EKOR-stratification is already defined on the Siegel modular variety with parahoric level structure.
    The paper studies its realization, so the prior definition is presupposed.
  • domain assumption Truncated displays with homogeneous polarization form an algebraic stack when applied to the parahoric case.
    The target of the morphism is asserted to be an algebraic stack.
invented entities (1)
  • Algebraic stack parametrizing homogeneously polarized chains of certain truncated displays no independent evidence
    purpose: Serves as the target space whose fibers recover the EKOR-stratification via a smooth morphism.
    The abstract introduces this stack as the geometric object realizing the stratification.

pith-pipeline@v0.9.0 · 5558 in / 1364 out tokens · 27909 ms · 2026-05-24T12:11:48.920889+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

8 extracted references · 8 canonical work pages · 2 internal anchors

  1. [1]

    [BH20] Oliver B¨ ultel and Mohammad Hadi Hedayatzadeh

    eprint: arXiv:2201.01234. [BH20] Oliver B¨ ultel and Mohammad Hadi Hedayatzadeh. ( G,µ )-Windows and Deformations of (G,µ )- Displays

    work page arXiv

  2. [2]

    REFERENCES 35 [BP18] Oliver B¨ ultel and Georgios Pappas

    eprint: arXiv:2011.09163. REFERENCES 35 [BP18] Oliver B¨ ultel and Georgios Pappas. ( G,µ )-displays and Rapoport-Zink spaces . Journal of the Institute of Mathematics of Jussieu 19 (2018), pp. 1211–1257. [BS17] Bhargav Bhatt and Peter Scholze. Projectivity of the Witt vector affine Grassmannian . Inven- tiones Mathematicae 209.2 (2017), pp. 329–423. [Dan] ...

    work page arXiv 2011

  3. [3]

    [HR15] Xuhua He and Michael Rapoport

    eprint: arXiv:2003.04738. [HR15] Xuhua He and Michael Rapoport. Stratifications in the reduction of Shimura varieties. manuscripta mathematica 152 (2015), pp. 317–343. [Jon93] Aise Johan de Jong. The moduli spaces of principally polarized abelian varieti es with Γ0(p)-level structure. Journal of Algebraic Geometry 2 (1993), pp. 667–688. [Kis10] Mark Kisin....

    work page arXiv 2003

  4. [4]

    Discrete invariants of varieties in positive characterist ic

    [MW04] Ben Moonen and Torsten Wedhorn. Discrete invariants of varieties in positive characterist ic. International Mathematics Research Notices 2004 (2004), pp. 3855–3903. [Oda69] Tadao Oda. The first de Rham cohomology group and Dieudonn´ e modules. Annales scientifiques de l’ ´Ecole Normale Sup´ erieure2 (1969), pp. 63–135. [Oor01] Frans Oort. A Stratifica...

    work page 2004

  5. [5]

    Foliations in moduli spaces of abelian varieties

    [Oor02] Frans Oort. Foliations in moduli spaces of abelian varieties . Journal of the American Mathemat- ical Society 17 (2002), pp. 267–296. [Pap22] Georgios Pappas. On integral models of Shimura varieties . Mathematische Annalen (2022). [PWZ15] Richard Pink, Torsten Wedhorn, and Paul Ziegler. F -zips with additional structure . Pacific Journal of Mathema...

    work page 2002

  6. [6]

    EKOR strata for Shimura varieties with parahoric level structure

    [SYZ21] Xu Shen, Chia-Fu Yu, and Chao Zhang. EKOR strata for Shimura varieties with parahoric level structure. Duke Mathematical Journal 170 (2021), pp. 3111–3236. [SZ17] Xu Shen and Chao Zhang. Stratifications in good reductions of Shimura varieties of a belian type

    work page 2021

  7. [7]

    Ekedahl-Oort strata for good reductions of Shimura varieties of Hodge type

    eprint: arXiv:1312.4869. [Vas08] Adrian Vasiu. Level m stratifications of versal deformations of p-divisible groups . Journal of Algebraic Geometry 17 (2008), pp. 599–641. [VW10] Eva Viehmann and Torsten Wedhorn. Ekedahl-Oort and Newton strata for Shimura varieties of PEL type . Mathematische Annalen 356 (2010), pp. 1493–1550. [XZ17] Liang Xiao and Xinwen ...

    work page internal anchor Pith review Pith/arXiv arXiv 2008

  8. [8]

    Cycles on Shimura varieties via geometric Satake

    eprint: arXiv:1707.05700. [Zha18] Chao Zhang. Ekedahl-Oort Strata for Good Reductions of Shimura Varieti es of Hodge Type . Canadian Journal of Mathematics 70 (2018), pp. 451–480. [Zin02] Thomas Zink. The display of a formal p-divisible group. Cohomologies p-adiques et applications arithm´ etiques (I). Ed. by Pierre Berthelot, Jean-Marc Fontaine, Luc Illu...

    work page internal anchor Pith review Pith/arXiv arXiv 2018