I’m going up to Ottawa for a few days, in part to talk about spans and groupoids (basically, some cross section of the material in these posts here) at a conference put on by the Ottawa U math department, primarily for grad students and postdocs in the general vicinity. This is nice – gives me a chance to visit my parents and friends there (the fraction of my life I lived in Ottawa is now creeping down toward a mere third, but it probably has as strong a claim to “home” as anywhere). May is also one of the most tolerable months to be there. One of the grad students in our department is also going. Enxin Wu recently decided to start working with Dan Christensen too, so probably in future we’ll have various things to talk about. Last week, he gave a seminar talk on algebra deformation that was a long version of the one he’ll be giving in Ottawa.

Enxin is one of those guys who seems to really understand – it’s tempting to say *grok*- algebra, which I always find impressive. I’m a predominantly visual thinker, and the kind of symbolic computations common in algebra always seem a little mysterious to me at first until I can find a picture, or at least practice them a lot. Lie groups, for instance, make some sense to me – you can picture rotation groups, or at least keep a geometric picture of a manifold in mind. Lie algebras, being infinitesimal versions of Lie groups, are also not so hard to visualize. General associative algebras? Harder.

The talk was about associative algebras, to give some background on deformation, but the things whose deformations Enxin has been thinking about are -algebras (see this brief intro, for instance), an “invention” of Stasheff. The talk was about deformation of these algebras – the kind of deformation that pertains to deformation quantization. This has been studied by Kontsevich. Deformation quantization has to do with replacing things valued in some algebra by new things, valued in the bigger algebra of formal power series in with coefficients in , so that the original structure you started with is just the constant part that appears when you set . (The term “quantization” applies when you consider algebras of functions on a manifold, with a Poisson bracket – in other words, algebras of observables of a physical system).

Some of the main results have to do with the Hochschild cohomology for some complex associated to the algebra you start with, and the fact that this cohomology classifies obstructions to the deformation. I expected to get lost in a maze of notation – and there certainly is a lot – but as it turns out, I had some mental pictures to attach to these things, because related things came up a few years ago in the quantum gravity seminar at UCR (week 8 on that page especially), which provides a few pictures that helped a lot. Diagrammatic notation makes algebra a lot more comprehensible to me.

So let’s get more specific.

The point is to replace a multiplication operator with a power series whose coefficients are “multiplication” operators. That is, a deformation of an associative algebra (where is the multiplication for ) is , where the new multiplication is defined (by linearity) by its action on elements of , which works like this:

for some operators . Then there are a bunch of conditions on the that are needed to make associative. There’s one condition for each power of , since the coefficients in the associator should be zero:

The condition just says that is associative – so it’s the from the original algebra, which you get back when .

Then given an algebra , you can create the *deformation category* of whose objects are its deformations. The morphisms are continuous algebra homomorphisms that get along with the multiplication operations. It turns out that since formal power series with nonzero term are invertible (a consequence of the Lagrange theorem) this is actually a groupoid. Then the question is to classify the isomorphism classes of deformations – that is, . One can easily imagine that there might be no nontrivial deformations of some algebra – that is, every one is isomorphic to the deformation where all the are trivial except . So when does this happen? More generally, how can one classify the deformations up to isomorphism?

The answer has to do with Hochschild cohomology, which is related to a complex you can make from . Taking , the space of -ary multilinear operations on , you build this complex:

where the differential maps are defined by an alternating sum:

(Intuitively: there are too many arguments, so you start with the extra one on the left, push it into the middle as a “lump under the rug” where two arguments are combined, and push the lump all the way to the right. To ensure that , you do this with alternating signs. This kind of algebraic manipulation is the kind of thing I can do, and clearly works, but I don’t exactly grok.)

Then you take the Hochschild cohomology groups in the standard cohomology way: . A cohomology class in one of these groups is a class of multilinear maps from copies of to (up to a factor which is of something). As usual with cohomology, they describe obstructions to something – to exactness. Exactness, in this setting, would mean that has no interesting deformations at the level.

