[论文解读] A toroidal resolution for the bad reduction of some Shimura varieties

Alain Genestier|ArXiv.org|Dec 7, 1999

Advanced Algebra and Geometry被引用 5

一句话总结

该论文利用 Lafforgue 对 PGL_r^{N+1}/PGL_r 的紧化方法以及 Faltings 对矩阵奇点的约化原理，为具有帕拉霍里型水平结构的酉型与辛型希尔伯特模形式在素数 p 处的坏约化构造了一个典范的对数光滑扇形解析解。关键贡献在于提出了一套系统化的解析方法，确保了解的对数光滑性，并实现了在 Z_p[p^{1/ν}] 上的非典范半稳定解析解的构造。

ABSTRACT

Borrowing a reduction principle to a recent preprint of G. Faltings (toroidal resolution of some matrix singularities, 1999), we use Lafforgue's compactification of PGL_r^{N+1}/PGL_r to construct a canonical log-smooth toroidal resolution for the bad reduction in a prime p of Shimura varieties of unitary and symplectic type with parahoric level structures at p. Using this result, non-canonical semi-stable resolutions over Z_p[p^{1/ν}] can be derived.

研究动机与目标

• 为具有帕拉霍里型水平结构的素数 p 处的酉型与辛型希尔伯特模形式的坏约化构造解析解。
• 利用先进的几何技术，为这类坏约化构造一个典范的对数光滑扇形解析解。
• 将 Faltings 最近关于矩阵奇点扇形解析解的工作应用于希尔伯特模形式的算术背景。
• 从典范解析解出发，推导出在 Z_p[p^{1/ν}] 上的非典范半稳定解析解。
• 为理解这些簇在 p 进统一化过程中产生的奇点，提供一个系统化的框架。

提出的方法

• 利用 Lafforgue 对商空间 PGL_r^{N+1}/PGL_r 的紧化方法，为希尔伯特模形式构造一个全局几何模型。
• 将 G. Faltings 的关于矩阵奇点扇形解析解的约化原理应用于算术背景。
• 利用对数光滑性与扇形嵌入理论，确保在形式概形层面上解析解的典范性与良好性。
• 通过分析原始希尔伯特模形式在 p 处的退化类型，在解析解上构造对数光滑结构。
• 通过基变换至 Z_p[p^{1/ν}]，从典范解析解导出非典范半稳定解析解，从而将典范解析解推广至更灵活的设定。
• 依赖代数堆与帕拉霍里型水平结构的形式语言，以在解析过程中保持对群论数据的控制。

实验结果

研究问题

• RQ1 能否为具有帕拉霍里型水平结构的素数 p 处的酉型与辛型希尔伯特模形式的坏约化，构造一个典范的对数光滑扇形解析解？
• RQ2 Faltings 关于矩阵奇点解析解的方法，如何能被适配到算术希尔伯特模形式的语境中？
• RQ3 这些希尔伯特模形式在 p 处的奇异纤维具有何种结构？能否系统地对其进行解析？
• RQ4 典范解析解在多大程度上可以被推广至 Z_p[p^{1/ν}] 上的非典范半稳定模型？
• RQ5 Lafforgue 的紧化方法在实现坏约化的全局解析解中起到了何种作用？

主要发现

• 对于具有帕拉霍里型水平结构的素数 p 处的酉型与辛型希尔伯特模形式，其坏约化存在典范的对数光滑扇形解析解。
• 该解析解通过 Lafforgue 对 PGL_r^{N+1}/PGL_r 的紧化与 Faltings 对矩阵奇点的约化原理构造而成。
• 该解析解具有对数光滑性，确保了在 p 进设定下的良好几何与算术性质。
• 从典范解析解出发，推导出了在 Z_p[p^{1/ν}] 上的非典范半稳定解析解，扩展了其适用范围。
• 该方法为算术希尔伯特模形式的最小模型程序中的奇点解析提供了一个系统化的框架。
• 该构造对酉型与辛型希尔伯特模形式均适用，统一了其在坏素数处的解析理论。