4
$\begingroup$

Let $X$ be a topological space. We may naturally associate to $X$ a simplicial set which is a Kan complex. This in turn gives rise to the fundamental $\infty$-groupoid associated to $X$. From this object we can recover the usual fundamental groupoid associated to $X$. In this way we can view the fundamental groupoid as a higher dimensional decategorification of an $\infty$-groupoid.

Now assume that $X$ is a scheme. There is a natural concept of the the etale fundamental groupoid associated to $X$. More precisely the objects are geometric points of $X$ and morphisms are isomorphisms of the associated etale fibre functors.

My question is the following: Is there a concept of the etale fundamental $\infty$-groupoid associated to $X$, from which we can recover the usual etale fundamental groupoid as in the topological setting?

$\endgroup$
3
  • 7
    $\begingroup$ Yes: it is due to Artin and Mazur. $\endgroup$ Nov 8, 2011 at 0:12
  • $\begingroup$ @Moosbrugger: care to add a reference? $\endgroup$ Nov 8, 2011 at 8:13
  • $\begingroup$ Artin and Mazur, "Etale homotopy type", Lecture Notes in Mathematics 100. See also Friedlander, "Étale homotopy of simplicial schemes", Annals of Mathematics Studies 104. $\endgroup$
    – Alex
    Nov 8, 2011 at 10:23

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.