# The Unapologetic Mathematician

## What is Knot Homology?

So I’m back from a week in Faro, Portugal, talking about various things surrounding the ideas of “knot homology”. So what is it? Well, this will be a bit of a loose treatment of the subject, and may not be completely on the mark. I like David Corfield’s idea that a mathematician is a sort of storyteller, and I’m not about to let mere history get in the way of a good história. Besides, I’ll get to most of the details in my main line sooner or later.

First I should mention the Bracket polynomial and the Jones polynomial. Jones was studying a certain kind of algebra when he realized that the defining relations for these algebras were very much like those of the braid groups. In fact, he was quickly able to use this similarity to assign a Laurent polynomial — one which allows negative powers of the variable — to every knot diagram that didn’t change when two diagrams differed by a Reidemeister move. That is, it was a new invariant of knots.

The Jones polynomial came out of nowhere, from the perspective of the day’s knot theorists. And it set the whole field on its ear. From my perspective looking back, there’s a huge schism in knot theory between those who primarily study the geometry and the “classical topology” of the situation and those who primarily study the algebra, combinatorics, and the rising field of “quantum topology”. To be sure there are bridges between the two, some of which I’ll mention later. But the upshot was that the Jones polynomial showed a whole new way of looking at knots and invariants.

Immediately in its aftermath a huge number of interpretations and generalizations poured forth. One of the most influential was Louis Kauffman’s “state-sum” model: the Bracket. This is an invariant of regular isotopy instead of ambient isotopy, which basically means we throw out Reidemeister I moves. Meanwhile, I glossed over above that the Jones polynomial actually applies to oriented links, where there’s a little arrow saying “go this way around the loop”. This is a subtle distinction between the Bracket and the Jones polynomial that many authors steamroll over, but I find it important for my own reasons.

Anyhow, the Bracket also assigns a Laurent polynomial to every diagram in a way that’s invariant under an apropriate collection of moves. It does this by taking each crossing and “splitting” it in two ways — turning an incoming strand to the left or the right rather than connecting straight across. For a link diagram with $n$ crossings there are now $2^n$ “states” of the diagram. Now we assign each diagram a “weight” and just add up the weights for all the different states. Thus: “state-sum”. If we choose the rule for weighting states correctly we can make the resulting polynomial into an invariant.

So now we flash forward from the mid-’80s to the late ’90s. Mikhail Khovanov, as a student of Igor Frenkel at Yale, becomes interested in the nascent field of categorification. Particularly, he was interested in categorifying the Lie algebra $\mathfrak{sl}_2$. That is, he needed to find a category and functors from that category to itself that satisfied certain relations analogous to the defining relations of the Lie algebra structure. He did this using some techniques from a field called “homological algebra”. I’ll eventually talk about it, but for now ask Michi.

But as it happens, this Lie algebra has a very nice category of representations. It’s a monoidal category with duals. In fact, every object is its own dual, and we can (morally, at least) build them all from a single fundamental representation. That means that it’s deeply related to the category of so-called “unoriented Temperley-Lieb” diagrams, which is (roughly) to categories with duals as the category of braids is to braided monoidal categories.

A Temperley-Lieb diagram is just a bunch of loops and arcs on the plane. The arcs connect marked points at the top and bottom of the diagram (like braid strands) while the loops just sorta float there, and none of the strands cross each other at all. So if there are no arcs, there’s just a bunch of separate loops. And we care about this because the states of a link in the definition of the Bracket are just bunches of separate loops too!

So we can take each state and read it in terms of this homological categorification of $\mathfrak{sl}_2$. And we can read a combination of states — a state sum — in such homological terms as well. So the defining relations of the bracket become “chain homotopies” — natural isomorphisms — in the homological context of the $\mathfrak{sl}_2$ categorification. Thus we have a homological categorification of the Bracket model of the Jones polynomial.

And again, it just came out of nowhere and has immediately revolutionized the field. Homology theories are hot right now. This high-level approach has been broken down by Khovanov and Rozansky into a combinatorial formulation, which knot theory groups like those at George Washington University and the University of Iowa have latched onto. The field of “Heegaard Floer homology” has been nudged closer and closer to the combinatorial Khovanov framework from its origins in analytic problems. Other knot invariants are lining up to be categorified along the same lines. And all the while the incredibly rich structure of Khovanov homology itself is being spruced up and neatened, leading to a series of clear examples to act as guideposts for those probing higher categorical structures in general.

And that’s what we just spent the last week talking about in Faro.

### Like this:

Posted by John Armstrong | Knot theory

## 4 Comments	»

1. [...] after last week’s shake-ups I’m ready to get back into the swing of things. I mentioned yesterday something called the “Temperley-Lieb Category”, and it just so happens we’re [...]

Pingback by | July 12, 2007 | Reply

2. [...] beloved Dr. Mathochist just gave me the task of taking care of any readers prematurely interested in it while telling us all just a tad [...]

Pingback by | July 12, 2007 | Reply

3. I love reading every word of this sort of stuff. Yet no quantity of new terms expanding the lexicon of mathematical obscurantism can avoid the fact that there’s nothing to observe, react to, or act upon except the difference between I and You. I am always No.1, the authoritative asserter, and You are always No. 2, since You have no numerical reality until I recognize I and You as somehow functionally and indivisibly connected. Existential knots and entanglements ensue as ill understood social constructs based on worse yet theological constructs. Stick with your differentiated gender function if you honestly want to know what number 2 does, and I will stick with my No.1 position and function, whereby I learned where you came from and what you are for.

Comment by Rebecca Boone | August 24, 2007 | Reply

4. Thanks, Rebecca.. I think..

Basically, after the first sentence you veer off into some strange land of undefined terms and overcapitalization, which makes me think you’re reading this as if it’s some sort of post-structuralist weblog. Sorry to disappoint, but we do math here.

Comment by | August 25, 2007 | Reply

« Previous | Next »

## About this weblog

This is mainly an expository blath, with occasional high-level excursions, humorous observations, rants, and musings. The main-line exposition should be accessible to the “Generally Interested Lay Audience”, as long as you trace the links back towards the basics. Check the sidebar for specific topics (under “Categories”).

I’m in the process of tweaking some aspects of the site to make it easier to refer back to older topics, so try to make the best of it for now.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 5, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 20, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9366808533668518, "perplexity_flag": "middle"}