论文信息 - Noether resolutions in dimension 2

Noether resolutions in dimension 2

Let R := K[x1,...,xn] be a polynomial ring over an infinite field K, and let I ⊂ R be a homogeneous ideal with respect to a weight vector ω = (ω1, ..., ωn) ∈ (Z+)n such that dim(R/I) = d. We consider the minimal graded free resolution of R/I as A-module, that we call the Noether resolution of R/I, whenever A := K[xn-d+1,...,xn] is a Noether normalization of R/I. When d = 2 and I is saturated, we give an algorithm for obtaining this resolution that involves the computation of a minimal Gröbner basis of I with respect to the weighted degree reverse lexicographic order. In the particular case when R/I is a 2-dimensional semigroup ring, we also describe the multigraded version of this resolution in terms of the underlying semigroup. Whenever we have the Noether resolution of R/I or its multigraded version, we obtain formulas for the corresponding Hilbert series of R/I, and when I is homogeneous, we obtain a formula for the Castelnuovo-Mumford regularity of R/I. As an application of the results for 2-dimensional semigroup rings, we provide a new upper bound for the Castelnuovo-Mumford regularity of the coordinate ring of a projective monomial curve. Finally, we describe the multigraded Noether resolution of either the coordinate ring of a projective monomial curve [EQUATION] associated to an arithmetic sequence or of any of its canonical projections [EQUATION].

[1] Isabel Bermejo,et al. On projective monomial curves associated to generalized arithmetic sequences , 2015 .

[2] Isabel Bermejo,et al. Algebraic invariants of projective monomial curves associated to generalized arithmetic sequences , 2017, J. Symb. Comput..

[3] S. L'vovsky,et al. On inflection points, monomial curves, and hypersurfaces containing projective curves , 1996 .

[4] Robert Lazarsfeld,et al. On a theorem of Castelnuovo, and the equations defining space curves , 1983 .

[5] Philippe Gimenez,et al. Computing the Castelnuovo–Mumford regularity of some subschemes of PKn using quotients of monomial ideals , 2001 .

[6] Isabel Bermejo,et al. Noether resolutions in dimension 2 , 2016 .

[7] 李幼升,et al. Ph , 1989 .

[8] G. G. Stokes. "J." , 1890, The New Yale Book of Quotations.

[9] Michael Stillman,et al. A criterion for detectingm-regularity , 1987 .

[10] S. Molinelli,et al. On the Hilbert function of certain rings of monomial curves , 1995 .

[11] atisehe Annalen,et al. On inflection points , monomial curves , and hypersurfaces containing projective curves * , 2005 .

[12] Philippe Gimenez,et al. Saturation and Castelnuovo–Mumford regularity , 2006 .