A topological equivalence relation for finitely presented groups

DOI10.1016/J.JPAA.2019.106300zbMATH Open1440.57023arXiv2002.01209OpenAlexW2999724102WikidataQ126404100 ScholiaQ126404100MaRDI QIDQ2301463FDOQ2301463

Authors: Francisco F. Lasheras, Ranja Roy, Manuel Cárdenas, Antonio Quintero 

Publication date: 24 February 2020

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Abstract: In this paper, we consider an equivalence relation within the class of finitely presented discrete groups attending to their asymptotic topology rather than their asymptotic geometry. More precisely, we say that two finitely presented groups $G$ and $H$ are "proper $2$-equivalent" if there exist (equivalently, for all) finite $2$-dimensional CW-complexes $X$ and $Y$, with $p{i}_1(X)congG$ and $p{i}_1(Y)congH$, so that their universal covers $widetildeX$ and $widetildeY$ are proper $2$-equivalent. It follows that this relation is coarser than the quasi-isometry relation. We point out that finitely presented groups which are $1$-ended and semistable at infinity are classified, up to proper $2$-equivalence, by their fundamental pro-group, and we study the behaviour of this relation with respect to some of the main constructions in combinatorial group theory. A (finer) similar equivalence relation may also be considered for groups of type $F_n,ngeq3$, which captures more of the large-scale topology of the group. Finally, we pay special attention to the class of those groups $G$ which admit a finite $2$-dimensional CW-complex $X$ with $p{i}_1(X)congG$ and whose universal cover $widetildeX$ has the proper homotopy type of a $3$-manifold. We show that if such a group $G$ is $1$-ended and semistable at infinity then it is proper $2$-equivalent to either $mathbbZimesmathbbZimesmathbbZ$, $mathbbZimesmathbbZ$ or ${mathbbF}_{2}imesmathbbZ$ (here, ${mathbbF}_2$ is the free group on two generators). As it turns out, this applies in particular to any group $G$ fitting as the middle term of a short exact sequence of infinite finitely presented groups, thus classifying such group extensions up to proper $2$-equivalence.

Full work available at URL: https://arxiv.org/abs/2002.01209

Recommendations

• Proper 2-equivalences between infinite ended finitely presented groups
• Relating the Freiheitssatz to the asymptotic behavior of a group
• Quasi-isometries and proper homotopy: the quasi-isometry invariance of proper 3-realizability of groups
• The fundamental group at infinity
• A note on group extensions and proper 3-realizability

zbMATH Keywords

quasi-isometryproper homotopyfinitely presented group

Mathematics Subject Classification ID

Topological methods in group theory (57M07) Covering spaces and low-dimensional topology (57M10) 2-dimensional topology (including mapping class groups of surfaces, Teichmüller theory, curve complexes, etc.) (57K20)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Ricci flow and the Poincaré conjecture
• Title not available (Why is that?)
• Connectivity at infinity for right angled Artin groups
• On the Classification of Noncompact Surfaces
• Groups with homological duality generalizing Poincaré duality
• Finiteness conditions for CW-complexes. I, II.
• Topological methods in group theory
• The accessibility of finitely presented groups
• The QSF property for groups and spaces
• Quasi-isometries and ends of groups
• Topological tameness conditions of spaces and groups: results and developments
• Semistability at the End of A Group Extension
• Groups which are not properly 3-realizable
• Title not available (Why is that?)
• Artin groups, rewriting systems and three-manifolds
• Title not available (Why is that?)
• Geometric group theory. With an appendix by Bogdan Nica
• Simple Homotopy Types
• Free Abelian cohomology of groups and ends of universal covers
• Relating the Freiheitssatz to the asymptotic behavior of a group
• Direct products and properly 3-realisable groups
• A note on group extensions and proper 3-realizability
• Title not available (Why is that?)
• Properly 3-realizable groups
• Ascending HNN-extensions and properly 3-realisable groups
• One-relator groups and proper 3-realizability
• Proper L--S category, fundamental pro-groups and 2-dimensional proper co-H-spaces
• Amalgamated products and properly 3-realizable groups
• On Proper Homotopy Theory for Noncompact 3-Manifolds
• Planar groups and the Seifert conjecture
• Ends of groups with the integers as quotient
• Title not available (Why is that?)
• Infinite homotopy theory
• Quasi-isometries between groups with infinitely many ends
• The second cohomology group of \(G\) with \(Z_2G\) coefficients
• Universal covers and 3-manifolds
• Embedding proper homotopy types
• End homology and duality
• Open, irreducible 3-manifolds which are end 1-movable
• 3-manifolds which are end 1-movable
• Finding boundary for the semistable ends of 3-manifolds
• Topological properties of spaces admitting free group actions
• Quasi-isometries and proper homotopy: the quasi-isometry invariance of proper 3-realizability of groups

Cited In (7)

• The number of topological generators for full groups of ergodic equivalence relations
• Some Properties of Finitely Presented Groups with Topological Viewpoints
• Finitely presented subgroups of the self-homotopy equivalences group
• Weak \(\mathcal{Z}\)-structures and one-relator groups
• Finitely presented simple groups and measure equivalence
• Proper 2-equivalences between infinite ended finitely presented groups
• On Groups that are Isomorphic with Every Subgroup of Finite Index and their Topology

This page was built for publication: A topological equivalence relation for finitely presented groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2301463)