deformation theory


It’s been a while since I posted last, but in there I described some issues related to talks I gave in Portugal recently. I’m beginning a postdoc at the Instituto Superior Tecnico, in Lisbon, in less than a month’s time. In the meantime, I’ve been two weeks in Portugal, including a conference and apartment hunting.  Then, last week, I got married. So not surprisingly, I’ve been a bit slow in updating.

The talks I gave are this one, which I gave at IST and this one at the XIX Oporto Meeting on Geometry, Topology and Physics which was held this year in Faro, which this year was a conference on the theme of Categorification!  These talks also appear on my new website, which I got because my hosting at UWO will expire sooner or later, and I wanted something portable (and a portable email address came with it).

Lisbon

Lisbon is an interesting city.  I’ve visited Europe before for conferences and travel and so on, but never for long, and have only lived in North America, where most urban areas are much newer and ancient history more poorly documented.  This is even more so in the southern parts of Europe that were part of the Roman Empire (and even more so in areas of India I’ve travelled in).  I’m looking forward to getting more familiar with the place, which has an exciting and under-appreciated history.  At least I assume it’s underappreciated, since a majority of people in Canada who ask me where I’m moving have never even heard of Lisbon, which I find surprising.

Human settlement in Portugal actually pre-dates homo sapiens, going back to Neanderthals (we often forget there’ve been a few dozen human species before ours. and our era is unusual in human history for having just the one).  Among Sapiens, there have been various periods, most recently the ancient megalith-building cultures, Phoenecians, Greeks, Carthaginians, Romans, Visigoths, Arabs, and then the kingdom (now a republic) of Portugal, established during the Christian reconquest of Iberia.  Lisbon itself dates back at least to Roman times. The oldest surviving areas of Lisbon date back (in streetplan, if not actual buildings) to the Moorish kingdom, when Iberia was known as al-Andalus, some 800 years ago.  Lisbon’s downtown, immediately below this area, couldn’t be more different, being one of the first urban areas planned on a grid – this followed the original area being destroyed in an earthquake and resulting tsunami in 1755.  As the capital of Europe’s first overseas empire, which had reached Japan and Brazil by well over 400 years ago, Lisbon has been a “global city” for at least that long, with spells of boom and bust, and more recently, dictatorship and revolution.  Its location means it was historically a hub that linked the older Mediterranean trading world and the larger Atlantic and Indian Ocean world.

Here is a picture of the main pavillion on the IST campus:

And here is a picture of the neighborhood where I’ll be living, about 10-15 minutes’ walk or two metro stops away:

my new hood

As you can also see from these pictures, Lisbon contains a number of hills.  It is occasionally reminiscent of San Francisco in that way, and the style of buildings, which also resembles New Orleans occasionally.  And of course, since this is Europe, public spaces that look like this:

And so on.

Visit at IST

Anyway, in the visit at IST, we also had a little mini-conference on categorification, featuring some people who also spoke at Faro (including me) giving longer and more elaborate versions of our talks.  I already commented on mine, so I’ll mention the others:

Rafael Diaz gave a talk about how to categorify noncommutative or “quantum” algebras, in the sense of algebras of power series in noncommuting variables, using ideas similar to the way commutative polynomial algebras can be “categorified” by Joyal’s species.  This “quantum species” idea is laid out partially in this paper. This leads on into ideas about categorifying deformation quantization.

The basic point is to think of “a categorification of a ring R” as a distributive category (C,\oplus,\otimes) whose Burnside ring (the ring of isomorphism classes of objects, with algebraic operations from \oplus and \otimes) is R, or more generally has a “valuation” valued in R that is surjective and gets along with the algebra operations.

The category chosen to describe a deformation of R is then the category of functors from FinSet_0^k into C.  The main point is then to find a noncommutative product operation \star, in place of the obvious one derived from \otimes, which gives a categorification of a polynomial ring.  This has to do with sticking structured sets together, where some elements of the set can form “links” between the elements of sets – this uses three-“coloured” sets, where one “colour” denotes elements associated to links.

