Pith. sign in

REVIEW 1 major objections 38 references

Ekedahl-Oort strata under natural embeddings of orthogonal and unitary Shimura varieties

T0 review · 1 major / 0 minor · reviewed 2026-06-29 · grok-4.3

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read Natural embeddings map Ekedahl-Oort strata of GSpin Shimura varieties to explicit strata in unitary Shimura varieties, with p-ranks and a-numbers computed via Kuga-Satake.

desk verdict This paper gives explicit determinations of EO strata images under GSpin-to-unitary embeddings mod p and computes the associated p-ranks and a-numbers via Kuga-Satake. read the letter →

arxiv 2605.27207 v1 pith:VNPFS6OP submitted 2026-05-26 math.NT math.AG

Yan Qijun , Zhang Chao This is my paper · ORCID
classification math.NTmath.AG
keywords Ekedahl-OortstrataShimuravarietiesGSpingroupsunitaryp-ranka-numberKudlaprogrammodpreduction
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper tracks how Ekedahl-Oort strata transform under the natural embeddings between the good reductions modulo p of GSpin Shimura varieties and Rapoport-Smithling-Zhang unitary Shimura varieties. It identifies the precise target Ekedahl-Oort stratum that contains the image of any given source stratum. It also calculates the p-ranks and a-numbers of the varieties, obtaining the GSpin invariants through the Kuga-Satake embedding. These embeddings arise in the construction of special cycles within the Kudla program, so the stratum mappings supply concrete control over the geometry of the reduced special cycles.

What carries the argument

The natural embeddings between the good reductions modulo p of the GSpin and unitary Shimura varieties, which carry Ekedahl-Oort strata by preserving the underlying group-theoretic or Hodge-theoretic data.

What would settle it

An explicit point on a GSpin Shimura variety whose image under one of the embeddings lands in an Ekedahl-Oort stratum other than the one predicted by the stratum-mapping rule.

Watch

Extended reading notes

Core claim

Under the natural embeddings between the good reductions modulo p of GSpin Shimura varieties and Rapoport-Smithling-Zhang unitary Shimura varieties, the image of each Ekedahl-Oort stratum lies inside a specific, explicitly identified Ekedahl-Oort stratum. The p-ranks and a-numbers of both families of Shimura varieties are computed directly; in the GSpin case the computation proceeds through the Kuga-Satake embedding into a Siegel modular variety.

Load-bearing premise

The natural embeddings between the reductions modulo p preserve the definitions of Ekedahl-Oort strata and the group-theoretic data used to label them.

Editorial extensions

If this is right

  • The image of any Ekedahl-Oort stratum under the embedding lies in a single, explicitly determined target Ekedahl-Oort stratum.
  • The p-ranks of the GSpin and unitary Shimura varieties are given by explicit formulas derived from the embeddings.
  • The a-numbers of the same varieties are likewise given by explicit formulas.
  • In the GSpin case the invariants are recovered from the Kuga-Satake embedding into a Siegel modular variety.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The explicit stratum maps could be used to transport questions about special cycles in the Kudla program from one Shimura variety to another.
  • The computed p-ranks and a-numbers supply a discrete invariant that distinguishes the geometry of the orthogonal and unitary cases after reduction modulo p.
  • Similar group-theoretic arguments might determine stratum behavior under other natural embeddings between Shimura varieties of different types.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

1 major / 0 minor

Summary. The paper studies the behavior of Ekedahl-Oort strata under natural embeddings between the good reductions modulo p of GSpin Shimura varieties and Rapoport-Smithling-Zhang unitary Shimura varieties. In each case, it determines the EO stratum containing the image of a given EO stratum under the embedding. It also computes discrete invariants of these Shimura varieties, including their p-ranks and a-numbers; in the GSpin case these are obtained via the Kuga-Satake embedding.

Significance. If the determinations hold, the explicit mapping of EO strata under the embeddings supplies concrete data useful for the Kudla program and the construction of special cycles. The computation of p-ranks and a-numbers via embeddings and Kuga-Satake provides verifiable discrete invariants for these families of Shimura varieties.

