04.03.17 · algebraic-geometry / cohomology

Derived tensor product ⊗^L and Tor in derived categories

shipped3 tiersLean: none

Anchor (Master): Cartan-Eilenberg *Homological Algebra* (Princeton 1956); Verdier *Catégories dérivées* (SGA 4½, LNM 569, 1977; thesis published as Astérisque 239, 1996); Grothendieck *SGA 6 — Théorie des intersections et théorème de Riemann-Roch* (Springer LNM 225, 1971); Hartshorne *Residues and Duality* (Springer LNM 20, 1966); Gelfand-Manin *Methods of Homological Algebra* (Springer 2nd ed. 2003) Ch. III

Intuition Beginner

Ordinary tensor product of modules over a ring $R$ takes two modules $M$ and $N$ and produces a new module that records all bilinear combinations of their elements. The operation is well-behaved when both factors are nice — when one of them is flat, meaning forming the tensor product with it preserves short exact sequences. When neither factor is flat, the tensor product loses information: a short exact sequence in either variable produces a tensored sequence that is right-exact but not left-exact, and the missing left-exactness is recorded by correction groups called Tor.

The derived tensor product packages all of these correction groups into one single object on the derived category. Instead of forming the tensor product of $M$ and $N$ directly, you first replace $M$ by a flat resolution — a sequence of flat modules that maps into $M$ and remembers its structure — and then form the tensor product of the resolution with $N$ . The result is no longer a single module but a chain complex, and its cohomology groups are the Tor groups. Treating the resolved complex as a single derived-category object gives the derived tensor product its name: one bifunctor that records the tensor product and all higher corrections at once.

The everyday analogy is multiplication of approximate measurements. The ordinary tensor product is the multiplication; flat resolution is keeping track of the error bars; and the Tor groups are the higher-order corrections that show up when both factors have rich structure. The derived tensor product is the bookkeeping that keeps all the corrections in one place.

Visual Beginner

A diagram showing a flat resolution of $M$ above the tensor-product operation with $N$ , with the result being a chain complex below. Arrows indicate that taking the cohomology of the tensored complex recovers the Tor groups in each degree, with $Tor_{0}$ being the ordinary tensor product and the higher Tor groups being the new information recorded by the resolution.

The picture captures the structural shape: resolution gives a chain complex, tensor product is applied levelwise, and the resulting complex carries the entire derived information. A reader who internalises this picture will recognise the same template every time a left-derived functor appears — flat resolution then apply the underived functor then take cohomology.

Worked example Beginner

Compute the derived tensor product of the cyclic group $Z / m$ with the cyclic group $Z / n$ over the integer ring $Z$ , for positive integers $m$ and $n$ . The result will recover the classical identity $Tor_{1}^{Z} (Z / m, Z / n) = Z / g cd (m, n)$ .

Step 1. Flat resolution of $Z / m$ . Over the ring of integers, flat modules are the same as torsion-free modules, and the shortest flat resolution of $Z / m$ is the two-term sequence with $Z$ in degree $1$ , $Z$ in degree $0$ , and the differential from degree $1$ to degree $0$ given by multiplication by $m$ ; the augmentation map sends degree $0$ onto $Z / m$ via the quotient map. The resolution complex has only two nonzero terms.

Step 2. Apply the tensor-product-with- $Z / n$ operation to the resolution. Each $Z$ in the resolution tensors with $Z / n$ to give $Z / n$ . The differential, which was multiplication by $m$ on $Z$ , becomes multiplication by $m$ as a map from $Z / n$ to $Z / n$ on the tensored complex.

Step 3. Compute cohomology. The tensored complex has $Z / n$ in degrees $1$ and $0$ with multiplication by $m$ between them. Its degree- $0$ cohomology is the cokernel of multiplication-by- $m$ on $Z / n$ , which is $Z / g cd (m, n)$ . Its degree- $1$ cohomology (using the homological convention for left-derived functors) is the kernel of multiplication-by- $m$ on $Z / n$ , the subgroup of elements $x$ with $m x \equiv 0 (mod n)$ — multiples of $n / g cd (m, n)$ inside $Z / n$ , which is also $Z / g cd (m, n)$ .

Step 4. Read off the Tor groups. The recovery formula identifies the Tor groups as the cohomology of the derived tensor product, giving $Tor_{0}^{Z} (Z / m, Z / n) = Z / g cd (m, n)$ , which is also the underived tensor product, and $Tor_{1}^{Z} (Z / m, Z / n) = Z / g cd (m, n)$ . All higher Tor groups vanish because the resolution has only two nonzero terms.

What this tells us. The derived tensor product of two finite cyclic groups over the integer ring is a two-term complex whose cohomology in degree $0$ is the ordinary tensor product and whose cohomology in degree $1$ is the first Tor group, both equal to $Z / g cd (m, n)$ . When $m$ and $n$ are coprime so that $g cd (m, n) = 1$ , both groups vanish and the derived tensor product is acyclic, reflecting the classical fact that coprime cyclic groups have no shared torsion structure. The single derived-category object carries both pieces of information at once, and this is the universal feature that makes the derived tensor product the right operation in the derived category.

Check your understanding Beginner

Exercise (easy, multiple choice).

The derived tensor product of $M$ and $N$ on the bounded-above derived category of $R$ -modules is computed by which procedure?

A. Forming the underived tensor product of $M$ and $N$ directly, then taking a flat resolution of the result B. Taking a flat resolution of $M$ and applying the tensor-product-with- $N$ operation levelwise C. Taking a free resolution of $N$ and applying $Hom_{R} (M, -)$ D. Composing $M$ and $N$ as morphisms in the derived category

Hint

The derived tensor product is a left-derived functor; left-derived functors use resolutions by objects on which the underived functor is exact.

Answer

B. The derived tensor product is computed by replacing one of the factors (say $M$ ) with a flat resolution and applying the tensor-product-with-the-other-factor operation levelwise. The result is a chain complex, well-defined in the bounded-above derived category up to canonical quasi-isomorphism. Option A reverses the order — taking a resolution after the tensor product loses the very information the resolution is meant to capture. Option C describes a right-derived functor of $Hom$ rather than a left-derived tensor. Option D treats $M$ and $N$ as morphisms, which is the wrong category-theoretic role.

Exercise (easy, true-false).

True or false: the Tor groups $Tor_{i}^{R} (M, N)$ are recovered as cohomology of the derived tensor product, with $Tor_{0}$ being the ordinary tensor product.

Hint

The recovery formula reads: Tor in degree $i$ equals the $i$ -th homology of the derived-tensor-product complex, in the grading where the resolution sits in nonnegative degrees.

Answer

True. The Tor groups are the homology of the derived tensor product: $Tor_{i}^{R} (M, N)$ equals the $i$ -th homology of the derived-tensor-product complex. The degree- $0$ group recovers the ordinary tensor product, and the higher Tor groups record the failure of the underived tensor with $N$ to be exact. When both $M$ and $N$ are flat, all higher Tor groups vanish and the derived tensor product agrees with the ordinary one in degree $0$ with nothing higher up.

Exercise (easy, multiple choice).

For $g cd (m, n) = 1$ , the derived tensor product of $Z / m$ and $Z / n$ over the integer ring is:

A. The cyclic group $Z / (mn)$ in degree $0$ B. Acyclic (all cohomology groups vanish) C. The cyclic group $Z / m$ in degree $0$ and $Z / n$ in degree $1$ D. The integers $Z$ in degree $0$

Hint

When $m$ and $n$ are coprime, $g cd (m, n) = 1$ and the cyclic group $Z /1$ is the zero group. The worked example computes both $Tor_{0}$ and $Tor_{1}$ as $Z / g cd (m, n)$ .

Answer

B. When $g cd (m, n) = 1$ , both $Tor_{0}^{Z} (Z / m, Z / n) = Z / g cd (m, n) = 0$ and $Tor_{1}^{Z} (Z / m, Z / n) = Z / g cd (m, n) = 0$ , and all higher Tor groups vanish for grading reasons. The derived tensor product is therefore acyclic. This reflects the classical fact that coprime cyclic groups share no torsion structure. Option A confuses the underived tensor product over the integers — which equals $Z / g cd (m, n)$ — with $Z / (mn)$ , which would hold only when one of $m, n$ equals $1$ .

Formal definition Intermediate+

Let $R$ be a commutative ring and let $D^{-} (R) = D^{-} (Mod_{R})$ denote the bounded-above derived category of $R$ -modules. The derived tensor product is a bifunctor $$

\otimes^L_R - : D^-(R) \times D^-(R) \to D^-(R) $$ defined by flat (equivalently, $K$ -flat) resolution in either argument and characterised by the property that for any object $M \in Mod_{R}$ regarded as a complex concentrated in degree $0$ , $M \otimes_{R}^{L} N$ for any complex $N \in D^{-} (R)$ is computed by choosing a flat resolution $P_{∙} \to M$ and forming the levelwise tensor product complex $P_{∙} \otimes_{R} N$ .

