Tor functor

In mathematics, the Tor functors are the derived functors of the tensor product of modules over a ring. Along with the Ext functor, Tor is one of the central concepts of homological algebra, in which ideas from algebraic topology are used to construct invariants of algebraic structures. The homology of groups, Lie algebras, and associative algebras can all be defined in terms of Tor. The name comes from a relation between the first Tor group Tor₁ and the torsion subgroup of an abelian group.

In the special case of abelian groups, Tor was introduced by Eduard Čech in 1935 and named by Samuel Eilenberg around 1950. It was first applied to the Künneth theorem and universal coefficient theorem in topology. For modules over any ring, Ext was defined by Henri Cartan and Eilenberg in 1956.

Definition

Let $R$ be a ring. Write $R -𝖬𝗈𝖽$ for the category of left $R$ -modules and $𝖬𝗈𝖽- R$ for the category of right $R$ -modules. (If $R$ is commutative, the two categories can be identified.) For a fixed left $R$ -module $B$ , let $T (A) = A \otimes_{R} B$ for $A$ in $𝖬𝗈𝖽- R$ . This is a right exact functor from $𝖬𝗈𝖽- R$ to the category of abelian groups $𝐀𝐛$ , and so it has left derived functors $ℒ_{i} T$ . The Tor groups are the abelian groups defined by ${Tor}_{i}^{R} (A, B) = (ℒ_{i} T) (A),$ for an integer $i$ . By definition, this means: take any projective resolution $\dots \to P_{2} \to P_{1} \to P_{0} \to A \to 0,$ and remove $A$ , and form the chain complex: $\dots \to P_{2} \otimes_{R} B \to P_{1} \otimes_{R} B \to P_{0} \otimes_{R} B \to 0$

For each integer $i$ , the group ${Tor}_{i}^{R} (A, B)$ is the homology of this complex at position $i$ . It is zero for $i$ negative. Moreover, ${Tor}_{0}^{R} (A, B)$ is the cokernel of the map $P_{1} \otimes_{R} B \to P_{0} \otimes_{R} B$ , which is isomorphic to $A \otimes_{R} B$ .

Alternatively, one can define $T o r$ by fixing $A$ and taking the left derived functors of the right exact functor $G (B) = A \otimes_{R} B$ . That is, tensor $A$ with a projective resolution of $B$ and take homology. Cartan and Eilenberg showed that these constructions are independent of the choice of projective resolution, and that both constructions yield the same Tor groups. Moreover, for a fixed ring $R$ , $T o r$ is a functor in each variable (from $R$ -modules to abelian groups).

For a commutative ring $R$ and $R$ -modules $A$ and $B$ , ${Tor}_{i}^{R} (A, B)$ is an $R$ -module (using that $A \otimes_{R} B$ is an $R$ -module in this case). For a non-commutative ring $R$ , ${Tor}_{i}^{R} (A, B)$ is only an abelian group, in general. If $R$ is an algebra over a ring $S$ (which means in particular that $S$ is commutative), then ${Tor}_{i}^{R} (A, B)$ is at least an $S$ -module.

Properties

Here are some of the basic properties and computations of Tor groups.