major comments (1)
  1. The central claim rests on the compatibility of the natural embeddings with the definitions of EO strata (preserving the necessary group-theoretic or Hodge-theoretic data). This assumption is load-bearing for the determination of image strata but is not accompanied by an explicit verification or counter-example check in the provided description; a concrete test case in §3 or §4 would strengthen the argument.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and constructive suggestion. We address the single major comment below and will revise the manuscript accordingly.

read point-by-point responses

  1. Referee: The central claim rests on the compatibility of the natural embeddings with the definitions of EO strata (preserving the necessary group-theoretic or Hodge-theoretic data). This assumption is load-bearing for the determination of image strata but is not accompanied by an explicit verification or counter-example check in the provided description; a concrete test case in §3 or §4 would strengthen the argument.

    Authors: We agree that an explicit low-dimensional check would improve readability. The compatibility of the embeddings with the EO stratum definitions is established in the paper by direct comparison of the Hodge filtrations and the associated parabolic subgroups: see the proofs of Theorems 3.5 (GSpin case) and 4.3 (unitary case), which show that the natural maps preserve the required data. To address the referee's request, we will insert a concrete test case (the image of the principal EO stratum under the Kuga-Satake embedding for a 3-dimensional GSpin variety) as a new subsection at the end of §3. This will be included in the revised version. revision: yes

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity

full rationale

The paper determines the EO stratum containing the image of a given EO stratum under natural embeddings between good reductions of GSpin and unitary Shimura varieties, and computes discrete invariants (p-ranks, a-numbers) via these embeddings or the Kuga-Satake embedding. These are presented as explicit case-by-case determinations using group-theoretic and Hodge-theoretic data. No equations, fitted parameters renamed as predictions, self-citations as load-bearing premises, or ansatzes smuggled via prior work are indicated in the provided text. The derivation chain is self-contained against external benchmarks of EO strata theory and does not reduce any central claim to its own inputs by construction.

Assumptions & free parameters 0 free parameters · 0 assumptions · 0 invented entities

No details on free parameters, axioms, or invented entities available from the abstract alone.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Ekedahl-Oort strata under natural embeddings of orthogonal and unitary Shimura varieties." pith.science (2026). https://pith.science/paper/VNPFS6OP

@misc{pith2026260527207,
  author       = {Pith},
  title        = {Pith review of: Ekedahl-Oort strata under natural embeddings of orthogonal and unitary Shimura varieties},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/VNPFS6OP}},
  note         = {Machine review of arXiv:2605.27207}
}
abstract

In this paper, we study the behavior of Ekedahl-Oort strata under natural embeddings between the good reductions modulo $p$ of GSpin Shimura varieties and Rapoport-Smithling-Zhang unitary Shimura varieties, a prototypical setting for the construction of special cycles in the Kudla program. In each case, we determine the EO stratum containing the image of a given EO stratum under the embedding. We also compute discrete invariants of these Shimura varieties, including their $p$-ranks and $a$-numbers; in the GSpin case, these are obtained via the Kuga-Satake embedding.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

