For any scheme $X$ we can associate the étale homotopy type $Et(X)$, which is a pro-object in the homotopy category of CW-complexes. My question is, do we have a good understanding of the essential image, i.e., do we have a set of necessary and sufficient conditions on a pro-CW-complex for it to be the étale homotopy type of some scheme. Even more "ambitiously", do we have such a set of conditions such that a pro-CW-complex is the étale homotopy type of a smooth projective scheme $K$-scheme?
$\begingroup$
$\endgroup$
4
-
1$\begingroup$ 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). $\endgroup$– user145520Commented Aug 3, 2020 at 8:31
-
$\begingroup$ What is your construction of the homotopy type for non-locally Noetherian schemes? $\endgroup$– user145520Commented Aug 3, 2020 at 8:32
-
1$\begingroup$ @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. $\endgroup$– Denis NardinCommented Aug 3, 2020 at 9:01
-
$\begingroup$ @vrz I'm happy to assume that $K$ is spearably closed and characteristic zero, if that helps in any way. $\endgroup$– curious math guyCommented Aug 3, 2020 at 11:16
Add a comment
|