[论文解读] Spherical varieties and p-adic families of cohomology classes

David Loeffler, Rob Rockwood+1 more|arXiv (Cornell University)|Jun 30, 2021

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

一句话总结

本文建立了球对称空间上p进上同调类族的扭兼容性定理，表明在有限生成的Iwasawa模中，单一族类可统一插值不同权（包括非平凡Grössencharacter扭）的经典上同调类。核心贡献是构建了一个统一前序关于Euler系与p进L函数结果的一般框架，通过控制定理与Euler因子计算，将新应用拓展至GSp₄、GSp₄×GL₂与GSp₄×GL₂×GL₂的Euler系。

ABSTRACT

We prove a "twist-compatibility" result for p-adic families of cohomology classes associated to symmetric spaces. This shows that a single family of classes (lying in a finitely-generated Iwasawa module) interpolates classical cohomology classes of many different weights, including twists by Grössencharacters of possibly non-trivial infinity-type. This subsumes and generalises a number of prior results relating to Euler systems and p-adic L-functions, and we conclude with some novel applications to Euler systems for GSp(4), GSp(4) x GL(2), and GSp(4) x GL(2) x GL(2).

研究动机与目标

• 建立p进上同调类族的一般框架，使其能在不同权（包括非平凡无穷型Grössencharacter扭）下统一插值经典类。
• 将Iwasawa理论中关于模形式符号与Heegner点等典型范例的范数相容系统结果，推广至高秩对称空间。
• 通过单一插值机制，统一并拓展现有GSp₄及半单群积的Euler系构造。
• 提供一种系统方法，利用球对称空间与抛物子群的结构，在Iwasawa模中构造p进上同调类族。
• 将一般理论应用于新情形，包括通过控制定理与zeta积分计算，构建GSp₄×GL₂与GSp₄×GL₂×GL₂的Euler系。

提出的方法

• 作者利用与两组半单群相关的球对称空间的开轨道条件，构造了范数相容的上同调类族。
• 他们采用Q-正则上同调群的控制定理，通过施加更强的Q-正则条件，实现在Z_p上积分结果，避免在系数中反演p。
• 该方法涉及在Q_p上半单群代数表示中定义可接受格，其最高权向量在群作用下保持不变。
• 关键技术工具是利用从L(Z_p)/L⁰(Z_p)商得到的投影有限阿贝尔群𝔻的Iwasawa代数，以参数化p进族。
• 通过在有限生成Iwasawa模中的全局构造，结合大Bruhat胞腔结构与表示论，实现不同权间经典类的插值。
• Euler因子计算将Iwahori水平类与其在p外水平的对应类关联，使与已知Euler系构造中étale上同调类的比较成为可能。

实验结果

研究问题

• RQ1 能否在统一框架下，使单一p进族上同调类插值不同权（包括非平凡Grössencharacter扭）的经典类？
• RQ2 如何在不反演p系数的前提下，于Z_p上对Q-正则上同调群的控制定理进行积分形式表述？
• RQ3 扭兼容性性质在多大程度上涵盖并推广了先前对GSp₄及其相关群的Euler系构造？
• RQ4 Iwahori水平上同调类与其在不同权与特征的典型自守表示处的特化之间，存在何种精确关系？
• RQ5 如何通过zeta积分计算，将Iwahori水平族与Euler系情境下的étale上同调类关联？

主要发现

• 主要结果定理5.2.3表明，在有限生成Iwasawa模中，单一范数相容上同调类族可插值所有权（包括非平凡无穷型Grössencharacter扭）下的经典类。
• 控制定理（定理2.6.2）通过施加强于先前工作的Q-正则条件，在不反演p的前提下实现了对Q-正则上同调群的积分控制。
• 对于GSp₄，该构造产生一个p进上同调类族，可插值[LSZ21a]中的Euler系，并将其推广至任意权与扭。
• 对于GSp₄×GL₂，本文构造了Iwahori上同调类族，其特化匹配[HJS20]中的Euler系类，并给出显式Euler因子修正。
• 对于GSp₄×GL₂×GL₂，该方法生成了对角循环类的p进族，通过自对偶扭条件确保兼容性，符合[LZ20b]的要求。
• 该框架使对GSp₄×GL₂的Bloch–Kato猜想的新应用成为可能，如[LZ21]所示，通过提供插值必要Euler系类的p进族。