[論文レビュー] L-modules and the Conjecture of Rapoport and Goresky-MacPherson

Leslie Saper|ArXiv.org|Dec 22, 2001

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

ひとこと要約

この論文は、Hermitian局所対称空間の再帰的Borel–Serre型およびBaily–Borel–Satake型コンパクト化における中間perversityの交差コホモロジー群の同型性を、ℒ-加群の理論を用いて確立することで、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.

研究の動機と目的

• Hermitian局所対称空間の再帰的Borel–Serre型およびBaily–Borel–Satake型コンパクト化における中間perversityの交差コホモロジー群が同型であるという、RapoportとGoresky–MacPhersonの予想を証明すること。
• Satakeコンパクト化における等位数の実境界成分を有する文脈において、交差コホモロジーを分析するためにℒ-加群理論を発展・適用すること。
• 局所対称空間の通常コホモロジーに対する消去結果を確立し、Tilouineが提起した問いに応えること。
• すべての実境界成分が等位数であるSatakeコンパクト化への枠組みの一般化を図り、詳細は後続の論文に備えること。

提案手法

• 特異空間上のD加群を研究するための層的枠組みであるℒ-加群理論を用い、交差コホモロジー層の構造を分析する。
• 関連するD加群を介して、再帰的Borel–Serre型およびBaily–Borel–Satake型コンパクト化の交差コホモロジーをℒ-加群を用いて比較する。
• 等位数の境界成分を有するSatakeコンパクト化の構造を活用し、境界におけるℒ-加群の振る舞いを制御する。
• ℒ-加群の正則性および特徴的性質を活用して、異なるコンパクト化間のコホモロジー同型を導出する。
• D加群のRiemann–Hilbert対応および双対性定理を用い、異なるコンパクト化間でのコホモロジー不変量を関連付ける。
• ℒ-加群形式を応用し、コホモロジー層の台と特異点を分析することで、通常コホモロジーに対する消去定理を導出する。

実験結果

リサーチクエスチョン

• RQ1 Hermitian局所対称空間の再帰的Borel–Serre型およびBaily–Borel–Satake型コンパクト化における中間perversityの交差コホモロジー群は一致するか？
• RQ2 ℒ-加群理論は、局所対称空間の異なるコンパクト化間での交差コホモロジーをどのように比較できるか？
• RQ3 Satakeコンパクト化の境界成分にどのような条件が課されると、ℒ-加群およびコホモロジー比較が一様に取り扱えるか？
• RQ4 ℒ-加群フレームワークは、局所対称空間の通常コホモロジーに対する消去定理を証明するために用いられるか？
• RQ5 等位数の実境界成分は、ℒ-加群によるコホモロジー比較を可能にする役割を果たすか？

主な発見

• RapoportおよびGoresky–MacPhersonの予想が裏付けられた：Hermitian局所対称空間の再帰的Borel–Serre型およびBaily–Borel–Satake型コンパクト化における中間perversityの交差コホモロジー群は同型である。
• ℒ-加群理論は、局所対称空間の異なるコンパクト化間での交差コホモロジーを比較する体系的な手法を提供する。
• すべての実境界成分が等位数であるSatakeコンパクト化において、ℒ-加群フレームワークはコホモロジー比較結果をもたらす。
• 局所対称空間の通常コホモロジーに対する消去定理が確立され、Tilouineの問いが解決された。
• ℒ-加群アプローチは、D加群理論、交差コホモロジー、およびコンパクト化における境界成分の幾何学的構造との間に深い構造的関係を明らかにした。
• 結果は、特徴的D加群の文脈におけるRiemann–Hilbert対応および双対性の広範な枠組みと整合的である。