arXiv research

Study shows mapping class groups are one-ended for surfaces with at least one end.

Let G and F be finitely generated groups with infinitely many ends and let A and B be graph of groups decompositions of F and G such that all edge groups are finite and all vertex groups have at most one end. We show that G and F are quasi-isometric if and only if every one-ended vertex group of A is quasi-isometric to…

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…

New theorem bounds group quotient size to subgroups index.

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…

Sela proved every torsion-free one-ended hyperbolic group is coHopfian. We prove that there exist torsion-free one-ended hyperbolic groups that are not commensurably coHopfian. In particular, we show that the fundamental group of every simple surface amalgam is not commensurably coHopfian.

Classifies quasi-isometry types of lamplighter groups over one-ended groups.

The paper proves hyperbolic groups are semistable and their boundaries are linearly connected.

We give a technical result that implies a straightforward necessary and sufficient conditions for a graph of groups with virtually cyclic edge groups to be one ended. For arbitrary graphs of groups, we show that if their fundamental group is not one-ended, then we can blow up vertex groups to graphs of groups with simp…

Study on connectivity of Morse boundaries of Coxeter groups.

Study on hyperbolic groups, focusing on separability and splittings.

A Coxeter group acts properly and cocompactly by isometries on the Davis complex for the group; we call the quotient of the Davis complex under this action the Davis orbicomplex for the group. We prove the set of finite covers of the Davis orbicomplexes for the set of one-ended Coxeter groups is not topologically rigid…

Two results on end spaces of infinite type surfaces, answering questions about their topology and equivalence.

We present an algorithm that computes Bowditch's canonical JSJ decomposition of a given one-ended hyperbolic group over its virtually cyclic subgroups. The algorithm works by identifying topological features in the boundary of the group. As a corollary we also show how to compute the JSJ decomposition of such a group o…

Proves Farrell--Jones Conjecture for hyperbolic groups and their automorphisms.

Extends growth properties of hyperbolic groups to their extensions.

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

In 1992, David Wright proved a remarkable theorem about which contractible open manifolds are covering spaces. He showed that if a one-ended open manifold M has pro-monomorphic fundamental group at infinity which is not pro-trivial and is not stably Z, then M does not cover any manifold (except itself). In the non-mani…

It is proven that if a finitely presented group is one ended it has asymptotic dimension bigger than one. It follows that finitely presented groups with asdim 1 are virtually free. A counterexample is given for the finitely generated case.

We construct nonlinear hyperbolic groups which are large, torsion-free, one-ended, and admit a finite $K(π,1)$. Our examples are built from superrigid cocompact rank one lattices via amalgamated free products and HNN extensions.

In this paper, we recall Quillen's plus construction for high-dimensional smooth manifolds and the solution to the group extension problem. We then develop a geometric procedure due for producing a "reverse" to the plus construction, a one-sided s-cobordism called a semi-s-cobordism, when the total group of the group e…

If $X$ is an orientable, strongly minimal $PD_4$-complex and $π_1(X)$ has one end then it has no nontrivial locally-finite normal subgroup. Hence if $π$ is a 2-knot group then (a) if $π$ is virtually solvable then either $π$ has two ends or $π\congΦ$, with presentation $\langle{a,t}|ta=a^2t\rangle$, or $π$ is torsion-f…

We associate cube complexes called completions to each subgroup of a right-angled Coxeter group (RACG). A completion characterizes many properties of the subgroup such as whether it is quasiconvex, normal, finite-index or torsion-free. We use completions to show that reflection subgroups are quasiconvex, as are one-end…

We prove that the semistability growth of hyperbolic groups is linear, which implies that hyperbolic groups which are sci (simply connected at infinity) have linear sci growth. Based on the linearity of the end-depth of finitely presented groups we show that the linear sci is preserved under amalgamated products over f…

The authors previously described an algebraic analogue of the JSJ-decomposition of a 3-manifold. This analogue is defined for any finitely presented, one-ended group. We study this analogue in the special case of Poincaré duality pairs.

We present an algorithm to construct the JSJ decomposition of one-ended hyperbolic groups which are fundamental groups of graphs of free groups with cyclic edge groups. Our algorithm runs in double exponential time, and is the first algorithm on JSJ decompositions to have an explicit time bound. Our methods are combina…

Study shows hyperbolic subgroups can be free products of surface and free groups.

We show that closed, connected 4-manifolds up to connected sum with copies of the complex projective plane are classified in terms of the fundamental group, the orientation character and an extension class involving the second homotopy group. For fundamental groups that are torsion free or have one end, we reduce this …

