arXiv subjects
Publications and source records attributed to Dylan Thurston.
We show that for links with at most 5 components, the only finite type homotopy invariants are products of the linking numbers. In contrast, we show that for links with at least 9 components, there must exist finite type homotopy invariants which are not products of the linking numbers. This corrects previous errors of the first author.
We continue the work started in part I (q-alg/9706004) and prove the invariance and universality in the class of finite type invariants of the object defined and motivated there, namely the Aarhus integral of rational homology 3-spheres. Our main tool in proving invariance is a translation scheme that translates statements in multi-variable calculus (Gaussian integration, integration by parts, etc.) to statements about diagrams. Using this scheme the straight-forward "philosophical" calculus-level proofs of part I become straight-forward honest diagram-level proofs here. The universality proof is standard and utilizes a simple "locality" property of the Kontsevich integral.