Timeline for Essential Image of the Étale Homotopy type
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 3, 2020 at 11:16 | comment | added | curious math guy | @vrz I'm happy to assume that $K$ is spearably closed and characteristic zero, if that helps in any way. | |
| Aug 3, 2020 at 9:01 | comment | added | Denis Nardin | @vrz The étale homotopy type is perfectly well defined for any scheme, by taking the shape of the étale topos, although probably considering only the profinite shape would make the question more approachable. | |
| Aug 3, 2020 at 8:32 | comment | added | user145520 | What is your construction of the homotopy type for non-locally Noetherian schemes? | |
| Aug 3, 2020 at 8:31 | comment | added | user145520 | I am not sure if one of these tasks is more ambitious than the other. It seems unlikely that you could characterize all the possible fundamental groups for smooth projective $\mathbb{C}$-schemes. By the way what is $K$ in your question? Depending on whether it is separably closed or not we are dealing with rather different problems). | |
| Aug 3, 2020 at 1:01 | history | asked | curious math guy | CC BY-SA 4.0 |