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

Abstract

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 many $n$ that is inspired by the semidefinite programming approach but does not use the computer in any step. More specifically, we prove property (T) for a certain extension ${\Gamma }_n$ of $SAut(F_n)$ as $n\to \infty$.

arXiv comment12 pages, 1 figure; v2: fixed a bad typo in main theorem statement