Homology and Cohomology of E-infinity Ring Spectra

This is a survey paper on cohomology theories for $A_\infty$ and $E_\infty$ ring spectra. Different constructions and main properties of topological Andr\'e-Quillen cohomology and of topological derivations are described. We give sample calculations of these cohomology theories and outline applications to the existence of $A_\infty$ and $E_\infty$ structures on various spectra. We also explain the relationship between topological derivations, spaces of multiplicative maps and...

We proved in a previous article that the bar complex of an E-infinity algebra inherits a natural E-infinity algebra structure. As a consequence, a well-defined iterated bar construction B^n(A) can be associated to any algebra over an E-infinity operad. In the case of a commutative algebra A, our iterated bar construction reduces to the standard iterated bar complex of A. The first purpose of this paper is to give a direct effective definition of the iterated bar complexes of ...

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...

This paper studies the homotopy theory of algebras and homotopy algebras over an operad. It provides an exhaustive description of their higher homotopical properties using the more general notion of morphisms called infinity-morphisms. The method consists in using the operadic calculus to endow the category of coalgebras over the Koszul dual cooperad or the bar construction with a new type of model category structure, Quillen equivalent to that of algebras. We provide an expl...

The space of E-infinity structures on an simplicial operad C is the limit of a tower of fibrations, so its homotopy is the abutment of a Bousfield-Kan fringed spectral sequence. The spectral sequence begins (under mild restrictions) with the stable cohomotopy of the graded right Gamma-module formed by the homotopy groups of C ; the fringe contains an obstruction theory for the existence of E-infinity structures on C. This formulation is very flexible: applications extend beyo...

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.

The mod p homology of E-infinity spaces is a classical topic in algebraic topology traditionally approached in terms of Dyer--Lashof operations. In this paper, we offer a new perspective on the subject by providing a detailed investigation of an alternative family of homology operations equivalent to, but distinct from, the Dyer--Lashof operations. Among other things, we will relate these operations to the Dyer--Lashof operations, describe the algebra generated by them, and u...

A modern insight due to Quillen, which is further developed by Lurie, asserts that many cohomology theories of interest are particular cases of a single construction, which allows one to define cohomology groups in an abstract setting using only intrinsic properties of the category (or $\infty$-category) at hand. This universal cohomology theory is known as Quillen cohomology. In any setting, Quillen cohomology of a given object is classified by its cotangent complex. The mai...

In this paper, we prove some foundational results on the deformation theory of E-infinity ring spectra.

The settings for homotopical algebra---categories such as simplicial groups, simplicial rings, $A_\infty$ spaces, $E_\infty$ ring spectra, etc.---are often equivalent to categories of algebras over some monad or triple $T$. In such cases, $T$ is acting on a nice simplicial model category in such a way that $T$ descends to a monad on the homotopy category and defines a category of homotopy $T$-algebras. In this setting there is a forgetful functor from the homotopy category of...