Yazuyoshi Yonezawa gave a talk about some stuff related to link homology invariants such as Khovanov homology.  Such invariants are a major theme for people interested in categorification these days, for various specific reasons, but in general because tangle categories have some nice universal properties, so doing certain kinds of universal higher-dimensional algebra naturally has applications to studying tangles, hence links, hence knots.  In particular, invariants like the Jones, HOMFLY, and HOMFLYPT polynomials, and Reshitikhin-Turaev invariants.  Yazuyoshi’s talk was about an approach to these things based on – as I understood it – some representation theory of quantum \mathfrak{sl}_n, and a diagrammatic calculus that goes with it, for assigning data to strands and crossings of a knot.  (This sort of thing gives a knot invariant as long as it’s invariant under Reidemeister moves – that is, is unaffected by changing the presentation of the knot.  Many of the knot invariants that come up here arise from treating the knot using some sort of diagrammatic calculus – which is where the category theory comes in.)

Aleksandar Mikovic gave a talk about higher gauge theory in the form of 2-BF theory – also known as BFCG theory, this is sort of the “categorified” equivalent of the theory of a flat connection, now taking values in a Lie 2-group.  Actually, he speaks about these in terms of Lie crossed modules, which is a rather nice language for talking about higher-algebraic group-like gadgets in terms of chains of groups with some extra structure (actions of lower groups on higher, and some other things) – see Tim Porter’s “Crossed Menagerie” for a comprehensive look.  The talk was related to finding gauge invariant actions for theories of this sort – the paper it’s based on is one with Joao Faria Martins.

XIX Oporto Meeting

The Oporto meeting on geometry and physics, specifically devoted this year to categorification, was very interesting, with a range of good speakers. Unfortunately, Faro is not optimal as a conference site: the accomodations are a half-hour bus ride from the campus where the conference is held, and the buses come only about once per hour and as a result (of that, and jet-lag, which could happen anyway), I missed some of the talks. Otherwise, it’s a pleasant town with a nice atmosphere, and it was interesting to see some of the variety of people working on categorification.  In particular, a lot of people are working on categorifying aspects of representation theory, which in turn is interesting to topologists, and knot theorists in particular.

One bunch of ideas about categorical representations which was referred to a lot is due to Chuang and Rouquier, substantially described in a paper from a few years ago – here is a post from the Secret Blogging Seminar a few years back describing some of the ideas a bit more succinctly.  The basis for the most popular program being discussed, and the big idea in recent years, is due to Khovanov and Lauda – see the bottom section of this post.

Now, the main invited speakers each gave a series of three hour-long classes on their topic in the mornings, while in the afternoons the other speakers gave 20-minute talks.  The main speakers were these:

Mikhail Khovanov wasn’t able to attend for personal reasons, but there was a great deal of discussion about work that builds on his categorification of quantum groups with Aaron Lauda, who however was there and gave a nice series of talks introducing the ideas (though I missed some because of the unfortunate bus infrastructure). Aaron collects a bunch of resources on this subject here, and I’ll explain a bit of this below.

Sabin Cautis talked about the categorification of sl_2 in terms of geometric representation theory; the idea here is that there are certain spaces that carry natural representations.  These are flag varieties – the simplest example being Grassmanians – spaces whose points are the k-dimensional subspaces of some fixed V. In general, flag varieties are spaces whose points consist of a nested sequence of subspaces V_0 \subset V_1 \subset \dots \subset V_k = V (the terminology “flag” suggests a flagpole with a 2D rectangle, suspended from a 1D pole, rooted at a 0D point).  The talk was an overview of how to use this to categorify some representation theory.  Here is a recent related paper by Cautis, including Joel Kamnitzer, (I blogged his talk here at UWO a while ago on a similar subject in some more detail), and Anthony Licata.  The basic point is that categories of sheaves on such spaces carry a categorical representation of \mathfrak{sl}_2.

