## Chord Diagrams: Understanding the 4T Relation

Last time, we used knot theory as a way of motivating these funny things called chord diagrams, which were circles with a collection of chords.  They came up as ways of writing singular isotopy classes of singular knots, but there are many other ways of thinking of them.  They can also be thought of as fixed-point free involutions on $2*degree$ elements (modulo cyclic permutations) or a trivalent graph with a distinguished Hamiltonian cycle.  I list these other incarnations more as a way of appealing to a broader base, though the latter perspective will be relevant today.

The topic of the day is the 4T relation, which I mentioned at the end of the previous post.  It, together with the 1T relation, determined which functions on the set of all chord diagrams of a given degree came from knot invariants.  The 1T relation came from a fairly straight-forward observation, while I didn’t even attempt to defend the 4T relation.

One way of thinking of this relation is as a symptom of a larger structure.  We will generalize chord diagrams to a slightly broader context, and impose a relation there that is more natural.  From there it is obvious to see that these generalized chord diagrams can always be reduced in terms of the usual chord diagrams, and that the only evidence of this broader structure is the 4T relation.

To motivate the generalized chord diagrams, lets think about singular knots up to singular isotopy.  The rule was we were allowed to pass the knot through itself, but we were never allowed to break the singularities.  Hence, we were allowed to slide where a knot intersected itself along either of the involved curves, yet we weren’t allowed to move two singularities  past each other (sliding each along a common curve).

This obstacle might seem reminiscent of the usual forbidden action in the study of non-singular knots, that we can’t move two pieces of the knot through each other.  Well, the philosophy behind singular knots and Vassiliev invariants tells us something we can try.  We can think of that one forbidden moment when the two singularities coincide as a new object, and study it.  Furthermore, we can extend invariants to this new object by taking the difference of its values on the ‘before knot’ and the ‘after knot’.

So we want to think about singular knots, but now we want to allow singularities where three curves meet in one point.  We don’t want things to be too bad, so we will require that in an infinitesmal neighborhood of such an intersection, that the curves are linearly independant (they don’t all lie in the same plane).  We study these new objects, which we will call very singular knots, up to an analogous version of singular isotopy, where we can move the curve through itself, but we can’t break singularities or even split or combine singularities.  Therefore, triple intersections stay triple intersections, but the precise points on the knot which intersect may change.

We will want to use something similar to chord diagrams to write down such very singular knots, but we need a way of writing down triple intersections.  The answer is the obvious thing, we just draw a trivalent vertex in the middle of the circle and connect it to each point in the triple intersection.

One important but subtle point: at a triple intersection, the three involved curves are linearly independant.  This gives them a cyclic order coming from the orientation of $\mathbb{R}^3$.  However, they also have a natural cyclic order coming from the fact that they literally lie on an oriented circle.  Our new diagrams need to keep track of this information.  The usual way of doing this is to take advantage of the fact that we will always be drawing these in 2 dimensional space, and declare that the cyclic ordering coming from the orientation will be the clockwise order they come out of the interal vertex.  Therefore, a chord diagram where the two above cyclic orderings disagree would be written in the following way:

Ok, so lets define the new chord diagrams.  A generalized chord diagram will be a circle, a trivalent graph in its interior which may connect to the circle, and a prescribed ordering of the edges touching every internal vertex.  The astute reader will notice that this definition allows a broader class of diagrams than will arise from very singular knots; this extra generality proves to be no problem.  Also, since the external vertices come with an inherent ordering (clockwise), this definition can be simplified to a trivalent graph with orderings on each vertex, and a distinguished oriented subcycle.

The next thing to do would be to study knot invariants on very singular knots and generalized chord diagrams.  However, this is a bit silly since every singular knot is also a very singular knot.  Remember, an invariant evaluated on a knot with a triple singularity is the difference of the invariant on the two nearby knots.  Pictorially, it can be written as:

The dotted parts represent connecting to the rest of the diagram which is the same for all three.

Using this relation, any generalized chord diagram can be written as a combination of chord diagrams, by repeatedly resolving the internal vertices.  However, there is some ambiguity in this process.  The relation above tell us how to resolve an internal vertex with respect to a point on the circle it connects to, but an internal vertex can be connected to several external points.  These different methods of resolution must all given equivalent combinations of chord diagrams.

To see what ‘equivalent combinations of chord diagrams’ means here, just write down what it means to resolve an internal vertex with respect to one external point, and declare it to be equal to resolving it with respect to a different external point, ie:

Hey, its the 4T relation!  Thus, we have demonstrated the original claim; that there was a natural generalization of chord diagrams, together with a natural relation, which simplified to the usual notion of chord diagrams and the less natural 4T relation.

I should point out that an actual proof of the 4T relation is quite a bit simpler than all this.  One just writes out what it means to resolve each of the relevant singularities in terms of combinations of singular knots, and one gets eight terms on the left, and the same eight terms on the right.  I just like this way of thinking about it much better, for the reasons mentioned here and some I will probably mention in a later post (its the Jacobi identity!).

Tags: ,

### 8 Responses to “Chord Diagrams: Understanding the 4T Relation”

1. Greg Kuperberg Says:

The voted name for these “generalized chord diagrams” is Jacobi diagrams.

2. Greg Muller Says:

