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

Parahoric水準構造を持つSiegel模多様体上のEKOR層別化

基本情報

論文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模多様体のmod p還元における算術幾何を研究する。著者は当該多様体上のEKOR層別化を、ある切断された表示をパラメータ化する同次偏極鎖の代数スタックへの滑らかな射の繊維として実現する。

研究背景と動機

問題背景

Siegel模多様体と特殊繊維: Siegel模多様体 $A_{g,J,N}$ は、parahoric悪還元位置におけるShimura多様体の積分モデルの典型例である。一般繊維は滑らかであるが、特殊繊維は通常特異であり、これは特性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$ -捩れである。

2. p-可除群との関連

定理1.2: 自然な関手が存在する $D: \{R\text{上高さ}h\text{次元}d\text{のp-可除群}\}^{\text{op}} → \{R\text{上型}(h,d)\text{の表示}\}$ この関手は形式p-可除群とF-冪零表示の間の等価に制限される。

実験的設定

数学的検証枠組み

本論文は純粋数学の理論研究であり、主に厳密な数学的証明を通じて結果を検証する。これには以下が含まれる：

圏論的等価性の検証: 明示的な関手を構成し、それが等価であることを証明することにより、理論的枠組みの正当性を検証する
滑らかさの証明: Serre-Tate定理と形式化手法を用いて、重要な射の滑らかさを証明する
商スタック記述: 局所モデル理論を通じて商スタック記述の正当性を検証する

技術的道具

Witt ベクトル理論
表示理論（Zink）
局所モデル理論（Rapoport-Zink）
代数スタック理論
p-可除群理論

Serre-Tate定理の応用: Serre-Tate定理を利用して、アーベル多様体偏極鎖に対応する点での射の滑らかさは、関連するp-可除群偏極鎖にのみ依存することを示す
形式軌跡分析: 射が形式軌跡（すなわち形式p-可除群を持つアーベル多様体鎖の軌跡）に沿って滑らかであることを証明する
特化論証: $|A^∧_{g,J,N}|$ に形式軌跡に特化する十分多くの点が存在することを証明する