EKOR and BT stratifications for basic unramified $\mathrm{GU}(1,n-1)$ Rapoport-Zink spaces

Joseph Muller

EKOR and BT stratifications for basic unramified $\mathrm{GU}(1,n-1)$ Rapoport-Zink spaces

T0 review · 0 major / 3 minor · reviewed 2026-07-01 · grok-4.3

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

Pith's one-line read Every basic EKOR stratum on the unramified GU(1,n-1) Rapoport-Zink space is a disjoint union of copies of an explicitly defined fine Deligne-Lusztig variety.

desk verdict This paper gives an explicit description of the basic EKOR strata on these GU(1,n-1) Rapoport-Zink spaces as disjoint unions of fine Deligne-Lusztig varieties, plus some consequences for KR strata and smoothness. read the letter →

arxiv 2606.31940 v1 pith:MBDG3R2V submitted 2026-06-30 math.NT

Joseph Muller This is my paper

classification math.NT

keywords EKORstratificationBruhat-TitsRapoport-ZinkspaceDeligne-LusztigvarietybasiclocusGU(1n-1)parahoriclevelKRstrata

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 connects the Ekedahl-Kottwitz-Oort-Rapoport stratification to the Bruhat-Tits stratification on these Rapoport-Zink spaces at arbitrary parahoric level. It shows that the basic EKOR strata break apart into unions of fine Deligne-Lusztig varieties. This relation lets the author identify which KR strata sit completely inside the basic locus and prove that the closures of some EKOR strata have smooth irreducible components. A sympathetic reader would care because these stratifications describe the geometry of moduli spaces of abelian varieties with extra structure, and the decomposition gives a concrete handle on their basic loci.

What carries the argument

the explicit fine Deligne-Lusztig variety that forms the building block for each basic EKOR stratum via the relation to the Bruhat-Tits stratification

What would settle it

Finding a specific basic EKOR stratum for small n that cannot be expressed as a disjoint union of the described fine Deligne-Lusztig varieties would disprove the claim.

Watch

Extended reading notes

Core claim

Every basic EKOR stratum is a disjoint union of copies of a fine Deligne-Lusztig variety which is explicitly defined. This holds for the unramified GU(1,n-1) Rapoport-Zink space with arbitrary parahoric level, and it relates the EKOR and BT stratifications directly.

Load-bearing premise

The EKOR and BT stratifications on the unramified GU(1,n-1) Rapoport-Zink space with arbitrary parahoric level are defined exactly as in the prior literature, and the basic locus is identified correctly.

Editorial extensions

If this is right

Every basic EKOR stratum decomposes as a disjoint union of copies of a fine Deligne-Lusztig variety.
Which KR strata are entirely contained in the basic locus can be determined.
The irreducible components of the closure of certain EKOR strata are smooth.
The results apply at arbitrary parahoric level.

Reading between the lines

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

Deligne-Lusztig theory could be used to study the cohomology of the basic strata.
The smoothness might help in understanding the singularities of the full Rapoport-Zink space.
This explicit description may extend to other groups or levels.

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.

Desk Editor's Note

read the letter

The main takeaway is that every basic EKOR stratum turns out to be a disjoint union of copies of one explicitly defined fine Deligne-Lusztig variety. From that, the paper also identifies which KR strata lie entirely in the basic locus and shows that the closures of certain EKOR strata have smooth irreducible components.

The explicit identification is the new piece. Earlier papers defined the stratifications and the basic locus in the usual way for this group and level, but this work makes the basic pieces look like Deligne-Lusztig varieties in a direct, usable form. That kind of concrete picture is helpful for anyone who needs to calculate inside these spaces or track their geometry. The KR and smoothness statements follow from the same description, so they come across as straightforward applications rather than separate claims.

The setup matches standard definitions from the literature, with no visible circularity or extra assumptions that would break the argument. The abstract presents the proofs as building on those prior definitions, and the stress-test found no internal inconsistency in the stated relations.

This is narrow work. It will mainly matter to people already studying Rapoport-Zink spaces for unitary groups or EKOR stratifications in the arithmetic geometry of Shimura varieties. Outside that subfield the details are unlikely to carry over.

It deserves a serious referee. The claim is precise, the consequences are stated cleanly, and the result is new for this case. A referee can check the details of the Deligne-Lusztig identification and the smoothness proof without needing to invent new machinery.

Referee Report

0 major / 3 minor

Summary. The paper establishes the relation between the Ekedahl-Kottwitz-Oort-Rapoport (EKOR) stratification and the Bruhat-Tits (BT) stratification on the unramified GU(1,n-1) Rapoport-Zink space with arbitrary parahoric level. It proves that every basic EKOR stratum is a disjoint union of copies of an explicitly defined fine Deligne-Lusztig variety. Consequences include determining which KR strata lie entirely in the basic locus and proving smoothness of the irreducible components of the closures of certain EKOR strata.

