Noether resolutions in dimension $2$
Abstract
Let be a polynomial ring over an infinite field , and let be a homogeneous ideal with respect to a weight vector such that . In this paper we study the minimal graded free resolution of as -module, that we call the Noether resolution of , whenever is a Noether normalization of . When and is saturated, we give an algorithm for obtaining this resolution that involves the computation of a minimal Gr\"obner basis of with respect to the weighted degree reverse lexicographic order. In the particular case when is a -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 or its multigraded version, we obtain formulas for the corresponding Hilbert series of , and when is homogeneous, we obtain a formula for the Castelnuovo-Mumford regularity of . Moreover, in the more general setting that is a simplicial semigroup ring of any dimension, we provide its Macaulayfication. As an application of the results for -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 and the Macaulayfication of either the coordinate ring of a projective monomial curve associated to an arithmetic sequence or the coordinate ring of any canonical projection of to .
Cite
@article{arxiv.1704.01777,
title = {Noether resolutions in dimension $2$},
author = {Isabel Bermejo and Eva García-Llorente and Ignacio García-Marco and Marcel Morales},
journal= {arXiv preprint arXiv:1704.01777},
year = {2017}
}
Comments
21 pages. To appear in Journal of Algebra