Hyperbolic diagram groups are free
Anthony Genevois

TL;DR
This paper proves that hyperbolic diagram groups are free by showing they cannot contain a subgroup isomorphic to , providing a clear criterion for the freeness of diagram groups.
Contribution
It establishes a precise condition for when diagram groups are free, specifically linking hyperbolicity to the absence of subgroups.
Findings
Hyperbolic diagram groups are necessarily free.
Diagram groups are free iff they contain no subgroup.
Answer to Guba and Sapir's question on hyperbolic diagram groups.
Abstract
In this paper, we study the so-called diagram groups. Our main result is that diagram groups are free if and only if they do not contain any subgroup isomorphic to . As an immediate corollary, we get that hyperbolic diagram groups are necessarily free, answering a question of Guba and Sapir.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsGeometric and Algebraic Topology · Advanced Operator Algebra Research · Homotopy and Cohomology in Algebraic Topology
