Why Higher Geometric Quantization

The largest single presentation was a pair of talks on “The Motivation for Higher Geometric Quantum Field Theory” by Urs Schreiber, running to about two and a half hours, based on these notes. This was probably the clearest introduction I’ve seen so far to the motivation for the program he’s been developing for several years. Broadly, the idea is to develop a higher-categorical analog of geometric quantization (GQ for short).

One guiding idea behind this is that we should really be interested in quantization over (higher) stacks, rather than merely spaces. This leads inexorably to a higher-categorical version of GQ itself. The starting point, though, is that the defining features of stacks capture two crucial principles from physics: the gauge principle, and locality. The gauge principle means that we need to keep track not just of connections, but gauge transformations, which form respectively the objects and morphisms of a groupoid. “Locality” means that these groupoids of configurations of a physical field on spacetime is determined by its local configuration on regions as small as you like (together with information about how to glue together the data on small regions into larger regions).

Some particularly simple cases can be described globally: a scalar field gives the space of all scalar functions, namely maps into $\mathbb{C}$; sigma models generalise this to the space of maps $\Sigma \rightarrow M$ for some other target space. These are determined by their values pointwise, so of course are local.

More generally, physicists think of a field theory as given by a fibre bundle $V \rightarrow \Sigma$ (the previous examples being described by trivial bundles $\pi : M \times \Sigma \rightarrow \Sigma$), where the fields are sections of the bundle. Lagrangian physics is then described by a form on the jet bundle of $V$, i.e. the bundle whose fibre over $p \in \Sigma$ consists of the space describing the possible first $k$ derivatives of a section over that point.

More generally, a field theory gives a procedure $F$ for taking some space with structure – say a (pseudo-)Riemannian manifold $\Sigma$ – and produce a moduli space $X = F(\Sigma)$ of fields. The Sigma models happen to be representable functors: $F(\Sigma) = Maps(\Sigma,M)$ for some $M$, the representing object. A prestack is just any functor taking $\Sigma$ to a moduli space of fields. A stack is one which has a “descent condition”, which amounts to the condition of locality: knowing values on small neighbourhoods and how to glue them together determines values on larger neighborhoods.

The Yoneda lemma says that, for reasonable notions of “space”, the category $\mathbf{Spc}$ from which we picked target spaces $M$ embeds into the category of stacks over $\mathbf{Spc}$ (Riemannian manifolds, for instance) and that the embedding is faithful – so we should just think of this as a generalization of space. However, it’s a generalization we need, because gauge theories determine non-representable stacks. What’s more, the “space” of sections of one of these fibred stacks is also a stack, and this is what plays the role of the moduli space for gauge theory! For higher gauge theories, we will need higher stacks.

All of the above is the classical situation: the next issue is how to quantize such a theory. It involves a generalization of Geometric Quantization (GQ for short). Now a physicist who actually uses GQ will find this perspective weird, but it flows from just the same logic as the usual method.

In ordinary GQ, you have some classical system described by a phase space, a manifold $X$ equipped with a pre-symplectic 2-form $\omega \in \Omega^2(X)$. Intuitively, $\omega$ describes how the space, locally, can be split into conjugate variables. In the phase space for a particle in $n$-space, these “position” and “momentum” variables, and $\omega = \sum_x dx^i \wedge dp^i$; many other systems have analogous conjugate variables. But what really matters is the form $\omega$ itself, or rather its cohomology class.

Then one wants to build a Hilbert space describing the quantum analog of the system, but in fact, you need a little more than $(X,\omega)$ to do this. The Hilbert space is a space of sections of some bundle whose sections look like copies of the complex numbers, called the “prequantum line bundle“. It needs to be equipped with a connection, whose curvature is a 2-form in the class of $\omega$: in general, . (If $\omega$ is not symplectic, i.e. is degenerate, this implies there’s some symmetry on $X$, in which case the line bundle had better be equivariant so that physically equivalent situations correspond to the same state). The easy case is the trivial bundle, so that we get a space of functions, like $L^2(X)$ (for some measure compatible with $\omega$). In general, though, this function-space picture only makes sense locally in $X$: this is why the choice of prequantum line bundle is important to the interpretation of the quantized theory.

Since the crucial geometric thing here is a bundle over the moduli space, when the space is a stack, and in the context of higher gauge theory, it’s natural to seek analogous constructions using higher bundles. This would involve, instead of a (pre-)symplectic 2-form $\omega$, an $(n+1)$-form called a (pre-)$n$-plectic form (for an introductory look at this, see Chris Rogers’ paper on the case $n=2$ over manifolds). This will give a higher analog of the Hilbert space.

Now, maps between Hilbert spaces in QG come from Lagrangian correspondences – these might be maps of moduli spaces, but in general they consist of a “space of trajectories” equipped with maps into a space of incoming and outgoing configurations. This is a span of pre-symplectic spaces (equipped with pre-quantum line bundles) that satisfies some nice geometric conditions which make it possible to push a section of said line bundle through the correspondence. Since each prequantum line bundle can be seen as maps out of the configuration space into a classifying space (for $U(1)$, or in general an $n$-group of phases), we get a square. The action functional is a cell that fills this square (see the end of 2.1.3 in Urs’ notes). This is a diagrammatic way to describe the usual GQ construction: the advantage is that it can then be repeated in the more general setting without much change.

This much is about as far as Urs got in his talk, but the notes go further, talking about how to extend this to infinity-stacks, and how the Dold-Kan correspondence tells us nicer descriptions of what we get when linearizing – since quantization puts us into an Abelian category.

I enjoyed these talks, although they were long and Urs came out looking pretty exhausted, because while I’ve seen several others on this program, this was the first time I’ve seen it discussed from the beginning, with a lot of motivation. This was presumably because we had a physically-minded part of the audience, whereas I’ve mostly seen these for mathematicians, and usually they come in somewhere in the middle and being more time-limited miss out some of the details and the motivation. The end result made it quite a natural development. Overall, very helpful!

Continuing from the previous post, we’ll take a detour in a different direction. The physics-oriented talks were by Martin Wolf, Sam Palmer, Thomas Strobl, and Patricia Ritter. Since my background in this subject isn’t particularly physics-y, I’ll do my best to summarize the ones that had obvious connections to other topics, but may be getting things wrong or unbalanced here…

