Aut ( F 5 ) has property (T).

Marek Kaluba Piotr W NowakNarutaka Ozawa

Published in: Mathematische annalen (2019)

We give a constructive, computer-assisted proof that Aut ( F 5 ) , the automorphism group of the free group on 5 generators, has Kazhdan's property (T).

Keyphrases