Coxeter Groups are Biautomatic - Workshop on Cube Complexes and Combinatorial Geometry

Explore a groundbreaking proof of biautomaticity for all Coxeter groups in this one-hour lecture from the Workshop on Cube Complexes and Combinatorial Geometry. Delve into the construction of biautomatic structures and discover how this leads to the biautomaticity of uniform lattices in isometry groups of buildings. Learn about the collaborative research conducted by Damian Osajda and Piotr Przytycki, which forms the foundation of this presentation at the Centre de recherches mathématiques (CRM).

Damian Osajda: Coxeter groups are biautomatic.