Quillen Cohomology: A Derived Framework

• Quillen cohomology is a universal derived cohomology theory representing deformations via cotangent complexes and abelianization in homotopical and spectral settings.
• It unifies several cohomology theories—from commutative rings to enriched categories and operads—by linearizing objects through stabilization.
• The framework enables practical applications in obstruction theory and spectral sequence comparisons, providing actionable insights across algebraic and topological contexts.

Quillen cohomology is the universal cohomology theory attached to an object in a homotical category, represented by its cotangent complex and computed as derived derivations into suitable coefficient objects. In Quillen’s model-categorical framework, the theory arises by linearizing an object through abelianization in a slice category, or, in spectral settings, through stabilization; in this sense it encompasses many familiar theories, including André–Quillen cohomology of commutative rings, generalized cohomology of spaces, and topological André–Quillen cohomology (Harpaz et al., 2016). Subsequent work makes this viewpoint explicit through tangent categories, spectrum objects, and derived indecomposables, and extends it to enriched categories, operads, higher categories, and global or equivariant homotopy theory (Lenz et al., 2023).

1. Universal definition and coefficient objects

A recurring starting point is the category of coefficients. For an algebraic category $\mathcal C$ and an object $A\in\mathcal C$, a Beck module over $A$ is “an abelian object in the slice category $\mathcal C/A$” (Agrawalla et al., 2022). In the same spirit, for a model $X$ in a Lawvere-theoretic setting, the relative abelianization functor

$Q_X:T_X\to \mathrm{Ab}(T_X)$

produces the cotangent complex from a cofibrant simplicial resolution $F_\bullet\to X$: $L_X(X)=Q_X(F_\bullet)\in s\mathrm{Ab}(T_X).$ Quillen cohomology with coefficients in a Beck module $M$ is then

$$D^*(X;M)=H^*\operatorname{Hom}_{\mathrm{Ab}(T_X)}(L_X(X),M),$$

with

$A\in\mathcal C$0

so the theory is the derived functor of derivations (Szymik, 2016).

In the broader model-categorical formulation, if $A\in\mathcal C$1 has left adjoint $A\in\mathcal C$2, the cotangent complex of $A\in\mathcal C$3 is obtained by applying abelianization to a cofibrant replacement in $A\in\mathcal C$4, and Quillen homology and cohomology are the resulting derived functors (Frankland, 2010). A spectral version replaces abelian group objects by spectrum objects in the tangent category. For a left proper combinatorial model category $A\in\mathcal C$5 and $A\in\mathcal C$6, the tangent model category is

$A\in\mathcal C$7

the cotangent complex is

$A\in\mathcal C$8

and spectral Quillen cohomology is

$A\in\mathcal C$9

(Harpaz et al., 2016).

These definitions express a single pattern. Coefficients are infinitesimal objects over a base, the cotangent complex is the universal linear approximation, and cohomology is obtained by mapping out of that complex. A plausible implication is that disparate cohomology theories qualify as Quillen cohomology precisely when they admit such a cotangent-complex representation.

2. Cotangent complexes, stabilization, and derived abelianization

The stabilization viewpoint reformulates Quillen cohomology as the passage from unstable objects to their universal stable approximation. In the abstract model-categorical setting, the relative cotangent complex of a map $A$0 is

$A$1

and the tangent-category formalism agrees with Lurie’s tangent $A$2-categorical construction under the stated hypotheses (Harpaz et al., 2016). This identifies Quillen cohomology with the homotopy theory of the stabilization of slice categories.

For commutative algebra objects, the linearization can be written in classical indecomposable form. Given an augmented commutative $A$3-algebra $A$4, the augmentation ideal is

$A$5

a functor

$A$6

For a non-unital commutative $A$7-algebra $A$8, the indecomposables are

$A$9

a functor

$\mathcal C/A$0

With unitalization $\mathcal C/A$1, one has a Quillen equivalence $\mathcal C/A$2, and the abstract cotangent complex is defined by

$\mathcal C/A$3

It satisfies transitivity, base change, and homotopy invariance; for a composable sequence $\mathcal C/A$4, there is a homotopy cofiber sequence

$\mathcal C/A$5

(Lenz et al., 2023).

The same paper makes stabilization fully explicit in the global setting. For a flat ultra-commutative ring spectrum $\mathcal C/A$6,

$\mathcal C/A$7

and the universal map to the stable world is the derived abelianization

$\mathcal C/A$8

Here stabilization is genuine rather than naive: for every finite group $\mathcal C/A$9 and finite $X$0-set $X$1, smashing with $X$2 must become an equivalence (Lenz et al., 2023).

