Abstract:The André-Quillen cohomology of an algebra with coefficients in a module is defined by deriving a functor based on Kähler differential forms. It can be computed using a cofibrant resolution of the algebra in a model category structure where weak equivalences are quasi-isomorphisms. This construction works for algebras over an operad, providing a cohomology theory tailored for each type of algebra. For curved algebras however, the notion of quasi-isomorphism is meaningless. The occurrence and importance of curved structures in various research topics (symplectic topology, deformation theory, derived geometry, mathematical physics) motivate the development of their homotopy theory and André-Quillen cohomology theory. To get a homotopical context with an appropriate notion of weak equivalence, we consider filtered complete modules with a predifferential inducing a differential on the associated graded. Curved algebras in such modules are algebras over a curved operad. In this article, we consider curved operads which are not necessarily augmented. Bar and cobar constructions adapted to these curved operads are developed, as well as Koszul duality theory. Consequently, we obtain homotopy versions of our curved algebras and make it explicit for interesting cases. Two main examples are the curved operads encoding curved unital associative algebras and curved complex Lie algebras. In particular, homotopy curved unital associative algebras describe the structure of Floer complexes of lagrangian submanifolds and Fukaya categories in symplectic topology. Bar and cobar constructions for curved algebras are also developed, and we obtain resolutions from which we compute their André-Quillen cohomology with module coefficients. Our computations in the case of curved complex Lie algebras reveal an interesting link between their André-Quillen cohomology and derived complex analytic geometry.

Quillen's Fundamental Spectral Sequences Revisited

Spectral sequences via linear presheaves

Spectral sequences in unstable higher homotopy theory and applications to the Coniveau filtration

The abstract cotangent complex and Quillen cohomology of enriched categories

Quillen cohomology of enriched operads

Quivers and the Adams spectral sequence

LHS-spectral sequences for regular extensions of categories

André-Quillen cohomology in the context of curved algebras

ku-theoretic spectral decompositions for spheres and projective spaces

Preludes to the Eilenberg-Moore and the Leray-Serre spectral sequences

Persistent homological Quillen-McCord theorem

Homotopy pro-nilpotent structured ring spectra and topological Quillen localization

Homotopy spectral sequences

A spectral sequence for Khovanov homology with an application to (3,q)-torus links

Uniqueness of real ring spectra up to higher homotopy

On a Spectral Sequence for Twisted Cohomologies

Homology of twisted quiver bundles with relations

Quantitative Heegaard Floer cohomology and the Calabi invariant

The local cohomology spectral sequence for topological modular forms

Filtrations on quantum cohomology via Morse-Bott-Floer Spectral Sequences