\(\text{SL}_n(\mathbb{Z}[t])\) is not \(\text{FP}_{n-1}\). (Q1045213): Difference between revisions

In the title, \(n\geq 2\) and the statement means that there is no projective resolution of length \(n\) for \(\mathbb{Z}\) by finitely generated projective modules over the group. Geometry of Euclidean buildings is used in proofs. It was known before that \(\text{SL}_2(\mathbb{Z}[t])\) is not finitely generated and that \(\text{SL}_3(\mathbb{Z}[t])\) is not finitely presented. On the other hand, \(\text{SL}_3(\mathbb{Z}[t])\) is finitely generated (Suslin).