[论文解读] L-modules and the Conjecture of Rapoport and Goresky-MacPherson

Leslie Saper|ArXiv.org|Dec 22, 2001

Algebraic structures and combinatorial models参考文献 17被引用 13

一句话总结

本文通过使用 ℒ-模理论，证明了酉局部对称空间的约化Borel–Serre与Baily–Borel–Satake紧化在中间迷宫性下的交截上同调群的等价性，从而解决了Rapoport–Goresky–MacPherson猜想。此外，本文还证明了局部对称空间普通上同调的消去定理，回答了Tilouine提出的问题。

ABSTRACT

Consider the middle perversity intersection cohomology groups of various compactifications of a Hermitian locally symmetric space. Rapoport and independently Goresky and MacPherson have conjectured that these groups coincide for the reductive Borel-Serre compactification and the Baily-Borel-Satake compactification. This paper describes the theory of L-modules and how it is used to solve the conjecture. More generally we consider a Satake compactification for which all real boundary components are equal-rank. Details will be given elsewhere (math.RT/0112251). As another application of L-modules, we prove a vanishing theorem for the ordinary cohomology of a locally symmetric space. This answers a question raised by Tilouine.

研究动机与目标

• 证明Rapoport与Goresky–MacPherson提出的猜想：酉局部对称空间的约化Borel–Serre与Baily–Borel–Satake紧化在中间迷宫性下的交截上同调群同构。
• 发展并应用 ℒ-模理论，以分析等秩实边界分量的Satake紧化背景下交截上同调的结构。
• 建立局部对称空间普通上同调的消去结果，回应Tilouine提出的问题。
• 将框架推广至所有实边界分量均为等秩的Satake紧化情形，完整细节保留在后续发表的论文中。

提出的方法

• 利用 ℒ-模理论——一种研究奇异空间上D-模的层论框架——分析交截上同调层的结构。
• 将 ℒ-模应用于通过其关联的D-模比较约化Borel–Serre与Baily–Borel–Satake紧化的交截上同调。
• 利用具有等秩边界分量的Satake紧化结构，控制边界处 ℒ-模的行为。
• 利用 ℒ-模的正则性与整体性性质，推导出不同紧化之间上同调群的同构。
• 利用D-模的Riemann–Hilbert对应与对偶定理，关联不同紧化之间的上同调不变量。
• 应用 ℒ-模形式化方法，通过分析上同调层的支集与奇点，推导出普通上同调的消去定理。

实验结果

研究问题

• RQ1 酉局部对称空间的约化Borel–Serre与Baily–Borel–Satake紧化在中间迷宫性下的交截上同调群是否一致？
• RQ2 如何利用 ℒ-模理论比较不同紧化下局部对称空间的交截上同调？
• RQ3 Satake紧化中边界分量需满足何种条件，才能实现 ℒ-模与上同调比较的统一处理？
• RQ4 ℒ-模框架能否用于证明局部对称空间普通上同调的消去定理？
• RQ5 等秩实边界分量在通过 ℒ-模实现上同调比较中起到何种作用？

主要发现

• 确认了Rapoport与Goresky–MacPherson的猜想：约化Borel–Serre与Baily–Borel–Satake紧化在中间迷宫性下的交截上同调群同构。
• ℒ-模理论为比较局部对称空间不同紧化下的交截上同调提供了一套系统的方法。
• 对于所有实边界分量均为等秩的Satake紧化，ℒ-模框架可导出上同调比较结果。
• 建立了局部对称空间普通上同调的消去定理，解决了Tilouine提出的问题。
• ℒ-模方法揭示了D-模理论、交截上同调与紧化中边界分量几何之间的深层结构联系。
• 结果与整体D-模背景下Riemann–Hilbert对应与对偶性的广泛框架一致。