What does “level” mean here? Well, for example, at level 2 we’re talking about maps , such as the multiplication map. In fact, we have for an associative algebra – you can check that is twice the associator , which is zero. So is a cochain. Is it a coboundary? Sure – it’s . So is in the trivial class in . The point then is that it turns out that if this is the only class – if – then there are no interesting deformations of the multiplication of in the sense described above. The groupoid $\mathcal{D}$ has just one object. (One thing that occurs to me is that this makes it a group – which group is something Enxin didn’t discuss. My algebra instincts aren’t quite up to answering that off the top of my head.) For example, if (as an algebra over ), there are no nontrivial deformations: .

What do the other levels mean? Really, this is where you’d want to look at the generalization from associative algebras to -algebras. Whereas for an associative algebra , the associator $a(x,y,z) = x(yz) – (xy)z$ is zero, in general an -algebra will have an associator map (that is, in the complex above), which might not be zero, but which is .

This is the beginning of a story relating -algebras to weak -categories: a bicategory, for example, has an associator for composition of morphisms. In a bicategory, you expect the associator to satisfy a certain identity – the *Pentagon identity* – but in general you’d just ask for a “pentagonator” (something in ), and so on (this is where those seminar notes above help me think in pictures, by the way). An -algebra is a vector space equipped with maps at all these levels – described by Stasheff’s *associahedra* – satisfying some relations. The general story of deformation relates the Hochschild cohomology groups at different levels to deformations of -algebras. Enxin didn’t go into this in his talk, but he did say a little something about the next level:

An *infinitesimal deformation* of is a deformation not in , but in the quotient . This only needs two maps, . The third Hochschild cohomology measures obstructions to extending an infinitesimal deformation to a full deformation in – if , then any infinitesimal deformation can be extended to a full deformation.

All in all, I thought the talk was interesting – it tied in much more closely to things I already knew about TQFTs and higher categories than I’d expected. I’ll be *really* impressed if he can condense it into a 25-minute version…

May 4, 2008 at 5:27 am

Hi!

I think us visual thinkers have certain advantages when it comes to cohomology over anyone who understand it in terms of chain complexes that are defined using seemingly ad hoc formulas.

But, this more visual understanding involves some elaborate preliminary maneuvers, which go something like this.

First: for any sort of extra structure that we can put on some algebraic gadget, we get a pair of adjoint functors: one the forgets this structure, one that freely adjoins it.

Using this, we can puff up any gadget equipped with this extra structure to a

simplicialversion of this gadget with this extra structure. In this “puffing up” process, also called the “bar resolution”, all the equational laws satisfied by the extra structure get replaced byedges. The equations between equations get replaced bytriangles, and so on.It’s very abstract and general, but it’s all very visual when you do examples. Derek drew a bunch of nice pictures to illustrate my explanations given in our seminar the last quarter you were here.

Then, using this, we can see that any sort of deformation of a given gadget with extra structure can be understood in terms of a map from its puffed-up version to something else. The former equations, now edges, get sent to things that measure

how much those equations now fail. And so on.This deformation theory business is very lightly touched upon at the very end of some lectures on n-categories and cohomology which I gave in Chicago.

Here I emphasize how it’s part of a ‘layer cake’ picture of cohomology. This gets into the n-categorical aspects you mention at the end of your post.

In this ‘layer cake’ picture we use cohomology to classify the

repeatedly categorifiedversions of an algebraic gadget with extra structure. The (n+2)nd cohomology classifies ways we can stack an extra n-categorical layer on top of our original gadget.A very degenerate and somewhat weird special case of this is when we stack on an extra

0-categoricallayer. This is what algebraists call an ‘extension’ – usually something like a ‘central’ extension in the simplest cases.So, certain nice ‘extensions’ are classified by 2nd cohomology.

For example, certain nice extensions of algebras are classified by 2nd Hochschild cohomology!

And, a very nice sort of extension is a ‘deformation’, where the new stuff we’re sticking on involves power series in some deformation parameter, in such a way that we obtain our original gadget when that parameter equals 0.

This is how 2nd Hochschild cohomology deformations of algebras.

This is all rather terse and perhaps surreal, but Derek’s seminar notes and pictures together with my lecture notes fill in the details, especially supplemented with old standbys like MacLane’s book

Homology, and also newer standbys like Rotman’s and Weibel’s books calledIntroduction to Homological Algebra— two separate books with the same title, the first much less advanced than the second!Anybody who understands the simplicial and n-categorical aspects of cohomology and deformation theory has a certain advantage (I claim) over someone who only understands it in terms of chain complexes defined by somewhat ad hoc formulas. So, there’s your opening.