Talbot 2007

Mentored by Mike Hopkins of Harvard

Monday:

1. Historic Overview. [Corbett]

Introduce general (co)homology theories and the examples of K-theory and complex cobordism. Define a genus as a multiplicative invariant of almost complex manifolds and give the example of the Todd Genus. State Quillen's theorem and establish the equivalence between genera with values in R, and formal group laws (FGL) over R, under certain conditions, given a genus g:MU∗→R, one can find a homology theory E∗(−) with E∗=R, represented by a spectrum E, and a map of ring spectra MU→E realizing g at the level of homotopy. Define elliptic cohomology.

2. Elliptic curves and Modular forms. [Carl]

Introduce elliptic curves as cubic curves in ℙ2, and as one dimensional abelian group schemes. Give a hint of why the two definitions are equivalent. Give some examples of elliptic curves. Define the canonical line bundle ω over the moduli space of elliptic curves as an assignment {elliptic curve over some field} ↦ {one dimensional vector space over that field}. Define modular forms as sections of ωn} and give some examples of them. Describe the ring of integral modular forms.

3. Algebraic stacks. [Nick]

Explain the formalism of functor of points and introduce general stacks. Give the examples of the moduli space of elliptic curves M_Ell and the moduli space of formal groups M_FG. Explain what a groupoid object in schemes is and how it represents a stack. Work out the groupoid representing M_Ell. Explain what a line bundle over a stack is and construct ω rigorously. Show that ω is pulled back from a map M_Ell→M_FG.

4. The geometry of MEll. [Andre]

Introduce the notions of p-typical formal group law and explain why every formal group law over a field can be isomorphed to a p-typical one. State the classification of formal groups over algebraically closed fields. Introduce the notions of ordinary versus supersingular elliptic curves and give some examples at the primes 2 and 3. The stack of supersingular elliptic curves MssEll is a zero dimensional substack of M_Ell⊗\Z/p, and MordEll is its open complement. The stack MordEll still makes sense as an open substack of M_Ell⊗\Zp. Explain why MssEll is not well defined as a substack of M_Ell⊗\Zp, but its formal neighborhood still makes sense.

Tuesday:

5. The Landweber exact functor theorem. [Henning]

Explain how one assigns a FG to an even periodic cohomology theory. Introduce MU and its periodic version MP. State Quillen's theorem and explain why the groupoid Spec(MP0MP)→Spec(MP0) represents MFG. State the Landweber exact functor theorem (LEFT). Define what it means for a map from Spec(R) to a stack to be flat. Explain why the statement of LEFT is equivalent to the following statement: If a map MP0→R induces a flat map Spec(R)→MFG, then the functor X→MP∗(X)⊗P0R is a homology theory. Prove that the map MEll→MFG is flat and use it to build a presheaf {flat maps from an affine scheme to M_Ell} →{even periodic homology theories}.

6. E∞-ring spectra. [Matthew]

Recall what a spectrum is and introduce the formalism of symmetric spectra. Explain what operads are, and give the examples of the A∞ and of the E∞ operads. Give two possible definitions of E∞-ring spectra: as spectra with a multiplication which is commutative up to infinitely many homotopies i.e. which is equipped with an action of an E∞ operad, and as a spectrum with a strictly commutative multiplication. Give a hint of why those two approaches are equivalent. Explain the philosophy of why {(co)homology theories} = {spectra} but {cohomology theories equipped with a commutative product} ≠ {E∞- ring spectra}.

7. Sheaves in homotopy theory. [Chris]

Explain what a sheaf on a stack is, and why it's not that different from a sheaf on a space. Define sheaf cohomology. If a presheaf takes values in a category in which homotopy limits make sense, then one can modify the descent condition to include higher homotopies on the n-tuple intersections: this is the homotopy meaningful replacement of the concept of sheaf. Setup the spectral sequence (SS) which, given a sheaf of spectra F over X computes the homotopy groups of the spectrum of global section π_{*}(F(X)). Its E_{2} term is the sheaf cohomology of the sheafification of the presheaf U |\to π_{*}(F(U)). A special case of this SS will be used in talk 11 to compute π_{*}(F).

8. The F theorem. [Mike Hopkins]

This talk contains a survey of the second half of the workshop. The main theorem is about the existence of a sheaf of E∞-ring spectra Otop over MEll that recovers the presheaf of talk 5 at the level of the corresponding homology theories. The spectrum of global sections of that sheaf is F.

Wednesday:

9. The Hasse square. [Tilman]

