A topological equivalence relation for finitely presented groups

DOI10.1016/J.JPAA.2019.106300MaRDI QIDQ2301463zbMATH OpenOpenAlexWikidataFDO

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)

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

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)

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.

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

Cites work

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

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)