Namespaces
Variants
Actions

Difference between revisions of "Open book decomposition"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (MR/ZBL numbers added)
(TeX done)
 
Line 1: Line 1:
Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o120/o120040/o1200401.png" /> be an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o120/o120040/o1200402.png" />-dimensional [[Manifold|manifold]]. An open book decomposition of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o120/o120040/o1200403.png" /> consists of a codimension-two submanifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o120/o120040/o1200404.png" />, called the binding, and a [[Fibration|fibration]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o120/o120040/o1200405.png" />. The fibres are called the pages. One may require the fibration to be well behaved near <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o120/o120040/o1200406.png" />, i.e. that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o120/o120040/o1200407.png" /> have a [[Tubular neighbourhood|tubular neighbourhood]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o120/o120040/o1200408.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o120/o120040/o1200409.png" /> restricted to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o120/o120040/o12004010.png" /> is the mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o120/o120040/o12004011.png" />.
+
Let $M^n$ be an $n$-dimensional [[manifold]]. An open book decomposition of $M^n$ consists of a codimension-two submanifold $N^{n-2}$, called the binding, and a [[fibration]] $\pi : M \setminus N \rightarrow S^1$. The fibres are called the pages. One may require the fibration to be well behaved near $N$, i.e. that $N$ have a [[tubular neighbourhood]] $N \times D^2$ such that $\pi$ restricted to $N \times (D^2\setminus0)$ is the mapping $(x,y)\mapsto y/|y|$.
  
The existence of an open book decomposition for any closed, orientable <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o120/o120040/o12004012.png" />-manifold was proved by J.W. Alexander [[#References|[a1]]]. He suggested that the binding may be assumed connected, but the first published proof of this fact was given by R. Myers [[#References|[a4]]]. An independent proof (unpublished) is due to F.J. González-Acuña, see also [[#References|[a5]]]. Any closed manifold of odd dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o120/o120040/o12004013.png" /> admits an open book decomposition [[#References|[a3]]], and the same is true for any simply-connected manifold of even dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o120/o120040/o12004014.png" /> with vanishing index [[#References|[a7]]].
+
The existence of an open book decomposition for any closed, orientable $3$-manifold was proved by J.W. Alexander [[#References|[a1]]]. He suggested that the binding may be assumed connected, but the first published proof of this fact was given by R. Myers [[#References|[a4]]]. An independent proof (unpublished) is due to F.J. González-Acuña, see also [[#References|[a5]]]. Any closed manifold of odd dimension $\ge7$ admits an open book decomposition [[#References|[a3]]], and the same is true for any simply-connected manifold of even dimension $\ge8$ with vanishing index [[#References|[a7]]].
  
 
Such structure theorems have been used to give explicit geometric constructions of contact structures and codimension-one foliations; see, for instance, [[#References|[a6]]], [[#References|[a2]]].
 
Such structure theorems have been used to give explicit geometric constructions of contact structures and codimension-one foliations; see, for instance, [[#References|[a6]]], [[#References|[a2]]].
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> J.W. Alexander, "A lemma on systems of knotted curves" ''Proc. Nat. Acad. Sci. USA'' , '''9''' (1923) pp. 93–95 {{MR|}} {{ZBL|49.0408.03}} </TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> A.H. Durfee, H.B. Lawson Jr., "Fibered knots and foliations of highly connected manifolds" ''Invent. Math.'' , '''17''' (1972) pp. 203–215 {{MR|0326752}} {{ZBL|0231.57015}} </TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> T. Lawson, "Open book decompositions for odd dimensional manifolds" ''Topology'' , '''17''' (1978) pp. 189–192 {{MR|0494132}} {{ZBL|0384.57007}} </TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top"> R. Myers, "Open book decompositions of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/o/o120/o120040/o12004015.png" />-manifolds" ''Proc. Amer. Math. Soc.'' , '''72''' (1978) pp. 397–402</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top"> D. Rolfsen, "Knots and links" , Publish or Perish (1976) {{MR|0515288}} {{ZBL|0339.55004}} </TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top"> W.P. Thurston, H.E. Winkelnkemper, "On the existence of contact forms" ''Proc. Amer. Math. Soc.'' , '''52''' (1975) pp. 345–347 {{MR|0375366}} {{ZBL|0312.53028}} </TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top"> H.E. Winkelnkemper, "Manifolds as open books" ''Bull. Amer. Math. Soc.'' , '''79''' (1973) pp. 45–51 {{MR|0310912}} {{ZBL|0269.57011}} </TD></TR></table>
+
<table>
 +
<TR><TD valign="top">[a1]</TD> <TD valign="top"> J.W. Alexander, "A lemma on systems of knotted curves" ''Proc. Nat. Acad. Sci. USA'' , '''9''' (1923) pp. 93–95 {{MR|}} {{ZBL|49.0408.03}} </TD></TR>
 +
<TR><TD valign="top">[a2]</TD> <TD valign="top"> A.H. Durfee, H.B. Lawson Jr., "Fibered knots and foliations of highly connected manifolds" ''Invent. Math.'' , '''17''' (1972) pp. 203–215 {{MR|0326752}} {{ZBL|0231.57015}} </TD></TR>
 +
<TR><TD valign="top">[a3]</TD> <TD valign="top"> T. Lawson, "Open book decompositions for odd dimensional manifolds" ''Topology'' , '''17''' (1978) pp. 189–192 {{MR|0494132}} {{ZBL|0384.57007}} </TD></TR>
 +
<TR><TD valign="top">[a4]</TD> <TD valign="top"> R. Myers, "Open book decompositions of $3$-manifolds" ''Proc. Amer. Math. Soc.'' , '''72''' (1978) pp. 397–402</TD></TR>
 +
<TR><TD valign="top">[a5]</TD> <TD valign="top"> D. Rolfsen, "Knots and links" , Publish or Perish (1976) {{MR|0515288}} {{ZBL|0339.55004}} </TD></TR>
 +
<TR><TD valign="top">[a6]</TD> <TD valign="top"> W.P. Thurston, H.E. Winkelnkemper, "On the existence of contact forms" ''Proc. Amer. Math. Soc.'' , '''52''' (1975) pp. 345–347 {{MR|0375366}} {{ZBL|0312.53028}} </TD></TR>
 +
<TR><TD valign="top">[a7]</TD> <TD valign="top"> H.E. Winkelnkemper, "Manifolds as open books" ''Bull. Amer. Math. Soc.'' , '''79''' (1973) pp. 45–51 {{MR|0310912}} {{ZBL|0269.57011}} </TD></TR>
 +
</table>
 +
 
 +
{{TEX|done}}

Latest revision as of 19:13, 31 October 2017

Let $M^n$ be an $n$-dimensional manifold. An open book decomposition of $M^n$ consists of a codimension-two submanifold $N^{n-2}$, called the binding, and a fibration $\pi : M \setminus N \rightarrow S^1$. The fibres are called the pages. One may require the fibration to be well behaved near $N$, i.e. that $N$ have a tubular neighbourhood $N \times D^2$ such that $\pi$ restricted to $N \times (D^2\setminus0)$ is the mapping $(x,y)\mapsto y/|y|$.

The existence of an open book decomposition for any closed, orientable $3$-manifold was proved by J.W. Alexander [a1]. He suggested that the binding may be assumed connected, but the first published proof of this fact was given by R. Myers [a4]. An independent proof (unpublished) is due to F.J. González-Acuña, see also [a5]. Any closed manifold of odd dimension $\ge7$ admits an open book decomposition [a3], and the same is true for any simply-connected manifold of even dimension $\ge8$ with vanishing index [a7].

Such structure theorems have been used to give explicit geometric constructions of contact structures and codimension-one foliations; see, for instance, [a6], [a2].

References

[a1] J.W. Alexander, "A lemma on systems of knotted curves" Proc. Nat. Acad. Sci. USA , 9 (1923) pp. 93–95 Zbl 49.0408.03
[a2] A.H. Durfee, H.B. Lawson Jr., "Fibered knots and foliations of highly connected manifolds" Invent. Math. , 17 (1972) pp. 203–215 MR0326752 Zbl 0231.57015
[a3] T. Lawson, "Open book decompositions for odd dimensional manifolds" Topology , 17 (1978) pp. 189–192 MR0494132 Zbl 0384.57007
[a4] R. Myers, "Open book decompositions of $3$-manifolds" Proc. Amer. Math. Soc. , 72 (1978) pp. 397–402
[a5] D. Rolfsen, "Knots and links" , Publish or Perish (1976) MR0515288 Zbl 0339.55004
[a6] W.P. Thurston, H.E. Winkelnkemper, "On the existence of contact forms" Proc. Amer. Math. Soc. , 52 (1975) pp. 345–347 MR0375366 Zbl 0312.53028
[a7] H.E. Winkelnkemper, "Manifolds as open books" Bull. Amer. Math. Soc. , 79 (1973) pp. 45–51 MR0310912 Zbl 0269.57011
How to Cite This Entry:
Open book decomposition. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Open_book_decomposition&oldid=42240
This article was adapted from an original article by H. Geiges (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article