Generalized differential forms over an operand and algebraic models of fibrations

DOI10.2140/AGT.2002.2.51MaRDI QIDQ5954966zbMATH OpenOpenAlexFDO

Publication date 7 February 2002

Published in Algebraic \& Geometric Topology (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0202262, https://eudml.org/doc/122042, http://www.emis.de/journals/UW/agt/AGTVol2/agt-2-5.abs.html

zbMATH Keywords

algebraic models for homotopy types differential forms operads

Mathematics Subject Classification ID

Chain complexes (category-theoretic aspects), dg categories (18G35) Axioms for homology theory and uniqueness theorems in algebraic topology (55N40) Differential forms in global analysis (58A10)

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.

Review text

The author gives an analog of \textit{D. Sullivan}'s commutative cochain functor \({\mathcal A}_{PL}\) [Inst. Hautes Étud. Sci., Publ. Math. 47, 269-331 (1977; Zbl 0374.57002)] for any commutative unitary ring \(R\). His approach is based on the theory of graded differential \(E_\infty\)-algebras as described, e.g., by \textit{M. A. Mandell} [Topology 40, No. 1, 43-94 (2001; Zbl 0974.55004)]. Indeed, the author constructs (for the category of simplicial sets) a functor of generalized differential forms over \(R\), equipped with a natural \(E_\infty\)-structure for a given cofibrant \(E_\infty\)-operad. NEWLINENEWLINENEWLINEThe author establishes in two different ways (using either the theory of acyclic models or \textit{H. Cartan}'s [Invent. Math. 35, 261-271 (1976; Zbl 0334.55005)] and \textit{R. G. Swan}'s [Topology 14, 271-273 (1975; Zbl 0319.58004)] concept of a cochain theory) that for any simplicial set \(X\), the generalized differential forms on \(X\) are quasi-isomorphic as \(E_\infty\)-algebra to the cochains on \(X\) with coefficients in \(R\). For \(R={\mathbb F}_p\), this yields a new approach to Steenrod operations. The author finally shows that the model of the fiber of a simplicial fibration may be obtained as the cofiber of the model of the simplicial map.

Recommendations

Cites work

Cited in

(7)

This page was built for publication: Generalized differential forms over an operand and algebraic models of fibrations

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