[论文解读] The cohomology of lattices in SL(2,C)

Tobias Finis, Fritz Grunewald+1 more|ArXiv.org|Aug 8, 2008

Algebraic Geometry and Number Theory参考文献 50被引用 9

一句话总结

本文研究 SL(2,ℂ) 中格的上同调，重点关注对称张量表示 Eₙ = Symⁿ ⊗ Sym̄ⁿ 的 H¹(Γ, Eₙ) 的维数。通过理论分析与大量计算，本文为固定格建立了 O(n²/log n) 的上界，通过基底变换证明了 SL(2,𝒪) 的线性下界，并在两种情况下发现了非提升的上同调类，同时计算了包括 Helling 的群和 Klimenko 的例子以及一个共(compact)四面体群在内的非算术群的上同调。

ABSTRACT

This paper contains both theoretical results and experimental data on the behavior of the dimensions of the cohomology spaces H^1(G,E_n), where Gamma is a lattice in SL(2,C) and E_n is one of the standard self-dual modules. In the case Gamma = SL(2,O) for the ring of integers O in an imaginary quadratic number field, we make the theory of lifting explicit and obtain lower bounds linear in n. We have accumulated a large amount of experimental data in this case, as well as for some geometrically constructed and mostly non-arithmetic groups. The computations for SL(2,O) lead us to discover two instances with non-lifted classes in the cohomology. We also derive an upper bound of size O(n^2 / log n) for any fixed lattice Gamma in the general case. We discuss a number of new questions and conjectures suggested by our results and our experimental data.

研究动机与目标

• 理解 SL(2,ℂ) 中格 Γ 及对称张量表示 Eₙ 的上同调空间 H¹(Γ, Eₙ) 维数的行为。
• 为固定格的 dim H¹(Γ, Eₙ) 随 n 增长的速率建立理论界。
• 显式计算算术格（例如，虚二次整数 𝒪 上的 SL(2,𝒪)）和非算术群的上同调维数。
• 研究 Bianchi 群及其他非算术格的上同调中是否存在非提升类。
• 探讨 Hecke 算子对非提升类的作用，并识别具有非平凡算术结构的新上同调例子。

提出的方法

• 通过基底变换和 Eichler-Shimura 同构进行理论分析，将上同调与自守形式及 Hecke 算子关联。
• 应用 SL(2,ℂ) 的不变迹公式，推导 dim H¹(Γ, Eₙ) 的上界。
• 使用群上同调技术对有限表示群显式计算上同调维数。
• 通过模形式符号和算法方法计算上同调类上的 Hecke 特征值。
• 对非算术群（如 Helling 的群和 Klimenko 的群）使用表示式和矩阵实现，在低阶中计算上同调。
• 系统计算同余子群及共(compact)和非共(compact)格中有限指数子群的上同调。

实验结果

研究问题

• RQ1 对于 SL(2,ℂ) 中的固定格 Γ，dim H¹(Γ, Eₙ) 随 n 增大时的渐近增长速率如何？
• RQ2 Bianchi 群的上同调中是否存在非提升类？若存在，如何检测与计算？
• RQ3 Helling 的群和 Klimenko 的例子等非算术格的 H¹(Γ, Eₙ) 的精确维数是多少？
• RQ4 Hecke 算子如何作用于非提升上同调类？这对其算术性质有何含义？
• RQ5 共(compact)非算术格（如四面体反射群 Γ₂₆）的上同调如何？

主要发现

• 在 Bianchi 群 SL(2,𝒪₋₇) 中，于 H¹(Γ, E₁₂) 发现一个非提升上同调类，其维数为 6，超过预期的提升贡献。
• 在 SL(2,𝒪₋₁₁) 中，于 H¹(Γ, E₁₀) 检测到一个非提升类，维数为 6，同样超过提升部分。
• 对于 Helling 的非算术群 Θₘ（m ≥ 3），当 3 ≤ m ≤ 150 且 1 ≤ n ≤ 30 时，H¹(Γ, Eₙ) 的维数为 1，表明此范围内无尖点上同调。
• 对于共(compact)四面体群 Γ₂₆，当 0 ≤ n ≤ 90 时，H¹(Γ₂₆, Eₙ) = 0，表明此范围内上同调平凡。
• 在 Γ₂₆ 的指数 ≤24 的子群中，191 个满足 0 ≤ n ≤ 10 时 H¹(Γ, Eₙ) 为平凡，30 个维数为 1，1 个维数为 2。
• 为 SL(2,ℂ) 中任意固定格 Γ 建立了 dim H¹(Γ, Eₙ) 的 O(n²/log n) 上界，优于先前估计。