Editing Incompressible surface

In [[mathematics]], an '''incompressible surface''' is a [[Surface (topology)|surface]] [[Embedding#Differential topology|properly embedded]] in a [[3-manifold]], which, in intuitive terms, is a "nontrivial" surface that cannot be simplified. In non-mathematical terms, the surface of a suitcase is compressible, because we could cut the handle and shrink it into the surface. But a [[Conway sphere]] (a sphere with four holes) is incompressible, because there are essential parts of a knot or link both inside and out, so there is no way to move the entire knot or link to one side of the punctured sphere. The mathematical definition is as follows. There are two cases to consider. A sphere is incompressible if both inside and outside the sphere there are some obstructions that prevent the sphere from shrinking to a point and also prevent the sphere from expanding to encompass all of space. A surface other than a sphere is incompressible if any disk with its boundary on the surface spans a disk in the surface.<ref>"An Introduction to Knot Theory", W. B. Raymond Lickorish, p. 38, Springer, 1997, {{ISBN|0-387-98254-X}}</ref>

Incompressible surfaces are used for [[manifold decomposition|decomposition]] of [[Haken manifold]]s, in [[normal surface|normal surface theory]], and in the study of the [[fundamental group]]s of 3-manifolds.

== Formal definition ==

[[File:Compressing disk in an incompressible surface.svg|right|400px|thumb|For an incompressible surface {{math|''S''}}, every compressing disk {{math|''D''}} bounds a disk {{math|''D&prime;''}} in {{math|''S''}}.  Together, {{math|''D''}} and {{math|''D&prime;''}} form a 2-sphere.  This sphere need not bound a ball unless {{math|''M''}} is [[Prime manifold#Irreducible manifold|irreducible]].]]

Let {{math|''S''}} be a [[compact surface]] properly embedded in a [[smooth manifold|smooth]] or [[piecewise linear manifold|PL]] 3-manifold {{math|''M''}}.  A '''compressing disk''' {{math|''D''}} is a [[disk (mathematics)|disk]] embedded in {{math|''M''}} such that

:<math>D \cap S = \partial D</math>

and the intersection is [[Transversality (mathematics)|transverse]].  If the curve {{math|&part;''D''}} does not bound a disk inside of {{math|''S''}}, then {{math|''D''}} is called a '''nontrivial''' compressing disk.  If {{math|''S''}} has a nontrivial compressing disk, then we call {{math|''S''}} a '''compressible''' surface in {{math|''M''}}.

If {{math|''S''}} is neither the [[2-sphere]] nor a compressible surface, then we call the surface ('''geometrically''') '''incompressible'''.

Note that 2-spheres are excluded since they have no nontrivial compressing disks by the [[Schoenflies problem|Jordan-Schoenflies theorem]], and 3-manifolds have abundant embedded 2-spheres.  Sometimes one alters the definition so that an '''incompressible sphere''' is a 2-sphere embedded in a 3-manifold that does not bound an embedded [[Ball (mathematics)|3-ball]].  Such spheres arise exactly when a 3-manifold is not [[Prime manifold#Irreducible manifold|irreducible]].  Since this notion of incompressibility for a sphere is quite different from the above definition for surfaces, often an incompressible sphere is instead referred to as an '''essential sphere''' or a '''reducing sphere'''.

== Compression ==

[[File:Compressing a surface along a disk.svg|right|360px|thumb|Compressing a surface {{math|''S''}} along a disk {{math|''D''}} results in a surface {{math|''S'''}}, which is obtained by removing the annulus boundary of {{math|''N''(''D'')}} from {{math|''S''}} and adding in the two disk boundaries of {{math|''N''(''D'').}}]]

Given a compressible surface {{math|''S''}} with a compressing disk {{math|''D''}} that we may assume lies in the [[Interior (topology)|interior]] of {{math|''M''}} and intersects {{math|''S''}} transversely, one may perform embedded 1-[[Surgery theory|surgery]] on {{math|''S''}} to get a surface that is obtained by '''compressing''' {{math|''S''}} '''along''' {{math|''D''}}.  There is a [[tubular neighborhood]] of {{math|''D''}} whose closure is an embedding of ''D'' &times; [-1,1] with ''D'' &times; 0 being identified with ''D'' and with
:<math>(D\times [-1,1])\cap S=\partial D\times [-1,1].</math>
Then
:<math>(S-\partial D\times(-1,1))\cup (D\times \{-1,1\})</math>
is a new properly embedded surface obtained by compressing {{math|''S''}} along {{math|''D''}}.

A non-negative complexity measure on compact surfaces without 2-sphere components is {{math|''b''<sub>0</sub>(''S'') &minus; ''&chi;''(''S'')}}, where {{math|''b''<sub>0</sub>(''S'')}} is the zeroth [[Betti number]] (the number of connected components) and {{math|''&chi;''(''S'')}} is the [[Euler characteristic]] of {{math|''S''}}.  When compressing a compressible surface along a nontrivial compressing disk, the Euler characteristic increases by two, while {{math|''b''<sub>0</sub>}} might remain the same or increase by 1.  Thus, every properly embedded compact surface without 2-sphere components is related to an incompressible surface through a sequence of compressions.

Sometimes we drop the condition that {{math|''S''}} be compressible.  If {{math|''D''}} were to bound a disk inside {{math|''S''}} (which is always the case if {{math|''S''}} is incompressible, for example), then compressing {{math|''S''}} along {{math|''D''}} would result in a disjoint union of a sphere and a surface homeomorphic to {{math|''S''}}.  The resulting surface with the sphere deleted might or might not be [[Homotopy#isotopy|isotopic]] to {{math|''S''}}, and it will be if {{math|''S''}} is incompressible and {{math|''M''}} is irreducible.

== Algebraically incompressible surfaces ==

There is also an algebraic version of incompressibility.  Suppose <math>\iota: S \rightarrow M</math> is a proper embedding of a compact surface in a 3-manifold.  Then {{math|''S''}} is '''{{math|''&pi;''<sub>1</sub>}}-injective''' (or '''algebraically incompressible''') if the induced map
:<math>\iota_\star: \pi_1(S) \rightarrow \pi_1(M)</math> 
on [[fundamental group]]s is [[injective]].

In general, every {{math|''&pi;''<sub>1</sub>}}-injective surface is incompressible, but the reverse implication is not always true.  For instance, the [[Lens space]] {{math|''L''(4,1)}} contains an incompressible [[Klein bottle]] that is not {{math|''&pi;''<sub>1</sub>}}-injective.

However, if {{math|''S''}} is [[two-sided]], the [[loop theorem]] implies Kneser's lemma, that if {{math|''S''}} is incompressible, then it is {{math|''&pi;''<sub>1</sub>}}-injective.

==Seifert surfaces==

A [[Seifert surface]] {{math|''S''}} for an oriented [[Link (knot theory)|link]] {{math|''L''}} is an [[oriented]] surface whose boundary is {{math|''L''}} with the same induced orientation.  If {{math|''S''}} is not {{math|''&pi;''<sub>1</sub>}}-injective in {{math|''S''<sup>3</sup> &minus; ''N''(''L'')}}, where {{math|''N''(''L'')}} is a [[tubular neighborhood]] of ''L'', then the loop theorem gives a compressing disk that one may use to compress {{math|''S''}} along, providing another Seifert surface of reduced complexity.  Hence, there are incompressible Seifert surfaces.

Every Seifert surface of a link is related to one another through compressions in the sense that the [[equivalence relation]] generated by compression has one equivalence class.  The inverse of a compression is sometimes called '''embedded arc surgery''' (an embedded 0-surgery).

The [[Seifert surface#Genus of a knot|genus of a link]] is the minimal [[Genus (mathematics)|genus]] of all Seifert surfaces of a link.  A Seifert surface of minimal genus is incompressible.  However, it is not in general the case that an incompressible Seifert surface is of minimal genus, so {{math|''&pi;''<sub>1</sub>}} alone cannot certify the genus of a link. [[David Gabai]] proved in particular that a genus-minimizing Seifert surface is a leaf of some taut, transversely oriented [[foliation]] of the knot complement, which can be certified with a taut [[sutured manifold hierarchy]].

Given an incompressible Seifert surface {{math|''S''}}' for a knot {{math|''K''}}, then the [[fundamental group]] of {{math|''S''<sup>3</sup> &minus; ''N''(''K'')}} splits as an [[HNN extension]] over {{math|''&pi;''<sub>1</sub>(''S'')}}, which is a [[free group]].  The two maps from {{math|''&pi;''<sub>1</sub>(''S'')}} into {{math|''&pi;''<sub>1</sub>(''S''<sup>3</sup> &minus; ''N''(''S''))}} given by pushing loops off the surface to the positive or negative side of {{math|''N''(''S'')}} are both injections.

==See also==
* [[Haken manifold]]
* [[Virtually Haken conjecture]]
* [[Thurston norm]]
* [[Boundary-incompressible surface]]

== References ==
{{Reflist}}

* W. Jaco, ''Lectures on Three-Manifold Topology'', volume 43 of CBMS Regional Conference Series in Mathematics. American Mathematical Society, Providence, R.I., 1980.
* http://users.monash.edu/~jpurcell/book/08Essential.pdf
* https://homepages.warwick.ac.uk/~masgar/Articles/Lackenby/thrmans3.pdf
* D. Gabai, "Foliations and the topology of 3-manifolds." Bull. Amer. Math. Soc. (N.S.) 8 (1983), no. 1, 77–80.

{{DEFAULTSORT:Incompressible Surface}}
[[Category:3-manifolds]]