JSJ decomposition

Last updated

In mathematics, the JSJ decomposition, also known as the toral decomposition, is a topological construct given by the following theorem:

Contents

Irreducible orientable closed (i.e., compact and without boundary) 3-manifolds have a unique (up to isotopy) minimal collection of disjointly embedded incompressible tori such that each component of the 3-manifold obtained by cutting along the tori is either atoroidal or Seifert-fibered.

The acronym JSJ is for William Jaco, Peter Shalen, and Klaus Johannson. The first two worked together, and the third worked independently.

The characteristic submanifold

An alternative version of the JSJ decomposition states:

A closed irreducible orientable 3-manifold M has a submanifold Σ that is a Seifert manifold (possibly disconnected and with boundary) whose complement is atoroidal (and possibly disconnected).

The submanifold Σ with the smallest number of boundary tori is called the characteristic submanifold of M; it is unique (up to isotopy).

The boundary of the characteristic submanifold Σ is a union of tori that are almost the same as the tori appearing in the JSJ decomposition. However there is a subtle difference: if one of the tori in the JSJ decomposition is "non-separating", then the boundary of the characteristic submanifold has two parallel copies of it (and the region between them is a Seifert manifold isomorphic to the product of a torus and a unit interval). The set of tori bounding the characteristic submanifold can be characterised as the unique (up to isotopy) minimal collection of disjointly embedded incompressible tori such that closure of each component of the 3-manifold obtained by cutting along the tori is either atoroidal or Seifert-fibered.

Warning: Cutting the manifold along the tori bounding the characteristic submanifold is also sometimes called the JSJ decomposition, though it may have more tori than the JSJ decomposition defined in the introduction.

Warning: the JSJ decomposition is not quite the same as the decomposition in the geometrization conjecture, because some of the pieces in the JSJ decomposition might not have finite volume geometric structures. For example, the mapping torus of an Anosov map of a torus has a finite volume sol structure, but its JSJ decomposition cuts it open along one torus to produce a product of a torus and a unit interval, and the interior of this has no finite volume geometric structure.

See also

Related Research Articles

In mathematics, Thurston's geometrization conjecture states that each of certain three-dimensional topological spaces has a unique geometric structure that can be associated with it. It is an analogue of the uniformization theorem for two-dimensional surfaces, which states that every simply connected Riemann surface can be given one of three geometries . In three dimensions, it is not always possible to assign a single geometry to a whole topological space. Instead, the geometrization conjecture states that every closed 3-manifold can be decomposed in a canonical way into pieces that each have one of eight types of geometric structure. The conjecture was proposed by William Thurston (1982), and implies several other conjectures, such as the Poincaré conjecture and Thurston's elliptization conjecture.

In mathematics, a Haken manifold is a compact, P²-irreducible 3-manifold that is sufficiently large, meaning that it contains a properly embedded two-sided incompressible surface. Sometimes one considers only orientable Haken manifolds, in which case a Haken manifold is a compact, orientable, irreducible 3-manifold that contains an orientable, incompressible surface.

Geometric topology Branch of mathematics studying (smooth) functions of manifolds

In mathematics, geometric topology is the study of manifolds and maps between them, particularly embeddings of one manifold into another.

Low-dimensional topology branch of topology that studies topological spaces of four or fewer dimensions

In mathematics, low-dimensional topology is the branch of topology that studies manifolds, or more generally topological spaces, of four or fewer dimensions. Representative topics are the structure theory of 3-manifolds and 4-manifolds, knot theory, and braid groups. This can be regarded as a part of geometric topology. It may also be used to refer to the study of topological spaces of dimension 1, though this is more typically considered part of continuum theory.

In the mathematical field of geometric topology, a Heegaard splitting is a decomposition of a compact oriented 3-manifold that results from dividing it into two handlebodies.

3-manifold 3-dimensional manifold