One thing I found interesting – this time, as with Joel’s talk, is that span constructions turn up in this stuff quite naturally, but there is both a similarity and a difference in how they’re used.  In particular, given a flag V_0 \subset \dots \subset V_i \subset \dots \subset V_k, we can project to a flag with one fewer entries just by omitting V_i.  So the various flag varieties associated to V are connected by a bunch of projections.  Taking two different projections (dropping, say V_i and V_j), we get a span of varieties – that is, one object with two maps out of it.  We’re talking about spaces of functions on these varieties, so pushing these through spans is of interest.  Lifting a function (by pre-composition – assign a flag the value of the function at its image) is easy – pushing forward is harder.  This involves taking a sum over the function values over the preimage – all the long flags that project to a given short one (to make sure this is tractable, we consider only constructible functions, with finitely many values).  But this sum is weighted.  In the groupoidification program, something similar happens, but the weight there is the groupoid cardinality of the preimage.  Here, it is the Euler characteristic of the preimage (or rather, for each function value, the part of the preimage taking a given value contributes its Eular char. as the weight for that value).  Since groupoid cardinality is like a multiplicative sort of Euler characteristic, there seems to be a close analog here I’d like to understand better.

Catharina Stroppel talked about how the subject relates to Soergel bimodules, and led up to categorifying 3j-symbols.  Soergel bimodules showed up in several different talks about this stuff.  These are the irreducible summands in the bimodule that comes from applying induction functions between module categories Ind: R^{\lambda'}-mod \rightarrow R^{\lambda}-mod finitely many times.

Here, the R^{\lambda} are  rings of functions invariant under S_{\lambda}, which is the subgroup of the permutation group S_n which respects a particular composition \lambda of n (like a partition, but with order – compositions also specify flag varieties, by specifying the codimensions at each inclusion).  The point is that, if S_{\lambda'} < S_{\lambda}, we get inclusions of the rings of invariant functions, and then we can induce representations along those inclusions.  (Notice, by the way, that the correspondence between compositions and the signature of a flag means that this is actually much the same as the inclusions I just described under Sabin Cautis’ talk).  Then doing a finite chain of such inductions gives a functor between module categories.  This can be described by tensoring with some (R^{\lambda'},R^{\lambda}) bimodule – the direct summands in this are the Soergel bimodules.  So these are central in talking about these categorical actions and categorified representation theory.  This in turn ended up, in this series of talks, at a categorification of 3j-symbols (which can be built using representations and intertwiners).

Ben Webster talked about how diagrammatic methods used in the Khovanov-Lauda program can be used to categorify algebra representations, and through that, the Reshitikhin-Turaev invariant; the key diagrammatic element turns out to be marking special “red” lines with special rules allowing strands to “act” on them by concatenation.  I must admit Ben Webster’s talks, which ended up rather technical, went far enough over my head that I’m reluctant to summarize, since I was still catching up on the KL program, and this was carrying it quite a bit further.  I do recall that there was much discussion of cyclotomic quotients (partly because Alex Hoffnung later came back to the matter and I had a chance to talk to him about it briefly) – that is, the quotients imposing the relations forcing something to be a root of unity, which isn’t surprising since quantum groups at q a root of unity are important and special.  Luckily for the reader who is more up on this stuff than I, the slides can be found here and here.

Dylan Thurston spoke on Heegard-Floer homology (slides here, here, and here – full of great pictures, by the way), which is a homology theory for 3-manifolds (then an invariant for a closed 4-manifold), due to Oszvath and Szabo.  It’s a bi-graded homology theory (i.e. homology theories give complexes for spaces – this gives a bicomplex, with grading in two directions).  This theory gives back the (Conway-)Alexander polynomial for a knot when you take the Euler characteristic of the bicomplex.  That is: there are two directions this complex is graded in: one (columns, say) will correspond to the degree of the variable t in the Alexander polynomial; for each k, the coefficient of t^k is the Euler characteristic (alternating sum of dimensions) of the entries in that column.  So this is a categorification of this polynomial, in somewhat the way that Khovanov homology categorifies the Jones polynomial.