Dirac Sigma Models

Thomas Strobl’s talk, “New Methods in Gauge Theory” (based on a whole series of papers linked to from the conference webpage), started with a discussion of of generalizing Sigma Models. Strobl’s talk was a bit high-level physics for me to do it justice, but I came away with the impression of a fairly large program that has several points of contact with more mathematical notions I’ll discuss later.

In particular, Sigma models are physical theories in which a field configuration on spacetime $\Sigma$ is a map $X : \Sigma \rightarrow M$ into some target manifold, or rather $(M,g)$, since we need a metric to integrate and find differentials. Given this, we can define the crucial physics ingredient, an action functional
$S[X] = \int_{\Sigma} g_{ij} dX^i \wedge (\star d X^j)$
where the $dX^i$ are the differentials of the map into $M$.

In string theory, $\Sigma$ is the world-sheet of a string and $M$ is ordinary spacetime. This generalizes the simpler example of a moving particle, where $\Sigma = \mathbb{R}$ is just its worldline. In that case, minimizing the action functional above says that the particle moves along geodesics.

The big generalization introduced is termed a “Dirac Sigma Model” or DSM (the paper that introduces them is this one).

In building up to these DSM, a different generalization notes that if there is a group action $G \rhd M$ that describes “rigid” symmetries of the theory (for Minkowski space we might pick the Poincare group, or perhaps the Lorentz group if we want to fix an origin point), then the action functional on the space $Maps(\Sigma,M)$ is invariant in the direction of any of the symmetries. One can use this to reduce $(M,g)$, by “gauging out” the symmetries to get a quotient $(N,h)$, and get a corresponding $S_{gauged}$ to integrate over $N$.

To generalize this, note that there’s an action groupoid associated with $G \rhd M$, and replace this with some other (Poisson) groupoid instead. That is, one thinks of the real target for a gauge theory not as $M$, but the action groupoid $M \/\!\!\/ G$, and then just considers replacing this with some generic groupoid that doesn’t necessarily arise from a group of rigid symmetries on some underlying $M$. (In this regard, see the second post in this series, about Urs Schreiber’s talk, and stacks as classifying spaces for gauge theories).

The point here seems to be that one wants to get a nice generalization of this situation – in particular, to be able to go backward from $N$ to $M$, to deal with the possibility that the quotient $N$ may be geometrically badly-behaved. Or rather, given $(N,h)$, to find some $(M,g)$ of which it is a reduction, but which is better behaved. That means needing to be able to treat a Sigma model with symmetry information attached.

There’s also an infinitesimal version of this: locally, invariance means the Lie derivative of the action in the direction of any of the generators of the Lie algebra of $G$ – so called Killing vectors – is zero. So this equation can generalize to a case where there are vectors where the Lie derivative is zero – a so-called “generalized Killing equation”. They may not generate isometries, but can be treated similarly. What they do give, if you integrate these vectors, is a foliation of $M$. The space of leaves is the quotient $N$ mentioned above.

The most generic situation Thomas discussed is when one has a Dirac structure on $M$ – this is a certain kind of subbundle $D \subset TM \oplus T^*M$ of the tangent-plus-cotangent bundle over $M$.

Supersymmetric Field Theories

Another couple of physics-y talks related higher gauge theory to some particular physics models, namely $N=(2,0)$ and $N=(1,0)$ supersymmetric field theories.

The first, by Martin Wolf, was called “Self-Dual Higher Gauge Theory”, and was rooted in generalizing some ideas about twistor geometry – here are some lecture notes by the same author, about how twistor geometry relates to ordinary gauge theory.

The idea of twistor geometry is somewhat analogous to the idea of a Fourier transform, which is ultimately that the same space of fields can be described in two different ways. The Fourier transform goes from looking at functions on a position space, to functions on a frequency space, by way of an integral transform. The Penrose-Ward transform, analogously, transforms a space of fields on Minkowski spacetime, satisfying one set of equations, to a set of fields on “twistor space”, satisfying a different set of equations. The theories represented by those fields are then equivalent (as long as the PW transform is an isomorphism).

The PW transform is described by a “correspondence”, or “double fibration” of spaces – what I would term a “span”, such that both maps are fibrations:

$P \stackrel{\pi_1}{\leftarrow} K \stackrel{\pi_2}{\rightarrow} M$

The general story of such correspondences is that one has some geometric data on $P$, which we call $Ob_P$ – a set of functions, differential forms, vector bundles, cohomology classes, etc. They are pulled back to $K$, and then “pushed forward” to $M$ by a direct image functor. In many cases, this is given by an integral along each fibre of the fibration $\pi_2$, so we have an integral transform. The image of $Ob_P$ we call $Ob_M$, and it consists of data satisfying, typically, some PDE’s.In the case of the PW transform, $P$ is complex projective 3-space $\mathbb{P}^3/\mathbb{P}^1$ and $Ob_P$ is the set of holomorphic principal $G$ bundles for some group $G$; $M$ is (complexified) Minkowski space $\mathbb{C}^4$ and the fields are principal $G$-bundles with connection. The PDE they satisfy is $F = \star F$, where $F$ is the curvature of the bundle and $\star$ is the Hodge dual). This means cohomology on twistor space (which classifies the bundles) is related self-dual fields on spacetime. One can also find that a point in $M$ corresponds to a projective line in $P$, while a point in $P$ corresponds to a null plane in $M$. (The space $K = \mathbb{C}^4 \times \mathbb{P}^1$).

Then the issue to to generalize this to higher gauge theory: rather than principal $G$-bundles for a group, one is talking about a 2-group $\mathcal{G}$ with connection. Wolf’s talk explained how there is a Penrose-Ward transform between a certain class of higher gauge theories (on the one hand) and an $N=(2,0)$ supersymmetric field theory (on the other hand). Specifically, taking $M = \mathbb{C}^6$, and $P$ to be (a subspace of) 6D projective space $\mathbb{P}^7 / \mathbb{P}^1$, there is a similar correspondence between certain holomorphic 2-bundles on $P$ and solutions to some self-dual field equations on $M$ (which can be seen as constraints on the curvature 3-form $F$ for a principal 2-bundle: the self-duality condition is why this only makes sense in 6 dimensions).

