---
title: 'Quillen Cohomology: A Derived Framework'
url: https://www.emergentmind.com/topics/quillen-cohomology
type: topic
---

# Quillen Cohomology: A Derived Framework

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 [1612.02608]. 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 [2302.06207].

## 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$” [2211.01536]. 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
\[
D^0(X;M)=\operatorname{Der}_X(X;M),
\]
so the theory is the derived functor of derivations [1612.06315].

In the broader model-categorical formulation, if $U_X:(\mathcal C/X)_{ab}\to \mathcal C/X$ has left adjoint $Ab_X$, the cotangent complex of $X$ is obtained by applying abelianization to a cofibrant replacement in $s\mathcal C$, and Quillen homology and cohomology are the resulting derived functors [1009.5156]. A spectral version replaces abelian group objects by spectrum objects in the tangent category. For a left proper combinatorial model category $\mathcal M$ and $A\in\mathcal M$, the tangent model category is
\[
\mathcal T_A\mathcal M:=\mathrm{Sp}(\mathcal M_{/A}),
\]
the cotangent complex is
\[
L_A=\Sigma^\infty_+A,
\]
and spectral Quillen cohomology is
\[
H_Q^n(X;M)=\pi_0\operatorname{Map}_{\mathcal T_X\mathcal M}(L_X,\Sigma^nM)
=\pi_{-n}\operatorname{Map}(L_X,M)
\]
[1612.02608].

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 $f:A\to B$ is
\[
L_{B/A}:=\operatorname{hocofib}(L_A\to L_B),
\]
and the tangent-category formalism agrees with Lurie’s tangent $\infty$-categorical construction under the stated hypotheses [1612.02608]. 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 $R$-algebra $S\to R$, the augmentation ideal is
\[
I(S)=S\times_R *,
\]
a functor
\[
I:\mathbf{CAlg}_R/R\longrightarrow \mathbf{NUCA}_R.
\]
For a non-unital commutative $R$-algebra $J$, the indecomposables are
\[
Q(J)=*\amalg_{J\otimes_R J}J,
\]
a functor
\[
Q:\mathbf{NUCA}_R\longrightarrow \mathbf{Mod}_R.
\]
With unitalization $K(J)=R\vee J$, one has a Quillen equivalence $K\dashv I$, and the abstract cotangent complex is defined by
\[
\Omega_{S/R}=LQ\big(RI(S\otimes_R^LS)\big).
\]
It satisfies transitivity, base change, and homotopy invariance; for a composable sequence $R\to S\to T$, there is a homotopy cofiber sequence
\[
\Omega_{S/R}\otimes_S^LT\longrightarrow \Omega_{T/R}\longrightarrow \Omega_{T/S}
\]
[2302.06207].

The same paper makes stabilization fully explicit in the global setting. For a flat ultra-commutative ring spectrum $R$,
\[
\mathbf{Mod}_R \quad \text{is the global stabilization of} \quad \mathbf{Comm}_R/R,
\]
and the universal map to the stable world is the derived abelianization
\[
\Ab_{R/R}=LQ\circ RI.
\]
Here stabilization is genuine rather than naive: for every finite group $G$ and finite $G$-set $A$, smashing with $S^A$ must become an equivalence [2302.06207].

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$ are equivalent to modules over the graded monoid algebra $KX$, where $(KX)_x$ is the free $K$-module on a generator $1_x$ and
\[
1_x\cdot 1_y=1_{x+y}.
\]
Under this identification, the main theorem is
\[
HQCM(X)=HQCA(KX),
\]
and, with coefficients,
\[
HQCM(X;M)=HQCA(KX;M).
\]
The same analysis identifies Grillet’s partial cochain complex as the beginning of the Barr complex for the graded monoid algebra [2211.01536].

For racks and quandles, the classical combinatorial cohomology theories are likewise identified with Quillen cohomology up to the standard shift. If $X$ is a rack and $A$ an abelian group,
\[
HR^{*+1}(X;A)\cong D^*(X;A),
\]
and if $X$ is a quandle,
\[
HQ^{*+1}(X;A)=D^*(X;A).
\]
This identification imports the full Quillen toolkit—relative cotangent complexes, transitivity triangles, flat base change, excision, and Mayer–Vietoris—into rack and quandle theory [1612.06315].

Divided power algebras over an operad provide a further extension. For a $\Gamma(P)$-algebra $A$, Beck modules are equivalent to explicit $A$-modules and also to modules over a universal enveloping ring $U_{\Gamma(P)}(A)$. Derivations are represented by Kähler differentials
\[
\Omega_{\Gamma(P)}(A),
\qquad
\Hom_A(\Omega_{\Gamma(P)}(A),M)\cong \Der_A(A,M),
\]
and the cotangent complex is
\[
L_A=U_{\Gamma(P)}(A)\otimes_{U_{\Gamma(P)}(C_\bullet)}\Omega_{\Gamma(P)}(C_\bullet),
\]
with
\[
HQ_n(A)=\pi_n(L_A),
\qquad
HQ^n(A;M)=\pi^n\!\left(\Hom_A(L_A,M)\right)
\]
[2403.18049].