This formulation clarifies why cotangent complexes sit at the center of Quillen cohomology. They are not merely auxiliary chain complexes; they encode the universal stable or linear approximation to the original nonlinear object.

3. Algebraic realizations across theories

In many algebraic categories, Quillen cohomology coincides with previously existing cohomology theories after identifying the correct coefficient category. For commutative monoids, Beck modules over a commutative monoid $X$3 are equivalent to modules over the graded monoid algebra $X$4, where $X$5 is the free $X$6-module on a generator $X$7 and

$X$8

Under this identification, the main theorem is

$X$9

and, with coefficients,

$Q_X:T_X\to \mathrm{Ab}(T_X)$0

The same analysis identifies Grillet’s partial cochain complex as the beginning of the Barr complex for the graded monoid algebra (Agrawalla et al., 2022).

For racks and quandles, the classical combinatorial cohomology theories are likewise identified with Quillen cohomology up to the standard shift. If $Q_X:T_X\to \mathrm{Ab}(T_X)$1 is a rack and $Q_X:T_X\to \mathrm{Ab}(T_X)$2 an abelian group,

$Q_X:T_X\to \mathrm{Ab}(T_X)$3

and if $Q_X:T_X\to \mathrm{Ab}(T_X)$4 is a quandle,

$Q_X:T_X\to \mathrm{Ab}(T_X)$5

This identification imports the full Quillen toolkit—relative cotangent complexes, transitivity triangles, flat base change, excision, and Mayer–Vietoris—into rack and quandle theory (Szymik, 2016).

Divided power algebras over an operad provide a further extension. For a $Q_X:T_X\to \mathrm{Ab}(T_X)$6-algebra $Q_X:T_X\to \mathrm{Ab}(T_X)$7, Beck modules are equivalent to explicit $Q_X:T_X\to \mathrm{Ab}(T_X)$8-modules and also to modules over a universal enveloping ring $Q_X:T_X\to \mathrm{Ab}(T_X)$9. Derivations are represented by Kähler differentials

$F_\bullet\to X$0

and the cotangent complex is

$F_\bullet\to X$1

with

$F_\bullet\to X$2

(Dokas et al., 2024).

The same pattern also appears in comonad-theoretic settings for $F_\bullet\to X$3-rings and $F_\bullet\to X$4-rings, where degree-zero cohomology is derivations, $F_\bullet\to X$5 classifies square-zero extensions, and in the $F_\bullet\to X$6-case there is a Baues–Wirsching spectral sequence

$F_\bullet\to X$7

(Robinson, 2010).

Taken together, these examples show that Quillen cohomology is less a single specialized theory than a method for recovering the correct deformation theory of a category once its linearized coefficients have been identified.

4. Enriched categories, operads, and higher categories

The explicit computation of cotangent complexes becomes especially powerful for enriched and higher-categorical objects. For a fibrant $F_\bullet\to X$8-enriched category $F_\bullet\to X$9, the tangent model category is Quillen equivalent to enriched functors on the enveloping bimodule shape. If $L_X(X)=Q_X(F_\bullet)\in s\mathrm{Ab}(T_X).$0 is stable, this simplifies to

$L_X(X)=Q_X(F_\bullet)\in s\mathrm{Ab}(T_X).$1

and under this equivalence the cotangent complex corresponds to the desuspension of the mapping-object functor: $L_X(X)=Q_X(F_\bullet)\in s\mathrm{Ab}(T_X).$2 In the dg-case, this yields

$L_X(X)=Q_X(F_\bullet)\in s\mathrm{Ab}(T_X).$3

so Quillen cohomology agrees with Hochschild cohomology up to a shift by $L_X(X)=Q_X(F_\bullet)\in s\mathrm{Ab}(T_X).$4 (Harpaz et al., 2016).

For simplicial categories and $L_X(X)=Q_X(F_\bullet)\in s\mathrm{Ab}(T_X).$5-categories, the tangent category is described in twisted-arrow form. If $L_X(X)=Q_X(F_\bullet)\in s\mathrm{Ab}(T_X).$6 is a fibrant simplicial category, then

$L_X(X)=Q_X(F_\bullet)\in s\mathrm{Ab}(T_X).$7

and the cotangent complex corresponds to the constant functor with value the desuspension of the sphere spectrum. This converts André–Quillen cohomology into a computable cochain theory over the twisted arrow category. In the Postnikov tower of a simplicial category, the $L_X(X)=Q_X(F_\bullet)\in s\mathrm{Ab}(T_X).$8-invariants take values in this cohomology, and the paper constructs an explicit cube-based cochain complex whose $L_X(X)=Q_X(F_\bullet)\in s\mathrm{Ab}(T_X).$9 contains the obstruction class to lifting a map through successive Postnikov stages (Blanc et al., 2022).

