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

基本信息

• 论文ID: 2510.14497
• 标题: The basic locus of unitary splitting Rapoport-Zink spaces with vertex stabilizer level
• 作者: I. Zachos, Z. Zhao
• 分类: math.NT (Number Theory), math.AG (Algebraic Geometry)
• 发表时间: 2025年10月16日提交至arXiv
• 论文链接: https://arxiv.org/abs/2510.14497

摘要

本文构造了分歧酉分裂Rapoport-Zink空间的Bruhat-Tits分层，其中层结构由顶点格的稳定子给出。为了确定Bruhat-Tits分层的某些局部性质，作者发展了分层分裂模型的理论。为了研究它们的全局结构，作者建立了Bruhat-Tits分层与某些（修正的）Deligne-Lusztig簇之间的显式同构。

研究背景与动机

问题背景

1. Shimura簇积分模型理论：本研究属于Shimura簇积分模型理论的重要分支，特别关注Rapoport-Zink (RZ)空间的基本轨迹(basic locus)。
2. 应用价值：基本轨迹的研究在数论中有重要应用，包括：
   • Kudla-Rapoport猜想：将Shimura簇上特殊循环的算术交数与Eisenstein级数联系起来
   • 算术Gan-Gross-Prasad猜想
   • 算术基本引理猜想和算术转移猜想
3. 已有研究：
   • 正交情形：Howard-Pappas研究了自对偶情形，Oki研究了几乎自对偶情形，He-Zhou推广到所有极大层结构
   • 酉群情形：Vollaard等研究了惰性素数的超特殊层，Cho推广到所有极大parahoric层，Muller研究任意parahoric层
   • 分歧情形：Rapoport-Terstiege-Wilson研究自对偶层，Wu研究奇异光滑情形，He-Luo-Shi推广到所有极大顶点层

研究动机

1. 理论完善：现有的分歧酉情形研究主要集中在特定类型的层结构，本文旨在给出任意极大顶点格的完整描述。
2. 技术创新：发展分层分裂模型理论，为研究更高维数情形提供工具。
3. 几何理解：通过与Deligne-Lusztig簇的同构，深化对BT分层几何结构的理解。

核心贡献

1. 构造了完整的Bruhat-Tits分层：对于任意极大顶点格稳定子层的分裂RZ空间，给出了约化基本轨迹的完整BT分层。
2. 发展了分层分裂模型理论：引入了由纯线性代数数据定义的分层分裂模型，证明了BT分层与这些模型在étale局部同构。
3. 建立了与Deligne-Lusztig簇的显式同构：
   • Zspl分层与修正辛Deligne-Lusztig簇S'_Λ同构
   • Yspl分层与修正正交Deligne-Lusztig簇R'_Λ♯同构
4. 完整的几何性质分析：确定了各分层的维数、约化性、正规性、Cohen-Macaulay性质等。

方法详解

任务定义

研究分歧酉分裂Rapoport-Zink空间N^spl_n的约化基本轨迹的Bruhat-Tits分层，其中：

• 输入：顶点格Λ ⊂ C及其对应的RZ空间
• 输出：完整的BT分层描述及各分层的几何性质
• 约束：signature为(n-1,1)，层结构为顶点格稳定子

理论框架

1. 分裂RZ空间定义

对于S ∈ Nilp_{O_F̆}，分裂RZ空间N^spl_n将五元组(X,ι,λ,ρ,Fil^0(X))对应到同构类，其中：

• (X,ι,λ)是S上维数为n、类型为2h的Hermitian O_F-模
• ρ是高度为0的O_F-线性拟同构
• Fil^0(X)是满足分裂条件的Hodge滤子的秩1直和项：
  • (ι(π) + π)(Fil(X)) ⊂ Fil^0(X)
  • (ι(π) - π)(Fil^0(X)) = 0

2. BT分层构造

对于顶点格Λ ⊂ C，定义两类分层：

Z^spl分层（类型2t ≥ 2h）：

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

Y^spl分层（类型2t ≤ 2h）：

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

3. 分层分裂模型

定义分层分裂模型M^{spl,2h}_n(2t)作为更简单的线性代数对象：

• 对于t > h：通过矩阵X,Y,Z的约束条件定义
• 对于t < h：通过不同的矩阵约束定义

