[論文レビュー] L-modules and micro-support

Leslie Saper|ArXiv.org|Dec 22, 2001

Advanced Topics in Algebra参考文献 34被引用数 14

ひとこと要約

この論文は、局所的に対称空間の再帰的ボレル＝サーレー型コンパクト化上の可解層の研究のための組合せ論的枠組みとして、$\mathrm{L}$-加群を導入する。$\mathrm{L}$-加群の微小台を定義し、グローバルな消滅定理を証明し、重み付きコホモロジーおよび交差コホモロジーの微小台を計算し、制限に関して関手的性質を確立する。主な結果は15年前の予想を解決する：ヘルミート型局所的に対称空間で、等長ランクの境界成分を有する場合、再帰的ボレル＝サーレー型コンパクト化の交差コホモロジーは、バイリー＝ボレル＝サタケ型コンパクト化のそれと同型である。

ABSTRACT

L-modules are a combinatorial analogue of constructible sheaves on the reductive Borel-Serre compactification of a locally symmetric space. We define the micro-support of an L-module; it is a set of irreducible modules for the Levi quotients of the parabolic Q-subgroups associated to the strata. We prove a vanishing theorem for the global cohomology of an L-module in term of the micro-support. We calculate the micro-support of the middle weight profile weighted cohomology and the middle perversity intersection cohomology L-modules. (For intersection cohomology we must assume the Q-root system has no component of type D_n, E_n, or F_4.) Finally we prove a functoriality theorem concerning the behavior of micro-support upon restriction of an L-module to the pre-image of a Satake stratum. As an application we settle a conjecture made independently by Rapoport and by Goresky and MacPherson, namely, that the intersection cohomology (for either middle perversity) of the reductive Borel-Serre compactification of a Hermitian locally symmetric space is isomorphic to the intersection cohomology of the Baily-Borel-Satake compactification. We also obtain a new proof of the main result of Goresky, Harder, and MacPherson on weighted cohomology as well as generalizations of both of these results to general Satake compactifications with equal-rank real boundary components. An overview of the theory of L-modules and the above conjecture, as well as an application to the cohomology of arithmetic groups, can be found in math.RT/0112250 .

研究の動機と目的

• 再帰的ボレル＝サーレー型コンパクト化上の可解層の類似物として、$\mathrm{L}$-加群の組合せ論的理論を構築すること。
• $\mathrm{L}$-加群の微小台を定義し、その微小台がパラボリック部分群のレヴィ商の既約表現を符号化することを研究すること。
• $\mathrm{L}$-加群の微小台を用いて、グローバルな消滅定理を証明すること。
• 中間重みプロファイルの重み付きコホモロジーおよび中間perversityの交差コホモロジー$\mathrm{L}$-加群の微小台を計算すること。
• 微小台の制限に関する関手的性質を証明し、ラポールトおよびゴレスキー＝マクファーソンの予想に応用すること。

提案手法

• パラボリック部分群およびそのレヴィ商が、可解部分代数のコホモロジーに作用することを用いて、$\mathrm{L}$-加群の理論を構築する。
• 微小台は、$\mathrm{L}$-加群のコホモロジー構造から導かれる、$L_P$-加群の既約表現の集合として定義される。
• コホモロジーの構造を用いて、$H(\mathfrak{n}_P; E)$ を $W_P$（最小長さのコセット代表元）でインデックスづけられた $L_P$-加群に分解する、コスタントの定理を用いる。
• 再帰的ボレル＝サーレー型コンパクト化の構造を用いて、微小台と関連するコホモロジーの台を分析することで、グローバルな消滅定理を確立する。
• 包含写像によるストラトのコホモロジーの振る舞いを分析し、$W = W^P W_P$ の分解を用いることで、微小台の制限に関する関手的性質を証明する。
• ラポールト–ゴレスキー–マクファーソンの予想は、$\pi: \widehat{X} \to X^*$ による射影の下で、交差コホモロジーの微小台が保存されることを示すことによって解決され、交差コホモロジー層の擬同型が得られる。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、$\mathrm{L}$-加群のコホモロジーの表現論的構造を捉える微小台を定義できるか？
• RQ2 再帰的ボレル＝サーレー型コンパクト化上での中間重みプロファイルの重み付きコホモロジー$\mathrm{L}$-加群の微小台は何か？
• RQ3 中間perversityの交差コホモロジー$\mathrm{L}$-加群の微小台は何か？ そして、サタケ型コンパクト化のコホモロジーとどのように関係するか？
• RQ4 $\mathrm{L}$-加群の微小台は、サタケストラトへの制限に関して関手的に振る舞うか？
• RQ5 ヘルミート型局所的に対称空間に対して、再帰的ボレル＝サーレー型コンパクト化の交差コホモロジーは、バイリー＝ボレル＝サタケ型コンパクト化のそれと同型か？

主な発見

• $\mathrm{L}$-加群の微小台は、コスタントの定理を用いて、$H(\mathfrak{n}_P; E)$ から導かれる $L_P$-加群の既約表現の集合として定義される。
• グローバルな消滅定理が証明された：$\mathrm{L}$-加群のグローバルコホモロジーは、その微小台が特定のストラトを避ける場合に消える。これは重み付きコホモロジーに関する結果を一般化する。
• 中間重みプロファイルの重み付きコホモロジー$\mathrm{L}$-加群の微小台は、ウェイル群および最高ウェイトを用いて明示的に計算される。
• 中間perversityの交差コホモロジーに対しては、$\mathbb{Q}$-ルート系が $D_n$、$E_n$、または $F_4$ 成分を含まないという条件下で微小台が計算される。
• サタケストラトへの制限に関する微小台の関手的性質が確立され、微小台が射影 $\pi: \widehat{X} \to X^*$ 沿いの引き戻しに関してうまく振る舞うことが示された。
• ラポールトおよびゴレスキー＝マクファーソンの予想は解決された：等長ランクの実境界成分を有するサタケ型コンパクト化に対して、自然な擬同型 $\pi_*\mathcal{I}_p\mathcal{C}(\widehat{X}; \mathbb{E}) \cong \mathcal{I}_p\mathcal{C}(X^*; \mathbb{E})$ が存在する。