As usual at Chicago, Chris first gave a `pre-talk’ with background material before the main talk. The pretalk was about Clifford algebras, which you all know about (or can read about in TWF). To summarize: we have a sequence of Clifford algebras which are generated by anticommuting square roots of . The sequence is periodic up to Morita equivalence; is , the algebra of real matrices, which is Morita equivalent to , and from then on it repeats every 8 with extra matrix dimensions thrown in.
By the way, Chris remarked on something which I’ve never thought about before: it’s also true that is , so why don’t we get a period of 6 instead of 8? The answer is that the Clifford algebras are really best thought of as -graded algebras, and is not Morita equivalent to as a graded algebra.
All of this has relevance to K-theory, because it turns out that can be represented geometrically by `bundles of Clifford modules’ over . Let’s start with ; we know that elements of are `formal differences’ of vector bundles over . We can model the formal difference with an honest geometric object by using the -graded vector bundle , where is even and is odd. Such a thing should represent the zero class in K-theory just when and are isomorphic; this can be rephrased as saying that there exists an odd operator on (hence, taking to and vice versa) such that . But this just says that has an action of the first Clifford algebra .
More generally, Karoubi proved that for any , can be represented by -module bundles on modulo those such that the -action extends to a -action. When this is what we had above, since a -module is just a vector space. This allows us to deduce Bott periodicity for K-groups from the algebraic periodicity (up to Morita equivalence) of Clifford algebras.
K-theory tells us about bundles of C-modules for a Clifford algebra C, so it cares about the category C-mod of C-modules. A vector bundle can be thought of as a functor from the category of paths in X to Vect, and similarly a C-module bundle is a functor to C-mod.
Now, Clifford algebras live naturally as the 0-cells of a symmetric monoidal bicategory CL2, whose 1-cells are bimodules and whose 2-cells are bimodule maps. Internal equivalence in this bicategory gives us the notion of Morita equivalence. We find the category C-mod inside CL2 as the hom-category from C to the unit 1. Moreover, the endomorphism category CL2(1,1) of the unit object is just the category Vect that we originally thought was telling us about.
What we want to do is find a `higher’ version of all this that applies to elliptic cohomology. We can no longer get away with using finite-dimensional things, so we have to replace our ordinary vector spaces with Hilbert spaces and our Clifford algebras with von Neumann algebras (algebras that embed into operators on a Hilbert space and are complete in an induced topology).
We also move up one level, so that instead of ordinary bundles, we’re talking about functors defined on the 2-category of points, paths, and surfaces in X. Instead of Vect, these 2-functors should land in the 2-category of von Neumann algebras, bimodules, and maps. Thus, this looks like a 2-dimensional QFT, rather than a 1-dimensional one. Stolz and Teichner had the idea that this should tell us something about , the 0-degree part of the elliptic cohomology of .
The goal is now to get information about for higher . By analogy, we hope to find some object like , so that elements of will be represented by functors into -mod. We hope to find some sort of 3-category such that is the 2-category -mod and is the 2-category of von Neumann algebras, bimodules, and maps that we started with for .
The solution proposed by Chris, Arthur Bartels, and Andre Henriques (DBH), is a 3-categorical structure whose objects are conformal nets. A conformal net is a `cosheaf of von Neumann algebras on the category of intervals’. The idea is that you have a von Neumann algebra for each subinterval of an interval, with inclusions for inclusions of intervals, and gluing conditions for unions of subintervals. Chris told us that conformal nets have been around for a while in other contexts, with slightly different definitions. There is a conformal net called the net of free fermions which plays the role of , and the three of them have proven that its order is divisible by 24 (this would be the periodicity, analogous to the 8-periodicity of Clifford algebras). They don’t know what the order actually is yet, but they’re betting on 24 or 48.
The thing I haven’t said much about is the type of `3-categorical structure’ they’re using. It’s not a 3-category or tricategory, but something more like a 3-dimensional version of a double category (or a framed bicategory), provided you interpret that correctly. A double category can be defined to be an internal category object in the 2-category Cat; what they’re looking at is an `internal bicategory object’ in the 2-category of symmetric monoidal categories. This notion is something I thought about myself a while ago as a natural generalization of framed bicategories, but never developed much, so it makes me happy to see that the same idea has occurred to other people independently.
It’s easy to define an internal strict -category object in any category with pullbacks: you have objects of -cells for all , source and target maps , compositions , and so on, satisfying the obvious associativity, unit, and interchange axioms. Given this, it’s not too hard to see what you mean by a `pseudo’ such object (which DBH call a `coherent -category object’) in a 2-category with pullbacks: you weaken the associativity, unit, and interchange axioms to be up to coherent isomorphism in your 2-category. For instance, a pseudo 1-category object in the 2-category of categories is just a pseudo double category. A pseudo 1-category object in the 2-category of symmetric monoidal categories is a symmetric monoidal pseudo double category, and so on. What I’m calling `pseudo -category objects in Cat’ were actually defined by Michael Batanin, who called them `monoidal -globular categories’.
The really neat thing, from my point of view, is that they also impose fibrational conditions on the source and target maps, just like in my definition of framed bicategory. As in the case of monoidal framed bicategories, which I mentioned in the appendix to my paper, here fibrational conditions imply that if you look only at the objects of , the objects of , and the objects and morphisms of , you get an ordinary tricategory—and often with a lot less work than would be involved in checking the definition by hand, since here the only coherence involved is `2-categorical’.
I’ve thought some about this myself, including the example (related to one of theirs) of rings, algebras, and bimodules, but didn’t get around to doing much with it. I also didn’t come up with a good name for these things. The best I’ve thought of so far is `3-level category’. This fits the way I tend to think about them, generalizes nicely to `-level category’, and, like `-fold category’, suggests something -dimensional which isn’t quite the same as an -category.
Actually, DBH end up weakening this notion further, although it’s not clear whether this extra weakness is essential. You can actually define an internal bicategory object in any category with pullbacks, by equipping yourself with maps such as that picks out an associator for each composable triple. And you can then `pseudoify’ that in a 2-category, in an appropriate way. DBH call this a `coherent bicategory object’. If what you pseudoify is the notion of `bicategory with strict associativity’, they call it a `coherent semi-strict bicategory object’. Fibrational conditions on a coherent 2-category object should allow you to `lift’ the coherence to make it a coherent bicategory object as well.
Chris has given me permission to link to his precise definitions of coherent semi-strict bicategory object and coherent 2-category object.
Mike
Re: Higher Clifford Algebras
Sounds good. That’s probably what WIAEO? suggests.
acts on Clifford algebra, via on fermions on the circle.
Dirac-Ramond theory also suggests that 2-Clifford is Clifford algebra on the circle.
What I think we’d eventually want is a way to say: under the principle of least resistance under categorification Dirac operators are this-or-that.
Namely “quantized” covariant derivatives. With “quantized” meaning: send Grassmann to Clifford.
We already know that covariant derivatives are, under the principle-of-least-resistance (namely morphisms into the curvature). So it remains to understand what the notion of “quantization” here is.