E_-model for a mapping space
\(E_\infty\)-algebras are good tools for the study of the homotopy theory of topological spaces (see [\textit{M. A. Mandell}, Topology 40, No.1, 43-94 (2001; Zbl 0974.55004)]). Here the authors develop an application of the homotopy theory of \(E_\infty\)-algebras to the study of the mapping space \(X^Y=\text{Top}(Y,X)\). They define a cofibrant model of the commutative operad, denoted \(C_\infty\), in relation with the Barratt-Ecless operad (see [\textit{C. Berger} and \textit{B. Fresse}, Math. Proc. Camb. Philos. Soc. 137, No.1, 135-174 (2004; Zbl 1056.55006)]). Next, the main result is proved: If \(Y_{\bullet}\) is a connected simplicial set of finite type whose geometric realization is \(Y\), to any topological space \(X\) (respectively any \(C_\infty\)-algebra \(A\)) is naturally associated a cosimplicial space, \(X^{Y_{\bullet}}\) (respectively a simplicial \(C_\infty\)-algebra, \(A^{Y_{\bullet}}\)). Then, \textbf{Theorem.} Let \(X\) be a connected space of \(\mathbf{k}\)-finite type. If A is a cofibrant replacement of the \(C_\infty\)-algebra \(N^*X\) then there exists a natural map of \(C_\infty\)-algebras \(NA^{Y_{\bullet}}\to N^*(X^Y)\), which is a quasi-isomorphism when the cosimplicial set \(X^{Y_{\bullet}}\) is convergent. \(N^*\) denotes the normalized singular cochain functor with coefficients in an arbitrary commutative ring \(\mathbf{k}\), and \(N\) is the normalization functor of the total chain complex associated to the simplicial set. When \(Y=S^1\), a natural quasi isomorphism of \(C_\infty\)-algebras from the operadic Hochschild chain complex to the normalized singular cochains on the free loop space is obtained.
- Lie algebras over operads and their applications in homotopy theory
- An \(E_\infty\)-extension of the associahedra and the Tamarkin cell mystery
- Virtual operad algebras and realization of homotopy types
- Cofibrant operads and universal \(E_{\infty}\) operads.
- Iterated bar complexes of \(E\)-infinity algebras and homology theories
- On mapping spaces of differential graded operads with the commutative operad as target
- Operads and Γ-homology of commutative rings
- scientific article; zbMATH DE number 2131828
- Simplicial and operad methods in algebraic topology
- \(\Gamma\)-homology, topological André-Quillen homology and stabilization
- \(E_{\infty}\) algebras and \(p\)-adic homotopy theory
- Axiomatic homotopy theory for operads
- Cochain algebras of mapping spaces and finite group actions
- Combinatorial operad actions on cochains
- Convergence of the Homology Spectral Sequence of a Cosimplicial Space
- Cyclic homology and algebraic K-theory of spaces. II
- Cyclic homology and equivariant homology
- Generalized differential forms over an operand and algebraic models of fibrations
- Homological algebra of homotopy algebras
- Homology
- Homotopy limits, completions and localizations
- scientific article; zbMATH DE number 503452 (Why is no real title available?)
- scientific article; zbMATH DE number 851208 (Why is no real title available?)
- scientific article; zbMATH DE number 3364507 (Why is no real title available?)
- scientific article; zbMATH DE number 3383299 (Why is no real title available?)
- Koszul duality for operads
- On the cohomology algebra of free loop spaces
- Steenrod operations in \(shc\)-algebras
- The cohomology of the vector fields on a manifold
- Virtual operad algebras and realization of homotopy types
- Über die Steenrodschen Kohomologieoperationen
- \(E_{\infty}\) obstruction theory
- Cochain algebras of mapping spaces and finite group actions
- Algebraic Hopf invariants and rational models for mapping spaces
- On mapping spaces of differential graded operads with the commutative operad as target
- A Chen model for mapping spaces and the surface product
- scientific article; zbMATH DE number 7613127 (Why is no real title available?)
- A strictly commutative model for the cochain algebra of a space
- A finitely presented \(E_{\infty}\)-prop. I: Algebraic context
- An operadic model for a mapping space and its associated spectral sequence
This page was built for publication: \(E_{\infty}\)-model for a mapping space
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1764671)
