nLab weight systems are cohomology of knot graph complex

Redirected from "cohomology of knot graph complex is weight systems on chord diagrams".
Contents

Contents

Idea

The cochain cohomology of the framed knot graph complex (sometimes called the β€œWilson graph complex”) spanned by trivalent graphs coincides with the space of framed weight systems on Jacobi diagrams, equivalently on round chord diagrams:

𝒲 β€’aframedweightsystemsonroundchorddiagrams≃𝒲 β€’aweightsystemsonJacobidiagramsβŸΆβ‰ƒ(w,𝒦)β†¦βŸ¨Tr wPexp(∫ 𝒦A)⟩H β€’(𝒒) 3acohomologyofknotgraphcomplexspannedbytrivalentgraphs \underset{ \phantom{a} \atop { {\color{blue}framed\;weight\;systems\;on} \atop {\color{blue}round\;chord\;diagrams} } }{ \mathcal{W}^\bullet } \;\simeq\; \underset{ \phantom{a} \atop { {\color{blue}\weight\;systems\;on} \atop {\color{blue}Jacobi\;diagrams} } }{ \mathcal{W}^\bullet } \underoverset { \;\;\;\simeq\;\;\; } { (w,\mathcal{K}) \mapsto \left\langle Tr_{{}_{w}} \text{P}\exp \left( \int_{\mathcal{K}} A \right) \right\rangle } { \longrightarrow } \underset{ \mathclap{ {\phantom{a}} \atop { {\color{blue}cohomology\;of\;knot\;graph\;complex} \atop {\color{blue}spanned\;by\;trivalent\;graphs} } } }{ H^{\bullet} \big( \mathcal{G} \big)_3 }

This statement is made explicit as CCRL 02, Prop. 7.6, where it is noticed that this is implicit in statement and proof of AF 96, Theorem 1 (where in turn the argument is attributed to Kohno 94!)

Moreover:

If wβˆˆπ’²w \in \mathcal{W} is a weight system and Dβˆˆπ’ŸD \in \mathcal{D} is a Jacobi diagram such that w(D)β‰ 0w(D) \neq 0, then its image ⟨Tr wPexp(∫ (βˆ’)A)⟩\left\langle Tr_{{}_{w}} \text{P}\exp \left( \int_{(-)} A \right) \right\rangle under the above isomorphism contains a non-vanishing multiple of DD as a summand.

This is made explicit as CCRL 02, Remark 7.7 and again this is implicit in the statement of AF 96, Theorem 1.

What AF 96 explicitly construct is a universal Vassiliev invariant, which they identify with the un-traced Wilson loop observable

π’¦β†¦βŸ¨Tr (w)Pexp(∫ 𝒦A)⟩ \mathcal{K} \mapsto \left\langle Tr_{{}_{(w)}} \text{P}\exp \left( \int_{\mathcal{K}} A \right) \right\rangle

of perturbative Chern-Simons theory.


Ingredients

Write

(1)π’Ÿ cs∈Set β„• \mathcal{D}^{cs} \;\in\; Set^{\mathbb{N}}

for the graded set of isomorphism classes of trivalent framed knot graphs – Feynman diagrams for Chern-Simons theory in the presence of Wilson loops, called β€œWilson graphs” AF 96, Section 1, slightly differing from the un-framed knot graphs in CCRL 02.

By definition, a graph Ξ“βˆˆπ’Ÿ cs\Gamma \in \mathcal{D}^{cs} must have even number of vertices, and its degree is half that number (AF 96, (2.9))

