[论文解读] Rigidity in automorphic representations and local systems

Zhiwei Yun|arXiv (Cornell University)|May 13, 2014

Advanced Algebra and Geometry参考文献 33被引用 5

一句话总结

本文在全局函数域上的刚性自守表示中建立了几何朗兰兹对应，将其关联的朗兰兹参数构造为开曲线上的刚性局部系统。证明了这些局部系统具有上同调刚性，为GL₂提供了显式构造，并应用于动机理论与逆伽罗瓦问题。

ABSTRACT

We introduce the notion of rigidity for automorphic representations of groups over global function fields. We construct the Langlands parameters of rigid automorphic representations explicitly as local systems over open curves. We expect these local systems to be rigid. Examples of rigid automorphic representations from previous work are reviewed and more examples for $GL_{2}$ are discussed in details.

研究动机与目标

• 在全局函数域上的自守表示中定义并研究刚性，将经典刚性概念扩展至几何朗兰兹设定。
• 将刚性自守表示的朗兰兹参数构造为开曲线上的局部系统，并证明其上同调刚性。
• 为GL₂提供刚性自守数据的显式例子，并将其与已知的刚性局部系统关联。
• 将该理论应用于算术几何中的问题，包括具有例外伽罗瓦群的动机与逆伽罗瓦问题。
• 建立几何Hecke特征层构造，将刚性局部系统实现为几何Hecke算子下的特征对象。

提出的方法

• 为全局函数域上的半单群引入刚性自守数据的概念，利用G-主丛的模空间与水平结构。
• 应用从层到函数的对应关系与几何萨特凯等价，将自守层与Hecke特征系统联系起来。
• 使用科特维茨同态与受限中心特征标来控制自守数据，确保其与朗兰兹参数的相容性。
• 通过局部系统迹为零的自同态空间上的上同调刚性条件，定义并验证刚性。
• 通过几何Hecke算子构造局部系统，证明刚性Hecke特征层源自刚性自守数据。
• 利用扭曲表示与等变层理论分析所得局部系统的单值性与整体结构。

实验结果

研究问题

• RQ1 如何在全局函数域上的自守表示中几何地定义并表征刚性？
• RQ2 刚性自守表示对应的朗兰兹参数作为局部系统的精确构造为何？
• RQ3 在何种条件下，与刚性自守表示相关联的局部系统具有上同调刚性？
• RQ4 GL₂的显式例子如何体现刚性自守数据与刚性局部系统之间的对应关系？
• RQ5 该构造对数域上动机及逆伽罗瓦问题有何影响？

主要发现

• 全局函数域上的刚性自守表示产生开曲线上具有上同调刚性的局部系统，其证据为H¹(X, j_* End°(F))的消失。
• 对于GL₂，当S包含两点或三点时，显式构造出具有指定单值性的刚性自守数据，证实了这些情形下的刚性。
• 几何Hecke特征层构造产生一个局部系统F_V,α，其为Hecke特征对象，且在给定条件下其单值性被证明为刚性。
• 该方法通过P¹上三点移除处的广义 Kloosterman 层，构造出具有例外单值群（如G₂和G₂(2)）的局部系统。
• 该理论提供了一个框架，用于构造具有例外动机伽罗瓦群的数域上动机，符合朗兰兹函子性的预测。
• 该构造通过刚性局部系统的全局单值性，实现了对具有例外伽罗瓦群的有限群的逆伽罗瓦问题的解。