Proceedings of the London Mathematical Society Advance Access published online on March 12, 2008
Proceedings of the London Mathematical Society, doi:10.1112/plms/pdn004
© 2008 London Mathematical Society
Pro-algebraic homotopy types
Trinity College
Cambridge
CB2 1TQ
United Kingdom
Received 23 January 2007. Revision received 14 September 2007. Revision received 20 December 2007.
The purpose of this paper is to generalise Sullivan's rational homotopy theory to non-nilpotent spaces, providing an alternative approach to defining Toën's schematic homotopy types over any field k of characteristic 0. New features include an explicit description of homotopy groups using the Maurer–Cartan equations, convergent spectral sequences comparing schematic homotopy groups with cohomology of the universal semisimple local system, and a generalisation of the Baues–Lemaire conjecture. For compact Kähler manifolds, the schematic homotopy groups can be described explicitly in terms of this cohomology ring, giving them canonical weight decompositions. There are also notions of minimal models, unpointed homotopy types and algebraic automorphism groups. For a space with algebraically good fundamental group and higher homotopy groups of finite rank, the schematic homotopy groups are shown to be
n(X)
Z k.
2000 Mathematics Subject Classification 55P15, 55P62, 14L17, 32J27.