The same pattern also appears in comonad-theoretic settings for $\lambda$-rings and $\Psi$-rings, where degree-zero cohomology is derivations, $H^1$ classifies square-zero extensions, and in the $\Psi$-case there is a Baues–Wirsching spectral sequence
\[
E_2^{p,q}=H^p_{\mathrm{BW}}\!\left(I,\,H_V^q(R,M)\right)\Longrightarrow H_V^{p+q}(R,M)
\]
[1009.4360].

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 $\mathcal S$-enriched category $C$, the tangent model category is Quillen equivalent to enriched functors on the enveloping bimodule shape. If $\mathcal S$ is stable, this simplifies to
\[
\mathcal J_C\mathrm{Cat}_{\mathcal S}\simeq_Q
\mathrm{Fun}_{\mathcal S}(C^{\mathrm{op}}\otimes C,\mathcal S),
\]
and under this equivalence the cotangent complex corresponds to the desuspension of the mapping-object functor:
\[
L_C\longleftrightarrow \mathrm{Map}_{\mathcal S}[-1].
\]
In the dg-case, this yields
\[
H_Q^*(C;F)\cong HH^{*+1}(C,F),
\]
so Quillen cohomology agrees with Hochschild cohomology up to a shift by $1$ [1612.02608].

For simplicial categories and $\infty$-categories, the tangent category is described in twisted-arrow form. If $\mathcal X$ is a fibrant simplicial category, then
\[
T_{\mathcal X}(\mathrm{sCat})\simeq \mathrm{Fun}\big(\mathrm{Tw}(N(\mathcal X)),\mathrm{Sp}\big),
\]
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 $k$-invariants take values in this cohomology, and the paper constructs an explicit cube-based cochain complex whose $H^1$ contains the obstruction class to lifting a map through successive Postnikov stages [2212.01885].

For enriched operads, the tangent categories are modeled by module theories intrinsic to the operad. For a $\Sigma$-cofibrant operad $P$, there is a chain of Quillen equivalences
\[
T_P\IbMod(P)\simeq T_P\BMod(P)\simeq T_P\Op_C(S)\simeq T_P\Op(S),
\]
and in the simplicial case the paper introduces a twisted arrow $\infty$-category $\Tw(P)$ for a fibrant simplicial operad. One then has
\[
T_P\Op(\Set_\Delta)_\infty \simeq \Fun(\Tw(P),\Sp),
\]
with the cotangent complex represented by a spectrum-valued functor on $\Tw(P)$ [2005.01198].

For $(\infty,2)$-categories, the same logic produces the twisted $2$-cell $\infty$-category $\Tw_2(\mathbb C)$ and an equivalence
\[
\mathcal J_{\mathbb C}\big(\mathrm{Cat}_{(\infty,2)}\big)\simeq \Fun\big(\Tw_2(\mathbb C),\Sp\big).
\]
Under this equivalence, the cotangent complex corresponds to the constant functor $S[-2]$, and for a coefficient diagram $F$ one obtains
\[
H^n(\mathbb C;F)\cong \pi_{-n-2}\!\left(\lim_{\Tw_2(\mathbb C)}F\right)
\]
[1802.08046].

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 $Y_a\to Y$ over $X$ by a coefficient object $M\in\mathcal T_X\mathcal M$ is classified by a class
\[
[a]\in H_Q^0(Y;f^*M),
\]
and for a lifting problem the obstruction lies in relative Quillen cohomology,
\[
[\beta]\in H_Q^0(B,A;g^*M).
\]
The space of derived lifts is the space of null-homotopies of the corresponding map
\[
L_{B/A}\to g^*M[1].
\]
The same paper proves a Hurewicz-type criterion: under the stated hypotheses on a Quillen adjunction $L\dashv R$, a map $f$ is a weak equivalence if and only if $L(f)$ is a weak equivalence and the relative cotangent complex $L_{B/A}$ is contractible, equivalently if $f$ induces isomorphisms on Quillen cohomology with all coefficients [1612.02608].

In realization problems, the obstruction groups often appear in explicit degrees. For a $\Pi$-algebra $\Lambda$, the successive obstructions to realizing a free simplicial resolution by a simplicial space lie in
\[
H^{n+2}_{AQ}(\Lambda;\Omega^n\Lambda),
\qquad n\ge 1.
\]
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 [1107.4117].

Computationally, Quillen’s fundamental spectral sequences relate André–Quillen invariants to classical derived functors. For a commutative algebra $A$ over $R$, there is a homology spectral sequence built from symmetric powers of the cotangent complex and converging to $\operatorname{Tor}$, and a cohomology spectral sequence converging to $\operatorname{Ext}$. The associated five-term exact sequence includes
\[
0 \longrightarrow H^2_{AQ}(A|R;M) \longrightarrow \operatorname{Ext}_R^2(A,M)
\longrightarrow \operatorname{Hom}_A\!\bigl(A\operatorname{Tor}_1^R(A,A),M\bigr)
\longrightarrow H^3_{AQ}(A|R;M) \longrightarrow \operatorname{Ext}_R^3(A,M),
\]
which is one of the standard mechanisms by which André–Quillen cohomology detects regular and complete intersection behavior [2405.04709].

