Definition 20.26.14. Let $(X, \mathcal{O}_ X)$ be a ringed space. Let $\mathcal{F}$, $\mathcal{G}$ be $\mathcal{O}_ X$-modules. The *Tor*'s of $\mathcal{F}$ and $\mathcal{G}$ are define by the formula

\[ \text{Tor}_ p^{\mathcal{O}_ X}(\mathcal{F}, \mathcal{G}) = H^{-p}(\mathcal{F} \otimes _{\mathcal{O}_ X}^\mathbf {L} \mathcal{G}) \]

with derived tensor product as defined above.

## Comments (0)