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

Basic Information

• Paper ID: 2206.07470
• Title: The EKOR-stratification on the Siegel modular variety with parahoric level structure
• Author: Manuel Hoff (Universität Bielefeld)
• Classification: math.AG (Algebraic Geometry)
• Published Journal: Épijournal de Géométrie Algébrique, Volume 9 (2025), Article No. 5
• Paper Link: https://arxiv.org/abs/2206.07470

Abstract

This paper investigates the arithmetic geometry of Siegel modular varieties with parahoric level structure under mod p reduction. The author realizes the EKOR stratification on this variety as fibers of a smooth morphism pointing to an algebraic stack parametrizing certain truncated displays of homogeneously polarized chains.

Research Background and Motivation

Problem Background

1. Siegel modular varieties and special fibers: The Siegel modular variety $A_{g,J,N}$ is a typical example of an integral model of a Shimura variety at a parahoric bad reduction location. While its generic fiber is smooth, the special fiber is typically singular, which relates to the fact that the p-torsion of abelian varieties in characteristic p is not étale.
2. EKOR stratification: He and Rapoport considered the map $υ: A_{g,J,N}(\bar{\mathbb{F}}_p) → \hat{K}^σ\backslash(\hat{K}^1\backslash X)$, whose fibers are called the Ekedahl-Kottwitz-Oort-Rapoport (EKOR) stratification. In the supersingular case $J = 2g\mathbb{Z}$, this is also known as the Ekedahl-Oort (EO) stratification.
3. Limitations of existing work:
   • Viehmann and Wedhorn realized the EO stratification as fibers of a smooth morphism in the supersingular case
   • Shen, Yu and Zhang could only construct smooth morphisms on each KR stratum in the parahoric case
   • Lack of complete treatment for the general parahoric case

Research Motivation

The author poses the central question: For general J, is it possible to realize the map υ or even Υ as a smooth morphism from $A_{g,J,N}$ to some naturally defined algebraic stack? Such a smooth morphism would provide a new proof of smoothness of the EKOR stratification and furnish tools for further study of the geometry of $A_{g,J,N}$.

Core Contributions

1. Introduction of truncated display theory: Defines the concept of $(m,n)$-truncated displays, a non-perfect version of restricted local shtukas, providing a suitable framework for studying the parahoric case.
2. Construction of homogeneously polarized chain stacks: Establishes the moduli stack $\text{HPolChDisp}^{(m,n)}_{g,J}$ of homogeneously polarized display chains and provides its quotient stack description.
3. Realization of smooth morphisms: Proves that the natural morphism $A^∧_{g,J,N} → \text{HPolChDisp}^{(m,n)}_{g,J}$ is smooth, thereby realizing the EKOR stratification as fibers of a smooth morphism.
4. Refinement of theoretical framework: Develops duality and torsion theory for displays, along with corresponding categorical frameworks.

Detailed Methodology

Task Definition

The research objective is to realize the EKOR stratification $υ: A_{g,J,N}(\bar{\mathbb{F}}_p) → \hat{K}^σ\backslash(\hat{K}^1\backslash X)$ as a smooth morphism between algebraic stacks, where the input is the Siegel modular variety with parahoric level structure and the output is an algebraic stack parametrizing truncated display chains.

Core Mathematical Objects

1. Display Theory

Definition 1.1 (Display): A display of type $(h,d)$ is a triple $(M, M_1, Ψ)$, where:

• $M$ is a finite projective $W(R)$-module of rank $h$
• $M_1 ⊆ M$ is a $W(R)$-submodule containing $I_R M$ such that $M_1/I_R M ⊆ M/I_R M$ is a direct summand of rank $d$
• $Ψ: \tilde{M}_1 → M$ is an isomorphism of $W(R)$-modules (Frobenius splitting)

2. Truncated Displays

For positive integers $m ≥ n+1$, an $(m,n)$-truncated display is a version of displays using truncated Witt vectors. When $R$ is characteristic p, the parameter $n$ is allowed to take the special value $1\text{-rdt}$.

3. Homogeneously Polarized Chains

Definition 1.3: A homogeneously polarized display chain of type $(g,J)$ is a tuple containing:

• A display chain $((M_i, M_{i,1}, Ψ_i)_i, (ρ_{i,j})_{i,j})$
• A periodicity isomorphism $θ_i: (M_i, M_{i,1}, Ψ_i) → (M_{i+2g}, M_{i+2g,1}, Ψ_{i+2g})$
• An invertible module $(I, ι)$
• An antisymmetric polarization $λ_i: (M_i, M_{i,1}, Ψ_i) → (I, ι) ⊗ (M_{-i}, M_{-i,1}, Ψ_{-i})^∨$

Technical Innovations

1. Quotient Stack Realization

Proposition 1.4: There exists an equivalence $\text{HPolChDisp}^{(m,n)}_{g,J} \simeq [(L^{(m)}G)_Δ \backslash M^{\text{loc},(n)}]$ where $L^{(m)}G$ is the $m$-truncated Witt vector positive loop group and $M^{\text{loc},(n)}$ is a certain $L^{(m)}G$-torsor of the local model.

2. Connection with p-divisible groups

