\documentclass[12pt,titlepage]{article}

\usepackage{amsmath}
\usepackage{mathrsfs}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{mathtools}
\usepackage{graphicx}
\usepackage{color}
\usepackage{ucs}
\usepackage[utf8x]{inputenc}
\usepackage{xparse}
\usepackage{hyperref}

%----Macros----------
%
% Unresolved issues:
%
%  \righttoleftarrow
%  \lefttorightarrow
%
%  \color{} with HTML colorspec
%  \bgcolor
%  \array with options (without options, it's equivalent to the matrix environment)

% Of the standard HTML named colors, white, black, red, green, blue and yellow
% are predefined in the color package. Here are the rest.
\definecolor{aqua}{rgb}{0, 1.0, 1.0}
\definecolor{fuschia}{rgb}{1.0, 0, 1.0}
\definecolor{gray}{rgb}{0.502, 0.502, 0.502}
\definecolor{lime}{rgb}{0, 1.0, 0}
\definecolor{maroon}{rgb}{0.502, 0, 0}
\definecolor{navy}{rgb}{0, 0, 0.502}
\definecolor{olive}{rgb}{0.502, 0.502, 0}
\definecolor{purple}{rgb}{0.502, 0, 0.502}
\definecolor{silver}{rgb}{0.753, 0.753, 0.753}
\definecolor{teal}{rgb}{0, 0.502, 0.502}

% Because of conflicts, \space and \mathop are converted to
% \itexspace and \operatorname during preprocessing.

% itex: \space{ht}{dp}{wd}
%
% Height and baseline depth measurements are in units of tenths of an ex while
% the width is measured in tenths of an em.
\makeatletter
\newdimen\itex@wd%
\newdimen\itex@dp%
\newdimen\itex@thd%
\def\itexspace#1#2#3{\itex@wd=#3em%
\itex@wd=0.1\itex@wd%
\itex@dp=#2ex%
\itex@dp=0.1\itex@dp%
\itex@thd=#1ex%
\itex@thd=0.1\itex@thd%
\advance\itex@thd\the\itex@dp%
\makebox[\the\itex@wd]{\rule[-\the\itex@dp]{0cm}{\the\itex@thd}}}
\makeatother

% \tensor and \multiscript
\makeatletter
\newif\if@sup
\newtoks\@sups
\def\append@sup#1{\edef\act{\noexpand\@sups={\the\@sups #1}}\act}%
\def\reset@sup{\@supfalse\@sups={}}%
\def\mk@scripts#1#2{\if #2/ \if@sup ^{\the\@sups}\fi \else%
  \ifx #1_ \if@sup ^{\the\@sups}\reset@sup \fi {}_{#2}%
  \else \append@sup#2 \@suptrue \fi%
  \expandafter\mk@scripts\fi}
\def\tensor#1#2{\reset@sup#1\mk@scripts#2_/}
\def\multiscripts#1#2#3{\reset@sup{}\mk@scripts#1_/#2%
  \reset@sup\mk@scripts#3_/}
\makeatother

% \slash
\makeatletter
\newbox\slashbox \setbox\slashbox=\hbox{$/$}
\def\itex@pslash#1{\setbox\@tempboxa=\hbox{$#1$}
  \@tempdima=0.5\wd\slashbox \advance\@tempdima 0.5\wd\@tempboxa
  \copy\slashbox \kern-\@tempdima \box\@tempboxa}
\def\slash{\protect\itex@pslash}
\makeatother

% math-mode versions of \rlap, etc
% from Alexander Perlis, "A complement to \smash, \llap, and lap"
%   http://math.arizona.edu/~aprl/publications/mathclap/
\def\clap#1{\hbox to 0pt{\hss#1\hss}}
\def\mathllap{\mathpalette\mathllapinternal}
\def\mathrlap{\mathpalette\mathrlapinternal}
\def\mathclap{\mathpalette\mathclapinternal}
\def\mathllapinternal#1#2{\llap{$\mathsurround=0pt#1{#2}$}}
\def\mathrlapinternal#1#2{\rlap{$\mathsurround=0pt#1{#2}$}}
\def\mathclapinternal#1#2{\clap{$\mathsurround=0pt#1{#2}$}}

