[论文解读] L^2-cohomology of locally symmetric spaces, I

Leslie Saper|ArXiv.org|Dec 20, 2004

Advanced Algebra and Geometry参考文献 19被引用 8

一句话总结

本论文构建了一个 L²-上同调 L-模，记为 Ω_(2)(E)，其上同调实现局部对称空间的 L²-上同调，并计算其微支集。关键贡献在于提出了一套新的组合框架，利用 L-模证明了 Borel-Zucker 猜想——L²-上同调同构于中间迷向性截面上同调——且无需满足埃尔米特或等秩假设。

ABSTRACT

Let X be a locally symmetric space associated to a reductive algebraic group G defined over Q. L-modules are a combinatorial analogue of constructible sheaves on the reductive Borel-Serre compactification of X; they were introduced in [math.RT/0112251]. That paper also introduced the micro-support of an L-module, a combinatorial invariant that to a great extent characterizes the cohomology of the associated sheaf. The theory has been successfully applied to solve a number of problems concerning the intersection cohomology and weighted cohomology of the reductive Borel-Serre compactification [math.RT/0112251], as well as the ordinary cohomology of X [math.RT/0112250]. In this paper we extend the theory so that it covers L^2-cohomology. In particular we construct an L-module whose cohomology is the L^2-cohomology of X and we calculate its micro-support. As an application we obtain a new proof of the conjectures of Borel and Zucker.

研究动机与目标

• 将 L-模理论扩展至包含此前未被系统处理的 L²-上同调。
• 克服 L²-理论中由无限维局部上同调引发的分析与代数挑战。
• 为 L²-上同调、截面上同调与加权上同调提供统一的组合框架，使用 L-模。
• 在完全一般情形下证明 Borel-Zucker 猜想——L²-上同调同构于中间迷向性截面上同调——无需埃尔米特或等秩假设。
• 计算 L²-上同调 L-模的微支集，从而实现对上同调不变量的更深层次结构分析。

提出的方法

• 引入广义 L-模 Ω_(2)(E)，用于建模局部对称空间 X 上 L²-微分形式的复形。
• 使用半单 Borel-Serre 紧化 X̂ 作为几何模型，借助商映射 π: X̂ → X* 将 L²-上同调与层上同调联系起来。
• 通过 L-模及其相关类型理论定义 Ω_(2)(E) 的微支集，扩展了对构造层的先前工作。
• 应用通过 i* 和 i! 的正向像 Rπ_*Ω_(2)(E) 的消失条件对截面上同调的局部刻画。
• 利用微支集估计 d(k*Ω_(2)(E)) < (1/2)codim F 证明实现同调类拟同构所必需的消失定理。
• 利用 SS(Ω_(2)(E)) = {E} 的事实，并应用 [33, 推论 26.2] 控制纤维限制的上同调维数。

实验结果

研究问题

• RQ1 尽管存在无限维局部上同调，L²-上同调是否能通过 L-模实现组合建模？
• RQ2 L²-上同调 L-模 Ω_(2)(E) 的微支集是什么？它如何与边界几何相关？
• RQ3 Borel-Zucker 猜想——L²-上同调同构于中间迷向性截面上同调——是否在无埃尔米特或等秩假设下依然成立？
• RQ4 Rapoport 猜想（I_pH(X*) ≅ I_pH(X̂)）能否通过 L-模框架推广至 L²-上同调？
• RQ5 Ω_(2)(E) 的微支集如何编码 L²-形式在边界层附近的上同调行为？

主要发现

• 本文构建了一个 L-模 Ω_(2)(E)，其上同调同构于局部对称空间 X 的 L²-上同调 H_(2)(X;E)。
• Ω_(2)(E) 的微支集被计算为 SS(Ω_(2)(E)) = {E}，这是一个关键不变量，控制其上同调行为。
• Borel-Zucker 猜想在完全一般情形下被证明：存在自然的拟同构 Ω_(2)(X*;E) ≅ I_pC(X*;E)，意味着 H_(2)(X;E) ≅ I_pH(X*;E)。
• 证明依赖于证明纤维上同调满足 d(k*Ω_(2)(E)) < (1/2)codim F，从而推出截面上同调所必需的消失性。
• 该结果适用于所有局部对称空间，包括非埃尔米特和非等秩情形，扩展了此前需附加此类限制的结果。
• 该框架通过 L-模与微支集，统一了 L²-上同调、截面上同调与加权上同调于单一组合模型之下。