[Paper Review] On the LMO conjecture

Takahito Kuriya|ArXiv.org|Mar 12, 2008

Algebraic structures and combinatorial models13 references3 citations

TL;DR

This paper proves the LMO conjecture, establishing that the LMO invariant of rational homology 3-spheres recovers the perturbative quantum invariant $\tau^{PG}$ for any simply connected compact simple Lie group $G$. The proof combines Le's theorem on the perturbative invariant with the $\r{A}rhus$ integral and $\mathfrak{g}$-weight systems, showing that the LMO invariant is the universal quantum invariant for integral homology 3-spheres.

ABSTRACT

We give a proof of the LMO conjecture which say that for any simply connectd simple Lie group $G$, the LMO invariant of rational homology 3-spheres recovers the perturvative invariant $τ^{PG}$. By Habiro-Le theorem, this implies that the LMO invariant is the universal quantum invariant of integral homology 3-spheres.

Motivation & Objective

• To prove the LMO conjecture, which posits that the LMO invariant recovers the perturbative quantum invariant $\tau^{PG}$ for any simply connected compact simple Lie group $G$.
• To establish that the LMO invariant serves as the universal quantum invariant for integral homology 3-spheres, extending previous results beyond $G=SU(2)$.
• To provide a general proof strategy that avoids case-specific identities used in earlier proofs, particularly for $G=SU(2)$.
• To unify the perturbative and quantum invariants via the $\r{A}rhus$ integral and $\mathfrak{g}$-weight systems, enabling broader applicability.
• To verify the conjecture for algebraically split framed links, leveraging a reduction theorem (Theorem 5.1) to extend the result to all rational homology 3-spheres.

Proposed method

• Utilizes Le's theorem (Theorem 4.1) to express the perturbative invariant $\tau^{PG}$ in terms of a generating function involving Weyl group characters and weight systems.
• Applies the $\r{A}rhus$ integral as a reconstruction tool for the LMO invariant, which is defined only on rational homology 3-spheres but is computationally more accessible.
• Employs $\mathfrak{g}$-weight systems to translate graphical calculus (involving chord diagrams and trivalent graphs) into algebraic expressions involving directional derivatives and Lie algebra invariants.
• Uses the formal Poincaré-Birkhoff-Witt (PBW) isomorphism $\sigma: \mathcal{A}(\mathbb{S}^1) \to \mathcal{B}$ to relate framed link invariants to Lie algebra representations.
• Applies the exponential of the Laplacian operator $\exp(-\frac{h}{2f}\sum_k \partial_{x_k}^2)$ to compute the action on Weyl character sums, linking the $\r{A}rhus$ integral to the quantum invariant.
• Applies a partial differential technique to handle algebraically split framed links, reducing the general case to this structured setting via Theorem 5.1.

Experimental results

Research questions

• RQ1 Does the LMO invariant recover the perturbative quantum invariant $\tau^{PG}$ for all simply connected compact simple Lie groups $G$?
• RQ2 Can the $\r{A}rhus$ integral serve as a universal reconstruction tool for the LMO invariant in the context of rational homology 3-spheres?
• RQ3 How do $\mathfrak{g}$-weight systems bridge the gap between graphical invariants (chord diagrams) and Lie algebraic invariants (Weyl characters and Casimir operators)?
• RQ4 Is the LMO invariant the universal quantum invariant for integral homology 3-spheres, as implied by Habiro-Le's theorem?
• RQ5 Can the proof strategy used for $G=SU(2)$ be generalized to arbitrary $G$ without relying on group-specific identities?

Key findings

• The LMO conjecture is fully proven: for any simply connected compact simple Lie group $G$, the LMO invariant $\hat{Z}^{\mathrm{LMO}}$ recovers the perturbative invariant $\tau^{PG}$.
• The $\r{A}rhus$ integral provides a computationally tractable and well-defined reconstruction of the LMO invariant, valid for rational homology 3-spheres.
• The action of the Laplacian operator $\exp(-\frac{h}{2f}\sum_k \partial_{x_k}^2)$ on the Weyl character sum yields the correct normalization factor $q^{-\frac{|\rho|^2}{f}}$, aligning the $\r{A}rhus$ integral with the quantum invariant.
• The final formula $\hat{W}_{\mathfrak{g}}(\hat{Z}^{\mathrm{LMO}}(M_K)) = |H_1(M_K;\mathbb{Z})|^{|\Phi_+|} \tau^{PG}(M_K)$ confirms the conjecture, with the order of the first homology group appearing as a topological correction factor.
• The proof generalizes beyond $G=SU(2)$ by avoiding group-specific identities and instead using the universal framework of $\mathfrak{g}$-weight systems and the $\r{A}rhus$ integral.
• The result confirms that the LMO invariant is the universal quantum invariant for integral homology 3-spheres, as previously suggested by Habiro and Le.