2003/01/21 by V. S. Guba, Guba, V. S., Mark Sapir +2 · 1 citation
Computer Science · Mathematics · #FOS: Mathematics #Geometric Topology (math.GT) #Geometric and Algebraic Topology #Group Theory (math.GR) #Homotopy and Cohomology in Algebraic Topology #Topological and Geometric Data Analysis #math.GR #math.GT
paper · pdf · doi:10.48550/arxiv.math/0301225
42 pages
openalex publication_date 2003/01/21 · arxiv created 2003/05/10 · arxiv updated 2009/11/30 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We show that diagram groups can be viewed as fundamental groups of spaces of positive paths on directed 2-complexes (these spaces of paths turn out to be classifying spaces). Thus diagram groups are analogs of second homotopy groups, although diagram groups are as a rule non-Abelian. Part of the paper is a review of the previous results from this point of view. In particular, we show that the so called rigidity of the R.Thompson's group F and some other groups is similar to the flat torus theorem. We find several finitely presented diagram groups (even of type F_∞) each of which contains all countable diagram groups. We show how to compute minimal presentations and homology groups of a large class of diagram groups. We show that the Poincare series of these groups are rational functions. We prove that all integer homology groups of all diagram groups are free Abelian.