HF homology can be defined for a knot can be defined in a combinatorial way: a 3-manifold can be represented by a “Heegard diagram” – a 2D surface marked with (coloured) curves, which is a way of keeping track of how a 3-manifold is built by splitting it into parts.  From this diagram, one gets “grid diagrams”, and by a combinatorial process (see the slides for more details) generates the complex.

Others.  I didn’t manage to attend all the other talks (partly because of aforementioned bus issues, and partly because I was still working on mine, having taken a lot of time in Lisbon doing useless things like finding a place to live), but among those I did, there were several that were based on the Khovanov-Lauda program for categorified quantum groups: Anna Beliakova in particular worked with them on categorifying the Casimir (generator of the centre) of the categorified quantum group; people working with Soergel bimodules and categorified Hecke algebras such as Ben Elias and Nicholas Liebedinski.  Then there were the connections to link homology: Christian Blandet and Geordie Williamson talked about things related to the HOMFLYPT polynomial; Krystof Putyra and Emmanuel Wagner gave talks related to Khovanov homology and link homology.  Alex Hoffnung talked about a combinatorial approach for dealing with categorification of cyclotomic quotients as discussed by Ben Webster.

Categorification of Quantum Groups

The reason for categorifying quantum groups, at least in this context, has to do with the manifold invariants associated to them.  Often these come from categories of representations of groups or quantum groups – more generally ones with similar formal properties, meaning roughly monoidal categories with duals (and possibly more structure).  These give state sum invariants, by assigning data from the category to a triangulation of a manifold – objects on edges and morphisms on triangles, say.   The categorification of quantum groups means we pass from having a monoidal category with duals (of representations), to a monoidal 2-category with duals (of representations).  This would mean the state-sum invariants it’s natural to construct are now for 4-manifolds, rather than 3-manifolds.  This is the premise behind spin foam models in gravity, but also has its own life within quantum topology as tools for classifying manifolds, whether or not it accurately describes anything physical.  Marco Mackaay, one of the conference organizers (among several others), has written a bunch on this – for example, this constructs a state-sum invariant given any “spherical” 2-category (a property of certain monoidal 2-categories – see inside for details), and this gives a specific consstruction using the Khovanov-Lauda categorification of \mathfrak{sl}_3.

The Khovanov-Lauda approach to categorifying quantum groups (in particular, deformations of envelopoing algebras of classical Lie algebras, within the category of Hopf algebras)  is most basically about “categorifying” the presentation of an algebra in terms of generators and relations.  That is, we describe a set with some operations in terms of some elements of the set (generators), and some equations (relations) which they satisfy involving the operations.  The presentation used for U_q(\mathfrak{sl}_n) is the standard one based on an n-vertex (type-A) Dynkin diagram: basically, n dots in a row.  There’s a generator e_i for the i^{th} vertex; the generators for non-adjacent vertices all commute, and for adjacent generators, we have (q + q^{-1}) e_i e_j e_i = e_j e_i e_j.  (The factor involving q is the quantum integer [2]_q, and becomes 2 in the limit).

To categorify this, we still give generators, but the equations are replaced with isomorphisms – this means we need to be working in some category R, hence one essential task is to describe the morphisms.  So: the objects are just rows of dots, labelled by vertices of the Dynkin diagram.  The morphisms are (linearly generated by) isotopy classes of braids from one row to another.  The essential thing is that we have to carefully define “isotopy” here to ensure we get the categorified version of the relations above.  So for non-adjacent-vertex labels, we have the usual Reidemeister moves (the key ones being: we can slide a strand past a crossing, straighten out two complementary crossings); for adjacent-vertex labels, though, we have to tweak this, imposing some relations on strands involving the factors of q.  The relations take up a few slides in the talk, but essentially are chosen so that:

Theorem (Khovanov-Lauda): There is an isomorphism of twisted bialgebras between the positive part of U_q(\mathfrak{sl}_n) and the Grothendieck ring K_0(R), where multiplication and comultiplication are given by the image of induction and restriction.

Obviously, much more could be said from a five-day conference, but this seems like a nice punchline.

