An Atiyah-Hirzebruch spectral sequence for topological André-Quillen homology

We show how topological André-Quillen homology can be related to the usual algebraic André-Quillen homology. To this end we construct an Atiyah-Hirzebruch spectral sequence starting with the algebraic version and converging to the topological theory. This determines topological André-Quillen homology in classical cases of étale and smooth algebras.     

André-Quillen cohomology and rational homotopy of function spaces

We develop a simple theory of André-Quillen cohomology for commutative differential graded algebras over a field of characteristic zero. We then relate it to the homotopy groups of function spaces and spaces of homotopy self-equivalences of rational nilpotent CW-complexes. This puts certain results of Sullivan in a more conceptual framework.     

Comparing cohomology obstructions

We show that three different kinds of cohomologies - Baues-Wirsching cohomology, the (S_∗,O)-cohomology of Dwyer and Kan, and the André-Quillen cohomology of aΠ-algebra  - are isomorphic, under certain assumptions. This is then used to identify the cohomological obstructions in three general approaches to realizability problems: the track category version of Baues and Wirsching, the diagram rectifications of Dwyer, Kan, and Smith, and the Π-algebra realization of Dwyer, Kan, and Stover. Our main tool in this identification is the notion of a mapping algebra: a simplicially enriched version of an algebra over a theory.     

André-Quillen homology of algebra retracts

Given a homomorphism of commutative noetherian rings ?:R→S, Daniel Quillen conjectured in 1970 that if the André-Quillen homology functors D_n(S∣R;−) vanish for all n?0, then they vanish for all n?3. We prove the conjecture under the additional hypothesis that there exists a homomorphism of rings ψ:S→R such that ?°ψ=id_S. More precisely, in this case we show that ψ is a complete intersection at for every prime ideal  of S. Using these results, we describe all algebra retracts S→R→S for which the algebra Tor_•^R(S,S) is finitely generated over Tor₀^R(S,S)=S.     

André–Quillen cohomology of algebras over an operad

We study the André–Quillen cohomology with coefficients of an algebra over an operad. Using resolutions of algebras coming from the Koszul duality theory, we make this cohomology theory explicit and we give a Lie theoretic interpretation. For which operads is the associated André–Quillen cohomology equal to an Ext-functor? We give several criteria, based on the cotangent complex, to characterize this property. We apply it to homotopy algebras, which gives a new homotopy stable property for algebras over cofibrant operads.     

Unifying derived deformation theories

We develop a framework for derived deformation theory, valid in all characteristics. This gives a model category reconciling local and global approaches to derived moduli theory. In characteristic 0, we use this to show that the homotopy categories of DGLAs and SHLAs (L_∞-algebras) considered by Kontsevich, Hinich and Manetti are equivalent, and are compatible with the derived stacks of Toën-Vezzosi and Lurie. Another application is that the cohomology groups associated to any classical deformation problem (in any characteristic) admit the same operations as André-Quillen cohomology.     

On the cohomology of highly connected covers of finite Hopf spaces

Relying on the computation of the André-Quillen homology groups for unstable Hopf algebras, we prove that if the mod p cohomology of both the fiber and the base in an H-fibration is finitely generated as algebra over the Steenrod algebra, then so is the mod p cohomology of the total space. In particular, the mod p cohomology of the n-connected cover of a finite H-space is always finitely generated as algebra over the Steenrod algebra.     

The realization space of a Π-algebra: a moduli problem in algebraic topology

A Π-algebra A is a graded group with all of the algebraic structure possessed by the homotopy groups of a pointed connected topological space. We study the moduli space R(A) of realizations of A, which is defined to be the disjoint union, indexed by weak equivalence classes of CW-complexes X with , of the classifying space of the monoid of self homotopy equivalences of X. Our approach amounts to a kind of homotopical deformation theory: we obtain a tower whose homotopy limit is R(A), in which the space at the bottom is BAut(A) and the successive fibres are determined by Π-algebra cohomology. (This cohomology is the analog for Π-algebras of the Hochschild cohomology of an associative ring or the André-Quillen cohomology of a commutative ring.) It seems clear that the deformation theory can be applied with little change to study other moduli problems in algebra and topology.     

Algèbres et cogèbres de Gerstenhaber et cohomologie de Chevalley-Harrison