${T o r}_{0}^{R} (A, B) ≅ A \otimes_{R} B$ for any right $R$ -module $A$ and left $R$ -module $B$ .
${T o r}_{i}^{R} (A, B) = 0$ for all $i > 0$ if either $A$ or $B$ is flat (for example, free) as an $R$ -module. In fact, one can compute Tor using a flat resolution of either $A$ or $B$ ; this is more general than a projective (or free) resolution.
If $A, B$ are finitely generated abelian groups, then ${Tor}_{1}^{ℤ} (A, B) ≅ A_{tor} \otimes_{ℤ} B_{tor}$ , where $A_{tor}$ is the torsion subgroup of $A$ .
There are converses to the previous statement:
- If ${T o r}_{1}^{R} (A, B) = 0$ for all $B$ , then $A$ is flat (and hence ${T o r}_{i}^{R} (A, B) = 0$ for all $i > 0$ ).
- If ${T o r}_{1}^{R} (A, B) = 0$ for all $A$ , then $B$ is flat (and hence ${T o r}_{i}^{R} (A, B) = 0$ for all $i > 0$ ).
By the general properties of derived functors, every short exact sequence $0 \to K \to L \to M \to 0$ of right $R$ -modules induces a long exact sequence of the form $\dots \to {Tor}_{2}^{R} (M, B) \to {Tor}_{1}^{R} (K, B) \to {Tor}_{1}^{R} (L, B) \to {Tor}_{1}^{R} (M, B) \to K \otimes_{R} B \to L \otimes_{R} B \to M \otimes_{R} B \to 0,$ for any left $R$ -module $B$ . The analogous exact sequence also holds for Tor with respect to the second variable.
Symmetry: for a commutative ring $R$ , there is a natural isomorphism ${T o r}_{i}^{R} (A, B) ≅ {T o r}_{i}^{R} (B, A)$ . (For $R$ commutative, there is no need to distinguish between left and right $R$ -modules.)
If $R$ is a commutative ring and $u$ in $R$ is not a zero divisor, then for any $R$ -module $B$ , ${Tor}_{i}^{R} (R / (u), B) ≅ {\begin{matrix} B / u B & i = 0 \\ B [u] & i = 1 \\ 0 & otherwise \end{matrix}$ where $B [u] = {x \in B : u x = 0}$ is the $u$ -torsion subgroup of $B$ . This is the explanation for the name Tor. Taking $R$ to be the ring $ℤ$ of integers, this calculation can be used to compute ${Tor}_{1}^{ℤ} (A, B)$ for any finitely generated abelian group $A$ .
Generalizing the previous example, one can compute Tor groups that involve the quotient of a commutative ring by any regular sequence, using the Koszul complex. For example, if $R$ is the polynomial ring $k [x_{1}, \dots, x_{n}]$ over a field $k$ , then ${Tor}_{*}^{R} (k, k)$ is the exterior algebra over $k$ on $n$ generators in ${T o r}_{1}$ .
${Tor}_{i}^{ℤ} (A, B) = 0$ for all $i \geq 2$ . The reason: every abelian group $A$ has a free resolution of length 1, since every subgroup of a free abelian group is free abelian.
Generalizing the previous example, ${Tor}_{i}^{R} (A, B) = 0$ for all $i \geq 2$ if $R$ is a principal ideal domain (PID). The reason: every module $A$ over a PID has a free resolution of length 1, since every submodule of a free module over a PID is free.
For any ring $R$ , Tor preserves direct sums (possibly infinite) and filtered colimits in each variable. For example, in the first variable, this says that $\begin{matrix} {Tor}_{i}^{R} (⨁_{α} M_{α}, N) & ≅ ⨁_{α} {Tor}_{i}^{R} (M_{α}, N) \\ {Tor}_{i}^{R} (\underset{α}{\lim_{\to}} M_{α}, N) & ≅ \underset{α}{\lim_{\to}} {Tor}_{i}^{R} (M_{α}, N) \end{matrix}$
Flat base change: for a commutative flat $R$ -algebra $T$ , $R$ -modules $A$ and $B$ , and an integer $i$ , ${T o r}_{i}^{R} (A, B) \otimes_{R} T ≅ {T o r}_{i}^{T} (A \otimes_{R} T, B \otimes_{R} T) .$ It follows that Tor commutes with localization. That is, for a multiplicatively closed set $S$ in $R$ , $S^{- 1} {Tor}_{i}^{R} (A, B) ≅ {Tor}_{i}^{S^{- 1} R} (S^{- 1} A, S^{- 1} B) .$
For a commutative ring $R$ and commutative $R$ -algebras $A$ and $B$ , ${T o r}_{*}^{R} (A, B)$ has the structure of a graded-commutative algebra over $R$ . Moreover, elements of odd degree in the Tor algebra have square zero, and there are divided power operations on the elements of positive even degree.

Important special cases

Group homology is defined by $H_{*} (G, M) = {Tor}_{*}^{ℤ [G]} (ℤ, M),$ where G is a group, M is a representation of G over the integers, and $ℤ [G]$ is the group ring of G.
For an algebra A over a field k and an A-bimodule M, Hochschild homology is defined by $H H_{*} (A, M) = {Tor}_{*}^{A \otimes_{k} A^{op}} (A, M) .$
Lie algebra homology is defined by $H_{*} (𝔤, M) = {Tor}_{*}^{U 𝔤} (R, M)$ , where $𝔤$ is a Lie algebra over a commutative ring R, M is a $𝔤$ -module, and $U 𝔤$ is the universal enveloping algebra.
For a commutative ring R with a homomorphism onto a field k, ${Tor}_{*}^{R} (k, k)$ is a graded-commutative Hopf algebra over k. (If R is a Noetherian local ring with residue field k, then the dual Hopf algebra to ${Tor}_{*}^{R} (k, k)$ is Ext^*
_R(k,k).) As an algebra, ${Tor}_{*}^{R} (k, k)$ is the free graded-commutative divided power algebra on a graded vector space π_*(R). When k has characteristic zero, π_*(R) can be identified with the André-Quillen homology D_*(k/R,k).

Notes

↑ Čech, Eduard (1935). "Les groupes de Betti d'un complexe infini" (PDF). Fundamenta Mathematicae. 25: 33–44. doi:10.4064/fm-25-1-33-44. JFM 61.0609.02.
↑ Weibel (1999).
↑ Cartan, Henri; Eilenberg, Samuel (1999) [1956]. Homological Algebra. Princeton University Press. ISBN 0-691-04991-2. MR 0575792.
↑ Weibel (1994), section 2.4 and Theorem 2.7.2.
↑ Weibel (1994), Chapters 2 and 3.
↑ Weibel (1994), Lemma 3.2.8.
↑ Weibel (1994), Definition 2.1.1.
↑ Weibel (1994), Remark in section 3.1.
↑ Weibel (1994), section 4.5.
↑ Weibel (1994), Corollary 2.6.17.
↑ Weibel (1994), Corollary 3.2.10.
↑ Avramov & Halperin (1986), section 2.16; Stacks Project, Tag 09PQ.
↑ Avramov & Halperin (1986), section 4.7.
↑ Gulliksen & Levin (1969), Theorem 2.3.5; Sjödin (1980), Theorem 1.
↑ Quillen (1970), section 7.

References

Avramov, Luchezar; Halperin, Stephen (1986), "Through the looking glass: a dictionary between rational homotopy theory and local algebra", in J.-E. Roos (ed.), Algebra, algebraic topology, and their interactions (Stockholm, 1983), Lecture Notes in Mathematics, vol. 1183, Springer Nature, pp. 1–27, doi:10.1007/BFb0075446, ISBN 978-3-540-16453-1, MR 0846435
Cartan, Henri; Eilenberg, Samuel (1999) [1956], Homological algebra, Princeton: Princeton University Press, ISBN 0-691-04991-2, MR 0077480
Čech, Eduard (1935), "Les groupes de Betti d'un complexe infini" (PDF), Fundamenta Mathematicae, 25: 33–44, doi:10.4064/fm-25-1-33-44, JFM 61.0609.02
Gulliksen, Tor; Levin, Gerson (1969), Homology of local rings, Queen's Papers in Pure and Applied Mathematics, vol. 20, Queen's University, MR 0262227
Quillen, Daniel (1970), "On the (co-)homology of commutative rings", Applications of categorical algebra, Proc. Symp. Pure Mat., vol. 17, American Mathematical Society, pp. 65–87, MR 0257068
Sjödin, Gunnar (1980), "Hopf algebras and derivations", Journal of Algebra, 64: 218–229, doi:10.1016/0021-8693(80)90143-X, MR 0575792
Weibel, Charles A. (1994), An introduction to homological algebra, Cambridge Studies in Advanced Mathematics, vol. 38, Cambridge University Press, ISBN 978-0-521-55987-4, MR 1269324, OCLC 36131259
Weibel, Charles (1999), "History of homological algebra", History of topology (PDF), Amsterdam: North-Holland, pp. 797–836, MR 1721123

External links

The Stacks Project Authors, The Stacks Project

[1] Čech, Eduard (1935). "Les groupes de Betti d'un complexe infini" (PDF). Fundamenta Mathematicae. 25: 33–44. doi:10.4064/fm-25-1-33-44. JFM 61.0609.02.

[2] Weibel (1999).

[3] Cartan, Henri; Eilenberg, Samuel (1999) [1956]. Homological Algebra. Princeton University Press. ISBN 0-691-04991-2. MR 0575792.

[4] Weibel (1994), section 2.4 and Theorem 2.7.2.

[5] Weibel (1994), Chapters 2 and 3.

[6] Weibel (1994), Lemma 3.2.8.

[7] Weibel (1994), Definition 2.1.1.

[8] Weibel (1994), Remark in section 3.1.

[9] Weibel (1994), section 4.5.

[10] Weibel (1994), Corollary 2.6.17.

[11] Weibel (1994), Corollary 3.2.10.

[12] Avramov & Halperin (1986), section 2.16; Stacks Project, Tag 09PQ.

[13] Avramov & Halperin (1986), section 4.7.

[14] Gulliksen & Levin (1969), Theorem 2.3.5; Sjödin (1980), Theorem 1.

[15] Quillen (1970), section 7.