This picture generalizes to supermanifolds, where there are fermionic as well as bosonic fields. These turn out to correspond to a certain 6-dimensional $N = (2,0)$ supersymmetric field theory.

Then Sam Palmer gave a talk in which he described a somewhat similar picture for an $N = (1,0)$ supersymmetric theory. However, unlike the $N=(2,0)$ theory, this one gives, not a higher gauge theory, but something that superficially looks similar, but in fact is quite different. It ends up being a theory of a number of fields – form valued in three linked vector spaces

$\mathfrak{g}^* \stackrel{g}{\rightarrow} \mathfrak{h} \stackrel{h}{\rightarrow} \mathfrak{g}$

equipped with a bunch of maps that give the whole setup some structure. There is a collection of seven fields in groups (“multiplets”, in physics jargon) valued in each of these spaces. They satisfy a large number of identities. It somewhat resembles the higher gauge theory that corresponds to the $N=(1,0)$ case, so this situation gets called a “$(1,0)$-gauge model”.

There are some special cases of such a setup, including Courant-Dorfman algebras and Lie 2-algebras. The talk gave quite a few examples of solutions to the equations that fall out. The overall conclusion is that, while there are some similarities between $(1,0)$-gauge models and the way Higher Gauge Theory appears at the level of algebra-valued forms and the equations they must satisfy, there are some significant differences. I won’t try to summarize this in more depth, because (a) I didn’t follow the nitty-gritty technical details very well, and (b) it turns out to be not HGT, but some new theory which is less well understood at summary-level.

To continue from the previous post

Twisted Differential Cohomology

Ulrich Bunke gave a talk introducing differential cohomology theories, and Thomas Nikolaus gave one about a twisted version of such theories (unfortunately, perhaps in the wrong order). The idea here is that cohomology can give a classification of field theories, and if we don’t want the theories to be purely topological, we would need to refine this. A cohomology theory is a (contravariant) functorial way of assigning to any space $X$, which we take to be a manifold, a $\mathbb{Z}$-graded group: that is, a tower of groups of “cocycles”, one group for each $n$, with some coboundary maps linking them. (In some cases, the groups are also rings) For example, the group of differential forms, graded by degree.

Cohomology theories satisfy some axioms – for example, the Mayer-Vietoris sequence has to apply whenever you cut a manifold into parts. Differential cohomology relaxes one axiom, the requirement that cohomology be a homotopy invariant of $X$. Given a differential cohomology theory, one can impose equivalence relations on the differential cocycles to get a theory that does satisfy this axiom – so we say the finer theory is a “differential refinement” of the coarser. So, in particular, ordinary cohomology theories are classified by spectra (this is related to the Brown representability theorem), whereas the differential ones are represented by sheaves of spectra – where the constant sheaves represent the cohomology theories which happen to be homotopy invariants.

The “twisting” part of this story can be applied to either an ordinary cohomology theory, or a differential refinement of one (though this needs similarly refined “twisting” data). The idea is that, if $R$ is a cohomology theory, it can be “twisted” over $X$ by a map $\tau: X \rightarrow Pic_R$ into the “Picard group” of $R$. This is the group of invertible $R$-modules (where an $R$-module means a module for the cohomology ring assigned to $X$) – essentially, tensoring with these modules is what defines the “twisting” of a cohomology element.

An example of all this is twisted differential K-theory. Here the groups are of isomorphism classes of certain vector bundles over $X$, and the twisting is particularly simple (the Picard group in the topological case is just $\mathbb{Z}_2$). The main result is that, while topological twists are classified by appropriate gerbes on $X$ (for K-theory, $U(1)$-gerbes), the differential ones are classified by gerbes with connection.

Fusion Categories

Scott Morrison gave a talk about Classifying Fusion Categories, the point of which was just to collect together a bunch of results constructing particular examples. The talk opens with a quote by Rutherford: “All science is either physics or stamp collecting” – that is, either about systematizing data and finding simple principles which explain it, or about collecting lots of data. This talk was unabashed stamp-collecting, on the grounds that we just don’t have a lot of data to systematically understand yet – and for that very reason I won’t try to summarize all the results, but the slides are well worth a look-over. The point is that fusion categories are very useful in constructing TQFT’s, and there are several different constructions that begin “given a fusion category $\mathcal{C}$“… and yet there aren’t all that many examples, and very few large ones, known.

Scott also makes the analogy that fusion categories are “noncommutative finite groups” – which is a little confusing, since not all finite groups are commutative anyway – but the idea is that the symmetric fusion categories are exactly the representation categories of finite groups. So general fusion categories are a non-symmetric generalization of such groups. Since classifying finite groups turned out to be difficult, and involve a laundry-list of sporadic groups, it shouldn’t be too surprising that understanding fusion categories (which, for the symmetric case, include the representation categories of all these examples) should be correspondingly tricky. Since, as he points out, we don’t have very many non-symmetric examples beyond rank 12 (analogous to knowing only finite groups with at most 12 elements), it’s likely that we don’t have a very good understanding of these categories in general yet.

There were a couple of talks – one during the workshop by Sonia Natale, and one the previous week by Sebastian Burciu, whom I also had the chance to talk with that week – about “Equivariantization” of fusion categories, and some fairly detailed descriptions of what results. The two of them have a paper on this which gives more details, which I won’t summarize – but I will say a bit about the construction.

An “equivariantization” of a category $C$ acted on by a group $G$ is supposed to be a generalization of the notion of the set of fixed points for a group acting on a set.  The category $C^G$ has objects which consist of an object $x \in C$ which is fixed by the action of $G$, together with an isomorphism $\mu_g : x \rightarrow x$ for each $g \in G$, satisfying a bunch of unsurprising conditions like being compatible with the group operation. The morphisms are maps in $C$ between the objects, which form commuting squares for each $g \in G$. Their paper, and the talks, described how this works when $C$ is a fusion category – namely, $C^G$ is also a fusion category, and one can work out its fusion rules (i.e. monoidal structure). In some cases, it’s a “group theoretical” fusion category (it looks like $Rep(H)$ for some group $H$) – or a weakened version of such a thing (it’s Morita equivalent to ).

