Open book decomposition

Last updated

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

Contents

Definition and construction

Definition. An open book decomposition of a 3-dimensional manifold M is a pair (B, π) where

  • B is an oriented link in M, called the binding of the open book;
  • π: M \ B  S1 is a fibration of the complement of B such that for each θ  S1, π1(θ) is the interior of a compact surface Σ  M whose boundary is B. The surface Σ is called the page of the open book.

This is the special case m = 3 of an open book decomposition of an m-dimensional manifold, for any m.

The definition for general m is similar, except that the surface with boundary (Σ, B) is replaced by an (m  1)-manifold with boundary (P, P). Equivalently, the open book decomposition can be thought of as a homeomorphism of M to the quotient space

where f:P  P is a self-homeomorphism preserving the boundary. This quotient space is called a relative mapping torus . [1]

When Σ is an oriented compact surface with n boundary components and φ: Σ  Σ is a homeomorphism which is the identity near the boundary, we can construct an open book by first forming the mapping torus Σφ. Since φ is the identity on ∂Σ, ∂Σφ is the trivial circle bundle over a union of circles, that is, a union of tori; one torus for each boundary component. To complete the construction, solid tori are glued to fill in the boundary tori so that each circle S1 × {p}  S1×∂D2 is identified with the boundary of a page. In this case, the binding is the collection of n cores S1×{q} of the n solid tori glued into the mapping torus, for arbitrarily chosen q  D2. It is known that any open book can be constructed this way. As the only information used in the construction is the surface and the homeomorphism, an alternate definition of open book is simply the pair (Σ, φ) with the construction understood. In short, an open book is a mapping torus with solid tori glued in so that the core circle of each torus runs parallel to the boundary of the fiber.

Each torus in ∂Σφ is fibered by circles parallel to the binding, each circle a boundary component of a page. One envisions a rolodex-looking structure for a neighborhood of the binding (that is, the solid torus glued to ∂Σφ)the pages of the rolodex connect to pages of the open book and the center of the rolodex is the binding. Thus the term open book.

It is a 1972 theorem of Elmar Winkelnkemper that for m > 6, a simply-connected m-dimensional manifold has an open book decomposition if and only if it has signature 0. In 1977 Terry Lawson proved that for odd m > 6, every m-dimensional manifold has an open book decomposition, a result extended to 5-manifolds and manifolds with boundary by Frank Quinn in 1979. Quinn also showed that for even m > 6, an m-dimensional manifold has an open book decomposition if and only if an asymmetric Witt group obstruction is 0. [1]

Giroux correspondence

In 2002, Emmanuel Giroux published the following result:

Theorem. Let M be a compact oriented 3-manifold. Then there is a bijection between the set of oriented contact structures on M up to isotopy and the set of open book decompositions of M up to positive stabilization.

Positive stabilization consists of modifying the page by adding a 2-dimensional 1-handle and modifying the monodromy by adding a positive Dehn twist along a curve that runs over that handle exactly once. Implicit in this theorem is that the new open book defines the same contact 3-manifold. Giroux's result has led to some breakthroughs in what is becoming more commonly called contact topology, such as the classification of contact structures on certain classes of 3-manifolds. Roughly speaking, a contact structure corresponds to an open book if, away from the binding, the contact distribution is isotopic to the tangent spaces of the pages through confoliations. One imagines smoothing the contact planes (preserving the contact condition almost everywhere) to lie tangent to the pages.

Related Research Articles

<span class="mw-page-title-main">Surface (topology)</span> Two-dimensional manifold

In the part of mathematics referred to as topology, a surface is a two-dimensional manifold. Some surfaces arise as the boundaries of three-dimensional solid figures; for example, the sphere is the boundary of the solid ball. Other surfaces arise as graphs of functions of two variables; see the figure at right. However, surfaces can also be defined abstractly, without reference to any ambient space. For example, the Klein bottle is a surface that cannot be embedded in three-dimensional Euclidean space.

<span class="mw-page-title-main">Genus (mathematics)</span> Number of "holes" of a surface

In mathematics, genus has a few different, but closely related, meanings. Intuitively, the genus is the number of "holes" of a surface. A sphere has genus 0, while a torus has genus 1.

