Groups with property (T) and many alternating group quotients

Abstract

We prove that, for the free algebra over a sufficiently rich operad $\mathcal{O}$, a large subgroup of its group of tame automorphisms has Kazhdan’s property (T). We deduce that there exists a group with property (T) that maps onto large powers of alternating groups.