A nice special case of this is if the group action happens to be trivial, so that every object of $C$ is a fixed point. In this case, $C^G$ is just the category of objects of $C$ equipped with a $G$-action, and the intertwining maps between these. For example, if $C = Vect$, then $C^G = Rep(G)$ (in particular, a “group-theoretical fusion category”). What’s more, this construction is functorial in $G$ itself: given a subgroup $H \subset G$, we get an adjoint pair of functors between $C^G$ and $C^H$, which in our special case are just the induced-representation and restricted-representation functors for that subgroup inclusion. That is, we have a Mackey functor here. These generalize, however, to any fusion category $C$, and to nontrivial actions of $G$ on $C$. The point of their paper, then, is to give a good characterization of the categories that come out of these constructions.

Quantizing with Higher Categories

The last talk I’d like to describe was by Urs Schreiber, called Linear Homotopy Type Theory for Quantization. Urs has been giving evolving talks on this topic for some time, and it’s quite a big subject (see the long version of the notes above if there’s any doubt). However, I always try to get a handle on these talks, because it seems to be describing the most general framework that fits the general approach I use in my own work. This particular one borrows a lot from the language of logic (the “linear” in the title alludes to linear logic).

Basically, Urs’ motivation is to describe a good mathematical setting in which to construct field theories using ingredients familiar to the physics approach to “field theory”, namely… fields. (See the description of Kevin Walker’s talk.) Also, Lagrangian functionals – that is, the notion of a physical action. Constructing TQFT from modular tensor categories, for instance, is great, but the fields and the action seem to be hiding in this picture. There are many conceptual problems with field theories – like the mathematical meaning of path integrals, for instance. Part of the approach here is to find a good setting in which to locate the moduli spaces of fields (and the spaces in which path integrals are done). Then, one has to come up with a notion of quantization that makes sense in that context.

The first claim is that the category of such spaces should form a differentially cohesive infinity-topos which we’ll call $\mathbb{H}$. The “infinity” part means we allow morphisms between field configurations of all orders (2-morphisms, 3-morphisms, etc.). The “topos” part means that all sorts of reasonable constructions can be done – for example, pullbacks. The “differentially cohesive” part captures the sort of structure that ensures we can really treat these as spaces of the suitable kind: “cohesive” means that we have a notion of connected components around (it’s implemented by having a bunch of adjoint functors between spaces and points). The “differential” part is meant to allow for the sort of structures discussed above under “differential cohomology” – really, that we can capture geometric structure, as in gauge theories, and not just topological structure.

In this case, we take $\mathbb{H}$ to have objects which are spectral-valued infinity-stacks on manifolds. This may be unfamiliar, but the main point is that it’s a kind of generalization of a space. Now, the sort of situation where quantization makes sense is: we have a space (i.e. $\mathbb{H}$-object) of field configurations to start, then a space of paths (this is WHERE “path-integrals” are defined), and a space of field configurations in the final system where we observe the result. There are maps from the space of paths to identify starting and ending points. That is, we have a span:

$A \leftarrow X \rightarrow B$

Now, in fact, these may all lie over some manifold, such as $B^n(U(1))$, the classifying space for $U(1)$ $(n-1)$-gerbes. That is, we don’t just have these “spaces”, but these spaces equipped with one of those pieces of cohomological twisting data discussed up above. That enters the quantization like an action (it’s WHAT you integrate in a path integral).

Aside: To continue the parallel, quantization is playing the role of a cohomology theory, and the action is the twist. I really need to come back and complete an old post about motives, because there’s a close analogy here. If quantization is a cohomology theory, it should come by factoring through a universal one. In the world of motives, where “space” now means something like “scheme”, the target of this universal cohomology theory is a mild variation on just the category of spans I just alluded to. Then all others come from some functor out of it.

Then the issue is what quantization looks like on this sort of scenario. The Atiyah-Singer viewpoint on TQFT isn’t completely lost here: quantization should be a functor into some monoidal category. This target needs properties which allow it to capture the basic “quantum” phenomena of superposition (i.e. some additivity property), and interference (some actual linearity over $\mathbb{C}$). The target category Urs talked about was the category of $E_{\infty}$-rings. The point is that these are just algebras that live in the world of spectra, which is where our spaces already lived. The appropriate target will depend on exactly what $\mathbb{H}$ is.

But what Urs did do was give a characterization of what the target category should be LIKE for a certain construction to work. It’s a “pull-push” construction: see the link way above on Mackey functors – restriction and induction of representations are an example . It’s what he calls a “(2-monoidal, Beck-Chevalley) Linear Homotopy-Type Theory”. Essentially, this is a list of conditions which ensure that, for the two morphisms in the span above, we have a “pull” operation for some and left and right adjoints to it (which need to be related in a nice way – the jargon here is that we must be in a Wirthmuller context), satisfying some nice relations, and that everything is functorial.

The intuition is that if we have some way of getting a “linear gadget” out of one of our configuration spaces of fields (analogous to constructing a space of functions when we do canonical quantization over, let’s say, a symplectic manifold), then we should be able to lift it (the “pull” operation) to the space of paths. Then the “push” part of the operation is where the “path integral” part comes in: many paths might contribute to the value of a function (or functor, or whatever it may be) at the end-point of those paths, because there are many ways to get from A to B, and all of them contribute in a linear way.

So, if this all seems rather abstract, that’s because the point of it is to characterize very generally what has to be available for the ideas that appear in physics notions of path-integral quantization to make sense. Many of the particulars – spectra, $E_{\infty}$-rings, infinity-stacks, and so on – which showed up in the example are in a sense just placeholders for anything with the right formal properties. So at the same time as it moves into seemingly very abstract terrain, this approach is also supposed to get out of the toy-model realm of TQFT, and really address the trouble in rigorously defining what’s meant by some of the standard practice of physics in field theory by analyzing the logical structure of what this practice is really saying. If it turns out to involve some unexpected math – well, given the underlying issues, it would have been more surprising if it didn’t.

It’s not clear to me how far along this road this program gets us, as far as dealing with questions an actual physicist would like to ask (for the most part, if the standard practice works as an algorithm to produce results, physicists seldom need to ask what it means in rigorous math language), but it does seem like an interesting question.

