[论文解读] Geometrization of the local Langlands correspondence: an overview

L Fargues|arXiv (Cornell University)|Feb 2, 2016

Advanced Algebra and Geometry参考文献 23被引用 32

一句话总结

本文通过在p-adic曲线上构造G-主丛的堆上的Hecke特征层，提出了p-adic域上的几何Langlands对应，将p-adic Hodge理论、局部Langlands对应与几何表示理论联系起来。关键结果是，该层通过在基本Kottwitz集合上的截面上的Sφ作用实现了L-包，且在阿贝尔情形下验证了特征层与Hecke特征性质。

ABSTRACT

This article is an overview of the geometrization conjecture for the local Langlands correspondence formulated by the author.

研究动机与目标

• 通过使用新曲线和G-主丛的堆，制定p-adic局部域上的几何Langlands对应。
• 通过一个猜想的Hecke特征层，统一p-adic Hodge理论、几何Langlands与局部Langlands对应。
• 确立该层通过在基本σ-共轭类上的Jb(E)-表示上的Sφ作用实现L-包。
• 在阿贝尔情形下，利用晶体表示与Galois作用，验证特征层与Hecke特征性质。

提出的方法

• 在Fq-完美oid空间S上构造一个完美oid曲线XS，其关联的E-adic空间为|XS|，并定义G-主丛堆BunG。
• 通过Bdr仿射Grassmannian定义Hecke对应关系，利用以cocharacter μ为指标的Schubert胞腔。
• 使用Kottwitz双射|BunG, F̄q| ≅ B(G)将G-主丛分类为σ-共轭类。
• 将层Fφ实现为BunG × F̄q上的Weil-纯层，其在椭圆点上具有Frobenius作用。
• 通过证明在δ ∈ G(E)ell处的截面携带与Nμ′相容的Frobenius作用，验证特征层性质。
• 通过Galois表示ρδ,μ′与局部类域论的基变换相容性，验证Hecke特征性质。

实验结果

研究问题

• RQ1 如何通过新p-adic曲线实现p-adic域上局部Langlands对应的几何化？
• RQ2 Bdr仿射Grassmannian在定义G-主丛的Hecke对应关系中起什么作用？
• RQ3 Sφ作用如何在层Fφ上实现对扩展纯内形式Jb的L-包？
• RQ4 在阿贝尔情形下，晶体表示与Galois作用如何确保Hecke特征性质？
• RQ5 该层Fφ作为具有特征层性质的Weil-纯层，其精确的几何与算术结构是什么？

主要发现

• 猜想的Hecke特征层Fφ在BunG上Sφ-等变，且通过其在基本Kottwitz类上的截面作用实现L-包。
• 对每个基本[b] ∈ B(G)，Fφ在对应点处的截面给出Jb(E)上的光滑表示，且Sφ作用与之可交换。
• 特征层性质成立：在椭圆元素δ ∈ G(E)ell处的截面携带Frobenius作用，使其成为Weil局部系统。
• 在阿贝尔情形下，通过晶体表示ρδ,μ′与公式ρδ,μ′ ∘ Art(x) = Nμ′(x)−1（x ∈ OE′×）验证Hecke性质。
• 在Hecke堆上，同构h̃*Tbδ ≅ ĥ*Tb ∧ Tδ,μ′cris确认了通过Galois-等变修改实现的Hecke特征性质。
• 局部类域论同构H1(WE, T̂) ≅ Hom(T(E), Q̄ℓ×)与基变换相容，确保了特征值rμ′∘φ的一致性。