Pro-algebraic homotopy types

DOI10.1112/PLMS/PDN004MaRDI QIDQ3525978zbMATH OpenOpenAlexFDO

Authors Jonathan Paul Pridham

Publication date 23 September 2008

Published in Proceedings of the London Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0606107

zbMATH Keywords

Baues-Lemaire conjecturenon-nilpotentschematic homotopy groupsSullivan's rational homotopyToën's schematic homotopy types

Mathematics Subject Classification ID

Affine algebraic groups, hyperalgebra constructions (14L17) Compact Kähler manifolds: generalizations, classification (32J27) Classification of homotopy type (55P15) Rational homotopy theory (55P62)

Abstract: The purpose of this paper is to generalise Sullivan's rational homotopy theory to non-nilpotent spaces, providing an alternative approach to defining Toen's schematic homotopy types over any field k of characteristic zero. 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 Kaehler manifolds, the schematic homotopy groups can be described explicitly in terms of this cohomology ring, giving 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 pi_n(X)otimes k.

Recommendations

• Algebraic models for homotopy types
• Homotopy-initial algebras in type theory
• scientific article; zbMATH DE number 937396
• Algebraic invariants for homotopy types
• scientific article; zbMATH DE number 877845
• Pro-categories in homotopy theory
• Towards Constructive Homological Algebra in Type Theory
• scientific article; zbMATH DE number 194040
• scientific article; zbMATH DE number 5320802
• Homotopy type theory

Cited in

(21)

• Deformation quantisation for unshifted symplectic structures on derived Artin stacks
• Constructing derived moduli stacks
• Extended simplicial rational Nomizu's theorem and Sullivan's minimal models for non-nilpotent groups
• Nonabelian reciprocity laws and higher Brauer-Manin obstructions
• Vanishing theorems for representation homology and the derived cotangent complex
• Galois actions on homotopy groups of algebraic varieties
• Algebraic models for homotopy types
• Rational homotopy theory and differential graded category
• Higher inductive types as homotopy-initial algebras
• Towards non-Abelian p-adic Hodge theory in the good reduction case
• Schematic homotopy types and non-abelian Hodge theory
• Algebraic and topological aspects of the schematization functor
• scientific article; zbMATH DE number 3899744 (Why is no real title available?)
• scientific article; zbMATH DE number 30743 (Why is no real title available?)
• Rational Functions, Labelled Configurations, and Hilbert Schemes
• The de Rham homotopy theory and differential graded category
• On \(\ell\)-adic pro-algebraic and relative pro-\(\ell\) fundamental groups
• Real non-abelian mixed Hodge structures for quasi-projective varieties: formality and splitting
• An introduction to derived (algebraic) geometry
• All known realizations of complete Lie algebras coincide
• Moduli problems for operadic algebras

This page was built for publication: Pro-algebraic homotopy types

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3525978)