So I spent a few weeks at the Erwin Schrodinger Institute in Vienna, doing a short residence as part of the program “Modern Trends in Topological Quantum Field Theory” leading up to a workshop this week. There were quite a few interesting talks – some on topics that I’ve written about elsewhere in this blog, so I’ll gloss over those. For example, Catherine Meusburger spoke about the project with Barrett and Schaumann to give a diagrammatic language for Gray categories with duals – I’ve written about John Barrett’s talks on this elsewhere. Similarly, I’ve written about Chris Schommer-Pries’ talks about fully-extended TQFT’s and the cobordism hypothesis for structured cobordisms . I’d like to just describe some of the other highlights that connect nicely to themes I find interesting. In Part 1 of this post, the more topological themes…

TQFTs with Boundary

On the first day, Kevin Walker gave a talk called “Premodular TQFTs” which was quite interesting. The key idea here is that a fairly big class of different constructions of 3D TQFT’s turn out to actually be aspects of one 4D TQFT, which comes about by a construction based on the 3D construction of Crane-Yetter-Kauffman.  The term “premodular” refers to the fact that 3D TQFT’s can be related to modular tensor categories. “Tensor” includes several concepts, like being abelian, having vector spaces of morphisms, a monoidal structure that gets along with these – typical examples being the categories of vector spaces, or of representations of some fixed group. “Modular” means that there is a braiding, and that a certain string diagram (which looks like two linked rings) built using the braiding can be represented as an invertible matrix. These will show up as a special case of the “premodular” theory.

The basic idea is to use an approach that is based on local fields (which respects the physics-land concept of what “field theory” means), avoids the path integral approach (which is hard to make rigorous), and can be shown to connect back to the Atyiah-Singer approach in which a TQFT is a kind of functor out of a cobordism category.

That is, given a manifold $X$ we must be able to find the fields on $X$, called $F(X)$. For example, $F(X)$ could be the maps into a classifying space $BG$, for a gauge theory, or a category of diagrams on $X$ with labels in some appropriate sort of category. Then one has some relations which say when given fields are the same. For each manifold $Y$, this defines a vector space of linear combinations of fields, modulo relations, called $A(Y;c)$, where $c \in F(\partial Y)$. The dual space of $A(Y;c)$ is called $Z(Y;c)$ – in keeping with the principle that quantum states are functionals that we can evaluate on “classical” fields.

Walker’s talk develops, from this starting point, a view that includes a whole range of theories – the Dijkgraaf-Witten model (fields are maps to $BG$); diagrams in a semisimple 1-category (“Euler characteristic theory”), in a pivotal 2-category (a Turaev-Viro model), or a premodular 3-category (a “Crane-Yetter model”), among others. In particular, some familiar theories appear as living on 3D boundaries to a 4D manifold, where such a  premodular theory is defined. The talk goes on to describe a kind of “theory with defects”, where two different theories live on different parts of a manifold (this is a common theme to a number of the talks), and in particular it describes a bimodule which gives a Morita equivalence between two sorts of theory – one based on graphs labelled in representations of a group $G$, and the other based on $G$-connections. The bimodule is, effectively, a kind of “Fourier transform” which relates dimension-$k$ structures on one side to codimension-$k$ structures on the other: a line labelled by a $G$-representation on one side gets acted upon by $G$-holonomies for a hypersurface on the other side.

On a related note Alessandro Valentino gave a talk called “Boundary Conditions for 3d TQFT and module categories” This related to a couple of papers with Jurgen Fuchs and Christoph Schweigert. The basic idea starts with the fact that one can build (3,2,1)-dimensional TQFT’s from modular tensor categories $\mathcal{C}$, getting a Reshitikhin-Turaev type theory which assigns $\mathcal{C}$ to the circle. The modular tensor structure tells you what gets assigned to higher-dimensional cobordisms. (This is a higher-categorical analog of the fact that a (2,1)-dimensional TQFT is determined by a Frobenius algebra). Then the motivating question is: how can we extend this theory all the way down to a point (i.e. have it assign something to a point, so that $\mathcal{C}$ is somehow composed of naturally occurring morphisms).

So the question is: if we know what $\mathcal{C}$ is, what does that tell us about the “colours” that could be assigned to a boundary. There’s a fairly elegant way to take on this question by looking at what’s assigned to Wilson lines, the observables that matter in defining RT-type theories, when the line where we’re observing gets pushed onto the boundary. (See around p14 of the first paper linked above). The colours on lines inside the manifold could be objects of $\mathcal{C}$, and fusing them illustrates the monoidal structure of $\mathcal{C}$. Then the question is what kind of category can be attached to a boundary and be consistent with this.This should be functorial with respect to fusing two lines (i.e. doing this before or after projecting to the boundary should be the same).

They don’t completely characterize the situation, but they give some reasonable arguments which suggest that the result is that the boundary category, a braided monoidal category, ought to be the Drinfel’d centre of something. This is actually a stronger constraint for categories than groups (any commutative group is the centre of something – namely itself – but this isn’t true for monoidal categories).

2-Knots

Joost Slingerland gave a talk called “Local Representations of the Loop Braid Group”, which was quite nice. The Loop Braid Group was introduced by the late Xiao-Song Lin (whom I had the pleasure to know at UCR) as an interesting generalization of the braid group $B_n$. $B_n$ is the “motion group” of isomorphism classes of motions of $n$ particles in a plane: in such a motion, we let the particles move around arbitrarily, before ending up occupying the same points occupied initially. (In the “pure braid group”, each individual point must end up where it started – in the braid group, they can swap places). Up to diffeomorphism, this keeps track of how they move around each other – not just how they exchange places, but which one crosses in front of which, etc. The loop braid group does the same for loops embedded in 3D space. Now, if the loops always stay far away from each other, one possibility is that a motion amounts to a permutation in which the loops switch places: two paths through 3D space (or 4D spacetime) can always be untangled. On the other hand, loops can pass THROUGH each other, as seen at the beginning of this video:

This is analogous to two points braiding in 2D space (i.e. strands twisting around each other in 3D spacetime), although in fact these “slide moves” form a group which is different from just the pure braid group – but $PB_n$ fits inside them. In particular, the slide moves satisfy some of the same relations as the braid group – the Yang-Baxter equations.

