[論文レビュー] Finiteness Properties of Chevalley Groups over the Laurent Polynomial Ring over a Finite Field

Stefan Witzel|arXiv (Cornell University)|Jul 29, 2010

Finite Group Theory Research参考文献 12被引用数 4

ひとこと要約

この論文は、有限性性質について、体 𝔽_q[t, t⁻¹] 上のChevalley群に対して確立し、群 𝒢(𝔽_q[t, t⁻¹]) が型 F_{2n−1} ではあるが F_{2n} ではないことを証明する。ここで n は群のランクである。この結果は、双対ビルディング理論と積のBruhat–Titsビルディングにおけるモース理論を用いて、この場合におけるランク予想を裏付けるものであり、|S|>1 かつランク >1 を持つ S-算術群について、初めて完全な有限性長が特定されたという、主な進展を示している。

ABSTRACT

We show that if G is a Chevalley group of rank n and F_q[t,t^{-1}] is the ring of Laurent polynomials over a finite field, then G(F_q[t,t^{-1}]) is of type F_{2n-1}. This bound is optimal because it is known -- and we show again -- that the group is not of type F_{2n}.

研究の動機と目的

• グローバル体上の S-算術群についてのランク予想を解消するため、𝔽_q[t, t⁻¹] 上の Chevalley 群の完全な有限性長を特定すること。
• 群 𝒢(𝔽_q[t, t⁻¹]) が型 F_{2n−1} ではあるが F_{2n} ではないことを確立すること。ここで n は群のランクである。
• S-算術群の有限性性質に関する既存の結果を、2つの場所と高ランク群のケースに拡張すること。
• |S|>1 かつランク >1 を持つ S-算術群について、初めて完全な有限性長が特定されること。

提案手法

• 群 𝒢(𝔽_q[t, t⁻¹]) が双対ビルディング上で強く推移的に作用する Kac–Moody 群としての構造を利用する。
• 完備化 𝔽_q((t)) および 𝔽_q((t⁻¹)) に関連する2つの Bruhat–Tits ビルディングの積にモース理論を適用する。
• ビルディングの積における Busemann 関数の水平リンクに関する新しい理論を構築し、命題 2.9 に至る。
• Bux, Gramlich, および Witzel (2013) の技術を適応・精錬し、積空間内の水平面を扱う。
• 双対 Tits 系および RGD 系構造を用いて、群作用と安定化部分群を特徴付ける。
• 強近似定理を用いて、𝒪_S-群が局所群に密であることを確立し、共通コンpact性の議論を可能にする。

実験結果

リサーチクエスチョン

• RQ1 群 𝒢(𝔽_q[t, t⁻¹]) は、Chevalley 群 𝒢 のランク n に対して、型 F_{2n−1} ではあるが F_{2n} ではないか？
• RQ2 |S| = 2 で群のランク >1 の場合、グローバル体上の S-算術群についてランク予想は成り立つか？
• RQ3 |S| > 1 でグローバルランクが1でない場合、S-算術群の完全な有限性長を特定できるか？
• RQ4 双対ビルディングおよびモース理論は、Kac–Moody 型 S-算術群の有限性性質を特定する上で果たす役割は何か？
• RQ5 2つのビルディングの積における細胞の安定化部分群は、算術群 𝒪_S とどのように関係するか？

主な発見

• 群 𝒢(𝔽_q[t, t⁻¹]) は型 F_{2n−1} ではあるが F_{2n} ではない。これは、この場合におけるランク予想を裏付ける。
• これは、|S| > 1 かつランク > 1 を持つ S-算術群について、初めて完全な有限性長が特定された事例である。
• 最小の新規ケースである：SL₃(𝔽_q[t, t⁻¹]) は型 F₃ ではあるが F₄ ではない。
• 双対ビルディングにおける細胞の安定化部分群は、𝒪_S と可換である。これは、有限性性質を証明する上で鍵となる。
• 群は2つの Bruhat–Tits ビルディングの積上で共通コンパクトに作用する。これは強近似定理の結果である。
• 証明では、洗練されたモース関数と、ビルディングの積における水平リンクに関する新規結果が導入され、他の S-算術群への一般化が可能である可能性がある。