$Q$’s: Wedderburn decomposition of the solution matrix.

$\operatorname{Aut}(\mathbb{F}_5)$ has property (T)

$Q$’s: Wedderburn decomposition of the solution matrix.

$\operatorname{Aut}(\mathbb{F}_5)$ has property (T)

Abstract

We give a constructive, computer-assisted proof that $\operatorname{Aut}(\mathbb{F}_5)$, the automorphism group of the free group on $5$ generators, has Kazhdan’s property (T).

Publication
accepted for publication in Mathematische Annalen

The description of replication details.

Avatar
Marek Kaluba
Assistant Professor

My research interests include computational algebra, geometric group theory (in particular: property (T)) and surgery aspects of manifolds.