$\operatorname{SL}_n(ℤ[t])$ is not $\operatorname{FP}_{n− 1}$

$SL_{n} (Z [t])$ is not $FP_{n - 1}$

$$\operatorname{SL}_n(ℤ[t])$ is not $\operatorname{FP}_{n− 1}$ cover$

We prove the result from the title using the geometry of Euclidean buildings.

Kai-Uwe Bux, Amir Mohammadi, Kevin Wortman, $SL_{n} (Z [t])$ is not $FP_{n - 1}$ . Comment. Math. Helv. 85 (2010), no. 1, pp. 151–164