2025-11-25T00:52:16.258141

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

Hoff

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.

academic

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

基本信息

论文ID: 2206.07470
标题: The EKOR-stratification on the Siegel modular variety with parahoric level structure
作者: Manuel Hoff (Universität Bielefeld)
分类: math.AG (代数几何)
发表期刊: Épijournal de Géométrie Algébrique, Volume 9 (2025), Article No. 5
论文链接: https://arxiv.org/abs/2206.07470

摘要

本文研究了具有parahoric水平结构的Siegel模簇在模p约化下的算术几何。作者将该簇上的EKOR分层实现为光滑态射的纤维，该态射指向一个参数化某些截断显示的齐次极化链的代数栈。

研究背景与动机

问题背景

Siegel模簇与特殊纤维: Siegel模簇 $A_{g,J,N}$ 是Shimura簇在parahoric坏约化位置的积分模型的典型例子。虽然其一般纤维是光滑的，但特殊纤维通常是奇异的，这与特征p中阿贝尔簇的p-挠子不是étale的事实相关。
EKOR分层: He和Rapoport考虑了映射 $υ: A_{g,J,N}(\bar{\mathbb{F}}_p) → \hat{K}^σ\backslash(\hat{K}^1\backslash X)$ ，其纤维称为Ekedahl-Kottwitz-Oort-Rapoport (EKOR)分层。在超特殊情形 $J = 2g\mathbb{Z}$ 时，这也被称为Ekedahl-Oort (EO)分层。
现有工作的局限性:
- Viehmann和Wedhorn在超特殊情形下实现了EO分层作为光滑态射的纤维
- Shen, Yu和Zhang在parahoric情形下只能在每个KR层上构造光滑态射
- 缺乏对一般parahoric情形的完整处理

研究动机

作者提出核心问题：对于一般的J，是否可能将映射υ或甚至Υ实现为从 $A_{g,J,N}$ 到某个自然定义的代数栈的光滑态射？这样的光滑态射将提供EKOR分层光滑性的新证明，并为进一步研究 $A_{g,J,N}$ 的几何提供工具。

核心贡献

引入截断显示理论: 定义了 $(m,n)$ -截断显示的概念，这是受限局部shtuka的非完美版本，为研究parahoric情形提供了合适的框架。
构造齐次极化链栈: 建立了齐次极化显示链的模栈 $\text{HPolChDisp}^{(m,n)}_{g,J}$ ，并给出了其商栈描述。
实现光滑态射: 证明了自然态射 $A^∧_{g,J,N} → \text{HPolChDisp}^{(m,n)}_{g,J}$ 是光滑的，从而实现了EKOR分层作为光滑态射的纤维。
理论框架完善: 发展了显示的对偶和扭转理论，以及相应的范畴论框架。

方法详解

任务定义

研究目标是将EKOR分层 $υ: A_{g,J,N}(\bar{\mathbb{F}}_p) → \hat{K}^σ\backslash(\hat{K}^1\backslash X)$ 实现为代数栈之间的光滑态射，其中输入是具有parahoric水平结构的Siegel模簇，输出是参数化截断显示链的代数栈。

核心数学对象

1. 显示理论

定义1.1 (显示): 类型 $(h,d)$ 的显示是三元组 $(M, M_1, Ψ)$ ，其中：

$M$ 是秩为 $h$ 的有限投射 $W(R)$ -模
$M_1 ⊆ M$ 是包含 $I_R M$ 的 $W(R)$ -子模，使得 $M_1/I_R M ⊆ M/I_R M$ 是秩为 $d$ 的直和项
$Ψ: \tilde{M}_1 → M$ 是 $W(R)$ -模的同构（分裂Frobenius）

2. 截断显示

对于正整数 $m ≥ n+1$ ， $(m,n)$ -截断显示是使用截断Witt向量的显示版本。当 $R$ 是特征p时，允许 $n$ 取特殊值 $1\text{-rdt}$ 。

3. 齐次极化链

定义1.3: 类型 $(g,J)$ 的齐次极化显示链是包含以下数据的元组：

显示链 $((M_i, M_{i,1}, Ψ_i)_i, (ρ_{i,j})_{i,j})$
周期性同构 $θ_i: (M_i, M_{i,1}, Ψ_i) → (M_{i+2g}, M_{i+2g,1}, Ψ_{i+2g})$
可逆模 $(I, ι)$
反对称极化 $λ_i: (M_i, M_{i,1}, Ψ_i) → (I, ι) ⊗ (M_{-i}, M_{-i,1}, Ψ_{-i})^∨$

技术创新点

1. 商栈实现

命题1.4: 存在等价关系 $\text{HPolChDisp}^{(m,n)}_{g,J} \simeq [(L^{(m)}G)_Δ \backslash M^{\text{loc},(n)}]$ 其中 $L^{(m)}G$ 是 $m$ -截断Witt向量正环群， $M^{\text{loc},(n)}$ 是局部模型的某个 $L^{(m)}G$ -扭子。