38 extracted references · 4 canonical work pages

  1. [1]

    Vila: On pre-training for visual language models.arXiv preprint arXiv:2405.04464, 2024

    Anne, E.; Bhamidipati, D.; Fox, M.; Goodson, H.; Groen, S.; Nair, S.:Ekedahl–Oort strata and the supersingular locus in theGU(𝑞−2,2)Shimura variety. Preprint, 2024.https://arxiv.org/abs/2405.04464

    work page arXiv 2024

  2. [2]

    B¨ ultel, O.; Wedhorn, T.:Congruence relations for Shimura varieties associated to some unitary groups. J. Inst. Math. Jussieu5(2006), no. 2, 229–261. doi:10.1017/S1474748005000253

    work page doi:10.1017/s1474748005000253 2006

  3. [3]

    In: Automorphic Forms, Representations and𝐿-functions, Proc

    Deligne, P.:Vari ´et´es de Shimura: interpr ´etation modulaire, et techniques de construction de mod `eles canoniques. In: Automorphic Forms, Representations and𝐿-functions, Proc. Sympos. Pure Math.33, Part 2, Amer. Math. Soc., Providence, RI, 1979, pp. 247–289

    1979

  4. [4]

    In:Algebra, Arithmetic, and Geometry: In Honor of Yu

    Ekedahl, T.; van der Geer, G.:Cycle classes of the E–O stratification on the moduli of abelian varieties. In:Algebra, Arithmetic, and Geometry: In Honor of Yu. I. Manin. Vol. I, Progr. Math.269, Birkh¨auser, Boston, MA, 2009, pp. 567–636

    2009

  5. [5]

    In:The Arithmetic and Geometry of Algebraic Cycles, Kluwer, Dordrecht, 2000, pp

    van Geemen, B.:Kuga–Satake varieties and the Hodge conjecture. In:The Arithmetic and Geometry of Algebraic Cycles, Kluwer, Dordrecht, 2000, pp. 51–82

    2000

  6. [6]

    Z.; Oort, F.:Stratifications of Hilbert modular varieties

    Goren, E. Z.; Oort, F.:Stratifications of Hilbert modular varieties. J. Algebraic Geom.9(2000), 111–154

    2000

  7. [7]

    Peking Math

    G ¨ortz, U.; He, X.; Nie, S.:Fully Hodge–Newton decomposable Shimura varieties. Peking Math. J.2(2019), no. 2, 99–154

    2019

  8. [8]

    E.:Isocrystals with additional structure

    Kottwitz, R. E.:Isocrystals with additional structure. Compositio Math.56(1985), no. 2, 201–220

    1985

Show all 38 references
  1. [9]

    E.:Isocrystals with additional structure

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

    1997

  2. [10]

    S.:Algebraic cycles on Shimura varieties of orthogonal type

    Kudla, S. S.:Algebraic cycles on Shimura varieties of orthogonal type. Duke Math. J.86(1997), no. 1, 39–78

    1997

  3. [11]

    S.; Rapoport, M.:Arithmetic Hirzebruch–Zagier cycles

    Kudla, S. S.; Rapoport, M.:Arithmetic Hirzebruch–Zagier cycles. J. Reine Angew. Math.515(1999), 155–244

    1999

  4. [12]

    S.; Rapoport, M.:Cycles on Siegel threefolds and derivatives of Eisenstein series

    Kudla, S. S.; Rapoport, M.:Cycles on Siegel threefolds and derivatives of Eisenstein series. Ann. Sci. ´Ec. Norm. Sup ´er. (4)33(2000), no. 5, 695–756

    2000

  5. [13]

    S.; Rapoport, M.:Special cycles on unitary Shimura varieties II: Global theory

    Kudla, S. S.; Rapoport, M.:Special cycles on unitary Shimura varieties II: Global theory. J. Reine Angew. Math.697 (2014), 91–157

    2014

  6. [14]

    Duke Math

    Hamacher, P.:The geometry of Newton strata in the reduction modulo𝑝of Shimura varieties of PEL type. Duke Math. J. 164(2015), no. 15, 2809–2895

    2015

  7. [15]

    Harashita, S.:The𝑎-number stratification on the moduli space of supersingular abelian varieties. J. Pure Appl. Algebra 193(2004), 163–191

    2004

  8. [16]

    He, X.:The𝐺-stable pieces of the wonderful compactification. Trans. Amer. Math. Soc.359(2007), no. 7, 3005–3024

    2007

  9. [17]

    Kisin, M.:Integral models for Shimura varieties of abelian type. J. Amer. Math. Soc.23(2010), no. 4, 967–1012

    2010

  10. [18]

    In:Shimura Varieties, London Math

    Mantovan, E.:The Newton stratification. In:Shimura Varieties, London Math. Soc. Lecture Note Ser.457, Cambridge Univ. Press, Cambridge, 2020, pp. 166–191

    2020

  11. [19]

    In:Moduli of Abelian Varieties, Progr

    Moonen, B.:Group Schemes with Additional Structures and Weyl Group Cosets. In:Moduli of Abelian Varieties, Progr. Math.195, Birkh ¨auser, Basel, 2001, pp. 255–298

    2001

  12. [20]

    Moonen, B.; Wedhorn, T.:Discrete invariants of varieties in positive characteristic. Int. Math. Res. Not.2004(2004), no. 72, 3855–3903

    2004

  13. [21]

    In: Faber, C.; van der Geer, G.; Oort, F

    Oort, F.:A stratification of a moduli space of abelian varieties. In: Faber, C.; van der Geer, G.; Oort, F. (eds.),Moduli of Abelian Varieties(Texel Island, 1999), Progr. Math.195, Birkh ¨auser, Basel, 2001, pp. 345–416

    1999

  14. [22]

    Pink, R.; Wedhorn, T.; Ziegler, P.:Algebraic zip data. Doc. Math.16(2011), 253–300

    2011

  15. [23]

    Pacific J

    Pink, R.; Wedhorn, T.; Ziegler, P.:𝐹-zips with additional structure. Pacific J. Math.274(2015), no. 1, 183–236

    2015

  16. [24]

    Rapoport, M.; Smithling, B.; Zhang, W.:Arithmetic diagonal cycles on unitary Shimura varieties. Compos. Math.156 (2020), no. 9, 1745–1824

    2020

  17. [25]

    Pure Appl

    Rapoport, M.; Smithling, B.; Zhang, W.:On Shimura varieties for unitary groups. Pure Appl. Math. Q.17(2021), no. 2, 773–837. 36 QIJUN YAN AND CHAO ZHANG

    2021

  18. [26]

    Compositio Math.103(1996), no

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

    1996

  19. [27]

    Serre, J.-P.:A Course in Arithmetic. Grad. Texts in Math.7, Springer-Verlag, New York, 1973

    1973

  20. [28]

    A.:Linear Algebraic Groups

    Springer, T. A.:Linear Algebraic Groups. 2nd ed., Progr. Math.9, Birkh ¨auser, Boston, MA, 1998

    1998

  21. [29]

    Shen, X.; Zhang, C.:Stratifications in good reductions of Shimura varieties of abelian type. Asian J. Math.26(2022), no. 2, 167–225

    2022

  22. [30]

    In:Shimura Varieties, London Math

    Viehmann, E.:On the geometry of the Newton stratification. In:Shimura Varieties, London Math. Soc. Lecture Note Ser. 457, Cambridge Univ. Press, Cambridge, 2020, pp. 192–208

    2020

  23. [31]

    Preprint, arXiv:math/0507175, 2005

    Wedhorn, T.:Specialization of𝐹-zips. Preprint, arXiv:math/0507175, 2005

    2005 arXiv

  24. [32]

    M¨ unster J

    Wedhorn, T.:Bruhat strata and𝐹-zips with additional structure. M¨ unster J. Math.7(2014), 529–556

    2014

  25. [33]

    Viehmann, E.; Wedhorn, T.:Ekedahl–Oort and Newton strata for Shimura varieties of PEL type. Math. Ann.356(2013), no. 4, 1493–1550

    2013

  26. [34]

    Vollaard, I.; Wedhorn, T.:The supersingular locus of the Shimura variety ofGU(1, 𝑛−1)II. Invent. Math.184(2011), no. 3, 591–627

    2011

  27. [35]

    Algebra Number Theory17(2023), no

    Wedhorn, T.; Ziegler, P.:Tautological rings of Shimura varieties and cycle classes of Ekedahl–Oort strata. Algebra Number Theory17(2023), no. 4, 923–980

    2023

  28. [36]

    Wooding, A.:The Ekedahl–Oort Stratification of Unitary Shimura Varieties. Ph.D. thesis, McGill University, 2016

    2016

  29. [37]

    Preprint, arXiv:1310.6444, 2013

    Wortmann, D.:The𝜇-ordinary locus for Shimura varieties of Hodge type. Preprint, arXiv:1310.6444, 2013

    2013 arXiv

  30. [38]

    Zhang, C.:Ekedahl–Oort strata for Shimura varieties of Hodge type. Canad. J. Math.70(2018), no. 2, 451–480. Qijun Yan: Hetao Institute of Mathematics and Interdisciplinary Sciences (HIMIS), Shenzhen, 518 017, China Email address:yanqijun@himis-sz.cn Chao Zhang: Qingdao Univers...

    2018

Pith tools

Reviewed June 29, 2026 · model on record in the stance chip above.