I’ve been looking over the last little bit at quantum groupoids, and how they can be used to deform the 2-linearization 2-functor \Lambda : Span(Gpd) \rightarrow 2Vect (or into 2Hilb) which I’ve discussed in here.

First a little motivation: that functor was part of the way I constructed extended TQFT’s. The inclusion nCob_2 \rightarrow CoSpan_2(Man) realized cobordisms (with corners) in terms of spans of manifolds. Looking at fundamental groupoids using the 2-functor [\Pi_1(-),G] allows us to think about these in terms of the bicategory Span(Gpd), and then applying \Lambda gave 2-Hilbert spaces and 2-linear maps for manifolds and cobordisms (and then natural transformations for cobordisms with corners). Since I made the claim that, with gauge group G=SU(2) – and a suitably infinitary version of \Lambda, the extended TQFT gives a theory equivalent to the Ponzano-Regge model of quantum gravity, a reasonable question is: what about the Turaev-Viro model? The PR model is based on labelling edges of a triangulation with representations of SU(2), and the TV model, with representations of SU_q(2).

Now, the groupoids that show up in the above – groupoids of G-connections on a manifold, modulo gauge transformations – are quite closely related to this. In particular, the groupoid of connections for a circle (the basic 1-dimensional manifold that the 3-dimensional theory builds from) is G//Ad G, the transformation groupoid produced from the action of G on itself by conjugation. (That is: the objects are elements of G, and the morphisms are all the conjugacy relations.) Applying \Lambda gives the representation category of this, namely hom(G // Ad G , Vect), so in particular, at the identity of G, one has Rep(SU(2)) as a sub-2-vector space. (The “states” in the 2-Hilbert space for the circle in the ETQFT are labelled by “masses and spins” – the mass=0 case is what gives the representations of SU(2), and for nonzero mass, one has Rep(U(1)).)

More broadly: one can describe the state space of a gauge theory – or many other kinds of theory, in terms of transformation groupoids given by symmetries (gauge transformations, say) acting on states (connections, in that case). Is there a way of doing the same for systems whose symmetries are described by quantum groups? If so, then instead of getting 2-vector spaces which are representation categories of groupoids, we should get some which are representation categories of quantum groupoids.

This paper by Ping Xu describes quantum groupoids – or rather, quantum universal enveloping algebras. They’re described here as a “unification of quantum groups and star products” (star products being the partially-defined composition found in groupoids). This paper by Nikshych and Vainerman describes finite quantum groupoids and some applications – in particular, quantum transformation groupoids, which is the immediately relevant application.

First off, quantum groups: these are Hopf algebras, which in particular are bialgebras – they have both a product

m : H \otimes H \rightarrow H

and “coproduct”

\Delta : H \rightarrow H \otimes H.

This is because the point here is that we’re following the pattern in which spaces are replaced by algebras: in some simple examples, these are the algebras of functions on a space. The point of noncommutative geometry is that there’s a (contravariant) equivalence between the category of locally compact Hausdorff spaces and the category of commutative algebras, so generalizing to noncommutative algebras (and taking the opposite category) gives a generalization of “locally compact Hausdorff space”. Topological groups like Lie groups are group objects in this category of spaces – and quantum groups are group objects in Alg^{op}. So in particular, the group operation shows up as the coproduct \Delta, and the inverse operation is the antipode

S : H \rightarrow H.

Of course there are also the unit

\eta : k \rightarrow H

and co-unit

\epsilon : H \rightarrow k

(where k is the base field, say \mathbb{C}). The co-unit is of course the “unit” map for the group object. These maps all satisfy some obvious relations.

Now what about quantum groupoids? These are “groupoid objects” – or rather, models of the theory of groupoids – in Alg^{op}. We can’t quite say “groupoid objects”, since a groupoid internal to a category C consists of two objects in C. For example, a Lie groupoid is a groupoid in Man, the category of manifolds. It has a base manifold B and a total manifold M, and two maps s,t : M \rightarrow B, and so forth. The interpretation is that there is a set (or manifold, or what-have-you) of objects, and a set (etc.) of morphisms. There is a (partially-defined) composition operation allowing morphisms to be composed if the source of one is the target of the other, and so forth.

