category theory


Well, it’s been a while, but it’s now a new semester here in Hamburg, and I wanted to go back and look at some of what we talked about in last semester’s research seminar. This semester, Susama Agarwala and I are sharing the teaching in a topics class on “Category Theory for Geometry“, in which I’ll be talking about categories of sheaves, and building up the technology for Susama to talk about Voevodsky’s theory of motives (enough to give a starting point to read something like this).

As for last semester’s seminar, one of the two main threads, the one which Alessandro Valentino and I helped to organize, was a look at some of the material needed to approach Jacob Lurie’s paper on the classification of topological quantum field theories. The idea was for the research seminar to present the basic tools that are used in that paper to a larger audience, mostly of graduate students – enough to give a fairly precise statement, and develop the tools needed to follow the proof. (By the way, for a nice and lengthier discussion by Chris Schommer-Pries about this subject, which includes more details on much of what’s in this post, check out this video.)

So: the key result is a slightly generalized form of the Cobordism Hypothesis.

Cobordism Hypothesis

The sort of theory which the paper classifies are those which “extend down to a point”. So what does this mean? A topological field theory can be seen as a sort of “quantum field theory up to homotopy”, which abstract away any geometric information about the underlying space where the fields live – their local degrees of freedom.  We do this by looking only at the classes of fields up to the diffeomorphism symmetries of the space.  The local, geometric, information gets thrown away by taking this quotient of the space of solutions.

In spite of reducing the space of fields this way, we want to capture the intuition that the theory is still somehow “local”, in that we can cut up spaces into parts and make sense of the theory on those parts separately, and determine what it does on a larger space by gluing pieces together, rather than somehow having to take account of the entire space at once, indissolubly. This reasoning should apply to the highest-dimensional space, but also to boundaries, and to any figures we draw on boundaries when cutting them up in turn.

Carrying this on to the logical end point, this means that a topological quantum field theory in the fully extended sense should assign some sort of data to every geometric entity from a zero-dimensional point up to an n-dimensional cobordism.  This is all expressed by saying it’s an n-functor:

Z : Bord^{fr}_n(n) \rightarrow nAlg.

Well, once we know what this means, we’ll know (in principle) what a TQFT is.  It’s less important, for the purposes of Lurie’s paper, what nAlg is than what Bord^){fr}_n(n) is.  The reason is that we want to classify these field theories (i.e. functors).  It will turn out that Bord_n(n) has the sort of structure that makes it easy to classify the functors out of it into any target n-category \mathcal{C}.  A guess about what kind of structure is actually there was expressed by Baez and Dolan as the Cobordism Hypothesis.  It’s been slightly rephrased from the original form to get a form which has a proof.  The version Lurie proves says:

The (\infty,n)-category Bord^{fr}_n(n) is equivalent to the free symmetric monoidal (\infty,n)-category generated by one fully-dualizable object.

The basic point is that, since Bord^{fr}_n(n) is a free structure, the classification means that the extended TQFT’s amount precisely to the choice of a fully-dualizable object of \mathcal{C} (which includes a choice of a bunch of morphisms exhibiting the “dualizability”). However, to make sense of this, we need to have a suitable idea of an (\infty,n)-category, and know what a fully dualizable object is. Let’s begin with the first.

(\infty,n)-Categories

In one sense, the Cobordism Hypothesis, which was originally made about n-categories at a time when these were only beginning to be defined, could be taken as a criterion for an acceptable definition. That is, it expressed an intuition which was important enough that any definition which wouldn’t allow one to prove the Cobordism Hypothesis in some form ought to be rejected. To really make it work, one had to bring in the “infinity” part of (\infty,n)-categories. The point here is that we are talking about category-like structures which have morphisms between objects, 2-morphisms between morphisms, and so on, with j-morphisms between j-1-morphisms for every possible degree. The inspiration for this comes from homotopy theory, where one has maps, homotopies of maps, homotopies of homotopies, etc.

Nowadays, there are several possible concrete models for (\infty,n)-categories (see this survey article by Julie Bergner for a summary of four of them). They are all equivalent definitions, in a suitable up-to-homotopy way, but for purposes of the proof, Lurie is taking the definition that an (\infty,n)-category is an n-fold complete Segal space. One theme that shows up in all the definitions is that of simplicial methods. (In our seminar, we started with a series of two talks introducing the notions of simplicial sets, simplicial objects in a category, and Kan complexes. If you don’t already know this, essentially everything we need is nicely explained in here.)

One of the underlying ideas is that a category C can be associated with a simplicial set, its nerve N(C)_{\bullet}, where the set N(C)_k of k-dimensional simplexes is just the set of composable k-tuples of morphisms in C. If C is a groupoid (everything is invertible), then the simplicial set is a Kan complex – it satisfies some filling conditions, which ensure that any morphism has an inverse. Not every Kan complex is the nerve of a groupoid, but one can think of them as weak versions of groupoids – \infty-groupoids, or (\infty,0)-categories – where the higher morphisms may not be completely trivial (as with a groupoid), but where at least they’re all invertible. This leads to another desirable feature in any definition of (\infty,n)-category, which is the Homotopy Hypothesis: that the (\infty,1)-category of (\infty,0)-categories, also called \infty-groupoids, should be equivalent (in the same weak sense) to a category of Hausdorff spaces with some other nice properties, which we call \mathbf{Top} for short. This is true of Kan complexes.

Thus, up to homotopy, specifying an \infty-groupoid is the same as specifying a space.

The data which defines a Segal space (which was however first explicitly defined by Charlez Rezk) is a simplicial space X_{\bullet}: for each n, there are spaces X_n, thought of as the space of composable n-tuples of morphisms. To keep things tame, we suppose that X_0, the space of objects, is discrete – that is, we have only a set of objects. Being a simplicial space means that the X_n come equipped with a collection of face maps d_i : X_n \rightarrow X_{n-1}, which we should think of as compositions: to get from an n-tuple to an (n-1)-tuple of morphisms, one can compose two morphisms together at any of (n-1) positions in the tuple.

One condition which a simplicial space has to satisfy to be a Segal space has to do with the “weakening” which makes a Segal space a weaker notion than just a category lies in the fact that the X_n cannot be arbitrary, but must be homotopy equivalent to the “actual” space of n-tuples, which is a strict pullback X_1 \times_{X_0} \dots \times_{X_0} X_1. That is, in a Segal space, the pullback which defines these tuples for a category is weakened to be a homotopy pullback. Combining this with the various face maps, we therefore get a weakened notion of composition: X_1 \times_{X_0} \dots \times_{X_0} X_1 \cong X_n \rightarrow X_1. Because we start by replacing the space of n-tuples with the homotopy-equivalent X_n, the composition rule will only satisfy all the relations which define composition (associativity, for instance) up to homotopy.

To be complete, the Segal space must have a notion of equivalence for X_{\bullet} which agrees with that for Kan complexes seen as \infty-groupoids. In particular, there is a sub-simplicial object Core(X_{\bullet}), which we understand to consist of the spaces of invertible k-morphisms. Since there should be nothing interesting happening above the top dimension, we ask that, for these spaces, the face and degeneracy maps are all homotopy equivalences: up to homotopy, the space of invertible higher morphisms has no new information.

Then, an n-fold complete Segal space is defined recursively, just as one might define n-categories (without the infinitely many layers of invertible morphisms “at the top”). In that case, we might say that a double category is just a category internal to \mathbf{Cat}: it has a category of objects, and a category of morphims, and the various maps and operations, such as composition, which make up the definition of a category are all defined as functors. That turns out to be the same as a structure with objects, horizontal and vertical morphisms, and square-shaped 2-cells. If we insist that the category of objects is discrete (i.e. really just a set, with no interesting morphisms), then the result amounts to a 2-category. Then we can define a 3-category to be a category internal to \mathbf{2Cat} (whose 2-category of objects is discrete), and so on. This approach really defines an n-fold category (see e.g. Chapter 5 of Cheng and Lauda to see a variation of this approach, due to Tamsamani and Simpson), but imposing the condition that the objects really amount to a set at each step gives exactly the usual intuition of a (strict!) n-category.

This is exactly the approach we take with n-fold complete Segal spaces, except that some degree of weakness is automatic. Since a C.S.S. is a simplicial object with some properties (we separately define objects of k-tuples of morphisms for every k, and all the various composition operations), the same recursive approach leads to a definition of an “n-fold complete Segal space” as simply a simplicial object in (n-1)-fold C.S.S.’s (with the same properties), such that the objects form a set. In principle, this gives a big class of “spaces of morphisms” one needs to define – one for every n-fold product of simplexes of any dimension – but all those requirements that any space of objects “is just a set” (i.e. is homotopy-equivalent to a discrete set of points) simplifies things a bit.

Cobordism Category as (\infty,n)-Category

So how should we think of cobordisms as forming an (\infty,n)-category? There are a few stages in making a precise definition, but the basic idea is simple enough. One starts with manifolds and cobordisms embedded in some fixed finite-dimensional vector space V \times \mathbb{R}^n, and then takes a limit over all V. In each V \times \mathbb{R}^n, the coordinates of the \mathbb{R}^n factor give n ways of cutting the cobordism into pieces, and gluing them back together defines composition in a different direction. Now, this won’t actually produce a complete Segal space: one has to take a certain kind of completion. But the idea is intuitive enough.

We want to define an n-fold C.S.S. of cobordisms (and cobordisms between cobordisms, and so on, up to n-morphisms). To start with, think of the case n=1: then the space of objects of Bord^{fr}_1(1) consists of all embeddings of a (d-1)-dimensional manifold into V. The space of k-simplexes (of k-tuples of morphisms) consists of all ways of cutting up a d-dimensional cobordism embedded in V \times \mathbb{R} by choosing t_0, \dots , t_{k-2}, where we think of the cobordism having been glued from two pieces, where at the slice V \times {t_i}, we have the object where the two pieces were composed. (One has to be careful to specify that the Morse function on the cobordisms, got by projection only \mathbb{R}, has its critical points away from the t_i – the generic case – to make sure that the objects where gluing happens are actual manifolds.)

Now, what about the higher morphisms of the (\infty,1)-category? The point is that one needs to have an \infty-groupoid – that is, a space! – of morphisms between two cobordisms M and N. To make sense of this, we just take the space Diff(M,N) of diffeomorphisms – not just as a set of morphisms, but including its topology as well. The higher morphisms, therefore, can be thought of precisely as paths, homotopies, homotopies between homotopies, and so on, in these spaces. So the essential difference between the 1-category of cobordisms and the (\infty,1)-category is that in the first case, morphisms are diffeomorphism classes of cobordisms, whereas in the latter, the higher morphisms are made precisely of the space of diffeomorphisms which we quotient out by in the first case.

Now, (\infty,n)-categories, can have non-invertible morphisms between morphisms all the way up to dimension n, after which everything is invertible. An n-fold C.S.S. does this by taking the definition of a complete Segal space and copying it inside (n-1)-fold C.S.S’s: that is, one has an (n-1)-fold Complete Segal Space of k-tuples of morphisms, for each k, they form a simplicial object, and so forth.

Now, if we want to build an (\infty,n)-category Bord^{fr}_n(n) of cobordisms, the idea is the same, except that we have a simplicial object, in a category of simplicial objects, and so on. However, the way to define this is essentially similar. To specify an n-fold C.S.S., we have to specify a whole collection of spaces associated to cobordisms equipped with embeddings into V \times \mathbb{R}^n. In particular, for each tuple (k_1,\dots,k_n), we have the space of such embeddings, such that for each i = 1 \dots n one has k_i special points t_{i,j} along the i^{th} coordinate axis. These are the ways of breaking down a given cobordism into a composite of k_i +1 pieces. Again, one has to make sure that these critical points of the Morse functions defined by the projections onto these coordinate axes avoid these special t_{i,j} which define the manifolds where gluing takes place. The composition maps which make these into a simplical object are quite natural – they just come by deleting special points.

Finally, we take a limit over all V (to get around limits to embeddings due to the dimension of V). So we know (at least abstractly) what the (\infty,n)-category of cobordisms should be. The cobordism hypothesis claims it is equivalent to one defined in a free, algebraically-flavoured way, namely as the free symmetric monoidal (\infty,n)-category on a fully-dualizable object. (That object is “the point” – which, up to the kind of homotopically-flavoured equivalence that matters here, is the only object when our highest-dimensional cobordisms have dimension n).

Dualizability

So what does that mean, a “fully dualizable object”?

First, to get the idea, let’s think of the 1-dimensional example.  Instead of “(\infty,n)-category”, we would like to just think of this as a statement about a category.  Then Bord^{fr}_1(1) is the 1-category of framed bordisms. For a manifold (or cobordism, which is a manifold with boundary), a framing is a trivialization of the tangent bundle.  That is, it amounts to a choice of isomorphism at each point between the tangent space there and the corresponding \mathbb{R}^n.  So the objects of Bord^{fr}_1(1) are collections of (signed) points, and the morphisms are equivalence classes of framed 1-dimensional cobordisms.  These amount to oriented 1-manifolds with boundary, where the points (objects) on the boundary are the source and target of the cobordism.

