English

Noether resolutions in dimension $2$

Commutative Algebra 2017-05-01 v1 Algebraic Geometry Combinatorics

Abstract

Let R:=K[x1,,xn]R:= K[x_1,\ldots,x_{n}] be a polynomial ring over an infinite field KK, and let IRI \subset R be a homogeneous ideal with respect to a weight vector ω=(ω1,,ωn)(Z+)n\omega = (\omega_1,\ldots,\omega_n) \in (\mathbb{Z}^+)^n such that dim(R/I)=d\dim(R/I) = d. In this paper we study the minimal graded free resolution of R/IR/I as AA-module, that we call the Noether resolution of R/IR/I, whenever A:=K[xnd+1,,xn]A :=K[x_{n-d+1},\ldots,x_n] is a Noether normalization of R/IR/I. When d=2d=2 and II is saturated, we give an algorithm for obtaining this resolution that involves the computation of a minimal Gr\"obner basis of II with respect to the weighted degree reverse lexicographic order. In the particular case when R/IR/I is a 22-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/IR/I or its multigraded version, we obtain formulas for the corresponding Hilbert series of R/IR/I, and when II is homogeneous, we obtain a formula for the Castelnuovo-Mumford regularity of R/IR/I. Moreover, in the more general setting that R/IR/I is a simplicial semigroup ring of any dimension, we provide its Macaulayfication. As an application of the results for 22-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 CPKn\mathcal{C} \subseteq \mathbb{P}_K^{n} associated to an arithmetic sequence or the coordinate ring of any canonical projection πr(C)\pi_{r}(\mathcal{C}) of C\mathcal{C} to PKn1\mathbb{P}_K^{n-1}.

Keywords

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

R2 v1 2026-06-22T19:09:33.398Z