Finiteness properties of soluble arithmetic groups over global function fields. (Q1882827): Difference between revisions

Let \(G\) be a Chevalley group and \(B\) a Borel subgroup, both defined over \(\mathbb{Z}\). Let \(K\) be a global function field, \(S\) a finite nonempty set of places of \(K\), and \({\mathfrak o}_S\) the corresponding \(S\)-arithmetic ring. The main result of the paper is that then the \(S\)-arithmetic group \(B({\mathfrak o}_S)\) is of type \(F_{|S|-1}\), but not of type \(FP_{|S|}\). Moreover, the author derives lower and upper bounds for the geometric invariants \(\Sigma^m(B({\mathfrak o}_S))\). These bounds are sharp if \(G\) has rank 1. For higher ranks, the estimates imply that normal subgroups of \(B({\mathfrak o}_S)\) with Abelian quotients generically satisfy strong finiteness conditions. The proofs involve studying filtrations of products of Bruhat-Tits buildings by invariant subspaces.