Now we want to classify what TQFT’s live on this category.  These are functors Z : Bord^{fr}_1(1).  We have two generating objects, + and -, the two signed points.  A TQFT must assign these objects vector spaces, which we’ll call V and W.  Collections of points get assigned tensor products of all the corresponding vector spaces, since the functor is monoidal, so knowing these two vector spaces determines what Z does to all objects.

What does Z do to morphisms?  Well, some generating morphsims of interest are cups and caps: these are lines which connect a positive to a negative point, but thought of as cobordisms taking two points to the empty set, and vice versa.  That is, we have an evaluation:This statement is what is generalized to say that n-dimensional TQFT’s are classified by “fully” dualizable objects.

ev: W \otimes V \rightarrow \mathbb{C}

and a coevaluation:

coev: \mathbb{C} \rightarrow V \otimes W

Now, since cobordisms are taken up to equivalence, which in particular includes topological deformations, we get a bunch of relations which these have to satisfy.  The essential one is the “zig-zag” identity, reflecting the fact that a bent line can be straightened out, and we have the same 1-morphism in Born^{fr}_1(1).  This implies that:

(ev \otimes id) \circ (id \otimes coev) : W \rightarrow W \otimes V \otimes W \rightarrow W

is the same as the identity.  This in turn means that the evaluation and coevaluation maps define a nondegenerate pairing between V and W.  The fact that this exists means two things.  First, W is the dual of V: W \cong V*.  Second, this only makes sense if both V and its dual are finite dimensional (since the evaluation will just be the trace map, which is not even defined on the identity if V is infinite dimensional).

On the other hand, once we know, V, this determines W \cong V* up to isomorphism, as well as the evaluation and coevaluation maps.  In fact, this turns out to be enough to specify Z entirely.  The classification then is: 1-D TQFT’s are classified by finite-dimensional vector spaces V.  Crucially, what made finiteness important is the existence of the dual V* and the (co)evaluation maps which express the duality.

In an (\infty,n)-category, to say that an object is “fully dualizable” means more that the object has a dual (which, itself, implies the existence of the morphisms ev and coev). It also means that ev and coev have duals themselves – or rather, since we’re talking about morphisms, “adjoints”. This in turn implies the existence of 2-morphisms which are the unit and counit of the adjunctions (the defining properties are essentially the same as those for morphisms which define a dual). In fact, every time we get a morphism of degree less than n in this process, “fully dualizable” means that it too must have a dual (i.e. an adjoint).

This does run out eventually, though, since we only require this goes up to dimension (n-1): the n-morphisms which this forces to exist (quite a few) aren’t required to have duals. This is good, because if they were, since all the higher morphisms available are invertible, this would mean that the dual n-morphisms would actually be weak inverses (that is, their composite is isomorphic to the identity)… But that would mean that the dual (n-1)-morphisms which forced them to exist would also be weak inverses (their composite would be weakly isomorphic to the identity)… and so on! In fact, if the property of “having duals” didn’t stop, then everything would be weakly invertible: we’d actually have a (weak) \infty-groupoid!

Classifying TQFT

So finally, the point of the Cobordism Hypothesis is that a (fully extended) TQFT is a functor Z out of this nBord^{fr}_n(n) into some target (\infty,1)-category \mathcal{C}. There are various options, but whatever we pick, the functor must assign something in \mathcal{C} to the point, say Z(pt), and something to each of ev and coev, as well as all the higher morphisms which must exist. Then functoriality means that all these images have to again satisfy the properties which make Z(pt) a fully dualizable object. Furthermore, since nBord^{fr}_n(n) is the free gadget with all these properties on the single object pt, this is exactly what it means that Z is a functor. Saying that Z(pt) is fully dualizable, by implication, includes all the choices of morphisms like Z(ev) etc. which show it as fully dualizable. (Conceivably one could make the same object fully dualizable in more than one way – these would be different functors).

So an extended n-dimensional TQFT is exactly the choice of a fully dualizable object Z(pt) \in \mathcal{C}, for some (\infty,n)-category \mathcal{C}. This object is “what the TQFT assigns to a point”, but if we understand the structure of the object as a fully dualizable object, then we know what the TQFT assigns to any other manifold of any dimension up to n, the highest dimension in the theory. This is how this algebraic characterization of cobordisms helps to classify such theories.

Hamburg

Since I moved to Hamburg,   Alessandro Valentino and I have been organizing one series of seminar talks whose goal is to bring people (mostly graduate students, and some postdocs and others) up to speed on the tools used in Jacob Lurie’s big paper on the classification of TQFT and proof of the Cobordism Hypothesis.  This is part of the Forschungsseminar (“research seminar”) for the working groups of Christoph Schweigert, Ingo Runkel, and Christoph Wockel.  First, I gave one introducing myself and what I’ve done on Extended TQFT. In our main series We’ve had a series of four so far – two in which Alessandro outlined a sketch of what Lurie’s result is, and another two by Sebastian Novak and Marc Palm that started catching our audience up on the simplicial methods used in the theory of (\infty,n)-categories which it uses.  Coming up in the New Year, Nathan Bowler and I will be talking about first (\infty,1)-categories, and then (\infty,n)-categories.   I’ll do a few posts summarizing the talks around then.

Some people in the group have done some work on quantum field theories with defects, in relation to which, there’s this workshop coming up here in February!  The idea here is that one could have two regions of space where different field theories apply, which are connected along a boundary. We might imagine these are theories which are different approximations to what’s going on physically, with a different approximation useful in each region.  Whatever the intuition, the regions will be labelled by some category, and boundaries between regions are labelled by functors between categories.  Where different boundary walls meet, one can have natural transformations.  There’s a whole theory of how a 3D TQFT can be associated to modular tensor categories, in sort of the same sense that a 2D TQFT is associated to a Frobenius algebra. This whole program is intimately connected with the idea of “extending” a given TQFT, in the sense that it deals with theories that have inputs which are spaces (or, in the case of defects, sub-spaces of given ones) of many different dimensions.  Lurie’s paper describing the n-dimensional cobordism category, is very much related to the input to a theory like this.

Brno Visit

This time, I’d like to mention something which I began working on with Roger Picken in Lisbon, and talked about for the first time in Brno, Czech Republic, where I was invited to visit at Masaryk University.  I was in Brno for a week or so, and on Thursday, December 13, I gave this talk, called “Higher Gauge Theory and 2-Group Actions”.  But first, some pictures!

This fellow was near the hotel I stayed in:

Image

Since this sculpture is both faceless and hard at work on nonspecific manual labour, I assume he’s a Communist-era artwork, but I don’t really know for sure.

The Christmas market was on in Náměstí Svobody (Freedom Square) in the centre of town.  This four-headed dragon caught my eye:

Image

On the way back from Brno to Hamburg, I met up with my wife to spend a couple of days in Prague.  Here’s the Christmas market in the Old Town Square of Prague:

Image

Anyway, it was a good visit to the Czech Republic.  Now, about the talk!

Moduli Spaces in Higher Gauge Theory

The motivation which I tried to emphasize is to define a specific, concrete situation in which to explore the concept of “2-Symmetry”.  The situation is supposed to be, if not a realistic physical theory, then at least one which has enough physics-like features to give a good proof of concept argument that such higher symmetries should be meaningful in nature.  The idea is that Higher Gauge theory is a field theory which can be understood as one in which the possible (classical) fields on a space/spacetime manifold consist of maps from that space into some target space X.  For the topological theory, they are actually just homotopy classes of maps.  This is somewhat related to Sigma models used in theoretical physics, and mathematically to Homotopy Quantum Field Theory, which considers these maps as geometric structure on a manifold.  An HQFT is a functor taking such structured manifolds and cobordisms into Hilbert spaces and linear maps.  In the paper Roger and I are working on, we don’t talk about this stage of the process: we’re just considering how higher-symmetry appears in the moduli spaces for fields of this kind, which we think of in terms of Higher Gauge Theory.

Ordinary topological gauge theory – the study of flat connections on G-bundles for some Lie group G, can be looked at this way.  The target space X = BG is the “classifying space” of the Lie group – homotopy classes of maps in Hom(M,BG) are the same as groupoid homomorphisms in Hom(\Pi_1(M),G).  Specifically, the pair of functors \Pi_1 and B relating groupoids and topological spaces are adjoints.  Now, this deals with the situation where X = BG is a homotopy 1-type, which is to say that it has a fundamental groupoid \Pi_1(X) = G, and no other interesting homotopy groups.  To deal with more general target spaces X, one should really deal with infinity-groupoids, which can capture the whole homotopy type of X – in particular, all its higher homotopy groups at once (and various relations between them).  What we’re talking about in this paper is exactly one step in that direction: we deal with 2-groupoids.

We can think of this in terms of maps into a target space X which is a 2-type, with nontrivial fundamental groupoid \Pi_1(X), but also interesting second homotopy group \pi_2(X) (and nothing higher).  These fit together to make a 2-groupoid \Pi_2(X), which is a 2-group if X is connected.  The idea is that X is the classifying space of some 2-group \mathcal{G}, which plays the role of the Lie group G in gauge theory.  It is the “gauge 2-group”.  Homotopy classes of maps into X = B \mathcal{G} correspond to flat connections in this 2-group.

For practical purposes, we use the fact that there are several equivalent ways of describing 2-groups.  Two very directly equivalent ways to define them are as group objects internal to \mathbf{Cat}, or as categories internal to \mathbf{Grp} – which have a group of objects and a group of morphisms, and group homomorphisms that define source, target, composition, and so on.  This second way is fairly close to the equivalent formulation as crossed modules (G,H,\rhd,\partial).  The definition is in the slides, but essentially the point is that G is the group of objects, and with the action G \rhd H, one gets the semidirect product G \ltimes H which is the group of morphisms.  The map \partial : H \rightarrow G makes it possible to speak of G and H acting on each other, and that these actions “look like conjugation” (the precise meaning of which is in the defining properties of the crossed module).

The reason for looking at the crossed-module formulation is that it then becomes fairly easy to understand the geometric nature of the fields we’re talking about.  In ordinary gauge theory, a connection can be described locally as a 1-form with values in Lie(G), the Lie algebra of G.  Integrating such forms along curves gives another way to describe the connection, in terms of a rule assigning to every curve a holonomy valued in G which describes how to transport something (generally, a fibre of a bundle) along the curve.  It’s somewhat nontrivial to say how this relates to the classic definition of a connection on a bundle, which can be described locally on “patches” of the manifold via 1-forms together with gluing functions where patches overlap.  The resulting categories are equivalent, though.

In higher gauge theory, we take a similar view. There is a local view of “connections on gerbes“, described by forms and gluing functions (the main difference in higher gauge theory is that the gluing functions related to higher cohomology).  But we will take the equivalent point of view where the connection is described by G-valued holonomies along paths, and H-valued holonomies over surfaces, for a crossed module (G,H,\rhd,\partial), which satisfy some flatness conditions.  These amount to 2-functors of 2-categories \Pi_2(M) \rightarrow \mathcal{G}.

