---
title: 'Cotangent Complex: Derived Differentials'
url: https://www.emergentmind.com/topics/cotangent-complex
type: topic
---

# Cotangent Complex: Derived Differentials

The cotangent complex is the derived replacement for the module of Kähler differentials attached to a morphism of rings, schemes, operads, enriched categories, or other homotopical algebraic objects. In its classical form it is the total left derived functor of \(\Omega^1\); in model-categorical and \(\infty\)-categorical formulations it is the suspension spectrum of the identity object in the relevant tangent category. Its degree-zero homology recovers ordinary differentials, while its higher homology and cohomology encode derived derivations, square-zero extensions, deformation classes, and obstruction theory [2209.14986] [1008.0601] [1612.02608].

## 1. Classical construction and derived refinement

For a morphism of rings \(A \to B\), the cotangent complex \(L_{B/A}\) is constructed by resolving \(B\) simplicially by polynomial \(A\)-algebras and applying the two-term construction
\[
\Omega^1_{R/A}\otimes_R B \xleftarrow{\,d\,} I/I^2,
\]
where \(R \to B\) is a surjection with kernel \(I\). Equivalently, \(L_{B/A}\) is the left derived functor of the module of Kähler differentials. This is the formulation emphasized both in the classical simplicial-algebraic account and in the logarithmic generalization [2209.14986].

In derived algebraic geometry, the same construction is performed in a homotopical category of cdga’s or simplicial commutative algebras by choosing a cofibrant resolution and deriving \(\Omega^1\). For a morphism \(f:X\to S\) of derived schemes, the local affine complexes glue to a quasi-coherent complex \(\mathbb L_{X/S}\). This derived cotangent complex specializes correctly in standard cases: if \(f\) is smooth, then \(\mathbb L_{X/S}\simeq \Omega^1_{X/S}\) in degree \(0\); if \(i:Z\hookrightarrow X\) is a regular closed immersion, then \(\mathbb L_{Z/X}\simeq (I/I^2)[1]\); and if \(f\) is étale, then \(\mathbb L_{X/S}\simeq 0\) [1008.0601].

A common shorthand identifies the cotangent complex with “derived differentials,” but the derived enhancement is essential precisely because \(\Omega^1_{B/A}\) is generally insufficient in singular or non-smooth situations. The point of \(L_{B/A}\) is that \(H_0(L_{B/A})\cong \Omega^1_{B/A}\), while the higher \(H_i\) retain deformation-theoretic information that disappears on passage to ordinary differentials [2209.14986] [1008.0601].

## 2. Universal property, tangent categories, and deformation theory

In Quillen’s abstract framework, if \(\mathcal M\) is a left proper combinatorial model category and \(A\in \mathcal M\), the tangent model category at \(A\) is obtained by stabilizing the slice or over-under category. The cotangent complex is then defined as the suspension spectrum of the identity map,
\[
L_A=\Sigma^\infty(A\xrightarrow{\mathrm{id}}A),
\]
and the relative cotangent complex of \(A\to B\) is the homotopy cofiber of the induced map between these suspension spectra. This realizes the cotangent complex as the universal stable derived invariant at the point \(A\) [1612.02608].

The universal property appears concretely in derivations and square-zero extensions. In the classical algebraic setting one has
\[
\operatorname{Hom}_{\operatorname{Mod}_B}(L_{B/A},M)\simeq \operatorname{Der}_A(B,M),
\]
and the same object classifies square-zero extensions of \(B\) by \(M\). In derived algebraic geometry, Vezzosi’s formulation makes the higher \(\operatorname{Ext}\)-groups geometric: for a classical \(R\)-point \(x:\operatorname{Spec}R\to X\), the groups \(\operatorname{Ext}^i_R(x^*\mathbb L_X,M)\) are represented by maps from the derived \(i\)-th infinitesimal disk \(D_{i,R}(M)\) into \((X,x)\) [2005.01382] [1008.0601].

