MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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?

share|cite|improve this question
Yes: it is due to Artin and Mazur. – Moosbrugger Nov 8 '11 at 0:12
@Moosbrugger: care to add a reference? – Yosemite Sam Nov 8 '11 at 8:13
Artin and Mazur, "Etale homotopy type", Lecture Notes in Mathematics 100. See also Friedlander, "Étale homotopy of simplicial schemes", Annals of Mathematics Studies 104. – Alex Nov 8 '11 at 10:23
thanks ${ }$ – Yosemite Sam Nov 8 '11 at 23:30

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.