Non-residually finite ${\tilde{C}}_2$-lattices

Thomas Titz Mite, Stefan Witzel

We provide the first known examples of non-residually finite lattices on irreducible buildings. They contain the first known simple CAT(0)-groups with property (T), and the first k…