For enriched operads, the tangent categories are modeled by module theories intrinsic to the operad. For a $M$0-cofibrant operad $M$1, there is a chain of Quillen equivalences

$M$2

and in the simplicial case the paper introduces a twisted arrow $M$3-category $M$4 for a fibrant simplicial operad. One then has

$M$5

with the cotangent complex represented by a spectrum-valued functor on $M$6 (Truong, 2020).

For $M$7-categories, the same logic produces the twisted $M$8-cell $M$9-category $$D^*(X;M)=H^*\operatorname{Hom}_{\mathrm{Ab}(T_X)}(L_X(X),M),$$0 and an equivalence

$$D^*(X;M)=H^*\operatorname{Hom}_{\mathrm{Ab}(T_X)}(L_X(X),M),$$1

Under this equivalence, the cotangent complex corresponds to the constant functor $$D^*(X;M)=H^*\operatorname{Hom}_{\mathrm{Ab}(T_X)}(L_X(X),M),$$2, and for a coefficient diagram $$D^*(X;M)=H^*\operatorname{Hom}_{\mathrm{Ab}(T_X)}(L_X(X),M),$$3 one obtains

$$D^*(X;M)=H^*\operatorname{Hom}_{\mathrm{Ab}(T_X)}(L_X(X),M),$$4

(Harpaz et al., 2018).

These computations make precise a general principle: once the correct twisted-arrow or bimodule indexing category is identified, Quillen cohomology becomes functor cohomology with a controlled suspension shift.

5. Obstruction theory, transitivity, and spectral sequences

One of Quillen cohomology’s central uses is obstruction theory. In the spectral tangent-category framework, a small extension $$D^*(X;M)=H^*\operatorname{Hom}_{\mathrm{Ab}(T_X)}(L_X(X),M),$$5 over $$D^*(X;M)=H^*\operatorname{Hom}_{\mathrm{Ab}(T_X)}(L_X(X),M),$$6 by a coefficient object $$D^*(X;M)=H^*\operatorname{Hom}_{\mathrm{Ab}(T_X)}(L_X(X),M),$$7 is classified by a class

$$D^*(X;M)=H^*\operatorname{Hom}_{\mathrm{Ab}(T_X)}(L_X(X),M),$$8

and for a lifting problem the obstruction lies in relative Quillen cohomology,

$$D^*(X;M)=H^*\operatorname{Hom}_{\mathrm{Ab}(T_X)}(L_X(X),M),$$9

The space of derived lifts is the space of null-homotopies of the corresponding map

$A\in\mathcal C$00

The same paper proves a Hurewicz-type criterion: under the stated hypotheses on a Quillen adjunction $A\in\mathcal C$01, a map $A\in\mathcal C$02 is a weak equivalence if and only if $A\in\mathcal C$03 is a weak equivalence and the relative cotangent complex $A\in\mathcal C$04 is contractible, equivalently if $A\in\mathcal C$05 induces isomorphisms on Quillen cohomology with all coefficients (Harpaz et al., 2016).

In realization problems, the obstruction groups often appear in explicit degrees. For a $A\in\mathcal C$06-algebra $A\in\mathcal C$07, the successive obstructions to realizing a free simplicial resolution by a simplicial space lie in

$A\in\mathcal C$08

These algebraic obstruction classes are represented by concrete cocycles built from attaching maps, and they correspond under a natural map to geometrically defined higher homotopy operations, specifically to minimal values of certain long Toda-bracket-type operations (Blanc et al., 2011).

Computationally, Quillen’s fundamental spectral sequences relate André–Quillen invariants to classical derived functors. For a commutative algebra $A\in\mathcal C$09 over $A\in\mathcal C$10, there is a homology spectral sequence built from symmetric powers of the cotangent complex and converging to $A\in\mathcal C$11, and a cohomology spectral sequence converging to $A\in\mathcal C$12. The associated five-term exact sequence includes

$A\in\mathcal C$13

which is one of the standard mechanisms by which André–Quillen cohomology detects regular and complete intersection behavior (Faridian, 2024).

Adjunctions furnish another comparison mechanism. Given an adjunction

$A\in\mathcal C$14

and assuming the stated projectivity or regular-epimorphism hypotheses, the prolonged adjunction on simplicial objects is a Quillen pair and induces comparison maps on cotangent complexes, Quillen homology, and Quillen cohomology. These maps appear as edge morphisms in spectral sequences, so exactness or preservation of weak equivalences can force isomorphisms of Quillen theories across adjoint categories (Frankland, 2010).

