Seifert surface

Seifert surface

In mathematics, a Seifert surface is a surface whose boundary is a given knot or link. Such surfaces can be used to study the properties of the associated knot or link. For example, many knot invariants are most easily calculated using a Seifert surface. Seifert surfaces are also interesting in their own right, and the subject of considerable research.

Specifically, let "L" be a tame oriented knot or link in Euclidean 3-space (or in the 3-sphere). A Seifert surface is a compact, connected, oriented surface "S" embedded in 3-space whose boundary is "L" such that the orientation on "L" is just the induced orientation from "S", and every connected component of "S" has non-empty boundary.

Note that any compact, connected, oriented surface with nonempty boundary in Euclidean 3-space is the Seifert surface associated to its boundary link. A single knot or link can have many different inequivalent Seifert surfaces. It is important to note that a Seifert surface must be oriented. It is possible to associate unoriented (and not necessarily orientable) surfaces to knots as well.

Examples

The standard Möbius strip has the unknot for a boundary but is not considered to be a Seifert surface for the unknot because it is not orientable.

The "checkerboard" coloring of the minimal crossing projection of the trefoil knot gives a Mobius strip with three half twists. As with the previous example, this is not a Seifert surface as it is not orientable. Applying Seifert's algorithm to this diagram, as expected, does produce a Seifert surface; in this case, it is a punctured torus of genus g=1, and the Seifert matrix is:V = egin{pmatrix}1 & -1 \ 0 & 1end{pmatrix}.

Existence and Seifert matrix

It is a theorem that there always exists a Seifert surface. This theorem was first published by F. Frankl and Lev Pontrjagin in 1930. A different proof was published in 1934 by Herbert Seifert and relies on what is now called the Seifert algorithm. The algorithm produces a Seifert surface S, given a projection of the knot or link in question.

Suppose that link has m components (m=1 for a knot), the diagram has d crossing points, and resolving the crossings yields f circles. Then the surface S is constructed from f disjoint disks by attaching d bands. The homology group H_1(S) is free abelian on 2g generators, where

:"g" = (2 + "d" − "f" − "m")/2

is the genus of S. The intersection form Q on H_1(S) is skew-symmetric, and there is a basis of 2g cycles

:a1,a2,...,a2g

with

:Q=(Q(ai,aj))

the direct sum of g copies of

:egin{pmatrix} 0 & -1 \ 1 & 0end{pmatrix}.

The 2g imes2g integer Seifert matrix

:V=(v(i,j)) has

v(i,j) the linking number in Euclidean 3-space (or in the 3-sphere) of ai and the pushoff of aj out of the surface, with

:V-V*=Q

where V*=(v(j,i)) the transpose matrix. Every integer 2g imes2g matrix V with V-V*=Q arises as the Seifert matrix of a knot with genus g Seifert surface.

The Alexander polynomial is computed from the Seifert matrix by A(t)=det(V-tV*), which is a polynomial in the indeterminate t of degree leq 2g. The Alexander polynomial is independent of the choice of Seifert surface S, and is an invariant of the knot or link.

The signature of a knot is the signature of the symmetric Seifert matrix V+V^ op. It is again an invariant of the knot or link.

Genus of a knot

Seifert surfaces are not at all unique: a Seifert surface S of genus g and Seifert matrix V can be modified by a surgery, to be replaced by a Seifert surface S' of genus g+1 and Seifert matrix

:V'=Voplus egin{pmatrix} 0 & 1 \ 1 & 0 end{pmatrix}.

The genus of a knot "K" is the knot invariant defined by the minimal genus g of a Seifert surface for "K".

For instance:
* An unknot — which is, by definition, the boundary of a disc — has genus zero. Moreover, the unknot is the "only" knot with genus zero.
* The trefoil knot has genus one, as does the figure-eight knot.
* The genus of a ("p","q")-torus knot is ("p" − 1)("q" − 1)/2
* The degree of the Alexander polynomial is a lower bound on twice the genus of the knot.

A fundamental property of the genus is that it is additive with respect to the knot sum::g(K_1 # K_2) = g(K_1) + g(K_2)

ee also

*Crosscap number
*Arf invariant (knot)

External links

*The [http://www.win.tue.nl/~vanwijk/seifertview/ SeifertView programme] of Jack van Wijk visualizes the Seifert surfaces of knots constructed using Seifert's algorithm.


Wikimedia Foundation. 2010.

Look at other dictionaries:

  • Seifert surface — noun An orientable surface whose boundary is a given link …   Wiktionary

  • Seifert fiber space — A Seifert fiber space is a 3 manifold together with a nice decomposition as a disjoint union of circles. In other words it is a S^1 bundle (circle bundle) over a 2 dimensional orbifold. Most small 3 manifolds are Seifert fiber spaces, and they… …   Wikipedia

  • Surface — This article discusses surfaces from the point of view of topology. For other uses, see Differential geometry of surfaces, algebraic surface, and Surface (disambiguation). An open surface with X , Y , and Z contours shown. In mathematics,… …   Wikipedia

  • Seifert–van Kampen theorem — In mathematics, the Seifert–van Kampen theorem of algebraic topology, sometimes just called van Kampen s theorem, expresses the structure of the fundamental group of a topological space X, in terms of the fundamental groups of two open, path… …   Wikipedia

  • Herbert Seifert — Herbert Karl Johannes Seifert (May 27, 1907 – October 1, 1996) was a German mathematician known for his work in topology. He was born in Bernstadt, but soon moved to Bautzen, where he attended primary school at the Knabenbürgerschule, and… …   Wikipedia

  • Fibré de Seifert — En topologie, un fibré de Seifert est une variété de dimension 3 munie d une « bonne » partition en cercles. Plus précisément, c est un fibré en cercles sur un orbifold de dimension 2. Ces variétés ont été introduites par Herbert… …   Wikipédia en Français

  • List of mathematics articles (S) — NOTOC S S duality S matrix S plane S transform S unit S.O.S. Mathematics SA subgroup Saccheri quadrilateral Sacks spiral Sacred geometry Saddle node bifurcation Saddle point Saddle surface Sadleirian Professor of Pure Mathematics Safe prime Safe… …   Wikipedia

  • Signature of a knot — The signature of a knot is a topological invariant in knot theory. It may be computed from the Seifert surface.Given a knot K in the 3 sphere, it has a Seifert surface S whose boundary is K . The Seifert form of S is the pairing phi : H 1(S) imes …   Wikipedia

  • Arf invariant (knot) — In the mathematical field of knot theory, the Arf invariant of a knot, named after Cahit Arf, is a knot invariant obtained from a quadratic form associated to a Seifert surface. If F is a Seifert surface of a knot, then the homology group H1( F …   Wikipedia

  • List of geometric topology topics — This is a list of geometric topology topics, by Wikipedia page. See also: topology glossary List of topology topics List of general topology topics List of algebraic topology topics Publications in topology Contents 1 Low dimensional topology 1.1 …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”