The basic locus of unitary splitting Rapoport-Zink spaces with vertex stabilizer level

Basic Information

• Paper ID: 2510.14497
• Title: The basic locus of unitary splitting Rapoport-Zink spaces with vertex stabilizer level
• Authors: I. Zachos, Z. Zhao
• Classification: math.NT (Number Theory), math.AG (Algebraic Geometry)
• Submission Date: October 16, 2025 to arXiv
• Paper Link: https://arxiv.org/abs/2510.14497

Abstract

This paper constructs the Bruhat-Tits stratification of ramified unitary splitting Rapoport-Zink spaces, where the strata are given by stabilizers of vertex lattices. To determine certain local properties of the Bruhat-Tits stratification, the authors develop the theory of stratified split models. To study their global structure, the authors establish explicit isomorphisms between the Bruhat-Tits stratification and certain (modified) Deligne-Lusztig varieties.

Research Background and Motivation

Problem Background

1. Integral Model Theory of Shimura Varieties: This research belongs to an important branch of integral model theory for Shimura varieties, particularly focusing on the basic locus of Rapoport-Zink (RZ) spaces.
2. Applications: The study of the basic locus has important applications in number theory, including:
   • Kudla-Rapoport conjecture: relating arithmetic intersection numbers of special cycles on Shimura varieties to Eisenstein series
   • Arithmetic Gan-Gross-Prasad conjecture
   • Arithmetic fundamental lemma conjecture and arithmetic transfer conjecture
3. Existing Research:
   • Orthogonal case: Howard-Pappas studied the self-dual case, Oki studied the almost self-dual case, He-Zhou generalized to all maximal level structures
   • Unitary group case: Vollaard et al. studied supersingular levels at inert primes, Cho generalized to all maximal parahoric levels, Muller studied arbitrary parahoric levels
   • Ramified case: Rapoport-Terstiege-Wilson studied self-dual levels, Wu studied singular smooth cases, He-Luo-Shi generalized to all maximal vertex levels

Research Motivation

1. Theoretical Completeness: Existing research on the ramified unitary case has focused on specific types of level structures; this paper aims to provide a complete description for arbitrary maximal vertex lattices.
2. Technical Innovation: Develops the theory of stratified split models to provide tools for studying higher-dimensional cases.
3. Geometric Understanding: Through isomorphisms with Deligne-Lusztig varieties, deepens understanding of the geometric structure of BT stratifications.

Core Contributions

1. Constructed Complete Bruhat-Tits Stratification: For split RZ spaces with arbitrary maximal vertex lattice stabilizer levels, provides a complete BT stratification of the reduced basic locus.
2. Developed Theory of Stratified Split Models: Introduces stratified split models defined by purely linear algebraic data, proves that BT stratifications are étale-locally isomorphic to these models.
3. Established Explicit Isomorphisms with Deligne-Lusztig Varieties:
   • Z^spl stratification is isomorphic to modified symplectic Deligne-Lusztig variety S'_Λ
   • Y^spl stratification is isomorphic to modified orthogonal Deligne-Lusztig variety R'_Λ♯
4. Complete Analysis of Geometric Properties: Determines dimensions, reducedness, normality, Cohen-Macaulay properties of each stratum, etc.

Detailed Methodology

Task Definition

Study the Bruhat-Tits stratification of the reduced basic locus of ramified unitary split Rapoport-Zink spaces N^spl_n, where:

• Input: vertex lattice Λ ⊂ C and corresponding RZ space
• Output: complete description of BT stratification and geometric properties of each stratum
• Constraints: signature (n-1,1), level structure given by vertex lattice stabilizer

Theoretical Framework

1. Definition of Split RZ Spaces

For S ∈ Nilp_{O_F̆}, the split RZ space N^spl_n assigns to isomorphism classes the five-tuple (X,ι,λ,ρ,Fil^0(X)), where:

• (X,ι,λ) is a Hermitian O_F-module of dimension n and type 2h on S
• ρ is a height-zero O_F-linear quasi-isomorphism
• Fil^0(X) is a rank-1 direct summand of the Hodge filtration satisfying the split condition:
  • (ι(π) + π)(Fil(X)) ⊂ Fil^0(X)
  • (ι(π) - π)(Fil^0(X)) = 0

2. Construction of BT Stratification

For vertex lattice Λ ⊂ C, define two classes of stratifications:

Z^spl Stratification (type 2t ≥ 2h):

Z^spl(Λ)(S) = {(X,ι,λ,ρ,F) ∈ N^spl_n(S) | (X,ι,λ,ρ) ∈ Z^loc(Λ)(S), 
                for x ∈ Λ, x_*(Lie(Y × S)) ⊂ F}

Y^spl Stratification (type 2t ≤ 2h):

Y^spl(Λ♯)(S) = {(X,ι,λ,ρ,F) ∈ N^spl_n(S) | (X,ι,λ,ρ) ∈ Y^loc(Λ♯)(S),
                 for x♯ ∈ Λ♯, x♯_*(Lie(Y × S)) ⊂ F}

3. Stratified Split Models

Define stratified split models M^{spl,2h}_n(2t) as simpler linear algebraic objects:

