Search

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., Version 4. Accepted in the Journal of Algebra

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., Version 4. Version accepted for publication in Communications in Algebra

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.

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., Version accepted for publication in Journal of Group Theory

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., Comment: Version accepted for publication in J. Inst. Math. Jussieu

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\"uck's characterization of property $\underline{\mathrm{F}}_n$ in terms of the finiteness properties of the Weyl groups., Comment: Version accepted for publication in JPAA

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., V2: Version accepted for publication by Geometriae Dedicata

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., First published in: Arora Shivam, Martinez Pedroza Eduardo, SUBGROUPS OF WORD HYPERBOLIC GROUPS IN RATIONAL DIMENSION 2. Groups Geom. Dyn

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]., Minor typo in the statement of Theorem 1.3 was corrected

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., Version accepted by the Canadian Mathematical Bulletin

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., Version to appear in Michigan Mathematical Journal

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 developing a notion of equivariant towers which is of independent interest., v.4. Version accepted for publication in AGT

We consider maximal slices of the Myers-Perry black hole, the doubly spinning black ring, and the Black Saturn solution. These slices are complete, asymptotically flat Riemannian manifolds with inner boundaries corresponding to black hole horizons. Although these spaces are simply connected as a consequence of topological censorship, they have non-trivial topology. In this note we investigate the question of whether the topology of spatial sections of the horizon uniquely determines the topology of the maximal slices. We show that the horizon determines the homological invariants of the slice under certain conditions. The homological analysis is extended to black holes for which explicit geometries are not yet known. We believe that these results could provide insights in the context of proving existence of deformations of this initial data. For the topological slices of the doubly spinning black ring and the Black Saturn we compute the homotopy groups up to dimension 3 and show that their 4-dimensional homotopy group is not trivial., Comment: LateX, 26 pages; v2: added computation of homotopy groups up to dimension 3; minor improvements. to appear in Classical and Quantum Gravity

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., Comment: 7 pages, 1 figure

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., 21 pages, 6 figures. New section on fine graphs. Version to appear in AGT

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 ∗ B / 《 r n 》 are coherent if A and B are coherent.

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., Comment: 22 pages, 2 figures. New version has numbering matching with the published version in the Pacific Journal of Mathematics, 244 no. 2 (2010) 309--334.