[论文解读] Explicit non-abelian Lubin-Tate theory for GL(2)

Jared Weinstein|ArXiv.org|Oct 6, 2009

Advanced Algebra and Geometry参考文献 12被引用 4

一句话总结

该论文在奇剩余特征的非阿基米德局部域 F 的剩余域的代数闭包上显式构造了一个稳定的 Lubin-Tate 曲线 X，使得 GL(2,F) 的 Jacquet-Langlands 对应与局部 Langlands 对应在 étale 上同调 H¹ét(X, Qℓ) 中实现。曲线 X 是光滑射影曲线的并，具有法向相交的奇点，其上同调通过 GL₂(F) × B× × WF 的作用实现对应关系，其中通过辅助曲线的上同调上的 Frobenius 作用，几何地解释了局部 Langlands 对应中的微妙扭变。

ABSTRACT

Let $F$ be a non-Archimedean local field with residue field $k$ of odd characteristic, and let $B/F$ be the division algebra of rank 4. We explicitly construct a stable curve $\mathfrak{X}$ over the algebraic closure of $k$ admitting an action of $GL_2(F) imes B^ imes imes W_F$ which realizes the Jacquet-Langlands correspondence and the local Langlands correspondence in its cohomology.

研究动机与目标

• 在奇剩余特征的非阿基米德局部域 F 的剩余域的代数闭包上构造一个几何对象 X，以实现 GL(2,F) 的非交换 Lubin-Tate 理论。
• 在稳定曲线 X 的上同调中，通过纯粹局部的几何方式实现 Jacquet-Langlands 与局部 Langlands 对应关系。
• 通过 X 的几何结构及辅助曲线的上同调上 Frobenius 作用，几何地解释超临界表示的局部 Langlands 对应中的微妙扭变。
• 将显式表示论构造（例如通过层与类型）与 Lubin-Tate 空间的上同调几何联系起来。

提出的方法

• 在 k̄ 上构造一个稳定曲线 X，其中 k̄ 是 F 的剩余域的代数闭包，使得其不可约分支为光滑射影曲线，且奇点为法向相交。
• 赋予 X 一个自然的 GL₂(F) × B× × WF 作用，其中 B 是 F 上秩为 4 的除法代数。
• 证明紧支集 étale 上同调 H¹ét(X, Qℓ) 通过分解为 π ⊗ π′ ⊗ σ 的形式，实现 Jacquet-Langlands 与局部 Langlands 对应关系，其中 π, π′, σ 分别是 GL₂(F), B×, 和 WF 的表示。
• 分析辅助曲线（如双曲与 Hermite 曲线）上 Frobenius 作用的上同调，以几何方式解释局部 Langlands 对应中的扭变。
• 利用 Lefshetz 不动点定理与特征标理论，计算 Frobenius 在上同调上的迹，特别是加法群与乘法群作用的特征标空间上的迹。
• 借助关于 Drinfeld 上半平面与消失上同调的已知结果，将 X 与经典 Lubin-Tate 模空间 M₂LT,F 联系起来。

实验结果

研究问题

• RQ1 如何在纯粹局部、显式的方式下，不借助全局 Shimura 或 Drinfeld 集合，几何地实现 GL(2,F) 的局部 Langlands 对应？
• RQ2 在深度为零的超临界表示中，局部 Langlands 对应中由一个 tame 分歧特征 ∆χ 引起的扭变，其几何起源是什么？
• RQ3 稳定 Lubin-Tate 曲线 X 的上同调如何反映 GL₂(F) × B× × WF 的三重积作用？
• RQ4 Jacquet-Langlands 对应能否在 k̄ 上的单个几何对象 X 的上同调中实现，且具有明确的曲线结构？
• RQ5 辅助曲线（如双曲与 Hermite 曲线）的上同调在理解 Frobenius 作用于 Lubin-Tate 曲线上的作用中起什么作用？

主要发现

• 稳定 Lubin-Tate 曲线 X 是光滑射影曲线的并，具有法向相交奇点，其连通分支与经典 Lubin-Tate 模空间 M₂LT,F 的连通分支之间存在自然的双射。
• 上同调 H¹ét(X, Qℓ) 通过 GL₂(F) × B× × WF 的作用，同时实现了 Jacquet-Langlands 与局部 Langlands 对应关系。
• 局部 Langlands 对应中扭变 ∆χ 的几何起源，由双曲曲线 Y² = X^q − X 上 Frobenius 作用于上同调的解释所揭示，其中在 ψ-特征空间上的特征值为 −gψ，即二次 Gauss 和。
• 对于 Hermite 曲线 X: Y^{q+1} = X^q + X，几何 Frobenius 在 H¹(X, Qℓ) 上的作用为标量 −q，确认了其最大性，并提供了一个上同调实现的关键范例。
• 双曲曲线 Y² = X^q − X 的上同调 H¹(X, Qℓ) 按 F_q 的非平凡特征标 ψ 分解为直和，其中 H¹[ψ] 为一维，且 Frobenius 作用的特征值为 −gψ。
• 加法群 F_q 在双曲曲线 Y² = X^q − X 上的作用在无穷远点 ∞ 处有唯一的不动点，重数为 3，且对 α ∈ F_q×，其在 H¹ 上的迹为 −1，与特征标和分解一致。