So (a slightly tweaked version of) the definition of a quantum groupoid given by Xu has it consisting of (H, R, \alpha, \beta, m, \Delta, \epsilon, S). These unpack in pretty natural ways: it helps to compare to both the definition of, say, a Lie groupoid, and a quantum group. H is the “total algebra$ and R the “base algebra”, and they correspond to the “noncommutative spaces” of morphisms and objects of a groupoid, respectively. Just as a group can be seen as a groupoid with just one object, a quantum group would be a quantum groupoid where the base algebra R is just the base field k.

But then, if R is not k, we need some nontrivial \alpha, \beta : R \rightarrow H – the source and target maps respectively, which replace the unit map to k. Notice they go from the base R to the total algebra H, not the other way around, because everything works as usual in Alg^{op}. The other maps are likewise dual to those in the definition of a groupoid. The major difference is that we need the equivalent of a partially defined multiplication/composition m and the dual “co-multiplication”/”co-composition” \Delta. This works because using \alpha and \beta, we get left and right actions of the base R on H, which is thus an (R,R)-bimodule, hence we can form the bimodule product H \otimes_R H, and thus:

m : H \otimes_R H \rightarrow H

and

\Delta : H \rightarrow H \otimes_R H

The obvious analog of the unit \eta : R \rightarrow H we had for quantum groups is hidden in Xu’s definition (it seems like it should take the place of the requirement that H be unital), but the co-unit

\epsilon : H \rightarrow R

is the dual way of describing the “identity” function x \mapsto 1_x.

The antipode S : H \rightarrow H plays the role of the inverse map for morphisms g \mapsto g^{-1} in groupoids.

All these maps have to satisfy various identities which are implied by saying this is a model of the theory of groupoids – check out either of the above papers to see them all explicitly.

(A final observation about the definition: a groupoid is a category which has an inverse map from morphisms to morphisms. If we relax the assumption that we have an antipode S, we end up with just the definition of a bialgebroid (having S makes it a “Hopf” algebroid). So “bialgebroid” would seem to be the natural “quantum” version of the concept of a general category…)

So how might one construct such a “quantum action groupoid”? This is addressed (at least in the finite case) in the paper by Nikshych and Vainerman, in their section 2.6. This is generalizing the action groupoid arising from a group acting on a set. The set S is replaced by an algebra B (which must be separable, for them – the equivalent of a finite set – and thought of as a “quantum space”). The group G is replaced by a quantum group (or, generally, Hopf algebra) H. The equivalent of having action of the group on the set is that B is a (right) H-module.

Now, the action groupoid for a G action on S has for objects the elements of S, and for morphisms, all relations g(s) = s', which we can write as morphisms g_s, with source s and target s' = g(s). The action quantum groupoid associated to the H-module B is the double crossed product B^{op} \lhd H \rhd B, with multiplication, co-multiplication, etc. defined in fairly natural ways. (Note: those triangles should be semidirect products, but I can’t seem to make that symbol appear here.)

So finally, I seem to be claiming that a such a quantum groupoid, let’s call it Q=(H,R,\alpha,\beta,m,\Delta,\epsilon,S) is the right “classical” state space (if that’s not too blatant a contradiction in terminology) for a theory having quantum-group symmetry – at least in the categorified picture. No doubt in many cases there is additional structure, capturing the equivalent of, say, symplectic structure, that should also be included (such things certainly can be found in NCG, but I’m still absorbing how exactly).

Then the 2-vector space for the quantized version of such a theory is the category Rep(Q), and a “2-state” just an object in here – a representation of Q.

One thing that’s not quite clear to me just now is how this relates to the usual idea of “state” in NCG – a state for a “quantum space” (which is an algebra) being a linear functional on that algebra. Not necessarily a character (i.e. a homomorphism into \mathbb{C}), mind you – that would be a 1-dimensional representation, but just a functional.