The final thing that can happen is that loops might move, “flip over”, and return to their original position with reversed orientation. So the loop braid group can be broken down as $LB_n = Slide_n \rtimes (\mathbb{Z}_2)^n \rtimes S_n$. Every loop braid could be “closed up” to a 4D knotted surface, though not every knotted surface would be of this form. For one thing, our loops have a trivial embedding in 3D space here – to get every possible knotted surface, we’d need to have knots and links sliding around, braiding through each other, merging and splitting, etc. Knotted surfaces are much more complex than knotted circles, just as the topology of embedded circles is more complex than that of embedded points.

The talk described some work on the “local representations” of $LB_n$: representations on spaces where each loop is attached some $k$-dimensional vector space $V$ (this is the “local dimension”), so that the motions of $n$ loops gets represented on $V^{\otimes n}$ (a tensor product of $n$ copies of $V$). This is already rather complex, but is much easier than looking for arbitrary representations of $LB_n$ on any old vector space (“nonlocal” representations, if you like). Now, in particular, for local dimension 2, this boils down to some simple matrices which can be worked out – the slide moves are either represented by some permutation matrices, or some tensor products of rotation matrices, or a few other cases which can all be classified.

Toward the end, Dror Bar-Natan also gave a talk that touched on knotted surfaces, called “A Partial Reduction of BF Theory to Combinatorics“. The mention of BF theory – a kind of higher gauge theory that can be described locally in terms of a 1-form and a 2-form on a manifold – is basically to set up some discussion of knotted surfaces (the combinatorics it reduces to). The point is that, like many field theories, BF theory amplitudes can be calculated using a sum over certain Feynman diagrams – but these ones are diagrams that lie partly in certain knotted surfaces. (See the rather remarkable handout in the link above for lots of pictures). This is sort of analogous to how some gauge theories in 3D boil down to knot invariants – for knots that live on the boundary of a region cut out of the 3-manifold. This is similar, for a knotted surface in a 4-manifold.

The “combinatorics” boils down to showing some diagram presentations of these knotted surfaces – particularly, a special type called a “ribbon knot”, which is a certain kind of knotted sphere. The combinatorics show that these special knotted surfaces all correspond to ordinary knotted circles in 3D (in the handout, you’ll see the Gauss diagram for a knot – a picture which shows which points along a line cross over or under each other in a presentation of the knot – used to construct a corresponding ribbon knot). But do check out the handout for some pictures which show several different ways of presenting 2-knots.

(…To be continued in Part 2…)

This entry is a by-special-request blog, which Derek Wise invited me to write for the blog associated with the International Loop Quantum Gravity Seminar, and it will appear over there as well.  The ILQGS is a long-running regular seminar which runs as a teleconference, with people joining in from various countries, on various topics which are more or less closely related to Loop Quantum Gravity and the interests of people who work on it.  The custom is that when someone gives a talk, someone else writes up a description of the talk for the ILQGS blog, and Derek invited me to write up a description of his talk.  The audio file of the talk itself is available in .aiff and .wav formats, and the slides are here.

The talk that Derek gave was based on a project of his and Steffen Gielen’s, which has taken written form in a few papers (two shorter ones, “Spontaneously broken Lorentz symmetry for Hamiltonian gravity“, “Linking Covariant and Canonical General Relativity via Local Observers“, and a new, longer one called “Lifting General Relativity to Observer Space“).

The key idea behind this project is the notion of “observer space”, which is exactly what it sounds like: a space of all observers in a given universe.  This is easiest to picture when one has a spacetime – a manifold with a Lorentzian metric, $(M,g)$ – to begin with.  Then an observer can be specified by choosing a particular point $(x_0,x_1,x_2,x_3) = \mathbf{x}$ in spacetime, as well as a unit future-directed timelike vector $v$.  This vector is a tangent to the observer’s worldline at $\mathbf{x}$.  The observer space is therefore a bundle over $M$, the “future unit tangent bundle”.  However, using the notion of a “Cartan geometry”, one can give a general definition of observer space which makes sense even when there is no underlying $(M,g)$.

The result is a surprising, relatively new physical intuition is that “spacetime” is a local and observer-dependent notion, which in some special cases can be extended so that all observers see the same spacetime.  This is somewhat related to the relativity of locality, which I’ve blogged about previously.  Geometrically, it is similar to the fact that a slicing of spacetime into space and time is not unique, and not respected by the full symmetries of the theory of Relativity, even for flat spacetime (much less for the case of General Relativity).  Similarly, we will see a notion of “observer space”, which can sometimes be turned into a bundle over an objective spacetime $M$, but not in all cases.

So, how is this described mathematically?  In particular, what did I mean up there by saying that spacetime becomes observer-dependent?

Cartan Geometry

The answer uses Cartan geometry, which is a framework for differential geometry that is slightly broader than what is commonly used in physics.  Roughly, one can say “Cartan geometry is to Klein geometry as Riemannian geometry is to Euclidean geometry”.  The more familiar direction of generalization here is the fact that, like Riemannian geometry, Cartan is concerned with manifolds which have local models in terms of simple, “flat” geometries, but which have curvature, and fail to be homogeneous.  First let’s remember how Klein geometry works.

Klein’s Erlangen Program, carried out in the mid-19th-century, systematically brought abstract algebra, and specifically the theory of Lie groups, into geometry, by placing the idea of symmetry in the leading role.  It describes “homogeneous spaces”, which are geometries in which every point is indistinguishable from every other point.  This is expressed by the existence of a transitive action of some Lie group $G$ of all symmetries on an underlying space.  Any given point $x$ will be fixed by some symmetries, and not others, so one also has a subgroup $H = Stab(x) \subset G$.  This is the “stabilizer subgroup”, consisting of all symmetries which fix $x$.  That the space is homogeneous means that for any two points $x,y$, the subgroups $Stab(x)$ and $Stab(y)$ are conjugate (by a symmetry taking $x$ to $y$).  Then the homogeneous space, or Klein geometry, associated to $(G,H)$ is, up to isomorphism, just the same as the quotient space $G/H$ of the obvious action of $H$ on $G$.

