Noether resolutions in dimension 2

DOI10.1016/J.JALGEBRA.2017.03.026zbMATH Open1396.13013arXiv1704.01777OpenAlexW2606030928MaRDI QIDQ528515FDOQ528515

Authors: Isabel Bermejo, Eva García-Llorente, Ignacio García Marco, Marcel Morales 

Publication date: 12 May 2017

Published in: Journal of Algebra (Search for Journal in Brave)

Abstract: Let $R:=K[x_1,ldots,x_n]$ be a polynomial ring over an infinite field $K$, and let $IsubsetR$ be a homogeneous ideal with respect to a weight vector $omega=(omeg{a}_1,ldots,omeg{a}_n)in(mathbb{Z}^{+}{)}^n$ such that $dim(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},ldots,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 $mathcalCsubseteqmathbb{P}_K^n$ associated to an arithmetic sequence or the coordinate ring of any canonical projection $p{i}_r(mathcalC)$ of $mathcalC$ to $mathbb{P}_K^{n-1}$.

Full work available at URL: https://arxiv.org/abs/1704.01777

Recommendations

• Noether resolutions in dimension 2
• Minimal free resolution of the associated graded ring of monomial curves of generalized arithmetic sequences
• On Castelnuovo-Mumford regularity of projective curves
• The Cohen-Macaulay property of affine semigroup rings in dimension 2
• Castelnuovo–Mumford regularity of simplicial semigroup rings with isolated singularity

zbMATH Keywords

Castelnuovo-Mumford regularitygraded algebraCohen-Macaulay ringsemigroup ringNoether normalizationminimal graded free resolution

Mathematics Subject Classification ID

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)

Cites Work

• Title not available (Why is that?)
• Hilbert functions of graded algebras
• Numerical semigroups.
• On the linear diophantine problem of Frobenius.
• Title not available (Why is that?)
• Monomial algebras
• On a theorem of Castelnuovo, and the equations defining space curves
• On Macaulayfication of Noetherian schemes
• Title not available (Why is that?)
• On inflection points, monomial curves, and hypersurfaces containing projective curves
• Affine Semigroups and Cohen-Macaulay Rings Generated by Monomials
• On the Hilbert function of certain rings of monomial curves
• Bases and Ideal Generators for Projective Monomial Curves
• On Castelnuovo-Mumford regularity of projective curves
• Algebraic invariants of projective monomial curves associated to generalized arithmetic sequences
• Computing the Castelnuovo-Mumford regularity of some subschemes of \(\mathbb{P}_K^n\) using quotients of monomial ideals
• On length of generalized fractions \(1/(x_1^n,\dots, x_d^n,1)\)
• On Segre products of affine semigroup rings
• Title not available (Why is that?)
• On theS₂-Fication of Some Toric Varieties
• On a linear diophantine problem of Frobenius
• The Gorenstein property depends upon characteristic for affine semigroup rings
• On Buchsbaum simplicial affine semigroups.

Cited In (3)

• On the reduction numbers and the Castelnuovo–Mumford regularity of projective monomial curves
• Noether resolutions in dimension 2
• A ``pseudo-polynomial algorithm for the Frobenius number and Gröbner basis

Uses Software

• CoCoA
• Macaulay2
• SINGULAR

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)