Deformation theory and DGLAs II

Let be a field of characteristic zero. In the previous post, we introduced the category (i.e., -category) of formal moduli problems over . A formal moduli problem over is a moduli problem, taking values in spaces, that can be evaluated on the class of “derived” artinian -algebras with residue field : this was the category introduced in the previous post.

In other words, a formal moduli problem was a functor

which was required to send itself to a point, and satisfy a certain cohesiveness condition: respects certain pullbacks in (which corresponded geometrically to pushouts of schemes).

The main goal of the series of posts was to sketch a proof of (and define everything in) the following result:

Theorem 7 (Lurie; Pridham) There is an equivalence of categories between and the -category of DGLAs over .

 

4. Overview

Here’s a rough sketch of the idea. Given a formal moduli problem , we should think of as something like a small space, concentrated at a point but with lots of “infinitesimal” thickening. (Something like a .) Moreover, has a canonical basepoint corresponding to the “trivial deformation.” That is, we can think of as taking values in pointed spaces rather than spaces.

It follows that we can form the loop space  of , which is a new formal moduli problem. However, has more structure: it’s a group object in the category of formal moduli problems — that is, it’s some sort of derived formal Lie group. Moreover, knowledge of the original is equivalent to knowledge of together with its group structure: we can recover as (modulo connectivity issues that end up not being a problem). This relation between ordinary objects and group objects (via ) is something very specific to the derived or homotopy world, and it’s what leads to phenomena such as Koszul duality.

 

Deformation theory and DGLAs I

There’s a “philosophy” in deformation theory that deformation problems in characteristic zero come from dg-Lie algebras. I’ve been trying to learn a little about this. Precise statements have been given by Lurie and Pridham which consider categories of “derived” deformation problems (i.e., deformation problems that can be evaluated on derived rings) and establish equivalences between them and suitable (higher) categories of dg-Lie algebras. I’ve been reading in particular Lurie’s very enjoyable survey of his approach to the problem, which sketches the equivalence in an abstract categorical context with the essential input arising from Koszul duality between Lie algebras and commutative algebras. In this post, I’d just like to say what a “deformation problem” is in the derived world.

1. Introduction

Let be a classical moduli problem. Abstractly, we will think of as a functor

such that, for a (commutative) ring , the set will be realized as maps from into a geometric object—a scheme or maybe an algebraic space.

Example 1 could be the functor that sends to the set of closed subschemes of which are flat over . In this case, comes from a scheme: the Hilbert scheme.

We want to think of as some kind of geometric object and, given a point  for a field (that is, an element of ), we’d like to study the local structure of near .

 

Intersection theory on surfaces

The purpose of this post and the next is to work through a basic example of intersection theory: intersections of curves on a surface. This is a fundamental and basic example in algebraic geometry, and since I’ve never studied intersection theory, it like seems a reasonable place to start. The references here are chapter 5 of Hartshorne’s Algebraic geometry and Mumford’s Lectures on curves on an algebraic surface.

1. Curves on surfaces

The subject of “curves on a surface” is the subject of Mumford’s book mentioned above; the purpose of this section is simply to set down the definitions.

Let be an algebraically closed field. A surface  is a smooth projective surface over . There is a classification of surfaces, but let’s just list a couple of basic examples: , (smooth) hypersurfaces in , and ruled surfaces.

Definition 1 A curve on a surface is an (effective) divisor on . Equivalently, it is a subscheme pure of codimension one, so locally cut out by one equation. (But is not necessarily smooth, or even reduced.)

The goal of this post and the next is to set up a basic intersection theory for curves on surfaces. Given two curves , we’d like to define the intersection product . There is one case where it is easy: suppose and meet only transversely. In other words, for each , we choose local equations for the subschemes , and

In particular, this implies that are nonsingular at all points of intersection. In this case, we would like to require

Once we require the above condition and two more natural conditions, we will prove that the intersection product is uniquely determined:

• The equation (1) holds under transversality assumptions and if are smooth.
• The intersection product is additive. That is, given curves , we have

  

  where is treated as an effective Cartier divisor.

• The intersection product is invariant under linear equivalence. If are linearly equivalent curves, we want

  

  so that the intersection product is invariant under deformation. In particular, this and the previous item show that the intersection product only depends on the line bundle associated to a divisor (and can make sense for any divisor, not necessarily effective).

Our goal is to prove:

Theorem 2 There is a unique pairing

satisfying the above three conditions.

 

The Adams spectral sequence as derived descent, and chromotopy

One of the really nice pictures in homotopy theory is the “chromatic” one, relating the structure of the stable homotopy category to the geometry of formal groups (or rather, the geometry of the moduli stack of formal groups). A while back, I did a series of posts trying to understand a little about the relationship between formal groups and complex cobordism; the main result I was able to get to was Quillen’s theorem on the formal group of . I didn’t understand too much of the picture then, but I spent the summer engaging with it and think I have a slightly better feel for it now. In this post, I’ll try to give a description of how a natural attack on the homotopy groups of a spectrum via descent leads very naturally to the moduli stack of formal groups and to the Adams-Novikov spectral sequence. (There are other approaches to Adams-type spectral sequences, for instance in these notes of Haynes Miller.)

1. Descent

Let’s start with some high-powered generalities that I don’t really understand, and then come back to earth. Consider an -ring ; the most important examples will be or . There is a map of -rings , where is the sphere spectrum.

Let be a plain spectrum. Then, equivalently, is a module over . Tensoring with gives an -module spectrum , where the smash product of spectra is written . In fact, we have an adjunction

between and forgetting the -module structure. As in ordinary algebra, we might try to apply the methods of flat descent to this adjunction. In other words, given a spectrum , we might try to recover from the -module together with the “descent data” on . The benefit is that while the homotopy groups may be intractable, those of are likely to be much easier to compute: they are the -homology groups of .

Let’s recall how this works in algebra. Given a faithfully flat morphism of rings and an -module , then we can recover as the equalizer of

How does one imitate this construction in homotopy? One then has a cosimplicial -ring given by the cobar construction

The (homotopy limit) of a cosimplicial object is the homotopyish version of the 1-categorical notion of an equalizer. In particular, we might expect that we can recover the spectrum as the homotopy limit of the cosimplicial diagram

 

Derived algebraic geometry seminar

To anyone in the Cambridge, MA area: a bunch of us will be organizing a learning seminar on higher categories and derived algebraic geometry at Harvard. Our goal is to understand some of the topics in the book “Higher Topos Theory” and some of the DAG papers. We will be having an organizational meeting (where we figure out what our goals and format will be) next Tuesday at 4:30. Let me know (at amathew (at) college (dot) harvard (dot) edu) if you are interested and can make it!