The cotangent complex also organizes deformation-obstruction sequences. For a composite \(X\to Y\to S\) there is a transitivity triangle
\[
f^*\mathbb L_{Y/S}\longrightarrow \mathbb L_{X/S}\longrightarrow \mathbb L_{X/Y}\xrightarrow{+1},
\]
and in a homotopy-Cartesian square there is a base-change equivalence
\[
\mathbb L_{X'/S'}\simeq \mathbb L_{X/S}\otimes^{\mathbf L}_{\mathcal O_X}\mathcal O_{X'}.
\]
Kodaira–Spencer and obstruction classes arise from this formalism: the obstruction to lifting across a square-zero extension lies in an \(\operatorname{Ext}^2\)-group of the relevant cotangent complex, while smoothness forces those higher obstructions to vanish [1008.0601] [2209.14986].

## 3. André–Quillen homology, Quillen cohomology, and rigidity

For a homomorphism of commutative noetherian rings \(\varphi:R\to S\), locally of finite flat dimension, the cotangent complex \(\mathbb L_{S/R}\) yields André–Quillen homology by
\[
D_n(S/R;M)=H_n(\mathbb L_{S/R}\otimes_S M).
\]
Its zeroth homology is \(\Omega^1_{S/R}\otimes_S M\), and in the surjective case \(R\to S=R/I\) one has \(H_1(\mathbb L_{S/R})\cong I/I^2\) and \(H_i(\mathbb L_{S/R})=0\) for \(i>1\) [2010.13314].

In the abstract tangent-category setting, Quillen cohomology is obtained by mapping out of the cotangent complex. For \(M\in T_A\mathcal M\),
\[
H_Q^n(A;M)=\pi_0\,\operatorname{Map}_{T_A\mathcal M}(L_A,\Omega^n M).
\]
For operadic algebras in stable contexts this becomes the familiar formula
\[
HQ^n(A;M)\cong \pi_{-n}\,\operatorname{Map}_{\operatorname{Mod}_A}(\mathbb L_A,M),
\]
so Quillen cohomology is literally represented by the cotangent complex [1612.02608] [1612.02607].

A major structural result is the rigidity theorem of Briggs–Iyengar: if \(\varphi:R\to S\) is locally of finite flat dimension and
\[
D_n(S/R;M)=0
\quad\text{for some }n\ge 2\text{ and every }S\text{-module }M,
\]
then \(D_m(S/R;M)=0\) for all \(m\ge 2\) and \(\varphi\) is locally complete intersection. This sharpens Avramov’s earlier asymptotic vanishing criterion and confirms a conjecture of Quillen. The proof uses the universal Atiyah class and an equivariance theorem relating \(\operatorname{Ext}_S^*(\mathbb L_{S/R},M)\) to Hochschild cohomology [2010.13314].

This rigidity result clarifies a frequent misunderstanding: higher André–Quillen groups are not merely auxiliary invariants. Their vanishing pattern detects whether the map is locally complete intersection, so the amplitude and homology of the cotangent complex carry decisive singularity-theoretic content [2010.13314].

## 4. Operadic algebras and cotangent complexes over operads

For a \(P\)-algebra \(A\) in a suitable symmetric-monoidal model category \(\mathcal M\), Harpaz–Nuiten–Prasma identify the tangent category at \(A\) with operadic \(A\)-modules after stabilization. More precisely, under hypotheses such as differentiability, left properness, combinatoriality, and suitable admissibility of \(P\), the stabilized tangent category \(T_A\operatorname{Alg}_P(\mathcal M)\) is Quillen equivalent to the stabilization of \(\operatorname{Mod}^P_A(\mathcal M)_{A/}\), and in the stable strictly pointed case to the ordinary model category of \(P\)-modules \(\operatorname{Mod}^P_A(\mathcal M)\) itself [1612.02607].

In that setting, the cotangent complex of \(A\) is the image of the suspended identity object \(\Sigma^\infty_+(\mathrm{id}_A)\) under the equivalence
\[
T_A\operatorname{Alg}_P(\mathcal M)\to \operatorname{Mod}^P_A(\mathcal M).
\]
The same paper gives an operadic \(2\)-ary approximation: in good cases there is a cofiber sequence
\[
A \xrightarrow{\Delta} A\otimes^L_P A \longrightarrow \mathbb L_A \longrightarrow \Sigma A,
\]
whose cofiber is the usual topological André–Quillen complex in the one-colored case [1612.02607].

Millès provides an explicit bar-cobar model for the cotangent complex of a \(P\)-algebra:
\[
\mathbb L_A \simeq A\otimes^P B_\pi A.
\]
In the associative case this identifies the cotangent complex with the classical Koszul complex; in the commutative case it yields the familiar symmetric-exterior resolution; and in the Lie case it recovers the Chevalley–Eilenberg complex. The slogan “the Koszul complex is the cotangent complex” is therefore literal in the operadic framework [1004.0096].

At the level of dg operads themselves, the tangent category at a \(\Sigma\)-cofibrant colored dg operad \(\mathcal P\) is Quillen equivalent to the category of infinitesimal \(\mathcal P\)-bimodules. Under this equivalence the cotangent complex corresponds to \(\mathfrak L_{\mathcal P}[-1]\), where \(\mathfrak L_{\mathcal P}(c_1,\dots,c_m;c)=P(c_1,\dots,c_m;c)^{\oplus m}\). Special cases are especially concrete: for a dg \(E_\infty\)-operad the cotangent complex is represented by the Pirashvili functor \(t[-1]\), while for a dg \(E_n\)-operad it is related to operadic Hochschild cohomology through a cofiber sequence and controls first-order deformations via Quillen cohomology [2602.07353].

## 5. Enriched categories, spectral categories, and \(E_\infty\)-ring spectra

The cotangent-complex formalism extends from algebras to enriched and spectral categories. For a spectral category \(A\), the absolute cotangent complex is defined as the derived indecomposables of the augmentation ideal,
\[
L_A := Q^L(A^{nu}),
\]
and one has a homotopy-cofiber sequence of \(A\)-bimodules
\[
A^{nu}\otimes_A A^{nu}\to A^{nu}\to L_A.
\]
Relative cotangent complexes, topological derivation homology, and topological derivation cohomology are defined from the same object, and these invariants are invariant under Dwyer–Kan equivalence, hence descend to small stable \(\infty\)-categories [1512.07521].

For enriched categories, Harpaz–Nuiten–Prasma show that if \(C\) is an enriched category with object set \(O\), then the tangent category at \(C\) is equivalent to the model category of enriched \(C\)-bimodules, identified as
\[
\operatorname{Fun}_{O\otimes O}(C\otimes C^{op},\mathcal M).
\]
In the \(\infty\)-categorical limit, the tangent \(\infty\)-category at \(C\) in \(\operatorname{Cat}_\infty\) is equivalent to
\[
T_C\operatorname{Cat}_\infty \simeq \operatorname{Fun}(\operatorname{Tw}(C),\operatorname{Sp}),
\]
and the cotangent complex is described as the image of \(\Sigma^\infty_+(\mathrm{id}_C)\) under this equivalence [1612.02607]. A parallel description identifies the cotangent complex of an enriched category as a spectrum-valued functor on the twisted arrow \(\infty\)-category; Quillen cohomology becomes the homotopy groups of a total homotopy limit over \(\operatorname{Tw}(C)\) [1612.02608].

For \(E_\infty\)-ring spectra, several a priori different constructions of the cotangent complex coincide. The Goodwillie-stabilization definition, the sequential-colimit formula, and Basterra’s model-categorical topological André–Quillen construction all agree in \(\operatorname{Mod}_S\) for a map \(R\to S\) of \(E_\infty\)-rings [2005.01382]. This setting also admits explicit computations: if \(Mf\) is the Thom \(E_\infty\)-\(R\)-algebra associated to an \(E_\infty\)-map \(f:G\to \operatorname{Pic}(R)\), then
\[
L_{Mf/R}\simeq Mf\wedge_R B^\infty G.
\]
Moreover, if \(A\to B\) is étale or more generally solid, then \(L_{B/A}\simeq 0\), so vanishing of the cotangent complex detects formal étaleness in the \(E_\infty\)-setting [2005.01382].

A further operadic refinement expresses both Quillen and Hochschild theories of an \(O\)-algebra by spectrum-valued functors on the operadic twisted arrow \(\infty\)-category \(\operatorname{Tw}(O)\). In this picture the cotangent complex of the operad itself becomes a functor \(F_O\) with
\[
F_O(\mu)\simeq S^{\oplus m}
\]
for an \(m\)-ary operation \(\mu\), and Quillen cohomology of an \(O\)-algebra \(A\) with coefficients in \(N\) is computed as a mapping object from \(F_O\) to the corresponding endomorphism functor \(\operatorname{End}_{A,N}\) [2312.16504].

## 6. Logarithmic, valuation-theoretic, and Poisson-enhanced variants

The logarithmic cotangent complex \(L_{(B,N)/(A,M)}\) is defined for a morphism of prelog rings by resolving both the underlying rings and monoids by free cofibrations and deriving logarithmic differentials. Its degree-zero homology is the module of logarithmic differentials
\[
\Omega^1_{(B,N)/(A,M)},
\]
and it satisfies transitivity and functoriality analogous to the ordinary cotangent complex [2209.14986].

Logarithmic geometry modifies the low-degree shape of the theory. Conde-Lago and Majadas construct a logarithmic Lichtenbaum–Schlessinger complex: a \(3\)-term complex concentrated in degrees \(2,1,0\) that computes \(H_i(L_{(B,N)/(A,M)})\) for \(i\le 2\). They also construct a logarithmic analogue of Quillen’s fundamental spectral sequence. In contrast with the classical case, the log spectral sequence has only one nonzero row at the \(E^1\)-page, together with error terms \(W_n\) measuring failure of flatness of the monoid map; when the log structures are trivial, the construction collapses to the classical cotangent complex [2209.14986].

For valued fields, the cotangent complex admits an explicit non-Noetherian description. For a finite or purely transcendental extension of real valued fields \((L,v_L)/(K,v_K)\), the integral cotangent and log cotangent complexes are constructed from a MacLane–Vaquié chain approximating the induced semi-valuation. The resulting complexes satisfy
\[
L_{L^\circ/K^\circ}\simeq \Omega_{L^\circ/K^\circ}[0],
\qquad
L^{\log}_{L^\circ/K^\circ}\simeq \Omega^{\log}_{L^\circ/K^\circ}[0],
\]
and the higher homology obeys
\[
H_i(L_{L^\circ/K^\circ})=0 \text{ for } i\ge 2,
\]
with \(H_1\) torsion-free and vanishing precisely when \(L/K\) is separable. The same analysis yields explicit formulas for the different, log different, discrepancy, Kähler norm, and weight norm in terms of augmentation steps of the chain [2604.01992].

The cotangent complex also acquires additional algebraic structure in Poisson and singular settings. If \(A=\mathbf k[x_1,\dots,x_n]/I\) is a Poisson algebra with \(I\) a Poisson ideal, then \(\mathbb L_{A|\mathbf k}\) carries an \(L_\infty\)-algebroid structure induced from a \(P_\infty\)-structure on a semifree resolution. In low degrees the bracket extends the usual Koszul bracket on Kähler differentials, and in hypersurface or suitable complete-intersection cases the higher operations collapse so that one recovers a dg Lie algebroid. This demonstrates that the cotangent complex can serve not only as a derived replacement for \(\Omega^1\) but also as the natural receptacle for higher Poisson or Lie–Rinehart structures on singular spaces [2107.04204].

Across these variants, the same pattern persists: the cotangent complex is the universal derived receptacle for differentials, derivations, and square-zero extensions, but its concrete form depends strongly on the ambient geometry. In smooth, étale, or solid situations it collapses to degree \(0\) or vanishes; in singular, logarithmic, operadic, enriched, and spectral contexts it retains higher structure that governs deformation theory, exactness properties, and cohomological invariants [1008.0601] [2005.01382] [2209.14986].

Source: https://www.emergentmind.com/topics/cotangent-complex