[论文解读] On the stable reduction of modular curves

Jared Weinstein|arXiv (Cornell University)|Oct 20, 2010

Algebraic Geometry and Number Theory被引用 1

一句话总结

本文在 $\mathbf{Z}_p$ 的一个分歧扩张上，通过利用 Lubin-Tate 曲线对上超奇异点集的半稳定覆盖，为模曲线 $X(Np^m)$ 构造了一个半稳定积分模型。关键贡献在于证明了无限层次的 Lubin-Tate 空间是一个完美oid空间，其结构相比有限层次的对应物更为简化，并将非交换 Lubin-Tate 理论与 Bushnell-Kutzko 类型联系起来。

ABSTRACT

We produce an integral model for the modular curve $X(Np^m)$ over the ring of integers of a sufficiently ramified extension of $\mathbf{Z}_p$ whose special fiber is a {\em semistable curve} in the sense that its only singularities are normal crossings. This is done by constructing a semistable covering (in the sense of Coleman) of the supersingular part of $X(Np^m)$, which is a union of copies of a Lubin-Tate curve. In doing so we tie together nonabelian Lubin-Tate theory to the representation-theoretic point of view afforded by Bushnell-Kutzko types. For our analysis it was essential to work with the Lubin-Tate curve not at level $p^m$ but rather at infinite level. We show that the infinite-level Lubin-Tate space (in arbitrary dimension, over an arbitrary nonarchimedean local field) has the structure of a perfectoid space, which is in many ways simpler than the Lubin-Tate spaces of finite level.

研究动机与目标

• 为 $\mathbf{Z}_p$ 的一个足够分歧的扩张上的模曲线 $X(Np^m)$ 构造一个稳定积分模型。
• 确保该模型的特殊纤维是半稳定的，且仅有法向相交奇点。
• 通过半稳定覆盖，将非交换 Lubin-Tate 理论与 Bushnell-Kutzko 类型的表示论框架统一起来。
• 分析无限层次的 Lubin-Tate 空间，建立其在任意非阿基米德局部域上任意维数下的完美oid空间结构。

提出的方法

• 通过使用 Lubin-Tate 曲线的副本，对 $X(Np^m)$ 的上超奇异点集构造半稳定覆盖。
• 不使用有限层次的近似，而是直接使用无限层次的 Lubin-Tate 空间，以简化其几何与算术结构。
• 利用完美oid空间理论，证明无限层次的 Lubin-Tate 空间具有完美oid结构。
• 通过分析无限层次空间上的作用，建立非交换 Lubin-Tate 理论与 Bushnell-Kutzko 类型之间的联系。
• 运用 Coleman 的半稳定覆盖概念，控制模曲线特殊纤维的奇点。
• 利用无限层次 Lubin-Tate 曲线的几何结构，模拟模曲线在上超奇异点附近的局部结构。

实验结果

研究问题

• RQ1 如何在 $\mathbf{Z}_p$ 的一个分歧扩张上，为模曲线 $X(Np^m)$ 构造一个半稳定积分模型？
• RQ2 在任意非阿基米德局部域上，无限层次 Lubin-Tate 空间的几何与算术结构是怎样的？
• RQ3 无限层次 Lubin-Tate 空间如何与 Bushnell-Kutzko 类型的表示论框架相关联？
• RQ4 无限层次 Lubin-Tate 空间能否赋予完美oid结构？与有限层次版本相比，这种结构如何简化其分析？
• RQ5 对上超奇异点集的半稳定覆盖在实现 $X(Np^m)$ 特殊纤维的半稳定化过程中起到什么作用？

主要发现

• 模曲线 $X(Np^m)$ 在 $\mathbf{Z}_p$ 的一个足够分歧的扩张上存在一个积分模型，其特殊纤维是半稳定的，且仅有法向相交奇点。
• $X(Np^m)$ 的上超奇异点集被若干 Lubin-Tate 曲线的副本覆盖，构成 Coleman 意义下的半稳定覆盖。
• 在任意非阿基米德局部域上任意维数的无限层次 Lubin-Tate 空间是一个完美oid空间。
• 无限层次 Lubin-Tate 空间的完美oid结构使其几何与算术结构相比有限层次 Lubin-Tate 空间更为简化。
• 通过分析无限层次空间，建立了非交换 Lubin-Tate 理论与 Bushnell-Kutzko 类型之间的深刻联系。
• 该构造表明，无限层次 Lubin-Tate 空间为研究模曲线的稳定约化提供了一个自然且更简明的框架。