arXiv research

We determine which amalgamated products of surface groups identified over multiples of simple closed curves are not fundamental groups of 3-manifolds. We prove each surface amalgam considered is virtually the fundamental group of a 3-manifold. We prove that each such surface group amalgam is abstractly commensurable to…

Investigates linearity of group amalgams and new examples of non-linear groups.

We give explicit necessary and sufficient conditions for the abstract commensurability of certain families of 1-ended, hyperbolic groups, namely right-angled Coxeter groups defined by generalized theta-graphs and cycles of generalized theta-graphs, and geometric amalgams of free groups whose JSJ graphs are trees of dia…

Logarithmic separation profile in hyperbolic groups shows hierarchical structure.

A dense amalgam connects boundaries of groups split by finite subgroups.

We begin with a review of the notion of a braid group. We then discuss some known solutions to decision problems in braid groups. We then move on to proving new results in braid group algorithmics. We offer a quick solution to the generalized word problem in braid groups, in the special case of cyclic subgroups. We ill…

We introduce and study the operation, called dense amalgam, which to any tuple X_1,...,X_k of non-empty compact metric spaces associates some disconnected perfect compact metric space, denoted $\widetilde\sqcup(X_1,...,X_k)$, in which there are many appropriately distributed copies of the spaces X_1,...,X_k. We then sh…

A simple surface amalgam is the union of a finite collection of surfaces with precisely one boundary component each and which have their boundary curves identified. We prove if two fundamental groups of simple surface amalgams act properly and cocompactly by isometries on the same proper geodesic metric space, then the…

This paper gives necessary and sufficient conditions that the free product with amalgamation of circularly-ordered groups admit a circular ordering extending the given orderings of the factors. Our result follows from establishing a categorical framework that allows the problem to be restated in terms of amalgamating c…

The paper provides conditions for amalgamation of certain subgroups and preserves convexity properties.

New Klein-Maskit theorems for Anosov subgroups.

We prove that, for any two finite volume hyperbolic $3$-manifolds, the amalgamation of their fundamental groups along any nontrivial geometrically finite subgroup is not LERF. This generalizes the author's previous work on nonLERFness of amalgamations of hyperbolic $3$-manifold groups along abelian subgroups. A consequ…

Let $Γ$ be a one-ended, torsion-free hyperbolic group and let $G$ be a semisimple Lie group with finite center. Using the canonical JSJ splitting due to Sela, we define amalgam Anosov representations of $Γ$ into $G$ and prove that they form a domain of discontinuity for the action of $\mathrm{Out}(Γ)$. In the appendix,…

We introduce the notion of manifolds of amalgamation geometry and its generalization, split geometry. We show that the limit set of any surface group of split geometry is locally connected, by constructing a natural Cannon-Thurston map.

We prove that the palindromic width of HNN extension of a group by proper associated subgroups is infinite. We also prove that the palindromic width of the amalgamated free product of two groups via a proper subgroup is infinite (except when the amalgamated subgroup has index two in each of the factors). Combining thes…

We prove a topological rigidity result for simple, thick, hyperbolic P-manifolds of dimension 2: isomorphism of the fundamental groups implies homeomorphism of the P-manifolds. An immediate application is a diagram rigidity theorem for certain amalgamations of free groups: the direct limits of two such diagrams are iso…

In this paper, we show that the class of all properly 3-realizable groups is closed under amalgamated free products (and HNN-extensions) over finite groups. We recall that $G$ is said to be properly 3-realizable if there exists a compact 2-polyhedron $K$ with $π_1(K) \cong G$ and whose universal cover $\tilde{K}$ has t…

In this paper, we give some necessary and sufficient conditions for a normal subgroup of an amalgamated product of groups to be finitely generated. We apply these conditions together with Stallings' fibering theorem to prove that an irreducible multilink in a homology 3-sphere fibers if and only if each of its multilin…

A lemma of Tits establishes a connection between the simple connectivity of an incidence geometry and the universal completion of an amalgam induced by a sufficiently transitive group of automorphisms of that geometry. In the present paper, we generalize this lemma to intransitive geometries, thus opening the door for …

We show that stable commutator length is rational on free products of free Abelian groups amalgamated over $\mathbb{Z}^k$, a class of groups containing the fundamental groups of all torus knot complements. We consider a geometric model for these groups and parameterize all surfaces with specified boundary mapping to th…

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 …

We show that for groups acting acylindrically on simplicial trees the $K$- and $L$-theoretic Farrell-Jones Conjecture relative to the family of subgroups consisting of virtually cyclic subgroups and all subconjugates of vertex stabilisers holds. As an application, for amalgamated free products acting acylindrically on …

Characterizes amalgamations and self-amalgamations of handlebodies.

