Formes differentielles generalisees sur une operade et modeles algebriques des fibrations

Abstract

On construit des foncteurs de formes differentielles generalisees. Ceux-ci, dans le cas d'espaces nilpotents de type fini, determinent le type d'homotopie faible des espaces. Ils sont munis, d'une maniere elementaire et naturelle, de l'action de cup-i produits. Pour les algebres commutatives a homotopit pres (algebres sur une resolution cofibrante de l'operade des algebres commutatives), on demontre en utilisant les formes differentielles generalisees que le modele de la fibre d'une application simpliciale est la cofibre du modele de ce morphisme. We construct functors of generalized differential forms. In the case of nilpotent spaces of finite type, they determine the weak homotopy type of the spaces. Moreover they are equipped, in an elementary and natural way, with the action of cup-i products. Working with commutative algebras up to homotopy (viewed as algebras over a cofibrant resolution of the operad of commutative algebras), we show using these functors that the model of the fiber of a simplicial map is the cofiber of the algebraic model of this map.