Definition (flat resolution). A flat resolution of an $R$ -module $M$ is a complex $P_{∙}$ of flat $R$ -modules concentrated in nonnegative degrees, together with a quasi-isomorphism $P_{∙} \to M$ (where $M$ is regarded as a complex concentrated in degree $0$ ). Every $R$ -module admits a flat resolution by free modules; the projective resolution of $M$ is a flat resolution because projective modules are flat. Two flat resolutions of the same module are related by a chain homotopy equivalence, and so the resulting tensor complex is well-defined up to canonical quasi-isomorphism.

Definition (derived tensor product). For complexes $K, L \in D^{-} (R)$ , the derived tensor product is $$ K \otimes^L_R L := P_\bullet \otimes_R L \in D^-(R), $$ where $P_{∙} \to K$ is a chosen $K$ -flat resolution (a complex of flat modules quasi-isomorphic to $K$ , with the additional condition that tensoring with $P_{∙}$ preserves acyclic complexes; for bounded-above $K$ this reduces to the levelwise flatness condition). The result is independent of the resolution chosen up to canonical quasi-isomorphism, and is symmetric in $K$ and $L$ up to canonical natural isomorphism — equivalently, resolving the second argument by a $K$ -flat resolution $Q_{∙} \to L$ and forming $K \otimes_{R} Q_{∙}$ gives the same result.

Definition (Tor groups). For $R$ -modules $M, N$ and $i \geq 0$ , the Tor groups are $$ \mathrm{Tor}i^R(M, N) := H_i(M \otimes^L_R N) = H{-i}(M \otimes^L_R N \text{ in cohomological grading}). $$ Convention: when $M \otimes_{R}^{L} N$ is presented as a cochain complex sitting in nonpositive degrees (so the resolution lives in degrees $\leq 0$ ), the Tor groups are read off in negative cohomological degrees via $Tor_{i} = H^{- i}$ . When presented as a chain complex sitting in nonnegative degrees, the Tor groups are read off directly as $Tor_{i} = H_{i}$ . The two indexings differ only by a sign on the degree. The degree- $0$ recovery $Tor_{0}^{R} (M, N) = M \otimes_{R} N$ holds in either convention.

Definition (universal property). The derived tensor product $\otimes_{R}^{L}$ is the unique (up to canonical natural isomorphism) bifunctor $D^{-} (R) \times D^{-} (R) \to D^{-} (R)$ satisfying three properties: (i) it agrees with the underived $\otimes_{R}$ on objects placed in degree $0$ when one of the factors is flat; (ii) it is exact in each variable as a triangulated functor (sends distinguished triangles to distinguished triangles); (iii) it commutes with arbitrary direct sums in each variable. The universal property characterises $\otimes_{R}^{L}$ as the total left derived functor of the bifunctor $\otimes_{R} : Mod_{R} \times Mod_{R} \to Mod_{R}$ .

Definition (associativity and symmetry). The derived tensor product is associative and symmetric up to canonical isomorphism: $$ (K \otimes^L_R L) \otimes^L_R M \xrightarrow{\sim} K \otimes^L_R (L \otimes^L_R M), \qquad K \otimes^L_R L \xrightarrow{\sim} L \otimes^L_R K, $$ and these isomorphisms satisfy the standard coherence conditions making $(D^{-} (R), \otimes_{R}^{L}, R)$ a symmetric monoidal triangulated category with unit object the ring $R$ regarded as a complex in degree $0$ .

Definition (adjunction with $R Hom$ ). For any complex $L \in D^{-} (R)$ , the functor $- \otimes_{R}^{L} L : D^{-} (R) \to D^{-} (R)$ is left adjoint to the derived internal Hom $R Hom_{R} (L, -) : D^{+} (R) \to D^{+} (R)$ on the appropriate bounded subcategories. The adjunction reads $$ \mathrm{Hom}{D(R)}(K \otimes^L_R L, M) = \mathrm{Hom}{D(R)}(K, R\mathrm{Hom}_R(L, M)) $$ for $K \in D^{-} (R)$ and $M \in D^{+} (R)$ , naturally in all three arguments. This is the derived version of the classical tensor-hom adjunction $Hom (M \otimes N, P) = Hom (M, Hom (N, P))$ .

Counterexamples to common slips

The derived tensor product is not in general the underived tensor product extended levelwise to complexes. Levelwise tensor is well-defined only when one of the factors consists of flat modules; otherwise the result depends on the representatives chosen and fails to descend to the derived category.
The Tor groups are recovered from the derived tensor product via $Tor_{i}^{R} (M, N) = H_{i} (M \otimes_{R}^{L} N)$ in homological indexing, equivalently $Tor_{i} = H^{- i}$ in cohomological indexing. Mixing the two conventions within a single calculation produces sign errors and degree shifts.
The derived tensor product on $D^{-} (R)$ is a bifunctor on bounded-above complexes. The extension to unbounded $D (R)$ requires the more refined notion of a $K$ -flat resolution, available in modern treatments (Spaltenstein, Keller). The bounded-above setting suffices for nearly all applications, including the recovery of Tor and the projection formula in the six-functor formalism.
The associativity isomorphism $(K \otimes^{L} L) \otimes^{L} M ≅ K \otimes^{L} (L \otimes^{L} M)$ is canonical but not the identity; it involves a comparison map built from chosen resolutions, and its naturality is part of the symmetric-monoidal-category coherence data, not an automatic consequence of underived associativity.

Key theorem with proof Intermediate+

Theorem (bifunctor property and universal characterisation of $\otimes_{R}^{L}$ ; Cartan-Eilenberg 1956 Ch. VIII / Verdier 1963 thesis Ch. III). Let $R$ be a commutative ring. The derived tensor product extends to a bifunctor $$

\otimes^L_R - : D^-(R) \times D^-(R) \to D^-(R), $$ which is associative and symmetric up to canonical natural isomorphism, and which is characterised by the universal property: it is the total left derived functor of the underived tensor product $\otimes_{R} : Mod_{R} \times Mod_{R} \to Mod_{R}$ .

Proof. The argument has four steps. First, define $\otimes_{R}^{L}$ on objects via flat resolution and show independence from the resolution. Second, extend to morphisms via the lifting property of flat resolutions. Third, prove the bifunctoriality, associativity, and symmetry from the corresponding properties of the underived $\otimes_{R}$ . Fourth, verify the universal property.

