[论文解读] Finiteness Properties of Chevalley Groups over the Laurent Polynomial Ring over a Finite Field

Stefan Witzel|arXiv (Cornell University)|Jul 29, 2010

Finite Group Theory Research参考文献 12被引用 4

一句话总结

本文建立了在洛朗多项式环 𝔽_q[t, t⁻¹] 上的典型群的有限性性质，证明了 𝒢(𝔽_q[t, t⁻¹]) 是 F_{2n−1} 型但不是 F_{2n} 型，其中 n 为群的秩。该结果通过双建筑理论与 Bruhat–Tits 建筑积上的莫尔斯理论，证实了此情形下秩猜想的成立，其关键进展在于首次确定了秩大于1且 |S|>1 的 S-算术群的完整有限性长度。

ABSTRACT

We show that if G is a Chevalley group of rank n and F_q[t,t^{-1}] is the ring of Laurent polynomials over a finite field, then G(F_q[t,t^{-1}]) is of type F_{2n-1}. This bound is optimal because it is known -- and we show again -- that the group is not of type F_{2n}.

研究动机与目标

• 通过确定在 𝔽_q[t, t⁻¹] 上的典型群的完整有限性长度，解决全球域上 S-算术群的秩猜想。
• 确立 𝒢(𝔽_q[t, t⁻¹]) 为 F_{2n−1} 型但不是 F_{2n} 型，其中 n 为群的秩。
• 将现有 S-算术群有限性性质的结果推广至两个赋值和高秩群的情形。
• 首次完整确定一个满足 |S|>1 且秩 >1 的 S-算术群的有限性长度。

提出的方法

• 利用 𝒢(𝔽_q[t, t⁻¹]) 作为在双建筑上强传递作用的 Kac–Moody 群的结构。
• 将莫尔斯理论应用于与完备化 𝔽_q((t)) 和 𝔽_q((t⁻¹)) 相关的两个 Bruhat–Tits 建筑的积。
• 发展了在建筑积中 Busemann 函数的水平链的新理论，最终得出命题 2.9。
• 改编并改进 Bux、Gramlich 和 Witzel（2013）的技术，以处理积空间中的水平曲面。
• 利用双 Tits 系统与 RGD 系统结构来刻画群作用与稳定化子。
• 运用强逼近定理建立 𝒪_S-群在局部群中的稠密性，从而支持共紧性论证。

实验结果

研究问题

• RQ1 群 𝒢(𝔽_q[t, t⁻¹]) 是否为 F_{2n−1} 型但不是 F_{2n} 型，其中 n 为典型群 𝒢 的秩？
• RQ2 当 |S| = 2 且群的秩 >1 时，S-算术群在全局域上的秩猜想是否成立？
• RQ3 当 |S| > 1 且群的全局秩不为 1 时，能否确定 S-算术群的完整有限性长度？
• RQ4 双建筑与莫尔斯理论在确定 Kac–Moody 型 S-算术群的有限性性质中起什么作用？
• RQ5 在建筑积中细胞的稳定化子如何与算术群 𝒪_S 相关联？

主要发现

• 群 𝒢(𝔽_q[t, t⁻¹]) 为 F_{2n−1} 型但不是 F_{2n} 型，证实了此情形下秩猜想的成立。
• 这是首次确定一个满足 |S| > 1 且秩 > 1 的 S-算术群的完整有限性长度。
• 该结果适用于最小的新情形：SL₃(𝔽_q[t, t⁻¹]) 为 F₃ 型但不是 F₄ 型。
• 双建筑中一个细胞的稳定化子与 𝒢(𝒪_S) 互为共轭，这是证明有限性性质的关键。
• 该群在两个 Bruhat–Tits 建筑的积上作用共紧凑，这是强逼近定理的推论。
• 证明引入了精炼的莫尔斯函数以及关于建筑积中水平链的新结果，这些结果可能推广至其他 S-算术群。