[論文レビュー] Borel's stable range for the cohomology of arithmetic groups

Bena Tshishiku|arXiv (Cornell University)|Apr 9, 2019

Advanced Algebra and Geometry参考文献 12被引用数 7

ひとこと要約

この論文は、$\operatorname{Sp}_{2n}(\mathbb{Z})$ および $\operatorname{SO}_{n,n}(\mathbb{Z})$ の算術群のコホモロジーに対するボレルの安定範囲定理を精緻化し、既知の安定範囲 $i \leq c(G,V)$ を $\operatorname{Sp}_{2n}$ に対して $i \leq n-1$、$\operatorname{SO}_{n,n}$ に対して $i \leq n-2$ に改善した。これは、根と重みの上のワイル群作用の詳細な解析を用いて、ボレルのコホモロジー的安定性定理における最適定数 $C(G,V)$ を計算することで達成された。

ABSTRACT

In this note, we remark on the range in Borel's theorem on the stable cohomology of the arithmetic groups Sp(2n,Z) and SO(n,n;Z). This improves the range stated in Borel's original papers, an improvement that was known to Borel. Our main task is a technical computation involving the Weyl group action on roots and weights. This note originally appeared as the appendix to arXiv:1711.03139.

研究の動機と目的

• 算術群 $\operatorname{Sp}_{2n}(\mathbb{Z})$ および $\operatorname{SO}_{n,n}(\mathbb{Z})$ のコホモロジーに関するボレルの定理における安定範囲を精緻化すること。
• ボレルの元論的論文で示された境界を超えてコホモロジー的安定性範囲を改善すること。この境界はボレル自身が既に知られていたが、詳細な証明が欠けていた。
• ワイル群が根と重みに作用する仕組みを用いた表現論的技法により、ボレルの安定性定理における最適定数 $C(G,V)$ を計算すること。
• 既知の高次非自明コホモロジー結果に言及することで、改善された境界がほとんど鋭いことを示すこと。

提案手法

• リー代数 $\mathfrak{sp}_{2n}$ および $\mathfrak{so}_{n,n}$ の正根と重みに対するワイル群作用を分析し、定数 $C(G,V)$ を計算する。
• ボレルの一般的な安定コホモロジー枠組みを適用し、$H^*(\Gamma;V)$ をリー代数コホモロジー $H^*(\mathfrak{g},K;V)$ および対称空間上の $G(\mathbb{R})$-不変形式の空間と関連付ける。
• すべての長さ $\leq q$ の $\sigma$ に対して $\sigma(\rho + \mu) > 0$ であるという条件を用いて $C(G,V)$ を定義する。ここで $\rho$ は正根の和の半分であり、$\mu$ は $V$ の最高重量である。
• 基本的重み $\phi_k$ に対して $\sigma(\phi_k) < 0$ となるワイル群元の最小語長を分析することで、$\operatorname{Sp}_{2n}$ に対して $C(G,V) = C(G,\mathbb{C}) = n-1$、$\operatorname{SO}_{n,n}$ に対して $C(G,V) = n-2$ であることを証明する。
• 長さ $\leq n-1$ のワイル群元 $\sigma$ についてのケース解析を行い、$\sigma(\rho)$ が依然として支配的正則のままであることを示し、これによりすべての $\mu$ に対して $\sigma(\rho + \mu) > 0$ が成り立つことを示す。
• 長さ $\leq n-1$ のような $\sigma$ が $\sigma(\rho + \mu) \leq 0$ を満たすことはないため、$\operatorname{Sp}_{2n}$ に対して $C(G,V) = n-1$、$\operatorname{SO}_{n,n}$ に対して $C(G,V) = n-2$ であることが証明される。

実験結果

リサーチクエスチョン

• RQ1 $\operatorname{Sp}_{2n}(\mathbb{Z})$ および $\operatorname{SO}_{n,n}(\mathbb{Z})$ の、非自明な有理的可約表現 $V$ を係数とするコホモロジーの最適安定範囲は何か？
• RQ2 ボレルの安定範囲定理における定数 $c(G,V)$ を $C(G,V)$ に改善できるか？また、$\operatorname{Sp}_{2n}$ および $\operatorname{SO}_{n,n}$ に対して $C(G,V)$ の正確な値は何か？
• RQ3 ワイル群が根と重みに作用する仕組みは、リー代数コホモロジーにおける安定性範囲をどのように決定するか？
• RQ4 改善された境界 $i \leq n-1$（$\operatorname{Sp}_{2n}$）および $i \leq n-2$（$\operatorname{SO}_{n,n}$）はほとんど鋭いか？その根拠は何か？
• RQ5 改善された安定範囲により、[ERW15, Prop. 3.9] のような関連結果における次数仮定の必要性が排除されるか？

主な発見

• $\operatorname{Sp}_{2n}(\mathbb{Z})$ の安定コホモロジー範囲は $i \leq n-1$ に改善され、この範囲では非自明な $V$ に対して $H^k(\Gamma;V)$ が消え、自明な $V$ との安定コホモロジーが一致する。
• $\operatorname{SO}_{n,n}(\mathbb{Z})$ に対しても安定範囲は $i \leq n-2$ に改善され、同様に消えおよび安定コホモロジーの一致が成立する。
• $\operatorname{Sp}_{2n}$ に対して最適定数 $C(G,V)$ は $n-1$、$\operatorname{SO}_{n,n}$ に対しては $n-2$ であり、これらは長さが制限されたワイル群元の詳細な解析によって達成された。
• 証明により、任意の支配的重量 $\mu$ に対して、長さ $\leq n-1$ のワイル群元 $\sigma$ が $\sigma(\rho + \mu) \leq 0$ を満たすことはない。これにより $\operatorname{Sp}_{2n}$ に対して $C(G,V) = n-1$ が確認される。
• この境界はほとんど鋭い：奇数 $n$ のとき、$H^n(\Gamma;\mathbb{Q}) \neq 0$ となる $\Gamma < \operatorname{SO}_{n,n}(\mathbb{Z})$ が存在するが、奇数 $i \leq n-2$ に対しては $H^i(\Gamma;\mathbb{Q}) = 0$ である。これにより範囲のタイトさが裏付けられる。
• 改善された境界により、[ERW15, Prop. 3.9] のような応用における次数仮定の必要性が排除され、$d \geq 3$ の $\#_n(S^d \times S^d)$ の微分同相群のトーリー部分群に関する研究にも応用されている。