Dror Bar-Natan, Stavros Garoufalidis, Lev Rozansky and Dylan Thurston
Abstract: We continue the work started in [Aarhus-I], 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 [Aarhus-I] become straight-forward honest diagram-level proofs here. The universality proof is standard and utilizes a simple ``locality'' property of the Kontsevich integral.
Key words: Chord diagrams, chinese characters, Kontsevich integral.
Notes: 23 pages plus references.