[论文解读] Moduli of Langlands Parameters

Jean-François Dat, David Helm+2 more|arXiv (Cornell University)|Sep 14, 2020

Advanced Algebra and Geometry被引用 7

一句话总结

本文为残数特征为 p 的非阿基米德局部域 F 构造了朗兰兹参数的模空间，参数化从 Weil 群 WF 到朗兰兹对偶群 GL = ˆG ⋊ WF 的连续同态。该空间在 Z[1/p] 上局部有限型、平坦且为约化的局部完整交，其连通分支与不可约分支有显式参数化。关键贡献在于避免了先前构造在小特征 ℓ 下的平坦性问题，实现了朗兰兹参数的几何实现。

ABSTRACT

Let $F$ be a nonarchimedean local field of residue characteristic $p$, let $\hat{G}$ be a split reductive group over $\mathbb{Z}[1/p]$ with an action of $W_F$, and let $^LG$ denote the semidirect product $\hat{G} times W_F$. We construct a moduli space of Langlands parameters $W_F o {^LG}$, and show that it is locally of finite type and flat over $\mathbb{Z}[1/p]$, and that it is a reduced local complete intersection. We give parameterizations of the connected components and the irreducible components of the geometric fibers of this space, and parameterizations of the connected components of the total space over $\overline{\mathbb{Z}}[1/p]$ (under mild hypotheses) and over $\overline{\mathbb{Z}}_{\ell}$ for $\ell eq p$. In each case, we show precisely how each connected component identifies with the "principal" connected component attached to a smaller split reductive group scheme. Finally we study the GIT quotient of this space by $\hat{G}$ and give a complete description of its fibers up to homeomorphism, and a complete description of its ring of functions after inverting an explicit finite set of primes depending only on $^LG$.

研究动机与目标

• 为局部域上半单代数群构造一个行为良好的朗兰兹参数模空间 WF → GL。
• 克服在 ℓ 整除分母或 q²−1 时，先前形变理论构造中平坦性失效的问题。
• 为 ℓ-进连续 L-同态提供一个几何框架，推广 GLn 的情形。
• 描述模空间及其 GIT 商的连通分支与不可约分支。
• 在对有限个素数进行倒数后，完整描述 GIT 商的函数环。

提出的方法

• 通过受 Helm（2020）启发的几何方法，在 Z[1/p] 上构造了朗兰兹参数的模空间，使其成为局部有限型的概形。
• 利用 Weil 群与惯性子群的结构，通过形变理论论证将问题约化为驯服参数。
• 运用扭 Poincaré 多项式理论与上同调技术分析分支结构。
• 应用 Kostant 的截面定理与 Chevalley-Steinberg 公式，研究幂零轨道与中心化子的几何性质。
• 通过 ˆG 作用下的等变几何与余切丛上的 Gm-作用分析 GIT 商。
• 利用 β 在共特征格上的作用的特征多项式，将分支结构与更小群的结构联系起来。

实验结果

研究问题

• RQ1 能否构造一个在 Z[1/p] 上平坦且避免 ℓ-进形变理论中平坦性失效的朗兰兹参数模空间？
• RQ2 朗兰兹参数模空间的连通分支与不可约分支如何与更小半单群的分支相关联？
• RQ3 模空间关于 ˆG 的 GIT 商的结构如何？其函数环能否被明确描述？
• RQ4 Weil 群与 Frobenius 自同态的作用如何影响模空间的分支结构？
• RQ5 模空间的几何结构能否以幂零轨道与共轭类来参数化？

主要发现

• 朗兰兹参数的模空间在 Z[1/p] 上局部有限型且平坦，解决了先前构造中的关键障碍。
• 该空间为约化的局部完整交，确保了良好的奇点性质与几何控制。
• 几何纤维的连通分支由对偶群 ˆG 中的幂零元素的共轭类参数化。
• 几何纤维的不可约分支与 ˆG 中幂零元素的共轭类一一对应，每个分支同构于更小半单群的主分支。
• 在 Z[1/p] 上的全空间中，连通分支由相同的幂零共轭类参数化，每个分支同构于更小群的主分支。
• 模空间关于 ˆG 的 GIT 商的函数环在对有限个素数取倒数后被显式描述，其依赖仅由 GL 决定。