11
$\begingroup$

It is common for the first or second degree of various cohomologies to classify extensions of various sorts. Here are some examples of what I mean:

1) Derived functor of hom, $\text{Ext}^1_R(M, N)$. Let $R$ be a ring (not necessarily commutative, with a $1$). As is its namesake, $\text{Ext}^1_R (M, N)$ classifies extensions $0 \rightarrow N \rightarrow L \rightarrow M \rightarrow 0$ up to isomorphism. We can put an abelian group structure on this, the Baer sum.

2) Quillen cohomology, $\text{D}^1_{R} (A/B, M)$. Let $R$ be a commutative ring and let $A$ be an $R$-algebra. Let $B$ Be an $R$-algebra with a map into $A$ (so we have a sequence $R \rightarrow A \rightarrow B$). The first Andre-Quillen cohomology $D^1(A/B, M)$ is $\text{Exalcomm}(A/B, M)$, the set of $A$-algebra extensions $0 \rightarrow M \rightarrow C \rightarrow B \rightarrow 0$, where we set $a b = 0$ for $a, b \in M$.

In other cohomologies, $H^2$ classifies extensions:

3) Group cohomology, $H^2(G;M)$. Let $G$ be a group, and let $M$ be a $G$-module. $H^2(G;M)$ classifies extensions $0 \rightarrow M \rightarrow L \rightarrow G \rightarrow 0$ where $L$ is a $G$-module and $M$ has the same $G$-module structure as the one inherited from $L$.

4) Lie algebra cohomology, $H^2(\mathfrak{g};M)$. Let $R$ be a ring. Let $\mathfrak{g}$ be a Lie-algebra over $R$, and let $\mathfrak{a}$ be an abelian Lie-algebra over $R$. $H^2(\mathfrak{g}, \mathfrak{a})$ classifies central extensions $0 \rightarrow \mathfrak{a} \rightarrow \mathfrak{h} \rightarrow \mathfrak{g} \rightarrow 0$. See remark 4.7. here.

5) Hoschild cohomology, $H^2(R, M)$. Let $R$ be a commutative ring. The Hoschild cohomology module $H^2(R, M)$ classifies extensions $0 \rightarrow M \rightarrow S \rightarrow R \rightarrow 0$ where $ab = 0$ for $a, b \in M$. Note that Hoschild cohomology and Quillen cohomology are related; often $D^{n+1}(R, M) = H^n(R, M)$.

(1) and (2) are potentially different from (3) and (4), but there is the mentioned relationship between (2) and (5).

I am wondering if there is a (possibly categorical) unification of these theorems. Probably it would be easier to unify (1) and (2), and (3) and (4) separately- I can't say for sure there is a relationship between these pairs.


There is probably even a generalization to "extensions of length $n$" for many of these. For instance, $\text{Ext}^n(M, N)$ classifies exact sequences $0 \rightarrow N \rightarrow X_1 \rightarrow \cdots \rightarrow X_n \rightarrow M \rightarrow 0$ (See Weibel, $\textit{An Introduction to Homological Algebra}$, 3.4.6)

