Connectivity properties of horospheres in Euclidean buildings and applications to finiteness properties of discrete groups. (Q636828)

Let \(\mathbf G(\mathcal O_S)\) be an \(S\)-arithmetic subgroup of a connected, absolutely almost simple linear algebraic group \(\mathbf G\) over a global function field \(K\). The authors show that the sum of local ranks of \(\mathbf G\) determines the homological finiteness properties of \(\mathbf G(\mathcal O_S)\) provided the \(K\)-rank of \(\mathbf G\) is 1. Therefore the general upper bound for the finiteness length of \(\mathbf G(\mathcal O_S)\) established in an earlier paper is sharp in this case. The geometric analysis underlying the result determines the connectivity properties of horospheres in thick Euclidean buildings.