Applications of Koszul homology to numbers of generators and syzygies (Q674455)

From MaRDI portal
Revision as of 01:54, 16 February 2024 by RedirectionBot (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Applications of Koszul homology to numbers of generators and syzygies
scientific article

    Statements

    Applications of Koszul homology to numbers of generators and syzygies (English)
    0 references
    0 references
    24 April 1997
    0 references
    Given a finitely generated graded module \(M\) over a standard graded algebra \(A=K[x_1,\dots, x_r]/I\) with homogeneous maximal ideal \({\mathfrak m}\) and infinite base field \(K\), the author studies relations between the structure of the minimal free \(R= K[x_1,\dots,x_r]\)-resolution of \(M\) and the Koszul homology modules \(H_i(\ell, H_{\mathfrak m}^j(M))\), which he calls the Green modules of \(M\), where \(\ell= (\ell_1,\dots, \ell_r)\) is a system of generic linear forms. Using a certain spectral sequence in Koszul homology, he proves that those Green modules are of finite length, if \(i<r\) or \(j\leq r\). This result is then applied to generalize H. M. Martin's and J. C. Migliore's extension of Dubreil's theorem [cf. \textit{H. M. Martin} and \textit{J. C. Migliore}, ``Submodules of the deficiency modules and an extension of Dubreil's theorem'', J. Lond. Math. Soc., II. Ser. (to appear) and \textit{P. Dubreil}, Bull. Soc. Math. Fr. 61, 258-283 (1933; Zbl 0008.12903)], and to prove that the regularity of \(M\) is completely determined by the tail of the resolution via the formula \[ \text{reg}(M)= \max\{\max\{ \text{Tor}_j^R (K,M)_n\neq 0\mid n\in\mathbb{Z}\}-j\mid \text{codim}(M)\leq j\leq r\}. \] The last formula can be viewed as a generalization of M. Green's duality theorem [cf. \textit{M. L. Green}, J. Differ. Geom. 19, 125-171 (1984; Zbl 0559.14008)] and is shown to have interesting geometrical application, e.g. to the Hartshorne-Rao module of a space curve.
    0 references
    syzygies
    0 references
    Koszul homology modules
    0 references
    spectral sequence in Koszul homology
    0 references
    Hartshorne-Rao module
    0 references
    space curve
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references