[论文解读] Automorphic cohomology, motivic cohomology, and the adjoint $L$-function

Kartik Prasanna, Akshay Venkatesh|arXiv (Cornell University)|Sep 20, 2016

Advanced Algebra and Geometry参考文献 26被引用 6

一句话总结

本文提出了一种关于算术群上同调与朗兰兹相关动机的动机上同调之间猜想性联系，特别关注在 s=1 处的伴随 L 函数。通过周期积分与解析 torsion，它构建了动机上同调对自守上同调的度数转移作用，并通过特定情形下 Hodge 线性代数的抵消现象进行了数值验证。

ABSTRACT

We propose a relationship between the cohomology of arithmetic groups, and the motivic cohomology of certain (Langlands-)attached motives. The motivic cohomology group in question is that related, by Beilinson's conjecture, to the adjoint $L$-function at $s=1$. We present evidence for the conjecture using the theory of periods of automorphic forms, and using analytic torsion.

研究动机与目标

• 解释算术群上同调中的谱简并现象，即 Hecke 算子在多个度数上具有相同特征值。
• 提出这种简并源于动机上同调对有理上同调的隐藏度数转移作用。
• 通过阿基米德上同调算子将此作用与 Beilinson 在 s=1 处关于伴随 L 函数的猜想联系起来。
• 提供一个数值框架，通过周期积分与 Hodge 线性代数来检验该猜想。
• 在低秩情形（例如 δ=3）中验证预测结果，其中 Hodge 结构中的大规模抵消产生一致结果。

提出的方法

• 将算术流形 Y(K) 的上同调表述为群上同调的直和，其中 Hecke 作用通过自守表示 π 因子化。
• 通过在非分歧位置的特征标 χ_v 将上同调局部化到一个 Hecke 特征系统 Π，聚焦于具有非零 (g,K∞⁰)-上同调的温顺、尖点表示。
• 定义动机上同调对 H*(Y,Q)ₚ 的猜想性作用，该作用与 Hecke 代数可交换，并将度数提升 δ。
• 利用阿基米德上同调算子在 C 上定义该作用，并猜想其保持有理结构。
• 对 G = PGL_n、SO_m 和 Sp(2n)，使用 c-群的标准表示计算相关动机 M 和 Ad(M) 的 Hodge 数。
• 通过周期积分与 Hodge-线性代数验证预测，观察到 δ=3 情形下的奇迹性抵消。

实验结果

研究问题

• RQ1 如何通过隐藏的动机结构解释算术群上同调中的谱简并？
• RQ2 朗兰兹动机的动机上同调与 s=1 处的伴随 L 函数之间的确切关系是什么？
• RQ3 动机上同调对有理上同调的猜想性度数转移作用能否通过周期积分与 Hodge 理论实现？
• RQ4 在哪些情形下预测的周期矩阵与数值计算一致？其观察到的抵消现象如何解释？
• RQ5 动机 M 及其伴随表示 Ad(M) 的 Hodge 数如何反映自守形式的上同调结构？

主要发现

• 上同调 H*(Y,C)ₚ 在度数 j 上的重数为 k·(δ choose j−q)，其中 δ = rank(G) − rank(K∞) 且 q = (dim Y − δ)/2，从而解释了谱简并现象。
• 对于 G = SL_{2m}，上同调度数范围从 q = m² 到 q + δ = m² + m − 1，重数与二项式系数成正比。
• 在 δ=3 情形中，数值验证揭示了 Hodge-线性代数中的大规模抵消，从而对周期矩阵得出了稳定一致的预测。
• 对于 PGL_n，动机 M 的 Hodge 数为 (n−1,0)、(n−2,1)、...、(0,n−1)，每个性质重数为一。
• 对于 SO_{2n}，动机 M 的 Hodge 数为 (2n−2,0)¹、(2n−3,1)¹、...、(n−1,n−1)²、...、(0,2n−2)¹，Ad(M) 具有对称模式。
• 对于 SO_{2n+1}，动机 M 的 Hodge 数为 (2n−1,0)、(2n−2,1)、...、(0,2n−1)，每个性质重数为一，而 Ad(M) 的重数为 1,1,2,2,...,n,n,...,2,2,1,1。