[論文レビュー] Strong boundedness of simply connected split Chevalley groups defined over rings

Alexander A. Trost|arXiv (Cornell University)|Apr 10, 2020

semigroups and automata theory参考文献 17被引用数 5

ひとこと要約

この論文は、可換環上の単連結なスプリット・チエヴァリーグループに対して強い有界性を確立し、任意の有限正規生成集合に関する語の直径が、群と環にのみ依存する定数によって有界であることを証明する。証明は、ルート元による有界生成と、正規部分群に関する構造的結果、およびゲーデルのコンパクト性定理を組み合わせており、SL_n(R)に関する先行研究を一般スプリット・チエヴァリーグループ、特にSp_4(R)とG_2(R)にまで拡張し、特定の環ではこのような群が1つの共轭類によって正規生成可能でないことを示している。

ABSTRACT

This paper is concerned with the diameter of certain word norms on S-arithmetic split Chevalley groups. Such groups are well known to be boundedly generated by root elements. We prove that word metrics given by conjugacy classes on S-arithmetic split Chevalley groups have an upper bound only depending on the number of conjugacy classes. This property, called strong boundedness, was introduced by Kedra, Libmann and Martin and proven for ${ m SL}_n(R)$, assuming R is a principal ideal domain and $n\geq 3$. We also provide examples of normal generating sets for S-arithmetic split Chevalley groups proving our bounds are sharp in an appropriate sense and give a complete account of obstructions to the existence of small normally generating sets of ${ m Sp}_4(R)$ and $G_2(R)$. For instance, we prove that ${ m Sp}_4(\mathbb{Z}[\frac{1+\sqrt{-7}}{2}])$ cannot be generated by a single conjugacy class.

研究の動機と目的

• 可換環上の単連結なスプリット・チエヴァリーグループへ、Kędra, Libman, MartinによるSL_n(R)に関する強い有界性結果を一般化すること。
• 任意の有限正規生成集合に関して、語の直径が群と環にのみ依存する定数によって一様に有界であることを確立すること。
• 特にSp_4やG_2のようなランク2群における、小さな正規生成集合の存在と最小性を分析すること。
• Sp_4(Z[(1+√-7)/2])のような例を構成することで、境界の鋭さを示すこと。

提案手法

• スプリット・チエヴァリーグループが適切な環上でランク≥2のとき、ルート元による有界生成が成立することは既知の結果である。
• 可換環上のチエヴァリーグループの正規部分群に関する構造的結果を適用し、有限生成集合の共轭からルート元が生成されることを制御する。
• ゲーデルのコンパクト性定理を用いて、任意の環上の問題を代数的に閉じた体のケースに還元し、一様な境界を得る。
• 表現論的議論と最高重量モジュールへの作用を用いて、ルート部分群と可換な元が体および整域上で群の中で中心的であることを示す。
• 素イデアルを法とするG(Φ,R)の構造を分析し、Rの減少性を用いて中心的元を全体の環に持ち上げる。
• S-整数環のチエヴァリーグループに対して明示的な有限正規生成集合を構成し、環の数論的性質を用いてその境界が鋭いことを証明する。

実験結果

リサーチクエスチョン

• RQ1 可換環上の単連結なスプリット・チエヴァリーグループに対して、任意の有限正規生成集合に関する語の直径が、群と環にのみ依存する定数によって有界であるという強い有界性は、すべての群に対して確立可能か？
• RQ2 Sp_4(R)とG_2(R)の正規生成集合の最小サイズは何か？また、1つの共轭類では十分でないのはいつか？
• RQ3 環Rの構造、特にその剰余体と安定範囲が、小さな正規生成集合の存在とサイズにどのように影響するか？
• RQ4 主イデアル整域を超えて、類数>1の代数的整数環へと結果がどの程度一般化可能か？
• RQ5 特徴2および3がランク2チエヴァリーグループの正規生成に果たす役割は何か？また、B_2およびG_2に対して(R:2R) < ∞である条件が必要な理由は？

主な発見

• 任意のランク≥2の不可約ルート系Φと1をもつ可換環Rに対して、G(Φ,R)がルート元による有界生成をし、Φ = B_2またはG_2のとき(R:2R) < ∞を満たすならば、定数C(Φ,R)が存在し、任意の有限正規生成集合Sに対して||G(Φ,R)||_S ≤ C(Φ,R) · |S|が成り立つ。
• 境界は鋭い。すなわち、無限個の極大イデアルをもつ環Rに対しては、サイズkの有限正規生成集合S_kが存在し、その直径がkに比例して増加する。
• Sp_4(Z[(1+√-7)/2])とG_2(Z[(1+√-7)/2])は1つの共轭類によって正規生成可能でない。これは、正規生成集合の最小サイズが1を超過することを示している。
• 証明戦略は明示的な行列計算を避けており、ゲーデルのコンパクト性定理を含む群論的・モデル論的道具を用いて、主イデアル整域から任意の可換環への結果の一般化を達成している。
• S-代数的整数環に対しては、結果として強い有界性が得られ、その境界は数体と集合Sに依存する明示的な形で与えられる。これは、Kędra, Libman, Martinの定理1.1の一般化である。
• 本論文は、Sp_4(R)およびG_2(R)の小さな正規生成集合の完全な分類を提供し、Z[(1+√-7)/2]のような特定の環では最小サイズが2以上であることを示している。