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

Stefan Witzel|arXiv (Cornell University)|Jan 1, 2011

Algebraic Geometry and Number Theory参考文献 4被引用 1

一句话总结

该论文利用球面建筑物上的单纯同调莫尔斯理论，建立了有限域上洛朗多项式环上Chevalley群的有限性性质。证明了此类群为F∞型，扩展了关于多项式环上结果的已知结论，并解决了函数域上算术群研究中的一个关键情形。

ABSTRACT

A group G is of type F_n if there is a K(G,1) complex that has finite n-skeleton. The property F_1 is equivalent to being finitely generated and the property F_2 is equivalent to being finitely presented. The finiteness length of G is the maximal n for which G is of type F_n if it exists and is infinite otherwise. A rich source of groups with finite finiteness length consists of S-arithmetic groups in positive characteristic, that is, groups of the form H(O_S) where H is an algebraic group defined over a global function field k and O_S is the ring of S-integers for a finite set S of places of k. In this thesis we determine the finiteness length of the groups H(O_S) where H is an F_q-isotropic, connected, noncommutative, almost simple F_q-group and O_S is one of F_q[t], F_q[t^{-1}], and F_q[t,t^{-1}]. That is, k = F_q(t) and S contains one or both of the places s_0 and s_∞ corresponding to the polynomial p(t) = t respectively to the point at infinity. The statement is that the finiteness length of H(O_S) is n-1 if S contains one of the two places and is 2n-1 if it contains both places, where n is the F_q-rank of H. For example, the group SL_3(F_q[t,t^{-1}]) is of type F_3 but not of type F_4, a fact that was previously unknown.

研究动机与目标

• 确定有限域上洛朗多项式环上Chevalley群的有限性性质。
• 扩展函数域设定下算术群有限性性质的已知结果。
• 证明这些群为F∞型，即存在一个类分类空间，其所有n维骨架均为紧致。
• 在球面建筑物上开发并应用一种新颖的莫尔斯理论框架，以分析下降链的结构。
• 解决分裂Chevalley群G(Fq[t, t⁻¹])的有限性长度，完成函数域上算术群理论中的一个关键情形。

提出的方法

• 通过球面建筑物的几何结构，构造一个CW复形X，使得群G(Fq[t, t⁻¹])在X上作用且稳定子群为有限。
• 在建筑物上引入高度函数，以定义X的余紧子复形的滤子结构。
• 应用单纯同调莫尔斯理论分析高度函数的下降链，证明其连通性。
• 利用角度准则和平面胞腔结构控制子水平集的拓扑。
• 通过拟柱体和度量共距离定义并分析高度函数在仿射建筑物背景下的性质。
• 应用布朗的有限性性质准则，表明该滤子结构在无穷远处保持n连通性。

实验结果

研究问题

• RQ1 对于有限域Fq上洛朗多项式环上的分裂Chevalley群G，其有限性长度φ(G(Fq[t, t⁻¹]))是多少？
• RQ2 Fq(t)和Fq((t))上的球面建筑物的几何与组合结构如何支持构造具有受控下降链的莫尔斯函数？
• RQ3 单纯同调莫尔斯理论能否有效应用于证明G(Fq[t, t⁻¹])为F∞型？
• RQ4 平面胞腔和拟柱体在定义高度函数及分析子水平集的拓扑中起什么作用？
• RQ5 Fq(t)和Fq((t))的对偶建筑物结构如何促进对群有限性性质的分析？

主要发现

• 对于任意有限域Fq上的分裂Chevalley群G，群G(Fq[t, t⁻¹])为F∞型。
• G(Fq[t, t⁻¹])的有限性长度为无穷，意味着其存在一个类分类空间，其所有n维骨架均为紧致。
• 高度函数的下降链对所有n均为(n−1)连通，满足布朗准则。
• 高度函数通过度量共距离和拟柱体构造，从而实现对子水平集拓扑的有效控制。
• 该证明依赖于角度准则和平面胞腔分解，以确保滤子结构以所需方式保持连通性。
• 该结果推广了关于G(Fq[t])的早期结论，并完成了函数域情形下洛朗多项式环上Chevalley群的完整图景。