arXiv++ Combinatorics

Let $R:= K[x_1,\ldots,x_{n}]$ be a polynomial ring over an infinite field $K$, and let $I \subset R$ be a homogeneous ideal with respect to a weight vector $ω= (ω_1,\ldots,ω_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ö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$. 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 $\mathcal{C} \subseteq \mathbb{P}_K^{n}$ associated to an arithmetic sequence or the coordinate ring of any canonical projection $π_{r}(\mathcal{C})$ of $\mathcal{C}$ to $\mathbb{P}_K^{n-1}$.

Let consider $n$ natural numbers $a\_1 ,\ldots , a\_{n} $. Let $S$ be the numerical semigroup generated by $a\_1 ,\ldots , a\_{n} $. Set $A=K[t^{a\_1}, \ldots , t^{a\_n}]=K[{x\_1}, \ldots , {x\_n}]/I$. The aim of this paper is: \begin{enumerate}\item Give an effective pseudo-polynomial algorithm on $a\_1$, which computes The Ap{é}ry set and the Frobenius number of $S$. As a consequence it also solves in pseudo-polynomial time the integer knapsack problem : given a natural integer b, b belongs to $S$?\item The \gbb of $I$ for the reverse lexicographic order to $x\_n,\ldots ,x\_1$, without using Buchberger's algorithm. \item $\ini{I} $ for the reverse lexicographic order to $x\_n,\ldots ,x\_1$.\item $A$ as a $K[t^{ a\_1 }]$-module. \end{enumerate} We dont know the complexity of our algorithm. We need to solve the "multiplicative" integer knapsack problem: Find all positive integer solutions $({k\_1}, \ldots , {k\_n})$ of the inequality $\prod\_{i=2}^n (k\_i+1)\leq a\_1+1$. This algorithm is easily implemented. The implementation of this algorithm "frobenius-number-mm", for $n=17 $, can be downloaded in \hfill\breakhttps://www-fourier.ujf-grenoble.fr/~morales/frobenius-number-mm

In this paper, we introduce some reduction processes on graphs which preserve the regularity of related edge ideals. As a consequence, an alternative proof for the theorem of R. Fröberg on linearity of resolution of edge ideal of graphs is given.