Knot polynomials from 1-cocycles

MaRDI QIDQ6291944zbMATH OpenFDO

Authors Thomas Fiedler

Publication date 28 September 2017

Mathematics Subject Classification ID

Abstract: Let $M_n$ be the topological moduli space of all parallel n-cables of long framed oriented knots in 3-space. We construct in a combinatorial way for each natural number $n>1$ a 1-cocycle $R_n$ which represents a non trivial class in $H^1(M_n;mathbbZ[x_1,x_2,\mathrm{...},x_1^{-1},x_2^{-1},\mathrm{...}])$, where the number of variables $x_m$ depends on $n$. To each generic point in $M_n$ we associate in a canonical way an arc {em scan} in $M_n$, such that $R_n(scan)$ is already a polynomial knot invariant. We show that $R_3(scan)$ detects the non-invertibility of the knot $8_{17}$ in a very simple way and without using the knot group. There are two well-known canonical loops in $M_n$ for each parallel n-cable of a long framed knot $K$: Gramain's loop {em rot} and the Fox-Hatcher loop {em fh}. The calculation of $R_n$ is of at most quartic complexity for these loops with respect to the number of crossings of $K$ for each fixed $n$. It follows from results of Hatcher that $K$ is not a torus knot if the rational function $R_n(fh(K))/R_n(rot(K))$ is not constant for each $n>1$. $oplu{s}_n{R}_n$ is a natural candidate in order to separate all classes in $H_1(M_1;mathbbQ)cong{H}_1(M_n;mathbbQ)$, and in particular to distinguish all knot types $p{i}_0(M_1)$.

This page was built for publication: Knot polynomials from 1-cocycles

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6291944)