arXiv research

Locally connected boundaries proven for relatively hyperbolic groups.

Study shows connectedness of Bowditch boundary persists in long Dehn fillings.

We survey the problem of separation under conjugacy and malnormality of the abelian peripheral subgroups of an orientable, irreducible $3$-manifold $X$. We shall focus on the relation between this problem and the existence of acylindrical splittings of $π_1(X)$ as an amalgamated product or HNN-extension along the abeli…

Groups with semistable peripheral subgroups are semistable.

A group theoretic version of Dehn surgery is studied. Starting with an arbitrary relatively hyperbolic group $G$ we define a peripheral filling procedure, which produces quotients of $G$ by imitating the effect of the Dehn filling of a complete finite volume hyperbolic 3--manifold $M$ on the fundamental group $π_1(M)$.…

Finite index subgroups of relatively hyperbolic groups have equal index.

If F is a surface with boundary, then a finitely generated subgroup without peripheral elements of G = π_1(F) can be separated from finitely many other elements of G by a finite index subgroup of G corresponding to a finite cover F' with the same number of boundary components as F .

Clarifies boundary criterion for non-one-ended subgroups in cubulation theory.

Defines new representations for hyperbolic groups, unifying existing definitions.

We give an alternative definition of relative hyperbolicity based on properties of closest-point projections on peripheral subgroups. We also derive a distance formula for relatively hyperbolic groups, similar to the one for mapping class groups.

An ideal triangulation $\mathcal{T}$ of a hyperbolic 3-manifold $M$ with one cusp is non-peripheral if no edge of $\mathcal{T}$ is homotopic to a curve in the boundary torus of $M$. For such a triangulation, the gluing and completeness equations can be solved to recover the hyperbolic structure of $M$. A planar project…

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 sp…

We show that the figure eight knot complement admits a uniformizable spherical CR structure, i.e. it occurs as the manifold at infinity of a complex hyperbolic orbifold. The uniformization is unique provided we require the peripheral subgroups to have unipotent holonomy.

Consider a one-ended word-hyperbolic group. If it is the fundamental group of a graph of free groups with cyclic edge groups then either it is the fundamental group of a surface or it contains a finitely generated one-ended subgroup of infinite index. As a corollary, the same holds for limit groups. We also obtain a ch…

We show that Out(G) is residually finite if G is a one-ended group that is hyperbolic relative to virtually polycyclic subgroups. More generally, if G is one-ended and hyperbolic relative to proper residually finite subgroups, the group of outer automorphisms preserving the peripheral structure is residually finite. We…

Random quotients preserve hyperbolic properties in groups.

