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

Kai‐Uwe Bux, Ralf Gramlich+1 more|arXiv (Cornell University)|Aug 31, 2009

Coding theory and cryptography参考文献 1被引用数 7

ひとこと要約

この論文は、有限体 𝔽_q 上の多項式環上のChevalley群が、任意の非退化的かつ絶対的単純な群 G に対して、q が大きいことを要件としない限り、型 F_{n−1} であることを確立している。著者たちは、q の大きさに依存しないように前人研究を一般化し、建物と算術的格子を用いた幾何学的および群論的手法により、すべてのこのような群に対して有限性性質を拡張した。

ABSTRACT

It is known from work by H. Abels and P. Abramenko that for a classical Fq-group G of rank n the arithemetic lattice G(Fq[t]) of Fq[t]-rational points is of type Fn-1 provided that q is large enough. We show that the statement is true without any assumption on q and for any isotropic, absolutely almost simple group G defined over Fq.

研究の動機と目的

• 多項式環上の有限体上の算術的格子の有限性性質を一般化すること。
• Abels や Abramenko の以前の研究で必要とされた q が大きいという制約を除去すること。
• 𝔽_q 上の任意の非退化的かつ絶対的単純群 G に対して、G(𝔽_q[t]) が型 F_{n−1} であることを確立すること。
• グローバル関数体および S-算術群への枠組みの拡張を行い、建物を用いてそれらの有限性性質を分析すること。
• 局所ランク分解を用いて、S-算術群の有限性性質の予想の否定的側面を解消すること。

提案手法

• 各場所 p ∈ S に対して関連するユークリッド的建物 X_p における G(𝒪_S) の作用を利用する。
• 特に、局所ランクと関連する建物の次元に基づいた、建物の構造に着目した幾何群論的手法を適用する。
• グローバル関数体上の代数群における算術的格子の理論を用いる。
• Bux と Wortman (2007) の結果を活用し、G(𝒪_S) が F_d に対して非有限である（d は局所ランクの和に等しい）ことを示す。
• 可縮複体への群作用を通じて、分類空間のホモトピー型と有限性性質を分析する。
• 各建物 X_p の次元が p における G の局所ランクに等しいという事実を、有限性型の上限を求める根幹に据える。

実験結果

リサーチクエスチョン

• RQ1 q のサイズに依存せず、任意の非退化的かつ絶対的単純群に対して、𝔽_q[t] 上のChevalley群が型 F_{n−1} を満たすか？
• RQ2 以前の結果で必要とされた q が大きいという制約を、G(𝔽_q[t]) が型 F_{n−1} である場合に除去できるか？
• RQ3 グローバル関数体の文脈において、S-算術群 G(𝒪_S) の正確な有限性型は何か？
• RQ4 S 内の場所における G の局所ランクは、G(𝒪_S) の有限性性質にどのように影響するか？
• RQ5 d が局所ランクの和に等しい F_d に対する非有限性結果が、このような群に対して普遍的に成り立つか？

主な発見

• 任意の非退化的かつ絶対的単純代数群 G に対して、𝔽_q[t] 上の群 G(𝔽_q[t]) は、q が大きいことを要件としない限り、型 F_{n−1} である。
• この結果は、すべての有限体に一様に成り立ち、q が十分に大きいことを要件としていた以前の結果を拡張した。
• S-算術群 G(𝒪_S) は型 F_d ではない。ここで d は S 内の場所における G の局所ランクの和である。これは、有限性性質の予想の否定的側面を確認するものである。
• 各場所 p ∈ S に対して関連するユークリッド的建物 X_p の次元は、p における G の局所ランクに等しく、分析の中心的役割を果たす。
• G(𝒪_S) が積 {X_p}_{p∈S} の建物の族に作用する幾何的性質を用いて、群の有限性性質を同定した。
• 本論文は、基礎となる代数群のランクと構造に基づき、G(𝔽_q[t]) および G(𝒪_S) の有限性型を完全に特徴づけた。