The moduli space of all such 2-connections is only part of the story.  2-functors are related by natural transformations, which are in turn related by “modifications”.  In gauge theory, the natural transformations are called “gauge transformations”, and though the term doesn’t seem to be in common use, the obvious term for the next layer would be “gauge modifications”. It is possible to assemble a 2-groupoid Hom(\Pi_2(M),\mathcal{G}, whose space of objects is exactly the moduli space of 2-connections, and whose 1- and 2-morphisms are exactly these gauge transformations and modifications.  So the question is, what is the meaning of the extra information contained in the 2-groupoid which doesn’t appear in the moduli space itself?

Our claim is that this information expresses how the moduli space carries “higher symmetry”.

2-Group Actions and the Transformation Double Category

What would it mean to say that something exhibits “higher” symmetry? A rudimentary way to formalize the intuition of “symmetry” is to say that there is a group (of “symmetries”) which acts on some object. One could get more subtle, but this should be enough to begin with. We already noted that “higher” gauge theory uses 2-groups (and beyond into n-groups) in the place of ordinary groups.  So in this context, the natural way to interpret it is by saying that there is an action of a 2-group on something.

Just as there are several equivalent ways to define a 2-group, there are different ways to say what it means for it to have an action on something.  One definition of a 2-group is to say that it’s a 2-category with one object and all morphisms and 2-morphisms invertible.  This definition makes it clear that a 2-group has to act on an object of some 2-category \mathcal{C}. For our purposes, just as we normally think of group actions on sets, we will focus on 2-group actions on categories, so that \mathcal{C} = \mathbf{Cat} is the 2-category of interest. Then an action is just a map:

\Phi : \mathcal{G} \rightarrow \mathbf{Cat}

The unique object of \mathcal{G} – let’s call it \star, gets taken to some object \mathbf{C} = \Phi(\star) \in \mathbf{Cat}.  This object \mathbf{C} is the thing being “acted on” by \mathcal{G}.  The existence of the action implies that there are automorphisms \Phi(g) : \mathbf{C} \rightarrow \mathbf{C} for every morphism in \mathbf{G} (which correspond to the elements of the group G of the crossed module).  This would be enough to describe ordinary symmetry, but the higher symmetry is also expressed in the images of 2-morphisms \Phi( \eta : g \rightarrow g') = \Phi(\eta) : \Phi(g) \rightarrow \Phi(g'), which we might call 2-symmetries relating 1-symmetries.

What we want to do in our paper, which the talk summarizes, is to show how this sort of 2-group action gives rise to a 2-groupoid (actually, just a 2-category when the \mathbf{C} being acted on is a general category).  Then we claim that the 2-groupoid of connections can be seen as one that shows up in exactly this way.  (In the following, I have to give some credit to Dany Majard for talking this out and helping to find a better formalism.)

To make sense of this, we use the fact that there is a diagrammatic way to describe the transformation groupoid associated to the action of a group G on a set S.  The set of morphisms is built as a pullback of the action map, \rhd : (g,s) \mapsto g(s).

pullback

This means that morphisms are pairs (g,s), thought of as going from s to g(s).  The rule for composing these is another pullback.  The diagram which shows how it’s done appears in the slides.  The whole construction ends up giving a cubical diagram in \mathbf{Sets}, whose top and bottom faces are mere commuting diagrams, and whose four other faces are all pullback squares.

To construct a 2-category from a 2-group action is similar. For now we assume that the 2-group action is strict (rather than being given by \Phi a weak 2-functor).  In this case, it’s enough to think of our 2-group \mathcal{G} not as a 2-category, but as a group-object in \mathbf{Cat} – the same way that a 1-group, as well as being a category, can be seen as a group object in \mathbf{Set}.  The set of objects of this category is the group G of morphisms of the 2-category, and the morphisms make up the group G \ltimes H of 2-morphisms.  Being a group object is the same as having all the extra structure making up a 2-group.

To describe a strict action of such a \mathcal{G} on \mathbf{C}, we just reproduce in \mathbf{Cat} the diagram that defines an action in \mathbf{Sets}:

action

The fact that \rhd is an action just means this commutes. In principle, we could define a weak action, which would mean that this commutes up to isomorphism, but we won’t be looking at that here.

Constructing the same diagram which describes the structure of a transformation groupoid (p29 in the slides for the talk), we get a structure with a “category of objects” and a “category of morphisms”.  The construction in \mathbf{Set} gives us directly a set of morphisms, while S itself is the set of objects. Similarly, in \mathbf{Cat}, the category of objects is just \mathbf{C}, while the construction gives a category of morphisms.

The two together make a category internal to \mathbf{Cat}, which is to say a double category.  By analogy with S / \!\! / G, we call this double category \mathbf{C} / \!\! / \mathcal{G}.

We take \mathbf{C} as the category of objects, as the “horizontal category”, whose morphisms are the horizontal arrows of the double category. The category of morphisms of \mathbf{C} /\!\!/ \mathcal{G} shows up by letting its objects be the vertical arrows of the double category, and its morphisms be the squares.  These look like this:

squares

The vertical arrows are given by pairs of objects (\gamma, x), and just like the transformation 1-groupoid, each corresponds to the fact that the action of \gamma takes x to \gamma \rhd x. Each square (morphism in the category of morphisms) is given by a pair ( (\gamma, \eta), f) of morphisms, one from \mathcal{G} (given by an element in G \rtimes H), and one from \mathbf{C}.

The horizontal arrow on the bottom of this square is:

(\partial \eta) \gamma \rhd f \circ \Phi(\gamma,\eta)_x = \Phi(\gamma,\eta)_y \circ \gamma \rhd f

The fact that these are equal is exactly the fact that \Phi(\gamma,\eta) is a natural transformation.

The double category \mathbf{C} /\!\!/ \mathcal{G} turns out to have a very natural example which occurs in higher gauge theory.

Higher Symmetry of the Moduli Space

The point of the talk is to show how the 2-groupoid of connections, previously described as Hom(\Pi_2(M),\mathcal{G}), can be seen as coming from a 2-group action on a category – the objects of this category being exactly the connections. In the slides above, for various reasons, we did this in a discretized setting – a manifold with a decomposition into cells. This is useful for writing things down explicitly, but not essential to the idea behind the 2-symmetry of the moduli space.

The point is that there is a category we call \mathbf{Conn}, whose objects are the connections: these assign G-holonomies to edges of our discretization (in general, to paths), and H-holonomies to 2D faces. (Without discretization, one would describe these in terms of Lie(G)-valued 1-forms and Lie(H)-valued 2-forms.)

The morphisms of \mathbf{Conn} are one type of “gauge transformation”: namely, those which assign H-holonomies to edges. (Or: Lie(H)-valued 1-forms). They affect the edge holonomies of a connection just like a 2-morphism in \mathcal{G}.  Face holonomies are affected by the H-value that comes from the boundary of the face.

What’s physically significant here is that both objects and morphisms of \mathbf{Conn} describe nonlocal geometric information.  They describe holonomies over edges and surfaces: not what happens at a point.  The “2-group of gauge transformations”, which we call \mathbf{Gauge}, on the other hand, is purely about local transformations.  If V is the vertex set of the discretized manifold, then \mathbf{Gauge} = \mathcal{G}^V: one copy of the gauge 2-group at each vertex.  (Keeping this finite dimensional and avoiding technical details was one main reason we chose to use a discretization.  In principle, one could also talk about the 2-group of \mathcal{G}-valued functions, whose objects and morphisms, thinking of it as a group object in \mathbf{Cat}, are functions valued in morphisms of \mathcal{G}.)

Now, the way \mathbf{Gauge} acts on \mathbf{Conn} is essentially by conjugation: edge holonomies are affected by pre- and post-multiplication by the values at the two vertices on the edge – whether objects or morphisms of \mathbf{Gauge}.  (Face holonomies are unaffected).  There are details about this in the slides, but the important thing is that this is a 2-group of purely local changes.  The objects of \mathbf{Gauge} are gauge transformations of this other type.  In a continuous setting, they would be described by G-valued functions.  The morphisms are gauge modifications, and could be described by H-valued functions.

The main conceptual point here is that we have really distinguished between two kinds of gauge transformation, which are the horizontal and vertical arrows of the double category \mathbf{Conn} /\!\!/ \mathbf{Gauge}.  This expresses the 2-symmetry by moving some gauge transformations into the category of connections, and others into the 2-group which acts on it.  But physically, we would like to say that both are “gauge transformations”.  So one way to do this is to “collapse” the double category to a bicategory: just formally allow horizontal and vertical arrows to compose, so that there is only one kind of arrow.  Squares become 2-cells.

So then if we collapse the double category expressing our 2-symmetry relation this way, the result is exactly equivalent to the functor category way of describing connections.  (The morphisms will all be invertible because \mathbf{Conn} is a groupoid and \mathbf{Gauge} is a 2-group).

I’m interested in this kind of geometrical example partly because it gives a good way to visualize something new happening here.  There appears to be some natural 2-symmetry on this space of fields, which is fairly easy to see geometrically, and distinguishes in a fundamental way between two types of gauge transformation.  This sort of phenomenon doesn’t occur in the world of \mathbf{Sets} – a set S has no morphisms, after all, so the transformation groupoid for a group action on it is much simpler.

In broad terms, this means that 2-symmetry has qualitatively new features that familiar old 1-symmetry doesn’t have.  Higher categorical versions – n-groups acting on n-groupoids, as might show up in more complicated HQFT – will certainly be even more complicated.  The 2-categorical version is just the first non-trivial situation where this happens, so it gives a nice starting point to understand what’s new in higher symmetry that we didn’t already know.

Since the last post, I’ve been busily attending some conferences, as well as moving to my new job at the University of Hamburg, in the Graduiertenkolleg 1670, “Mathematics Inspired by String Theory and Quantum Field Theory”.  The week before I started, I was already here in Hamburg, at the conference they were organizing “New Perspectives in Topological Quantum Field Theory“.  But since I last posted, I was also at the 20th Oporto Meeting on Geometry, Topology, and Physics, as well as the third Higher Structures in China workshop, at Jilin University in Changchun.  Right now, I’d like to say a few things about some of the highlights of that workshop.

Higher Structures in China III

So last year I had a bunch of discussions I had with Chenchang Zhu and Weiwei Pan, who at the time were both in Göttingen, about my work with Jamie Vicary, which I wrote about last time when the paper was posted to the arXiv.  In that, we showed how the Baez-Dolan groupoidification of the Heisenberg algebra can be seen as a representation of Khovanov’s categorification.  Chenchang and Weiwei and I had been talking about how these ideas might extend to other examples, in particular to give nice groupoidifications of categorified Lie algebras and quantum groups.

That is still under development, but I was invited to give a couple of talks on the subject at the workshop.  It was a long trip: from Lisbon, the farthest-west of the main cities of (continental) Eurasia all the way to one of the furthest-East.   (Not quite the furthest, but Changchun is in the northeast of China, just a few hours north of Korea, and it took just about exactly 24 hours including stopovers to get there).  It was a long way to go for a three day workshop, but as there were also three days of a big excursion to Changbai Mountain, just on the border with North Korea, for hiking and general touring around.  So that was a sort of holiday, with 11 other mathematicians.  Here is me with Dany Majard, in a national park along the way to the mountains:

Here’s me with Alex Hoffnung, on Changbai Mountain (in the background is China):

And finally, here’s me a little to the left of the previous picture, where you can see into the volcanic crater.  The lake at the bottom is cut out of the picture, but you can see the crater rim, of which this particular part is in North Korea, as seen from China:

Well, that was fun!

Anyway, the format of the workshop involved some talks from foreigners and some from locals, with a fairly big local audience including a good many graduate students from Jilin University.  So they got a chance to see some new work being done elsewhere – mostly in categorification of one kind or another.  We got a chance to see a little of what’s being done in China, although not as much as we might have. I gather that not much is being done yet that fit the theme of the workshop, which was part of the reason to organize the workshop, and especially for having a session aimed specially at the graduate students.

Categorified Algebra

This is a sort of broad term, but certainly would include my own talk.  The essential point is to show how the groupoidification of the Heisenberg algebra is a representation of Khovanov’s categorification of the same algebra, in a particular 2-category.  The emphasis here is on the fact that it’s a representation in a 2-category whose objects are groupoids, but whose morphisms aren’t just functors, but spans of functors – that is, composites of functors and co-functors.  This is a pretty conservative weakening of “representations on categories” – but it lets one build really simple combinatorial examples.  I’ve discussed this general subject in recent posts, so I won’t elaborate too much.  The lecture notes are here, if you like, though – they have more detail than my previous post, but are less technical than the paper with Jamie Vicary.

Aaron Lauda gave a nice introduction to the program of categorifying quantum groups, mainly through the example of the special case U_q(sl_2), somewhat along the same lines as in his introductory paper on the subject.  The story which gives the motivation is nice: one has knot invariants such as the Jones polynomial, based on representations of groups and quantum groups.  The Jones polynomial can be categorified to give Khovanov homology (which assigns a complex to a knot, whose graded Euler characteristic is the Jones polynomial) – but also assigns maps of complexes to cobordisms of knots.  One then wants to categorify the representation theory behind it – to describe actions of, for instance, quantum sl_2 on categories.  This starting point is nice, because it can work by just mimicking the construction of sl_2 and U_q(sl_2) representations in terms of weight spaces: one gets categories V_{-N}, \dots, V_N which correspond to the “weight spaces” (usually just vector spaces), and the E and F operators give functors between them, and so forth.

Finding examples of categories and functors with this structure, and satisfying the right relations, gives “categorified representations” of the algebra – the monoidal categories of diagrams which are the “categorifications of the algebra” then are seen as the abstraction of exactly which relations these are supposed to satisfy.  One such example involves flag varieties.  A flag, as one might eventually guess from the name, is a nested collection of subspaces in some n-dimensional space.  A simple example is the Grassmannian Gr(1,V), which is the space of all 1-dimensional subspaces of V (i.e. the projective space P(V)), which is of course an algebraic variety.  Likewise, Gr(k,V), the space of all k-dimensional subspaces of V is a variety.  The flag variety Fl(k,k+1,V) consists of all pairs W_k \subset W_{k+1}, of a k-dimensional subspace of V, inside a (k+1)-dimensional subspace (the case k=2 calls to mind the reason for the name: a plane intersecting a given line resembles a flag stuck to a flagpole).  This collection is again a variety.  One can go all the way up to the variety of “complete flags”, Fl(1,2,\dots,n,V) (where V is n-dimenisonal), any point of which picks out a subspace of each dimension, each inside the next.

The way this relates to representations is by way of geometric representation theory. One can see those flag varieties of the form Fl(k,k+1,V) as relating the Grassmanians: there are projections Fl(k,k+1,V) \rightarrow Gr(k,V) and Fl(k,k+1,V) \rightarrow Gr(k+1,V), which act by just ignoring one or the other of the two subspaces of a flag.  This pair of maps, by way of pulling-back and pushing-forward functions, gives maps between the cohomology rings of these spaces.  So one gets a sequence H_0, H_1, \dots, H_n, and maps between the adjacent ones.  This becomes a representation of the Lie algebra.  Categorifying this, one replaces the cohomology rings with derived categories of sheaves on the flag varieties – then the same sort of “pull-push” operation through (derived categories of sheaves on) the flag varieties defines functors between those categories.  So one gets a categorified representation.

Heather Russell‘s talk, based on this paper with Aaron Lauda, built on the idea that categorified algebras were motivated by Khovanov homology.  The point is that there are really two different kinds of Khovanov homology – the usual kind, and an Odd Khovanov Homology, which is mainly different in that the role played in Khovanov homology by a symmetric algebra is instead played by an exterior (antisymmetric) algebra.  The two look the same over a field of characteristic 2, but otherwise different.  The idea is then that there should be “odd” versions of various structures that show up in the categorifications of U_q(sl_2) (and other algebras) mentioned above.

One example is the fact that, in the “even” form of those categorifications, there is a natural action of the Nil Hecke algebra on composites of the generators.  This is an algebra which can be seen to act on the space of polynomials in n commuting variables, \mathbb{C}[x_1,\dots,x_n], generated by the multiplication operators x_i, and the “divided difference operators” based on the swapping of two adjacent variables.  The Hecke algebra is defined in terms of “swap” generators, which satisfy some q-deformed variation of the relations that define the symmetric group (and hence its group algebra).   The Nil Hecke algebra is so called since the “swap” (i.e. the divided difference) is nilpotent: the square of the swap is zero.  The way this acts on the objects of the diagrammatic category is reflected by morphisms drawn as crossings of strands, which are then formally forced to satisfy the relations of the Nil Hecke algebra.

The ODD Nil Hecke algebra, on the other hand, is an analogue of this, but the x_i are anti-commuting, and one has different relations satisfied by the generators (they differ by a sign, because of the anti-commutation).  This sort of “oddification” is then supposed to happen all over.  The main point of the talk was to to describe the “odd” version of the categorified representation defined using flag varieties.  Then the odd Nil Hecke algebra acts on that, analogously to the even case above.

Marco Mackaay gave a couple of talks about the sl_3 web algebra, describing the results of this paper with Weiwei Pan and Daniel Tubbenhauer.  This is the analog of the above, for U_q(sl_3), describing a diagram calculus which accounts for representations of the quantum group.  The “web algebra” was introduced by Greg Kuperberg – it’s an algebra built from diagrams which can now include some trivalent vertices, along with rules imposing relations on these.  When categorifying, one gets a calculus of “foams” between such diagrams.  Since this is obviously fairly diagram-heavy, I won’t try here to reproduce what’s in the paper – but an important part of is the correspondence between webs and Young Tableaux, since these are labels in the representation theory of the quantum group – so there is some interesting combinatorics here as well.

Algebraic Structures

Some of the talks were about structures in algebra in a more conventional sense.

Jiang-Hua Lu: On a class of iterated Poisson polynomial algebras.  The starting point of this talk was to look at Poisson brackets on certain spaces and see that they can be found in terms of “semiclassical limits” of some associative product.  That is, the associative product of two elements gives a power series in some parameter h (which one should think of as something like Planck’s constant in a quantum setting).  The “classical” limit is the constant term of the power series, and the “semiclassical” limit is the first-order term.  This gives a Poisson bracket (or rather, the commutator of the associative product does).  In the examples, the spaces where these things are defined are all spaces of polynomials (which makes a lot of explicit computer-driven calculations more convenient). The talk gives a way of constructing a big class of Poisson brackets (having some nice properties: they are “iterated Poisson brackets”) coming from quantum groups as semiclassical limits.  The construction uses words in the generating reflections for the Weyl group of a Lie group G.

Li Guo: Successors and Duplicators of Operads – first described a whole range of different algebra-like structures which have come up in various settings, from physics and dynamical systems, through quantum field theory, to Hopf algebras, combinatorics, and so on.  Each of them is some sort of set (or vector space, etc.) with some number of operations satisfying some conditions – in some cases, lots of operations, and even more conditions.  In the slides you can find several examples – pre-Lie and post-Lie algebras, dendriform algebras, quadri- and octo-algebras, etc. etc.  Taken as a big pile of definitions of complicated structures, this seems like a terrible mess.  The point of the talk is to point out that it’s less messy than it appears: first, each definition of an algebra-like structure comes from an operad, which is a formal way of summing up a collection of operations with various “arities” (number of inputs), and relations that have to hold.  The second point is that there are some operations, “successor” and “duplicator”, which take one operad and give another, and that many of these complicated structures can be generated from simple structures by just these two operations.  The “successor” operation for an operad introduces a new product related to old ones – for example, the way one can get a Lie bracket from an associative product by taking the commutator.  The “duplicator” operation takes existing products and introduces two new products, whose sum is the previous one, and which satisfy various nice relations.  Combining these two operations in various ways to various starting points yields up a plethora of apparently complicated structures.

Dany Majard gave a talk about algebraic structures which are related to double groupoids, namely double categories where all the morphisms are invertible.  The first part just defined double categories: graphically, one has horizontal and vertical 1-morphisms, and square 2-morphsims, which compose in both directions.  Then there are several special degenerate cases, in the same way that categories have as degenerate cases (a) sets, seen as categories with only identity morphisms, and (b) monoids, seen as one-object categories.  Double categories have ordinary categories (and hence monoids and sets) as degenerate cases.  Other degenerate cases are 2-categories (horizontal and vertical morphisms are the same thing), and therefore their own special cases, monoidal categories and symmetric monoids.  There is also the special degenerate case of a double monoid (and the extra-special case of a double group).  (The slides have nice pictures showing how they’re all degenerate cases).  Dany then talked about some structure of double group(oids) – and gave a list of properties for double groupoids, (such as being “slim” – having at most one 2-cell per boundary configuration – as well as two others) which ensure that they’re equivalent to the semidirect product of an abelian group with the “bicrossed product”  H \bowtie K of two groups H and K (each of which has to act on the other for this to make sense).  He gave the example of the Poincare double group, which breaks down as a triple bicrossed product by the Iwasawa decomposition:

Poinc = (SO(3) \bowtie (SO(1; 1) \bowtie N)) \ltimes \mathbb{R}_4

(N is certain group of matrices).  So there’s a unique double group which corresponds to it – it has squares labelled by \mathbb{R}_4, and the horizontial and vertical morphisms by elements of SO(3) and N respectively.  Dany finished by explaining that there are higher-dimensional analogs of all this – n-tuple categories can be defined recursively by internalization (“internal categories in (n-1)-tuple-Cat”).  There are somewhat more sophisticated versions of the same kind of structure, and finally leading up to a special class of n-tuple groups.  The analogous theorem says that a special class of them is just the same as the semidirect product of an abelian group with an n-fold iterated bicrossed product of groups.

Also in this category, Alex Hoffnung talked about deformation of formal group laws (based on this paper with various collaborators).  FGL’s are are structures with an algebraic operation which satisfies axioms similar to a group, but which can be expressed in terms of power series.  (So, in particular they have an underlying ring, for this to make sense).  In particular, the talk was about formal group algebras – essentially, parametrized deformations of group algebras – and in particular for Hecke Algebras.  Unfortunately, my notes on this talk are mangled, so I’ll just refer to the paper.

Physics

I’m using the subject-header “physics” to refer to those talks which are most directly inspired by physical ideas, though in fact the talks themselves were mathematical in nature.

Fei Han gave a series of overview talks intorducing “Equivariant Cohomology via Gauged Supersymmetric Field Theory”, explaining the Stolz-Teichner program.  There is more, using tools from differential geometry and cohomology to dig into these theories, but for now a summary will do.  Essentially, the point is that one can look at “fields” as sections of various bundles on manifolds, and these fields are related to cohomology theories.  For instance, the usual cohomology of a space X is a quotient of the space of closed forms (so the k^{th} cohomology, H^{k}(X) = \Omega^{k}, is a quotient of the space of closed k-forms – the quotient being that forms differing by a coboundary are considered the same).  There’s a similar construction for the K-theory K(X), which can be modelled as a quotient of the space of vector bundles over X.  Fei Han mentioned topological modular forms, modelled by a quotient of the space of “Fredholm bundles” – bundles of Banach spaces with a Fredholm operator around.

The first two of these examples are known to be related to certain supersymmetric topological quantum field theories.  Now, a TFT is a functor into some kind of vector spaces from a category of (n-1)-dimensional manifolds and n-dimensional cobordisms

Z : d-Bord \rightarrow Vect

Intuitively, it gives a vector space of possible fields on the given space and a linear map on a given spacetime.  A supersymmetric field theory is likewise a functor, but one changes the category of “spacetimes” to have both bosonic and fermionic dimension.  A normal smooth manifold is a ringed space (M,\mathcal{O}), since it comes equipped with a sheaf of rings (each open set has an associated ring of smooth functions, and these glue together nicely).  Supersymmetric theories work with manifolds which change this sheaf – so a d|\delta-dimensional space has the sheaf of rings where one introduces some new antisymmetric coordinate functions \theta_i, the “fermionic dimensions”:

\mathcal{O}(U) = C^{\infty}(U) \otimes \bigwedge^{\ast}[\theta_1,\dots,\theta_{\delta}]

Then a supersymmetric TFT is a functor:

E : (d|\delta)-Bord \rightarrow STV

(where STV is the category of supersymmetric topological vector spaces – defined similarly).  The connection to cohomology theories is that the classes of such field theories, up to a notion of equivalence called “concordance”, are classified by various cohomology theories.  Ordinary cohomology corresponds then to 0|1-dimensional extended TFT (that is, with 0 bosonic and 1 fermionic dimension), and K-theory to a 1|1-dimensional extended TFT.  The Stoltz-Teichner Conjecture is that the third example (topological modular forms) is related in the same way to a 2_1-dimensional extended TFT – so these are the start of a series of cohomology theories related to various-dimension TFT’s.

Last but not least, Chris Rogers spoke about his ideas on “Higher Geometric Quantization”, on which he’s written a number of papers.  This is intended as a sort of categorification of the usual ways of quantizing symplectic manifolds.  I am still trying to catch up on some of the geometry This is rooted in some ideas that have been discussed by Brylinski, for example.  Roughly, the message here is that “categorification” of a space can be thought of as a way of acting on the loop space of a space.  The point is that, if points in a space are objects and paths are morphisms, then a loop space L(X) shifts things by one categorical level: its points are loops in X, and its paths are therefore certain 2-morphisms of X.  In particular, there is a parallel to the fact that a bundle with connection on a loop space can be thought of as a gerbe on the base space.  Intuitively, one can “parallel transport” things along a path in the loop space, which is a surface given by a path of loops in the original space.  The local description of this situation says that a 1-form (which can give transport along a curve, by integration) on the loop space is associated with a 2-form (giving transport along a surface) on the original space.

Then the idea is that geometric quantization of loop spaces is a sort of higher version of quantization of the original space. This “higher” version is associated with a form of higher degree than the symplectic (2-)form used in geometric quantization of X.   The general notion of n-plectic geometry, where the usual symplectic geometry is the case n=1, involves a (n+1)-form analogous to the usual symplectic form.  Now, there’s a lot more to say here than I properly understand, much less can summarize in a couple of paragraphs.  But the main theorem of the talk gives a relation between n-plectic manifolds (i.e. ones endowed with the right kind of form) and Lie n-algebras built from the complex of forms on the manifold.  An important example (a theorem of Chris’ and John Baez) is that one has a natural example of a 2-plectic manifold in any compact simple Lie group G together with a 3-form naturally constructed from its Maurer-Cartan form.

At any rate, this workshop had a great proportion of interesting talks, and overall, including the chance to see a little more of China, was a great experience!

This blog has been on hiatus for a while, as I’ve been doing various other things, including spending some time in Hamburg getting set up for the move there. Another of these things has been working with Jamie Vicary on our project on the groupoidified Quantum Harmonic Oscillator (QHO for short). We’ve now put the first of two papers on the arXiv – this one is a relatively nonrigorous look at how this relates to categorification of the Heisenberg Algebra. Since John Baez is a high-speed blogging machine, he’s already beaten me to an overview of what the paper says, and there’s been some interesting discussion already. So I’ll try to say some different things about what it means, and let you take a look over there, or read the paper, for details.

I’ve given some talks about this project, but as we’ve been writing it up, it’s expanded considerably, including a lot of category-theoretic details which are going to be in the second paper in this series. But the basic point of this current paper is essentially visual and, in my opinion, fairly simple. The groupoidification of the QHO has a nice visual description, since it is all about the combinatorics of finite sets. This was described originally by Baez and Dolan, and in more detail in my very first paper. The other visual part here is the relation to Khovanov’s categorification of the Heisenberg algebra using a graphical calculus. (I wrote about this back when I first became aware of it.)

As a Representation

The scenario here actually has some common features with my last post. First, we have a monoidal category with duals, let’s say C presented in terms of some generators and relations. Then, we find some concrete model of this abstractly-presented monoidal category with duals in a specific setting, namely Span(Gpd).

Calling this “concrete” just refers to the fact that the objects in Span(Gpd) have some particular structure in terms of underlying sets and so on. By a “model” I just mean a functor C \rightarrow Span(Gpd) (“model” and “representation” mean essentially the same thing in this context). In fact, for this to make sense, I think of C as a 2-category with one object. Then a model is just some particular choices: a groupoid to represent the unique object, spans of groupoids to represent the generating morphisms, spans of spans to represent the generating 2-morphisms, all chosen so that the defining relations hold.

In my previous post, C was a category of cobordisms, but in this case, it’s essentially Khovanov’s monoidal category H' whose objects are (oriented) dots and whose morphisms are certain classes of diagrams. The nice fact about the particular model we get is that the reasons these relations hold are easy to see in terms of a the combinatorics of sets. This is why our title describes what we got as “a combinatorial representation” Khovanov’s category H' of diagrams, for which the ring of isomorphism classes of objects is the integral form of the algebra. This uses that Span(Gpd) is not just a monoidal category: it can be a monoidal 2-category. What’s more, the monoidal category H' “is” also a 2-category – with one object. The objects of H' are really the morphisms of this 2-category.

So H' is in some sense a universal theory (because it’s defined freely in terms of generators and relations) of what a categorification of the Heisenberg algebra must look like. Baez-Dolan groupoidification of the QHO then turns out to be a representation or model of it. In fact, the model is faithful, so that we can even say that it provides a combinatorial interpretation of that category.

The Combinatorial Model

Between the links above, you can find a good summary of the situation, so I’ll be a bit cursory. The model is described in terms of structures on finite sets. This is why our title calls this a “combinatorial representation” of Khovanov’s categorification.

This means that the one object of H (as a 2-category) is taken to the groupoid FinSet_0 of finite sets and bijections (which we just called S in the paper for brevity). This is the “Fock space” object. For simplicity, we can take an equivalent groupoid, which has just one n-element set for each n.

Now, a groupoid represents a system, whose possible configurations are the objects and whose symmetries are the morphisms. In this case, the possible configurations are the different numbers of “quanta”, and the symmetries (all set-bijections) show that all the quanta are interchangeable. I imagine a box containing some number of ping-pong balls.

A span of groupoids represents a process. It has a groupoid whose objects are histories (and morphisms are symmetries of histories). This groupoid has a pair of maps: to the system the process starts in, and to the system it ends in. In our model, the most important processes (which generate everything else) are the creation and annihilation operators, a^{\dagger} and a – and their categorified equivalents, A and A^{\dagger}. The spans that represent them are very simple: they are processes which put a new ball into the box, or take one out, respectively. (Algebraically, they’re just a way to organize all the inclusions of symmetric groups S_n \subset S_{n+1}.)

The “canonical commutation relation“, which we write without subtraction thus:

A A^{\dagger} = A^{\dagger} A + 1

is already understood in the Baez-Dolan story: it says that there is one more way to remove a ball from a box after putting a new one into it (one more history for the process A A^{\dagger}) than to remove a ball and then add a new one (histories for a^{\dagger} a). This is fairly obvious: in the first instance, you have one more to choose from when removing the ball.

But the original Baez-Dolan story has no interesting 2-morphisms (the actual diagrams which are the 1-morphisms in H), whereas these are absolutely the whole point of a categorification in the sense Khovanov gets one, since the 1-morphisms of H' determine what the isomorphism classes of objects even are.

So this means that we need to figure out what the 2-morphisms in Span(Gpd) need to be – first in general, and second in our particular representation of H.

In general, a 2-morphism in Span(Gpd) is a span of span-maps. You’ll find other people who take it to be a span-map. This would be a functor between the groupoids of histories: roughly, a map which assigns a history in the source span to a history in the target span (and likewise for symmetries), in a way that respects how they’re histories. But we don’t want just a map: we want a process which has histories of its own. We want to describe a “movie of processes” which change one process into another. These can have many histories of their own.

In fact, they’re not too complicated. Here’s one of Khovanov’s relation in H' which forms part of how the commutation relation is expressed (shuffled to get rid of negatives, which we constantly need to do in the combinatorial model since we have no negative sets):

We read an upward arrow as “add a ball to the box”, and a downward arrow as “remove a ball”, and read right-to-left.  Both processes begin and end with“add then remove”. The right-hand side just leaves this process alone: it’s the identity.

The left-hand side shows a process-movie whose histories have two different cases. Suppose we begin with a history for which we add x and then remove y. The first case is that x = y: we remove the same ball we put in. This amounts to doing nothing, so the first part of the movie eliminates all the adding and removing. The second part puts the add-remove pair back in.

The second case ensures that x \neq y, since it takes the initial history to the history (of a different process!) in which we remove y and then add x (impossible if y = x, since we can’t remove this ball before adding it). This in turn is taken to the history (of the original process!) where we add x and then remove y; so this relates every history to itself, except for the case that x = y. Overall the sum of these relations give the identity on histories, which is the right hand side.

This picture includes several of the new 2-morphisms that we need to add to the Baez-Dolan picture: swapping the order of two generators, and adding or removing a pair of add/remove operations. Finding spans of spans which accomplish this (and showing they satisfy the right relations) is all that’s needed to finish up the combinatorial model.  So, for instance, the span of spans which adds a “remove-then-add” pair is this one:

If this isn’t clear, well, it’s explained in more detail in the paper.  (Do notice, though, that this is a diagram in groupoids: we need to specify that there are identity 2-cells in the span, rather than some other 2-cells.)

So this is basically how the combinatorial model works.

Adjointness

But in fact this description is (as often happens) chronologically backwards: what actually happened was that we had worked out what the 2-morphisms should be for different reasons. While trying to to understand what kind of structure this produced, we realized (thanks to Marco Mackaay) that the result was related to H, which in turn shed more light on the 2-morphisms we’d found.

So far so good. But what makes it possible to represent the kind of monoidal category we’re talking about in this setting is adjointness. This is another way of saying what I meant up at the top by saying we start with a monoidal category with duals.  This means morphisms each have a partner – a dual, or adjoint – going in the opposite direction.  The representations of the raising and lowering operators of the Heisenberg algebra on the Hilbert space for the QHO are linear adjoints. Their categorifications also need to be adjoints in the sense of adjoint 1-morphisms in a 2-category.

This is an abstraction of what it means for two functors F and G to be adjoint. In particular, it means there have to be certain 2-cells such as the unit \eta : Id \Rightarrow G \circ F and counit \epsilon : F \circ G \Rightarrow Id satisfying some nice relations. In fact, this only makes F a left adjoint and G a right adjoint – in this situation, we also have another pair which makes F a right adjoint and G a left one. That is, they should be “ambidextrous adjoints”, or “ambiadjoints” for short. This is crucial if they’re going to represent any graphical calculus of the kind that’s involved here (see the first part of this paper by Aaron Lauda, for instance).

So one of the theorems in the longer paper will show concretely that any 1-morphism in Span(Gpd) has an ambiadjoint – which happens to look like the same span, but thought of as going in the reverse direction. This is somewhat like how the adjoint of a real linear map, expressed as a matrix relative to well-chosen bases, is just the transpose of the same matrix. In particular, A and A^{\dagger} are adjoints in just this way. The span-of-span-maps I showed above is exactly the unit for one side of this ambi-adjunction – but it is just a special case of something that will work for any span and its adjoint.

Finally, there’s something a little funny here. Since the morphisms of Span(Gpd) aren’t functors or maps, this combinatorial model is not exactly what people often mean by a “categorified representation”. That would be an action on a category in terms of functors and natural transformations. We do talk about how to get one of these on a 2-vector space out of our groupoidal representation toward the end.

In particular, this amounts to a functor into 2Vect – the objects of 2Vect being categories of a particular kind, and the morphisms being functors that preserve all the structure of those categories. As it turns out, the thing about this setting which is good for this purpose is that all those functors have ambiadjoints. The “2-linearization” that takes Span(Gpd) into 2Vect is a 2-functor, and this means that all the 2-cells and equations that make two morphisms ambiadjoints carry over. In 2Vect, it’s very easy for this to happen, since all those ambiadjoints are already present. So getting representations of categorified algebras that are made using these monoidal categories of diagrams on 2-vector spaces is fairly natural – and it agrees with the usual intuition about what “representation” means.

Anything I start to say about this is in danger of ballooning, but since we’re already some 40 pages into the second paper, I’ll save the elaboration for that…

I’ve written here before about building topological quantum field theories using groupoidification, but I haven’t yet gotten around to discussing a refinement of this idea, which is in the most recent version of my paper on the subject.  I also gave a talk about this last year in Erlangen. The main point of the paper is to pull apart some constructions which are already fairly well known into two parts, as part of setting up a category which is nice for supporting models of fairly general physical systems, using an extension of the  concept of groupoidification. So here’s a somewhat lengthy post which tries to unpack this stuff a bit.

Factoring TQFT

The older version of this paper talked about the untwisted version of the Dijkgraaf-Witten (DW for short) model, which is a certain kind of TQFT based on a gauge theory with a finite gauge group.  (Freed and Quinn put it as: “Chern-Simons theory with finite gauge group”).  The new version gets the general – that is, the twisted – form in the same way: factoring the theory into two parts. So, the DW model, which was originally described by Dijkgraaf and Witten in terms of a state-sum, is a functor

Z : 3Cob \rightarrow Vect

The “twisting” is the point of their paper, “Topological Gauge Theories and Group Cohomology”.  The twisting has to do with the action for some physical theory. Now, for a gauge theory involving flat connections, the kind of gauge-theory actions which involve the curvature of a connection make no sense: the curvature is zero.  So one wants an action which reflects purely global features of connections.  The cohomology of the gauge group is where this comes from.

Now, the machinery I describe is based on a point of view which has been described in a famous paper by Freed, Hopkins, Lurie and Teleman (FHLT for short – see further discussion here) in terms in which the two stages are called the “classical field theory” (which has values in groupoids), and the “quantization functor”, which takes one into Hilbert spaces.

Actually, we really want to have an “extended” TQFT: a TQFT gives a Hilbert space for each 2D manifold (“space”), and a linear map for a 3D cobordism (“spacetime”) between them. An extended TQFT will assign (higher) algebraic data to lower-dimension boundaries still.  My paper talks only about the case where we’ve extended down to codimension 2, whereas FHLT talk about extending “down to a point”. The point of this first stopping point is to unpack explicitly and computationally what the factorization into two parts looks like at the first level beyond the usual TQFT.

In the terminology I use, the classical field theory is:

A^{\omega} : nCob_2 \rightarrow Span_2(Gpd)^{U(1)}

This depends on a cohomology class [\omega] \in H^3(G,U(1)). The “quantization functor” (which in this case I call “2-linearization”):

\Lambda^{U(1)} : Span_2(Gpd)^{U(1)} \rightarrow 2Vect

The middle stage involves the monoidal 2-category I call Span_2(Gpd)^{U(1)}.  (In FHLT, they use different terminology, for instance “families” rather than “spans”, but the principle is the same.)

Freed and Quinn looked at the quantization of the “extended” DW model, and got a nice geometric picture. In it, the action is understood as a section of some particular line-bundle over a moduli space. This geometric picture is very elegant once you see how it works, which I found was a little easier in light of a factorization through Span_2(Gpd).

This factorization isolates the geometry of this particular situation in the “classical field theory” – and reveals which of the features of their setup (the line bundle over a moduli space) are really part of some more universal construction.

In particular, this means laying out an explicit definition of both Span_2(Gpd)^{U(1)} and \Lambda^{U(1)}.

2-Linearization Recalled

While I’ve talked about it before, it’s worth a brief recap of how 2-linearization works with a view to what happens when you twist it via groupoid cohomology. Here we have a 2-category Span(Gpd), whose objects are groupoids (A, B, etc.), whose morphisms are spans of groupoids:

A \stackrel{s}{\leftarrow} X \stackrel{t}{\rightarrow} B

and whose 2-morphisms are spans of span-maps (taken up to isomorphism), which look like so:

span of span maps

(And, by the by: how annoying that WordPress doesn’t appear to support xypic figures…)

These form a (symmetric monoidal) 2-category, where composition of spans works by taking weak pullbacks.  Physically, the idea is that a groupoid has objects which are configurations (in the cause of gauge theory, connections on a manifold), and morphisms which are symmetries (gauge transformations, in this case).  Then a span is a groupoid of histories (connections on a cobordism, thought of as spacetime), and the maps s,t pick out its starting and ending configuration.  That is, A = A_G(S) is the groupoid of flat G-connections on a manifold S, and X = A_G(\Sigma) is the groupoid of flat G-connections on some cobordism \Sigma, of which S is part of the boundary.  So any such connection can be restricted to the boundary, and this restriction is s.

Now 2-linearization is a 2-functor:

\Lambda : Span_2(Gpd)^{U(1)} \rightarrow 2Vect

It gives a 2-vector space (a nice kind of category) for each groupoid G.  Specifically, the category of its representations, Rep(G).  Then a span turns into a functor which comes from “pulling” back along s (the restricted representation where X acts by first applying s then the representation), then “pushing” forward along t (to the induced representation).

What happens to the 2-morphisms is conceptually more complicated, but it depends on the fact that “pulling” and “pushing” are two-sided adjoints. Concretely, it ends up being described as a kind of “sum over histories” (where “histories” are the objects of Y), which turns out to be exactly the path integral that occurs in the TQFT.

Or at least, it’s the path integral when the action is trivial! That is, if S=0, so that what’s integrated over paths (“histories”) is just e^{iS}=1. So one question is: is there a way to factor things in this way if there’s a nontrivial action?

Cohomological Twisting

The answer is by twisting via cohomology. First, let’s remember what that means…

We’re talking about groupoid cohomology for some groupoid G (which you can take to be a group, if you like).  “Cochains” will measure how much some nice algebraic fact, such as being a homomorphism, or being associative, “fails to occur”.  “Twisting by a cocycle” is a controlled way to force some such failure to happen.

So, an n-cocycle is some function of n composable morphisms of G (or, if there’s only one object, “group elements”, which amounts to the same thing).  It takes values in some group of coefficients, which for us is always U(1)

The trivial case where n=0 is actually slightly subtle: a 0-cocycle is an invariant function on the objects of a groupoid. (That is, it takes the same value on any two objects related by an (iso)morphism. (Think of the object as a sequence of zero composable morphisms: it tells you where to start, but nothing else.)

The case n=1 is maybe a little more obvious. A 1-cochain f \in Z^1_{gpd}(G,U(1)) can measure how a function h on objects might fail to be a 0-cocycle. It is a U(1)-valued function of morphisms (or, if you like, group elements).  The natural condition to ask for is that it be a homomorphism:

f(g_1 \circ g_2) = f(g_1) f(g_2)

This condition means that a cochain f is a cocycle. They form an abelian group, because functions satisfying the cocycle condition are closed under pointwise multiplication in U(1). It will automatically by satisfied for a coboundary (i.e. if f comes from a function h on objects as f(g) = \delta h (g) = h(t(g)) - h(s(g))). But not every cocycle is a coboundary: the first cohomology H^1(G,U(1)) is the quotient of cocycles by coboundaries. This pattern repeats.

It’s handy to think of this condition in terms of a triangle with edges g_1, g_2, and g_1 \circ g_2.  It says that if we go from the source to the target of the sequence (g_1, g_2) with or without composing, and accumulate f-values, our f gives the same result.  Generally, a cocycle is a cochain satisfying a “coboundary” condition, which can be described in terms of an n-simplex, like this triangle. What about a 2-cocycle? This describes how composition might fail to be respected.

So, for instance, a twisted representation R of a group is not a representation in the strict sense. That would be a map into End(V), such that R(g_1) \circ R(g_2) = R(g_1 \circ g_2).  That is, the group composition rule gets taken directly to the corresponding rule for composition of endomorphisms of the vector space V.  A twisted representation \rho only satisfies this up to a phase:

\rho(g_1) \circ \rho(g_2) = \theta(g_1,g_2) \rho(g_1 \circ g_2)

where \theta : G^2 \rightarrow U(1) is a function that captures the way this “representation” fails to respect composition.  Still, we want some nice properties: \theta is a “cocycle” exactly when this twisting still makes \rho respect the associative law:

\rho(g_1) \rho( g_2 \circ g_3) = \rho( g_1 \circ g_2) \circ \rho( g_3)

Working out what this says in terms of \theta, the cocycle condition says that for any composable triple (g_1, g_2, g_3) we have:

\theta( g_1, g_2 \circ g_3) \theta (g_2,g_3) = \theta(g_1,g_2) \theta(g_1 \circ g_2, g_3)

So H^2_{grp}(G,U(1)) – the second group-cohomology group of G – consists of exactly these \theta which satisfy this condition, which ensures we have associativity.

Given one of these \theta maps, we get a category Rep^{\theta}(G) of all the \theta-twisted representations of G. It behaves just like an ordinary representation category… because in fact it is one! It’s the category of representations of a twisted version of the group algebra of G, called C^{\theta}(G). The point is, we can use \theta to twist the convolution product for functions on G, and this is still an associative algebra just because \theta satisfies the cocycle condition.

The pattern continues: a 3-cocycle captures how some function of 2 variable may fail to be associative: it specifies an associator map (a function of three variables), which has to satisfy some conditions for any four composable morphisms. A 4-cocycle captures how a map might fail to satisfy this condition, and so on. At each stage, the cocycle condition is automatically satisfied by coboundaries. Cohomology classes are elements of the quotient of cocycles by coboundaries.

So the idea of “twisted 2-linearization” is that we use this sort of data to change 2-linearization.

Twisted 2-Linearization

The idea behind the 2-category Span(Gpd)^{U(1)} is that it contains Span(Gpd), but that objects and morphisms also carry information about how to “twist” when applying the 2-linearization \Lambda.  So in particular, what we have is a (symmetric monoidal) 2-category where:

  • Objects consist of (A, \theta), where A is a groupoid and $\theta \in Z^2(A,U(1))$
  • Morphisms from A to B consist of a span (X,s,t) from A to B, together with \alpha \in Z^1(X,U(1))
  • 2-Morphisms from X_1 to X_2 consist of a span (Y,\sigma,\tau) from X, together with \beta \in Z^0(Y,U(1))

The cocycles have to satisfy some compatibility conditions (essentially, pullbacks of the cocycles from the source and target of a span should land in the same cohomology class).  One way to see the point of this requirement is to make twisted 2-linearization well-defined.

One can extend the monoidal structure and composition rules to objects with cocycles without too much trouble so that Span(Gpd) is a subcategory of Span(Gpd)^{U(1)}. The 2-linearization functor extends to \Lambda^{U(1)} : Span(Gpd)^{U(1)} \rightarrow 2Vect:

  • On Objects: \Lambda^{U(1)} (A, \theta) = Rep^{\theta}(A), the category of \theta-twisted representation of A
  • On Morphisms: \Lambda^{U(1)} ( (X,s,t) , \alpha ) comes by pulling back a twisted representation in Rep^{\theta_A}(A) to one in Rep^{s^{\ast}\theta_A}(X), pulling it through the algebra map “multiplication by \alpha“, and pushing forward to Rep^{\theta_B}(B)
  • On 2-Morphisms: For a span of span maps, one uses the usual formula (see the paper for details), but a sum over the objects y \in Y picks up a weight of \beta(y) at each object

When the cocycles are trivial (evaluate to 1 always), we get back the 2-linearization we had before. Now the main point here is that the “sum over histories” that appears in the 2-morphisms now carries a weight.

So the twisted form of 2-linearization uses the same “pull-push” ideas as 2-linearization, but applied now to twisted representations. This twisting (at the object level) uses a 2-cocycle. At the morphism level, we have a “twist” between “pull” and “push” in constructing . What the “twist” actually means depends on which cohomology degree we’re in – in other words, whether it’s applied to objects, morphisms, or 2-morphisms.

The “twisting” by a 0-cocycle just means having a weight for each object – in other words, for each “history”, or connection on spacetime, in a big sum over histories. Physically, the 0-cocycle is playing the role of the Lagrangian functional for the DW model. Part of the point in the FHLT program can be expressed by saying that what Freed and Quinn are doing is showing how the other cocycles are also the Lagrangian – as it’s seen at higher codimension in the more “local” theory.

For a TQFT, the 1-cocycles associated to morphisms describe how to glue together values for the Lagrangian that are associated to histories that live on different parts of spacetime: the action isn’t just a number. It is a number only “locally”, and when we compose 2-morphisms, the 0-cocycle on the composite picks up a factor from the 1-morphism (or 0-morphism, for a horizontal composite) where they’re composed.

This has to do with the fact that connections on bits of spacetime can be glued by particular gauge transformations – that is, morphisms of the groupoid of connections. Just as the gauge transformations tell how to glue connections, the cocycles associated to them tell how to glue the actions. This is how the cohomological twisting captures the geometric insight that the action is a section of a line bundle – not just a function, which is a section of a trivial bundle – over the moduli space of histories.

So this explains how these cocycles can all be seen as parts of the Lagrangian when we quantize: they explain how to glue actions together before using them in a sum-over histories. Gluing them this way is essential to make sure that \Lambda^{U(1)} is actually a functor. But if we’re really going to see all the cocycles as aspects of “the action”, then what is the action really? Where do they come from, that they’re all slices of this bigger thing?

Twisting as Lagrangian

Now the DW model is a 3D theory, whose action is specified by a group-cohomology class [\omega] \in H^3_{grp}(G,U(1)). But this is the same thing as a class in the cohomology of the classifying space: [\omega] \in H^3(BG,U(1)). This takes a little unpacking, but certainly it’s helpful to understand that what cohomology classes actually classify are… gerbes. So another way to put a key idea of the FHLT paper, as Urs Schreiber put it to me a while ago, is that “the action is a gerbe on the classifying space for fields“.

What does this mean?

This map is given as a path integral over all connections on the space(-time) S, which is actually just a sum, since the gauge group is finite and so all the connections are flat.  The point is that they’re described by assigning group elements to loops in S:

A : \pi_1(M) \rightarrow G

But this amounts to the same thing as a map into the classifying space of G:

f_A : M \rightarrow BG

This is essentially the definition of BG, and it implies various things, such as the fact that BG is a space whose fundamental group is G, and has all other homotopy groups trivial. That is, BG is the Eilenberg-MacLane space K(G,1). But the point is that the groupoid of connections and gauge transformations on S just corresponds to the mapping space Maps(S,BG). So the groupoid cohomology classes we get amount to the same thing as cohomology classes on this space. If we’re given [\omega] \in H^3(BG,U(1)), then we can get at these by “transgression” – which is very nicely explained in a paper by Simon Willerton.

The essential idea is that a 3-cocycle \omega (representing the class [\omega]) amounts to a nice 3-form on BG which we can integrate over a 3-dimentional submanifold to get a number. For a d-dimensional S, we get such a 3-manifold from a (3-d)-dimensional submanifold of Maps(S,BG): each point gives a copy of S in BG. Then we get a (3-d)-cocycle on Maps(S,BG) whose values come from integrating \omega over this image. Here’s a picture I used to illustrate this in my talk:

Now, it turns out that this gives 2-cocycles for 1-manifolds (the objects of 3Cob_2, 1-cocycles on 2D cobordisms between them, and 0-cocycles on 3D cobordisms between these cobordisms. The cocycles are for the groupoid of connections and gauge transformations in each case. In fact, because of Stokes’ theorem in BG, these have to satisfy all the conditions that make them into objects, morphisms, and 2-morphisms of Span^{U(1)}(Gpd). This is the geometric content of the Lagrangian: all the cocycles are really “reflections” of \omega as seen by transgression: pulling back along the evaluation map ev from the picture. Then the way you use it in the quantization is described exactly by \Lambda^{U(1)}.

What I like about this is that \Lambda^{U(1)} is a fairly universal sort of thing – so while this example gets its cocycles from the nice geometry of BG which Freed and Quinn talk about, the insight that an action is a section of a (twisted) line bundle, that actions can be glued together in particular ways, and so on… These presumably can be moved to other contexts.

Well, as promised in the previous post, I’d like to give a summary of some of what was discussed at the conference I attended (quite a while ago now, late last year) in Erlangen, Germany.  I was there also to visit Derek Wise, talking about a project we’ve been working on for some time.

(I’ve also significantly revised this paper about Extended TQFT since then, and it now includes some stuff which was the basis of my talk at Erlangen on cohomological twisting of the category Span(Gpd).  I’ll get to that in the next post.  Also coming up, I’ll be describing some new things I’ve given some talks about recently which relate the Baez-Dolan groupoidification program to Khovanov-Lauda categorification of algebras – at least in one example, hopefully in a way which will generalize nicely.)

In the meantime, there were a few themes at the conference which bear on the Extended TQFT project in various ways, so in this post I’ll describe some of them.  (This isn’t an exhaustive description of all the talks: just of a selection of illustrative ones.)


Categories with Structures

A few talks were mainly about facts regarding the sorts of categories which get used in field theory contexts.  One important type, for instance, are fusion categories is a monoidal category which is enriched in vector spaces, generated by simple objects, and some other properties: essentially, monoidal 2-vector spaces.  The basic example would be categories of representations (of groups, quantum groups, algebras, etc.), but fusion categories are an abstraction of (some of) their properties.  Many of the standard properties are described and proved in this paper by Etingof, Nikshych, and Ostrik, which also poses one of the basic conjectures, the “ENO Conjecture”, which was referred to repeatedly in various talks.  This is the guess that every fusion category can be given a “pivotal” structure: an isomorphism from Id to **.  It generalizes the theorem that there’s always such an isomorphism into ****.  More on this below.

Hendryk Pfeiffer talked about a combinatorial way to classify fusion categories in terms of certain graphs (see this paper here).  One way I understand this idea is to ask how much this sort of category really does generalize categories of representations, or actually comodules.  One starting point for this is the theorem that there’s a pair of functors between certain monoidal categories and weak Hopf algebras.  Specifically, the monoidal categories are (Cat \downarrow Vect)^{\otimes}, which consists of monoidal categories equipped with a forgetful functor into Vect.  Then from this one can get (via a coend), a weak Hopf algebra over the base field k(in the category WHA_k).  From a weak Hopf algebra H, one can get back such a category by taking all the modules of H.  These two processes form an adjunction: they’re not inverses, but we have maps between the two composites and the identity functors.

The new result Hendryk gave is that if we restrict our categories over Vect to be abelian, and the functors between them to be linear, faithful, and exact (that is, roughly, that we’re talking about concrete monoidal 2-vector spaces), then this adjunction is actually an equivalence: so essentially, all such categories C may as well be module categories for weak Hopf algebras.  Then he gave a characterization of these in terms of the “dimension graph” (in fact a quiver) for (C,M), where M is one of the monoidal generators of C.  The vertices of \mathcal{G} = \mathcal{G}_{(C,M)} are labelled by the irreducible representations v_i (i.e. set of generators of the category), and there’s a set of edges j \rightarrow l labelled by a basis of Hom(v_j, v_l \otimes M).  Then one can carry on and build a big graded algebra H[\mathcal{G}] whose m-graded part consists of length-m paths in \mathcal{G}.  Then the point is that the weak Hopf algebra of which C is (up to isomorphism) the module category will be a certain quotient of H[\mathcal{G}] (after imposing some natural relations in a systematic way).

The point, then, is that the sort of categories mostly used in this area can be taken to be representation categories, but in general only of these weak Hopf algebras: groups and ordinary algebras are special cases, but they show up naturally for certain kinds of field theory.

Tensor Categories and Field Theories

There were several talks about the relationship between tensor categories of various sorts and particular field theories.  The idea is that local field theories can be broken down in terms of some kind of n-category: n-dimensional regions get labelled by categories, (n-1)-D boundaries between regions, or “defects”, are labelled by functors between the categories (with the idea that this shows how two different kinds of field can couple together at the defect), and so on (I think the highest-dimension that was discussed explicitly involved 3-categories, so one has junctions between defects, and junctions between junctions, which get assigned some higher-morphism data).  Alteratively, there’s the dual picture where categories are assigned to points, functors to 1-manifolds, and so on.  (This is just Poincaré duality in the case where the manifolds come with a decomposition into cells, which they often are if only for convenience).

Victor Ostrik gave a pair of talks giving an overview role tensor categories play in conformal field theory.  There’s too much material here to easily summarize, but the basics go like this: CFTs are field theories defined on cobordisms that have some conformal structure (i.e. notion of angles, but not distance), and on the algebraic side they are associated with vertex algebras (some useful discussion appears on mathoverflow, but in this context they can be understood as vector spaces equipped with exactly the algebraic operations needed to model cobordisms with some local holomorphic structure).

In particular, the irreducible representations of these VOA’s determine the “conformal blocks” of the theory, which tell us about possible correlations between observables (self-adjoint operators).  A VOA V is “rational” if the category Rep(V) is semisimple (i.e. generated as finite direct sums of these conformal blocks).  For good VOA’s, Rep(V) will be a modular tensor category (MTC), which is a fusion category with a duality, braiding, and some other strucutre (see this for more).   So describing these gives us a lot of information about what CFT’s are possible.

The full data of a rational CFT are given by a vertex algebra, and a module category M: that is, a fusion category is a sort of categorified ring, so it can act on M as an ring acts on a module.  It turns out that choosing an M is equivalent to finding a certain algebra (i.e. algebra object) \mathcal{L}, a “Lagrangian algebra” inside the centre of Rep(V).  The Drinfel’d centre Z(C) of a monoidal category C is a sort of free way to turn a monoidal category into a braided one: but concretely in this case it just looks like Rep(V) \otimes Rep(V)^{\ast}.  Knowing the isomorphism class \mathcal{L} determines a “modular invariant”.  It gets “physics” meaning from how it’s equipped with an algebra structure (which can happen in more than one way), but in any case \mathcal{L} has an underlying vector space, which becomes the Hilbert space of states for the conformal field theory, which the VOA acts on in the natural way.

Now, that was all conformal field theory.  Christopher Douglas described some work with Chris Schommer-Pries and Noah Snyder about fusion categories and structured topological field theories.  These are functors out of cobordism categories, the most important of which are n-categories, where the objects are points, morphisms are 1D cobordisms, and so on up to n-morphisms which are n-dimensional cobordisms.  To keep things under control, Chris Douglas talked about the case Bord_0^3, which is where n=3, and a “local” field theory is a 3-functor Bord_0^3 \rightarrow \mathcal{C} for some 3-category \mathcal{C}.  Now, the (Baez-Dolan) Cobordism Hypothesis, which was proved by Jacob Lurie, says that Bord_0^3 is, in a suitable sense, the free symmetric monoidal 3-category with duals.  What this amounts to is that a local field theory whose target 3-category is \mathcal{C} is “just” a dualizable object of \mathcal{C}.

The handy example which links this up to the above is when \mathcal{C} has objects which are tensor categories, morphisms which are bimodule categories (i.e. categories acted), 2-morphisms which are functors, and 3-morphisms which are natural transformations.  Then the issue is to classify what kind of tensor categories these objects can be.

The story is trickier if we’re talking about, not just topological cobordisms, but ones equipped with some kind of structure regulated by a structure group G(for instance, orientation by G=SO(n), spin structure by its universal cover G= Spin(n), and so on).  This means the cobordisms come equipped with a map into BG.  They take O(n) as the starting point, and then consider groups G with a map to O(n), and require that the map into BG is a lift of the map to BO(n).  Then one gets that a structured local field theory amounts to a dualizable objects of \mathcal{C} with a homotopy-fixed point for some G-action – and this describes what gets assigned to the point by such a field theory.  What they then show is a correspondence between G and classes of categories.  For instance, fusion categories are what one gets by imposing that the cobordisms be oriented.

Liang Kong talked about “Topological Orders and Tensor Categories”, which used the Levin-Wen models, from condensed matter phyiscs.  (Benjamin Balsam also gave a nice talk describing these models and showing how they’re equivalent to the Turaev-Viro and Kitaev models in appropriate cases.  Ingo Runkel gave a related talk about topological field theories with “domain walls”.).  Here, the idea of a “defect” (and topological order) can be understood very graphically: we imagine a 2-dimensional crystal lattice (of atoms, say), and the defect is a 1-dimensional place where the two lattices join together, with the internal symmetry of each breaking down at the boundary.  (For example, a square lattice glued where the edges on one side are offset and meet the squares on the other side in the middle of a face, as you typically see in a row of bricks – the slides linked above have some pictures).  The Levin-Wen models are built using a hexagonal lattice, starting with a tensor category with several properties: spherical (there are dualities satisfying some relations), fusion, and unitary: in fact, historically, these defining properties were rediscovered independently here as the requirement for there to be excitations on the boundary which satisfy physically-inspired consistency conditions.

These abstract the properties of a category of representations.  A generalization of this to “topological orders” in 3D or higher is an extended TFT in the sense mentioned just above: they have a target 3-category of tensor categories, bimodule categories, functors and natural transformations.  The tensor categories (say, \mathcal{C}, \mathcal{D}, etc.) get assigned to the bulk regions; to “domain walls” between different regions, namely defects between lattices, we assign bimodule categories (but, for instance, to a line within a region, we get \mathcal{C} understood as a \mathcal{C}-\mathcal{C}-bimodule); then to codimension 2 and 3 defects we attach functors and natural transformations.  The algebra for how these combine expresses the ways these topological defects can go together.  On a lattice, this is an abstraction of a spin network model, where typically we have just one tensor category \mathcal{C} applied to the whole bulk, namely the representations of a Lie group (say, a unitary group).  Then we do calculations by breaking down into bases: on codimension-1 faces, these are simple objects of \mathcal{C}; to vertices we assign a Hom space (and label by a basis for intertwiners in the special case); and so on.

Thomas Nickolaus spoke about the same kind of G-equivariant Dijkgraaf-Witten models as at our workshop in Lisbon, so I’ll refer you back to my earlier post on that.  However, speaking of equivariance and group actions:

Michael Müger  spoke about “Orbifolds of Rational CFT’s and Braided Crossed G-Categories” (see this paper for details).  This starts with that correspondence between rational CFT’s (strictly, rational chiral CFT’s) and modular categories Rep(F).  (He takes F to be the name of the CFT).  Then we consider what happens if some finite group G acts on F (if we understand F as a functor, this is an action by natural transformations; if as an algebra, then ).  This produces an “orbifold theory” F^G (just like a finite group action on a manifold produces an orbifold), which is the “G-fixed subtheory” of F, by taking G-fixed points for every object, and is also a rational CFT.  But that means it corresponds to some other modular category Rep(F^G), so one would like to know what category this is.

A natural guess might be that it’s Rep(F)^G, where C^G is a “weak fixed-point” category that comes from a weak group action on a category C.  Objects of C^G are pairs (c,f_g) where c \in C and f_g : g(c) \rightarrow c is a specified isomorphism.  (This is a weak analog of S^G, the set of fixed points for a group acting on a set).  But this guess is wrong – indeed, it turns out these categories have the wrong dimension (which is defined because the modular category has a trace, which we can sum over generating objects).  Instead, the right answer, denoted by Rep(F^G) = G-Rep(F)^G, is the G-fixed part of some other category.  It’s a braided crossed G-category: one with a grading by G, and a G-action that gets along with it.  The identity-graded part of Rep(F^G) is just the original Rep(F).

State Sum Models

This ties in somewhat with at least some of the models in the previous section.  Some of these were somewhat introductory, since many of the people at the conference were coming from a different background.  So, for instance, to begin the workshop, John Barrett gave a talk about categories and quantum gravity, which started by outlining the historical background, and the development of state-sum models.  He gave a second talk where he began to relate this to diagrams in Gray-categories (something he also talked about here in Lisbon in February, which I wrote about then).  He finished up with some discussion of spherical categories (and in particular the fact that there is a Gray-category of spherical categories, with a bunch of duals in the suitable sense).  This relates back to the kind of structures Chris Douglas spoke about (described above, but chronologically right after John).  Likewise, Winston Fairbairn gave a talk about state sum models in 3D quantum gravity – the Ponzano Regge model and Turaev-Viro model being the focal point, describing how these work and how they’re constructed.  Part of the point is that one would like to see that these fit into the sort of framework described in the section above, which for PR and TV models makes sense, but for the fancier state-sum models in higher dimensions, this becomes more complicated.

Higher Gauge Theory

There wasn’t as much on this topic as at our own workshop in Lisbon (though I have more remarks on higher gauge theory in one post about it), but there were a few entries.  Roger Picken talked about some work with Joao Martins about a cubical formalism for parallel transport based on crossed modules, which consist of a group G and abelian group H, with a map \partial : H \rightarrow G and an action of G on H satisfying some axioms.  They can represent categorical groups, namely group objects in Cat (equivalently, categories internal to Grp), and are “higher” analogs of groups with a set of elements.  Roger’s talk was about how to understand holonomies and parallel transports in this context.  So, a “connection” lets on transport things with G-symmetries along paths, and with H-symmetries along surfaces.  It’s natural to describe this with squares whose edges are labelled by G-elements, and faces labelled by H-elements (which are the holonomies).  Then the “cubical approach” means that we can describe gauge transformations, and higher gauge transformations (which in one sense are the point of higher gauge theory) in just the same way: a gauge transformation which assigns H-values to edges and G-values to vertices can be drawn via the holonomies of a connection on a cube which extends the original square into 3D (so the edges become squares, and so get H-values, and so on).  The higher gauge transformations work in a similar way.  This cubical picture gives a good way to understand the algebra of how gauge transformations etc. work: so for instance, gauge transformations look like “conjugation” of a square by four other squares – namely, relating the front and back faces of a cube by means of the remaining faces.  Higher gauge transformations can be described by means of a 4D hypercube in an analogous way, and their algebraic properties have to do with the 2D faces of the hypercube.

Derek Wise gave a short talk outlining his recent paper with John Baez in which they show that it’s possible to construct a higher gauge theory based on the Poincare 2-group which turns out to have fields, and dynamics, which are equivalent to teleparallel gravity, a slightly unusal theory which nevertheless looks in practice just like General Relativity.  I discussed this in a previous post.

So next time I’ll talk about the new additions to my paper on ETQFT which were the basis of my talk, which illustrates a few of the themes above.

So I’ve been travelling a lot in the last month, spending more than half of it outside Portugal. I was in Ottawa, Canada for a Fields Institute workshop, “Categorical Methods in Representation Theory“. Then a little later I was in Erlangen, Germany for one called “Categorical and Representation-Theoretic Methods in Quantum Geometry and CFT“. Despite the similar-sounding titles, these were on fairly different themes, though Marco Mackaay was at both, talking about categorifying the q-Schur algebra by diagrams.  I’ll describe the meetings, but for now I’ll start with the first.  Next post will be a summary of the second.

The Ottawa meeting was organized by Alistair Savage, and Alex Hoffnung (like me, a former student of John Baez). Alistair gave a talk here at IST over the summer about a q-deformation of Khovanov’s categorification of the Heisenberg Algebra I discussed in an earlier entry. A lot of the discussion at the workshop was based on the Khovanov-Lauda program, which began with categorifying quantum version of the classical Lie groups, and is now making lots of progress in the categorification of algebras, representation theory, and so on.

The point of this program is to describe “categorifications” of particular algebras. This means finding monoidal categories with the property that when you take the Grothendieck ring (the ring of isomorphism classes, with a multiplication given by the monoidal structure), you get back the integral form of some algebra. (And then recover the original by taking the tensor over \mathbb{Z} with \mathbb{C}). The key thing is how to represent the algebra by generators and relations. Since free monoidal categories with various sorts of structures can be presented as categories of string diagrams, it shouldn’t be surprising that the categories used tend to have objects that are sequences (i.e. monoidal products) of dots with various sorts of labelling data, and morphisms which are string diagrams that carry those labels on strands (actually, usually they’re linear combinations of such diagrams, so everything is enriched in vector spaces). Then one imposes relations on the “free” data given this way, by saying that the diagrams are considered the same morphism if they agree up to some local moves. The whole problem then is to find the right generators (labelling data) and relations (local moves). The result will be a categorification of a given presentation of the algebra you want.

So for instance, I was interested in Sabin Cautis and Anthony Licata‘s talks connected with this paper, “Heisenberg Categorification And Hilbert Schemes”. This is connected with a generalization of Khovanov’s categorification linked above, to include a variety of other algebras which are given a similar name. The point is that there’s such a “Heisenberg algebra” associated to different subgroups \Gamma \subset SL(2,\mathbf{k}), which in turn are classified by Dynkin diagrams. The vertices of these Dynkin diagrams correspond to some generators of the Heisenberg algebra, and one can modify Khovanov’s categorification by having strands in the diagram calculus be labelled by these vertices. Rules for local moves involving strands with different labels will be governed by the edges of the Dynkin diagram. Their paper goes on to describe how to represent these categorifications on certain categories of Hilbert schemes.

Along the same lines, Aaron Lauda gave a talk on the categorification of the NilHecke algebra. This is defined as a subalgebra of endomorphisms of P_a = \mathbb{Z}[x_1,\dots,x_a], generated by multiplications (by the x_i) and the divided difference operators \partial_i. There are different from the usual derivative operators: in place of the differences between values of a single variable, they measure how a function behaves under the operation s_i which switches variables x_i and x_{i+1} (that is, the reflection in the hyperplane where x_i = x_{i+1}). The point is that just like differentiation, this operator – together with multiplication – generates an algebra in End(\mathbb{Z}[x_1,\dots,x_a]. Aaron described how to categorify this presentation of the NilHecke algebra with a string-diagram calculus.

So anyway, there were a number of talks about the explosion of work within this general program – for instance, Marco Mackaay’s which I mentioned, as well as that of Pedro Vaz about the same project. One aspect of this program is that the relatively free “string diagram categories” are sometimes replaced with categories where the objects are bimodules and morphisms are bimodule homomorphisms. Making the relationship precise is then a matter of proving these satisfy exactly the relations on a “free” category which one wants, but sometimes they’re a good setting to prove one has a nice categorification. Thus, Ben Elias and Geordie Williamson gave two parts of one talk about “Soergel Bimodules and Kazhdan-Lusztig Theory” (see a blog post by Ben Webster which gives a brief intro to this notion, including pointing out that Soergel bimodules give a categorification of the Hecke algebra).

One of the reasons for doing this sort of thing is that one gets invariants for manifolds from algebras – in particular, things like the Jones polynomial, which is related to the Temperley-Lieb algebra. A categorification of it is Khovanov homology (which gives, for a manifold, a complex, with the property that the graded Euler characteristic of the complex is the Jones polynomial). The point here is that categorifying the algebra lets you raise the dimension of the kind of manifold your invariants are defined on.

So, for instance, Scott Morrison described “Invariants of 4-Manifolds from Khonanov Homology“.  This was based on a generalization of the relationship between TQFT’s and planar algebras.  The point is, planar algebras are described by the composition of diagrams of the following form: a big circle, containing some number of small circles.  The boundaries of each circle are labelled by some number of marked points, and the space between carries curves which connect these marked points in some way.  One composes these diagrams by gluing big circles into smaller circles (there’s some further discussion here including a picture, and much more in this book here).  Scott Morrison described these diagrams as “spaghetti and meatball” diagrams.  Planar algebras show up by associating a vector spaces to “the” circle with n marked points, and linear maps to each way (up to isotopy) of filling in edges between such circles.  One can think of the circles and marked-disks as a marked-cobordism category, and so a functorial way of making these assignments is something like a TQFT.  It also gives lots of vector spaces and lots of linear maps that fit together in a particular way described by this category of marked cobordisms, which is what a “planar algebra” actually consists of.  Clearly, these planar algebras can be used to get some manifold invariants – namely the “TQFT” that corresponds to them.

Scott Morrison’s talk described how to get invariants of 4-dimensional manifolds in a similar way by boosting (almost) everything in this story by 2 dimensions.  You start with a 4-ball, whose boundary is a 3-sphere, and excise some number of 4-balls (with 3-sphere boundaries) from the interior.  Then let these 3D boundaries be “marked” with 1-D embedded links (think “knots” if you like).  These 3-spheres with embedded links are the objects in a category.  The morphisms are 4-balls which connect them, containing 2D knotted surfaces which happen to intersect the boundaries exactly at their embedded links.  By analogy with the image of “spaghetti and meatballs”, where the spaghetti is a collection of 1D marked curves, Morrison calls these 4-manifolds with embedded 2D surfaces “lasagna diagrams” (which generalizes to the less evocative case of “(n,k) pasta diagrams”, where we’ve just mentioned the (2,1) and (4,2) cases, with k-dimensional “pasta” embedded in n-dimensional balls).  Then the point is that one can compose these pasta diagrams by gluing the 4-balls along these marked boundaries.  One then gets manifold invariants from these sorts of diagrams by using Khovanov homology, which assigns to

Ben Webster talked about categorification of Lie algebra representations, in a talk called “Categorification, Lie Algebras and Topology“. This is also part of categorifying manifold invariants, since the Reshitikhin-Turaev Invariants are based on some monoidal category, which in this case is the category of representations of some algebra.  Categorifying this to a 2-category gives higher-dimensional equivalents of the RT invariants.  The idea (which you can check out in those slides) is that this comes down to describing the analog of the “highest-weight” representations for some Lie algebra you’ve already categorified.

The Lie theory point here, you might remember, is that representations of Lie algebras \mathfrak{g} can be analyzed by decomposing them into “weight spaces” V_{\lambda}, associated to weights \lambda : \mathfrak{g} \rightarrow \mathbf{k} (where \mathbf{k} is the base field, which we can generally assume is \mathbb{C}).  Weights turn Lie algebra elements into scalars, then.  So weight spaces generalize eigenspaces, in that acting by any element g \in \mathfrak{g} on a “weight vector” v \in V_{\lambda} amounts to multiplying by \lambda{g}.  (So that v is an eigenvector for each g, but the eigenvalue depends on g, and is given by the weight.)  A weight can be the “highest” with respect to a natural order that can be put on weights (\lambda \geq \mu if the difference is a nonnegative combination of simple weights).  Then a “highest weight representation” is one which is generated under the action of \mathfrak{g} by a single weight vector v, the “highest weight vector”.

The point of the categorification is to describe the representation in the same terms.  First, we introduce a special strand (which Ben Webster draws as a red strand) which represents the highest weight vector.  Then we say that the category that stands in for the highest weight representation is just what we get by starting with this red strand, and putting all the various string diagrams of the categorification of \mathfrak{g} next to it.  One can then go on to talk about tensor products of these representations, where objects are found by amalgamating several such diagrams (with several red strands) together.  And so on.  These categorified representations are then supposed to be usable to give higher-dimensional manifold invariants.

Now, the flip side of higher categories that reproduce ordinary representation theory would be the representation theory of higher categories in their natural habitat, so to speak. Presumably there should be a fairly uniform picture where categorifications of normal representation theory will be special cases of this. Vlodymyr Mazorchuk gave an interesting talk called 2-representations of finitary 2-categories.  He gave an example of one of the 2-categories that shows up a lot in these Khovanov-Lauda categorifications, the 2-category of Soergel Bimodules mentioned above.  This has one object, which we can think of as a category of modules over the algebra \mathbb{C}[x_1, \dots, x_n]/I (where I  is some ideal of homogeneous symmetric polynomials).  The morphisms are endofunctors of this category, which all amount to tensoring with certain bimodules – the irreducible ones being the Soergel bimodules.  The point of the talk was to explain the representations of 2-categories \mathcal{C} – that is, 2-functors from \mathcal{C} into some “classical” 2-category.  Examples would be 2-categories like “2-vector spaces”, or variants on it.  The examples he gave: (1) [small fully additive \mathbf{k}-linear categories], (2) the full subcategory of it with finitely many indecomposible elements, (3) [categories equivalent to module categories of finite dimensional associative \mathbf{k}-algebras].  All of these have some claim to be a 2-categorical analog of [vector spaces].  In general, Mazorchuk allowed representations of “FIAT” categories: Finitary (Two-)categories with Involutions and Adjunctions.

Part of the process involved getting a “multisemigroup” from such categories: a set S with an operation which takes pairs of elements, and returns a subset of S, satisfying some natural associativity condition.  (Semigroups are the case where the subset contains just one element – groups are the case where furthermore the operation is invertible).  The idea is that FIAT categories have some set of generators – indecomposable 1-morphisms – and that the multisemigroup describes which indecomposables show up in a composite.  (If we think of the 2-category as a monoidal category, this is like talking about a decomposition of a tensor product of objects).  So, for instance, for the 2-category that comes from the monoidal category of \mathfrak{sl}(2) modules, we get the semigroup of nonnegative integers.  For the Soergel bimodule 2-category, we get the symmetric group.  This sort of thing helps characterize when two objects are equivalent, and in turn helps describe 2-representations up to some equivalence.  (You can find much more detail behind the link above.)

On the more classical representation-theoretic side of things, Joel Kamnitzer gave a talk called “Spiders and Buildings”, which was concerned with some geometric and combinatorial constructions in representation theory.  These involved certain trivalent planar graphs, called “webs”, whose edges carry labels between 1 and (n-1).  They’re embedded in a disk, and the outgoing edges, with labels (k_1, \dots, k_m) determine a representation space for a group G, say G = SL_n, namely the tensor product of a bunch of wedge products, \otimes_j \wedge^{k_j} \mathbb{C}^n, where SL_n acts on \mathbb{C}^n as usual.  Then a web determines an invariant vector in this space.  This comes about by having invariant vectors for each vertex (the basic case where m =3), and tensoring them together.  But the point is to interpret this construction geometrically.  This was a bit outside my grasp, since it involves the Langlands program and the geometric Satake correspondence, neither of which I know much of anything about, but which give geometric/topological ways of constructing representation categories.  One thing I did pick up is that it uses the “Langlands dual group” \check{G} of G to get a certain metric space called Gn_{\check{G}}.  Then there’s a correspondence between the category of representations of G and the category of (perverse, constructible) sheaves on this space.  This correspondence can be used to describe the vectors that come out of these webs.

Jim Dolan gave a couple of talks while I was there, which actually fit together as two parts of a bigger picture – one was during the workshop itself, and one at the logic seminar on the following Monday. It helped a lot to see both in order to appreciate the overall point, so I’ll mix them a bit indiscriminately. The first was called “Dimensional Analysis is Algebraic Geometry”, and the second “Toposes of Quasicoherent Sheaves on Toric Varieties”. For the purposes of the logic seminar, he gave the slogan of the second talk as “Algebraic Geometry is a branch of Categorical Logic”. Jim’s basic idea was inspired by Bill Lawvere’s concept of a “theory”, which is supposed to extend both “algebraic theories” (such as the “theory of groups”) and theories in the sense of physics.  Any given theory is some structured category, and “models” of the theory are functors into some other category to represent it – it thus has a functor category called its “moduli stack of models”.  A physical theory (essentially, models which depict some contents of the universe) has some parameters.  The “theory of elastic scattering”, for instance, has the masses, and initial and final momenta, of two objects which collide and “scatter” off each other.  The moduli space for this theory amounts to assignments of values to these parameters, which must satisfy some algebraic equations – conservation of energy and momentum (for example, \sum_i m_i v_i^{in} = \sum_i m_i v_i^{out}, where i \in 1, 2).  So the moduli space is some projective algebraic variety.  Jim explained how “dimensional analysis” in physics is the study of line bundles over such varieties (“dimensions” are just such line bundles, since a “dimension” is a 1-dimensional sort of thing, and “quantities” in those dimensions are sections of the line bundles).  Then there’s a category of such bundles, which are organized into a special sort of symmetric monoidal category – in fact, it’s contrained so much it’s just a graded commutative algebra.

In his second talk, he generalized this to talk about categories of sheaves on some varieties – and, since he was talking in the categorical logic seminar, he proposed a point of view for looking at algebraic geometry in the context of logic.  This view could be summarized as: Every (generalized) space studied by algebraic geometry “is” the moduli space of models for some theory in some doctrine.  The term “doctrine” is Bill Lawvere’s, and specifies what kind of structured category the theory and the target of its models are supposed to be (and of course what kind of functors are allowed as models).  Thus, for instance, toposes (as generalized spaces) are supposed to be thought of as “geometric theories”.  He explained that his “dimensional analysis doctrine” is a special case of this.  As usual when talking to Jim, I came away with the sense that there’s a very large program of ideas lurking behind everything he said, of which only the tip of the iceberg actually made it into the talks.

Next post, when I have time, will talk about the meeting at Erlangen…

« Previous PageNext Page »

Follow

Get every new post delivered to your Inbox.

Join 46 other followers