Significance. If the central identification holds, the explicit description of basic EKOR strata via fine Deligne-Lusztig varieties supplies a concrete geometric model for the basic locus at arbitrary parahoric level, which strengthens the toolkit for analyzing the geometry and arithmetic of these Rapoport-Zink spaces. The result builds directly on prior definitions of the stratifications without introducing new ad-hoc parameters.

minor comments (3)

[§2.3] §2.3: the statement that the EKOR and BT stratifications coincide on the basic locus would benefit from an explicit citation to the precise theorem in the referenced prior work that justifies the identification at arbitrary parahoric level.
[Definition 4.1] Definition 4.1: the fine Deligne-Lusztig variety is defined via a specific parabolic and Frobenius action; a short remark comparing its dimension or point count to the classical Deligne-Lusztig variety in the same group would aid readability.
[Theorem 5.4] Theorem 5.4: the smoothness claim for the closure of the EKOR stratum is stated for 'certain' strata; listing the precise indices or conditions on the strata in the statement itself would make the result easier to apply.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary and recommendation of minor revision. No major comments are listed in the report, so we have no specific points to address point-by-point. We will incorporate any minor suggestions during revision.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; derivation self-contained on external definitions

full rationale

The paper states that EKOR and BT stratifications are taken exactly as defined in the prior literature, with the basic locus identified by standard means. The central claim (every basic EKOR stratum is a disjoint union of copies of an explicitly defined fine Deligne-Lusztig variety) is presented as a new relation proved from those inputs, not as a re-derivation or fit of the inputs themselves. No self-citation is load-bearing for the uniqueness or definition of the objects; the argument structure does not reduce any prediction or theorem to a tautology or to a parameter fitted from the target data. This matches the default case of an independent derivation built on externally established setup.

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

The paper is a pure mathematics proof in arithmetic geometry. The central claim rests on standard definitions and background results from the theory of Rapoport-Zink spaces, Deligne-Lusztig varieties, and group stratifications; no new free parameters or invented entities are introduced.

assumptions (1)

domain assumption Standard properties of Rapoport-Zink spaces, EKOR and BT stratifications, and Deligne-Lusztig varieties hold as defined in the prior literature.
These background facts are invoked to set up the spaces and strata on which the new relation is proved.

how reviews work

0 comments

Cite this review

Pith. "Pith review of EKOR and BT stratifications for basic unramified $\mathrm{GU}(1,n-1)$ Rapoport-Zink spaces." pith.science (2026). https://pith.science/paper/MBDG3R2V

@misc{pith2026260631940,
  author       = {Pith},
  title        = {Pith review of: EKOR and BT stratifications for basic unramified $\mathrmGU(1,n-1)$ Rapoport-Zink spaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/MBDG3R2V}},
  note         = {Machine review of arXiv:2606.31940}
}

abstract

In this paper, we establish the relation between the Ekedahl-Kottwitz-Oort-Rapoport stratification and the Bruhat-Tits stratification on the unramified $\mathrm{GU}(1,n-1)$ Rapoport-Zink space with arbitrary parahoric level. More precisely, we prove that every basic EKOR stratum is a disjoint union of copies of a fine Deligne-Lusztig variety which is explicitly defined. As a consequence, we also determine which KR strata are entirely contained in the basic locus, and we prove the smoothness of the irreducible components of the closure of certain EKOR strata.

Figures

Figures reproduced from arXiv: 2606.31940 by the authors.

