Symbolic powers of perfect ideals of codimension 2 and birational maps (Q403801)

From MaRDI portal
Revision as of 00:10, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article
Language Label Description Also known as
English
Symbolic powers of perfect ideals of codimension 2 and birational maps
scientific article

    Statements

    Symbolic powers of perfect ideals of codimension 2 and birational maps (English)
    0 references
    0 references
    0 references
    29 August 2014
    0 references
    Let \(R=k[X_1,\ldots,X_n]\), where \(k\) is an infinite field. In this work, the authors study about symbolic powers \(I^{(n)}\) of a codimension \(2\) ideal \(I\) in \(R\), assuming that the entries of the corresponding presentation matrix \(\mathcal{L}\) of size \(m\times (m-1)\) are general linear forms. Then \(I\) is of linear type if and only if \(m \leq n\). If char\((k)=0\), then \(I\) is normally torsion free if and only if \(m < n\) (Proposition 2.3). Let \(\mathcal{R}^{(I)}\) denote the symbolic Rees algebra of \(I\). If \(n \geq 3, m=n\), then \(\mathcal{R}^{(I)}\) is a Gorenstein normal domain. Furthermore, if char\((k)=0\), then \(\mathcal{R}^{(I)}\) is generated by the \((n-1)\)-minors of \(\mathcal{L}\), viewed in degree \(1\) and by the source inversion factor of the Cremona map defined by these minors, viewed in degree \(n-1\) (Theorem 2.14). The authors achieve these results by explicitly describing the symbolic Rees algebra \(\mathcal{R}^{(I)}\) and the underlying birational theory. As an application, if char\((k)=0\), then the authors prove a conjecture stated in [\textit{D. Eisenbud} and \textit{B. Mazur}, J. Reine Angew. Math. 488, 189--201 (1997; Zbl 0912.13010)] affirmatively. Finally, for \(n \geq 3\) and char\((k)=0\), in the case \(m=n+1\), the authors explicitly describe the symbolic Rees algebra \(\mathcal{R}^{(I)}\) (Theorem 2.23).
    0 references
    symbolic power
    0 references
    symbolic Rees algebra
    0 references
    general linear forms
    0 references
    codimension two perfect ideal
    0 references

    Identifiers

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