We give a combinatorial criterion that implies both the non-strong relative hyperbolicity and the one-endedness of a finitely generated group. We use this to show that many important classes of groups do not admit a strong relatively hyperbolic group structure and have one end. Applications include surface mapping clas…

The authors prove that for a closed surface of genus at least 3, the graph of pants decompositions has only one end.

New 3D shapes can't be split into torus pieces.

A short proof of a conjecture of Kropholler is given. This gives a relative version of Stallings' Theorem on the structure of groups with more than one end. A generalisation of the Almost Stability Theorem is also obtained, that gives information about the structure of the Sageev cubing.

We prove that any shrinking Kahler Ricci soliton has only one end, and that any expanding Kahler Ricci soliton with proper potential has only one end.

Let G be a finitely presented group, and G' its commutator subgroup. Let C be the Cayley graph of G' with all commutators in G as generators. Then C is large scale simply connected. Furthermore, if G is a torsion-free nonelementary word-hyperbolic group, C is one-ended. Hence (in this case), the asymptotic dimension of…

We build quasi--isometry invariants of relatively hyperbolic groups which detect the hyperbolic parts of the group; these are variations of the stable dimension constructions previously introduced by the authors. We prove that, given any finite collection of finitely generated groups $\mathcal{H}$ each of which either …

Let $M^{4n}$ be a complete quaternionic Kähler manifold with scalar curvature bounded below by $-16n(n+2)$. We get a sharp estimate for the first eigenvalue $λ_1(M)$ of the Laplacian which is $λ_1(M)\le (2n+1)^2$. If the equality holds, then either $M$ has only one end, or $M$ is diffeomorphic to $\mathbb{R}\times N$ w…

We develop an algorithm of polynomial time complexity to construct the Grushko decomposition of fundamental groups of graphs of free groups with cyclic edge groups. Our methods rely on analysing vertex links of certain CAT(0) square complexes naturally associated with a special class of the above groups. Our main resul…

This paper is a synthesis and extension of three earlier papers on $PD_4$-complexes $X$ with fundamental group $π$ such that $c.d.π=2$ and $π$ has one end. Our goal is to show that the homotopy types of such complexes are determined by $π$, the Stiefel-Whitney classes and the equivariant intersection pairing on $π_2(X)…

A well known question of Gromov asks whether every one-ended hyperbolic group $Γ$ has a surface subgroup. We give a positive answer when $Γ$ is the fundamental group of a graph of free groups with cyclic edge groups. As a result, Gromov's question is reduced (modulo a technical assumption on 2-torsion) to the case when…

In this paper we confirm a folklore conjecture which suggests that for a complete noncompact manifold $M$ of finite volume with sectional curvature $-1 \leq K \leq 0$, if the universal cover of $M$ is a visibility manifold, then the fundamental group of each end of $M$ is almost nilpotent.

In this article we study the K- and L-theory of groups acting on trees. We consider the problem in the context of the fibered isomorphism conjecture of Farrell and Jones. We show that in the class of residually finite groups it is enough to prove the conjecture for finitely presented groups with one end. Also, we deduc…

Proves convergence groups on a 2-sphere are Kleinian groups.

Study shows certain infinite-ended groups are not quasi-isometrically rigid.

Outer automorphism group of hyperbolic groups is HHG under certain conditions.

We study the global behavior of (weakly) stable constant mean curvature hypersurfaces in general Riemannian manifolds. By using harmonic function theory, we prove some one-end theorems which are new even for constant mean curvature hypersurfaces in space forms. In particular, a complete oriented weakly stable minimal h…

We show that for every $n\ge 2$ there exists a torsion-free one-ended word-hyperbolic group $G$ of rank $n$ admitting generating $n$-tuples $(a_1,\ldots ,a_n)$ and $(b_1,\ldots ,b_n)$ such that the $(2n-1)$-tuples $$(a_1,\ldots ,a_n, \underbrace{1,\ldots ,1}_{n-1 \text{times}})\hbox{ and }(b_1,\ldots, b_n, \underbrace{…

An automorphism $α$ of a group $G$ is normal if it fixes every normal subgroup of $G$ setwise. We give an algebraic description of normal automorphisms of relatively hyperbolic groups. In particular, we prove that for any relatively hyperbolic group $G$, $Inn(G)$ has finite index in the subgroup $Aut_n(G)$ of normal au…

Locally connected boundaries proven for relatively hyperbolic groups.