Adjunctions furnish another comparison mechanism. Given an adjunction
\[
F:\mathcal C \rightleftarrows \mathcal D:G,
\]
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 [1009.5156].

## 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 $S$-algebra $A$ augmented over $R$, Basterra’s definition is summarized as
\[
\TAQ^R(A)\simeq I(A)/I(A)^{\wedge 2}
\]
in the derived sense, together with the stabilization formula
\[
\TAQ^R(A)\simeq \hocolim_n \Omega^n(S^n\otimes I(A)).
\]
With coefficients in an $R$-module $M$,
\[
\TAQ^R(A;M)=\TAQ^R(A)\wedge_R M,
\qquad
\TAQ_R(A;M)=F_R(\TAQ^R(A),M).
\]
In chromatic homotopy theory this becomes a bridge to unstable $v_h$-periodic homotopy through the comparison map from the Bousfield–Kuhn functor to $\TAQ$ of $K(h)$-local cochains [1712.03045].

Global equivariant homotopy theory extends this to ultra-commutative ring spectra. For an $R$-algebra $S$ in $G$-global spectra,
\[
\Omega_{S/R}=(LQ)(RI)\big(S\wedge_R^LS\big),
\]
and for an $S$-module $M$,
\[
\TAQ_*^G(S,R;M)=\hat\pi_*\big(\Omega_{S/R}\wedge_S^LM\big),
\qquad
\TAQ_G^*(S,R;M)=\hat\pi_{-*}\big(RF(\Omega_{S/R},M)\big).
\]
The central theorem identifies this theory with genuine stabilization:
\[
\mathbf{Mod}_R \quad \text{is the global stabilization of} \quad \mathbf{Comm}_R/R
\]
for flat ultra-commutative $R$ [2302.06207].

In the algebraic equivariant direction, incomplete Tambara functors require genuine derivations and genuinely equivariant Kähler differentials. A genuine derivation satisfies
\[
d\bigl(N_f(s)\bigr)=T_f\!\left(N_{\pi_2}R_{\pi_1}(s)\cdot d(s)\right),
\]
while the module of Kähler differentials is
\[
\Omega_{\underline A|\underline B}=\underline I/\underline I^{>1}.
\]
From a cofibrant simplicial resolution one forms the cotangent complex $L_{\underline B/\underline A}$ and defines equivariant André–Quillen groups
\[
D_q(\underline B|\underline A;\underline M)=\pi_q\bigl(L_{\underline B|\underline A}\boxtimes_{\underline B}\underline M\bigr),
\qquad
D^q(\underline B|\underline A;\underline M)=H^q\bigl(\underline{\Hom}_{\underline B}(NL_{\underline B|\underline A},\underline M)\bigr).
\]
The equivariant transitivity triangle requires the additional assumption that the map $\underline R\to \underline S$ be a cofibration, and the same correction affects the fundamental spectral sequence [2507.06099].

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 $P$, the adjunction
\[
A_{-}^{P}\Omega_P - \;\dashv\; A\ltimes -
\]
is a Quillen adjunction, the cotangent complex is
\[
L_A:=L(A_{-}^{P}\Omega_P -)(A),
\]
and André–Quillen cohomology is
\[
H_{AQ}^n(A,M)=\operatorname{Hom}_{Ho(Mod)}(L_A,M[n])
=H^n\!\left(\operatorname{Hom}_{Mod}(L_A,M),\partial\right).
\]
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 [2401.14309].

## 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 ${}_p(G)$ of a finite $p$-group has objects the elementary abelian $p$-subgroups of $G$ and morphisms induced by conjugation; it controls mod-$p$ cohomology via restriction to elementary abelian subgroups, but it is a categorical invariant of subgroup geometry rather than a theory of derived derivations [1310.0844].

Likewise, Quillen’s conjecture for arithmetic groups concerns the freeness of
\[
H^*(\mathrm{GL}_n(\mathcal O_{K,S}),\mathbb F_\ell)
\]
as a module over the image of
\[
H^*(\mathrm{GL}_n(\mathbb C),\mathbb F_\ell)\cong \mathbb F_\ell[c_1,\dots,c_n],
\]
and its refined forms incorporate detection on finite subgroups. This topic belongs to arithmetic-group cohomology rather than to the cotangent-complex formalism [1506.01814].

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,
\[
SH^k(M),
\]
and proper oriented Fredholm maps define Gysin maps by composition
\[
f_!:SH^k(M)\to SH^{k-r}(N).
\]
The theory is naturally isomorphic to ordinary singular cohomology, but it is not Quillen cohomology in the André–Quillen or tangent-category sense [1506.07075].

Similarly, a “Quillen Stability Criterion” for bounded cohomology adapts Quillen’s homological stability method to measurable or Lebesgue $G$-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 [2307.12808].

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.

Source: https://www.emergentmind.com/topics/quillen-cohomology