A longstanding question of Gromov asks whether every one-ended word-hyperbolic group contains a subgroup isomorphic to the fundamental group of a closed hyperbolic surface. An infinite family of word-hyperbolic groups can be obtained by taking doubles of free groups amalgamated along words that are not proper powers. W…

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.

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.

Let $Γ$ be the fundamental group of a compact n-dimensional riemannian manifold X of sectional curvature bounded above by -1. We suppose that $Γ$ is a free product of its subgroup A and B over the amalgamated subgroup C. We prove that the critical exponent $δ(C)$ of C satisfies $δ(C) \geq n-2$. The equality happens if …

In this expository note, we illustrate phenomena and conjectures about boundaries of hyperbolic groups by considering the special cases of certain amalgams of hyperbolic groups. While doing so, we describe fundamental results on hyperbolic groups and their boundaries by Bowditch and Haissinsky, along with special treat…

The paper extends group constructions to coset geometries, creating new ways to combine geometries.

We provide new examples of acylindrically hyperbolic groups arising from actions on simplicial trees. In particular, we consider amalgamated products and HNN-extensions, 1-relator groups, automorphism groups of polynomial algebras, 3-manifold groups and graph products. Acylindrical hyperbolicity is then used to obtain …

Let G be a word-hyperbolic group, obtained as a graph of free groups amalgamated along cyclic subgroups. If H_2(G;Q) is nonzero, then G contains a closed hyperbolic surface subgroup. Moreover, the unit ball of the Gromov-Thurston norm on H_2(G;R) is a finite-sided rational polyhedron.

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…

We study the class N of graphs, the right-angled Artin groups defined on which do not contain surface subgroups. We prove that a presumably smaller class N' is closed under amalgamating along complete subgraphs, and also under adding bisimplicial edges. It follows that chordal graphs and chordal bipartite graphs belong…

We present and discuss some open problems formulated by participants of the International Workshop "Knots, Braids, and Auto\-mor\-phism Groups" held in Novosibirsk, 2014. Problems are related to palindromic and commutator widths of groups; properties of Brunnian braids and two-colored braids, corresponding to an amalga…

We study the geometry of compact Lorentzian manifolds that admit a somewhere timelike Killing vector field, and whose isometry group has infinitely many connected components. Up to a finite cover, such manifolds are products (or amalgamated products) of a flat Lorentzian torus and a compact Riemannian (resp., lightlike…

Formula derived for spherical growth series of specific groups.

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, an…

We give a complete characterization of countable primitive groups in several settings including linear groups, subgroups of mapping class groups, groups acting minimally on trees and convergence groups. The latter category includes as a special case Kleinian groups as well as subgroups of word hyperbolic groups. As an …

The paper studies the growth of closed geodesics on hyperbolic surface amalgams.

In this paper we prove a combination theorem for Veech subgroups of the mapping class group analogous to the first Klein-Maskit combination theorem for Kleinian groups in which two Fuchsian subgroups are amalgamated along a parabolic subgroup. As a corollary, we construct subgroups of the mapping class group (for all g…

This is the first installment of a book on combinatorial and geometric group theory from the topological point of view. This is a classical subject. The installment contains Chapters 1, 3 and 4, and there are nine chapters in total: 1. Combinatorial Complexes 2. Topological Invariants 3. Coverings 4. Galois Theory 5. G…

We prove a version of the countable union theorem for asymptotic dimension and we apply it to groups acting on asymptotically finite dimensional metric spaces. As a consequence we obtain the following finite dimensionality theorems. A) An amalgamated product of asymptotically finite dimensional groups has finite asympt…

Critical surfaces can be regarded as topological index 2 minimal surfaces which was introduced by David Bachman. In this paper we give a sufficient condition and a necessary condition for self-amalgamated Heegaard surfaces to be critical.

We develop a new criterion to tell if a group $G$ has the maximal gap of $1/2$ in stable commutator length (scl). For amalgamated free products $G = A \star_C B$ we show that every element $g$ in the commutator subgroup of $G$ which does not conjugate into $A$ or $B$ satisfies $scl(g) \geq 1/2$, provided that $C$ embed…

New Coxeter groups have unique boundary structures.

If a class of finitely generated groups Curly(G) is closed under isometric amalgamations along free subgroups, then every G in Curly(G) can be quasi-isometrically embedded in a group Hat(G) in Curly(G) that has no proper subgroups of finite index. Every compact, connected, non-positively curved space X admits an isomet…

Study shows Heegaard genus relation in 3-manifold amalgamation.

We will show that, for any noncompact arithmetic hyperbolic $m$-manifold with $m> 3$, and any compact arithmetic hyperbolic $m$-manifold with $m> 4$ that is not a $7$-dimensional arithmetic hyperbolic manifold defined by octonions, its fundamental group is not LERF. The main ingredient in the proof is a study on abelia…