[论文解读] Swan conductors on the boundary of Lubin-Tate spaces

Stefan Wewers|ArXiv.org|Nov 17, 2005

Algebraic Geometry and Number Theory参考文献 8被引用 6

一句话总结

本文计算了在 p 进域上，有限 étale Galois 覆盖的单位开盘上，Lubin-Tate 空间（维度为一，伽罗瓦群为 GL₂(𝒪/ϖⁿ)）的 Swan 指标与判别式指标。关键结果是边界点上 Swan 指标的精确公式，该公式在确定这些空间的稳定约化中起着关键作用，并对局部 Langlands 对应及模曲线上同调具有重要意义。

ABSTRACT

Lubin-Tate spaces of dimension one are finite etale covers of the non-archimedian open unit disk. We compute certain invariants which measure the ramification of this cover over the boundary of the disk.

研究动机与目标

• 计算衡量 p 进域上单位开盘的有限 étale Galois 覆盖的分歧程度的不变量。
• 确定 Lubin-Tate 塔在单位开盘边界上的 Swan 指标与判别式指标。
• 为 Lubin-Tate 空间的稳定约化提供关键输入，尤其在 [20] 的工作背景下。
• 通过这些分歧不变量的上同调实现，支持局部 Langlands 对应。
• 证明在 Lubin-Tate 空间的抛物上同调中仅出现超临界表示。

提出的方法

• 使用半稳定形式模型与标准形式模型 R[[T]] 的爆破，描述单位开盘的稳定约化。
• 应用 Huber 与 Ramero 的刚性解析空间上平展层的 Swan 指标与判别式指标的形式理论。
• 通过高阶分歧群及其固定子空间分析边界点处的分歧过滤。
• 应用 Ogg–Shafarevich 公式，将 Swan 指标与紧支上同调的维数联系起来。
• 利用伽罗瓦群作用下表示的断裂分解，计算边界点处的 Swan 指标。
• 应用 Frobenius 同态与类型理论，将上同调不变量与 GL₂(F) 及 B× 的表示联系起来。

实验结果

研究问题

• RQ1 在单位开盘的边界上，有限 étale Galois 覆盖 X(ϖⁿ) → X(1) 的 Swan 指标是什么？
• RQ2 Swan 指标与判别式指标作为 p 进盘中半径 s 的函数，其行为如何？
• RQ3 哪些 GL₂(F) 的不可约表示出现在 Lubin-Tate 空间的抛物上同调中？
• RQ4 X(ϖⁿ) 的稳定约化如何与边界处计算的分歧不变量相关？
• RQ5 能否利用这些边界不变量重新导出局部 Langlands 对应的上同调实现？

主要发现

• 与水平为 n 的诱导表示 u_{n}(ε) 关联的层在边界点处的 Swan 指标为 −(q+1)q^{n−1}。
• 对应于 u_{n}(ε) 的层 F 的抛物上同调 H¹_p(X(1), F) 为零，意味着此情形下无非平凡上同调。
• 通过非超临界类型上同调的消失，证明 Lubin-Tate 空间抛物上同调中仅出现超临界表示。
• 若一个超临界表示 π 的 Jacquet–Langlands 转移是未分歧的，则其维数为 2q^{n−1}；若是分歧的，则维数为 (q+1)q^{n−2}，与类型理论的预期一致。
• X(ϖⁿ) 的稳定约化由 Swan 指标跃迁的关键值 s_i 决定，这些值对应于半稳定模型中的相关圆盘。
• 判别式指标 δ_F(s) 是一个凸的、连续的、分段线性的函数，其右导数为 −Swan 指标 sw_F(s)。