The advantage of this program is that it has a great many examples, but the most relevant ones for now are:

• $n$-dimensional Euclidean space. the Euclidean group $ISO(n) = SO(n) \ltimes \mathbb{R}^n$ is precisely the group of transformations that leave the data of Euclidean geometry, lengths and angles, invariant.  It acts transitively on $\mathbb{R}^n$.  Any point will be fixed by the group of rotations centred at that point, which is a subgroup of $ISO(n)$ isomorphic to $SO(n)$.  Klein’s insight is to reverse this: we may define Euclidean space by $R^n \cong ISO(n)/SO(n)$.
• $n$-dimensional Minkowski space.  Similarly, we can define this space to be $ISO(n-1,1)/SO(n-1,1)$.  The Euclidean group has been replaced by the Poincaré group, and rotations by the Lorentz group (of rotations and boosts), but otherwise the situation is essentially the same.
• de Sitter space.  As a Klein geometry, this is the quotient $SO(4,1)/SO(3,1)$.  That is, the stabilizer of any point is the Lorentz group – so things look locally rather similar to Minkowski space around any given point.  But the global symmetries of de Sitter space are different.  Even more, it looks like Minkowski space locally in the sense that the Lie algebras give representations $so(4,1)/so(3,1)$ and $iso(3,1)/so(3,1)$ are identical, seen as representations of $SO(3,1)$.  It’s natural to identify them with the tangent space at a point.  de Sitter space as a whole is easiest to visualize as a 4D hyperboloid in $\mathbb{R}^5$.  This is supposed to be seen as a local model of spacetime in a theory in which there is a cosmological constant that gives empty space a constant negative curvature.
• anti-de Sitter space. This is similar, but now the quotient is $SO(3,2)/SO(3,1)$ – in fact, this whole theory goes through for any of the last three examples: Minkowski; de Sitter; and anti-de Sitter, each of which acts as a “local model” for spacetime in General Relativity with the cosmological constant, respectively: zero; positive; and negative.

Now, what does it mean to say that a Cartan geometry has a local model?  Well, just as a Lorentzian or Riemannian manifold is “locally modelled” by Minkowski or Euclidean space, a Cartan geometry is locally modelled by some Klein geometry.  This is best described in terms of a connection on a principal $G$-bundle, and the associated $G/H$-bundle, over some manifold $M$.  The crucial bundle in a Riemannian or Lorenztian geometry is the frame bundle: the fibre over each point consists of all the ways to isometrically embed a standard Euclidean or Minkowski space into the tangent space.  A connection on this bundle specifies how this embedding should transform as one moves along a path.  It’s determined by a 1-form on $M$, valued in the Lie algebra of $G$.

Given a parametrized path, one can apply this form to the tangent vector at each point, and get a Lie algebra-valued answer.  Integrating along the path, we get a path in the Lie group $G$ (which is independent of the parametrization).  This is called a “development” of the path, and by applying the $G$-values to the model space $G/H$, we see that the connection tells us how to move through a copy of $G/H$ as we move along the path.  The image this suggests is of “rolling without slipping” – think of the case where the model space is a sphere.  The connection describes how the model space “rolls” over the surface of the manifold $M$.  Curvature of the connection measures the failure to commute of the processes of rolling in two different directions.  A connection with zero curvature describes a space which (locally at least) looks exactly like the model space: picture a sphere rolling against its mirror image.  Transporting the sphere-shaped fibre around any closed curve always brings it back to its starting position. Now, curvature is defined in terms of transports of these Klein-geometry fibres.  If curvature is measured by the development of curves, we can think of each homogeneous space as a flat Cartan geometry with itself as a local model.

This idea, that the curvature of a manifold depends on the model geometry being used to measure it, shows up in the way we apply this geometry to physics.

Gravity and Cartan Geometry

MacDowell-Mansouri gravity can be understood as a theory in which General Relativity is modelled by a Cartan geometry.  Of course, a standard way of presenting GR is in terms of the geometry of a Lorentzian manifold.  In the Palatini formalism, the basic fields are a connection $A$ and a vierbein (coframe field) called $e$, with dynamics encoded in the Palatini action, which is the integral over $M$ of $R[\omega] \wedge e \wedge e$, where $R$ is the curvature 2-form for $\omega$.

This can be derived from a Cartan geometry, whose model geometry is de Sitter space $SO(4,1)/SO(3,1)$.   Then MacDowell-Mansouri gravity gets $\omega$ and $e$ by splitting the Lie algebra as $so(4,1) = so(3,1) \oplus \mathbb{R^4}$.  This “breaks the full symmetry” at each point.  Then one has a fairly natural action on the $so(4,1)$-connection:

$\int_M tr(F_h \wedge \star F_h)$

Here, $F_h$ is the $so(3,1)$ part of the curvature of the big connection.  The splitting of the connection means that $F_h = R + e \wedge e$, and the action above is rewritten, up to a normalization, as the Palatini action for General Relativity (plus a topological term, which has no effect on the equations of motion we get from the action).  So General Relativity can be written as the theory of a Cartan geometry modelled on de Sitter space.

The cosmological constant in GR shows up because a “flat” connection for a Cartan geometry based on de Sitter space will look (if measured by Minkowski space) as if it has constant curvature which is exactly that of the model Klein geometry.  The way to think of this is to take the fibre bundle of homogeneous model spaces as a replacement for the tangent bundle to the manifold.  The fibre at each point describes the local appearance of spacetime.  If empty spacetime is flat, this local model is Minkowski space, $ISO(3,1)/SO(3,1)$, and one can really speak of tangent “vectors”.  The tangent homogeneous space is not linear.  In these first cases, the fibres are not vector spaces, precisely because the large group of symmetries doesn’t contain a group of translations, but they are Klein geometries constructed in just the same way as Minkowski space. Thus, the local description of the connection in terms of $Lie(G)$-valued forms can be treated in the same way, regardless of which Klein geometry $G/H$ occurs in the fibres.  In particular, General Relativity, formulated in terms of Cartan geometry, always says that, in the absence of matter, the geometry of space is flat, and the cosmological constant is included naturally by the choice of which Klein geometry is the local model of spacetime.

