Generalized small cancellation conditions, non-positive curvature and diagrammatic reducibility

• Published in: Proceedings of the Royal Society of Edinburgh. Section A. Mathematics 2022-06, Vol.152 (3), p.545-566
• Main Authors: Blufstein, Martín Axel, Minian, Elías Gabriel, Sadofschi Costa, Iván
• Format: Article
• Language: English
• Subjects: Algorithms
• ISSN: 0308-2105; 1473-7124
• DOI: 10.1017/prm.2021.7

We present a metric condition $\TTMetric$ which describes the geometry of classical small cancellation groups and applies also to other known classes of groups such as two-dimensional Artin groups. We prove that presentations satisfying condition $\TTMetric$ are diagrammatically reducible in the sense of Sieradski and Gersten. In particular, we deduce that the standard presentation of an Artin group is aspherical if and only if it is diagrammatically reducible. We show that, under some extra hypotheses, $\TTMetric$-groups have quadratic Dehn functions and solvable conjugacy problem. In the spirit of Greendlinger's lemma, we prove that if a presentation P = 〈X| R〉 of group G satisfies conditions $\TTMetric -C'(\frac {1}{2})$, the length of any nontrivial word in the free group generated by X representing the trivial element in G is at least that of the shortest relator. We also introduce a strict metric condition $\TTMetricStrict$, which implies hyperbolicity.