Abstract

We relate certain abelian invariants of a knot, namely the Alexander polynomial, the Blanchfield form, and the Arf invariant, to intersection data of a Whitney tower in the 4-ball bounded by the knot. We also give a new 3-dimensional algorithm for computing these invariants.

Highlights

  • We show that intersection data in Whitney towers determines abelian invariants of knots, the Blanchfield form, the Alexander polynomial, and the Arf invariant

  • In the following theorem we show that the matrix presents the Blanchfield pairing up to Witt equivalence, and determines the Alexander polynomial up to norms and units

  • Theorem 1.6 (Freedman, Kirby, Matsumoto, Quinn) The Arf invariant Arf(K ) vanishes if and only if K is the boundary of framed Whitney tower of order two in D4

Read more

Summary

Introduction

We show that intersection data in Whitney towers determines abelian invariants of knots, the Blanchfield form, the Alexander polynomial, and the Arf invariant. Our main result algorithmically computes the Blanchfield form and the Alexander polynomial of a knot using intersection data from an order two twisted Whitney tower in the 4-disc bounded by the knot. This relates two incarnations of the Arf invariant of a knot using. A 4-dimensional argument—one characterizing the Arf invariant in terms of Whitney towers, the other in terms of the Alexander polynomial

Intersection data from order two towers and abelian invariants
Whitney towers and the Arf invariant
Motivation
Construction of an order two presentation tower for a knot
Fixing the fundamental group
The intersection form of an immersed disc exterior in the 4-ball
Precise description of the matrix Ä
Structure of the intersection form of W
The second homotopy group of W is a free module
Definitions of Whitney and accessory framings
Equivariant intersections of the spheres Si
Framing conditions for surgery
Self intersection of S2i
Homology of the boundary of W
Proof of Alexander polynomial assertions of main theorems
31 D1 A1 unlink unlink
Using Whitney towers
An algorithm for computation using accessory discs only
Examples using accessory discs only
The Seifert form and the Arf invariant
10 The Blanchfield form
Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call