Observer Space

The idea in defining an observer space is to combine two symmetry reductions into one.  The reduction from $SO(4,1)$ to $SO(3,1)$ gives de Sitter space, $SO(4,1)/SO(3,1)$ as a model Klein geometry, which reflects the “symmetry breaking” that happens when choosing one particular point in spacetime, or event.  Then, the reduction of $SO(3,1)$ to $SO(3)$ similarly reflects the symmetry breaking that occurs when one chooses a specific time direction (a future-directed unit timelike vector).  These are the tangent vectors to the worldline of an observer at the chosen point, so $SO(3,1)/SO(3)$ the model Klein geometry, is the space of such possible observers.  The stabilizer subgroup for a point in this space consists of just the rotations of space around the corresponding observer – the boosts in $SO(3,1)$ translate between observers.  So locally, choosing an observer amounts to a splitting of the model spacetime at the point into a product of space and time. If we combine both reductions at once, we get the 7-dimensional Klein geometry $SO(4,1)/SO(3)$.  This is just the future unit tangent bundle of de Sitter space, which we think of as a homogeneous model for the “space of observers”

A general observer space $O$, however, is just a Cartan geometry modelled on $SO(4,1)/SO(3)$.  This is a 7-dimensional manifold, equipped with the structure of a Cartan geometry.  One class of examples are exactly the future unit tangent bundles to 4-dimensional Lorentzian spacetimes.  In these cases, observer space is naturally a contact manifold: that is, it’s an odd-dimensional manifold equipped with a 1-form $\alpha$, the contact form, which is such that the top-dimensional form $\alpha \wedge d \alpha \wedge \dots \wedge d \alpha$ is nowhere zero.  This is the odd-dimensional analog of a symplectic manifold.  Contact manifolds are, intuitively, configuration spaces of systems which involve “rolling without slipping” – for instance, a sphere rolling on a plane.  In this case, it’s better to think of the local space of observers which “rolls without slipping” on a spacetime manifold $M$.

Now, Minkowski space has a slicing into space and time – in fact, one for each observer, who defines the time direction, but the time coordinate does not transform in any meaningful way under the symmetries of the theory, and different observers will choose different ones.  In just the same way, the homogeneous model of observer space can naturally be written as a bundle $SO(4,1)/SO(3) \rightarrow SO(4,1)/SO(3,1)$.  But a general observer space $O$ may or may not be a bundle over an ordinary spacetime manifold, $O \rightarrow M$.  Every Cartan geometry $M$ gives rise to an observer space $O$ as the bundle of future-directed timelike vectors, but not every Cartan geometry $O$ is of this form, in any natural way. Indeed, without a further condition, we can’t even reconstruct observer space as such a bundle in an open neighborhood of a given observer.

This may be intuitively surprising: it gives a perfectly concrete geometric model in which “spacetime” is relative and observer-dependent, and perhaps only locally meaningful, in just the same way as the distinction between “space” and “time” in General Relativity. It may be impossible, that is, to determine objectively whether two observers are located at the same base event or not. This is a kind of “Relativity of Locality” which is geometrically much like the by-now more familiar Relativity of Simultaneity. Each observer will reach certain conclusions as to which observers share the same base event, but different observers may not agree.  The coincident observers according to a given observer are those reached by a good class of geodesics in $O$ moving only in directions that observer sees as boosts.

When one can reconstruct $O \rightarrow M$, two observers will agree whether or not they are coincident.  This extra condition which makes this possible is an integrability constraint on the action of the Lie algebra $H$ (in our main example, $H = SO(3,1)$) on the observer space $O$.  In this case, the fibres of the bundle are the orbits of this action, and we have the familiar world of Relativity, where simultaneity may be relative, but locality is absolute.

Lifting Gravity to Observer Space

Apart from describing this model of relative spacetime, another motivation for describing observer space is that one can formulate canonical (Hamiltonian) GR locally near each point in such an observer space.  The goal is to make a link between covariant and canonical quantization of gravity.  Covariant quantization treats the geometry of spacetime all at once, by means of a Lagrangian action functional.  This is mathematically appealing, since it respects the symmetry of General Relativity, namely its diffeomorphism-invariance.  On the other hand, it is remote from the canonical (Hamiltonian) approach to quantization of physical systems, in which the concept of time is fundamental. In the canonical approach, one gets a Hilbert space by quantizing the space of states of a system at a given point in time, and the Hamiltonian for the theory describes its evolution.  This is problematic for diffeomorphism-, or even Lorentz-invariance, since coordinate time depends on a choice of observer.  The point of observer space is that we consider all these choices at once.  Describing GR in $O$ is both covariant, and based on (local) choices of time direction.

This is easiest to describe in the case of a bundle $O \rightarrow M$.  Then a “field of observers” to be a section of the bundle: a choice, at each base event in $M$, of an observer based at that event.  A field of observers may or may not correspond to a particular decomposition of spacetime into space evolving in time, but locally, at each point in $O$, it always looks like one.  The resulting theory describes the dynamics of space-geometry over time, as seen locally by a given observer.  In this case, a Cartan connection on observer space is described by to a $Lie(SO(4,1))$-valued form.  This decomposes into four Lie-algebra valued forms, interpreted as infinitesimal transformations of the model observer by: (1) spatial rotations; (2) boosts; (3) spatial translations; (4) time translation.  The four-fold division is based on two distinctions: first, between the base event at which the observer lives, and the choice of observer (i.e. the reduction of $SO(4,1)$ to $SO(3,1)$, which symmetry breaking entails choosing a point); and second, between space and time (i.e. the reduction of $SO(3,1)$ to $SO(3)$, which symmetry breaking entails choosing a time direction).

This splitting, along the same lines as the one in MacDowell-Mansouri gravity described above, suggests that one could lift GR to a theory on an observer space $O$.  This amount to describing fields on $O$ and an action functional, so that the splitting of the fields gives back the usual fields of GR on spacetime, and the action gives back the usual action.  This part of the project is still under development, but this lifting has been described.  In the case when there is no “objective” spacetime, the result includes some surprising new fields which it’s not clear how to deal with, but when there is an objective spacetime, the resulting theory looks just like GR.

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.

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…

Next Page »