Explain what it means to localize a spectrum with respect to a cohomology theory and give the examples of rationalization and p-completion. State Sullivan's arithmetic square. Define the Morava K-theories K(n) and the corresponding localization functors L_{K(n)}. When applied to Landweber exact cohomology theories, L_{K(n)} kills everything that is not of height n. When applied to the sheaf of spectra Otop over MEll, explain why L_{K(2)} = (completion around the supersingular locus) and L_{K(1)} = (localization away from the supersingular locus). Prove that, given a K(1)vK(2)-local spectrum X, the Hasse square L_{K(2)} X// L_{K(1)} L_{K(1)} L_{K(2)} X is a homotopy pullback.

10. Model categories. [Andrew]

Introduce the formalism of cofibrantly generated model categories. Explain the notions of fibrant and cofibrant objects. Describe the model structure on the category of E∞-ring spectra. Given a model category M and a space (or stack) X, describe the Jardine model category structure on the category of sheaves on X with values in M. Show that the fibrant objects in that model category are sheaves in the sense of talk 7.

11. The big spectral sequence. [Mike Hopkins]

Mike will explain what the big spectral sequence Hs(MEllωt)⇒πs(F) looks like, and give some applications.

12. Universal deformations. [Jacob]

Explain what it means to be a universal deformations of a FGL over a field k, and why it's equivalent to taking formal neighborhoods of points inside the stack MFG. Give Lubin-Tate's explicit description of the universal deformation of a FGL. Define and describe the Morava E-theories En. Prove the Serre-Tate theorem according to which the formal neighborhood in MEll of a supersingular curve is isomorphic to the formal neighborhood of the corresponding point in MFG.

Thursday:

13. Goerss-Hopkins obstruction theory. [Vigleik]

The Goerss-Hopkins obstruction theory tries to answer the following question: Suppose E∗(−) is a "good" homology theory and we have an E∗-algebra A in the cateogry of E∗E comodules ("good" means that spectrum E has a homotopy commutative multiplication, that E∗E is flat over E∗, and that the Adams condition is satisfied). Is there an E∞-ring spectrum X with E∗X=A? More precisely, what is the moduli space of such E∞-ring spectra? To answer this question, one defines a new type of homotopy groups which have a good theory of Postnikov towers and of k-invariants. One then tries to build X one Postnikov section at a time, and identify the obstructions to the existence of the right k-invariants. The answer turns out to lie in certain Andre-Quillen cohomology groups. This theory can also be used to compute the homotopy groups of the space of E∞ maps between two E∞-ring spectra. In talks 14 and 16, this theory will be specialized to the cases E=En, and E=K(1) respectively.

14. The Hopkin-Miller theorem. [John F.]

Given a formal group law over a field, its universal deformation is always Landweber exact, i.e. the corresponding map Spec(R)→MFG is flat. Thus, we get a functor {formal group laws over fields} → {even periodic homology theories}, by first taking the universal deformation, and then applying LEFT. The Hopkins-Miller theorem says that one can lift that functor to the category of E∞-ring spectra. The existence of such a lift is proven by considering all those E∞-ring spectra which could possibly be in the image of the functor. They form a category, which is naturally equipped with a functor to the category of FG's over fields. Using the GH obstruction theory, one shows that that functor is a homotopy equivalence, and thus that it has an inverse. We then apply the Hopkins-Miller theorem to construct LK(2)Otop and LK(2)F.

15. The string orientation. [Mike Hopkins]

In this talk, Mike will introduce Rezk's logarithm and construct the O⟨8⟩-orientation, which is a map of E∞-ring spectra O⟨8⟩→F.

.Friday:

16. K(1)-local obstruction theory. [Mike Hill]

When working inside the cateogry of K(1)-local spectra, the appropriate variant of GH obstruction theory is the one based on K(1). This has the advantage that the algebra playing the role of the Dyer-Lashof algebra is very small: it's generated by a single operation θ:x↦(ψp(x)−xp)/p. So our variant of GH obstruction theory now looks as follows: it starts with a K(1)∗K(1)-comodule algebra, and it tells us whether there exists a K(1)-local E∞-ring spectrum X, whose K(1)-homology K(1)∗X has the above structure.

17. The construction of F. [Mark]

Even though we don't know yet what Otop is, we know what K(1)∗(Otop) should look like, as a sheaf of K(1)∗K(1)-comodule algebras. Applying the GH obstruction theory in the category of (pre)sheaves of K(1)-local spectra, one shows that there's a unique possible value for LK(1)(Otop). Similarly, one can compute K(1)∗(LK(2))Otop) as a sheaf of K(1)∗K(1)-comodule algebras. Applying again the GH obstruction theory, one checks that there's a unique possible map LK(1)Otop→LK(2)Otop. One then defines the p-completion of Otop to be the homotopy pullback of LK(1)Otop→LK(1)LK(2)Otop←LK(2)Otop. Finally, one uses Sullivan's arithmetic square to construct the global version of Otop.

18. Title to be announced. [Mike Hopkins]

In this talk, Mike could talk about the fiber of the logarithm, relations with number theory, things related to the work of Mazur and Wiles, or other stuff...