A little more about wall-crossing morphisms.

I want to say a little here about Ben’s recent paper, or rather, the questions I started asking when first hearing about wall-crossing morphisms from Nadya. You don’t need to have read the paper to read this, or vice versa, but it might be more fun that way! In particular, I’m not going to say anything at all about matrix factorizations, because they’re still too hard for me.

In particular, I want to explain the statement — “The cone over the wall-crossing morphism simplifies.” — and say why that matters, and what it simplifies to.

First of all, what is a wall-crossing morphism? First of all, it’s just a map from the homology of a positive crossing to the homology of a negative crossing. (In every variation of Khovanov homology around these days, tangles are kosher, so there’s no need to say silly things about crossings embedded in otherwise fixed larger links.)

Moreover, in a functorial homology theory, this morphism should just be induced by the band cobordism which changes the crossing. In terms of Carter and Saito’s `elementary string interactions’, more commonly these days called `movies’, that cobordism is:

Wall_crossing_movie.png

In the su(2) case, it’s easy to write down (or look up) the chain maps associated to these elementary cobordisms (saddle, Reidemeister 1, Reidemeister 1, saddle). We get

Wall_crossing_chain_map.png

Each column here is the Khovanov complex of the corresponding tangle in the movie. The vertical arrows are all saddle cobordisms. The horizontal arrows in the middle row are all drawn in explicitly; the top and bottom rows I’ve left out, because the composition is zero.

So what do we get? Just the chain map which is the identity on the oriented resolution, and zero elsewhere.

Now, what is Nadya and Ben’s prescription for the Khovanov homology of a singular (in the Vassiliev sense) knot? Just replace each singular crossing with the cone over this wall-crossing morphism. This is just the sort of thing we’re always meant to do in Khovanov homology — `classically’, when studying finite type invariants, you extend to singular knots by looking at the difference between the two honest crossings, and we’re replacing that difference with a little two-step complex. When you do this, you get a great big cube. On the vertices are Khovanov homologies of the various honest knots coming from our singular knot, and the edges are all wall-crossing morphisms. You can then hopefully simplify this cube, and indeed calculate its homology.

However, a repeated lesson in Khovanov homology has been that one should try to simplify earlier rather than later. Both Bar-Natan’s program for computing Khovanov homology, and Ben’s (not quite working right?) program for computing Khovanov-Rozansky homology work on this principle. They try to find smaller up-to-homotopy representatives of the homology of sub-tangles of a link, and then tensoring those together, rather than just building the full cube in one step. Applying this lesson to the construction for singular knots pays off nicely.

To begin, let’s just think about a knot with a single singular crossing. I’ll write K_\pm for the two resolutions, T for the tangle outside of the singular crossing, and X_\pm for a single positive and negative crossing. We can replace Cone(Kh(K_+) \xrightarrow{W} Kh(K_-)) with Cone(Kh(T) \otimes Kh(X_+) \xrightarrow{id \otimes W} Kh(T) \otimes Kh(X_-)), and then write this as Kh(T) \otimes Cone(Kh(X_+) \xrightarrow{W} Kh(X_-)). Throughout, the tensor product symbol is really the planar algebra operation: “tensor these two complexes together, combining the objects in the appropriate planar way”. (See §A.4 of http://tqft.net/functoriality, for example, if this is unfamiliar.) This gives us another way of thinking about the construction for singular knots. Instead of having a cube of Khovanov homologies of regular knots, we can imagine it as a modifying the usual prescription for Khovanov homology: in addition to “write down this cone for a positive crossing, that cone for a negative crossing, and tensor everything together”, we add the instruction “write down this cone, Cone(Kh(X_+) \xrightarrow{W} Kh(X_-) (it’s an iterated cone, because Kh(X_\pm) is itself a cone) for every singular crossing”, and still just tensor everything together.

Hopefully this makes it clear that being able to simplify the cone over the wall-crossing morphism is interesting, and useful if you actually wanted to do computations.

We’re almost there now! I just need to show you how to simplify that cone (it’s easy, pretty much the canonical example of finding a simpler up-to-homotopy representative), and then perhaps explain why the foam model for su(n) Khovanov homology says that everything keeps working exactly the same way for arbitrary n.

But it’s time for me to ride my bike home through sunny Santa Barbara, and eat some beets I bought yesterday. So perhaps more later.

 

5 thoughts on “A little more about wall-crossing morphisms.

  1. Yes, I will! I think Ben Webster is coming too.
    I’ll be in Faro for the duration of the conference, then in Portugal for a day or two longer to talk with Marco Mackaay (he’s organising, so there won’t be time for work during the conference). After that, I’ll visit my friends Yossi Farjoun and Rahel Wachs, somewhere in Spain (Madrid? Barcelona?), then go hang out with Dror Bar-Natan in Toronto, and then, best of all, go climb the Diamond on Long’s Peak, in Colorado! What fun. :-)

  2. Well then I hope to see the both of you there. I’m staying a day after the conference to bum around Faro for a bit, as I don’t see there being a huge amount of touring time over the weekend.

  3. Yup, I’ll be there. I’m actually going to be in Portugal from July 1 to July 10th and have no idea what I am doing other than the conference.

  4. Hmm… okay, take everything I said above with a big block of salt. Everything is fine, except for one thing, that Ben pointed out to me:

    The wall crossing morphism needn’t be the same thing as the band cobordism!

    Which sadly might make everything else I said irrelevant. Too bad, I liked it :-) What is the wall crossing morphism then? Well, I’m still not sure. Since the Hopf link has a 4-d homology theory (in the su(2) world), there are four candidate chain maps from the positive to the negative crossing. Someone should one day explain to me which of these should be thought of as the wall-crossing morphism, and why.

    I guess it’s just that only one of them is in the right q-grading to decatorify to (positive crossing) – (negative crossing). But it still looks to me like this means the band morphism above!

    Ben? Nadya?

Comments are closed.