[论文解读] Construction of eigenvarieties in small cohomological dimensions for semi-simple, simply connected groups

Richard Hill|ArXiv.org|Jun 25, 2007

Homotopy and Cohomology in Algebraic Topology参考文献 30被引用 8

一句话总结

本文通过改进Emerton的谱序列方法，建立了在小上同调维数下对半单、单连通群的特征值簇的构造。对于实秩1群，特征值簇在上同调维数1中被构造；对于实秩2群，通过修改方法在维数2中成功实现，依赖于某些李上同调群的消失性与同余核的平凡性。

ABSTRACT

We study low order terms of Emerton's spectral sequence for simply connected, simple groups. As a result, for real rank 1 groups, we show that Emerton's method for constructing eigenvarieties is successful in cohomological dimension 1. For real rank 2 groups, we show that a slight modification of Emerton's method allows one to construct eigenvarieties in cohomological dimension 2.

研究动机与目标

• 将特征值簇的构造扩展至半单、单连通群在小上同调维数下的情形。
• 通过识别Emerton原始方法在更高上同调度下仍有效的条件，解决其在高维上的局限性。
• 在实秩1群中建立维数1的特征值簇，在实秩2群中建立维数2的特征值簇。
• 验证弱Emerton准则与同余核的平凡性对SL₂、SL₃、Sp₄和Spin(2,l)等关键群成立。
• 为通过特征值簇在低维上同调中插值经典自守表示提供一个框架。

提出的方法

• 将Emerton的谱序列方法适配于具有代数表示系数的算术群上同调。
• 将谱序列应用于定义在数域上的单连通半单群的许瓦兹曼簇。
• 利用群的局部解析上同调分析E₂页，并追踪其在E₃与E₄页的稳定化过程。
• 运用Satake同构与Hecke代数分解，描述球对称Hecke代数在上同调上的作用。
• 依赖于同余核的平凡性与相对李上同调群的消失性（例如H³(𝔤, K∞, ℂ) = 0）以确保谱序列的退化。
• 应用庞加莱对偶性，将构造推广至偶维对称空间中的互补上同调度。

实验结果

研究问题

• RQ1 Emerton的特征值簇构造方法是否可成功应用于实秩1群在上同调维数1的情形？
• RQ2 Emerton方法的修改版本是否允许在实秩2群的上同调维数2中实现特征值簇的构造？
• RQ3 谱序列在何种条件下能足够早地稳定，从而容许特征值簇的构造？
• RQ4 同余核的平凡性在确保弱Emerton准则有效性方面起什么作用？
• RQ5 李上同调消失结果（如H³(𝔤, K∞, ℂ) = 0）如何影响低维中特征值簇的构造？

主要发现

• 对于数域上的SL₂，通过谱序列在上同调维数1中构造了特征值簇E(1, Kᵖ)，其中E₄页在相关双次数下稳定至H²_class.(G, E)。
• 对于ℚ上的SL₃，特征值簇E(2, Kᵖ)在维数2中被构造，谱序列在E₅页稳定，且H²_class.(G, E)作为目标出现。
• 对于ℚ上的Sp₄，特征值簇E(2, Kᵖ)在维数2中被构造，谱序列已稳定，且H³_rel.Lie(𝔤, K∞, ℂ) = 0确保定理8的适用性。
• 对于l ≥ 3的Spin(2,l)，同余核为平凡，且H³(𝔤, K∞, ℂ) = 0，从而可通过定理8实现E(2, Kᵖ)的构造。
• 在所有研究的情形中，谱序列在E₄或E₅页稳定，且经典上同调群Hⁿ_class.(G, E)作为谱序列的E∞项被恢复。
• 该构造与庞加莱对偶性一致，容许特征值簇向互补上同调度（如Sp₄的H⁴）的推广。