[论文解读] Good and semi-stable reductions of Shimura varieties

Xuhua He, G. Pappas+1 more|arXiv (Cornell University)|Apr 25, 2018

Algebraic Geometry and Number Theory参考文献 42被引用 3

一句话总结

本文在 tame ramification 条件下，为志村簇及其相关局部模型建立了良好与半稳定约化（good and semi-stable reduction）的判别准则，证明了通过 Pappas-Zhu 框架构造的局部模型是唯一定义的，且其特殊纤维为约化形式。关键结果通过 CCP 条件与严格伪半稳定约化作为核心工具，识别出当群在 tame ramified 扩域上分裂时，所有类型为阿贝尔型的志村簇的局部模型在良好或半稳定约化下的所有情形。

ABSTRACT

We study variants of the local models constructed by the second author and Zhu and consider corresponding integral models of Shimura varieties of abelian type. We determine all cases of good, resp. of semi-stable, reduction under tame ramification hypotheses.

研究动机与目标

• 确定在 p 处具有抛物型水平结构的阿贝尔型志村簇的所有良好与半稳定约化情形。
• 在 tame ramification 条件下，确立 Pappas 与 Zhu 构造的局部模型的唯一性，解决关于辅助选择独立性的开放问题。
• 刻画局部模型的奇点，并将其与相应志村簇的约化类型相关联。
• 引入并分析 'CCP 条件' 作为半稳定约化的关键判据，并证明其与有理严格伪半稳定约化的等价性。
• 在 tame 情况下，对具有良好或半稳定约化的局部模型提供完整分类，将已知的模曲线结果推广至一般志村簇。

提出的方法

• 通过 p-adic 域上的对称形式中的格链与余 isotropic 条件，将局部模型定义为朴素模型函子的通用纤维的平坦闭包。
• 使用局部模型三元组 (G, {μ}, K) 的框架，其中 G 是 p-adic 域 F 上的半单群，{μ} 是极小权共轭，K 是抛物型子群。
• 引入 'CCP 条件'（共轭与抛物型的相容性）作为有理严格伪半稳定约化的必要且充分条件。
• 通过仿射坐标图中的显式方程分析局部模型的特殊纤维，利用旗流形上的坐标与二次约束。
• 通过平坦性证明定义方程（例如，x1y2n + ... + xnyn + xn+1yn+1 = 0）普遍成立，从而证明局部模型具有约化特殊纤维。
• 通过基变换到非分歧扩张，确保分类的良定义性，并建立半稳定约化与 CCP 条件之间的等价性。

实验结果

研究问题

• RQ1 在何种条件下，局部模型三元组 (G, {μ}, K) 的对应局部模型具有良好约化？
• RQ2 在假设 G 在 tame ramified 扩域上分裂时，局部模型何时具有半稳定约化？
• RQ3 局部模型构造是否独立于辅助选择，特别是在 tame 情况下？
• RQ4 CCP 条件与特殊纤维的几何结构之间存在何种精确关系？
• RQ5 良好与半稳定约化的分类能否超越最小或抛物型水平结构的情形？

主要发现

• 当 G 在 F 的 tame ramified 扩域上分裂时，局部模型 Mloc_K(G, {μ}) 是唯一定义的，且独立于辅助选择。
• 局部模型的几何特殊纤维是约化的，且在剩余域 k 上的仿射旗流形中同构于 {μ}-可接受区域。
• 局部模型具有良好约化当且仅当局部模型三元组满足 CCP 条件且群为 tame ramified。
• 对于非分裂 SO_{2n} 且 r = n 和 {0} 的情形，局部模型是光滑的，如通过仿射坐标图中连通分支的 Zariski 闭包同构于仿射空间所示。
• 相反，对于分裂 SO_{2n} 情形且 μ = μ1，由于特殊纤维中存在奇异交点，局部模型不具有伪半稳定约化。
• 当朴素模型不平坦时，局部模型的特殊纤维包含额外分量，如分裂 SO_{2n} 情形中不满足定义方程的 P^{n-1} × P^{n-1} 分量所示。