Noether resolutions in dimension 2

Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Graded rings (13A02) Syzygies, resolutions, complexes and commutative rings (13D02) Hilbert-Samuel and Hilbert-Kunz functions; Poincaré series (13D40)

Abstract: Let

R := K [x_{1}, l d o t s, x_{n}]

be a polynomial ring over an infinite field

K

, and let

I s u b s e t R

be a homogeneous ideal with respect to a weight vector

o m e g a = (o m e g a_{1}, l d o t s, o m e g a_{n}) i n (m a t h b b Z^{+})^{n}

such that

d i m (R / I) = d

. In this paper we study the minimal graded free resolution of

R / I

as

A

-module, that we call the Noether resolution of

R / I

, whenever

A := K [x_{n - d + 1}, l d o t s, x_{n}]

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"obner 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

. Moreover, in the more general setting that

R / I

is a simplicial semigroup ring of any dimension, we provide its Macaulayfication. 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 and the Macaulayfication of either the coordinate ring of a projective monomial curve

m a t h c a l C s u b s e t e q m a t h b b P_{K}^{n}

associated to an arithmetic sequence or the coordinate ring of any canonical projection

p i_{r} (m a t h c a l C)

of

m a t h c a l C

to

m a t h b b P_{K}^{n - 1}

.

Recommendations

Cites work

Cited in

(3)

Describes a project that uses

Uses Software

This page was built for publication: Noether resolutions in dimension 2

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q528515)