Theorem 1.2: There exists a natural functor D: \{p\text{-divisible groups of height } h \text{ and dimension } d \text{ over } R\}^{\text{op}} → \{displays of type } (h,d) \text{ over } R\} This functor restricts to an equivalence between formal p-divisible groups and F-nilpotent displays.

Experimental Framework

Mathematical Verification Framework

This paper is pure mathematical theoretical research, primarily verifying results through rigorous mathematical proofs, including:

1. Categorical equivalence verification: Verifying the correctness of the theoretical framework by constructing explicit functors and proving them to be equivalences
2. Smoothness proofs: Using Serre-Tate theorem and formal methods to prove smoothness of key morphisms
3. Quotient stack descriptions: Verifying quotient stack descriptions through local model theory

Technical Tools

• Witt vector theory
• Display theory (Zink)
• Local model theory (Rapoport-Zink)
• Algebraic stack theory
• p-divisible group theory

Main Results

Core Theorem

Theorem 1.5 (Main Result): For each integer tuple $(m,n)$ with $n ≠ 1\text{-rdt}$, the natural morphism $A^∧_{g,J,N} → \text{HPolChDisp}^{(m,n)}_{g,J}$ is smooth. Similarly, for each $m ≥ 2$, the morphism $(A_{g,J,N})_{\mathbb{F}_p} → \text{HPolChDisp}^{(m,1\text{-rdt})}_{g,J}$ is also smooth.

Proof Strategy

1. Application of Serre-Tate theorem: Using the Serre-Tate theorem, smoothness of the morphism at points corresponding to polarized chains of abelian varieties depends only on the relevant p-divisible group polarized chains
2. Formal locus analysis: Proving that the morphism is smooth along the formal locus (the locus of chains of abelian varieties with formal p-divisible groups)
3. Specialization argument: Proving that there are sufficiently many points in $|A^∧_{g,J,N}|$ specializing into the formal locus

Application Results

• Smoothness of EKOR stratification: As a corollary, the EKOR stratification is smooth
• Closure relations: Provides a new proof of closure relations between EKOR strata
• Geometric tools: Furnishes new tools for further study of the geometry of $A_{g,J,N}$

Related Work

Historical Development

1. F-zip theory: Moonen and Wedhorn introduced the concept of F-zips; Viehmann and Wedhorn realized the EO stratification in the supersingular case
2. Group-theoretic zips: Pink, Wedhorn and Ziegler defined the group-theoretic version of F-zips
3. Parahoric generalization: Shen, Yu and Zhang generalized to the parahoric case, but could only construct smooth morphisms on KR strata
4. Local shtukas: Xiao and Zhu considered perfect moduli stacks of mixed characteristic local shtukas

Uniqueness of This Paper's Contribution

• Provides complete treatment in the parahoric case
• Introduces truncated display theory as a key technical tool
• Realizes a global smooth morphism, rather than only on each KR stratum

Conclusions and Discussion

Main Conclusions

1. Successfully realizes the EKOR stratification as fibers of a smooth morphism, solving an important problem in the general parahoric case
2. Develops truncated display theory, providing a new technical framework for studying special fibers of Shimura varieties
3. Establishes deep connections between display theory and moduli stack theory

Limitations

1. Technical complexity: The theoretical framework is quite technical, requiring deep background in algebraic geometry
2. Specific cases: Primarily focuses on Siegel modular varieties; generalization to more general Shimura varieties requires further work
3. Computational complexity: Actual computation of EKOR stratification remains challenging

Future Directions

The natural next steps proposed by the author are to generalize the results to more general parahoric level Shimura varieties, which requires:

1. Defining $(G,μ)$-display stacks for each parahoric $\mathbb{Z}_p$-group scheme $G$ and minuscule geometric conjugacy class $μ$
2. Constructing natural smooth morphisms from the p-completion of the corresponding Shimura variety to truncated $(G,μ)$-display stacks

In-Depth Evaluation

Strengths

1. Theoretical breakthrough: Solves an important open problem in the field, providing complete geometric realization of the EKOR stratification in the parahoric case
2. Technical innovation: The introduction of truncated display theory provides key tools for handling non-supersingular cases
3. Rigorous proofs: Mathematical proofs are complete and rigorous, with particularly clever smoothness proof strategies
4. Complete framework: Develops a complete theoretical framework, including duality, torsion, and categorical structures

Weaknesses

1. High technical threshold: The theory is highly technical, requiring deep knowledge of multiple mathematical branches
2. Limited scope of application: Currently mainly restricted to Siegel modular varieties; generalization to general cases requires more work
3. Computational aspects: While providing a theoretical framework, actual computation remains difficult

Impact

1. Academic value: Provides important tools and new perspectives for arithmetic geometry research on Shimura varieties
2. Theoretical contribution: Enriches display theory and moduli stack theory, establishing new connections
3. Foundation for future research: Lays important groundwork for subsequent research in this field

Applicable Scenarios

This method is suitable for application to:

1. Geometric research on special fibers of Shimura varieties
2. Further analysis of EKOR/EO stratifications
3. Study of moduli spaces of p-divisible groups
4. Moduli problems in arithmetic geometry

References

The paper cites important literature in the field, including:

• Classical work of Rapoport-Zink on period spaces
• Research of Viehmann-Wedhorn on F-zips and EO stratifications
• Partial results of Shen-Yu-Zhang on the parahoric case
• Foundational work of Zink on display theory