Department of

September 2017 October 2017November 2017Su Mo Tu We Th Fr Sa Su Mo Tu We Th Fr Sa Su Mo Tu WeThFr Sa 1 2 1 2 3 4 5 6 7 1 2 3 4 3 4 5 6 7 8 9 8 9 10 11 12 13 14 5 6 7 8 9 10 11 10 11 12 13 14 15 16 15 16 17 18 19 20 21 12 13 14 15 16 17 18 17 18 19 20 21 22 23 22 23 24 25 26 27 28 19 20 21 222324 25 24 25 26 27 28 29 30 29 30 31 26 27 28 29 30

Tuesday, October 31, 2017

**Abstract:** A classical theorem in modern homotopy theory states that functors from finite pointed sets to spaces satisfying certain conditions model infinite loop spaces (Segal 1974). This theorem offers a recognition principle for infinite loop spaces. An analogous theorem for Morel-Voevodsky's motivic homotopy theory has been sought for since its inception. In joint work with Marc Hoyois, Adeel Khan, Vladimir Sosnilo and Maria Yakerson, we provide such a theorem. The category of finite pointed sets is replaced by a category where the objects are smooth schemes and the maps are spans whose "left legs" are finite syntomic maps equipped with a K-theoretic trivialization of its contangent complex. I will explain what this means, how it is not so different from finite pointed sets and why it was a natural guess. In particular, I will explain some of the requisite algebraic geometry. Time permitting, I will also provide 1) an explicit model for the motivic sphere spectrum as a torsor over a Hilbert scheme and, 2) a model for all motivic Eilenberg-Maclane spaces as simplicial ind-smooth schemes.