2025-11-10T02:47:04.963584

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

Zachos, Zhao

We construct the Bruhat-Tits stratification of the ramified unitary splitting Rapoport-Zink space, with the level being the stabilizer of a vertex lattice. To determine certain local properties of the Bruhat-Tits strata, we develop a theory of the strata splitting models. To study their global structure, we establish an explicit isomorphism between the Bruhat-Tits strata and certain (modified) Deligne-Lusztig varieties.

academic

頂点安定化子層を持つ単位分裂Rapoport-Zink空間の基本軌跡

基本情報

論文ID: 2510.14497
タイトル: The basic locus of unitary splitting Rapoport-Zink spaces with vertex stabilizer level
著者: I. Zachos, Z. Zhao
分類: math.NT（数論）、math.AG（代数幾何）
提出日時: 2025年10月16日（arXivへ提出）
論文リンク: https://arxiv.org/abs/2510.14497

要旨

本論文は、層構造が頂点格の安定化子によって与えられる分岐単位分裂Rapoport-Zink空間のBruhat-Tits分層を構成する。Bruhat-Tits分層の特定の局所性質を決定するため、著者らは層分裂モデルの理論を発展させた。それらの大域的構造を研究するため、著者らはBruhat-Tits分層と特定の（修正された）Deligne-Lusztig多様体との間に明示的な同型を確立した。

研究背景と動機

問題背景

Shimura多様体積分モデル理論：本研究はShimura多様体積分モデル理論の重要な分野に属し、特にRapoport-Zink（RZ）空間の基本軌跡（basic locus）に焦点を当てている。
応用価値：基本軌跡の研究は数論において重要な応用を持つ：
- Kudla-Rapoport予想：Shimura多様体上の特殊サイクルの算術交数とEisenstein級数を関連付ける
- 算術Gan-Gross-Prasad予想
- 算術基本補題予想と算術転移予想
既存研究：
- 直交の場合：Howard-Pappasが自己双対の場合を研究し、Okiがほぼ自己双対の場合を研究し、He-Zhouがすべての極大層構造に推広した
- 単位群の場合：Vollaard等が惰性素数の超特殊層を研究し、Choがすべての極大parahoric層に推広し、Mullerが任意のparahoric層を研究した
- 分岐の場合：Rapoport-Terstiege-Wilsonが自己双対層を研究し、Wuが特異滑らかな場合を研究し、He-Luo-Shiがすべての極大頂点層に推広した

研究動機

理論の完成：既存の分岐単位の場合の研究は主に特定の層構造のタイプに集中しており、本論文は任意の極大頂点格に対する完全な記述を提供することを目指している。
技術革新：層分裂モデル理論を発展させ、より高次元の場合を研究するためのツールを提供する。
幾何学的理解：Deligne-Lusztig多様体との同型を通じて、BT分層の幾何学的構造に対する理解を深める。

核心的貢献

完全なBruhat-Tits分層の構成：任意の極大頂点格安定化子層を持つ分裂RZ空間に対して、約化基本軌跡の完全なBT分層を与えた。
層分裂モデル理論の発展：純粋な線形代数データによって定義される層分裂モデルを導入し、BT分層がこれらのモデルとétale局所で同型であることを証明した。
Deligne-Lusztig多様体との明示的な同型の確立：
- $Z^{\text{spl}}$ 分層は修正辛Deligne-Lusztig多様体 $S'_\Lambda$ と同型
- $Y^{\text{spl}}$ 分層は修正直交Deligne-Lusztig多様体 $R'_{\Lambda^\#}$ と同型
完全な幾何学的性質の分析：各分層の次元、約化性、正規性、Cohen-Macaulay性質等を決定した。

方法の詳細

タスク定義

分岐単位分裂Rapoport-Zink空間 $N^{\text{spl}}_n$ の約化基本軌跡のBruhat-Tits分層を研究する。ここで：

入力：頂点格 $\Lambda \subset C$ 及びそれに対応するRZ空間
出力：完全なBT分層の記述及び各分層の幾何学的性質
制約：署名が $(n-1,1)$ 、層構造が頂点格安定化子

理論的枠組み

1. 分裂RZ空間の定義

