[論文レビュー] Homology stability for symplectic groups

Behrooz Mirzaii, Wilberd van der Kallen|arXiv (Cornell University)|Oct 16, 2001

Homotopy and Cohomology in Algebraic Topology参考文献 23被引用数 6

ひとこと要約

この論文は、有限安定ランクをもつ可換環上のシンプレクティック群のホモロジー安定性を、等長的ユニモジュラー列の順序集合の高次連結性を証明することで確立する。Charneyの予想を確認する。新しい順序集合神経定理と帰納的連結性の議論を用いて、このような列の順序集合が高次に連結であることを示し、Sp(2n, R)に対するホモロジー安定性の結果に至る。

ABSTRACT

In this paper the homology stability for symplectic groups over a ring with finite stable rank is established. First we develop a `nerve theorem' on the homotopy type of a poset in terms of a cover by subposets, where the cover is itself indexed by a poset. We use the nerve theorem to show that a poset of sequences of isotropic vectors is highly connected, as conjectured by Charney in the eighties.

研究の動機と目的

• 有限安定ランクをもつ環上のシンプレクティック群のホモロジー安定性を確立すること。
• Charneyの予想（1980年代）である、等長的ユニモジュラー列の順序集合が高次に連結であることの確認。
• ホモトピー型の計算に適した定量的順序集合神経定理へ、Quillenの連結性定理を拡張すること。
• 無限体を必要としない環、例えば有限生成Z代数などに適用可能な枠組みを提供すること。
• デデキンド整域上の直交群・シンプレクティック群に関する結果を、有限安定ランクをもつより一般の環へ一般化すること。

提案手法

• 位相空間と被覆の代わりに、順序集合とその順序構造を用いる、新しい『神経定理』を考案する。
• 群作用下での単体的複体の代わりに、鎖条件を満たす列の順序集合を用いる。
• van der Kallenによるユニモジュラー列順序集合の高次連結性に基づく帰納的議論を適用する。
• ホモロジー的自明性と幾何的実現の連結性を結びつけるために、Hurewicz定理を用いる。
• コーンの構成とMayer-VietorisおよびVan Kampenの定理を用いて、部分順序集合の連結性を分析する。
• R^{2n}内のすべてのユニモジュラーベクトルが標準的シンプレクティック形式に関して等長的であるという事実を活用し、連結性の議論を簡略化する。

実験結果

リサーチクエスチョン

• RQ1 有限安定ランクをもつ環上の等長的ユニモジュラー列の順序集合は高次に連結であるか？
• RQ2 有限安定ランクをもつ環上のシンプレクティック群のホモロジー安定性は、順序集合の連結性によって確立可能か？
• RQ3 定量的順序集合神経定理は、群作用下での順序集合のホモトピー型解析を可能にするか？
• RQ4 底辺環が無限体であると仮定しないで、等長的ユニモジュラー列順序集合の連結性を証明可能か？
• RQ5 二次形式と比較して、シンプレクティック形式の構造が、シンプレクティックの場合に強い連結性結果をもたらす程度はいかほどか？

主な発見

• R^{2n}内の等長的ユニモジュラー列の順序集合は、sr(R) を R の安定ランクとして、⌊(n − sr(R) − 3)/2⌋-連結である。
• R^{2n}内のユニモジュラー列の順序集合は既に高次に連結であることが知られており、この性質を帰納的に用いて、等長的部分順序集合の連結性を証明する。
• 著者らは、下位次元の部分順序集合に対する帰納的仮定の下で、等長的ユニモジュラー列の順序集合 X が l-連結であることを証明する。ここで l = min{l−1, l−|v|+1} である。
• Mayer-Vietoris系列とVan Kampenの定理を用いて、部分順序集合の包含写像が、それぞれホモロジー群に同型を誘導し、自明な基本群を与えることを示す。
• 主要な結果は、等長的ユニモジュラー列の順序集合が高次に連結であることであり、これは標準的シンプレクティック形式におけるCharneyの予想を確認する。
• その結果、シンプレクティック群のホモロジー安定性定理が成り立つ：n ≥ 2i + sr(R) + 3 のとき H_i(Sp(2n,R), L) → H_i(Sp(2n+2,R), L) は双対であり、n ≥ 2i + sr(R) + 2 のとき全射である。