| Résume | The goal of this talk is to explain work joint with Scholze where we study a version of algebraic geometry which is built, not out of spectra of commutative rings, but out of spectra of symmetric monoidal higher categories. Unlike traditional algebraic geometry, where the category of affine schemes does not have well behaved gluings, our setup provides an (infinity) topos where every object is, in a sense, affine. This topos contains the usual category of qcqs schemes, but also provides a home to new and interesting objects which cannot be studied with more classical means. We will encounter some of these objects in this talk, with relevance in topological field theory, the theory of motives, and the geometric Langlands program. |