$S \in \text{Nilp}_{O_{\breve{F}}}$ に対して、分裂RZ空間 $N^{\text{spl}}_n$ は五つ組 $(X,\iota,\lambda,\rho,\text{Fil}^0(X))$ を同型類に対応させる。ここで：

$(X,\iota,\lambda)$ はS上の次元n、タイプ $2h$ のHermitian $O_F$ -加群
$\rho$ は高さ0の $O_F$ -線形準同型
$\text{Fil}^0(X)$ $Fil^{0} (X)$ は分裂条件を満たすHodge濾過の階数1直和項：
- $(\iota(\pi) + \pi)(\text{Fil}(X)) \subset \text{Fil}^0(X)$
- $(\iota(\pi) - \pi)(\text{Fil}^0(X)) = 0$

2. BT分層の構成

頂点格 $\Lambda \subset C$ に対して、2つのクラスの分層を定義する：

$Z^{\text{spl}}$ 分層（タイプ $2t \geq 2h$ ）：

$Z^{\text{spl}}(\Lambda)(S) = \{(X,\iota,\lambda,\rho,F) \in N^{\text{spl}}_n(S) |$
$(X,\iota,\lambda,\rho) \in Z^{\text{loc}}(\Lambda)(S),$
$x \in \Lambda に対して x_*(\text{Lie}(Y \times S)) \subset F\}$

$Y^{\text{spl}}$ 分層（タイプ $2t \leq 2h$ ）：

$Y^{\text{spl}}(\Lambda^\#)(S) = \{(X,\iota,\lambda,\rho,F) \in N^{\text{spl}}_n(S) |$
$(X,\iota,\lambda,\rho) \in Y^{\text{loc}}(\Lambda^\#)(S),$
$x^\# \in \Lambda^\# に対して x^\#_*(\text{Lie}(Y \times S)) \subset F\}$

3. 層分裂モデル

層分裂モデル $M^{\text{spl},[2h]}_n(2t)$ をより単純な線形代数対象として定義する：

$t > h$ の場合：行列 $X,Y,Z$ の制約条件によって定義
$t < h$ の場合：異なる行列制約によって定義

技術的革新点

1. 局所モデル図表法

局所モデル図表を構成する：

$Z̃^{\text{spl}}(\Lambda) → Z^{\text{spl}}(\Lambda) \times M^{\text{spl},[2h]}_n(2t)$

ここで射 $\psi_1$ と $\psi_2$ は同じ次元の滑らかな射である。

2. アフィン図表の計算

明示的なアフィン図表の計算により、以下を得る：

$t > h$ の場合： $U_{i_0} \cong \text{Spec}\, k[X,Y,Z]/(\text{rank}([X^t|Y^t]) - 1, \wedge^2([Y|Z]))$
$t < h$ の場合： $U_{i_0} \cong \mathbb{A}^{n-h-t-1}_k$

3. Deligne-Lusztig多様体同型

明示的な同型を確立する：

$f_Z: Z^{\text{spl}}(\Lambda) \to S'_\Lambda$ （辛の場合）
$f_Y: Y^{\text{spl}}(\Lambda^\#) \to R'_{\Lambda^\#}$ （直交の場合）

主要定理

定理1.1（BT分層）

分裂RZ空間の約化基本軌跡のBruhat-Tits分層は以下の通りである：

$N^{\text{spl}}_{n,\text{red}} = \left(\bigcup_{\Lambda_1 \in L_Z} Z^{\text{spl}}(\Lambda_1)\right)$
$\cup \left(\bigcup_{\Lambda_2 \in L_Y} Y^{\text{spl}}(\Lambda_2^\#)\right)$

包含関係：

タイプ $>2h$ の $\Lambda_1,\Lambda_2 \in L_Z$ に対して： $\Lambda_1 \subseteq \Lambda_2 \Leftrightarrow Z^{\text{spl}}(\Lambda_2) \subseteq Z^{\text{spl}}(\Lambda_1)$
タイプ $<2h$ の $\Lambda_1,\Lambda_2 \in L_Y$ に対して： $\Lambda_1 \subseteq \Lambda_2 \Leftrightarrow Y^{\text{spl}}(\Lambda_1^\#) \subseteq Y^{\text{spl}}(\Lambda_2^\#)$
交集合性質と次元公式