[論文レビュー] Commutator width in Chevalley groups

Roozbeh Hazrat, A. V. Stepanov+2 more|arXiv (Cornell University)|Jun 11, 2012

Finite Group Theory Research参考文献 77被引用数 24

ひとこと要約

この論文は、Chevalley群における交換子幅を調査し、ほとんどの環上の基本的Chevalley群が、交換子集合が疎であるため、無限大の交換子幅を持つことを示している。局所化技術と相対的交換子公式を用いて、基本的生成子における交換子は有限幅を持つが、全群はほとんど常に有界な交換子幅を持たない、特に次元≥2の環上では顕著である。主な貢献は、これらの群において有限交換子幅が稀である理由を構造的に説明することにある。

ABSTRACT

The present paper is the [slightly expanded] text of our talk at the Conference "Advances in Group Theory and Applications" at Porto Cesareo in June 2011. Our main results assert that [elementary] Chevalley groups very rarely have finite commutator width. The reason is that they have very few commutators, in fact, commutators have finite width in elementary generators. We discuss also the background, bounded elementary generation, methods of proof, relative analogues of these results, some positive results, and possible generalisations.

研究の動機と目的

• ほとんどの環上での基本的Chevalley群がなぜ一般的に有限交換子幅を持たないかを理解すること。
• 全群が無限大の交換子幅を持つにもかかわらず、基本的生成子における交換子は有限幅を持つことを確立すること。
• 環の次元や算術的構造（例えばDedekind環）が交換子幅に与える影響を調査すること。
• 絶対群を超える一般化のため、相対的および混合交換子部分群を調査すること。
• 局所化と交換子計算を用いたフレームワークを提供し、有界生成性および関連する性質を分析すること。

提案手法

• 局所化技術を適用して、グローバルな群論的問題を局所的な問題に還元し、帰納的議論を可能にする。
• 相対的交換子公式とユニトリ角因子分解を用いて、基本的部分群の構造を分析する。
• 共役計算と交換子恒等式を用いて、基本的生成子における積の長さを制御する。
• 特にSL(n, R)および関連群において、基本的移動変換とその積としての有界生成性を分析する。
• より高いKrustal次元を持つ環上のChevalley群の構造を活用し、交換子集合が有界幅に十分に疎であるため、交換子幅が無限大であることを示す。
• 代数的K理論および表現論の結果を応用し、交換子幅とKazhdanの性質(T)などの性質との関係を関係づける。

実験結果

リサーチクエスチョン

• RQ1 どのような条件下で基本的Chevalley群が有限交換子幅を持つのか。
• RQ2 基本的生成子では有限幅を持つにもかかわらず、なぜ大多数のChevalley群が有限交換子幅を持たないのか。
• RQ3 基礎となる環のKrustal次元がChevalley群における交換子幅にどのように影響するか。
• RQ4 相対的および混合交換子部分群が有界生成性および交換子幅に果たす役割は何か。
• RQ5 基本的生成子における有界生成性はKazhdanの性質(T)を示唆するか。どのような環の条件下で成立するか。

主な発見

• Krustal次元≥2の環上の基本的Chevalley群は、一般に有限交換子幅を持たない。
• 基本的生成子における交換子は、全群が無限大の交換子幅を持つとしても、有限幅を持つ。
• 無限大乗法的群を持つ算術的性質のDedekind環では、Ead(Φ, R)の元は最大3つの交換子の積として表せる。
• n ≥3 に対してSL(n, Z)は交換子幅2であると予想されているが、4より良い一般の上限は知られていない。
• n ≥3 に対してSL(n, Z[x])は、基本的生成子に関して有界幅を持たない可能性があり、これはKazhdanの性質(T)を示唆する。
• SL(2, Z)は46パラメータの多項式パラメータ化を用いて、基本的生成子と前安定化核生成子を併用して表現可能であり、非標準的生成集合における有界生成性を示している。