技术创新点

1. 局部模型图表方法

构造局部模型图表：

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

其中态射ψ₁和ψ₂都是相同维数的光滑态射。

2. 仿射图表计算

通过显式计算仿射图表，得到：

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

3. Deligne-Lusztig簇同构

建立显式同构：

• f_Z: Z^spl(Λ) → S'_Λ（辛情形）
• f_Y: Y^spl(Λ♯) → R'_{Λ♯}（正交情形）

主要定理

定理1.1 (BT分层)

分裂RZ空间的约化基本轨迹的Bruhat-Tits分层为：

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

包含关系：

1. 对于类型>2h的Λ₁,Λ₂ ∈ L_Z：Λ₁ ⊆ Λ₂ ⟺ Z^spl(Λ₂) ⊆ Z^spl(Λ₁)
2. 对于类型<2h的Λ₁,Λ₂ ∈ L_Y：Λ₁ ⊆ Λ₂ ⟺ Y^spl(Λ♯₁) ⊆ Y^spl(Λ♯₂)
3. 交集性质和维数公式

定理1.2 (分层分裂模型性质)

分层分裂模型M^{spl,2h}_n(2t)是正规的Cohen-Macaulay的，且：

1. 对于t > h：维数为t + h
2. 对于t < h（除π-模情形）：光滑，维数为n - t - h - 1
3. 交集维数公式

定理1.3和1.4 (Deligne-Lusztig同构)

• S'_Λ不可约，维数t + h，与Z^spl(Λ)同构
• R'_{Λ♯}不可约光滑，维数n - t - h - 1，与Y^spl(Λ♯)同构

实验验证

特殊情形验证

1. h = 0情形：结果与He-Li-Shi-Yang的工作一致
2. π-模情形：排除此情形，因为已被Wu完全研究
3. 维数公式验证：通过仿射图表计算验证维数公式

几何性质验证

通过局部模型图表方法验证：

• 约化性
• 正规性
• Cohen-Macaulay性质
• 光滑性（特定情形）

相关工作

正交情形

• Howard-Pappas 11：自对偶情形
• Oki 21：几乎自对偶情形
• He-Zhou 10：所有极大层结构

酉群情形

• Vollaard系列工作 30,31：惰性素数超特殊层
• Cho 5：所有极大parahoric层
• Muller 20：任意parahoric层

分歧情形

• Rapoport-Terstiege-Wilson 26：自对偶层
• Wu 32：奇异光滑情形
• He-Luo-Shi 9：所有极大顶点层

结论与讨论

主要结论

1. 完整描述了任意极大顶点格稳定子层的分裂RZ空间的BT分层
2. 分层分裂模型为研究局部性质提供了有效工具
3. 与Deligne-Lusztig簇的同构揭示了分层的深层几何结构

局限性

1. π-模情形除外：当n为偶数且h = n/2时需要特殊处理
2. 仅限极大层：更一般的准parahoric层结构尚未涉及
3. 技术复杂性：计算涉及大量矩阵运算和线性代数技巧

未来方向

1. 更高维数情形：将理论推广到更高signature的情形
2. 更深层结构：研究更一般quasi-parahoric层的分裂模型
3. 算术应用：将结果应用到具体的算术问题

深度评价

优点

1. 理论完整性：提供了分歧酉情形的完整理论框架
2. 方法创新性：分层分裂模型理论是重要的技术创新
3. 计算具体性：通过显式仿射图表给出了具体的几何描述
4. 结果深刻性：与Deligne-Lusztig簇的联系揭示了深层结构

不足

1. 技术门槛高：需要深厚的代数几何和数论背景
2. 计算复杂：大量矩阵计算可能存在错误风险
3. 应用有限：直接应用场景相对有限

影响力

1. 理论贡献：为Shimura簇理论提供了重要工具
2. 方法价值：分层分裂模型方法具有推广价值
3. 后续研究：为更一般情形的研究奠定了基础

适用场景

• 算术几何研究
• Shimura簇理论
• p-进Hodge理论
• 表示论应用

参考文献

论文包含36篇参考文献，涵盖了Rapoport-Zink空间、局部模型、Deligne-Lusztig簇等相关领域的重要工作，体现了研究的广度和深度。