The new Carnival of Mathematics post is up over at Science and Reason, continuing my efforts to become the blogosphere’s go-to guy for publicizing the Atlas project.
This afternoon in the graduate student seminar, Joshua Sussan broke down parts of the famous paper of Bernstein, Frenkel, and Khovanov that launched knot homology theories: A categorification of the Temperley-Lieb algebra and Schur quotients of via projective and Zuckerman functors. Yes, Zuckerman is my advisor, and yes this also ties back into the stuff I’ve been talking about with respect to .
One particular bit of self-promotion on this point: often Khovanov homology — either this original representation-theoretic approach, a later sheaf-theoretic approach, or Khovanov and Rozansky’s combinatoral version — is called a categorification of the Jones polynomial, or of the bracket polynomial. I’ve mentioned the bracket before, specifically in relation to my talk on bracket extensions. In fact, Khovanov homology on tangles categorifies one of my bracket-extending functors: , where is the standard -dimensional representation of the -deformed enveloping algebra and is the canonical pairing from to the trivial representation.
Don’t get me wrong. Khovanov homology is a truly brilliant idea, but I hold out hope that there’s some other categorification that makes it clear what the topological content of the Kauffman bracket polynomial is.
Often enough we’re going to see the following situation. There are three abelian groups — , , and — and a function that is linear in each variable. What does this mean?
Well, “linear” just means “preserves addition” as in a homomorphism, but I don’t mean that is a homomorphism from to . That would mean the following equation held:
Instead, I want to say that if we fix one variable, the remaining function of the other variable is a homomorphism. That is
we call such a function “bilinear”.
The tensor product is a construction we use to replace bilinear functions by linear functions. It is defined by yet another universal property: a tensor product of and is an abelian group and a bilinear function so that for every other bilinear function there is a unique linear function so that . Like all objects defined by universal properties, the tensor product is automatically unique up to isomorphism if it exists.
So here’s how to construct one. I claim that has a presentation by generators and relations as an abelian group. For generators take all elements of , and for relations take all the elements and for all and in and and in .
By the properties of such presentations, any function of the generators — of — defines a linear function on if and only if it satisfies the relations. That is, if we apply a function to each relation and get every time, then defines a unique function on the presented group. So what does that look like here?
So a bilinear function gives rise to a linear function , just as we want.
Usually we’ll write the tensor product of and as , and the required bilinear function as .
Now, why am I throwing this out now? Because we’ve already seen one example. It’s a bit trivial now, but catching it while it’s small will help see the relation to other things later. The distributive law for a ring says that multiplication is a bilinear function of the underlying abelian group! That is, we can view a ring as an abelian group equipped with a linear map for multiplication.
Even though Andrew Wiles was speaking at the Branford College master’s tea today, I didn’t go. Zuckerman was giving the first of two or three lectures on this whole KLV thing. And I actually took notes!
Unfortunately the scanner in the computer lab was being evil, so I can’t post them quite yet. I’ll definitely have them by Monday, though, and after that I’ll try to explain what I wrote. They should be already more than readable to mathematicians, though.
What I do have is pictures of a conceptual diagram we constructed on the blackboard in his office the other day. I managed to get it mostly into three parts: 1 2 3 (~700KB each). I apologize for the quality of the middle one — I couldn’t use a flash without washing out the board entirely. It should still be readable. The third cuts off some lists of names associated with the topics they’re next to. The second list is “Jantzen, Vogan, Speh”, while in the first list “H.C.” is Harish-Chandra and “Z.” is Zuckerman.
As for what all this means, that’s what these lectures are to explain more thoroughly. Here we see the entire subject circling “characters”, which are certain functions on the groups we’re interested in. Properly defining them was the subject of today’s lecture. In the lower left is a list of examples of the sorts of groups we’re interested in — is the now-(in)famous one. To the right of the diagram is the statement that two special classes of representations, the “standard” and “irreducible” ones, are related in a certain way. On the right is the recipe for computing the irreducible representations into which the Atlas project’s computation fits.