ProofComplete

Proof of the 4T Relation for Vassiliev Invariants

The 4-term (4T) relation is the fundamental algebraic constraint on weight systems, determining the structure of the space of chord diagrams. Its proof reveals how the topology of singular knots translates into combinatorial relations on diagrams.


Statement

Theorem7.3The 4-Term Relation

Let vv be a Vassiliev invariant of type nn. For any singular knot KK with n1n-1 double points and any pair of strands in the non-singular part, the four singular knots obtained by adding one double point in the four possible configurations satisfy: v(D1)v(D2)+v(D3)v(D4)=0v(D_1) - v(D_2) + v(D_3) - v(D_4) = 0 where D1,D2,D3,D4D_1, D_2, D_3, D_4 are chord diagrams of degree nn that differ only in the placement of one chord relative to a fixed segment of the circle. Equivalently, in the space of chord diagrams: D1D2+D3D4=0D_1 - D_2 + D_3 - D_4 = 0 in An\mathcal{A}_n.


Proof

Proof

Step 1: Setup. Consider a singular knot K0K_0 with n1n-1 double points (fixed) and a region where two strands α\alpha and β\beta of K0K_0 are close together without intersecting. We label four points on the two strands: a1,a2a_1, a_2 on strand α\alpha (in order of orientation) and b1,b2b_1, b_2 on strand β\beta.

Step 2: Introduce a double point. There are four ways to add one more double point by pushing strands α\alpha and β\beta together:

  • D1D_1: connect a1a_1 to b1b_1 (create a double point between the beginnings of the two strand segments).
  • D2D_2: connect a1a_1 to b2b_2 (beginning of α\alpha with end of β\beta).
  • D3D_3: connect a2a_2 to b2b_2 (ends of both strands).
  • D4D_4: connect a2a_2 to b1b_1 (end of α\alpha with beginning of β\beta).

Each gives a singular knot with nn double points, and vv evaluates to a number on each.

Step 3: The key isotopy. Consider a singular knot Kn+1K_{n+1} with n+1n+1 double points: the n1n-1 original double points of K0K_0, plus two additional double points between strands α\alpha and β\beta. Since vv is type nn, we have v(Kn+1)=0v(K_{n+1}) = 0 for any such configuration.

Now consider the specific double-point configuration where both new singularities occur between the same pair of strands. The Vassiliev skein relation at each of the two new double points produces a signed sum. Resolving the first double point: 0=v(Kn+1)=v(K1+)v(K1)0 = v(K_{n+1}) = v(K^+_{1}) - v(K^-_{1}) where K1+K^+_1 and K1K^-_1 are singular knots with nn double points.

Step 4: Detailed resolution. Consider a singular knot where strand α\alpha crosses strand β\beta twice (creating two double points between them, in addition to the n1n-1 existing ones). This (n+1)(n+1)-fold singular knot can be created in different ways, depending on the relative positions.

The isotopy argument proceeds as follows. Slide the strand β\beta across the strand α\alpha along a small arc. This motion passes through exactly two singular configurations (where β\beta touches α\alpha), creating two different singular knots with nn double points. The signed sum from the Vassiliev extension at these intermediate singular knots gives:

v(D1)v(D2)+v(D3)v(D4)=v(Kbefore)v(Kafter)v(D_1) - v(D_2) + v(D_3) - v(D_4) = v(K_{\text{before}}) - v(K_{\text{after}})

Step 5: The move is an isotopy. The key observation: the overall motion of strand β\beta past strand α\alpha (starting configuration to ending configuration) is an ambient isotopy of the singular knot K0K_0 (with its n1n-1 fixed double points). Therefore v(Kbefore)=v(Kafter)v(K_{\text{before}}) = v(K_{\text{after}}) (since vv is a knot invariant on the level of the n1n-1 original singularities).

Step 6: Conclude. Combining Steps 4 and 5: v(D1)v(D2)+v(D3)v(D4)=0v(D_1) - v(D_2) + v(D_3) - v(D_4) = 0

Since this holds for every type-nn Vassiliev invariant, the relation D1D2+D3D4=0D_1 - D_2 + D_3 - D_4 = 0 holds in An\mathcal{A}_n (independently of the choice of vv). \square


ExampleThe 4T Relation in Degree 2

In degree 2, there are two chord diagrams: DD_\parallel (two parallel chords, i.e., non-intersecting) and D×D_\times (two crossing chords). The 4T relation gives DD×+D×D=0D_\parallel - D_\times + D_\times - D_\parallel = 0, which is trivially satisfied. However, considering other instances of 4T: 2D×=2D2D_\times = 2D_\parallel, so D×=DD_\times = D_\parallel in A2\mathcal{A}_2. Thus dimA2=1\dim\mathcal{A}_2 = 1 and the unique weight system of degree 2 assigns the same value to both diagrams. This weight system corresponds to the second coefficient of the Conway polynomial.

RemarkThe 4T Relation and the Jacobi Identity

The 4T relation is intimately related to the Jacobi identity in Lie theory. Under the correspondence between chord diagrams and Lie algebra tensors (via weight systems), the 4T relation translates to [X,[Y,Z]]+[Y,[Z,X]]+[Z,[X,Y]]=0[X,[Y,Z]] + [Y,[Z,X]] + [Z,[X,Y]] = 0. More precisely, the IHX relation on Jacobi diagrams (which is equivalent to 4T via the STU relation) is a diagrammatic form of the Jacobi identity. This explains why Lie algebras are such a rich source of weight systems: the 4T constraint on chord diagrams is automatically satisfied by any construction based on a Lie algebra structure.