Groups of type via graphical small cancellation
arXiv:2004.04550
Abstract
We construct an uncountable family of groups of type . In contrast to every previous construction of non-finitely presented groups of type we do not use Morse theory on cubical complexes; instead we use Gromov's graphical small cancellation theory.
5 figures. Sixth version: further clarification of some points concerning projective linear groups. Earlier versions: see earlier comments