% Renames \sqrt as \oldsqrt and redefine root to result in \sqrt[#1]{#2}
\let\oldroot\root
\def\root#1#2{\oldroot #1 \of{#2}}
\renewcommand{\sqrt}[2][]{\oldroot #1 \of{#2}}

% Manually declare the txfonts symbolsC font
\DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n}
\SetSymbolFont{symbolsC}{bold}{U}{txsyc}{bx}{n}
\DeclareFontSubstitution{U}{txsyc}{m}{n}

% Manually declare the stmaryrd font
\DeclareSymbolFont{stmry}{U}{stmry}{m}{n}
\SetSymbolFont{stmry}{bold}{U}{stmry}{b}{n}

% Manually declare the MnSymbolE font
\DeclareFontFamily{OMX}{MnSymbolE}{}
\DeclareSymbolFont{mnomx}{OMX}{MnSymbolE}{m}{n}
\SetSymbolFont{mnomx}{bold}{OMX}{MnSymbolE}{b}{n}
\DeclareFontShape{OMX}{MnSymbolE}{m}{n}{
    <-6>  MnSymbolE5
   <6-7>  MnSymbolE6
   <7-8>  MnSymbolE7
   <8-9>  MnSymbolE8
   <9-10> MnSymbolE9
  <10-12> MnSymbolE10
  <12->   MnSymbolE12}{}

% Declare specific arrows from txfonts without loading the full package
\makeatletter
\def\re@DeclareMathSymbol#1#2#3#4{%
    \let#1=\undefined
    \DeclareMathSymbol{#1}{#2}{#3}{#4}}
\re@DeclareMathSymbol{\neArrow}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\neArr}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\seArrow}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\seArr}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\nwArrow}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\nwArr}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\swArrow}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\swArr}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\nequiv}{\mathrel}{symbolsC}{46}
\re@DeclareMathSymbol{\Perp}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\Vbar}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\sslash}{\mathrel}{stmry}{12}
\re@DeclareMathSymbol{\bigsqcap}{\mathop}{stmry}{"64}
\re@DeclareMathSymbol{\biginterleave}{\mathop}{stmry}{"6}
\re@DeclareMathSymbol{\invamp}{\mathrel}{symbolsC}{77}
\re@DeclareMathSymbol{\parr}{\mathrel}{symbolsC}{77}
\makeatother

% \llangle, \rrangle, \lmoustache and \rmoustache from MnSymbolE
\makeatletter
\def\Decl@Mn@Delim#1#2#3#4{%
  \if\relax\noexpand#1%
    \let#1\undefined
  \fi
  \DeclareMathDelimiter{#1}{#2}{#3}{#4}{#3}{#4}}
\def\Decl@Mn@Open#1#2#3{\Decl@Mn@Delim{#1}{\mathopen}{#2}{#3}}
\def\Decl@Mn@Close#1#2#3{\Decl@Mn@Delim{#1}{\mathclose}{#2}{#3}}
\Decl@Mn@Open{\llangle}{mnomx}{'164}
\Decl@Mn@Close{\rrangle}{mnomx}{'171}
\Decl@Mn@Open{\lmoustache}{mnomx}{'245}
\Decl@Mn@Close{\rmoustache}{mnomx}{'244}
\makeatother

% Widecheck
\makeatletter
\DeclareRobustCommand\widecheck[1]{{\mathpalette\@widecheck{#1}}}
\def\@widecheck#1#2{%
    \setbox\z@\hbox{\m@th$#1#2$}%
    \setbox\tw@\hbox{\m@th$#1%
       \widehat{%
          \vrule\@width\z@\@height\ht\z@
          \vrule\@height\z@\@width\wd\z@}$}%
    \dp\tw@-\ht\z@
    \@tempdima\ht\z@ \advance\@tempdima2\ht\tw@ \divide\@tempdima\thr@@
    \setbox\tw@\hbox{%
       \raise\@tempdima\hbox{\scalebox{1}[-1]{\lower\@tempdima\box
\tw@}}}%
    {\ooalign{\box\tw@ \cr \box\z@}}}
\makeatother

% \mathraisebox{voffset}[height][depth]{something}
\makeatletter
\NewDocumentCommand\mathraisebox{moom}{%
\IfNoValueTF{#2}{\def\@temp##1##2{\raisebox{#1}{$\m@th##1##2$}}}{%
\IfNoValueTF{#3}{\def\@temp##1##2{\raisebox{#1}[#2]{$\m@th##1##2$}}%
}{\def\@temp##1##2{\raisebox{#1}[#2][#3]{$\m@th##1##2$}}}}%
\mathpalette\@temp{#4}}
\makeatletter

% udots (taken from yhmath)
\makeatletter
\def\udots{\mathinner{\mkern2mu\raise\p@\hbox{.}
\mkern2mu\raise4\p@\hbox{.}\mkern1mu
\raise7\p@\vbox{\kern7\p@\hbox{.}}\mkern1mu}}
\makeatother

%% Fix array
\newcommand{\itexarray}[1]{\begin{matrix}#1\end{matrix}}
%% \itexnum is a noop
\newcommand{\itexnum}[1]{#1}

%% Renaming existing commands
\newcommand{\underoverset}[3]{\underset{#1}{\overset{#2}{#3}}}
\newcommand{\widevec}{\overrightarrow}
\newcommand{\darr}{\downarrow}
\newcommand{\nearr}{\nearrow}
\newcommand{\nwarr}{\nwarrow}
\newcommand{\searr}{\searrow}
\newcommand{\swarr}{\swarrow}
\newcommand{\curvearrowbotright}{\curvearrowright}
\newcommand{\uparr}{\uparrow}
\newcommand{\downuparrow}{\updownarrow}
\newcommand{\duparr}{\updownarrow}
\newcommand{\updarr}{\updownarrow}
\newcommand{\gt}{>}
\newcommand{\lt}{<}
\newcommand{\map}{\mapsto}
\newcommand{\embedsin}{\hookrightarrow}
\newcommand{\Alpha}{A}
\newcommand{\Beta}{B}
\newcommand{\Zeta}{Z}
\newcommand{\Eta}{H}
\newcommand{\Iota}{I}
\newcommand{\Kappa}{K}
\newcommand{\Mu}{M}
\newcommand{\Nu}{N}
\newcommand{\Rho}{P}
\newcommand{\Tau}{T}
\newcommand{\Upsi}{\Upsilon}
\newcommand{\omicron}{o}
\newcommand{\lang}{\langle}
\newcommand{\rang}{\rangle}
\newcommand{\Union}{\bigcup}
\newcommand{\Intersection}{\bigcap}
\newcommand{\Oplus}{\bigoplus}
\newcommand{\Otimes}{\bigotimes}
\newcommand{\Wedge}{\bigwedge}
\newcommand{\Vee}{\bigvee}
\newcommand{\coproduct}{\coprod}
\newcommand{\product}{\prod}
\newcommand{\closure}{\overline}
\newcommand{\integral}{\int}
\newcommand{\doubleintegral}{\iint}
\newcommand{\tripleintegral}{\iiint}
\newcommand{\quadrupleintegral}{\iiiint}
\newcommand{\conint}{\oint}
\newcommand{\contourintegral}{\oint}
\newcommand{\infinity}{\infty}
\newcommand{\bottom}{\bot}
\newcommand{\minusb}{\boxminus}
\newcommand{\plusb}{\boxplus}
\newcommand{\timesb}{\boxtimes}
\newcommand{\intersection}{\cap}
\newcommand{\union}{\cup}
\newcommand{\Del}{\nabla}
\newcommand{\odash}{\circleddash}
\newcommand{\negspace}{\!}
\newcommand{\widebar}{\overline}
\newcommand{\textsize}{\normalsize}
\renewcommand{\scriptsize}{\scriptstyle}
\newcommand{\scriptscriptsize}{\scriptscriptstyle}
\newcommand{\mathfr}{\mathfrak}
\newcommand{\statusline}[2]{#2}
\newcommand{\tooltip}[2]{#2}
\newcommand{\toggle}[2]{#2}

% Theorem Environments
\theoremstyle{plain}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\newtheorem{prop}{Proposition}
\newtheorem{cor}{Corollary}
\newtheorem*{utheorem}{Theorem}
\newtheorem*{ulemma}{Lemma}
\newtheorem*{uprop}{Proposition}
\newtheorem*{ucor}{Corollary}
\theoremstyle{definition}
\newtheorem{defn}{Definition}
\newtheorem{example}{Example}
\newtheorem*{udefn}{Definition}
\newtheorem*{uexample}{Example}
\theoremstyle{remark}
\newtheorem{remark}{Remark}
\newtheorem{note}{Note}
\newtheorem*{uremark}{Remark}
\newtheorem*{unote}{Note}

%-------------------------------------------------------------------

\begin{document}

%-------------------------------------------------------------------


\section*{knot group}

\hypertarget{context}{}\subsubsection*{{Context}}\label{context}

\hypertarget{knot_theory}{}\paragraph*{{Knot theory}}\label{knot_theory}

[[!include knot theory - contents]]

\hypertarget{contents}{}\section*{{Contents}}\label{contents}

\noindent\hyperlink{the_knot_group_of_a_knot}{The Knot Group of a Knot}\dotfill \pageref*{the_knot_group_of_a_knot} \linebreak
\noindent\hyperlink{the_dehn_presentation}{The Dehn Presentation}\dotfill \pageref*{the_dehn_presentation} \linebreak
\noindent\hyperlink{example_of_a_dehn_presentation}{Example of a Dehn presentation}\dotfill \pageref*{example_of_a_dehn_presentation} \linebreak
\noindent\hyperlink{the_wirtinger_presentation}{The Wirtinger presentation}\dotfill \pageref*{the_wirtinger_presentation} \linebreak
\noindent\hyperlink{related_entries}{Related entries}\dotfill \pageref*{related_entries} \linebreak


\hypertarget{the_knot_group_of_a_knot}{}\subsection*{{The Knot Group of a Knot}}\label{the_knot_group_of_a_knot}

The \textbf{knot group}, $G(K)$, of a [[knot]] $K$ is the [[fundamental group]] of the [[knot complement|complement of the knot]]. Taking this apart, the knot, $K$, is an embedding of $S^1$ into $\mathbb{R}^3$ or $S^3$. We tend to abuse terminology and to think (and to write) of $K$ as the image of the embedding rather than the embedding itself. We can therefore write $\mathbb{R}^3 \setminus K$ for the space outside the knot, i.e. its complement. This is clearly arcwise connected so we do not need to worry about a choice of base point any point will do. We make the

\begin{udefn}
$G(K) \coloneqq \pi_1(\mathbb{R}^3 \setminus K)$.

\end{udefn}
To see that this is an invariant of the knot type, note that if you perform an ambient [[isotopy]] on the knot then it deforms this complement into the complement of the isotopic knot.

This is an unambiguous definition, but does not tell us how to calculate anything about this group for a given knot. Luckily there are two neat algorithms for giving [[group presentation|presentations]] of $G(K)$ for arbitrary knots working from a diagram of that knot, one due to Wirtinger, the other to Dehn.

\hypertarget{the_dehn_presentation}{}\subsection*{{The Dehn Presentation}}\label{the_dehn_presentation}

Start by orienting the knot diagram. The diagram divides the plane into various faces. Label these faces with distinct letters. For example, $x_1,\ldots, x_n$. These face labels will be the generators in the presentation. The relations are given by the crossings in the following diagram.

A typical crossing will have a configuration something like this:

Look at the underpass arc that leaves the crossing, and write down the face labels going anticlockwise around the crossing, and alternating in exponent between $+1$ and $-1$. Here that gives $x_i x_j^{-1}x_k x_l^{-1}$. After doing this for every crossing, set any \emph{one} face label to be $1$. (This last relation effectively deletes that generator from the presentation.)

That method gives the following presentation, where $x_m$ is the choice of generator to be set to $1$.

\begin{displaymath}
\langle x_1, \ldots, x_n\mid \text{relations from crossings}, x_m=1\rangle.
\end{displaymath}
This is a presentation of $G(K)$.

The element in the fundamental group corresponding to a particular face is given as follows. We set the basepoint to a point above the plane and draw a path which goes from the basepoint and through the face. It then goes under the plane (thus, under the knot) to the face whose label was set to $1$, and through this face back to the basepoint.

\hypertarget{example_of_a_dehn_presentation}{}\subsection*{{Example of a Dehn presentation}}\label{example_of_a_dehn_presentation}

We will calculate the Dehn presentation for the cinquefoil knot. This is the next knot in the family of $(2,k)$-torus knots after the [[trefoil knot]]. It has five lobes when drawn in the following nice symmetric form. We orient the diagram clockwise and label the faces of the diagram with the letters from $a$ up to $g$.

We start with the crossing in the top left. The underpass is going from left to right and has $a$ to its left as it exits from under the overpass. Reading off the relation for this we get $a g^{-1} e f^{-1}$. We go to the next (clockwise) crossing and similarly get $b g^{-1} a f^{-1}$; continuing we get $c g^{-1} b f^{-1}$, then $d g^{-1}c f^{-1}$, and for the final crossing $e g^{-1}d f^{-1}$.

We will choose to kill off $g$ setting it equal to $1$ (and eliminating it from the presentation). This gives

\begin{displaymath}
\langle a,b,c,d,e,f \mid b a f^{-1}=c b f^{-1}= d c f^{-1}=e d f^{-1}=a e f^{-1}=1\rangle.
\end{displaymath}
This is `the' \textbf{Dehn presentation} of $G(K)$ for this knot

We can eliminate $f$ as it can be expressed in terms of the other generators. This gives us

\begin{displaymath}
\langle a,b,c,d,e\mid b a = c b =d c= e d = a e\rangle.
\end{displaymath}
This corresponds to something neat. The `geometric' significance of the faces is they represent a path that starts above the `page' goes down through that face then comes up through the face labelled $g$ (as we set that equal to $1$). The presentation in its current form shows that going down through any of the lobes, coming back up at the outside, then going down through the next one clockwise is the same as going through the middle! It can be useful to keep $f$ in the presentation as we will see.

This group presentation is [[Tietze transformation|Tietze equivalent]] to $\langle f,y\mid f^5 = y^2\rangle$. (Use the substitution $y=e d c b a$.) Note that the nature of the cinquefoil as a (2,5)-[[torus knot]] can be seen in this presentation.

\hypertarget{the_wirtinger_presentation}{}\subsection*{{The Wirtinger presentation}}\label{the_wirtinger_presentation}

To get the Wirtinger presentation of $G(K)$, you label the arcs of the knot diagram rather than the faces. The arc labels will give the generators in this presentation and the crossings will give the relations.

Suppose the crossing looks like

Pick one of the quadrants and think of a rectanglar path going anti-clockwise about the crossing. (We will assume we have started this path in the NW quadrant, to the left of the exit.) Traverse this rectangular path and write down the $\text{arc label}$ if the arc is entering the crossing and $(\text{arc label})^{-1}$ if it is leaving it. In the above situation we get $x_i  x_k x_i^{-1} x_j^{-1}$. This is set equal to $1$. Now repeat for all the other crossings.

The \textbf{Wirtinger presentation} is then

\begin{displaymath}
\langle \text{arc labels} \mid \text{crossing relations}\rangle
\end{displaymath}
It is worth noting that any one of the crossing relations is a consequence of the others.

The element in the fundamental group corresponding to a strand is the following. We fix a basepoint above the plane. The path comes down from this basepoint, goes under the strand, and then back up again. The direction in which it goes under the strand is determined by the orientation of the strand: to someone sitting on the strand facing in the direction of the orientation, the path will go down on the left and come up on their right.

\textbf{Hint:} If doing an example, do not throw away a crossing relation just because it is redundant. It is a good idea to keep it and it will act as a check on the final form of the presentation when it has been `processed' through some Tietze transformations. It is easy, at least to start with, to make a slip in the calculation and often the presentation for nice simple knots can be reduced to a form with two generators and one relation. The above trick keeps in a duplicate relation for comparison.

\hypertarget{related_entries}{}\subsection*{{Related entries}}\label{related_entries}

The classical treatment of the [[Alexander polynomial]] as found, for instance in the book by [[Crowell]] and [[Ralph Fox|Fox]], uses the Wirtinger presentation and [[Fox derivatives]] to derive an Alexander matrix which is then processed to give the polynomial.

Alexander's original paper uses a method which is more closely related to the Dehn presentation.

category: knot theory



\end{document}