**Figure 1.** The relative local model diagram. where Mxh ε I loc is the π-adic completion of M h ε I loc. Given S P NilpOF˘ and a point pXrts , iXrts , λXrts , ρXrts ; γtq1ďtďs P Nr h ε I pSq, consider the Hodge filtration 0 ÝÑ Fil1DpX rts qS ÝÑ DpX rts qS ÝÑ LiepX rts q ÝÑ 0, and define trt :“ γtpFil1DpXrts qSq Ă Lrt bOF OS for all 1 ď t ď s. The collection ptrt q1ďtďs uniquely extends to a point ptrqrPI` P M h ε I locpSq by se… view at source ↗

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

40 extracted references · 40 canonical work pages

[1]

Bonnaf´ e and R

C. Bonnaf´ e and R. Rouquier,On the irreducibility of Deligne–Lusztig varieties, C. R. Math. 343(2006), no. 1, 37–39

work page 2006
[2]

The basic locus of the unitary Shimura variety with parahoric level structure, and special cycles

S. Cho,The basic locus of the unitary Shimura variety with parahoric level structure, and special cycles, 2018, arXiv:1807.09997 [math.NT]. 72

work page Pith review arXiv 2018
[3]

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), no. 3, 689–727

work page 2001
[4]

G¨ ortz, X

U. G¨ ortz, X. He, and S. Nie,Fully Hodge–Newton Decomposable Shimura Varieties, Peking Math. J.2(2019), no. 2, 99–154

work page 2019
[5]

,Basic loci of Coxeter type with arbitrary parahoric level, Canad. J. Math.76(2024), no. 1, 126–172

work page 2024
[6]

B. H. and G. Pappas,On the supersingular locus of the GU(2,2) Shimura variety, Algebra Number Theory8(2014), no. 7, 1659–1699

work page 2014
[7]

Q. He, Y. Luo, and Y. Shi,The basic locus of ramified unitary Shimura varieties of signature (n-1,1) at maximal vertex level, 2026, arXiv:2502.06218 [math.AG]

work page Pith review arXiv 2026
[8]

He and R

Q. He and R. Zhou,On the basic locus of GSpin Shimura varieties with vertex stabilizer level, 2025, arXiv:2505.08911 [math]

work page Pith review arXiv 2025

Show all 40 references

[9]

He,Kottwitz-Rapoport conjecture on unions of affine Deligne-Lusztig varieties, Ann

X. He,Kottwitz-Rapoport conjecture on unions of affine Deligne-Lusztig varieties, Ann. Sci. ´Ec. Norm. Sup´ er.49(2016), no. 5, 1125–1141

2016
[10]

He and M

X. He and M. Rapoport,Stratifications in the reduction of Shimura varieties, Manuscripta Math.152(2017), no. 3, 317–343

2017
[11]

Hesse,EKOR strata on Shimura varieties with parahoric reduction, 2020, arXiv:2003.04738 [math]

J. Hesse,EKOR strata on Shimura varieties with parahoric reduction, 2020, arXiv:2003.04738 [math]

2020
[12]

Hoff,The EKOR-stratification on the Siegel modular variety with parahoric level structure, Epijournal G´ eom

M. Hoff,The EKOR-stratification on the Siegel modular variety with parahoric level structure, Epijournal G´ eom. Alg´ ebriqueV olume 9(2025), 10263

2025
[13]

Howard and G

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

2017
[14]

Kottwitz,Isocrystals with additional structure

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

1997
[15]

Kottwitz and M

R. Kottwitz and M. Rapoport,Minuscule alcoves for GLn and GSp2n, Manuscripta Math. 102(2000), no. 4, 403–428

2000
[16]

Mihatsch,Relative unitary rz-spaces and the arithmetic fundamental lemma, J

A. Mihatsch,Relative unitary rz-spaces and the arithmetic fundamental lemma, J. Inst. Math. Jussieu21(2022), no. 1, 241–301

2022
[17]

Moonen and T

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

2004
[18]

Muller,The Bruhat-Tits stratification for basic unramified$GU(1,n-1)$Rapoport-Zink spaces at arbitrary parahoric level, 2026, arXiv:2510.00580 [math.NT]

J. Muller,The Bruhat-Tits stratification for basic unramified$GU(1,n-1)$Rapoport-Zink spaces at arbitrary parahoric level, 2026, arXiv:2510.00580 [math.NT]

2026 arXiv
[19]

Oki,Rapoport–Zink spaces for spinor groups with special maximal parahoric level struc- ture, 2020, arXiv:2012.07078 [math.NT]

Y. Oki,Rapoport–Zink spaces for spinor groups with special maximal parahoric level struc- ture, 2020, arXiv:2012.07078 [math.NT]

2020
[20]

1, 263–343

,On supersingular loci of Shimura varieties for quaternionic unitary groups of degree 2, Manuscripta Math.167(2022), no. 1, 263–343

2022
[21]

,On the supersingular locus of the Shimura variety for GU(2,2) over a ramified prime, Internat. J. Math.34(2023), no. 14, 2350094

2023
[22]

Oort,Newton Polygon Strata in the Moduli Space of Abelian Varieties, Moduli of Abelian Varieties (C

F. Oort,Newton Polygon Strata in the Moduli Space of Abelian Varieties, Moduli of Abelian Varieties (C. Faber, G. van der Geer, and F. Oort, eds.), Birkh¨ auser, Basel, 2001, pp. 417– 440

2001
[23]

Faber, G

,A Stratification of a Moduli Space of Abelian Varieties, Moduli of Abelian Varieties (C. Faber, G. van der Geer, and F. Oort, eds.), Birkh¨ auser, Basel, 2001, pp. 345–416

2001
[24]

Smithling,Local models of Shimura va- rieties, I

Georgios Pappas, Michael Rapoport, and Brian D. Smithling,Local models of Shimura va- rieties, I. Geometry and combinatorics, Handbook of Moduli. Vol. III (Gavril Farkas and Ian Morrison, eds.), Advanced Lectures in Mathematics (ALM), vol. 26, International Press, Somerville, ...

2013
[25]

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

2011
[26]

Math.274(2015), no

,F-zips with additional structure, Pacific J. Math.274(2015), no. 1, 183–236. 73

2015
[27]

Rapoport and M

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

1996
[28]

Rapoport, U

M. Rapoport, U. Terstiege, and S. Wilson,The supersingular locus of the Shimura variety for$$\hbox{GU}(1, n-1)$$GU(1,n-1)over a ramified prime, Math. Z.276(2014), no. 3, 1165–1188

2014
[29]

Rapoport and T

M. Rapoport and T. Zink,Period spaces for p-divisible groups, Annals of Mathematics Stud- ies, vol. 141, Princeton University Press, Princeton, NJ, 1996. MR 1393439

1996
[30]

Shen, C.-F

X. Shen, C.-F. Yu, and C. Zhang,EKOR strata for Shimura varieties with parahoric level structure, Duke Math. J.170(2021), no. 14, 3111–3236

2021
[31]

Shen and C

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

2022
[32]

Terakado, J

Y. Terakado, J. Xue, and C.-F. Yu,On the supersingular locus of Shimura varieties for quaternionic unitary groups, 2023, arXiv:2311.18354 [math]

2023
[33]

Viehmann and T

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

2013
[34]

Vollaard,The Supersingular Locus of the Shimura Variety for GU(1, s), Canad

I. Vollaard,The Supersingular Locus of the Shimura Variety for GU(1, s), Canad. J. Math. 62(2010), no. 3, 668–720

2010
[35]

Vollaard and T

I. Vollaard and T. Wedhorn,The supersingular locus of the Shimura variety of GU(1,n–1) II, Invent. Math.184(2011), no. 3, 591–627

2011
[36]

Wang,On the Bruhat–Tits stratification of a quaternionic unitary Rapoport–Zink space, Math

H. Wang,On the Bruhat–Tits stratification of a quaternionic unitary Rapoport–Zink space, Math. Ann.376(2020), no. 3, 1107–1144

2020
[37]

,On the Bruhat-Tits stratification for GU(2,2) type Rapoport-Zink space: unramified case, Ann. Math. Qu´ e.45(2021), no. 1, 19–44

2021
[38]

Wu,The supersingular locus of unitary Shimura varieties with exotic good reduction, 2016, arXiv: 1609.08775

H. Wu,The supersingular locus of unitary Shimura varieties with exotic good reduction, 2016, arXiv: 1609.08775

2016 arXiv
[39]

Zachos and Z

I. Zachos and Z. Zhao,The basic locus of regular ramified unitary Rapoport-Zink spaces at vertex-stabilizer level, 2025, arXiv:2511.05576 [math.NT]

2025
[40]

,The basic locus of unitary splitting Rapoport-Zink spaces with vertex stabilizer level, 2025, arXiv:2510.14497 [math]

2025

Pith tools

Reviewed July 1, 2026 · model on record in the stance chip above.

[1] [1]

Bonnaf´ e and R

C. Bonnaf´ e and R. Rouquier,On the irreducibility of Deligne–Lusztig varieties, C. R. Math. 343(2006), no. 1, 37–39

work page 2006

[2] [2]

The basic locus of the unitary Shimura variety with parahoric level structure, and special cycles

S. Cho,The basic locus of the unitary Shimura variety with parahoric level structure, and special cycles, 2018, arXiv:1807.09997 [math.NT]. 72

work page Pith review arXiv 2018

[3] [3]

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), no. 3, 689–727

work page 2001

[4] [4]

G¨ ortz, X

U. G¨ ortz, X. He, and S. Nie,Fully Hodge–Newton Decomposable Shimura Varieties, Peking Math. J.2(2019), no. 2, 99–154

work page 2019

[5] [5]

,Basic loci of Coxeter type with arbitrary parahoric level, Canad. J. Math.76(2024), no. 1, 126–172

work page 2024

[6] [6]

B. H. and G. Pappas,On the supersingular locus of the GU(2,2) Shimura variety, Algebra Number Theory8(2014), no. 7, 1659–1699

work page 2014

[7] [7]

Q. He, Y. Luo, and Y. Shi,The basic locus of ramified unitary Shimura varieties of signature (n-1,1) at maximal vertex level, 2026, arXiv:2502.06218 [math.AG]

work page Pith review arXiv 2026

[8] [8]

He and R

Q. He and R. Zhou,On the basic locus of GSpin Shimura varieties with vertex stabilizer level, 2025, arXiv:2505.08911 [math]

work page Pith review arXiv 2025