Higher finiteness properties of reductive arithmetic groups in positive characteristic: The Rank Theorem


We show that the finiteness length of an $S$-arithmetic subgroup $\Gamma$ in a noncommutative isotropic absolutely almost simple group $\mathcal{G}$ over a global function field is one less than the sum of the local ranks of $\mathcal{G}$ taken over the places in $S$. This determines the finiteness properties for $S$-arithmetic subgroups in isotropic reductive groups, confirming the conjectured finiteness properties for this class of groups.

Our main tool is Behr–Harder reduction theory which we recast in terms of the metric structure of euclidean buildings.


Kai-Uwe Bux

Fakultä fü Mathematik, Universität Bielefeld, Universitästrasse 25, 33501 Bielefeld, Germany

Ralf Köhl

Mathematisches Institut, Justus-Liebig-Universität Giessen, Arndstrasse 2, 35392 Giessen, Germany

Stefan Witzel

Mathematisches Institute, Universitä t Münster, Einsteinstrasse 62, 48148 Münster, Germany