[Paper Review] The Aarhus integral of rational homology 3-spheres II: Invariance and universality

Dror Bar-Natan, Stavros Garoufalidis+2 more|arXiv (Cornell University)|Jan 11, 1998

Homotopy and Cohomology in Algebraic Topology4 references12 citations

TL;DR

This paper establishes the invariance and universality of the Aarhus integral—a topological quantum field theory construction—for rational homology 3-spheres. Using a diagrammatic translation of multivariable calculus techniques, the authors prove that the Aarhus integral is invariant under Kirby moves and universal among finite-type invariants, thereby confirming its role as a complete invariant in the Kontsevich integral framework.

ABSTRACT

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.

Motivation & Objective

• To establish the invariance of the Aarhus integral under Kirby moves in rational homology 3-spheres.
• To prove that the Aarhus integral is universal among finite-type invariants of rational homology 3-spheres.
• To develop a systematic diagrammatic translation of multivariable calculus identities into topological diagram calculus.
• To provide a rigorous diagram-level proof of the Aarhus integral's properties, replacing heuristic calculus-level arguments.
• To confirm the Aarhus integral's role as a universal finite-type invariant in the context of quantum topology.

Proposed method

• Introduce a translation scheme mapping statements in multivariable calculus (e.g., Gaussian integration, integration by parts) to equivalent statements in diagrammatic calculus.
• Apply this translation scheme to convert philosophical or intuitive calculus-level proofs into formal diagram-level proofs.
• Utilize the locality property of the Kontsevich integral to establish universality of the Aarhus integral.
• Demonstrate that the Aarhus integral remains unchanged under Kirby moves, confirming invariance.
• Use diagrammatic manipulations to verify that the Aarhus integral captures all finite-type invariants via the universal property.
• Leverage the structure of the Kontsevich integral and its expansion in terms of Jacobi diagrams to analyze universality.

Experimental results

Research questions

• RQ1 Is the Aarhus integral invariant under Kirby moves in rational homology 3-spheres?
• RQ2 Does the Aarhus integral universally capture all finite-type invariants of rational homology 3-spheres?
• RQ3 Can multivariable calculus identities be systematically translated into diagrammatic identities for topological invariants?
• RQ4 How does the Aarhus integral relate to the Kontsevich integral in terms of universality?
• RQ5 Can the philosophical calculus-level proofs of part I be rigorously formalized at the diagram level?

Key findings

• The Aarhus integral is invariant under Kirby moves, confirming its well-definedness as a topological invariant of rational homology 3-spheres.
• The Aarhus integral is universal among finite-type invariants, meaning every finite-type invariant factors through it.
• The translation scheme successfully converts multivariable calculus identities into diagrammatic identities, enabling rigorous diagram-level proofs.
• The universality of the Aarhus integral is established via the locality property of the Kontsevich integral.
• The diagrammatic proof of invariance is now fully rigorous, replacing earlier heuristic calculus-level arguments.
• The Aarhus integral provides a complete and canonical construction of the universal finite-type invariant in the rational homology 3-sphere setting.