DOCUMENTA MATHEMATICA, Vol. 13 (2008), 585-612

Gereon Quick

Profinite Homotopy Theory

We construct a model structure on simplicial profinite sets such that the homotopy groups carry a natural profinite structure. This yields a rigid profinite completion functor for spaces and pro-spaces. One motivation is the étale homotopy theory of schemes in which higher profinite étale homotopy groups fit well with the étale fundamental group which is always profinite. We show that the profinite étale topological realization functor is a good object in several respects.

2000 Mathematics Subject Classification: 55P60, 55Q70; 14F35

Keywords and Phrases: Profinite completion, profinite homotopy groups; étale homotopy type of schemes

Full text: dvi.gz 60 k, dvi 138 k, ps.gz 633 k, pdf 280 k.