A human property (T) proof for high-rank $Aut(F_n)$

Martin Nitsche

Existing property (T) proofs for $Aut(F_n)$, $n\ge 4$, rely crucially on extensive computer calculations. We give a new proof that $Aut(F_n)$ has property (T) for all but finitely…