[論文レビュー] Unitriangular factorisations of Chevalley groups

N. A. Vavilov, Andrei Smolensky+1 more|arXiv (Cornell University)|Jul 27, 2011

Finite Group Theory Research参考文献 60被引用数 5

ひとこと要約

この論文は、安定的ランク 1 の可換環上での基本的Chevalley群が長さ 4 の単三角因子分解 $ E(\Phi,R) = UU^{-}UU^{-} $ を持つことを確立している。ここで $ U $ と $ U^{-} $ は互いに反対のBorel部分群の単型部分群である。さらに、一般化されたリーマン予想の下で、$ \mathbb{Z}[1/p] $ 上のChevalley群が長さ 6 の因子分解を持つことを示し、特定の状況での最適性を証明するとともに、ランク削減技術を用いてBassとTavgenの結果を統一した。

ABSTRACT

Lately, the following problem has attracted a lot of attention in various contexts: find the shortest factorisation $G=UU^-UU^-...U^{\pm}$ of a Chevalley group $G=G(Φ,R)$ in terms of the unipotent radical $U=U(Φ,R)$ of the standard Borel subgroup $B=B(Φ,R)$ and the unipotent radical $U^-=U^-(Φ,R)$ of the opposite Borel subgroup $B^-=B^-(Φ,R)$. So far, the record over a finite field was established in a 2010 paper by Babai, Nikolov, and Pyber, where they prove that a group of Lie type admits unitriangular factorisation $G=UU^-UU^-U$ of length 5. Their proof invokes deep analytic and combinatorial tools. In the present paper we notice that from the work of Bass and Tavgen one immediately gets a much more general result, asserting that over any ring of stable rank 1 one has unitriangular factorisation $G=UU^-UU^-$ of length 4. Moreover, we give a detailed survey of triangular factorisations, prove some related results, discuss prospects of generalisation to other classes of rings, and state several unsolved problems. Another main result of the present paper asserts that, in the assumption of the Generalised Riemann's Hypothesis, Chevalley groups over the ring $\Int\Big[\displaystyle{1\over p}\Big]$ admit unitriangular factorisation $G=UU^-UU^-UU^-$ of length 6. Otherwise, the best length estimate for Hasse domains with infinite multiplicative groups that follows from the work of Cooke and Weinberger, gives 9 factors.

研究の動機と目的

• 安定的ランク 1 の環上での基本的Chevalley群の最短の単三角因子分解を確立すること。
• 環に非自明な単元が存在する場合、長さ 4 の因子分解が最適であることを証明すること。
• 算術的環（例：$ \mathbb{Z}[1/p] $）への結果の拡張を行い、一般化されたリーマン予想の下で長さ 6 の因子分解が存在することを示すこと。
• BassとTavgenによる有界生成および単三角因子分解に関する先行研究を統合・一般化すること。
• 単三角因子分解に関する既存の文献を包括的に調査し、未解決の問題を特定すること。

提案手法

• ランク削減に関するTavgenの定理を活用し、安定的ランク 1 の環に対して長さ 4 の単三角因子分解を導出すること。
• ガウス分解とブルハット分解を用いて、因子分解と群構造、パラボリック部分群との関係を関係づけること。
• 有界生成を可能にする重要な代数的制約として、安定的ランク条件 $ \operatorname{sr}(R) = 1 $ を用いること。
• $ T \cap UU^{-}UU $ の交わりを分析することで、トーラスのより短い因子分解が不可能であることを示すこと。
• 一般化されたリーマン予想を用いて、$ \mathbb{Z}[1/p] $ 上で長さ 6 の単三角因子分解が存在することを確立すること。
• 代数的K理論、代数群の構造論、算術群論の結果を統合し、主要定理を導出すること。

実験結果

リサーチクエスチョン

• RQ1 安定的ランク 1 の環上での基本的Chevalley群の単三角因子分解の最小長さは何か？
• RQ2 非自明な単元を持つ環では、因子分解長さを 4 を超えて改善できるか？
• RQ3 $ \mathbb{Z}[1/p] $ 上のChevalley群に対して、長さ 6 の単三角因子分解は存在するか？ また、どのような数論的仮定が必要か？
• RQ4 単三角因子分解は、Chevalley群におけるガウス分解およびブルハット分解とどのように関係するか？
• RQ5 一般化されたリーマン予想は、ハッセ環における因子分解結果の確立において果たす役割は何か？

主な発見

• 任意の非自明な根系 $ \Phi $ および $ \operatorname{sr}(R) = 1 $ を満たす可換環 $ R $ に対して、基本的Chevalley群 $ E(\Phi,R) $ は長さ 4 の単三角因子分解 $ E(\Phi,R) = UU^{-}UU^{-} $ を持つ。
• この長さ 4 の因子分解は最適である：$ R $ に少なくとも一つの非自明な単元が存在する限り、トーラス $ T(\Phi,R) $ の元で長さ 4 より短い単三角因子分解を持つものは存在しない。
• 一般化されたリーマン予想の下で、単連結Chevalley群 $ G(\Phi, \mathbb{Z}[1/p]) $ は長さ 6 の単三角因子分解 $ G(\Phi, \mathbb{Z}[1/p]) = (UU^{-})^3 $ を持つ。
• この結果は、BassとTavgenの先行研究を一般化し、ランク削減による議論によって両者の結果を統一した。
• 次元 ≥1 の環では、一般に長さ 4 の単三角因子分解は存在しないが、特定の算術的環では長さ 5 または 6 の因子分解が可能である。
• 本研究以前に知られていた、無限大の単元群をもつハッセ環の最良の因子分解長さは 9 であったが、本研究ではGRHの下で 6 に改善した。