The bi-graded structure of symmetric algebras with applications to Rees rings (Q330158)

From MaRDI portal
Revision as of 14:33, 9 December 2024 by Import241208061232 (talk | contribs) (Normalize DOI.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
The bi-graded structure of symmetric algebras with applications to Rees rings
scientific article

    Statements

    The bi-graded structure of symmetric algebras with applications to Rees rings (English)
    0 references
    0 references
    0 references
    0 references
    24 October 2016
    0 references
    Let \(k\) be an algebraically closed field, \(R = k[x, y]\) a polynomial ring in two variables, and \(I\) an ideal of \(R\) minimally generated by homogeneous forms \(h_1, h_2, h_3\) of the same degree \(d > 0\). Let \(C\) be the curve parametrized by \(h_1, h_2, h_3\) , we can assume that the curve \(C\) has degree \(d\). Let \(\psi\) the syzygy matrix of the ideal \(I\). The two aspects, the curve C parametrized by the forms \(h_1, h_2, h_3\) and the syzygy matrix \(\psi\), are mediated by the Rees algebra \(R[It]\) of \(I\). \(R[It]\) becomes a standard bi-graded \(k\)-algebra if one sets \(\deg x = \deg y = (1, 0)\) and \(\deg t = (-d, 1)\), which gives \(\deg h_i t = (0, 1)\). The symmetric algebra \(\mathrm{Sym}(I)\), the Rees algebra \(R[It]\), and the ideal \(A\) of \(\mathrm{Sym}(I)\) that defines \(R[It]\) all are naturally equipped with two gradings. Let \(A_i\) be the \(S\)-submodule of \(A\) which consists of all elements homogeneous in \(x\) and \(y\) of degree \(i\), we can view \(A\) as a sum of the \(A_i\). The aim of this article is to study this ideal \(A\). The purpose is more clear in the case \(d = 6\), the case of a sextic curve. The authors show that there is, essentially, a one-to-one correspondence between the bi-degrees of the defining equations of \(R[It]\) and the types of the singularities on or infinitely near the curve \(C\).
    0 references
    bi-graded structures
    0 references
    duality
    0 references
    elimination theory
    0 references
    generalized zero of a matrix
    0 references
    generator degrees
    0 references
    Hilbert-Burch matrix
    0 references
    infinitely near singularities
    0 references
    Koszul complex
    0 references
    local cohomology
    0 references
    linkage
    0 references
    matrices of linear forms
    0 references
    Morley forms
    0 references
    parametrization
    0 references
    rational plane curve
    0 references
    rational plane sextic
    0 references
    Rees algebra
    0 references
    Sylvester form
    0 references
    symmetric algebra
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references