The bar complex of an E-infinity algebra

This paper describes a consequence of the more general results of a previous paper which is of independent interest. We construct a functor from the category of dendroidal sets, which models the theory of infinity-operads, into the category of E-infinity-spaces. Applying May's infinite loop space machine for E-infinity-spaces then gives an infinite loop space machine for infinity-operads. We show that our machine exhibits the homotopy theory of E-infinity-spaces as a localiza...

In this paper, we study the K-theory on higher modules in spectral algebraic geometry. We relate the K-theory of an $\infty$-category of finitely generated projective modules on certain $\mathbb{E}_{\infty}$-rings with the K-theory of an ordinary category of finitely generated projective modules on ordinary rings.

This work explores the deformation theory of algebraic structures in a very general setting. These structures include commutative, associative algebras, Lie algebras, and the infinity versions of these structures, the strongly homotopy associative and Lie algebras. In all these cases the algebra structure is determined by an element of a certain graded Lie algebra which plays the role of a differential on this algebra. We work out the deformation theory in terms of the Lie al...

We give a source of examples of H_infinity ring structures that do not lift to E_infinity ring structures, based on Mandell's equivalence between certain cochain algebras and spaces.

In this work, we propose a novel approach to the homotopy transfer procedure starting from a set of homotopy data such that the first differential complex is a differential graded module over the second one. We show that the module structure may be used to induce an $A_\infty$-algebra on the second differential complex, constructed in a similar fashion to the homotopy transfer $A_\infty$-algebra. We prove that, under certain conditions, the $A_\infty$-algebras obtained with t...

In this survey, we first present basic facts on A-infinity algebras and modules including their use in describing triangulated categories. Then we describe the Quillen model approach to A-infinity structures following K. Lefevre's thesis. Finally, starting from an idea of V. Lyubashenko's, we give a conceptual construction of A-infinity functor categories using a suitable closed monoidal category of cocategories. In particular, this yields a natural construction of the bialge...

Finite type nilpotent spaces are weakly equivalent if and only if their singular cochains are quasi-isomorphic as E-infinity algebras. The cochain functor from the homotopy category of finite type nilpotent spaces to the homotopy category of E-infinity algebras is faithful but not full.

In a first part of this paper, we introduce a homology theory for infinity-operads and for dendroidal spaces which extends the usual homology of differential graded operads defined in terms of the bar construction, and we prove some of its basic properties. In a second part, we define general bar and cobar constructions. These constructions send infinity-operads to infinity-cooperads and vice versa, and define an adjoint bar-cobar (or "Koszul") duality. Somewhat surprisingly,...

We use factorization homology and higher Hochschild (co)chains to study various problems in algebraic topology and homotopical algebra, notably brane topology, centralizers of $E_n$-algebras maps and iterated bar constructions. In particular, we obtain an $E_{n+1}$-algebra model on the shifted integral chains of the mapping space of the n-sphere into an orientable closed manifold $M$. We construct and use $E_\infty$-Poincar\'e duality to identify higher Hochschild cochains, m...

E infinity ring spectra were defined in 1972, but the term has since acquired several alternative meanings. The same is true of several related terms. The new formulations are not always known to be equivalent to the old ones and even when they are, the notion of "equivalence" needs discussion: Quillen equivalent categories can be quite seriously inequivalent. Part of the confusion stems from a gap in the modern resurgence of interest in E infinity structures. E infinity ring...