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
Let be a Vassiliev invariant of type . For any singular knot with 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: where are chord diagrams of degree that differ only in the placement of one chord relative to a fixed segment of the circle. Equivalently, in the space of chord diagrams: in .
Proof
Step 1: Setup. Consider a singular knot with double points (fixed) and a region where two strands and of are close together without intersecting. We label four points on the two strands: on strand (in order of orientation) and on strand .
Step 2: Introduce a double point. There are four ways to add one more double point by pushing strands and together:
- : connect to (create a double point between the beginnings of the two strand segments).
- : connect to (beginning of with end of ).
- : connect to (ends of both strands).
- : connect to (end of with beginning of ).
Each gives a singular knot with double points, and evaluates to a number on each.
Step 3: The key isotopy. Consider a singular knot with double points: the original double points of , plus two additional double points between strands and . Since is type , we have 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: where and are singular knots with double points.
Step 4: Detailed resolution. Consider a singular knot where strand crosses strand twice (creating two double points between them, in addition to the existing ones). This -fold singular knot can be created in different ways, depending on the relative positions.
The isotopy argument proceeds as follows. Slide the strand across the strand along a small arc. This motion passes through exactly two singular configurations (where touches ), creating two different singular knots with double points. The signed sum from the Vassiliev extension at these intermediate singular knots gives:
Step 5: The move is an isotopy. The key observation: the overall motion of strand past strand (starting configuration to ending configuration) is an ambient isotopy of the singular knot (with its fixed double points). Therefore (since is a knot invariant on the level of the original singularities).
Step 6: Conclude. Combining Steps 4 and 5:
Since this holds for every type- Vassiliev invariant, the relation holds in (independently of the choice of ).
In degree 2, there are two chord diagrams: (two parallel chords, i.e., non-intersecting) and (two crossing chords). The 4T relation gives , which is trivially satisfied. However, considering other instances of 4T: , so in . Thus 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.
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 . 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.