Ooh, thats a good name. Manturov called them “Feynman diagrams”, which might be valid and interesting, but I wasn’t prepared to call them that until I can actually defend the name. One worry about the name ‘Jacobi diagram’… it seems that would only refer to diagrams after modding out by the IHX relation (the one that becomes the 4T relation). What do I call them if I want to talk about diagrams before modding out by IHX?

Also, was there an actual vote that took place?

3. John Baez Says:

“Feynman diagram” is not a good name to denote this specific sort of diagram, since it already means “any sort of diagram that describes interactions of particles in a perturbative quantum field theory”. That covers a lot of ground, including certain setups that satisfy the 4T relation – namely, gauge theories like Chern-Simons theory, where the only field is a connection (roughly a Lie algebra-valued 1-form) and the only interaction comes from the Lie bracket.

“Jacobi diagram” is a good name for the diagrams here after modding out by the 4T relation. Let me briefly give away the reason, which Greg M. promised to disclose in his next blog entry. If we take the first pictorial equation in this blog entry, and interpret each trivalent vertex as the bracket operation in a Lie algebra – two Lie algebra elements x and y come in, one element [x,y] comes out – this equation then says:

[[x,y],z] = [x,[y,z]] – [y,[x,z]]

This is just the Jacobi identity.

(I hope this explanation was so terse that nobody will understand it except people who already know this stuff, leaving Greg the fun of telling everyone else.)

I’ve been thinking about this stuff a bit lately, since I’ve been enjoying Vogel’s papers on the “universal Lie algebra” and Vassiliev invariants, and subsequent work on “series of exceptional Lie algebras”.

4. Greg Muller Says:

One thing I am very curious/unclear about is the relationship between these Jacobi diagrams and TQFTs. Its a fun fact that a 1-dimensional TQFT is the same thing as a commutative Frobenius algebra, and its almost completely analogous to the way that generalized chord diagrams are related to Lie algebras with invariant non-degenerate inner product.

Is there a way of making a link between the two concepts? Specifically, if one replaces the category of 1-cobordisms (cobordisms between unions of circles) with the category of ribbons (‘cobordisms’ between unions of intervals), then functors to $Vect$ are non-commutative Frobenius algebras.

I haven’t checked, but it would seem reasonable that there would be a PBW-type relationship between Lie algebras with invariant inner product and Frobenius algebras (commutator and universal enveloping algebras being adjoint functors). This might manifest as a relationship between the category of Jacobi diagrams and the category of ribbons, which I suppose is the kind of link I am looking for.

5. Chord Diagrams and Lie Algebras « The Everything Seminar Says:

[…] The Everything Seminar Geometry, Topology, Categories, Groups, Physics, . . . Everything « Chord Diagrams: Understanding the 4T Relation […]

6. Daniel Moskovich Says:

I don’t know of any relationship between a single Jacobi diagram and a TQFT, certainly not a 1+1d TQFT, but the LMO invariant which is an infinite formal sum of Jacobi diagrams can be extended to a 2+1d TQFT. (References: MR1473309 (98m:57023) Murakami, J.; Ohtsuki, T. Topological quantum field theory for the universal quantum invariant. Comm. Math. Phys. 188 (1997), no. 3, 501–520. (does the job, but has an anomaly), math.GT/0602097 (anomaly vanishes),math.GT/0701277 (extended to Langrangian cobordisms and construction simplified by using the Aarhus integral)). The Jacobi diagrams whose formal sum makes up the LMO invariant have no legs, but there’s a refinement of the LMO invariant for manifolds with Betti number 1 whose Jacobi diagrams do have legs (unpublished), for which there is also presumably a TQFT.
I don’t think Jacobi diagrams really have anything to do with knots or tangles in some sense- they appear through Vassiliev’s construction of the “space of knots” as part of the Hochschild homology of the Poisson operad (see e.g. math.QA/0411436).
Incidentally, IMHO the name IHX is horrible. The letter X has one 4-valent vertex and no trivalent vertices, as opposed to the Jacobi diagram it denotes, which has two trivalent and no 4-valent. Indeed it is an extension of the Jacobi relation- I think the easiest way to see this actually is to look at the set of Jacobi diagrams with no loops whose legs are labeled by elements of 1,…,n a finite set, with one distinguished unlabeled leg (the “root”)- and this is just the free Lie algebra over n letters. The name “Jacobi diagram” is also horrible I think- IHX is on a diagrammatic level, and if anything it should be a “Bar-Natan diagram” (nobody yet has mentioned Bar-Natan which is an injustice because he’s the one who named the relation IHX and popularized this stuff). “Kirchoff diagram” as Chmutov and Duzhin once called it is also better (“Chinese character diagram” though is worse- H. Murakami once famously exploded over this one). Alas, it is not in my power to change established naming conventions…
John- in regard to exceptional Lie series, have you seen http://www.math.columbia.edu/~dpt/f4e6.pdf? Dylan uses Jacobi diagrams very directly… Incidentally, this whole Vogel story with the “universal Lie algebra” is extremely interesting- I wish I understood it better.

7. performance testing Says:

Hi,
good posting.

8. phone Says:

phone…

[…]Chord Diagrams: Understanding the 4T Relation « The Everything Seminar[…]…