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.
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 , 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 on categories. This starting point is nice, because it can work by just mimicking the construction of and representations in terms of weight spaces: one gets categories which correspond to the “weight spaces” (usually just vector spaces), and the and 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 -dimensional space. A simple example is the Grassmannian , which is the space of all 1-dimensional subspaces of (i.e. the projective space ), which is of course an algebraic variety. Likewise, , the space of all -dimensional subspaces of is a variety. The flag variety consists of all pairs , of a -dimensional subspace of , inside a -dimensional subspace (the case 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”, (where is -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 as relating the Grassmanians: there are projections and , 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 , 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 (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 commuting variables, , generated by the multiplication operators , 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 -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 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 web algebra, describing the results of this paper with Weiwei Pan and Daniel Tubbenhauer. This is the analog of the above, for , 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.
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 (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 .
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” of two groups and (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:
( is certain group of matrices). So there’s a unique double group which corresponds to it – it has squares labelled by , and the horizontial and vertical morphisms by elements of and respectively. Dany finished by explaining that there are higher-dimensional analogs of all this – -tuple categories can be defined recursively by internalization (“internal categories in -tuple-Cat”). There are somewhat more sophisticated versions of the same kind of structure, and finally leading up to a special class of -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 -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.
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 is a quotient of the space of closed forms (so the cohomology, , is a quotient of the space of closed -forms – the quotient being that forms differing by a coboundary are considered the same). There’s a similar construction for the -theory , which can be modelled as a quotient of the space of vector bundles over . 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 -dimensional manifolds and -dimensional cobordisms
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 , 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 -dimensional space has the sheaf of rings where one introduces some new antisymmetric coordinate functions , the “fermionic dimensions”:
Then a supersymmetric TFT is a functor:
(where 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 -dimensional extended TFT (that is, with 0 bosonic and 1 fermionic dimension), and -theory to a -dimensional extended TFT. The Stoltz-Teichner Conjecture is that the third example (topological modular forms) is related in the same way to a -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 shifts things by one categorical level: its points are loops in , and its paths are therefore certain 2-morphisms of . 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 . The general notion of n-plectic geometry, where the usual symplectic geometry is the case , involves a -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 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!