Definition 17.23.1. Let $X$ be a ringed space. Let $\varphi : \mathcal{E} \to \mathcal{O}_ X$ be an $\mathcal{O}_ X$-module map. The *Koszul complex* $K_\bullet (\varphi )$ associated to $\varphi $ is the sheaf of commutative differential graded algebras defined as follows:

the underlying graded algebra is the exterior algebra $K_\bullet (\varphi ) = \wedge (\mathcal{E})$,

the differential $d : K_\bullet (\varphi ) \to K_\bullet (\varphi )$ is the unique derivation such that $d(e) = \varphi (e)$ for all local sections $e$ of $\mathcal{E} = K_1(\varphi )$.

## Comments (0)