Séminaires : Séminaire Dérivé

Homotopical Methods in Algebraic and Arithmetic Geometry.

https://indico.math.cnrs.fr/category/808/

Quillen discovered a correspondence between cohomology theories and formal groups. While Quillen's correspondence is tight enough to be extremely successful in transporting phenomena back and forth, it is not one-to-one: some cohomology theories are missed, as are some formal groups. I will explain how to turn Quillen's correspondence into a one-to-one correspondence by changing the definition of a cohomology theory. From another perspective, this gives a functor-of-points description of Lurie's "derived moduli stack of formal groups", which he specified via charts. This is joint work with Robert Burklund and Ishan Levy.