The fundamental example of Gerstenhaber algebra is the space Tpoly(Rd) of polyvector fields on Rd, equipped with the wedge product and the Schouten bracket. In this paper, we explicitely describe what is the enveloping G_∞ algebra of a Gerstenhaber algebra G. This structure gives us a definition of the Chevalley-Harrison cohomology operator for G. We finally show the nontriviality of a Chevalley-Harrison cohomology group for a natural Gerstenhaber subalgebra in Tpoly(Rd).     

André-Quillen homology via functor homology

We obtain André-Quillen homology for commutative algebras using relative homological algebra in the category of functors on finite pointed sets.

     

Homology and cohomology of <Emphasis Type="Italic">E</Emphasis><Subscript>∞</Subscript> ring spectra

Every homology or cohomology theory on a category of E ring spectra is Topological André–Quillen homology or cohomology with appropriate coefficients. Analogous results hold more generally for categories of algebras over operads.Mathematics Subject Classification (2000): 55P43, 55P48, 55U35The second author was supported in part by NSF grant DMS-0203980.     

André–Quillen Cohomology of Monoid Algebras

We compute the André–Quillen (or Harrison) cohomology of an affine toric variety. The best results are obtained either in the general case for the first three cohomology groups, or in the case of isolated singularities for all cohomology groups, respectively.     

Localization of André-Quillen-Goodwillie towers, and the periodic homology of infinite loopspaces

Let K(n) be the nth Morava K-theory at a prime p, and let T(n) be the telescope of a v_n-self map of a finite complex of type n. In this paper we study the K(n)_*-homology of Ω^∞X, the 0th space of a spectrum X, and many related matters.We give a sampling of our results.Let PX be the free commutative S-algebra generated by X: it is weakly equivalent to the wedge of all the extended powers of X. We construct a natural map

s_n(X):L_T(n)P(X)→L_T(n)Σ^∞(Ω^∞X)₊     

An operadic model for a mapping space and its associated spectral sequence

Let X and Y be simplicial sets and K a field. In [B. Fresse, Derived division functors and mapping spaces, 2002, Preprint arXiv:math.At/0208091], Fresse has constructed an algebra model over an E_∞K-operad E for the mapping space F(X,Y), whose source X is finite, provided the homotopy groups of the target Y are finite. In this paper, we show that if the underlying field K is the closure of the finite field F_p and the given mapping space is connected, then the finiteness assumption of the homotopy group of Y can be dropped in constructing the E-algebra model. Moreover, we give a spectral sequence converging to the cohomology of F(X,Y) with coefficients in , whose E₂-term is expressed via Lannes’ division functor in the category of unstable -algebra over the Steenrod algebra.     

Lifting homotopy T-algebra maps to strict maps

The settings for homotopical algebra—categories such as simplicial groups, simplicial rings, _A∞$A_{\infty }$ spaces, _E∞$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 T-algebras to the category of homotopy T-algebras.     

Homotopy algebras and the inverse of the normalization functor

In this paper, we investigate multiplicative properties of the classical Dold-Kan correspondence. The inverse of the normalization functor maps commutative differential graded algebras to E_∞-algebras. We prove that it in fact sends algebras over arbitrary differential graded E_∞-operads to E_∞-algebras in simplicial modules and is part of a Quillen adjunction. More generally, this inverse maps homotopy algebras to weak homotopy algebras. We prove the corresponding dual results for algebras under the conormalization, and for coalgebra structures under the normalization resp. the inverse of the conormalization.     

Transferring homotopy commutative algebraic structures

We show that the sum over planar tree formula of Kontsevich and Soibelman transfers C_∞-structures along a contraction. Applying this result to a cosimplicial commutative algebra A^• over a field of characteristic zero, we exhibit a canonical C_∞-structure on Tot(A^•), which is unital if A^• is; in particular, we obtain a canonical C_∞-structure on the cochain complex of a simplicial set.     

Cohomology of the Lie algebra ℌ2: Experimental results and conjectures

The cohomology with trivial coefficients of the Lie algebra ? of Hamiltonian vector fields in the plane and of its maximal nilpotent subalgebra L ₁? is considered. The cohomology H ₂(L ₁?) is calculated, and some far-reaching conjectures concerning the cohomology of the Lie algebras mentioned above and based on an extensive experimental material are formulated.     

The Cohomology of the Universal Steenrod Algebra

The mod 2 universal Steenrod algebra Q is a homogeneous quadratic algebra closely related to the ordinary mod 2 Steenrod algebra and the Lambda algebra introduced in [1]. In this paper we show that Q is Koszul. It follows by [7] that its cohomology, being purely diagonal, is isomorphic to a completion of Q itself with respect to a suitable chain of two-sided ideals.