Arithmetic groups over function fields I

From MaRDI portal





Let \(F\) denote a global function field, \(S=\{v_1,\dots,v_s\}\) a finite non-empty set of primes of \(F\) with \(\#S=s\) and \(G\) a linear algebraic group defined over \(F\) and absolutely almost-simple, which has rank \(r\) over \(F\) and rank \(r_i\) over the completion \(F_{v_i}\) of \(F\) with respect to \(v_i\in S\), and \(\Gamma\) an \(S\)-arithmetic subgroup of \(G(F)\). The main theorem claims: (a) \(\Gamma\) is not finitely generated iff \(s=r=r_1=1\) or equivalently iff \(r>0\) and \(\sum_{i=1}^sr_i=1\). (b) \(\Gamma\) is finitely generated but not finitely presented iff \(r>0\) and \(\sum_{i=1}^sr_i=2\). By using this theorem, the conclusion for reductive groups \(G\) can be obtained. To prove this theorem, a unified approach is contained in this paper. But the conditions have to be checked type by type. This first part contains the proofs for \(s\geq 2\) or \(\max r_i\leq 3\).




Cited in
(29)








This page was built for publication: Arithmetic groups over function fields I

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4373865)