Timeline for Weil homotopy theory
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 29, 2019 at 22:55 | comment | added | user40276 | By the way, I don't know how Toën's theory of homotopy types fits into the usual motivic homotopy type theory. | |
| Mar 29, 2019 at 22:54 | comment | added | user40276 | You may be interested in Toën's schematic homotopy types perso.math.univ-toulouse.fr/btoen/files/2015/02/AIM.pdf. You may also be interested in knowing that the étale homotopy type actually factors through the category of motivic spaces as in arxiv.org/pdf/1810.05544.pdf . You can't, however, stabilise that in the algebraic direction and get something reasonable. In general, I think that the same procedure would work for any other realisation as long as your $\infty$-topoi is locally connected (or maybe strongly connected) so that you have that shape functor. | |
| Mar 29, 2019 at 21:00 | comment | added | Donu Arapura | I'm curious to see what the responses are, but I suspect this would be far from straightforward in general. The construction of the $Q_\ell$-homotopy type is outlined in the last section of Deligne's Weil II. | |
| Mar 29, 2019 at 20:05 | review | First posts | |||
| Mar 29, 2019 at 20:26 | |||||
| Mar 29, 2019 at 20:00 | history | asked | user137676 | CC BY-SA 4.0 |