Ξ“βˆˆπ’Ÿ (#Vert Ξ“)/2 cs. \Gamma \;\in\; \mathcal{D}^{cs}_{(\# Vert_\Gamma)/2} \,.

For any Ξ“βˆˆπ’Ÿ cs\Gamma \in \mathcal{D}^{cs} write

Aut(Ξ“)∈Grp Aut(\Gamma) \;\in\; Grp

for its automorphism group, a finite group whose order we denote by

(2)|Aut(Ξ“)|βˆˆβ„•. \left\vert Aut(\Gamma)\right\vert \;\in\; \mathbb{N} \,.

Write

(3)𝒒 β€’βˆˆCh β€’(ℝ) \mathcal{G}^\bullet \;\in\; Ch^\bullet(\mathbb{R})

for the framed knot graph complex and

H β€’(𝒒) 3βŠ‚H β€’(𝒒) H^\bullet(\mathcal{G})_3 \subset H^\bullet(\mathcal{G})

for the sub-vector space of its cohomology spanned by cocycles made of trivalent graphs.

Write

(4)π’œ ‒≔Span(π’Ÿ t)/(STU)∈Vect β€’(ℝ) \mathcal{A}_\bullet \;\coloneqq\; Span \left( \mathcal{D}^t \right)/(STU) \; \in \; Vect_\bullet(\mathbb{R})

for the graded vector space of Jacobi diagrams modulo the STU-relations.

Also write

(5) π’Ÿ cs [βˆ’] π’œβ†™ β†˜ [βˆ’] 𝒒 π’œ β€’ 𝒒 β€’ \array{ && \mathcal{D}^{cs} \\ & {}^{\mathllap{ [-]_{{}_{\mathcal{A}}} }} \swarrow && \searrow^{\mathrlap{ [-]_{\mathcal{G}} }} \\ \mathcal{A}_\bullet && && \mathcal{G}^\bullet }

for the functions that send a graph to the defining basis vector that it represents in these vector spaces, respectively.

The space π’œ β€’\mathcal{A}_\bullet is the graded linear dual of the space of weight systems

𝒲 ‒≔(π’œ β€’) *. \mathcal{W}^\bullet \;\coloneqq\; (\mathcal{A}_\bullet)^\ast \,.

Hence if we regard

π’œ β€’=(π’œ βˆ’β€’,d=0) \mathcal{A}_\bullet \;=\; (\mathcal{A}^{-\bullet}, d= 0)

as a cochain complex in non-positive degree with vanishing differential, then its tensor product of cochain complexes with the knot graph complex is the cochain complex whose closed elements are the graded linear maps from 𝒲 β€’\mathcal{W}^\bullet to the cochain cohomology H β€’(GraphCplx)H^\bullet(GraphCplx) of the knot graph complex:

(6)H 0(π’œ β€’βŠ—π’’ β€’)≃Hom(𝒲 β€’,H β€’(𝒒)) H^0 \big( \mathcal{A}_\bullet \otimes \mathcal{G}^\bullet \big) \;\simeq\; Hom \big( \mathcal{W}^\bullet , H^\bullet(\mathcal{G}) \big)

Statement

Proposition

The element

(7)⟨Tr (βˆ’)Pexp(∫ (βˆ’)A)βŸ©β‰”βˆ‘nβˆˆβ„•β„ nβˆ‘Ξ“βˆˆπ’Ÿ n cs(1|Ξ“|[Ξ“] π’œβŠ—[Ξ“] 𝒒)βˆˆπ’œ β€’βŠ—π’’ β€’ \left\langle Tr_{(-)} \text{P}\exp \left( \int_{(-)} A \right) \right\rangle \;\coloneqq\; \underset{ n \in \mathbb{N} }{\sum} \hbar^n \underset{ \Gamma \in \mathcal{D}^{cs}_n }{\sum} \left( \frac{1}{\left\vert \Gamma\right\vert} \, [\Gamma]_{\mathcal{A}} \otimes [\Gamma]_{\mathcal{G}} \right) \; \in \;\; \mathcal{A}_\bullet \otimes \mathcal{G}^\bullet

(hence the sum over Feynman diagrams (1) of the tensor product of their images (5) in Jacobi diagrams modulo the STU-relations (4) and in the knot graph complex (3), respectively, weighted by the inverse order of their automorphism group (2) )

is closed

d π’’βŸ¨Tr (βˆ’)Pexp(∫ (βˆ’)A)⟩=0 d_{\mathcal{G}} \left\langle Tr_{(-)} \text{P}\exp \left( \int_{(-)} A \right) \right\rangle \;=\; 0

This is AF 96, Theorem 1.

Hence (7) defines a cochain cohomology-class

⟨Tr (βˆ’)Pexp(∫ (βˆ’)A)βŸ©β‰”H 0(π’œ β€’βŠ—π’’ β€’) ≃Hom(𝒲 β€’,H β€’(𝒒)) \begin{aligned} \left\langle Tr_{(-)} \text{P}\exp \left( \int_{(-)} A \right) \right\rangle \;\coloneqq\; H^0 \big( \mathcal{A}_\bullet \otimes \mathcal{G}^\bullet \big) \\ & \;\simeq\; Hom \big( \mathcal{W}^\bullet , H^\bullet(\mathcal{G}) \big) \end{aligned}

and hence, by (6), it defines a graded linear function

𝒲 β€’βŸΆβŸ¨Tr (βˆ’)Pexp(∫ (βˆ’)A)⟩H β€’(𝒒) 3β†ͺH β€’(𝒒) \mathcal{W}^\bullet \overset{ \left\langle Tr_{(-)} \text{P}\exp \left( \int_{(-)} A \right) \right\rangle }{ \longrightarrow } H^\bullet(\mathcal{G})_3 \hookrightarrow H^\bullet(\mathcal{G})

from weight systems on Jacobi diagrams (equivalently on round chord diagrams) to the cochain cohomology of the framed knot graph complex spanned by trivalent graphs.

According to CCRL 02, Prop. 7.6 this map is a bijection.

To see this, use 1) AF 96, Theorem 5, Condition U2 to find that the map is an injection, and 2) the fact that weight systems are associated graded of Vassiliev invariants.

In summary we have the following situation:

graphics from Sati-Schreiber 19c

Facts about chord diagrams and their weight systems:

References

  • Toshitake Kohno, Vassiliev invariants and de Rham complex on the space of knots,

    In: Yoshiaki Maeda, Hideki Omori, Alan Weinstein (eds.), Symplectic Geometry and Quantization, Contemporary Mathematics 179 (1994): 123-123 (doi:10.1090/conm/179)

  • Daniel Altschuler, Laurent Freidel, Vassiliev knot invariants and Chern-Simons perturbation theory to all orders, Commun. Math. Phys. 187 (1997) 261-287 (arXiv:q-alg/9603010)

  • Alberto Cattaneo, Paolo Cotta-Ramusino, Riccardo Longoni, Configuration spaces and Vassiliev classes in any dimension, Algebr. Geom. Topol. 2 (2002) 949-1000 (arXiv:math/9910139)

Computation of the perturbative Wilson loop observable (universal Vassiliev invariant) of the unknot (β€œWheels theorem”):

following

Last revised on April 25, 2021 at 07:19:05. See the history of this page for a list of all contributions to it.