We introduce a coarse flow space for relatively hyperbolic groups and use it to verify a regularity condition for the action of relatively hyperbolic groups on their boundaries. As an application the Farrell-Jones Conjecture for relatively hyperbolic groups can be reduced to the peripheral subgroups (up to index 2 over…

We show that any group that is hyperbolic relative to virtually nilpotent subgroups, and does not admit peripheral splittings, contains a quasi-isometrically embedded copy of the hyperbolic plane. In natural situations, the specific embeddings we find remain quasi-isometric embeddings when composed with the inclusion m…

We describe, under some additional technical assumptions, the Gromov boundary of the free product of several $G_i$'s amalgamated wrt. $H$, where $G_i$ are hyperbolic groups with boundary homeomorphic to a densely punctured $n$-sphere, and $H$ is their common subgroup corresponding to a peripheral sphere in each of the …

The paper defines conditions for a free-by-free group to be hyperbolic.

In this paper it is proved that relative hyperbolicity is an invariant of quasi-isometry. As a byproduct of the arguments, simplified definitions of relative hyperbolicity are obtained. In particular we obtain a new definition very similar to the one of hyperbolicity, relying on the existence for every quasi-geodesic t…

It is shown that every non-compact hyperbolic manifold of finite volume has a finite cover admitting a geodesic ideal triangulation. Also, every hyperbolic manifold of finite volume with non-empty, totally geodesic boundary has a finite regular cover which has a geodesic partially truncated triangulation. The proofs us…

Characterizes boundaries of HHGs and their properties.

We provide an algorithm to solve the word problem in all fundamental groups of closed 3-manifolds; in particular, we show that these groups are autostackable. This provides a common framework for a solution to the word problem in any closed 3-manifold group using finite state automata. We also introduce the notion of a…

Wise's Quasiconvex Hierarchy Theorem classifying hyperbolic virtually compact special groups in terms of quasiconvex hierarchies played an essential role in Agol's proof of the Virtual Haken Conjecture. Answering a question of Wise, we construct a new virtual quasiconvex hierarchy for relatively hyperbolic virtually co…

New peripheral structure for core groups detects noninvertible knots.

The paper studies how Kleinian groups can be deformed while preserving their peripheral structures.

We study the geometry of nonrelatively hyperbolic groups. Generalizing a result of Schwartz, any quasi-isometric image of a non-relatively hyperbolic space in a relatively hyperbolic space is contained in a bounded neighborhood of a single peripheral subgroup. This implies that a group being relatively hyperbolic with …

We consider the discrete representations of 3-manifold groups into $PU(2,1)$ that appear in the Falbel-Koseleff-Rouillier census, such that the peripheral subgroups have cyclic unipotent holonomy. We show that two of these representations have conjugate images, even though they represent different 3-manifold groups. Th…

We show that a relatively hyperbolic group quasi-isometrically embeds in a product of finitely many trees if the peripheral subgroups do, and we provide an estimate on the minimal number of trees needed. Applying our result to the case of 3-manifolds, we show that fundamental groups of closed 3-manifolds have linearly …

We define and give explicit construction of the universal tree-graded space with a given collection of pieces. We apply that to proving uniqueness of asymptotic cones of relatively hyperbolic groups whose peripheral subgroups have unique asymptotic cones. Modulo the Continuum Hypothesis, we show that if an asymptotic c…

Johnson and Livingston have characterized peripheral structures in homomorphs of knot groups. We extend their approach to the case of links. The main result is an algebraic characterization of all possible peripheral structures in certain homomorphic images of link groups.

Maps and embeddings between hyperbolic spaces and their boundaries studied.

We determine the total Culler-Shalen seminorms for the 3-manifolds W_{p/q}:=W(p/q,-) obtained by Dehn filling with slope p/q on one boundary component of the Whitehead link exterior W when p is odd. As part of the proof, we use an explicit parametrization of the eigenvalue variety of W to find a one-variable polynomial…

We introduce and study the notions of hyperbolically embedded and very rotating families of subgroups. The former notion can be thought of as a generalization of the peripheral structure of a relatively hyperbolic group, while the later one provides a natural framework for developing a geometric version of small cancel…

Constructs the medial quandle from link's peripheral structure.

Corrects a paper on Alexander modules and answers a related question.

We study discrete group actions on coarse Poincare duality spaces, e.g. acyclic simplicial complexes which admit free cocompact group actions by Poincare duality groups. When G is an (n-1) dimensional duality group and X is a coarse Poincare duality space of formal dimension n, then a free simplicial action of G on X d…

Suppose a group $G$ is relatively hyperbolic with respect to a collection $\PP$ of its subgroups and also acts properly, cocompactly on a $\CAT(0)$ (or $δ$--hyperbolic) space $X$. The relatively hyperbolic structure provides a relative boundary $\partial(G,\PP)$. The $\CAT(0)$ structure provides a different boundary at…

Characterizes convex cocompact actions in projective space with dynamical properties.

New groups with special properties found.

Uniform spectral gap found for stable commutator length in hyperbolic 2-orbifolds.

For X = R, C, or H it is well known that cusp cross-sections of finite volume X-hyperbolic (n+1)-orbifolds are flat n-orbifolds or almost flat orbifolds modelled on the (2n+1)-dimensional Heisenberg group N_{2n+1} or the (4n+3)-dimensional quaternionic Heisenberg group N_{4n+3}(H). We give a necessary and sufficient co…

We construct an enhanced version of knot contact homology, and show that we can deduce from it the group ring of the knot group together with the peripheral subgroup. In particular, it completely determines a knot up to smooth isotopy. The enhancement consists of the (fully noncommutative) Legendrian contact homology a…

3-manifolds have covers with infinitely many ideal triangulations.

We prove that a group obtained as a quotient of the free product of finitely many cubulable groups by a finite set of relators satisfying the classical $C'(1/6)$--small cancellation condition is cubulable. This yields a new large class of relatively hyperbolic groups that can be cubulated, and constitutes the first ins…

Given an abelian group $A$ and a Lie group $G$, we construct a bilinear pairing from $A\timesπ_1({\mathcal R})$ to $π_1(G)$, where $\mathcal R$ is a subvariety of the variety of representations $A\to G$. In the case where $A$ is the peripheral subgroup of a torus or two-bridge knot group, $G=S^1$ and $\mathcal R$ is a …

Let $M$ be a cusped hyperbolic $3$-manifold, e.g. a knot complement. Thurston showed that the space of deformations of its fundamental group in $\mathrm {PGL}(2,\mathbf {C})$ (up to conjugation) is of complex dimension the number $ν$ of cusps near the hyperbolic representation. It seems natural to ask whether some …