Euler sequence and Koszul complex of a module (Q517224)

Let \(L\) be a module over a commutative ring \(A\), \(S(L)\) and \(\Lambda(L)\) the associated symmetric and exterior algebras. Due to [\textit{N. Bourbaki}, Éléments de mathématiques. Algèbre. Chapitre 10: Algèbre homologique. Paris etc.: Masson (1980; Zbl 0455.18010)], there is a canonical map \(d: S^p(L)\otimes \Lambda^q(L) \rightarrow S(L)^{p+1}\otimes \Lambda^{q-1}(L)\), so that the (generalized) Koszul complex \(\mathbf{K}(L;d)\) is well-defined. Moreover, this complex is a direct sum of complexes \(\mathbf{K}(L)_n\), which are all acyclic if \(L\) is a flat \(A\)-module (see \S 9, Proposition 3, [loc. cit.]). The authors study this construction in a very special case where \(L\) is the symmetric algebra \(S(M)\) of a quasicoherent module \(M\) given on a Noetherian scheme. In particular, they prove that \(\mathbf{K}(L)_n\) is acyclic for \(n\gg 0\). Then a series of applications and results, most of which are well-known in a much wider context and generality, are discussed without references on previous original researches.