In mathematics, a 3-manifold is a space that locally looks like Euclidean 3-dimensional space. A 3-manifold can be thought of as a possible shape of the universe. Just as a sphere looks like a plane to a small enough observer, all 3-manifolds look like our universe does to a small enough observer. This is made more precise in the definition below.

In mathematics, more precisely in topology and differential geometry, a hyperbolic 3–manifold is a manifold of dimension 3 equipped with a hyperbolic metric, that is a Riemannian metric which has all its sectional curvatures equal to -1. It is generally required that this metric be also complete: in this case the manifold can be realised as a quotient of the 3-dimensional hyperbolic space by a discrete group of isometries.

In mathematics, an atoroidal 3-manifold is one that does not contain an essential torus. There are two major variations in this terminology: an essential torus may be defined geometrically, as an embedded, non-boundary parallel, incompressible torus, or it may be defined algebraically, as a subgroup of its fundamental group that is not conjugate to a peripheral subgroup. The terminology is not standardized, and different authors require atoroidal 3-manifolds to satisfy certain additional restrictions. For instance:

A Seifert fiber space is a 3-manifold together with a decomposition as a disjoint union of circles. In other words, it is a -bundle over a 2-dimensional orbifold. Many 3-manifolds are Seifert fiber spaces, and they account for all compact oriented manifolds in 6 of the 8 Thurston geometries of the geometrization conjecture.

In mathematics, Thurston's classification theorem characterizes homeomorphisms of a compact orientable surface. William Thurston's theorem completes the work initiated by Jakob Nielsen (1944).

In the mathematical subfield of 3-manifolds, the virtually fibered conjecture, formulated by American mathematician William Thurston, states that every closed, irreducible, atoroidal 3-manifold with infinite fundamental group has a finite cover which is a surface bundle over the circle.

Peter B. Shalen is an American mathematician, working primarily in low-dimensional topology. He is the "S" in JSJ decomposition.

In topology, an area of mathematics, the virtually Haken conjecture states that every compact, orientable, irreducible three-dimensional manifold with infinite fundamental group is virtually Haken. That is, it has a finite cover that is a Haken manifold.

In mathematics, an open book decomposition is a decomposition of a closed oriented 3-manifold M into a union of surfaces and solid tori. Open books have relevance to contact geometry, with a famous theorem of Emmanuel Giroux that shows that contact geometry can be studied from an entirely topological viewpoint.

William Jaco American mathematician

Dr. William "Bus" H. Jaco is an American mathematician, who currently resides in Stillwater, Oklahoma. Jaco is known for his role in the Jaco–Shalen–Johannson decomposition theorem and is currently Regents Professor and Grayce B. Kerr Chair at Oklahoma State University as well as Executive Director of the Initiative for Mathematics Learning by Inquiry.

Satellite knot

In the mathematical theory of knots, a satellite knot is a knot that contains an incompressible, non boundary-parallel torus in its complement. Every knot is either hyperbolic, a torus, or a satellite knot. The class of satellite knots include composite knots, cable knots and Whitehead doubles. A satellite link is one that orbits a companion knot K in the sense that it lies inside a regular neighborhood of the companion.

In geometry, Thurston's geometrization theorem or hyperbolization theorem implies that closed atoroidal Haken manifolds are hyperbolic, and in particular satisfy the Thurston conjecture.

In mathematics, the 2π theorem of Gromov and Thurston states a sufficient condition for Dehn filling on a cusped hyperbolic 3-manifold to result in a negatively curved 3-manifold.

In three-dimensional topology, a branch of mathematics, the cyclic surgery theorem states that, for a compact, connected, orientable, irreducible three-manifold M whose boundary is a torus T, if M is not a Seifert-fibered space and r,s are slopes on T such that their Dehn fillings have cyclic fundamental group, then the distance between r and s is at most 1. Consequently, there are at most three Dehn fillings of M with cyclic fundamental group. The theorem appeared in a 1987 paper written by Marc Culler, Cameron Gordon, John Luecke and Peter Shalen.

References