$\endgroup$
  • 4
    $\begingroup$ These are just Ext's in some abelian category, i.e., cohomology of derived Hom in some derived category. For instance, group cohomology H^i(G, M) is Ext^i(Z, M) in Z[G]-modules. Cohomology is just extensions: for example, if HZ denotes the Eilenberg-Maclane spectrum, then H^n(X; Z) = [X, K(Z,n)] = [X_+, S^n HZ], where X_+ is the suspension spectrum of X. This can be thought of as "Ext^n(X_+, HZ)" in spectra, but it's really just pi_{-n} of the mapping spectrum Map(X_+, HZ). Not sure if there's anything more general that can be said. $\endgroup$ – skd Nov 8 at 16:32
  • 2
    $\begingroup$ Also, 2) and 3) are related by being Ext^k in categories of sheaves on a space: Spec(R) for 2), and BG for 3). $\endgroup$ – Qfwfq Nov 8 at 16:42
  • 1
    $\begingroup$ @skd: what's the explanation for the cohomology degree being 1 for 1) and 2 for 3) while both classify "two step" extensions? Is the H^2 figuring in 3) actually an Ext^1 in the appropriate abelian category? (You may have already answered this in your comment but I'm not knowledgeable in homotopy theory..) $\endgroup$ – Qfwfq Nov 8 at 16:56
  • 2
    $\begingroup$ @skd. Can you explain a bit more? What about the quillen cohomology example, which is from the derived category of rings (one's choice of simplicial rings / DGAs / $E-\infty$ ring spectra)? Maybe I see... we are considering the composition of the derived functor of $\text{Hom}_R(-, N)$ and the derived abelianization functor. And I still need to work out why we get extensions of $G$ in group cohomology and not extensions of $R[G]$. $\endgroup$ – Dean Young Nov 8 at 16:57
  • 3
    $\begingroup$ Yeah, I think the answer is basically the general theory of the cotangent complex (and the observation that cohomology = certain Ext groups), but someone should write down a proper explanation of it $\endgroup$ – Denis Nardin Nov 8 at 17:52
11
$\begingroup$

$\newcommand{\cA}{\mathcal{A}}\newcommand{\Ext}{\mathrm{Ext}}\newcommand{\Hom}{\mathrm{Hom}}$Let $\cA$ be an abelian category; then, $\Ext_\cA^i(A,B)$ is literally $\Hom_{D(\cA)}(A, B[i])$, where $B[i]$ denotes the shift. A good way of thinking about this is as the cohomology of the derived Hom $\mathrm{R}\Hom_{D(\cA)}(A, B)$. In the case $i=1$, an element of $\Ext^1_\cA(A,B)$ is then literally a map $A\to B[1]$. The kernel $K$ of this map (in the derived category) defines a distinguished triangle $K\to A\to B[1]$. Since we're working in a derived --- in particular, triangulated --- category, we can rotate this further back to a distinguished triangle $B\to K\to A$. This is precisely the data of an extension.

Choosing $\cA$ correctly specializes to most of the examples you wrote in your question. For instance:

  • If $\cA = \mathrm{Mod}_R$ for some commutative ring $R$, then $\Ext_\cA$ is literally the Ext-group that you wrote down.
  • If $G$ is a group, then $\cA$ can be the category of representations of $G$ on $\mathbf{Z}$-modules (i.e., abelian groups). Recall that a representation is just a module over a group ring. In this case, the group cohomology $\mathrm{H}^i(G; M)$ is $\Ext^i_{\mathbf{Z}[G]}(\mathbf{Z}, M)$: you can think of this as derived Homs from the unit object $\mathbf{Z}$ into your $G$-representation. I'll address central extensions below.
  • If $\cA$ is the category of modules over the universal enveloping algebra $U(\mathfrak{g})$ of a Lie algebra $\mathfrak{g}$ over $k$, then $\mathrm{H}^i(\mathfrak{g}; M) = \Ext^i_{U(\mathfrak{g})}(k, M)$. Again, these are derived Homs from the unit object $k$ into your $\mathfrak{g}$-module.
  • If $A$ is a $k$-algebra, and $\cA$ is the category of $A$-$A$-bimodules, then Hochschild cohomology is $\Ext^i_{D(\cA)}(A, M)$. Again, these are homs from the unit object $A$ into your $A$-$A$-bimodule.
  • Andre-Quillen cohomology fits into this formalism as well, but this time you're not taking derived Homs into an object in the heart of your derived category (i.e., a usual module). Let $A$ be a commutative ring, and $B$ be an $A$-algebra. If $M$ is a $B$-module, then the Andre-Quillen cohomology is (by definition) the cohomology of the derived Hom $\mathrm{RHom}_B(L_{B/A}, M)$. But if $P_\bullet$ is a simplicial cofibrant resolution of $B$ as an $A$-algebra, we have $\mathrm{RHom}_B(L_{B/A}, M) = \mathrm{Der}_A(P_\bullet, M)$ --- that's what the cotangent complex represents. If you write down what the first cohomology group of this thing is, like with the above examples, you'll get precisely the result you stated in the question.

    By the way, one relation between Andre-Quillen cohomology and Hochschild cohomology comes from the Hochschild-Kostant-Rosenberg theorem, which says that if $k$ is of characteristic $0$, then the Hochschild homology $A\otimes_{A\otimes_k A^{op}}^\mathbf{L} A$ of a $k$-algebra $A$ is given by $\Omega^\bullet_{A/k} = \mathrm{Sym}^\bullet(\Omega^1_{A/k}[1])$. One can think of the Hochschild homology as the homotopy colimit of the constant $S^1$-indexed diagram (where $S^1$ is the simplicial circle $\Delta^1/\partial \Delta^1$) in simplicial $k$-algebras with value $A$, so there's an $S^1$-action on $\Omega^\bullet_{A/k}$. This defines a map $C_\ast(S^1; k)\otimes_k \Omega^\bullet_{A/k}\to \Omega^\bullet_{A/k}$ in the derived category of $k$-modules. But $S^1$ is rationally formal, and so $C^\ast(S^1; k) = k[d]/d^2$, where $d$ lives in degree $1$; the action of $d$ on $\Omega^\bullet_{A/k}$ is precisely the de Rham differential.

Before moving to central extensions, let me say that there wasn't much about derived categories of abelian categories that I used above, other than the facts that they have a notion of distinguished triangles which you can rotate (already true in triangulated categories) and that they are enriched over abelian groups (so taking cohomology of complexes makes sense). You can do all of these constructions more generally in stable model categories/stable $\infty$-categories, and in these more general cases, you recover the simple man's cohomology from algebraic topology 1.

More precisely, let's replace $\cA$ with the category $\mathrm{Sp}$ of spectra, so shifts are now given by suspension. We can then still form "derived Hom", i.e., the mapping spectrum. If $X$ is a spectrum, and $E$ is a spectrum, then $\Hom_\mathrm{Sp}(X, \Sigma^i E)$ is a perfectly well-defined spectrum, and its $\pi_0$ is just the cohomology group $E^i(X)$. Of course, you can replace $\mathrm{Sp}$ with, for instance, modules over a structured ring spectrum, and the same sort of construction holds. If your structured ring spectrum is the Eilenberg-Maclane spectrum associated to a classical ring $R$, then you'd be working in the derived category of chain complexes over $R$. It is important to remark, however, that the cotangent complex in this spectral world of a discrete ring regarded as a structured ring spectrum is not the same as the usual notion of cotangent complex: this is the distinction between topological Andre-Quillen cohomology and ordinary Andre-Quillen cohomology. (If $R$ is a $\mathbf{Q}$-algebra, then all is well and everything agrees with the classical notions.)

As Qfwfq states in the comments, the first, second, and fifth examples (in the order listed in my answer) can all be thought of as taking place in the category of sheaves over an algebro-geometric object. For example, $\mathrm{Mod}_R = \mathrm{QCoh}(\mathrm{Spec}(R))$, while $G$-representations on $\mathbf{Z}$-modules are $\mathrm{QCoh}(\mathrm{Spec}(\mathbf{Z})/G)$, where $X/G$ denotes the stacky quotient. For the fifth example, you have to work in the stable category of quasicoherent sheaves on the derived scheme $\mathrm{Spec}(B)$. In the third example, you'd be working in the stable category of left modules (in spectra) over $U(\mathfrak{g})$. In fourth example, you can do the same thing: the category of $A$-$A$-bimodules is the stable category of left modules (in spectra) over $A\otimes_k A^{op}$.

OK, what about central extensions and $\mathrm{H}^2$? Consider the case of the group cohomology $\mathrm{H}^2(G; M)$, where $M$ has a $G$-action. An element in this is given by a map $BG\to B^2 M$, which upon looping defines a loop map $G\to BM$. Let $L$ denote the fiber of this map; then, rotating this loop map defines a fiber sequence $M\to L\to G$ of loop spaces, i.e., a group extension. Moreover, the map $M\to L$ is central. Of course, this argument is pretty general, and you can run it in the Lie algebra setting as well.

As for obstruction theory: there's a lot to say here, and I've already written a bunch in this answer. However, this is the point of cotangent complexes: the recipe is to break down your obstruction theory problem into understanding extending along square-zero extensions, and then you're in the land of derivations. I can elaborate more if you'd like.

$\endgroup$
  • $\begingroup$ Thanks for the great answer! I am definitely interested if you have the time to elaborate on the last paragraph. $\endgroup$ – Dean Young Nov 9 at 17:06
  • $\begingroup$ Great answer indeed! $\endgroup$ – André Henriques Nov 9 at 21:14
3
$\begingroup$

There is a general simplicial theory of n-torsors due in part to Duskin (see J. Duskin, 1975, Simplicial methods and the interpretation of “triple” cohomology, number 163 in Mem. Amer. Math. Soc., 3, Amer. Math. Soc., and then P. Glenn, Realization of cohomology classes in arbitrary exact categories, J. Pure. Appl. Alg., 25, (1982), 33 – 105.) That theory is quite abstract and VERY general. In other cases, for instance in group cohomology, a related set of results is found in J. Huebschmann, Crossed n-fold extensions of groups and cohomology, Comm. Math. Helv., 55, (1980), 302 – 313. Those papers are quite old now and there is more up to date treatments including work by Beke, Aldrovandi and others with varying amounts of `geometric' input and interpretation.

The generalisation of this to obstruction theoretic versions in non-abelian settings can be found in papers by Breen, eg. On the classification of 2-gerbes and 2-stacks, Ast ́erisque, 225, (1994), 160, and nice notes of his: L. Breen, 2009, Notes on 1-and 2-gerbes, in J. Baez and J. May, eds., Towards Higher Cat- egories, volume 152 of The IMA Volumes in Mathematics and its Applications, 193–235, Springer.

$\endgroup$
  • $\begingroup$ I somehow omitted to mention Illusie's thesis: L. Illusie, 1971, Complexe cotangent et déformations I , volume 239 of Lecture Notes in Maths , Springer-Verlag with a second volume No 283. which provides a lot of the 1970s development work in the simplicial context and relates to a lot of work since then $\endgroup$ – Tim Porter Nov 12 at 9:41
1
$\begingroup$

This is not an answer, but just some pointers to things I guess are related! I posted this in the comments, but it got really messy. So I moved it here.

-- original comments below --

I also want to learn more about this. There's definitely a deep relation among obstruction theory, extension problem, cohomology theory, deformation theory, .. etc

Some relating urls could be helpful:

  1. Deligne's letter to Miller (mathoverflow.net/questions/249979/delignes-letter-to-millson).
  2. Why are deformations cohomological? (mathieu.anel.free.fr/mat/doc/…)
  3. John Baez's lecture note "n-category and cohomology" (http://www.math.uchicago.edu/~may/IMA/BaezShulman.pdf)

In particular, roughly speaking: (1) Deligne pointed out that any (reasonable) deformation problem is governed by a "Lie algebra". (3) Baez addressed your algebraic extension problems quite nicely.. but I'd hope to see a complete picture that connects this (algebraic extension problem) with geometric picture (obstruction theory). I would guess the answer lies in the simplicial methods.

$\endgroup$
  • 1
    $\begingroup$ Thanks, +1. I definitely will have to read this letter by Baez. $\endgroup$ – Dean Young Nov 9 at 2:41

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.