arXiv research

Classifies SU(2)-abelian graph manifolds with a single JSJ torus.

Abstract: Proves relative versions of group splitting results.

Let $M$ be a 3-manifold with torus boundary components $T_1$ and $T_2$. Let $φ\colon T_1 \to T_2$ be a homeomorphism, $M_φ$ the manifold obtained from $M$ by gluing $T_1$ to $T_2$ via the map $φ$, and $T$ the image of $T_1$ in $M_φ$. We show that if $φ$ is "sufficiently complicated" then any incompressible or strongly …

Let M be a hyperbolic manifold of finite volume which fibers over the circle with fiber a once punctured torus, and let S be an arbitrary incompressible surface in M. We determine the characteristic JSJ-subpair of M-S and show, in particular, that the guts of (M,S) is empty.

Develops a diagrammatic method for symplectic filling classifications.

We use Menke's JSJ-type decomposition theorem for symplectic fillings to reduce the classification of strong and exact symplectic fillings of virtually overtwisted torus bundles to the same problem for tight lens spaces. For virtually overtwisted structures on elliptic or parabolic torus bundles, this gives a complete …

We show that a $(p,q)$-cable of a non-trivial knot $K$ does not admit chirally cosmetic surgery for $q\neq 2$, or $q=2$ with additional assumptions. In particular, we show that $(p,q)$-cable of non-trivial knot $K$ does not admit chirally cosmetic surgery as long as the JSJ piece of knot exterior does not contain $(2,r…

We describe a new approach to the canonical decompositions of 3-manifolds along tori and annuli due to Jaco-Shalen and Johannson (with ideas from Waldhausen) - the so-called JSJ-decomposition theorem. This approach gives an accessible proof of the decomposition theorem; in particular it does not use the annulus-torus t…

New research shows that many slopes are characterizing for satellite knots.

Essential curves in certain graph manifolds imply non-linear groups.

This paper and its companion arXiv:1002.4564 have been replaced by arXiv:1602.05139. We give a general simple definition of JSJ decompositions by means of a universal maximality property. The JSJ decomposition should not be viewed as a tree (which is not uniquely defined) but as a canonical deformation space of trees. …

We consider a class of manifolds with torus boundary admitting bordered Heegaard Floer homology of a particularly simple form, namely, the type D structure may be described graphically by a disjoint union of loops. We develop a calculus for studying bordered invariants of this form and, in particular, provide a complet…

This is an account of the theory of JSJ decompositions of finitely generated groups, as developed in the last twenty years or so. We give a simple general definition of JSJ decompositions (or rather of their Bass-Serre trees), as maximal universally elliptic trees. In general, there is no preferred JSJ decomposition, a…

We give an example of two JSJ decompositions of a group that are not related by conjugation, conjugation of edge-inclusions, and slide moves. This answers the question of Rips and Sela stated in "Cyclic splittings of finitely presented groups and the canonical JSJ decomposition," Ann. of Math. 146 (1997), 53-109. On th…

Study the JSJ-decomposition of a specific 3-manifold.

The JSJ decomposition helps classify genus two handlebody-knots.

Let $T$ be a separating incompressible torus in a 3-manifold $M$. Assuming that a genus $g$ Heegaard splitting $V \cup_S W$ can be positioned nicely with respect to $T$ (e.g. $V \cup_S W$ is strongly irreducible), we obtain an upper bound on the number of stabilizations required for $V \cup_S W$ to become isotopic to a…

This paper and its companion arXiv:0911.3173 have been replaced by arXiv:1602.05139. We define the compatibility JSJ tree of a group G over a class of subgroups. It exists whenever G is finitely presented and leads to a canonical tree (not a deformation space) which is invariant under automorphisms. Under acylindricity…

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…

We give a description of the model theoretic relation of forking independence in terms of the notion of JSJ decompositions in non abelian free groups.

Generalized Baumslag-Solitar groups are defined as fundamental groups of graphs of groups with infinite cyclic vertex and edge groups. Forester proved (in "On uniqueness of JSJ decompositions of finitely generated groups", Comment. Math. Helv. 78 (2003) pp 740-751) that in most cases the defining graphs are cyclic JSJ …

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…

Classifies essential annuli in a genus two handlebody exterior.

Bowditch's JSJ tree for splittings over 2-ended subgroups is a quasi-isometry invariant for 1-ended hyperbolic groups which are not cocompact Fuchsian. Our main result gives an explicit, computable "visual" construction of this tree for certain hyperbolic right-angled Coxeter groups. As an application of our constructi…

The abstract discusses applications of Menke's JSJ decomposition to symplectic fillings of various 3-manifolds.

Let $M$ be a closed orientable 3-manifold with a genus two Heegaard splitting $(V_1, V_2; F)$ and a non-trivial JSJ-decomposition, where all components of the intersection of the JSJ-tori and $V_i$ are not $\partial$-parallel in $V_i$ for $i=1,2$. If $G$ is a finite group of orientation-preserving diffeomorphisms actin…

Let $M$ be a closed orientable 3-manifold with a genus two Heegaard splitting $(V_1, V_2; F)$ and a non-trivial JSJ-decomposition, where all components of the intersection of the JSJ-tori and $V_i$ are not $\partial$-parallel in $V_i$ for $i=1,2$. If $G$ is a finite group of orientation-preserving smooth actions on $M$…

Researchers describe and compare decompositions of Poincaré duality pairs.

In this paper we extend previous results concerning the behaviour of JSJ decompositions of closed 3-manifolds with respect to the profinite completion to the case of compact 3-manifolds with boundary. We also illustrate an alternative and perhaps more natural approach to part of the original theorem, using relative coh…

Study of knot surgeries and JSJ decompositions to tackle $L$-space conjecture.

3-manifolds with toral boundary are uniquely determined by their profinite completions.

Motivated by the algorithmic study of 3-dimensional manifolds, we explore the structural relationship between the JSJ decomposition of a given 3-manifold and its triangulations. Building on work of Bachman, Derby-Talbot and Sedgwick, we show that a "sufficiently complicated" JSJ decomposition of a 3-manifold enforces a…

We compute the Minimal Entropy of every closed, orientable $3$-manifold, showing that its cube equals the sum of the cubes of the minimal entropies of each hyperbolic component arising from the $JSJ$ decomposition of each prime summand. As a consequence we show that the cube of the Minimal Entropy is additive with resp…

This paper is a computation of the homotopy type of K, the space of long knots in R^3, the same space of knots studied by Vassiliev via singularity theory. Each component of K corresponds to an isotopy class of long knot, and we `enumerate' the components via the companionship trees associated to the knot. The knots wi…

New topological criterion extends arithmetic invariants in hyperbolic 3-manifolds.

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

The paper proves a theorem about shared Dehn surgeries between knots.

Let T be a tree with an action of a finitely generated group G. Given a suitable equivalence relation on the set of edge stabilizers of T (such as commensurability, co-elementarity in a relatively hyperbolic group, or commutation in a commutative transitive group), we define a tree of cylinders T_c. This tree only depe…

We correct a mistake on the citation of JSJ theory in \cite{Ni}. Some arguments in \cite{Ni} are also slightly modified accordingly.

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

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

We give a sufficient condition for an open 3-manifold to admit a decomposition along properly embedded open annuli and tori, generalizing the toric splitting of Jaco-Shalen and Johannson.

Let G be a one-ended group acting discretely and co-compactly on a CAT(0) space X. We show that the boundary of X has no cut points and that one can detect splittings of $G$ over two-ended groups and recover its JSJ decomposition from the boundary. We show that any discrete action of a group G on a CAT(0) space X satis…

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.

This paper is a survey of some of the most elementary consequences of the JSJ-decomposition and geometrization for knot and link complements in the 3-sphere. Formulated in the language of graphs, the result is the construction of a bijective correspondence between the isotopy classes of links in $S^3$ and a class of ve…

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…

The study finds generalized torsion elements in 3-manifolds from specific knot surgeries.

Let $Γ$ be a word hyperbolic group with a cyclic JSJ decomposition that has only rigid vertex groups, which are all fundamental groups of closed surface groups. We show that any group $H$ quasi-isometric to $Γ$ is abstractly commensurable with $Γ$.