[論文レビュー] Perfect forms and the cohomology of modular groups

Philippe Elbaz–Vincent, Herbert Gangl+1 more|arXiv (Cornell University)|Jan 5, 2010

Algebraic Geometry and Number Theory参考文献 15被引用数 7

ひとこと要約

この論文は、ヴォロノイの完全形式理論と機械支援ホモロジー計算を用いて、$N = 5, 6, 7$ における $π⁡\mathrm{SL}_N(\mathbb{Z})$ および $π⁡\mathrm{GL}_N(\mathbb{Z})$ の有理コホモロジーを計算する。主な結果は、 torsion を除いた有理コホモロジー群の完全な同定であり、特に $H^5(\mathrm{SL}_5(\mathbb{Z}), \mathbb{Z}) \cong \mathbb{Z}$ および $H^m(\mathrm{SL}_7(\mathbb{Z}), \mathbb{Q}) \cong \mathbb{Q}$（$m = 0,5,11,14,15$）のような非自明なコホモロジーが特定される。計算は正確なアルゴリズムと広範な機械計算に依拠しており、Euler の特徴方程式のチェックと行列微分作用素の恒等式によって検証されている。

ABSTRACT

For N=5, 6 and 7, using the classification of perfect quadratic forms, we compute the homology of the Voronoi cell complexes attached to the modular groups SL_N(\Z) and GL_N(\Z). From this we deduce the rational cohomology of those groups.

研究の動機と目的

• N = 5, 6, 7 における $\mathrm{SL}_N(\mathbb{Z})$ および $\mathrm{GL}_N(\mathbb{Z})$ の有理コホモロジーを計算し、低ランクの場合の既知の結果を拡張する。
• ヴォロノイの完全二次形式の還元理論を用いて、正定値形式の対称空間のセル分割を構成する。
• 得られたヴォロノイ複体を用いて、スティーベルグモジュールにおける $\mathrm{SL}_N(\mathbb{Z})$ のホモロジーを計算し、Borel–Serre双対性により有理コホモロジーを導出する。
• Euler の特徴方程式および複体内の微分作用素の零性条件の両方による計算的検証を通じて、結果を検証する。
• 特に特定の次数における非自明なクラスを特定するなど、torsion を除いたコホモロジー群の完全な記述を提供する。

提案手法

• ジャケットらの既知の分類を用い、次元 5, 6, 7 における完全二次形式の分類からヴォロノイセル複体を構築する。
• PARI にインターフェースされた正確な C ライブラリを実装し、$\mathrm{SL}_N(\mathbb{Z})$ および $\mathrm{GL}_N(\mathbb{Z})$ によるセル分割およびその安定化部分群を計算する。
• 微分作用素の明示的行列表現を用いてヴォロノイ複体のホモロジーを計算し、基本因子を用いてホモロジー群を同定する。
• Borel–Serre双対性を適用し、スティーベルグモジュールのホモロジーと $\mathrm{SL}_N(\mathbb{Z})$ および $\mathrm{GL}_N(\mathbb{Z})$ の有理コホモロジーとの関係を、torsion を除いて結びつける。
• 方向性モジュール $\tilde{\mathbb{Z}}$ とシャピロの補題を用いて、特に偶数 $N$ の場合における $\mathrm{SL}_N(\mathbb{Z})$ と $\mathrm{GL}_N(\mathbb{Z})$ のコホモロジーの違いを扱う。
• 仮想 Euler の特徴方程式および大規模な整数行列上での $d_{n-1} \circ d_n = 0$ の正確な成立を用いて、結果を検証する。

実験結果

リサーチクエスチョン

• RQ1 N=5 における $\mathrm{SL}_5(\mathbb{Z})$ および N=6 における $\mathrm{GL}_6(\mathbb{Z})$ の有理コホモロジーは何か？ 低ランクの場合と比較するとどうなるか？
• RQ2 N=5,6,7 に対して、完全形式を用いてヴォロノイセル複体を明示的に計算できるか？ そのホモロジーは何か？
• RQ3 N=7 の場合に、$\mathrm{SL}_N(\mathbb{Z})$ および $\mathrm{GL}_N(\mathbb{Z})$ のコホモロジーは、次数 0, 5, 8, 11, 14, 15 にパターンを示すか？
• RQ4 200万以上のセル軌道を含む複雑さを有する N=7 の場合に、正確な算術を用いた機械計算が、ヴォロノイ複体のホモロジーを信頼性高く計算できるか？
• RQ5 $\mathrm{GL}_N(\mathbb{Z})$ のコホモロジーは、小素数を除いて $\mathrm{SL}_N(\mathbb{Z})$ のコホモロジーと同型であるか？ また、偶数 N の場合に行列式の符号はコホモロジーにどのように影響するか？

主な発見

• N=5 の場合、$\mathrm{SL}_5(\mathbb{Z})$ の有理コホモロジーは、$\mathcal{S}_5$ を除いて、次数 0 および 5 で $\mathbb{Z}$、それ以外では自明である。
• N=6 の場合、$\mathrm{GL}_6(\mathbb{Z})$ の有理コホモロジーは、$\mathcal{S}_7$ を除いて、次数 0, 5, 8 で $\mathbb{Z}$、それ以外では自明である。
• N=6 の場合、$\mathrm{SL}_6(\mathbb{Z})$ の有理コホモロジーは、次数 5 で $\mathbb{Z}^2$、次数 0, 8, 9, 10 で $\mathbb{Z}$、それ以外では自明である。
• N=7 の場合、$\mathrm{SL}_7(\mathbb{Z})$ の有理コホモロジーは、次数 0, 5, 11, 14, 15 で $\mathbb{Q}$、それ以外では自明であり、これらの次数には torsion がない。
• $\mathrm{GL}_6(\mathbb{Z})$ のヴォロノイ複体は、$\mathrm{GL}_7(\mathbb{Z})$ のシフトされた複体の直接因子であることが確認され、両複体間の構造的関係が裏付けられた。
• Euler の特徴方程式および大規模な整数行列上での $d_{n-1} \circ d_n$ の正確な消滅を用いた検証により、計算結果の正しさが保証された。