6. Topological, global, equivariant, and curved extensions

Topological André–Quillen cohomology is the spectral analogue of derived indecomposables for commutative ring spectra. For a commutative $A\in\mathcal C$15-algebra $A\in\mathcal C$16 augmented over $A\in\mathcal C$17, Basterra’s definition is summarized as

$A\in\mathcal C$18

in the derived sense, together with the stabilization formula

$A\in\mathcal C$19

With coefficients in an $A\in\mathcal C$20-module $A\in\mathcal C$21,

$A\in\mathcal C$22

In chromatic homotopy theory this becomes a bridge to unstable $A\in\mathcal C$23-periodic homotopy through the comparison map from the Bousfield–Kuhn functor to $A\in\mathcal C$24 of $A\in\mathcal C$25-local cochains (Behrens et al., 2017).

Global equivariant homotopy theory extends this to ultra-commutative ring spectra. For an $A\in\mathcal C$26-algebra $A\in\mathcal C$27 in $A\in\mathcal C$28-global spectra,

$A\in\mathcal C$29

and for an $A\in\mathcal C$30-module $A\in\mathcal C$31,

$A\in\mathcal C$32

The central theorem identifies this theory with genuine stabilization: $A\in\mathcal C$33 for flat ultra-commutative $A\in\mathcal C$34 (Lenz et al., 2023).

In the algebraic equivariant direction, incomplete Tambara functors require genuine derivations and genuinely equivariant Kähler differentials. A genuine derivation satisfies

$A\in\mathcal C$35

while the module of Kähler differentials is

$A\in\mathcal C$36

From a cofibrant simplicial resolution one forms the cotangent complex $A\in\mathcal C$37 and defines equivariant André–Quillen groups

$A\in\mathcal C$38

The equivariant transitivity triangle requires the additional assumption that the map $A\in\mathcal C$39 be a cofibration, and the same correction affects the fundamental spectral sequence (Leeman, 8 Jul 2025).

Curved algebra provides a different extension. Because quasi-isomorphism is not meaningful for curved algebras, the homotopical setting is changed to filtered complete objects with predifferentials, where weak equivalences are graded quasi-isomorphisms. For a curved operad $A\in\mathcal C$40, the adjunction

$A\in\mathcal C$41

is a Quillen adjunction, the cotangent complex is

$A\in\mathcal C$42

and André–Quillen cohomology is

$A\in\mathcal C$43

The paper develops bar and cobar constructions, curved Koszul duality, and explicit computations for the curved operads encoding curved unital associative algebras and curved complex Lie algebras (Bellier-Millès et al., 2024).

7. Distinctions, adjacent uses of “Quillen,” and common confusions

Several important constructions bearing Quillen’s name are not instances of Quillen cohomology in the cotangent-complex sense. The Quillen category $A\in\mathcal C$44 of a finite $A\in\mathcal C$45-group has objects the elementary abelian $A\in\mathcal C$46-subgroups of $A\in\mathcal C$47 and morphisms induced by conjugation; it controls mod-$A\in\mathcal C$48 cohomology via restriction to elementary abelian subgroups, but it is a categorical invariant of subgroup geometry rather than a theory of derived derivations (Eick et al., 2013).

Likewise, Quillen’s conjecture for arithmetic groups concerns the freeness of

$A\in\mathcal C$49

as a module over the image of

$A\in\mathcal C$50

and its refined forms incorporate detection on finite subgroups. This topic belongs to arithmetic-group cohomology rather than to the cotangent-complex formalism (Rahm et al., 2015).

A different use of “Quillen-type” occurs in the geometric description of ordinary cohomology for Hilbert manifolds. There cohomology is represented by bordism classes of oriented regular singular Hilbert stratifolds,

$A\in\mathcal C$51

and proper oriented Fredholm maps define Gysin maps by composition

$A\in\mathcal C$52

The theory is naturally isomorphic to ordinary singular cohomology, but it is not Quillen cohomology in the André–Quillen or tangent-category sense (Kreck et al., 2015).

Similarly, a “Quillen Stability Criterion” for bounded cohomology adapts Quillen’s homological stability method to measurable or Lebesgue $A\in\mathcal C$53-complexes and produces spectral sequences for bounded cohomology of stabilizers. This is a stability criterion modeled on Quillen’s method, not a cotangent-complex cohomology theory (Mengual et al., 2023).

These distinctions suggest a precise terminological boundary. In contemporary usage, “Quillen cohomology” is most accurately reserved for cohomology theories represented by cotangent complexes, derived abelianization, or stabilization in a tangent category; the broader Quillen nomenclature marks influence, method, or analogy rather than identity.