Euler sequence and Koszul complex of a module

DOI10.1007/S11512-016-0236-4MaRDI QIDQ517224zbMATH OpenOpenAlexFDO

Authors Björn Andreas, Darío Sánchez Gómez, Fernando Sancho de Salas

Publication date 23 March 2017

Published in Arkiv för Matematik (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1509.06897

zbMATH Keywords

Bott's formulasde Rham complexexterior algebrasgeneralized Koszul complexKähler differentialsprojective bundlesregular sequencessymmetric algebras

Mathematics Subject Classification ID

Syzygies, resolutions, complexes and commutative rings (13D02) Modules of differentials (13N05) Vector bundles on surfaces and higher-dimensional varieties, and their moduli (14J60) Other algebras built from modules (15A78) Sheaves and cohomology of sections of holomorphic vector bundles, general results (32L10)

Abstract: We construct relative and global Euler sequences of a module. We apply it to prove some acyclicity results of the Koszul complex of a module and to compute the cohomology of the sheaves of (relative and absolute) differential $p$-forms of a projective bundle. In particular we generalize Bott's formula for the projective space to a projective bundle over a scheme of characteristic zero.

Review text

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.

Recommendations

• Hilbert coefficients and partial Euler-Poincaré characteristics of Koszul complexes of d-sequences
• Morphisms Between Koszul Complexes II
• THE VANISHING OF HOMOLOGY MODULES OF A KOSZUL COMPLEX
• Cohomology of projective space seen by residual complex
• dd-SEQUENCES AND PARTIAL EULER–POINCARÉ CHARACTERISTICS OF KOSZUL COMPLEX

Cites work

• A note on the acyclicity of the Koszul complex of a module
• Classes de Chern et classes de cycles en cohomologie de Hodge-Witt logarithmique
• Homogeneous vector bundles
• scientific article; zbMATH DE number 3712176 (Why is no real title available?)
• scientific article; zbMATH DE number 3514199 (Why is no real title available?)
• scientific article; zbMATH DE number 3315841 (Why is no real title available?)
• scientific article; zbMATH DE number 3370554 (Why is no real title available?)
• Residues of a Pfaff system relative to an invariant subscheme
• Sur les algèbres universelles

Cited in

(5)

• Cohomology of projective space seen by residual complex
• scientific article; zbMATH DE number 4158801 (Why is no real title available?)
• Le complexe de Koszul en algèbre et topologie. (The Koszul complex in algebra and topology)
• Differential Modules with Complete Intersection Homology
• On Koszul complex of a supermodule

This page was built for publication: Euler sequence and Koszul complex of a module

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q517224)