Mutation Invariance of Khovanov Homology

From Drorbn
Revision as of 15:46, 18 March 2006 by Drorbn (Talk | contribs)

Jump to: navigation, search

The purpose of this note is to sketch my "almost proof" of mutation invariance for Khovanov homology and to discuss "re-imbedding invariance" for Khovanov homology.

Contents

History And Summary

I have presented an almost-proof of invariance of Khovanov homology under knot mutation in a conference in Snowbird, Utah in June 2005 (see the handouts from that talk here). At the time it was clear to me that the very end of the proof is a bit fishy, and an example by Jake Rasmussen made it look even fishier.

Yet the proof seemed to have all the right ingredients in it (for example, it was restricted to the case of knots; indeed, mutation invariance of Khovanov homology for links is known to fail). So I was quite sure the missing bit will be completed quickly. A short time later I (thought I) was able to complete the proof, and for a few months I believed my proof was right, though I did not write it up so I was never confident.

Then in October 2005 I explained my proof over the phone to Stephan Wehrli in Zurich, and in December 2005 he contacted me again with a gap in the proof. I still don't know how to resolve the difficulty and I am no longer convinced that Khovanov homology is invariant under knot mutation.

Yet not all is lost:

  • The proof remains "almost true" and still seems to have (at least most of) the right ingredients. Thus somebody may well be able to complete it one day.
  • The parts of the proof that still hold suggest ways to narrow down the search for counterexamples for mutation invariance. Thus with the proper software there is some real hope that a counterexample will be found.
  • In an effort to save the proof I realized that mutation invariance is implied by a much broader and more conceptual suggested property of Khovanov homology, the property of "re-imbedding invariance". The difficulty in proving re-imbedding invariance is the same as the difficulty in proving mutation invariance, but the benefit, if proven, seems greater. I hope people will put some effort into understanding re-imbedding invariance.

What's Mutation?

Figure 1. Schematics for a mutation along a horizontal axis, with the inside and outside connectivities indicated.

A mutation is the process of marking a circle on a knot or a link diagram which intersects it at precisely four points, and flipping its inside (the inside tangle), yet not its outside (the outside tangle), around a horizontal axis as illustrated on the right. (Other types of mutation are topologically equivalent to this one). Mutation does not change the overall connectivity of the knot/link in question. Thus a knot stays a knot and a link stays a link.

It is well known that the Jones polynomial (as well as the Alexander, HOMFLYPT, and coloured Jones polynomials) is invariant under knot mutation. There are easy examples to show that Khovanov homology is not invariant under link mutation, but it is still unknown whether or not Khovanov homology is invariant under knot mutation.

The Almost Proof

Let us present an almost proof of invariance of Khovanov homology under knot mutation.

The Setup

Assume that the connectivity of the inside and outside tangles are as in Figure 1. With minor effort, all other possible connectivity possibilities for knot mutation can be treated in similar ways. (In fact, the almost proof below works just as well for link mutations in which "there is no exchange of genetic material" between the two link components involved). Let K_1 be the knot in question "before" the mutation, and let K_2 be the "after" knot. Likewise let T_1 and T_2 be the inside tangle before and after mutation (so T_2 is the horizontal flip of T_1) and let S be the (fixed) outside tangle.

Using the constructions of [Bar-Natan] we have that "the overall is the tensor product of the inside and the outside": \operatorname{Kh}(K_1)=\operatorname{Kh}(T_1)\otimes\operatorname{Kh}(S) and \operatorname{Kh}(K_2)=\operatorname{Kh}(T_2)\otimes\operatorname{Kh}(S). Thus let us start by comparing \operatorname{Kh}(T_1) with \operatorname{Kh}(T_2).

For simplicity we work in the category of "dotted cobordisms" \operatorname{Cob}^3_\bullet as in Section 11.2 of [Bar-Natan].

The Inside Story

The explicit isomorphism between a circle and two empty sets.

It is well known (though not well documented, and I have only myself to blame), that in \operatorname{Cob}^3_\bullet a circle is isomorphic to two empty sets (with some grading shifts; a proof is on the right).

After this isomorphism is used repeatedly on \operatorname{Kh}(T_1), the objects in the complex that remains have no loops, and there are only two possibilities for such objects - the "horizontal smoothing" and the "vertical smoothing". Furthermore, there are only 12 possible cobordisms whose tops and bottoms are horizontal or vertical smoothings. Thus \operatorname{Kh}(T_1) can be seen as taking values in a (very) finite category consisting of 2 objects and 12 morphisms ("arrows"), as summarized in the following picture:

The "inside" category has two objects and 12 morphisms

The construction of \operatorname{Kh}(T) and the process of "delooping" are clearly equivariant under horizontal (or vertical, for that matter) flips and so \operatorname{Kh}(T_2) is obtained from \operatorname{Kh}(T_1) simply by flipping all objects and morphisms in sight. But these all fall within the category in the picture above, and all two of the objects and 10 of the 12 morphisms are clearly invariant under flips. The remaining two morphisms are drawn in red in the above picture. The only difference between \operatorname{Kh}(T_1) and \operatorname{Kh}(T_2) is that every occurrance of a "red" morphism in \operatorname{Kh}(T_1) becomes the "other red" in \operatorname{Kh}(T_2).

The Outside Story

We claim that relative to the outside differential, the two "red" morphisms of the "inside" invariant are homotopic. The key point is in the picture below:

A "dot" can be moved across a crossing

This picture shows (by displaying an explicit homotopy) that the two endomorphisms p and q of the complex of a single crossing, obtained by a horizontal composition with a dotted curtain either on the upper left or on the lower right are homotopic. This can be iterated to "drag" dots across crossings and thus, as the connectivity of strands in S is as in Figure 1, the "dot" in any one "red" morphism in \operatorname{Kh}(T_1) can be pulled around the outside so as to turn it into the other "red" morphism.

(To be precise, the "outside" image shows that p\sim-q. But for there is an even number of crossings on the outside strand that our dot needs to travel, so overall, signs work out right).

The Inside Meets the Outside

The explicit isomorphism between a circle and two empty sets.

It's Failure

A Second Attempt - "Re-imbedding Invariance"

References

[Bar-Natan] ^  Dror Bar-Natan, Khovanov's Homology for Tangles and Cobordisms, Geometry and Topology 9-33 (2005) 1443-1499.