-
The Lamplighter groups and Thompson's group $F$ have infinite weak-cop number
Authors:
Anders Cornect,
Eduardo Martínez-Pedroza
Abstract:
The weak-cop number of a graph, introduced by Lee et al (2023), is a quasi-isometric invariant of graphs and hence of finitely generated groups via their Cayley graphs. While for any $m\in\mathbb{Z}_+\cup\{\infty\}$ there exist graphs with weak-cop number $m$, it is an open question whether there exists finitely generated groups whose weak-cop number is different than $1$ and $\infty$. We prove th…
▽ More
The weak-cop number of a graph, introduced by Lee et al (2023), is a quasi-isometric invariant of graphs and hence of finitely generated groups via their Cayley graphs. While for any $m\in\mathbb{Z}_+\cup\{\infty\}$ there exist graphs with weak-cop number $m$, it is an open question whether there exists finitely generated groups whose weak-cop number is different than $1$ and $\infty$. We prove that wreath products of nontrivial groups by infinite groups have infinite weak-cop number. We also prove that Thompson's group $F$ has infinite weak-cop number. The results are proved by defining two new pursuit and evasion games and proving the existence of strategies for the evader. In the case of Thompson's group $F$, we also present an alternative and more algebraic argument proving that it has infinite weak-cop number.
△ Less
Submitted 2 July, 2024; v1 submitted 17 June, 2024;
originally announced June 2024.
-
The quasi-isometry invariance of the Coset Intersection Complex
Authors:
Carolyn Abbott,
Eduardo Martínez-Pedroza
Abstract:
For a pair $(G,\mathcal{P})$ consisting of a group and finite collection of subgroups, we introduce a simplicial $G$-complex $\mathcal{K}(G,\mathcal{P})$ called the coset intersection complex. We prove that the quasi-isometry type and the homotopy type of $\mathcal{K}(G,\mathcal{P})$ are quasi-isometric invariants of the group pair $(G,\mathcal{P})$. Classical properties of $\mathcal{P}$ in $G$ co…
▽ More
For a pair $(G,\mathcal{P})$ consisting of a group and finite collection of subgroups, we introduce a simplicial $G$-complex $\mathcal{K}(G,\mathcal{P})$ called the coset intersection complex. We prove that the quasi-isometry type and the homotopy type of $\mathcal{K}(G,\mathcal{P})$ are quasi-isometric invariants of the group pair $(G,\mathcal{P})$. Classical properties of $\mathcal{P}$ in $G$ correspond to topological or geometric properties of $\mathcal{K}(G,\mathcal{P})$, such as having finite height, having finite width, being almost malnormal, admiting a malnormal core, or having thickness of order one. As applications, we obtain that a number of algebraic properties of $\mathcal{P}$ in $G$ are quasi-isometry invariants of the pair $(G,\mathcal{P})$. For a certain class of right-angled Artin groups and their maximal parabolic subgroups, we show that the complex $\mathcal{K}(G,\mathcal{P})$ is quasi-isometric to the Extension graph; in particular, it is quasi-isometric to a tree.
△ Less
Submitted 17 June, 2024; v1 submitted 25 April, 2024;
originally announced April 2024.
-
Relative Dehn fuctions, hyperbolically embedded subgroups and combination theorems
Authors:
Hadi Bigdely,
Eduardo Martínez-Pedroza
Abstract:
Consider the following classes of pairs consisting of a group and a finite collection of subgroups:
$\mathcal{C}= \left\{ (G,\mathcal H) \mid \text{$\mathcal{H}$ is hyperbolically embedded in $G$} \right\}$ and
$ \mathcal{D}= \left\{ (G,\mathcal H) \mid \text{the relative Dehn function of $(G,\mathcal H)$ is well-defined} \right\}.$
Let $G$ be a group that splits as a finite graph of groups…
▽ More
Consider the following classes of pairs consisting of a group and a finite collection of subgroups:
$\mathcal{C}= \left\{ (G,\mathcal H) \mid \text{$\mathcal{H}$ is hyperbolically embedded in $G$} \right\}$ and
$ \mathcal{D}= \left\{ (G,\mathcal H) \mid \text{the relative Dehn function of $(G,\mathcal H)$ is well-defined} \right\}.$
Let $G$ be a group that splits as a finite graph of groups such that each vertex group $G_v$ is assigned a finite collection of subgroups $\mathcal{H}_v$, and each edge group $G_e$ is conjugate to a subgroup of some $H\in \mathcal{H}_v$ if $e$ is adjacent to $v$. Then there is a finite collection of subgroups $\mathcal{H}$ of $G$ such that:
$\bullet$ If each $(G_v, \mathcal{H}_v)$ is in $\mathcal C$, then $(G,\mathcal{H})$ is in $\mathcal C$.
$\bullet$ If each $(G_v, \mathcal{H}_v)$ is in $\mathcal D$, then $(G,\mathcal{H})$ is in $\mathcal D$.
$\bullet$ For any vertex $v$ and for any $g\in G_v$, the element $g$ is conjugate to an element in some $Q\in\mathcal{H}_v$ if and only if $g$ is conjugate to an element in some $H\in\mathcal{H}$.
That edge groups are not assumed to be finitely generated and that they do not necessarily belong to a peripheral collection of subgroups of an adjacent vertex are the main differences between this work and previous results in the literature. The method of proof provides lower and upper bounds of the relative Dehn functions in terms of the relative Dehn functions of the vertex groups. These bounds generalize and improve analogous results in the literature.
△ Less
Submitted 26 July, 2023; v1 submitted 17 October, 2022;
originally announced October 2022.
-
Coarse geometry of the Cops and robber game
Authors:
Jonathan Lee,
Eduardo Martínez-Pedroza,
Juan Felipe Rodríguez-Quinche
Abstract:
We introduce two variations of the cops and robber game on graphs. These games yield two invariants in $\mathbb{Z}_+\cup\{\infty\}$ for any connected graph $Γ$, the {weak cop number $\mathsf{wcop}(Γ)$} and the {strong cop number $\mathsf{scop}(Γ)$}. These invariants satisfy that $\mathsf{scop}(Γ)\leq\mathsf{wcop}(Γ)$. Any graph that is finite or a tree has strong cop number one. These new invarian…
▽ More
We introduce two variations of the cops and robber game on graphs. These games yield two invariants in $\mathbb{Z}_+\cup\{\infty\}$ for any connected graph $Γ$, the {weak cop number $\mathsf{wcop}(Γ)$} and the {strong cop number $\mathsf{scop}(Γ)$}. These invariants satisfy that $\mathsf{scop}(Γ)\leq\mathsf{wcop}(Γ)$. Any graph that is finite or a tree has strong cop number one. These new invariants are preserved under small local perturbations of the graph, specifically, both the weak and strong cop numbers are quasi-isometric invariants of connected graphs. More generally, we prove that if $Δ$ is a quasi-retract of $Γ$ then $\mathsf{wcop}(Δ)\leq\mathsf{wcop}(Γ)$ and $\mathsf{scop}(Δ)\leq\mathsf{scop}(Γ)$. We exhibit families of examples of graphs with arbitrary weak cop number (resp. strong cop number). We prove that hyperbolic graphs have strong cop number one. We also prove that one-ended non-amenable locally-finite vertex-transitive graphs have infinite weak cop number. We raise the question of whether there exists a connected vertex transitive graph with finite weak (resp. strong) cop number different than one.
△ Less
Submitted 20 June, 2023; v1 submitted 13 July, 2022;
originally announced July 2022.
-
Topological groups with a compact open subgroup, Relative hyperbolicity and Coherence
Authors:
Shivam Arora,
Eduardo Martínez-Pedroza
Abstract:
The main objects of study in this article are pairs $(G, \mathcal{H})$ where $G$ is a topological group with a compact open subgroup, and $\mathcal{H}$ is a finite collection of open subgroups. We develop geometric techniques to study the notions of $G$ being compactly generated and compactly presented relative to $\mathcal H$. This includes topological characterizations in terms of discrete actio…
▽ More
The main objects of study in this article are pairs $(G, \mathcal{H})$ where $G$ is a topological group with a compact open subgroup, and $\mathcal{H}$ is a finite collection of open subgroups. We develop geometric techniques to study the notions of $G$ being compactly generated and compactly presented relative to $\mathcal H$. This includes topological characterizations in terms of discrete actions of $G$ on complexes, quasi-isometry invariance of certain graphs associated to the pairs $(G,\mathcal H)$ when $G$ is compactly generated relative to $\mathcal H$, and extensions of known results for the discrete case. For example, generalizing results of Osin for discrete groups, we show that in the case that $G$ is compactly presented relative to $\mathcal H$:
$\bullet$ if $G$ is compactly generated, then each subgroup $H\in \mathcal H$ is compactly generated;
$\bullet$ if each subgroup $H\in \mathcal H$ is compactly presented, then $G$ is compactly presented.
The article also introduces an approach to relative hyperbolicity for pairs $(G, \mathcal H)$ based on Bowditch's work using discrete actions on hyperbolic fine graphs. For example, we prove that if $G$ is hyperbolic relative to $\mathcal H$ then $G$ is compactly presented relative to $\mathcal H$. As applications of the results of the article we prove combination results for coherent topological groups with a compact open subgroup, and extend McCammond-Wise perimeter method to this general framework.
△ Less
Submitted 9 May, 2023; v1 submitted 14 June, 2022;
originally announced June 2022.
-
Hyperbolically embedded subgroups and quasi-isometries of pairs
Authors:
Sam Hughes,
Eduardo Martínez-Pedroza
Abstract:
We give technical conditions for a quasi-isometry of pairs to preserve a subgroup being hyperbolically embedded. We consider applications to the quasi-isometry and commensurability invariance of acylindrical hyperbolicity of finitely generated groups.
We give technical conditions for a quasi-isometry of pairs to preserve a subgroup being hyperbolically embedded. We consider applications to the quasi-isometry and commensurability invariance of acylindrical hyperbolicity of finitely generated groups.
△ Less
Submitted 27 January, 2023; v1 submitted 1 February, 2022;
originally announced February 2022.
-
A survey on quasi-isometries of pairs: invariants and rigidity
Authors:
Sam Hughes,
Eduardo Martínez-Pedroza,
Luis Jorge Sánchez Saldaña
Abstract:
This survey studies pairs $(G,\mathcal{P})$ with $G$ a finitely generated group and $\mathcal{P}$ a (finite) collection of subgroups of $G$. We explore the notion of quasi-isometry of such pairs and the notion of a qi-characteristic collection of subgroups. Both notions are abstractions of phenomena that have appeared repeatedly in the work of several people within the quasi-isometric rigidity rea…
▽ More
This survey studies pairs $(G,\mathcal{P})$ with $G$ a finitely generated group and $\mathcal{P}$ a (finite) collection of subgroups of $G$. We explore the notion of quasi-isometry of such pairs and the notion of a qi-characteristic collection of subgroups. Both notions are abstractions of phenomena that have appeared repeatedly in the work of several people within the quasi-isometric rigidity realm.
△ Less
Submitted 30 December, 2021;
originally announced December 2021.
-
Bowditch Taut Spectrum and dimensions of groups
Authors:
Eduardo Martínez-Pedroza,
Luis Jorge Sánchez Saldaña
Abstract:
For a finitely generated group $G$, let $H(G)$ denote Bowditch's taut loop length spectrum. We prove that if $G=(A\ast B) / \langle\!\langle \mathcal R \rangle\!\rangle $ is a $C'(1/12)$ small cancellation quotient of a the free product of finitely generated groups, then $H(G)$ is equivalent to $H(A) \cup H(B)$. We use this result together with bounds for cohomological and geometric dimensions, as…
▽ More
For a finitely generated group $G$, let $H(G)$ denote Bowditch's taut loop length spectrum. We prove that if $G=(A\ast B) / \langle\!\langle \mathcal R \rangle\!\rangle $ is a $C'(1/12)$ small cancellation quotient of a the free product of finitely generated groups, then $H(G)$ is equivalent to $H(A) \cup H(B)$. We use this result together with bounds for cohomological and geometric dimensions, as well as Bowditch's construction of continuously many non-quasi-isometric $C'(1/6)$ small cancellation $2$-generated groups to obtain our main result: Let $\mathcal{G}$ denote the class of finitely generated groups. The following subclasses contain continuously many one-ended non-quasi-isometric groups:
$\bullet\left\{G\in \mathcal{G} \colon \underline{\mathrm{cd}}(G) = 2 \text{ and } \underline{\mathrm{gd}}(G) = 3 \right\}$
$\bullet\left\{G\in \mathcal{G} \colon \underline{\underline{\mathrm{cd}}}(G) = 2 \text{ and } \underline{\underline{\mathrm{gd}}}(G) = 3 \right\}$
$\bullet\left\{G\in \mathcal{G} \colon \mathrm{cd}_{\mathbb{Q}}(G)=2 \text{ and } \mathrm{cd}_{\mathbb{Z}}(G)=3 \right\}$
On our way to proving the aforementioned results, we show that the classes defined above are closed under taking relatively finitely presented $C'(1/12)$ small cancellation quotients of free products, in particular, this produces new examples of groups exhibiting an Eilenberg-Ganea phenomenon for families.
We also show that if there is a finitely presented counter-example to the Eilenberg-Ganea conjecture, then there are continuously many finitely generated one-ended non-quasi-isometric counter-examples.
△ Less
Submitted 15 December, 2021; v1 submitted 22 July, 2021;
originally announced July 2021.
-
Quasi-isometry invariance of relative filling functions
Authors:
Sam Hughes,
Eduardo Martínez-Pedroza,
Luis Jorge Sánchez Saldaña
Abstract:
For a finitely generated group $G$ and collection of subgroups $\mathcal{P}$ we prove that the relative Dehn function of a pair $(G,\mathcal{P})$ is invariant under quasi-isometry of pairs. Along the way we show quasi-isometries of pairs preserve almost malnormality of the collection and fineness of the associated coned off Cayley graphs. We also prove that for a cocompact simply connected combina…
▽ More
For a finitely generated group $G$ and collection of subgroups $\mathcal{P}$ we prove that the relative Dehn function of a pair $(G,\mathcal{P})$ is invariant under quasi-isometry of pairs. Along the way we show quasi-isometries of pairs preserve almost malnormality of the collection and fineness of the associated coned off Cayley graphs. We also prove that for a cocompact simply connected combinatorial $G$-$2$-complex $X$ with finite edge stabilisers, the combinatorial Dehn function is well-defined if and only if the $1$-skeleton of $X$ is fine.
We also show that if $H$ is a hyperbolically embedded subgroup of a finitely presented group $G$, then the relative Dehn function of the pair $(G, H)$ is well-defined. In the appendix, it is shown that show that the Baumslag-Solitar group $\mathrm{BS}(k,l)$ has a well-defined Dehn function with respect to the cyclic subgroup generated by the stable letter if and only if neither $k$ divides $l$ nor $l$ divides $k$.
△ Less
Submitted 25 January, 2022; v1 submitted 7 July, 2021;
originally announced July 2021.
-
Fixed Point Sets in Diagrammatically Reducible Complexes
Authors:
Shivam Arora,
Eduardo Martínez-Pedroza
Abstract:
Let $H$ be a group acting on a simply-connected diagrammatically reducible combinatorial 2-complex $X$ with fine 1-skeleton. If the fixed point set $X^ H$ is non-empty, then it is contractible. Having fine 1-skeleton is a weaker version of being locally finite.
Let $H$ be a group acting on a simply-connected diagrammatically reducible combinatorial 2-complex $X$ with fine 1-skeleton. If the fixed point set $X^ H$ is non-empty, then it is contractible. Having fine 1-skeleton is a weaker version of being locally finite.
△ Less
Submitted 7 July, 2021; v1 submitted 2 July, 2021;
originally announced July 2021.
-
A Note on Hyperbolically Embedded Subgroups
Authors:
Eduardo Martínez-Pedroza,
Farhan Rashid
Abstract:
Let $G$ be a group and $H$ a subgroup of $G$. This note introduces an equivalent definition of hyperbolic embedded subgroup based on Bowditch's approach to relatively hyperbolic groups in terms of fine graphs.
Let $G$ be a group and $H$ a subgroup of $G$. This note introduces an equivalent definition of hyperbolic embedded subgroup based on Bowditch's approach to relatively hyperbolic groups in terms of fine graphs.
△ Less
Submitted 27 September, 2021; v1 submitted 29 June, 2021;
originally announced June 2021.
-
Quasi-isometric rigidity of subgroups and Filtered ends
Authors:
Eduardo Martínez-Pedroza,
Luis Jorge Sánchez Saldaña
Abstract:
Let $G$ and $H$ be quasi-isometric finitely generated groups and let $P\leq G$; is there a subgroup $Q$ (or a collection of subgroups) of $H$ whose left cosets coarsely reflect the geometry of the left cosets of $P$ in $G$? We explore sufficient conditions for a positive answer.
The article consider pairs of the form $(G,\mathcal{P})$ where $G$ is a finitely generated group and $\mathcal{P}$ a f…
▽ More
Let $G$ and $H$ be quasi-isometric finitely generated groups and let $P\leq G$; is there a subgroup $Q$ (or a collection of subgroups) of $H$ whose left cosets coarsely reflect the geometry of the left cosets of $P$ in $G$? We explore sufficient conditions for a positive answer.
The article consider pairs of the form $(G,\mathcal{P})$ where $G$ is a finitely generated group and $\mathcal{P}$ a finite collection of subgroups, there is a notion of quasi-isometry of pairs, and quasi-isometrically characteristic collection of subgroups. A subgroup is qi-characteristic if it belongs to a qi-characteristic collection. Distinct classes of qi-characteristic collections of subgroups have been studied in the literature on quasi-isometric rigidity, we list in the article some of them and provide other examples.
The first part of the article proves: if $G$ and $H$ are finitely generated quasi-isometric groups and $\mathcal{P}$ is a qi-characteristic collection of subgroups of $G$, then there is a collection of subgroups $\mathcal{Q}$ of $H$ such that $ (G, \mathcal{P})$ and $(H, \mathcal{Q})$ are quasi-isometric pairs.
The second part of the article studies the number of filtered ends $\tilde e (G, P)$ of a pair of groups, a notion introduced by Bowditch, and provides an application of our main result: if $G$ and $H$ are quasi-isometric groups and $P\leq G$ is qi-characterstic, then there is $Q\leq H$ such that $\tilde e (G, P) = \tilde e (H, Q)$.
△ Less
Submitted 3 August, 2021; v1 submitted 18 December, 2020;
originally announced December 2020.
-
Subgroups, hyperbolicity and cohomological dimension for totally disconnected locally compact groups
Authors:
Shivam Arora,
Ilaria Castellano,
Ged Corob Cook,
Eduardo Martínez-Pedroza
Abstract:
This article is part of the program of studying large-scale geometric properties of totally disconnected locally compact groups, TDLC-groups, by analogy with the theory for discrete groups. We provide a characterization of hyperbolic TDLC-groups, in terms of homological isoperimetric inequalities. This characterization is used to prove the main result of the article: for hyperbolic TDLC-groups wit…
▽ More
This article is part of the program of studying large-scale geometric properties of totally disconnected locally compact groups, TDLC-groups, by analogy with the theory for discrete groups. We provide a characterization of hyperbolic TDLC-groups, in terms of homological isoperimetric inequalities. This characterization is used to prove the main result of the article: for hyperbolic TDLC-groups with rational discrete cohomological dimension $\leq 2$, hyperbolicity is inherited by compactly presented closed subgroups. As a consequence, every compactly presented closed subgroup of the automorphism group $\mathrm{Aut}(X)$ of a negatively curved locally finite $2$-dimensional building $X$ is a hyperbolic TDLC-group, whenever $\mathrm{Aut}(X)$ acts with finitely many orbits on $X$. Examples where this result applies include hyperbolic Bourdon's buildings.
We revisit the construction of small cancellation quotients of amalgamated free products, and verify that it provides examples of hyperbolic TDLC-groups of rational discrete cohomological dimension $2$ when applied to amalgamated products of profinite groups over open subgroups.
We raise the question of whether our main result can be extended to locally compact hyperbolic groups if rational discrete cohomological dimension is replaced by asymptotic dimension. We prove that this is the case for discrete groups and sketch an argument for TDLC-groups.
△ Less
Submitted 29 April, 2021; v1 submitted 21 August, 2019;
originally announced August 2019.
-
Brown's Criterion and classifying spaces for families
Authors:
Eduardo Martínez-Pedroza,
Luis Jorge Sánchez Saldaña
Abstract:
Let $G$ be a group and $\mathcal{F}$ be a family of subgroups closed under conjugation and subgroups. A model for the classifying space $E_{\mathcal{F}} G$ is a $G$-CW-complex $X$ such that every isotropy group belongs to $\mathcal{F}$, and for all $H\in \mathcal{F}$ the fixed point subspace $X^H$ is contractible. The group $G$ is of type $\mathcal{F}\text{-}\mathrm{F}_{n}$ if it admits a model fo…
▽ More
Let $G$ be a group and $\mathcal{F}$ be a family of subgroups closed under conjugation and subgroups. A model for the classifying space $E_{\mathcal{F}} G$ is a $G$-CW-complex $X$ such that every isotropy group belongs to $\mathcal{F}$, and for all $H\in \mathcal{F}$ the fixed point subspace $X^H$ is contractible. The group $G$ is of type $\mathcal{F}\text{-}\mathrm{F}_{n}$ if it admits a model for $E_\mathcal{F} G$ with $n$-skeleton with compact orbit space. The main result of the article provides is a characterization of $\mathcal{F}\text{-}\mathrm{F}_{n}$ analogue to Brown's criterion for $\mathrm{FP}_n$. As applications we provide criteria for this type of finiteness properties with respect to families to be preserved by finite extensions, a result that contrast with examples of Leary and Nucinkis. We also recover Lück's characterization of property $\underline{\mathrm{F}}_n$ in terms of the finiteness properties of the Weyl groups.
△ Less
Submitted 22 April, 2020; v1 submitted 15 August, 2019;
originally announced August 2019.
-
Coarse geometry of the fire retaining property and group splittings
Authors:
Eduardo Martínez-Pedroza,
Tomasz Prytuła
Abstract:
Given a non-decreasing function $f \colon \mathbb{N} \to \mathbb{N}$ we define a single player game on (infinite) connected graphs that we call fire retaining. If a graph $G$ admits a winning strategy for any initial configuration (initial fire) then we say that $G$ has the $f$-retaining property; in this case if $f$ is a polynomial of degree $d$, we say that $G$ has the polynomial retaining prope…
▽ More
Given a non-decreasing function $f \colon \mathbb{N} \to \mathbb{N}$ we define a single player game on (infinite) connected graphs that we call fire retaining. If a graph $G$ admits a winning strategy for any initial configuration (initial fire) then we say that $G$ has the $f$-retaining property; in this case if $f$ is a polynomial of degree $d$, we say that $G$ has the polynomial retaining property of degree $d$.
We prove that having the polynomial retaining property of degree $d$ is a quasi-isometry invariant in the class of uniformly locally finite connected graphs. Henceforth, the retaining property defines a quasi-isometric invariant of finitely generated groups. We prove that if a finitely generated group $G$ splits over a quasi-isometrically embedded subgroup of polynomial growth of degree $d$, then $G$ has polynomial retaining property of degree $d-1$. Some connections to other work on quasi-isometry invariants of finitely generated groups are discussed and some questions are raised.
△ Less
Submitted 11 February, 2023; v1 submitted 9 April, 2019;
originally announced April 2019.
-
Subgroups of word hyperbolic groups in rational dimension 2
Authors:
Shivam Arora,
Eduardo Martínez-Pedroza
Abstract:
A result of Gersten states that if $G$ is a hyperbolic group with integral cohomological dimension $\mathsf{cd}_{\mathbb{Z}}(G)=2$ then every finitely presented subgroup is hyperbolic. We generalize this result for the rational case $\mathsf{cd}_{\mathbb{Q}}(G)=2$. In particular, our result applies to the class of torsion-free hyperbolic groups $G$ with $\mathsf{cd}_{\mathbb{Z}}(G)=3$ and…
▽ More
A result of Gersten states that if $G$ is a hyperbolic group with integral cohomological dimension $\mathsf{cd}_{\mathbb{Z}}(G)=2$ then every finitely presented subgroup is hyperbolic. We generalize this result for the rational case $\mathsf{cd}_{\mathbb{Q}}(G)=2$. In particular, our result applies to the class of torsion-free hyperbolic groups $G$ with $\mathsf{cd}_{\mathbb{Z}}(G)=3$ and $\mathsf{cd}_{\mathbb{Q}}(G)=2$ discovered by Bestvina and Mess.
△ Less
Submitted 17 December, 2020; v1 submitted 22 November, 2018;
originally announced November 2018.
-
A note on the relation between Hartnell's firefighter problem and growth of groups
Authors:
Eduardo Martínez-Pedroza
Abstract:
The firefighter game problem on locally finite connected graphs was introduced by Bert Hartnell. The game on a graph $G$ can be described as follows: let $f_n$ be a sequence of positive integers; an initial fire starts at a finite set of vertices; at each (integer) time $n\geq 1$, $f_n$ vertices which are not on fire become protected, and then the fire spreads to all unprotected neighbors of verti…
▽ More
The firefighter game problem on locally finite connected graphs was introduced by Bert Hartnell. The game on a graph $G$ can be described as follows: let $f_n$ be a sequence of positive integers; an initial fire starts at a finite set of vertices; at each (integer) time $n\geq 1$, $f_n$ vertices which are not on fire become protected, and then the fire spreads to all unprotected neighbors of vertices on fire; once a vertex is protected or is on fire, it remains so for all time intervals. The graph $G$ has the \emph{$f_n$-containment property} if every initial fire admits an strategy that protects $f_n$ vertices at time $n$ so that the set of vertices on fire is eventually constant. If the graph $G$ has the containment property for a sequence of the form $f_n=Cn^d$, then the graph is said to have \emph{polynomial containment}. In [5], it is shown that any locally finite graph with polynomial growth has polynomial containment; and it is remarked that the converse does not hold. That article also raised the question of whether the equivalence of polynomial growth and polynomial containment holds for Cayley graphs of finitely generated groups. In this short note, we remark how the equivalence holds for elementary amenable groups and for non-amenable groups from results in the literature.
△ Less
Submitted 12 January, 2017; v1 submitted 10 January, 2017;
originally announced January 2017.
-
Finiteness of Homological Filling Functions
Authors:
Joshua W. Fleming,
Eduardo Martínez-Pedroza
Abstract:
Let $G$ be a group. For any $\mathbb{Z} G$--module $M$ and any integer $d>0$, we define a function $FV_{M}^{d+1}\colon \mathbb{N} \to \mathbb{N} \cup \{\infty\}$ generalizing the notion of $(d+1)$--dimensional filling function of a group. We prove that this function takes only finite values if $M$ is of type $FP_{d+1}$ and $d>0$, and remark that the asymptotic growth class of this function is an i…
▽ More
Let $G$ be a group. For any $\mathbb{Z} G$--module $M$ and any integer $d>0$, we define a function $FV_{M}^{d+1}\colon \mathbb{N} \to \mathbb{N} \cup \{\infty\}$ generalizing the notion of $(d+1)$--dimensional filling function of a group. We prove that this function takes only finite values if $M$ is of type $FP_{d+1}$ and $d>0$, and remark that the asymptotic growth class of this function is an invariant of $M$. In the particular case that $G$ is a group of type $FP_{d+1}$, our main result implies that its $(d+1)$-dimensional homological filling function takes only finite values, addressing a question from [12].
△ Less
Submitted 22 November, 2018; v1 submitted 15 September, 2016;
originally announced September 2016.
-
Dismantlable classifying space for the family of parabolic subgroups of a relatively hyperbolic group
Authors:
Eduardo Martinez-Pedroza,
Piotr Przytycki
Abstract:
Let $G$ be a group hyperbolic relative to a finite collection of subgroups $\mathcal P$. Let $\mathcal F$ be the family of subgroups consisting of all the conjugates of subgroups in $\mathcal P$, all their subgroups, and all finite subgroups. Then there is a cocompact model for $E_{\mathcal F} G$. This result was known in the torsion-free case. In the presence of torsion, a new approach was necess…
▽ More
Let $G$ be a group hyperbolic relative to a finite collection of subgroups $\mathcal P$. Let $\mathcal F$ be the family of subgroups consisting of all the conjugates of subgroups in $\mathcal P$, all their subgroups, and all finite subgroups. Then there is a cocompact model for $E_{\mathcal F} G$. This result was known in the torsion-free case. In the presence of torsion, a new approach was necessary. Our method is to exploit the notion of dismantlability. A number of sample applications are discussed.
△ Less
Submitted 8 January, 2017; v1 submitted 15 February, 2016;
originally announced February 2016.
-
Subgroups of Relatively Hyperbolic Groups of Bredon Cohomological Dimension 2
Authors:
Eduardo Martinez-Pedroza
Abstract:
A remarkable result of Gersten states that the class of hyperbolic groups of cohomological dimension $2$ is closed under taking finitely presented (or more generally $FP_2$) subgroups. We prove the analogous result for relatively hyperbolic groups of Bredon cohomological dimension $2$ with respect to the family of parabolic subgroups. A class of groups where our result applies consists of…
▽ More
A remarkable result of Gersten states that the class of hyperbolic groups of cohomological dimension $2$ is closed under taking finitely presented (or more generally $FP_2$) subgroups. We prove the analogous result for relatively hyperbolic groups of Bredon cohomological dimension $2$ with respect to the family of parabolic subgroups. A class of groups where our result applies consists of $C'(1/6)$ small cancellation products. The proof relies on an algebraic approach to relative homological Dehn functions, and a characterization of relative hyperbolicity in the framework of finiteness properties over Bredon modules and homological Isoperimetric inequalities.
△ Less
Submitted 30 May, 2017; v1 submitted 19 August, 2015;
originally announced August 2015.
-
The Coarse Geometry of Hartnell's Firefighter Problem on Infinite Graphs
Authors:
Danny Dyer,
Eduardo Martinez-Pedroza,
Brandon Thorne
Abstract:
In this article, we study Hartnell's Firefighter Problem through the group theoretic notions of growth and quasi-isometry. A graph has the $n$-containment property if for every finite initial fire, there is a strategy to contain the fire by protecting $n$ vertices at each turn. A graph has the constant containment property if there is an integer $n$ such that it has the $n$-containment property. O…
▽ More
In this article, we study Hartnell's Firefighter Problem through the group theoretic notions of growth and quasi-isometry. A graph has the $n$-containment property if for every finite initial fire, there is a strategy to contain the fire by protecting $n$ vertices at each turn. A graph has the constant containment property if there is an integer $n$ such that it has the $n$-containment property. Our first result is that any locally finite connected graph with quadratic growth has the constant containment property; the converse does not hold. This result provides a unified way to recover previous results in the literature, in particular the class of graphs satisfying the constant containment property is infinite. A second result is that in the class of graphs with bounded degree, having the constant containment property is preserved by quasi-isometry. Some sample consequences of the second result are that any regular tiling of the Euclidean plane has the fire containment property; no regular tiling of the $n$-dimensional Euclidean space has the containment property if $n>2$; and no regular tiling of the $n$-dimensional hyperbolic space has the containment property if $n\geq 2$. We prove analogous results for the $\{f_n\}$-containment property, where $f_n$ is an integer sequence corresponding to the number of vertices protected at time $n$. In particular, we positively answer a conjecture by Develin and Hartke by proving that the $d$-dimensional square grid $\mathbb{L}^d$ does not satisfy the $cn^{d-3}$-containment property for any constant $c$.
△ Less
Submitted 24 January, 2017; v1 submitted 10 July, 2015;
originally announced July 2015.
-
A note on fine graphs and homological isoperimetric inequalities
Authors:
Eduardo Martinez-Pedroza
Abstract:
In the framework of homological characterizations of relative hyperbolicity, Groves and Manning posed the question of whether a simply connected $2$-complex $X$ with a linear homological isoperimetric inequality, a bound on the length of attaching maps of $2$-cells and finitely many $2$-cells adjacent to any edge must have a fine $1$-skeleton. We provide a positive answer to this question. We revi…
▽ More
In the framework of homological characterizations of relative hyperbolicity, Groves and Manning posed the question of whether a simply connected $2$-complex $X$ with a linear homological isoperimetric inequality, a bound on the length of attaching maps of $2$-cells and finitely many $2$-cells adjacent to any edge must have a fine $1$-skeleton. We provide a positive answer to this question. We revisit a homological characterization of relative hyperbolicity, and show that a group $G$ is hyperbolic relative to a collection of subgroups $\mathcal P$ if and only if $G$ acts cocompactly with finite edge stabilizers on an connected $2$-dimensional cell complex with a linear homological isoperimetric inequality and $\mathcal P$ is a collection of representatives of conjugacy classes of vertex stabilizers.
△ Less
Submitted 7 September, 2015; v1 submitted 6 January, 2015;
originally announced January 2015.
-
A Subgroup Theorem for Homological Filling Functions
Authors:
Richard Gaelan Hanlon,
Eduardo Martinez-Pedroza
Abstract:
We use algebraic techniques to study homological filling functions of groups and their subgroups. If $G$ is a group admitting a finite $(n+1)$--dimensional $K(G,1)$ and $H \leq G$ is of type $F_{n+1}$, then the $n^{th}$--homological filling function of $H$ is bounded above by that of $G$. This contrast with known examples where such inequality does not hold under weaker conditions on the ambient g…
▽ More
We use algebraic techniques to study homological filling functions of groups and their subgroups. If $G$ is a group admitting a finite $(n+1)$--dimensional $K(G,1)$ and $H \leq G$ is of type $F_{n+1}$, then the $n^{th}$--homological filling function of $H$ is bounded above by that of $G$. This contrast with known examples where such inequality does not hold under weaker conditions on the ambient group $G$ or the subgroup $H$. We include applications to hyperbolic groups and homotopical filling functions.
△ Less
Submitted 20 August, 2015; v1 submitted 4 June, 2014;
originally announced June 2014.
-
Coherence and Negative Sectional Curvature in Complexes of Groups
Authors:
Eduardo Martínez-Pedroza,
Daniel T. Wise
Abstract:
We examine a condition on a simply connected 2-complex X ensuring that groups acting properly on X are coherent. This extends earlier work on 2-complexes with negative sectional curvature which covers the case that G acts freely. Our extension of these results involves a generalization of the notion of sectional curvature, an extension of the combinatorial Gauss-Bonnet theorem to complexes of grou…
▽ More
We examine a condition on a simply connected 2-complex X ensuring that groups acting properly on X are coherent. This extends earlier work on 2-complexes with negative sectional curvature which covers the case that G acts freely. Our extension of these results involves a generalization of the notion of sectional curvature, an extension of the combinatorial Gauss-Bonnet theorem to complexes of groups, and surprisingly requires the use of L^2-Betti numbers. We also prove local quasiconvexity of G under the additional assumption that X is CAT(0) space.
△ Less
Submitted 30 July, 2013;
originally announced July 2013.
-
Lifting Group Actions, Equivariant Towers and Subgroups of Non-positively Curved Groups
Authors:
Richard Gaelan Hanlon,
Eduardo Martinez-Pedroza
Abstract:
If $\mathcal C$ is a class of complexes closed under taking full subcomplexes and covers and $\mathcal G$ is the class of groups admitting proper and cocompact actions on one-connected complexes in $\mathcal C$, then $\mathcal G$ is closed under taking finitely presented subgroups. As a consequence the following classes of groups are closed under taking finitely presented subgroups: groups acting…
▽ More
If $\mathcal C$ is a class of complexes closed under taking full subcomplexes and covers and $\mathcal G$ is the class of groups admitting proper and cocompact actions on one-connected complexes in $\mathcal C$, then $\mathcal G$ is closed under taking finitely presented subgroups. As a consequence the following classes of groups are closed under taking finitely presented subgroups: groups acting geometrically on regular $CAT(0)$ simplicial complexes of dimension $3$, $k$-systolic groups for $k\geq 6$, and groups acting geometrically on $2$-dimensional negatively curved complexes. We also show that there is a finite non-positively curved cubical $3$-complex which is not homotopy equivalent to a finite non-positively curved regular simplicial $3$-complex. We included other applications to relatively hyperbolic groups and diagramatically reducible groups. The main result is obtained by develo** a notion of equivariant towers which is of independent interest.
△ Less
Submitted 20 March, 2014; v1 submitted 9 July, 2013;
originally announced July 2013.
-
Virtual Amalgamation of Relatively Quasiconvex Subgroups
Authors:
Eduardo Martinez-Pedroza,
Alessandro Sisto
Abstract:
For relatively hyperbolic groups, we investigate conditions guaranteeing that the subgroup generated by two relatively quasiconvex subgroups $Q_1$ and $Q_2$ is relatively quasiconvex and isomorphic to $Q_1 \ast_{Q_1 \cap Q_2} Q_2$. The main theorem extends results for quasiconvex subgroups of word-hyperbolic groups, and results for discrete subgroups of isometries of hyperbolic spaces.
For relatively hyperbolic groups, we investigate conditions guaranteeing that the subgroup generated by two relatively quasiconvex subgroups $Q_1$ and $Q_2$ is relatively quasiconvex and isomorphic to $Q_1 \ast_{Q_1 \cap Q_2} Q_2$. The main theorem extends results for quasiconvex subgroups of word-hyperbolic groups, and results for discrete subgroups of isometries of hyperbolic spaces.
△ Less
Submitted 26 March, 2012;
originally announced March 2012.
-
Relative Quasiconvexity using Fine Hyperbolic Graphs
Authors:
Eduardo Martinez-Pedroza,
Daniel T. Wise
Abstract:
We provide a new and elegant approach to relative quasiconvexity for relatively hyperbolic groups in the context of Bowditch's approach to relative hyperbolicity using cocompact actions on fine hyperbolic graphs. Our approach to quasiconvexity generalizes the other definitions in the literature that apply only for countable relatively hyperbolic groups. We also provide an elementary and self-conta…
▽ More
We provide a new and elegant approach to relative quasiconvexity for relatively hyperbolic groups in the context of Bowditch's approach to relative hyperbolicity using cocompact actions on fine hyperbolic graphs. Our approach to quasiconvexity generalizes the other definitions in the literature that apply only for countable relatively hyperbolic groups. We also provide an elementary and self-contained proof that relatively quasiconvex subgroups are relatively hyperbolic.
△ Less
Submitted 22 November, 2010; v1 submitted 17 September, 2010;
originally announced September 2010.
-
Local Quasiconvexity of Groups acting on Small Cancellation Complexes
Authors:
Eduardo Martinez-Pedroza,
Daniel T. Wise
Abstract:
Given a group acting cellularly and cocompactly on a simply-connected 2-complex, we provide a criterion establishing that all finitely generated subgroups have quasiconvex orbits. This work generalizes the "perimeter method". As an application, we show that high-powered one-relator products $A \ast B / \nclose{r^n}$ are coherent if $A$ and $B$ are coherent.
Given a group acting cellularly and cocompactly on a simply-connected 2-complex, we provide a criterion establishing that all finitely generated subgroups have quasiconvex orbits. This work generalizes the "perimeter method". As an application, we show that high-powered one-relator products $A \ast B / \nclose{r^n}$ are coherent if $A$ and $B$ are coherent.
△ Less
Submitted 23 June, 2021; v1 submitted 17 September, 2010;
originally announced September 2010.
-
Separation of Relatively Quasiconvex Subgroups
Authors:
Jason Fox Manning,
Eduardo Martinez-Pedroza
Abstract:
Suppose that all hyperbolic groups are residually finite. The following statements follow: In relatively hyperbolic groups with peripheral structures consisting of finitely generated nilpotent subgroups, quasiconvex subgroups are separable; Geometrically finite subgroups of non-uniform lattices in rank one symmetric spaces are separable; Kleinian groups are subgroup separable. We also show that…
▽ More
Suppose that all hyperbolic groups are residually finite. The following statements follow: In relatively hyperbolic groups with peripheral structures consisting of finitely generated nilpotent subgroups, quasiconvex subgroups are separable; Geometrically finite subgroups of non-uniform lattices in rank one symmetric spaces are separable; Kleinian groups are subgroup separable. We also show that LERF for finite volume hyperbolic 3-manifolds would follow from LERF for closed hyperbolic 3-manifolds.
The method is to reduce, via combination and filling theorems, the separability of a quasiconvex subgroup of a relatively hyperbolic group G to the separability of a quasiconvex subgroup of a hyperbolic quotient G/N. A result of Agol, Groves, and Manning is then applied.
△ Less
Submitted 12 May, 2010; v1 submitted 24 November, 2008;
originally announced November 2008.
-
On Quasiconvexity and Relative Hyperbolic Structures
Authors:
Eduardo Martinez-Pedroza
Abstract:
Let G be a group which is hyperbolic relative to a collection of subgroups A, and it is also hyperbolic relative to a collection of subgroups B. Suppose that the collection A contains B. We characterize, for subgroups of G, when quasicovexity relative to A implies quasiconvexity relative to B. We also show that quasiconvexity relative to B implies quasiconvexity relative to A. Some applications ar…
▽ More
Let G be a group which is hyperbolic relative to a collection of subgroups A, and it is also hyperbolic relative to a collection of subgroups B. Suppose that the collection A contains B. We characterize, for subgroups of G, when quasicovexity relative to A implies quasiconvexity relative to B. We also show that quasiconvexity relative to B implies quasiconvexity relative to A. Some applications are discussed.
△ Less
Submitted 2 May, 2011; v1 submitted 14 November, 2008;
originally announced November 2008.
-
Combination of quasiconvex subgroups of relatively hyperbolic groups
Authors:
Eduardo Martinez-Pedroza
Abstract:
For relatively hyperbolic groups, we investigate conditions guaranteeing that the subgroup generated by two quasiconvex subgroups $Q$ and $R$ is quasiconvex and isomorphic to $Q \ast_{Q\cap R} R$. Our results generalized known combination theorems for quasiconvex subgroups of word-hyperbolic groups. Some applications are presented.
For relatively hyperbolic groups, we investigate conditions guaranteeing that the subgroup generated by two quasiconvex subgroups $Q$ and $R$ is quasiconvex and isomorphic to $Q \ast_{Q\cap R} R$. Our results generalized known combination theorems for quasiconvex subgroups of word-hyperbolic groups. Some applications are presented.
△ Less
Submitted 12 August, 2008; v1 submitted 13 September, 2007;
originally announced September 2007.