<span class="mw-page-title-main">Torus</span> Doughnut-shaped surface of revolution

In geometry, a torus is a surface of revolution generated by revolving a circle in three-dimensional space one full revolution about an axis that is coplanar with the circle. The main types of toruses include ring toruses, horn toruses, and spindle toruses. A ring torus is sometimes colloquially referred to as a donut or doughnut.

In mathematics, homology is a general way of associating a sequence of algebraic objects, such as abelian groups or modules, with other mathematical objects such as topological spaces. Homology groups were originally defined in algebraic topology. Similar constructions are available in a wide variety of other contexts, such as abstract algebra, groups, Lie algebras, Galois theory, and algebraic geometry.

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, the JSJ decomposition, also known as the toral decomposition, is a topological construct given by the following theorem:

<span class="mw-page-title-main">Foliation</span> In mathematics, a type of equivalence relation on an n-manifold

In mathematics, a foliation is an equivalence relation on an n-manifold, the equivalence classes being connected, injectively immersed submanifolds, all of the same dimension p, modeled on the decomposition of the real coordinate space Rn into the cosets x + Rp of the standardly embedded subspace Rp. The equivalence classes are called the leaves of the foliation. If the manifold and/or the submanifolds are required to have a piecewise-linear, differentiable, or analytic structure then one defines piecewise-linear, differentiable, or analytic foliations, respectively. In the most important case of differentiable foliation of class Cr it is usually understood that r ≥ 1. The number p is called the dimension of the foliation and q = np is called its codimension.

<span class="mw-page-title-main">Low-dimensional topology</span> Branch of topology

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.

<span class="mw-page-title-main">Alexander horned sphere</span> Topological embedding

The Alexander horned sphere is a pathological object in topology discovered by J. W. Alexander (1924).

<span class="mw-page-title-main">Dehn twist</span>

In geometric topology, a branch of mathematics, a Dehn twist is a certain type of self-homeomorphism of a surface.

In mathematics, in the subfield of geometric topology, the mapping class group is an important algebraic invariant of a topological space. Briefly, the mapping class group is a certain discrete group corresponding to symmetries of the space.

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.

<span class="mw-page-title-main">Handlebody</span>

In the mathematical field of geometric topology, a handlebody is a decomposition of a manifold into standard pieces. Handlebodies play an important role in Morse theory, cobordism theory and the surgery theory of high-dimensional manifolds. Handles are used to particularly study 3-manifolds.

<span class="mw-page-title-main">3-manifold</span> Mathematical space

In mathematics, a 3-manifold is a topological space that locally looks like a three-dimensional Euclidean 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, Thurston's classification theorem characterizes homeomorphisms of a compact orientable surface. William Thurston's theorem completes the work initiated by Jakob Nielsen (1944).

In mathematics, a surface bundle over the circle is a fiber bundle with base space a circle, and with fiber space a surface. Therefore the total space has dimension 2 + 1 = 3. In general, fiber bundles over the circle are a special case of mapping tori.

<span class="mw-page-title-main">Manifold</span> Topological space that locally resembles Euclidean space

In mathematics, a manifold is a topological space that locally resembles Euclidean space near each point. More precisely, an -dimensional manifold, or -manifold for short, is a topological space with the property that each point has a neighborhood that is homeomorphic to an open subset of -dimensional Euclidean space.

In mathematics, specifically in geometric topology, surgery theory is a collection of techniques used to produce one finite-dimensional manifold from another in a 'controlled' way, introduced by John Milnor (1961). Milnor called this technique surgery, while Andrew Wallace called it spherical modification. The "surgery" on a differentiable manifold M of dimension , could be described as removing an imbedded sphere of dimension p from M. Originally developed for differentiable manifolds, surgery techniques also apply to piecewise linear (PL-) and topological manifolds.

In mathematics, the mapping torus in topology of a homeomorphism f of some topological space X to itself is a particular geometric construction with f. Take the cartesian product of X with a closed interval I, and glue the boundary components together by the static homeomorphism:

References

  1. 1 2 Quinn, Frank (1979). "Open book decompositions, and the bordism of automorphisms". Topology . 18 (1): 55–73. doi:10.1016/0040-9383(79)90014-4.