• For t > h: defined through matrix constraints on X, Y, Z
• For t < h: defined through different matrix constraints

Technical Innovations

1. Local Model Chart Method

Construct local model charts:

Z̃^spl(Λ) → Z^spl(Λ) × M^{spl,[2h]}_n(2t)

where morphisms ψ₁ and ψ₂ are both smooth morphisms of the same dimension.

2. Affine Chart Computation

Through explicit computation of affine charts, obtain:

• For t > h: U_{i₀} ≅ Spec kX,Y,Z/(rank(X^t|Y^t) - 1, ∧²(Y|Z))
• For t < h: U_{i₀} ≅ A^{n-h-t-1}_k

3. Deligne-Lusztig Variety Isomorphisms

Establish explicit isomorphisms:

• f_Z: Z^spl(Λ) → S'_Λ (symplectic case)
• f_Y: Y^spl(Λ♯) → R'_{Λ♯} (orthogonal case)

Main Theorems

Theorem 1.1 (BT Stratification)

The Bruhat-Tits stratification of the reduced basic locus of split RZ spaces is:

N^spl_{n,red} = (⋃_{Λ₁∈L_Z} Z^spl(Λ₁)) ∪ (⋃_{Λ₂∈L_Y} Y^spl(Λ♯₂))

Inclusion relations:

1. For type > 2h, Λ₁,Λ₂ ∈ L_Z: Λ₁ ⊆ Λ₂ ⟺ Z^spl(Λ₂) ⊆ Z^spl(Λ₁)
2. For type < 2h, Λ₁,Λ₂ ∈ L_Y: Λ₁ ⊆ Λ₂ ⟺ Y^spl(Λ♯₁) ⊆ Y^spl(Λ♯₂)
3. Intersection properties and dimension formulas

Theorem 1.2 (Properties of Stratified Split Models)

The stratified split model M^{spl,2h}_n(2t) is normal and Cohen-Macaulay, and:

1. For t > h: dimension is t + h
2. For t < h (except π-module case): smooth, dimension is n - t - h - 1
3. Intersection dimension formulas

Theorems 1.3 and 1.4 (Deligne-Lusztig Isomorphisms)

• S'_Λ is irreducible, dimension t + h, isomorphic to Z^spl(Λ)
• R'_{Λ♯} is irreducible smooth, dimension n - t - h - 1, isomorphic to Y^spl(Λ♯)

Experimental Verification

Special Case Verification

1. Case h = 0: Results agree with work of He-Li-Shi-Yang
2. π-module case: Excluded since completely studied by Wu
3. Dimension formula verification: Verified through affine chart computation

Geometric Property Verification

Verified through local model chart method:

• Reducedness
• Normality
• Cohen-Macaulay property
• Smoothness (in specific cases)

Related Work

Orthogonal Case

• Howard-Pappas 11: self-dual case
• Oki 21: almost self-dual case
• He-Zhou 10: all maximal level structures

Unitary Group Case

• Vollaard series 30,31: supersingular levels at inert primes
• Cho 5: all maximal parahoric levels
• Muller 20: arbitrary parahoric levels

Ramified Case

• Rapoport-Terstiege-Wilson 26: self-dual levels
• Wu 32: singular smooth cases
• He-Luo-Shi 9: all maximal vertex levels

Conclusions and Discussion

Main Conclusions

1. Provides complete description of BT stratification of split RZ spaces with arbitrary maximal vertex lattice stabilizer levels
2. Stratified split models provide effective tools for studying local properties
3. Isomorphisms with Deligne-Lusztig varieties reveal deeper geometric structures of stratifications

Limitations

1. π-module case excluded: Requires special treatment when n is even and h = n/2
2. Limited to maximal levels: More general quasi-parahoric level structures not addressed
3. Technical complexity: Computations involve extensive matrix operations and linear algebra techniques

Future Directions

1. Higher-dimensional cases: Generalize theory to cases with higher signatures
2. Deeper structures: Study split models for more general quasi-parahoric levels
3. Arithmetic applications: Apply results to concrete arithmetic problems

In-Depth Evaluation

Strengths

1. Theoretical Completeness: Provides complete theoretical framework for ramified unitary case
2. Methodological Innovation: Stratified split model theory is important technical innovation
3. Computational Concreteness: Provides concrete geometric descriptions through explicit affine charts
4. Result Profundity: Connection with Deligne-Lusztig varieties reveals deeper structures

Weaknesses

1. High Technical Threshold: Requires deep background in algebraic geometry and number theory
2. Computational Complexity: Extensive matrix computations may pose error risks
3. Limited Applications: Direct application scenarios are relatively limited

Impact

1. Theoretical Contribution: Provides important tools for Shimura variety theory
2. Methodological Value: Stratified split model method has generalization potential
3. Foundation for Future Research: Establishes foundation for research in more general cases

Applicable Scenarios

• Arithmetic geometry research
• Shimura variety theory
• p-adic Hodge theory
• Representation theory applications

References

The paper contains 36 references covering important works in Rapoport-Zink spaces, local models, Deligne-Lusztig varieties and related fields, demonstrating the breadth and depth of the research.