[论文解读] 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的单位三角分解。
• 应用高斯分解与Bruhat分解，将分解与群结构及抛物子群联系起来。
• 将稳定秩条件 $ \operatorname{sr}(R) = 1 $ 作为关键代数约束，以实现有界生成。
• 分析交集 $ T \cap UU^{-}UU $，以证明对角群的更短分解不可能存在。
• 利用广义黎曼猜想，证明在 $ \mathbb{Z}[1/p] $ 上存在长度为6的单位三角分解。
• 结合代数K-理论、代数群结构理论与算术群理论，推导出主要定理。

实验结果

研究问题

• RQ1 在稳定秩为1的环上，基本Chevalley群的单位三角分解的最小长度是多少？
• RQ2 对于具有非平凡单位元的环，能否将分解长度改进至4以下？
• RQ3 在何种数论假设下，Chevalley群在 $ \mathbb{Z}[1/p] $ 上存在长度为6的单位三角分解？
• RQ4 单位三角分解与Chevalley群中的高斯分解和Bruhat分解有何关系？
• RQ5 广义黎曼猜想在建立Hasse环的分解结果中起到什么作用？

主要发现

• 对于任意约化的不可约根系 $ \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的分解是可能的。
• 本文指出，在此工作之前，Hasse环（单位群无限）的最佳已知分解长度为9；本文在GRH下将其改进为6。