On property (T) for $\mathrm{Aut}(F_n)$ and ${\mathrm{SL}}_n(\mathbb{Z})$

Marek Kaluba, Dawid Kielak, Piotr W. Nowak

We prove that $\mathrm{Aut}(F_n)$ has Kazhdan's property (T) for every $n⩾6$. Together with a previous result of Kaluba, Nowak, and Ozawa, this gives the same state…