Namespaces
Variants
Actions

Difference between revisions of "Fox-n-colouring"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (→‎References: isbn link)
 
(8 intermediate revisions by 2 users not shown)
Line 1: Line 1:
A colouring of a non-oriented link diagram (cf. also [[Knot and link diagrams|Knot and link diagrams]]), leading to an Abelian group invariant of links in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130220/f1302202.png" /> (cf. also [[Link|Link]]). It was introduced by R.H. Fox around 1956 to visualize dihedral representations of the knot group [[#References|[a1]]] (cf. also [[Knot and link groups|Knot and link groups]]). Using <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130220/f1302203.png" />-colourings is, probably, the simplest method of showing that the trefoil knot is non-trivial (see Fig.a1).
+
{{MSC|57K}}
  
One says that a link (or tangle) diagram, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130220/f1302204.png" />, is <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130220/f1302206.png" />-coloured if every arc is coloured by one of the numbers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130220/f1302207.png" /> in such a way that at each crossing the sum of the colours of the undercrossings is equal to twice the colour of the overcrossing modulo <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130220/f1302208.png" />. The set of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130220/f1302209.png" />-colourings forms an [[Abelian group|Abelian group]], denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130220/f13022010.png" />. This group can be interpreted using the first homology group (modulo <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130220/f13022011.png" />) of the double branched cover of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130220/f13022012.png" /> with the link as the branched point set. The group of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130220/f13022013.png" />-colourings is determined by the Jones polynomial (at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130220/f13022014.png" />), and the group of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130220/f13022015.png" />-colourings by the [[Kauffman polynomial|Kauffman polynomial]] (at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130220/f13022016.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130220/f13022017.png" />), [[#References|[a2]]]. <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130220/f13022018.png" />-moves preserve the group of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130220/f13022019.png" />-colourings and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130220/f13022020.png" />-moves lead to the [[Montesinos–Nakanishi conjecture|Montesinos–Nakanishi conjecture]].
+
A colouring of a non-oriented link diagram (cf. also [[Knot and link diagrams]]), leading to an Abelian group invariant of links in $\RR^3$ (cf. also [[Link|Link]]). It was introduced by R.H. Fox around 1956 to visualize dihedral representations of the knot group [[#References|[a1]]] (cf. also [[Knot and link groups]]). Using $3$-colourings is, probably, the simplest method of showing that the trefoil knot is non-trivial (see Fig. a1).
  
<img style="border:1px solid;" src="https://www.encyclopediaofmath.org/legacyimages/common_img/f130220a.gif" />
+
One says that a link (or tangle) diagram, $D$, is $n$-coloured if every arc is coloured by one of the numbers $0,\ldots,(n-1)$ in such a way that at each crossing the sum of the colours of the undercrossings is equal to twice the colour of the overcrossing modulo $n$. The set of $n$-colourings forms an [[Abelian group]], denoted by $\text{Col}_n(D)$. This group can be interpreted using the first homology group (modulo $n$) of the double branched cover of $S^3$ with the link as the branched point set. The group of $3$-colourings is determined by the [[Jones polynomial]] (at $t=e^{2\pi i/6}$), and the group of $5$-colourings by the [[Kauffman polynomial]] (at $a=1$, $z = 2\cos(2\pi/5)$), [[#References|[a2]]]. The $n$-moves preserve the group of $n$-colourings and $3$-moves lead to the [[Montesinos–Nakanishi conjecture]] (cf. [[Tangle move]]).
  
Figure: f130220a
+
[[File:Fox coloring.svg|center|130px|Fox coloring with {0,1,2}]]
  
The linear space of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130220/f13022021.png" />-colourings of the boundary points of an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130220/f13022023.png" />-tangle has a symplectic form (cf. also [[Symplectic structure|Symplectic structure]]), so that tangles correspond to Lagrangian subspaces (i.e. maximal totally degenerate subspaces) of the symplectic form.
+
The linear space of $p$-colourings of the boundary points of an $n$-[[tangle]] has a symplectic form (cf. also [[Symplectic structure]]), so that tangles correspond to Lagrangian subspaces (i.e. maximal totally degenerate subspaces) of the symplectic form.
  
The Alexander module is a generalization of the group of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f130/f130220/f13022024.png" />-colourings.
+
The Alexander module is a generalization of the group of $n$-colourings.
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  R.H. Crowell,  R.H. Fox,  "An introduction to knot theory" , Ginn  (1963)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  J. Przytycki,   "3-coloring and other elementary invariants of knots" , ''Knot Theory'' , ''Banach Center Publications'' , '''42'''  (1998)  pp. 275–295</TD></TR></table>
+
<table>
 +
<TR><TD valign="top">[a1]</TD> <TD valign="top">  R.H. Crowell,  R.H. Fox,  "An introduction to knot theory" , Ginn  (1963) {{ZBL|0126.39105}}.  4th corr. print. Graduate Texts in Mathematics '''57''', Springer (1977) {{ISBN|3-540-90272-4}} {{ZBL|0362.55001}}.  Repr. Dover (2008) {{ISBN|0-486-46894-1}}</TD></TR>
 +
<TR><TD valign="top">[a2]</TD> <TD valign="top">  J. Przytycki, ''3-coloring and other elementary invariants of knots'', in "Knot Theory" (ed. V.F.R. Jones) Banach Center Publications '''42'''  (1998)  pp. 275–295 [http://eudml.org/doc/208812 EUDML] {{ZBL|0904.57002}}</TD></TR>
 +
</table>
 +
 
 +
{{TEX|done}}

Latest revision as of 18:07, 14 November 2023

2020 Mathematics Subject Classification: Primary: 57K [MSN][ZBL]

A colouring of a non-oriented link diagram (cf. also Knot and link diagrams), leading to an Abelian group invariant of links in $\RR^3$ (cf. also Link). It was introduced by R.H. Fox around 1956 to visualize dihedral representations of the knot group [a1] (cf. also Knot and link groups). Using $3$-colourings is, probably, the simplest method of showing that the trefoil knot is non-trivial (see Fig. a1).

One says that a link (or tangle) diagram, $D$, is $n$-coloured if every arc is coloured by one of the numbers $0,\ldots,(n-1)$ in such a way that at each crossing the sum of the colours of the undercrossings is equal to twice the colour of the overcrossing modulo $n$. The set of $n$-colourings forms an Abelian group, denoted by $\text{Col}_n(D)$. This group can be interpreted using the first homology group (modulo $n$) of the double branched cover of $S^3$ with the link as the branched point set. The group of $3$-colourings is determined by the Jones polynomial (at $t=e^{2\pi i/6}$), and the group of $5$-colourings by the Kauffman polynomial (at $a=1$, $z = 2\cos(2\pi/5)$), [a2]. The $n$-moves preserve the group of $n$-colourings and $3$-moves lead to the Montesinos–Nakanishi conjecture (cf. Tangle move).

Fox coloring with {0,1,2}

The linear space of $p$-colourings of the boundary points of an $n$-tangle has a symplectic form (cf. also Symplectic structure), so that tangles correspond to Lagrangian subspaces (i.e. maximal totally degenerate subspaces) of the symplectic form.

The Alexander module is a generalization of the group of $n$-colourings.

References

[a1] R.H. Crowell, R.H. Fox, "An introduction to knot theory" , Ginn (1963) Zbl 0126.39105. 4th corr. print. Graduate Texts in Mathematics 57, Springer (1977) ISBN 3-540-90272-4 Zbl 0362.55001. Repr. Dover (2008) ISBN 0-486-46894-1
[a2] J. Przytycki, 3-coloring and other elementary invariants of knots, in "Knot Theory" (ed. V.F.R. Jones) Banach Center Publications 42 (1998) pp. 275–295 EUDML Zbl 0904.57002
How to Cite This Entry:
Fox-n-colouring. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Fox-n-colouring&oldid=14377
This article was adapted from an original article by Jozef Przytycki (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article