Namespaces
Variants
Actions

Difference between revisions of "Alternating knots and links"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (tex encoded by computer)
 
Line 1: Line 1:
 +
<!--
 +
a0120401.png
 +
$#A+1 = 22 n = 0
 +
$#C+1 = 22 : ~/encyclopedia/old_files/data/A012/A.0102040 Alternating knots and links
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
 +
 +
{{TEX|auto}}
 +
{{TEX|done}}
 +
 
Knots and links with an alternating diagram (cf. [[Knot and link diagrams|Knot and link diagrams]]), i.e. a projection in general position onto a plane such that, when successively traversing all components, the overpasses and underpasses succeed each other in alternation. Any diagram can be converted to an alternating diagram by changing the upper and lower branches through its double points.
 
Knots and links with an alternating diagram (cf. [[Knot and link diagrams|Knot and link diagrams]]), i.e. a projection in general position onto a plane such that, when successively traversing all components, the overpasses and underpasses succeed each other in alternation. Any diagram can be converted to an alternating diagram by changing the upper and lower branches through its double points.
  
Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012040/a0120401.png" /> be a Seifert surface. As distinct from the ordinary case, the inequality <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012040/a0120402.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012040/a0120403.png" /> is the degree of the Alexander polynomial (cf. [[Alexander invariants|Alexander invariants]]), <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012040/a0120404.png" /> is the genus of the Seifert surface and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012040/a0120405.png" /> is the number of components of the link <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012040/a0120406.png" />, becomes an equality in the case of alternating knots and links. Accordingly, the genus of an alternating link can be computed from any one of its alternating diagrams, the Seifert surface being the surface of smallest genus. This also shows that if the diagram is normalized, i.e. if the projection plane does not contain a simple closed contour that intersects the diagram at one double point, the link is trivial (cf. [[Knot theory|Knot theory]]) if and only if the diagram contains no double points. If such a contour exists, it is possible, by rotating an internal part of the diagram through 180 degrees, to reduce the number of double points while preserving the alternating nature of the diagram. This yields an algorithm for solving the problem of triviality of alternating knots and links. Moreover, if the diagram is connected, the links do not become separated, since <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012040/a0120407.png" />, and the reduced Alexander polynomial of seperated links is zero. The Alexander matrix is computed as the incidence matrix of some graph, which implies [[#References|[1]]], [[#References|[2]]] that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012040/a0120408.png" /> is an alternating polynomial, i.e. its coefficients are non-zero and their signs alternate. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012040/a0120409.png" />, alternating knots and links are known as Neuwirth knots and links (cf. [[Neuwirth knot|Neuwirth knot]]). The number of double points of a normalized diagram of an alternating knot or link is not larger than its determinant. The groups of alternating knots and links (cf. [[Knot and link groups|Knot and link groups]]) are represented as free products with amalgamation of two free groups of rank <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012040/a01204010.png" /> by subgroups of rank <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012040/a01204011.png" />. This representation is obtained with the aid of the van Kampen theorem, if the space of the link <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012040/a01204012.png" /> is subdivided by the boundaries of regular neighbourhoods of the Seifert surface with respect to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012040/a01204013.png" />, constructed over the alternating diagram. All knots of the standard table (cf. [[Knot table|Knot table]]) with non-alternating diagrams are non-alternating knots. Most parallel knots, windings, etc., do not alternate.
+
Let $  F $
 +
be a Seifert surface. As distinct from the ordinary case, the inequality $  d \leq  2h + \mu - 1 $,  
 +
where $  d $
 +
is the degree of the Alexander polynomial (cf. [[Alexander invariants|Alexander invariants]]), $  h $
 +
is the genus of the Seifert surface and $  \mu $
 +
is the number of components of the link $  k $,  
 +
becomes an equality in the case of alternating knots and links. Accordingly, the genus of an alternating link can be computed from any one of its alternating diagrams, the Seifert surface being the surface of smallest genus. This also shows that if the diagram is normalized, i.e. if the projection plane does not contain a simple closed contour that intersects the diagram at one double point, the link is trivial (cf. [[Knot theory|Knot theory]]) if and only if the diagram contains no double points. If such a contour exists, it is possible, by rotating an internal part of the diagram through 180 degrees, to reduce the number of double points while preserving the alternating nature of the diagram. This yields an algorithm for solving the problem of triviality of alternating knots and links. Moreover, if the diagram is connected, the links do not become separated, since $  d \geq  1 $,  
 +
and the reduced Alexander polynomial of seperated links is zero. The Alexander matrix is computed as the incidence matrix of some graph, which implies [[#References|[1]]], [[#References|[2]]] that $  \Delta (t) $
 +
is an alternating polynomial, i.e. its coefficients are non-zero and their signs alternate. If $  \Delta (0) = 1 $,  
 +
alternating knots and links are known as Neuwirth knots and links (cf. [[Neuwirth knot|Neuwirth knot]]). The number of double points of a normalized diagram of an alternating knot or link is not larger than its determinant. The groups of alternating knots and links (cf. [[Knot and link groups|Knot and link groups]]) are represented as free products with amalgamation of two free groups of rank $  q $
 +
by subgroups of rank $  2q - 1 $.  
 +
This representation is obtained with the aid of the van Kampen theorem, if the space of the link $  k $
 +
is subdivided by the boundaries of regular neighbourhoods of the Seifert surface with respect to $  k $,  
 +
constructed over the alternating diagram. All knots of the standard table (cf. [[Knot table|Knot table]]) with non-alternating diagrams are non-alternating knots. Most parallel knots, windings, etc., do not alternate.
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  K. Murasugi,  "On the Alexander polynomial of the alternating knot"  ''Osaka J. Math.'' , '''10'''  (1958)  pp. 181–189</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  R.H. Crowell,  "Genus of alternating link types"  ''Ann. of Math. (2)'' , '''69'''  (1959)  pp. 258–275</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  K. Murasugi,  "On alternating knots"  ''Osaka J. Math.'' , '''12'''  (1960)  pp. 277–303</TD></TR></table>
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  K. Murasugi,  "On the Alexander polynomial of the alternating knot"  ''Osaka J. Math.'' , '''10'''  (1958)  pp. 181–189</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  R.H. Crowell,  "Genus of alternating link types"  ''Ann. of Math. (2)'' , '''69'''  (1959)  pp. 258–275</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  K. Murasugi,  "On alternating knots"  ''Osaka J. Math.'' , '''12'''  (1960)  pp. 277–303</TD></TR></table>
 
 
  
 
====Comments====
 
====Comments====
A Seifert surface for a knot or link <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012040/a01204014.png" /> is a connected, bicollared compact manifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012040/a01204015.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012040/a01204016.png" />. A subset <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012040/a01204017.png" /> is bicollared (in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012040/a01204018.png" />) if there exists an imbedding <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012040/a01204019.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012040/a01204020.png" /> for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012040/a01204021.png" />. The mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012040/a01204022.png" /> or its image is the bicollar itself.
+
A Seifert surface for a knot or link $  K  ^ {n} \subset  S ^ {n + 2 } $
 +
is a connected, bicollared compact manifold $  M ^ {n + 1 } \subset  S ^ {n + 2 } $
 +
such that $  \partial  M ^ {n + 1 } = K  ^ {n} $.  
 +
A subset $  X \subset  Y $
 +
is bicollared (in $  Y $)  
 +
if there exists an imbedding $  b: X \times [-1, 1] \rightarrow Y $
 +
such that $  b (x, 0) = x $
 +
for all $  x \in X $.  
 +
The mapping $  b $
 +
or its image is the bicollar itself.
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  D. Rolfsen,  "Knots and links" , Publish or Perish  (1976)</TD></TR></table>
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  D. Rolfsen,  "Knots and links" , Publish or Perish  (1976)</TD></TR></table>

Latest revision as of 16:10, 1 April 2020


Knots and links with an alternating diagram (cf. Knot and link diagrams), i.e. a projection in general position onto a plane such that, when successively traversing all components, the overpasses and underpasses succeed each other in alternation. Any diagram can be converted to an alternating diagram by changing the upper and lower branches through its double points.

Let $ F $ be a Seifert surface. As distinct from the ordinary case, the inequality $ d \leq 2h + \mu - 1 $, where $ d $ is the degree of the Alexander polynomial (cf. Alexander invariants), $ h $ is the genus of the Seifert surface and $ \mu $ is the number of components of the link $ k $, becomes an equality in the case of alternating knots and links. Accordingly, the genus of an alternating link can be computed from any one of its alternating diagrams, the Seifert surface being the surface of smallest genus. This also shows that if the diagram is normalized, i.e. if the projection plane does not contain a simple closed contour that intersects the diagram at one double point, the link is trivial (cf. Knot theory) if and only if the diagram contains no double points. If such a contour exists, it is possible, by rotating an internal part of the diagram through 180 degrees, to reduce the number of double points while preserving the alternating nature of the diagram. This yields an algorithm for solving the problem of triviality of alternating knots and links. Moreover, if the diagram is connected, the links do not become separated, since $ d \geq 1 $, and the reduced Alexander polynomial of seperated links is zero. The Alexander matrix is computed as the incidence matrix of some graph, which implies [1], [2] that $ \Delta (t) $ is an alternating polynomial, i.e. its coefficients are non-zero and their signs alternate. If $ \Delta (0) = 1 $, alternating knots and links are known as Neuwirth knots and links (cf. Neuwirth knot). The number of double points of a normalized diagram of an alternating knot or link is not larger than its determinant. The groups of alternating knots and links (cf. Knot and link groups) are represented as free products with amalgamation of two free groups of rank $ q $ by subgroups of rank $ 2q - 1 $. This representation is obtained with the aid of the van Kampen theorem, if the space of the link $ k $ is subdivided by the boundaries of regular neighbourhoods of the Seifert surface with respect to $ k $, constructed over the alternating diagram. All knots of the standard table (cf. Knot table) with non-alternating diagrams are non-alternating knots. Most parallel knots, windings, etc., do not alternate.

References

[1] K. Murasugi, "On the Alexander polynomial of the alternating knot" Osaka J. Math. , 10 (1958) pp. 181–189
[2] R.H. Crowell, "Genus of alternating link types" Ann. of Math. (2) , 69 (1959) pp. 258–275
[3] K. Murasugi, "On alternating knots" Osaka J. Math. , 12 (1960) pp. 277–303

Comments

A Seifert surface for a knot or link $ K ^ {n} \subset S ^ {n + 2 } $ is a connected, bicollared compact manifold $ M ^ {n + 1 } \subset S ^ {n + 2 } $ such that $ \partial M ^ {n + 1 } = K ^ {n} $. A subset $ X \subset Y $ is bicollared (in $ Y $) if there exists an imbedding $ b: X \times [-1, 1] \rightarrow Y $ such that $ b (x, 0) = x $ for all $ x \in X $. The mapping $ b $ or its image is the bicollar itself.

References

[a1] D. Rolfsen, "Knots and links" , Publish or Perish (1976)
How to Cite This Entry:
Alternating knots and links. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Alternating_knots_and_links&oldid=45090
This article was adapted from an original article by A.V. Chernavskii (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article