Real Homotopy Theory of Semi-Algebraic Sets

Abstract

We complete the details of a theory outlined by Kontsevich and Soibelman that associates to a semi-algebraic set a certain graded commutative differential algebra of "semi-algebraic differential forms" in a functorial way. This algebra encodes the real homotopy type of the semi-algebraic set in the spirit of the DeRham algebra of differential forms on a smooth manifold. Its development is needed for Kontsevich's proof of the formality of the little cubes operad.

58 pages. Cosmetic changes with respect to previous version. Submitted

References in corpus (1)

• Operads and Motives in Deformation Quantization

Cited by in corpus (7)

• The Homotopy Braces Formality Morphism
• A model for configuration spaces of points
• The Lambrechts-Stanley Model of Configuration Spaces
• $C^1$-triangulations of semialgebraic sets
• Periods, Power Series, and Integrated Algebraic Numbers
• Formality of a higher-codimensional Swiss-Cheese operad
• Models for the n-Swiss Cheese operads