Step 1: definition on objects and independence from resolution. Let $K \in D^{-} (R)$ and choose a $K$ -flat resolution $P_{∙} \to K$ . For any $L \in D^{-} (R)$ , define $K \otimes_{R}^{L} L := P_{∙} \otimes_{R} L$ , the total complex of the bicomplex obtained by tensoring $P_{∙}$ (in the first direction) with $L$ (in the second direction). Independence from the resolution: if $P_{∙}^{'} \to K$ is another $K$ -flat resolution, the comparison map $P_{∙} \to P_{∙}^{'}$ extending the identity on $K$ exists and is unique up to chain homotopy; tensoring with $L$ gives a chain map $P_{∙} \otimes L \to P_{∙}^{'} \otimes L$ that is a quasi-isomorphism (since the comparison was, and tensoring with $K$ -flat complexes preserves quasi-isomorphisms by the very definition of $K$ -flatness). The resulting object in $D^{-} (R)$ is therefore independent of the resolution choice up to canonical isomorphism.

Step 2: extension to morphisms. Given a morphism $f : K \to K^{'}$ in $D^{-} (R)$ , lift it to a chain map $\tilde{f} : P_{∙} \to P_{∙}^{'}$ between $K$ -flat resolutions of $K$ and $K^{'}$ (such a lift exists and is unique up to chain homotopy by the lifting property of flat resolutions). Tensoring with $L$ gives $\tilde{f} \otimes L : P_{∙} \otimes L \to P_{∙}^{'} \otimes L$ , which descends to a morphism $f \otimes^{L} L : K \otimes^{L} L \to K^{'} \otimes^{L} L$ in $D^{-} (R)$ . The lift independence makes this well-defined up to canonical isomorphism, and functoriality in $f$ follows from functoriality of the lifts.

Step 3: bifunctoriality, associativity, symmetry. Bifunctoriality in $L$ follows by the same lifting argument applied to the second variable, after observing that the construction is symmetric in the two factors when both are resolved (which is the standard balanced-functor calculation of Cartan-Eilenberg Ch. VIII). Associativity reduces to associativity of the underived $\otimes_{R}$ together with naturality of the resolution comparisons; the standard double-resolution argument (resolve $K$ by $P_{∙}$ and $L$ by $Q_{∙}$ , then $(K \otimes^{L} L) \otimes^{L} M$ and $K \otimes^{L} (L \otimes^{L} M)$ both reduce to $(P_{∙} \otimes Q_{∙}) \otimes M$ up to canonical isomorphism) produces the canonical associator. Symmetry is the same with the swap of $K$ and $L$ , using the symmetry of underived $\otimes_{R}$ at the resolution level.

Step 4: universal property as total left derived functor. The total left derived functor of $\otimes_{R}$ is by definition the universal triangulated bifunctor $D^{-} \times D^{-} \to D^{-}$ together with a natural transformation to $\otimes_{R}$ on degree- $0$ inputs, satisfying the property that any other triangulated bifunctor $F : D^{-} \times D^{-} \to D^{-}$ admitting a natural transformation to $\otimes_{R}$ on degree- $0$ inputs factors uniquely through $\otimes_{R}^{L}$ up to chain homotopy. The construction $K \otimes_{R}^{L} L := P_{∙} \otimes_{R} L$ satisfies this universal property: any triangulated bifunctor $F$ extending $\otimes_{R}$ must agree with $\otimes_{R} (P_{∙}, -)$ on the flat resolution $P_{∙}$ (by the agreement on flat inputs in degree $0$ , and the exactness condition lifting this agreement to chain complexes of flats), and the comparison $F (P_{∙}, L) \to F (K, L)$ via the resolution map produces the unique factorisation. $□$

Bridge. The derived tensor product builds toward a unified symmetric-monoidal structure on the derived category, and the foundational reason the construction works is that flat resolutions are unique up to chain homotopy, so the resulting tensor complex is well-defined on the derived category rather than depending on a chosen resolution. The bridge is the recovery formula $Tor_{i}^{R} (M, N) = H_{i} (M \otimes_{R}^{L} N)$ , which identifies the classical Tor groups as the cohomology of the single derived-category object $M \otimes_{R}^{L} N$ — the derived tensor product packages all Tor groups into one structure rather than recording them as a sequence of separate corrections. Putting these together, the derived tensor product generalises the classical Tor calculation to the entire bounded-above derived category and equips $D^{-} (R)$ with a symmetric-monoidal triangulated structure that is the algebraic backbone of derived algebraic geometry.

This pattern appears again in 04.03.16 (the six-functor formalism), where the projection formula $f_{!} (F \otimes^{L} L f^{*} G) ≅ f_{!} F \otimes^{L} G$ packages the same compatibility for the symmetric-monoidal structure on derived categories of sheaves, and in 04.03.12 (derived functors $R F$ and $L F$ ), where $\otimes_{R}^{L}$ is the canonical example of a left-derived bifunctor with the universal property characterising it as the total left derived functor of the underived bifunctor $\otimes_{R}$ . The central insight is that every classical homological invariant defined by resolution — Tor, Ext, hyperhomology, derived intersection — assembles into a single derived-category object whose cohomology recovers the classical groups, and the derived category is the natural ambient setting that makes these objects functorial in their arguments.

Exercises Intermediate+

Exercise 2 (easy, short-answer).

For a flat $R$ -module $M$ and any $R$ -module $N$ , show that the higher Tor groups $Tor_{i}^{R} (M, N) = 0$ for $i \geq 1$ and that $M \otimes_{R}^{L} N ≅ M \otimes_{R} N$ in $D^{-} (R)$ .

Hint

A flat module is its own flat resolution. The complex $M \to M$ with identity differential has cohomology only in degree $0$ .

Answer

If $M$ is flat, then $M$ admits the length-zero flat resolution $M \to M$ — the complex with $M$ in degree $0$ and zero elsewhere is already $K$ -flat. Tensoring this resolution with $N$ gives the complex with $M \otimes_{R} N$ in degree $0$ and zero elsewhere. Hence $M \otimes_{R}^{L} N ≅ M \otimes_{R} N$ as objects of $D^{-} (R)$ , and the higher cohomology groups $H_{i} (M \otimes_{R}^{L} N) = 0$ for $i \geq 1$ , giving $Tor_{i}^{R} (M, N) = 0$ for all $i \geq 1$ . By symmetry of $\otimes_{R}^{L}$ , the same conclusion holds when $N$ is flat. Rubric: full credit for identifying the length-zero resolution and reading off the vanishing.

Exercise 3 (medium, short-answer).

Compute $Z / p^{a} \otimes_{Z}^{L} Z / p^{b}$ for a prime $p$ and positive integers $a, b$ , and identify the Tor groups.

Hint

$g cd (p^{a}, p^{b}) = p^{m i n (a, b)}$ . Apply the worked-example template.

Answer

The flat resolution of $Z / p^{a}$ is $0 \to Z \cdot p^{a} Z \to Z / p^{a} \to 0$ . Tensoring with $Z / p^{b}$ gives the complex $0 \to Z / p^{b} \cdot p^{a} Z / p^{b} \to 0$ . The cokernel of $\cdot p^{a} : Z / p^{b} \to Z / p^{b}$ is $Z / p^{b} / p^{a} Z / p^{b} = Z / p^{m i n (a, b)}$ (since $p^{a} Z / p^{b} = p^{m i n (a, b)} Z / p^{b}$ when read inside $Z / p^{b}$ ). The kernel of $\cdot p^{a} : Z / p^{b} \to Z / p^{b}$ is the subgroup of elements $x$ with $p^{a} x \equiv 0 (mod p^{b})$ , which is the subgroup generated by $p^{b - m i n (a, b)}$ and has order $p^{m i n (a, b)}$ , so equals $Z / p^{m i n (a, b)}$ . Hence $Tor_{0}^{Z} (Z / p^{a}, Z / p^{b}) = Z / p^{m i n (a, b)}$ and $Tor_{1}^{Z} (Z / p^{a}, Z / p^{b}) = Z / p^{m i n (a, b)}$ , with all higher Tor groups vanishing. Rubric: full credit for the resolution, the cokernel and kernel computations, and the symmetric answer.

Exercise 4 (medium, short-answer).

For a commutative ring $R$ , an element $r \in R$ , and an $R$ -module $N$ , compute the derived tensor product $R / r \otimes_{R}^{L} N$ in terms of multiplication by $r$ on $N$ , and identify the Tor groups.

Hint

The resolution of $R / r$ is $0 \to R \cdot r R \to R / r \to 0$ provided $r$ is a non-zero-divisor in $R$ (so multiplication by $r$ is injective on $R$ ). The tensored complex is $N \cdot r N$ .

Answer

Assume $r$ is a non-zero-divisor in $R$ (so multiplication by $r$ is injective on $R$ ). The flat resolution of $R / r$ is $0 \to R \cdot r R \to R / r \to 0$ . Tensoring with $N$ gives the complex $0 \to N \cdot r N \to 0$ . The cohomology computes $$ \mathrm{Tor}_0^R(R/r, N) = N / rN = R/r \otimes_R N, $$ $$ \mathrm{Tor}_1^R(R/r, N) = \ker(\cdot r : N \to N) = N[r], $$ where $N [r]$ is the $r$ -torsion of $N$ . All higher Tor groups vanish since the resolution has length one. When $r$ is a zero-divisor in $R$ , the resolution above is no longer exact and a longer resolution is needed; in the Koszul setting (for a regular sequence) the derived tensor product is computed by the Koszul complex.

Geometric interpretation: $Tor_{0}$ records the underived tensor (sections of $N$ modulo $r$ , i.e. the fibre of $N$ at the divisor ${r = 0}$ ), and $Tor_{1}$ records the $r$ -torsion of $N$ (the obstruction to flatness of $N$ along the divisor). Rubric: full credit for the resolution, both Tor identifications, and the geometric interpretation.

Exercise 5 (medium, short-answer).

State the derived analogue of the long exact sequence for Tor: given a short exact sequence $0 \to A \to B \to C \to 0$ of $R$ -modules, what distinguished triangle does it produce in $D^{-} (R)$ upon tensoring with $N$ , and what long exact sequence does that triangle yield?

Hint

A short exact sequence of modules is a distinguished triangle in $D (R)$ , and derived functors send distinguished triangles to distinguished triangles. The long exact sequence in cohomology then comes from the triangle.

Answer

The short exact sequence $0 \to A \to B \to C \to 0$ produces a distinguished triangle $A \to B \to C \to A [1]$ in $D (R)$ . Applying the derived functor $- \otimes_{R}^{L} N$ (which is triangulated, since $\otimes_{R}^{L}$ is a left-derived bifunctor) gives the distinguished triangle $$ A \otimes^L_R N \to B \otimes^L_R N \to C \otimes^L_R N \to (A \otimes^L_R N)[1]. $$ Taking the long exact sequence in cohomology produces $$ \cdots \to \mathrm{Tor}_i^R(A, N) \to \mathrm{Tor}_i^R(B, N) \to \mathrm{Tor}i^R(C, N) \to \mathrm{Tor}{i-1}^R(A, N) \to \cdots $$ ending in $\dots \to Tor_{1}^{R} (C, N) \to A \otimes_{R} N \to B \otimes_{R} N \to C \otimes_{R} N \to 0$ . This is the classical long exact sequence for Tor, derived in one step from the distinguished-triangle property of $\otimes_{R}^{L}$ rather than constructed by hand from a chosen resolution. Rubric: full credit for the distinguished triangle, the cohomology long exact sequence, and the connection to the classical Tor long exact sequence.

Exercise 6 (medium, short-answer).

Show that the derived tensor product is symmetric: produce the canonical isomorphism $Z / m \otimes_{Z}^{L} Z / n ≅ Z / n \otimes_{Z}^{L} Z / m$ explicitly by resolving the second factor and comparing.

Hint

Resolve $Z / n$ instead of $Z / m$ using $0 \to Z \cdot n Z \to Z / n \to 0$ . The resulting cohomology should match the worked example.

Answer

Resolve $Z / n$ by $Q_{∙} : 0 \to Z \cdot n Z \to 0$ and tensor with $Z / m$ : this gives the complex $0 \to Z / m \cdot n Z / m \to 0$ . The cokernel is $Z / m / n Z / m = Z / g cd (m, n)$ and the kernel is $Z / g cd (m, n)$ (the $n$ -torsion of $Z / m$ is the subgroup of order $g cd (m, n)$ ).

These cohomology groups match the worked-example result computed by resolving $Z / m$ instead: $Tor_{0} = Tor_{1} = Z / g cd (m, n)$ . The agreement of the two computations is the symmetry isomorphism $Z / m \otimes_{Z}^{L} Z / n ≅ Z / n \otimes_{Z}^{L} Z / m$ in $D^{-} (Z)$ at the level of cohomology; the canonical natural isomorphism between the two presentations is the double-resolution argument, which constructs $(P_{∙} \otimes Q_{∙})$ and compares it to both $P_{∙} \otimes Z / n$ and $Z / m \otimes Q_{∙}$ via quasi-isomorphism. The symmetry of the underived $\otimes_{R}$ lifts to symmetry of $\otimes_{R}^{L}$ via the symmetry of the bicomplex. Rubric: full credit for the alternate resolution, the cohomology computation, and the symmetry argument via the double resolution.

Exercise 7 (hard, short-answer).

Show that the derived tensor product satisfies the projection formula on the abelian level for an open immersion $j : U ↪ X$ of schemes: for any $O_{U}$ -module $F$ and any $O_{X}$ -module $G$ , the canonical map $j_{!} (F \otimes_{O_{U}}^{L} j^{*} G) \to j_{!} F \otimes_{O_{X}}^{L} G$ is an isomorphism in $D^{-} (X)$ . Identify how this is the open-immersion case of the projection formula from the six-functor formalism.

Hint

Both sides are sheaves on $X$ . Check stalks at points $x \in X$ , separating the cases $x \in U$ and $x \in / U$ . Use that $j_{!}$ is extension-by-zero and $j^{*} = j^{- 1}$ for an open immersion.

Answer

Both sides are objects of $D^{-} (O_{X})$ . Check stalks at $x \in X$ .

Case $x \in / U$ : by extension-by-zero, $(j_{!} F)_{x} = 0$ and $(j_{!} (F \otimes^{L} j^{*} G))_{x} = 0$ , so the right side stalk is $0 \otimes_{O_{X, x}}^{L} G_{x} = 0$ and the left side stalk is also $0$ . Both sides agree.

Case $x \in U$ : $(j_{!} F)_{x} = F_{x}$ (since $x \in U$ ), $(j^{*} G)_{x} = G_{x}$ (stalk of pullback equals stalk of original at points of the open), and so the left-side stalk is $F_{x} \otimes_{O_{X, x}}^{L} G_{x}$ (using that $O_{U, x} = O_{X, x}$ for $x \in U$ ). The right-side stalk is $F_{x} \otimes_{O_{X, x}}^{L} G_{x}$ as well. Both sides agree.

The stalk-by-stalk identification, together with the naturality of the comparison map, produces the isomorphism $j_{!} (F \otimes^{L} j^{*} G) ≅ j_{!} F \otimes^{L} G$ in $D^{-} (X)$ . This is the open-immersion case of the projection formula $f_{!} (F \otimes^{L} L f^{*} G) ≅ f_{!} F \otimes^{L} G$ from the six-functor formalism, specialised to $f = j$ an open immersion (where $f_{!} = j_{!}$ is exact, $L f^{*} = j^{*} = j^{- 1}$ is exact, and the projection formula holds on the abelian level without any derivation). The general case of the projection formula extends this to arbitrary separated finite-type morphisms via Nagata compactification and the proper-case projection formula on the proper part. Rubric: full credit for the stalk computation, the open-immersion identification, and the link to the six-functor projection formula.

Exercise 8 (hard, short-answer).

Prove that the derived tensor product over $Z$ of two finitely generated abelian groups $M$ and $N$ has nonzero $Tor_{i}^{Z}$ only for $i = 0$ and $i = 1$ , and identify these groups in terms of the structure theorem decomposition $M = Z^{r} \oplus ⨁_{i} Z / m_{i}$ .

Hint

Use the structure theorem to decompose $M$ and $N$ as direct sums of free and cyclic factors. The derived tensor product distributes over direct sums in each variable. Then apply the worked-example computation to each pair of cyclic factors and use that free factors contribute only in degree $0$ .

Answer

By the structure theorem for finitely generated abelian groups, $M = Z^{r} \oplus ⨁_{i} Z / m_{i}$ and $N = Z^{s} \oplus ⨁_{j} Z / n_{j}$ . The derived tensor product distributes over direct sums in both variables (since $\otimes_{Z}^{L}$ commutes with direct sums as a left adjoint, plus the symmetry): $$ M \otimes^L_{\mathbb{Z}} N = \bigoplus_{\text{factors}} (\text{factor}M) \otimes^L{\mathbb{Z}} (\text{factor}_N). $$

The free-factor pairings $Z^{r} \otimes^{L} Z^{s} = Z^{r s}$ are concentrated in degree $0$ (since $Z$ is flat). The free-cyclic pairings $Z^{r} \otimes^{L} Z / n_{j} = (Z / n_{j})^{r}$ are concentrated in degree $0$ for the same reason. The cyclic-cyclic pairings $Z / m_{i} \otimes^{L} Z / n_{j}$ give $Z / g cd (m_{i}, n_{j})$ in both degree $0$ and degree $1$ by the worked example.

Summing: $Tor_{0}^{Z} (M, N) = M \otimes_{Z} N$ (the underived tensor product, given by the same direct-sum decomposition) and $Tor_{1}^{Z} (M, N) = ⨁_{i, j} Z / g cd (m_{i}, n_{j})$ (the sum over pairs of cyclic factors, each contributing $Z / g cd (m_{i}, n_{j})$ ). All higher Tor groups vanish since each cyclic-cyclic pair contributes nothing beyond degree $1$ and the free-factor and free-cyclic pairs contribute nothing beyond degree $0$ .

This is the classical Künneth-type formula for $Tor_{*}^{Z}$ of finitely generated abelian groups, and it is the input to the universal coefficient theorem $H_{n} (X; G) = H_{n} (X) \otimes G \oplus Tor_{1}^{Z} (H_{n - 1} (X), G)$ in algebraic topology. Rubric: full credit for the structure-theorem decomposition, the term-by-term computation, the identification of $Tor_{0}$ and $Tor_{1}$ , and the universal-coefficient connection.

Lean formalization Intermediate+

lean_status: none — Mathlib has TensorProduct R M N for the underived tensor product and the classical Tor n R M N via projective resolution, but the named derived tensor product on the bounded-above derived category $D^{-} (R)$ as a bifunctor with its symmetric monoidal structure is not yet assembled. The intended formalisation reads schematically:

import Mathlib.Algebra.Category.ModuleCat.Basic
import Mathlib.CategoryTheory.Localization.DerivedCategory
import Mathlib.RingTheory.Tor

namespace Codex.HomologicalAlgebra.DerivedTensor

variable (R : Type*) [CommRing R]

/-- The derived tensor product on the bounded-above derived category of
    R-modules, defined via K-flat resolution in either argument. -/
noncomputable def derivedTensor :
    DerivedCategory (ModuleCat R) ⥤ DerivedCategory (ModuleCat R) ⥤
      DerivedCategory (ModuleCat R) := sorry

notation:70 K " ⊗ᴸ[" R "] " L => (derivedTensor R).obj K |>.obj L

/-- Associativity isomorphism of the derived tensor product. -/
theorem derivedTensor_assoc (K L M : DerivedCategory (ModuleCat R)) :
    (K ⊗ᴸ[R] L) ⊗ᴸ[R] M ≅ K ⊗ᴸ[R] (L ⊗ᴸ[R] M) :=
  sorry

/-- Symmetry isomorphism of the derived tensor product. -/
theorem derivedTensor_symm (K L : DerivedCategory (ModuleCat R)) :
    K ⊗ᴸ[R] L ≅ L ⊗ᴸ[R] K :=
  sorry

/-- Tor groups recovered as cohomology of the derived tensor product. -/
theorem tor_eq_cohomology_derivedTensor (M N : ModuleCat R) (i : ℕ) :
    Tor R i M N ≅
      (HomologicalComplex.homology (M.singleComplex ⊗ᴸ[R] N.singleComplex) i) :=
  sorry

/-- Derived tensor-hom adjunction. -/
theorem derivedTensor_adj_RHom (L : DerivedCategory (ModuleCat R)) :
    Adjunction (·.obj L ∘ derivedTensor R) (RHom R L) :=
  sorry

end Codex.HomologicalAlgebra.DerivedTensor

The proof gap is substantive on several fronts. The construction of $\otimes_{R}^{L}$ requires the $K$ -flat resolution machinery, which Mathlib has in skeletal form via CategoryTheory.Triangulated.Subcategory but not packaged as a derived bifunctor. The associativity and symmetry isomorphisms require the double-resolution argument and the bicomplex total-complex construction, both of which need careful chain-homotopy bookkeeping. The Tor recovery identity requires the comparison between the classical Tor (Mathlib's Tor n R M N defined via projective resolution) and the cohomology of the derived tensor product, which is a standard balanced-functor theorem. The tensor-hom adjunction lifts the classical adjunction $Hom (M \otimes N, P) = Hom (M, Hom (N, P))$ to the derived setting via $K$ -flat resolutions on the tensor side and $K$ -injective resolutions on the Hom side. Each component is formalisable in principle but requires substantial coordinated infrastructure that the Mathlib derived-category project has not yet completed as of 2026.

Advanced results Master

Theorem (Künneth spectral sequence; Cartan-Eilenberg 1956 Ch. XV / Weibel 1994 §5.6). Let $R$ be a commutative ring and let $K, L \in D^{-} (R)$ be bounded-above complexes of $R$ -modules. There is a convergent first-quadrant spectral sequence $$ E_2^{p, q} = \bigoplus_{i + j = q} \mathrm{Tor}p^R(H_i(K), H_j(L)) \Rightarrow H{p + q}(K \otimes^L_R L). $$ When $R$ is hereditary (so $Tor_{p}^{R} = 0$ for $p \geq 2$ — examples include $R = Z$ and Dedekind domains), the spectral sequence collapses to a short exact sequence: $0 \to ⨁_{i + j = n} H_{i} (K) \otimes_{R} H_{j} (L) \to H_{n} (K \otimes_{R}^{L} L) \to ⨁_{i + j = n - 1} Tor_{1}^{R} (H_{i} (K), H_{j} (L)) \to 0$ .

The Künneth spectral sequence computes the cohomology of the derived tensor product of two complexes from the cohomologies of the individual factors, with the Tor groups recording the higher corrections. The collapse over hereditary rings recovers the classical Künneth formula for chain complexes — the universal coefficient theorem is the special case where one of the complexes is $Z / n$ or a more general coefficient module. Over a field $k$ (the simplest hereditary case, with $Tor_{p}^{k} = 0$ for all $p \geq 1$ ), the spectral sequence collapses further to $H_{n} (K \otimes_{k}^{L} L) = ⨁_{i + j = n} H_{i} (K) \otimes_{k} H_{j} (L)$ , the classical Künneth formula for cohomology with field coefficients.

Theorem (change of rings spectral sequence; Cartan-Eilenberg 1956 Ch. XVI / Weibel 1994 §5.6.5). Let $ϕ : R \to S$ be a ring homomorphism, $M$ an $R$ -module, and $N$ an $S$ -module. There is a convergent first-quadrant spectral sequence $$ E_2^{p, q} = \mathrm{Tor}_p^S(\mathrm{Tor}q^R(M, S), N) \Rightarrow \mathrm{Tor}{p + q}^R(M, N). $$

The change-of-rings spectral sequence relates Tor groups over two rings connected by a homomorphism, computing $Tor^{R}$ in two steps: first compute $Tor_{q}^{R} (M, S)$ (the Tor of $M$ with the new ring $S$ , regarded as an $R$ -module via $ϕ$ ), then compute $Tor_{p}^{S}$ of the result with $N$ . The collapse criterion when $S$ is flat over $R$ (so $Tor_{q}^{R} (M, S) = 0$ for $q \geq 1$ ) gives the simpler base-change formula $Tor_{p}^{R} (M, N) = Tor_{p}^{S} (M \otimes_{R} S, N)$ . The spectral sequence underlies the comparison between Tor groups over a polynomial ring and over a quotient, and over a local ring and its residue field.

Theorem (Koszul resolution and Tor of a regular sequence; Serre 1955 Algèbre locale). Let $R$ be a commutative ring and let $(x_{1}, \dots, x_{n})$ be a regular sequence in $R$ (each $x_{i}$ is a non-zero-divisor in $R / (x_{1}, \dots, x_{i - 1})$ ). Then the Koszul complex $$ K_\bullet(x_1, \ldots, x_n; R) = \Lambda^\bullet R^n \otimes_R R, \quad d(e_{i_1} \wedge \cdots \wedge e_{i_k}) = \sum_{j} (-1)^{j-1} x_{i_j} e_{i_1} \wedge \cdots \hat e_{i_j} \cdots \wedge e_{i_k} $$ is a flat resolution of $R / (x_{1}, \dots, x_{n})$ , and the Tor groups against any $R$ -module $N$ compute $$ \mathrm{Tor}i^R(R/(x_1, \ldots, x_n), N) = H_i(K\bullet(x_1, \ldots, x_n) \otimes_R N), $$ which is the $i$ -th Koszul cohomology of $N$ with respect to the sequence.

The Koszul resolution is the canonical flat resolution of a quotient by a regular sequence and produces the Tor groups via explicit alternating-sum differentials on exterior algebras. This is the input to derived intersection theory on schemes: when $X = Spec R$ and $Y = V (x_{1}, \dots, x_{n}) = Spec R / (x_{1}, \dots, x_{n})$ , the derived tensor product $O_{Y} \otimes_{O_{X}}^{L} O_{Y^{'}}$ for another regularly embedded subscheme $Y^{'}$ computes the derived intersection of $Y$ and $Y^{'}$ , whose Euler characteristic recovers the classical intersection number of Serre.

Theorem (Serre's intersection multiplicity formula; Serre Algèbre locale, multiplicités 1965). Let $X$ be a regular scheme of finite Krull dimension and let $Y, Y^{'} \subset X$ be two closed subschemes intersecting properly. The intersection multiplicity of $Y$ and $Y^{'}$ at a generic point of an irreducible component $Z$ of $Y \cap Y^{'}$ is $$ i(Y, Y'; Z) = \sum_{i \ge 0} (-1)^i \mathrm{length}{\mathcal{O}{X, Z}}\left( \mathrm{Tor}i^{\mathcal{O}{X, Z}}(\mathcal{O}{Y, Z}, \mathcal{O}{Y', Z}) \right). $$

Serre's formula computes the intersection multiplicity not as a tensor product alone but as the Euler characteristic of the Tor groups, encoding the higher corrections from the derived tensor product into the classical intersection number. The corrections vanish when the intersection is transverse (so $Tor_{i} = 0$ for $i \geq 1$ ), and the formula reduces to the naive length of the underived tensor product; for non-transverse intersections, the higher Tor groups record the contribution of the geometric tangency. The formula was the historical bridge from homological algebra to intersection theory and is the conceptual ancestor of the derived intersection theory programme in derived algebraic geometry (Toën-Vezzosi, Lurie).

Theorem (projection formula in the six-functor formalism; SGA 4 / Hartshorne Residues and Duality Ch. III). Let $f : X \to Y$ be a morphism in the six-functor setting (a separated finite-type morphism of noetherian schemes, or a continuous map of locally compact Hausdorff spaces of finite cohomological dimension). For any $F \in D^{-} (X)$ and $G \in D^{-} (Y)$ , the canonical map $$ Rf_!(F \otimes^L_{\mathcal{O}X} Lf^* G) \xrightarrow{\sim} Rf! F \otimes^L_{\mathcal{O}_Y} G $$ is an isomorphism in $D^{-} (Y)$ .

The projection formula is the geometric face of the derived tensor product: it asserts that the derived tensor product on the source commutes with the derived proper-direct-image, modulo a derived pullback on the second factor. The formula reduces to the classical projection formula $f_{*} (F \otimes f^{*} G) = f_{*} F \otimes G$ on the abelian level when $f$ is proper and the factors are flat; the derived version handles the general case where neither hypothesis applies. The projection formula is the input to Grothendieck duality, Verdier duality, and the relative Riemann-Roch theorem; it identifies $\otimes^{L}$ as the canonical symmetric-monoidal structure compatible with all four functors of the six-functor formalism.

Theorem (derived tensor product on $O_{X}$ -modules for a scheme $X$ ; Stacks Project Tag 06Y6). Let $X$ be a scheme. The derived tensor product extends to a bifunctor $$

\otimes^L_{\mathcal{O}_X} - : D^-(\mathcal{O}_X) \times D^-(\mathcal{O}_X) \to D^-(\mathcal{O}_X) $$ on the bounded-above derived category of $O_{X}$ -modules, defined via $K$ -flat resolution in either argument; on quasi-coherent sheaves over an affine open $Spec R \subset X$ it recovers the module-theoretic derived tensor product over $R$ .

The scheme-theoretic version of the derived tensor product is the natural derived bifunctor on quasi-coherent sheaves, and it is the input to derived intersection theory, derived loop spaces, and the relative Riemann-Roch formula. The local-to-global passage from the module-theoretic $\otimes_{R}^{L}$ to the sheaf-theoretic $\otimes_{O_{X}}^{L}$ is via the standard quasi-coherent sheafification of complexes, and the compatibility is recorded as a gluing theorem.

Synthesis. The derived tensor product builds toward a unified symmetric-monoidal structure on the derived category that organises every classical Tor calculation, every Künneth formula, every intersection multiplicity, and every projection-formula identity into one universal bifunctor, and the foundational reason it works is that flat resolutions are unique up to chain homotopy — the resulting tensor complex depends only on the source objects, not on the resolutions chosen. The package is dual to itself in a precise sense: the derived adjunction $\otimes_{R}^{L} ⊣ R Hom_{R}$ identifies the derived tensor product as the left adjoint to the derived internal Hom, and the projection formula $f_{!} (F \otimes^{L} L f^{*} G) ≅ f_{!} F \otimes^{L} G$ in the six-functor formalism is the geometric face of this same adjunction extended across morphisms. Putting these together, the central insight is that classical theorems — the Künneth formula for cohomology of products, the universal coefficient theorem, the Tor spectral sequence of a change of rings, Serre's intersection multiplicity formula, the projection formula in algebraic topology, and the symmetric-monoidal structure on the stable homotopy category — are all corollaries of the derived tensor product applied to specific complexes with specific finiteness data. This is exactly the unification that Cartan and Eilenberg envisaged in 1956 and that Verdier, Grothendieck, and the SGA 6 collaborators formalised between 1963 and 1971.

The formalism appears again in 04.03.16 (the six-functor formalism), where the projection formula is the geometric statement of the symmetric-monoidal compatibility of $\otimes^{L}$ with the four functors $f^{*}, f_{*}, f_{!}, f^{!}$ on derived categories of sheaves; in 04.03.12 (derived functors $R F$ and $L F$ ), where the construction of $\otimes^{L}$ via flat resolution is the canonical example of a left-derived bifunctor; in 04.03.11 (the derived category), where the symmetric-monoidal triangulated structure on $D^{-} (R)$ furnished by $\otimes_{R}^{L}$ is one of the fundamental structures the derived category carries; and in 01.02.10 (the underived tensor product), where the underived $\otimes_{R}$ is the degree- $0$ shadow of the derived bifunctor and the Tor groups are the higher cohomology that the derived version captures. The bridge to derived algebraic geometry is the extension of $\otimes_{O_{X}}^{L}$ to the derived category of quasi-coherent sheaves on a scheme, where derived intersection theory and derived loop spaces use $\otimes^{L}$ as their structural operation. The recursion stabilises: the derived tensor product is the universal symmetric-monoidal structure on the derived category, and every refinement (the $K$ -flat extension to unbounded $D (R)$ , the $\infty$ -categorical lift to the stable $\infty$ -category of $R$ -module spectra, the relative version on a scheme, the derived intersection on a derived scheme) is the derived tensor product applied to a more general categorical setting.

The synthesis is structural: every classical Tor calculation in commutative algebra is the cohomology of the derived tensor product of two specific objects, every classical Künneth identity in algebraic topology is the spectral-sequence specialisation of the derived tensor product of two chain complexes, and every classical intersection-multiplicity formula in algebraic geometry is the Euler characteristic of the derived tensor product of two coherent sheaves. The derived tensor product is the universal symmetric-monoidal operation on the derived category, and the input is the pair of complexes together with the ring or scheme structure that records the resolution data.

Full proof set Master

Proposition (independence of flat resolution). Let $P_{∙} \to M$ and $P_{∙}^{'} \to M$ be two flat resolutions of an $R$ -module $M$ , and let $N$ be another $R$ -module. Then there is a canonical quasi-isomorphism $P_{∙} \otimes_{R} N ≃ P_{∙}^{'} \otimes_{R} N$ in $Ch^{-} (R)$ , making the derived tensor product $M \otimes_{R}^{L} N$ well-defined in $D^{-} (R)$ .

Proof. By the lifting property of flat (in particular, projective) resolutions, there exists a chain map $ϕ : P_{∙} \to P_{∙}^{'}$ extending the identity on $M$ , unique up to chain homotopy. Symmetrically, there exists $ψ : P_{∙}^{'} \to P_{∙}$ extending the identity, unique up to chain homotopy. The compositions $ψ ϕ$ and $ϕ ψ$ extend the identity on $M$ and are therefore chain-homotopic to the respective identities on $P_{∙}$ and $P_{∙}^{'}$ .

Tensoring with $N$ : the chain maps $ϕ \otimes N : P_{∙} \otimes N \to P_{∙}^{'} \otimes N$ and $ψ \otimes N : P_{∙}^{'} \otimes N \to P_{∙} \otimes N$ are well-defined, and the compositions are chain-homotopic to the identities (since chain homotopies tensor to chain homotopies — the homotopy operator $s : P_{∙} \to P_{∙+ 1}$ tensors to $s \otimes N : P_{∙} \otimes N \to P_{∙+ 1} \otimes N$ with the same homotopy identity). Hence $ϕ \otimes N$ and $ψ \otimes N$ are inverse quasi-isomorphisms in $Ch^{-} (R)$ — equivalently, isomorphisms in $D^{-} (R)$ .

The naturality in the resolutions is encoded by the uniqueness up to chain homotopy of the lifts. The canonical isomorphism class of $P_{∙} \otimes_{R} N$ in $D^{-} (R)$ is therefore well-defined and independent of the resolution chosen. $□$

Proposition (symmetry of the derived tensor product on flat resolutions of both arguments). Let $M, N$ be $R$ -modules with flat resolutions $P_{∙} \to M$ and $Q_{∙} \to N$ . Then the total complex $Tot (P_{∙} \otimes_{R} Q_{∙})$ is quasi-isomorphic to both $P_{∙} \otimes_{R} N$ and $M \otimes_{R} Q_{∙}$ in $Ch^{-} (R)$ .

Proof. Consider the double complex $C_{p, q} = P_{p} \otimes_{R} Q_{q}$ with the two differentials $d^{P} \otimes 1 : C_{p, q} \to C_{p - 1, q}$ and $(- 1)^{p} 1 \otimes d^{Q} : C_{p, q} \to C_{p, q - 1}$ . The total complex $Tot (C_{∙, ∙})_{n} = ⨁_{p + q = n} P_{p} \otimes Q_{q}$ with differential the sum of the two component differentials is a chain complex.

Filter $Tot (C_{∙, ∙})$ by the $p$ -degree: $F^{p} Tot = ⨁_{p^{'} \geq p, q} P_{p^{'}} \otimes Q_{q}$ . The associated graded is $gr^{p} = P_{p} \otimes Q_{∙}$ , and the spectral sequence of this filtration has $E_{1}^{p, q} = H_{q} (P_{p} \otimes Q_{∙}) = P_{p} \otimes H_{q} (Q_{∙})$ (using that $P_{p}$ is flat, so tensoring with $P_{p}$ commutes with cohomology). Since $Q_{∙} \to N$ is a flat resolution, $H_{q} (Q_{∙}) = 0$ for $q \neq = 0$ and $H_{0} (Q_{∙}) = N$ . Hence $E_{1}^{p, q} = 0$ for $q \neq = 0$ and $E_{1}^{p, 0} = P_{p} \otimes N$ , so the spectral sequence collapses on $E_{1}$ to the complex $P_{∙} \otimes N$ in the bottom row.

The collapse identifies $Tot (P_{∙} \otimes Q_{∙})$ with $P_{∙} \otimes N$ in $D^{-} (R)$ — equivalently, there is a quasi-isomorphism $Tot (P_{∙} \otimes Q_{∙}) \to P_{∙} \otimes N$ . The symmetric argument with the $q$ -filtration gives the quasi-isomorphism $Tot (P_{∙} \otimes Q_{∙}) \to M \otimes Q_{∙}$ . The two together give the symmetry $P_{∙} \otimes N ≃ M \otimes Q_{∙}$ in $D^{-} (R)$ via the common middle complex $Tot (P_{∙} \otimes Q_{∙})$ . $□$

Proposition (long exact sequence in Tor for a short exact sequence in the second variable). Let $0 \to N^{'} \to N \to N^{''} \to 0$ be a short exact sequence of $R$ -modules, and let $M$ be any $R$ -module. There is a long exact sequence $$ \cdots \to \mathrm{Tor}_i^R(M, N') \to \mathrm{Tor}_i^R(M, N) \to \mathrm{Tor}i^R(M, N'') \to \mathrm{Tor}{i-1}^R(M, N') \to \cdots $$ ending in $\dots \to Tor_{1}^{R} (M, N^{''}) \to M \otimes_{R} N^{'} \to M \otimes_{R} N \to M \otimes_{R} N^{''} \to 0$ .

Proof. Choose a flat resolution $P_{∙} \to M$ . Tensoring the short exact sequence $0 \to N^{'} \to N \to N^{''} \to 0$ with each $P_{i}$ gives a short exact sequence $0 \to P_{i} \otimes N^{'} \to P_{i} \otimes N \to P_{i} \otimes N^{''} \to 0$ , since $P_{i}$ is flat. Assembling over $i$ gives a short exact sequence of complexes $$ 0 \to P_\bullet \otimes N' \to P_\bullet \otimes N \to P_\bullet \otimes N'' \to 0. $$ The associated long exact sequence in cohomology reads $$ \cdots \to H_i(P_\bullet \otimes N') \to H_i(P_\bullet \otimes N) \to H_i(P_\bullet \otimes N'') \to H_{i-1}(P_\bullet \otimes N') \to \cdots, $$ which by the recovery formula $Tor_{i}^{R} (M, -) = H_{i} (P_{∙} \otimes -)$ is exactly the claimed long exact sequence in Tor. The terminus $M \otimes_{R} N^{''} \to 0$ comes from the right-exactness of $\otimes$ : $H_{0} (P_{∙} \otimes N^{''}) = M \otimes N^{''}$ is the rightmost nonzero term in the long exact sequence on the right. $□$

Proposition (flatness criterion via vanishing of $Tor_{1}$ ). An $R$ -module $M$ is flat if and only if $Tor_{1}^{R} (M, R / I) = 0$ for every finitely generated ideal $I \subseteq R$ .

Proof. ( $\Rightarrow$ ) If $M$ is flat, then by the previous proposition (or by the length-zero flat resolution of $M$ in the first variable) all higher Tor groups $Tor_{i}^{R} (M, -)$ vanish for $i \geq 1$ and any second argument, in particular for $R / I$ .

( $\Leftarrow$ ) Suppose $Tor_{1}^{R} (M, R / I) = 0$ for every finitely generated ideal $I$ . Flatness of $M$ is the condition that tensoring with $M$ preserves injectivity of morphisms $A ↪ B$ of $R$ -modules. By a standard reduction (Bourbaki Algèbre commutative Ch. I, or Lazard's flatness criterion), it suffices to check this for the inclusions $I ↪ R$ for finitely generated ideals $I$ .

Apply the long exact sequence to $0 \to I \to R \to R / I \to 0$ tensored with $M$ : $$ \mathrm{Tor}_1^R(M, R/I) \to M \otimes_R I \to M \otimes_R R \to M \otimes_R R/I \to 0. $$ The vanishing $Tor_{1}^{R} (M, R / I) = 0$ makes the map $M \otimes I \to M \otimes R = M$ injective, which is exactly the flatness condition for the inclusion $I ↪ R$ . Hence $M$ is flat. $□$

Proposition (the projection formula in derived form for a flat morphism of affine schemes). Let $ϕ : R \to S$ be a flat ring homomorphism. For any complexes $K \in D^{-} (Mod_{S})$ and $L \in D^{-} (Mod_{R})$ , the natural map $$ K \otimes^L_S (S \otimes^L_R L) \xrightarrow{\sim} K \otimes^L_R L $$ is an isomorphism in $D^{-} (R)$ , where the right side regards $K$ as an $R$ -module via restriction along $ϕ$ .

Proof. Choose a $K$ -flat resolution $P_{∙} \to L$ of the $R$ -module complex $L$ . Since $ϕ$ is flat, the complex $S \otimes_{R} P_{∙}$ is $K$ -flat over $S$ (tensoring with flat $S$ -modules along a flat extension preserves the $K$ -flat condition), and it is a $K$ -flat resolution of $S \otimes_{R}^{L} L$ over $S$ (in fact, since $ϕ$ is flat, $S \otimes_{R}^{L} L = S \otimes_{R} L$ — no derivation is needed because tensoring with the flat $S$ does not lose information).

Tensoring with $K$ on the $S$ -side: $K \otimes_{S}^{L} (S \otimes_{R} P_{∙}) = K \otimes_{S} (S \otimes_{R} P_{∙})$ (using $K$ -flatness of $S \otimes_{R} P_{∙}$ over $S$ ) $= K \otimes_{R} P_{∙}$ (using the canonical identification $K \otimes_{S} (S \otimes_{R} -) = K \otimes_{R} -$ ). The right side $K \otimes_{R}^{L} L$ also equals $K \otimes_{R} P_{∙}$ (using flatness of $P_{∙}$ over $R$ and that $K$ is an $R$ -module via restriction). The two sides agree as complexes, so the natural comparison map is an isomorphism in $D^{-} (R)$ . $□$

Connections Master

Six-functor formalism — adjunctions and base change 04.03.16. The derived tensor product is one of the six operations in the six-functor formalism, the symmetric-monoidal structure that organises the four functors $f^{*}, f_{*}, f_{!}, f^{!}$ across morphisms of geometric spaces. The projection formula $f_{!} (F \otimes^{L} L f^{*} G) ≅ f_{!} F \otimes^{L} G$ is the geometric statement of the symmetric-monoidal compatibility, and it identifies $\otimes^{L}$ as the structural operation that makes the cohomology of a family of varieties a functorial theory in the derived-category setting. The relative dualising complex $ω_{X / Y}^{∙} = f^{!} (O_{Y})$ enters intersection theory via the derived tensor product on $D^{-} (X)$ , and the dualising functor $D_{X} = R H o m (-, ω_{X}^{∙})$ is the right adjoint of $- \otimes^{L} ω_{X}^{∙}$ in the derived sense.
Derived functors $R F$ and $L F$ via derived categories 04.03.12. The derived tensor product is the canonical example of a left-derived bifunctor, and the universal property that characterises $\otimes_{R}^{L}$ as the total left derived functor of $\otimes_{R}$ is the special case of the general universal property of left-derived functors specialised to a bifunctor with two flatness conditions. The construction by flat resolution mirrors the construction of left-derived functors of single-variable functors by projective resolution, with the additional symmetry that resolving either variable produces the same object up to canonical isomorphism.
Derived category $D (A)$ — localisation at quasi-isomorphisms 04.03.11. The derived tensor product is a bifunctor on the bounded-above derived category $D^{-} (R)$ , and the universal property of the derived category as the localisation of the homotopy category at quasi-isomorphisms is what makes $\otimes_{R}^{L}$ a well-defined functor between derived categories rather than between bounded-above chain complexes. The triangulated structure on $D^{-} (R)$ is preserved by $\otimes_{R}^{L}$ in each variable, and the long exact sequences attached to distinguished triangles in $D^{-} (R)$ are the technical input that makes the derived tensor product compatible with short exact sequences of modules.
Tensor product of modules 01.02.10. The underived tensor product $\otimes_{R}$ is the degree- $0$ shadow of the derived bifunctor $\otimes_{R}^{L}$ : the recovery formula $Tor_{0}^{R} (M, N) = M \otimes_{R} N$ identifies the underived tensor as the lowest-degree cohomology of the derived tensor, and the higher Tor groups record the failure of underived tensor to be exact. The classical universal property of $\otimes_{R}$ — that it represents bilinear maps out of $M \times N$ — lifts to the derived setting as the universal property of $\otimes_{R}^{L}$ as the total left derived functor.
Higher direct images and base change 04.03.07. The derived tensor product is the input to the projection formula on the derived category, which is the derived-category statement of the cohomology-and-base-change theorem. When $f : X \to Y$ is flat, the underived projection formula $f_{*} (F \otimes f^{*} G) = f_{*} F \otimes G$ holds on the abelian level; in general, the derived version $R f_{!} (F \otimes^{L} L f^{*} G) ≅ R f_{!} F \otimes^{L} G$ holds without flatness hypotheses, and the higher Tor and higher direct image corrections cancel in the comparison.
Sheaf cohomology 04.03.01. The derived tensor product on $O_{X}$ -modules for a ringed space $X$ extends the module-theoretic $\otimes_{R}^{L}$ to the sheaf-theoretic setting, and the cohomology of $F \otimes_{O_{X}}^{L} G$ for two coherent sheaves $F, G$ on $X$ computes the derived intersection of the supports. The hypercohomology spectral sequence for $R Γ (X, F \otimes^{L} G)$ in terms of the cohomologies of $F$ and $G$ separately is the geometric Künneth spectral sequence.
Spectral sequence of a filtered complex 04.03.14. The Künneth spectral sequence and the change-of-rings spectral sequence are both filtered-complex spectral sequences attached to specific double complexes that compute the cohomology of the derived tensor product. The technical statement that filtered complexes produce spectral sequences is the input that makes Künneth-type identities computable from the cohomologies of the individual factors.

Historical & philosophical context Master

The Tor functor was first introduced by Samuel Eilenberg and Saunders Mac Lane in 1942 in their paper "Group extensions and homology" (Annals of Mathematics 43, 757--831) ^{[source pending]}, where they used it to express the universal coefficient theorem $H_{n} (X; G) ≅ H_{n} (X) \otimes G \oplus Tor (H_{n - 1} (X), G)$ for singular cohomology of a topological space with coefficients in an arbitrary abelian group. The systematic treatment of Tor as the derived functor of tensor product over a general ring appeared in Henri Cartan and Samuel Eilenberg's 1956 book Homological Algebra ^{[source pending]} (Princeton University Press), Chapters VI and VIII, which is the foundational text of classical homological algebra. Cartan-Eilenberg defined Tor via projective resolution and proved the balanced-functor theorem — that resolving either argument produces the same Tor groups, up to canonical isomorphism — which is the input to the symmetry of the derived tensor product.

The reformulation of Tor as the cohomology of a single derived-category object $M \otimes_{R}^{L} N$ was carried out by Jean-Louis Verdier in his 1963 thesis Catégories dérivées et catégories triangulées (defended 1967; published as Astérisque 239, Société Mathématique de France 1996) ^{[source pending]}, where the derived tensor product appeared as the canonical example of a total left derived bifunctor on the derived category. The scheme-theoretic version of the derived tensor product, $\otimes_{O_{X}}^{L}$ on the derived category of quasi-coherent sheaves, was developed by Alexander Grothendieck and his collaborators in SGA 6 (Théorie des intersections et théorème de Riemann-Roch, Springer LNM 225, 1971) ^{[source pending]}, where it became the input to the relative Riemann-Roch formula and to the modern derived intersection theory programme. Robin Hartshorne's Residues and Duality (Springer LNM 20, 1966) ^{[source pending]} gave the canonical reference for $\otimes^{L}$ in the algebraic-geometry setting and developed the projection formula in derived form. Jean-Pierre Serre's 1965 Algèbre locale, multiplicités (Springer LNM 11) ^{[source pending]} introduced the intersection-multiplicity formula in terms of the alternating sum of Tor lengths, the historical bridge from homological algebra to intersection theory on schemes.

The modern infinity-categorical reformulation, in which $\otimes^{L}$ becomes the symmetric monoidal structure on the stable $\infty$ -category of $R$ -module spectra or quasi-coherent sheaves on a derived scheme, appears in Jacob Lurie's Higher Algebra (2017) and Spectral Algebraic Geometry (2018), and in the Toën-Vezzosi homotopical algebraic geometry programme (Mémoires Soc. Math. France 2005, 2008). The derived tensor product is now the foundational symmetric-monoidal operation in derived algebraic geometry, prismatic cohomology (Bhatt-Scholze 2018), condensed mathematics (Clausen-Scholze 2019), and the geometrisation of the local Langlands correspondence (Fargues-Scholze 2021).

Bibliography Master

@article{EilenbergMacLane1942,
  author    = {Eilenberg, Samuel and {Mac Lane}, Saunders},
  title     = {Group extensions and homology},
  journal   = {Annals of Mathematics},
  volume    = {43},
  year      = {1942},
  pages     = {757--831}
}

@book{CartanEilenberg,
  author    = {Cartan, Henri and Eilenberg, Samuel},
  title     = {Homological Algebra},
  publisher = {Princeton University Press},
  series    = {Princeton Mathematical Series},
  volume    = {19},
  year      = {1956}
}

@phdthesis{VerdierThesis,
  author    = {Verdier, Jean-Louis},
  title     = {Cat{\'e}gories d{\'e}riv{\'e}es et cat{\'e}gories triangul{\'e}es},
  school    = {Universit{\'e} de Paris},
  year      = {1967},
  note      = {Published as Ast{\'e}risque 239, Soci{\'e}t{\'e} Math{\'e}matique de France, 1996; preliminary version `Cat{\'e}gories d{\'e}riv{\'e}es, {\'e}tat 0' in SGA 4{$\frac{1}{2}$}, Springer LNM 569, 1977}
}

@book{SGA6,
  editor    = {Berthelot, Pierre and Grothendieck, Alexander and Illusie, Luc},
  title     = {Th{\'e}orie des intersections et th{\'e}or{\`e}me de Riemann-Roch (SGA 6)},
  publisher = {Springer-Verlag},
  series    = {Lecture Notes in Mathematics},
  volume    = {225},
  year      = {1971}
}

@book{HartshorneRD17,
  author    = {Hartshorne, Robin},
  title     = {Residues and Duality},
  publisher = {Springer-Verlag},
  series    = {Lecture Notes in Mathematics},
  volume    = {20},
  year      = {1966}
}

@book{SerreLocalAlgebra,
  author    = {Serre, Jean-Pierre},
  title     = {Alg{\`e}bre locale, multiplicit{\'e}s},
  publisher = {Springer-Verlag},
  series    = {Lecture Notes in Mathematics},
  volume    = {11},
  year      = {1965}
}

@book{Weibel,
  author    = {Weibel, Charles A.},
  title     = {An Introduction to Homological Algebra},
  publisher = {Cambridge University Press},
  series    = {Cambridge Studies in Advanced Mathematics},
  volume    = {38},
  year      = {1994}
}

@book{GelfandManinMethods,
  author    = {Gelfand, Sergei I. and Manin, Yuri I.},
  title     = {Methods of Homological Algebra},
  publisher = {Springer-Verlag},
  edition   = {2},
  year      = {2003}
}

@misc{StacksDerivedTensor,
  author       = {{The Stacks Project authors}},
  title        = {The Stacks Project, Tag 064K (derived tensor product of complexes of modules)},
  howpublished = {\url{https://stacks.math.columbia.edu/tag/064K}},
  year         = {2026}
}

@book{LurieHigherAlgebra,
  author    = {Lurie, Jacob},
  title     = {Higher Algebra},
  note      = {Book draft, available at the author's website},
  year      = {2017}
}

@book{ToenVezzosiHAG,
  author    = {To{\"e}n, Bertrand and Vezzosi, Gabriele},
  title     = {Homotopical Algebraic Geometry I, II},
  publisher = {M{\'e}moires de la Soci{\'e}t{\'e} Math{\'e}matique de France},
  year      = {2005--2008}
}

@article{BhattScholzePrismatic,
  author    = {Bhatt, Bhargav and Scholze, Peter},
  title     = {Prisms and prismatic cohomology},
  journal   = {Annals of Mathematics},
  volume    = {196},
  year      = {2022},
  pages     = {1135--1275}
}

Prerequisites

01.02.10
04.03.11
04.03.12
04.03.16

Tier anchors

beginner: Weibel *An Introduction to Homological Algebra* §3.1 informal — tensor and its left-derived corrections; classical computations of $\mathrm{Tor}^\mathbb{Z}_*$ for cyclic abelian groups
intermediate: Weibel *An Introduction to Homological Algebra* Ch. 3 and Ch. 10 §6; Gelfand-Manin *Methods of Homological Algebra* Ch. III §5; Stacks Project Tag 064K
master: Cartan-Eilenberg *Homological Algebra* (Princeton 1956); Verdier *Catégories dérivées* (SGA 4½, LNM 569, 1977; thesis published as Astérisque 239, 1996); Grothendieck *SGA 6 — Théorie des intersections et théorème de Riemann-Roch* (Springer LNM 225, 1971); Hartshorne *Residues and Duality* (Springer LNM 20, 1966); Gelfand-Manin *Methods of Homological Algebra* (Springer 2nd ed. 2003) Ch. III

References

Cartan-Eilenberg — Homological Algebra · Princeton University Press (1956), Princeton Mathematical Series 19; Ch. VI (the functors $\mathrm{Tor}_n^R(M, N)$ for modules over a ring $R$, defined via projective resolution of either argument, with the symmetry $\mathrm{Tor}_n^R(M, N) \cong \mathrm{Tor}_n^R(N, M)$); Ch. VIII (balanced functors and the equivalence of derived functors in the two variables)
Verdier — Catégories dérivées (thesis) · thesis defended 1967; preliminary appendix to SGA 4½ (Springer LNM 569, 1977) pp. 262--311 'Catégories dérivées, état 0'; full thesis published as Astérisque 239, Société Mathématique de France 1996; the derived-category framework that turns $\otimes^L$ from a recipe into a functor $D^-(R) \times D^-(R) \to D^-(R)$
Grothendieck — SGA 6 · Berthelot, Grothendieck, Illusie eds., *Théorie des intersections et théorème de Riemann-Roch* (Séminaire de Géométrie Algébrique du Bois-Marie 1966--1967), Springer LNM 225 (1971); Exposé I (sheaves of perfect complexes); Exposé III (the derived tensor product $\otimes^L_{\mathcal{O}_X}$ on $D^-(X)$ for a scheme $X$, used as the input to the relative Riemann-Roch formula); Exposé IV (Tor-amplitude and finiteness)
Hartshorne — Residues and Duality · Springer LNM 20 (1966); Ch. II §4 (derived tensor product $\otimes^L$ as a functor on the derived category of an abelian category with enough flats); Ch. III §6 (the projection formula $f_*(F \otimes^L Lf^* G) \cong f_* F \otimes^L G$ in the proper case, prototype for the six-functor projection formula); Appendix on duality and the tensor product
Gelfand-Manin — Methods of Homological Algebra · Springer 2nd ed. 2003; Ch. III §5 (left derived functors via projective and flat resolutions, $\otimes^L$ as the canonical example, recovery of Tor as cohomology of $M \otimes^L N$); Ch. IV §3 (the bifunctor $\otimes^L : D^- \times D^- \to D^-$ and its symmetric-monoidal structure)
Weibel — An Introduction to Homological Algebra · Cambridge Studies in Advanced Mathematics 38 (1994); Ch. 3 (classical Tor: definition via projective resolution, balanced functor theorem, long exact sequence, change-of-rings spectral sequence); Ch. 10 §6 (the derived-category formulation $\mathrm{Tor}_i^R(M, N) = H_{-i}(M \otimes^L N)$ and the symmetric-monoidal structure on $D^-(\mathrm{Mod}_R)$)
Stacks Project — Derived tensor product · <https://stacks.math.columbia.edu/tag/064K> (the derived tensor product $K \otimes^L_R L$ for complexes of modules over a ring); Tag 06Y6 (the derived tensor product for complexes of $\mathcal{O}_X$-modules on a ringed space); Tag 0BZ4 (the projection formula in the derived setting)
Tor and Künneth — historical origin · Eilenberg-MacLane 1942 *Annals of Math.* 43, 757--831 'Group extensions and homology' (the first appearance of the Tor functor, motivated by the universal coefficient theorem $H_n(X; G) \cong H_n(X) \otimes G \oplus \mathrm{Tor}(H_{n-1}(X), G)$); Cartan-Eilenberg 1956 (the systematic Tor of modules over a ring, as in the second locator above)

Estimated time

beginner: 18m
intermediate: 42m
master: 75m