Let H = <n_1,...,n_e> be a numerical semigroup generated by e elements. Let k[H]= k[x_1, .... , x_e]/I_H = S/I_H be the semigroup ring of H over k. We define inverse polynomial J_{H,h} for h in H and express the defining ideal of I_H using Ann_S (J_{H,h}). In particular, if k[H] is Gorenstein the defining ideal of I_H + (t^h) is Ann_S (J_{H, F(H)+h}), where F(H) is the Frobenius number of H ( = a(k[H]), the a -invariant of k[H]). We apply this to (1) evaluate number of generators of I_H, (2) characterize if k[H] is almost Gorenstein (H is almost symmetric), (3) characterize symmetric semigroups of small multiplicity. Also We give a new proof of Bresinsky's Theorem on Gorenstein semigroup rings of codimension 3 using inverse polynpmial.
We give a positive answer to the Huneke-Wiegand Conjecture for monomial ideals over free numerical semigroup rings, and for two generated monomial ideals over complete intersection numerical semigroup rings.
Numerical semigroup rings are investigated from the relative viewpoint. It is known that algebraic properties such as singularities of a numerical semigroup ring are properties of a flat numerical semigroup algebra. In this paper, we show that arithmetic and set-theoretic properties of a numerical semigroup ring are properties of an equi-gcd numerical semigroup algebra.
We characterize the seminormality of an affine semigroup ring in terms of the dualizing complex, and the normality of a Cohen-Macaulay semigroup ring by the "shape" of the canonical module. We also characterize the seminormality of a toric face ring in terms of the dualizing complex. A toric face ring is a simultaneous generalization of Stanley-Reisner rings and affine semigroups.
In this paper, we give the necessary and sufficient conditions for the Cohen-Macaulayness of the associated graded ring of a simplicial affine semigroups using Gröbner basis. We generalize the concept of homogeneous numerical semigroup for the simplicial affine semigroup and show that the Betti numbers of the corresponding semigroup ring matches with the Betti numbers of the associated graded ring. We also define the nice extension for simplicial affine semigroups, motivated by the notion of a nice extension of the numerical semigroups.
For any numerical semigroup $S$, there are infinitely many numerical symmetric semigroups $T$ such that $S=\frac{T}{2}$ is their half. We are studying the Betti numbers of the numerical semigroup ring $K[T]$ when $S$ is a 3-generated numerical semigroup or telescopic. We also consider 4-generated symmetric semigroups and the so called 4-irreducible numerical semigroups.
Ulrich ideals in numerical semigroup rings of small multiplicity are studied. If the semigroups are three-generated but not symmetric, the semigroup rings are Golod, since the Betti numbers of the residue class fields of the semigroup rings form an arithmetic progression; therefore, these semigroup rings are G-regular, possessing no Ulrich ideals. Nevertheless, even in the three-generated case, the situation is different, when the semigroups are symmetric. We shall explore this phenomenon, describing an explicit system of generators, that is the normal form of generators, for the Ulrich ideals…
In this work, new families of Buchsbaum rings, developed by mean of convex body semigroups, are presented. We characterize Buchsbaum circle and convex polygonal semigroups and describe algorithmic methods to check these characterizations.
The structure of the defining ideal of the semigroup ring $k[H]$ of a numerical semigroup $H$ over a field $k$ is described, when the pseudo-Frobenius numbers of $H$ are multiples of a fixed integer.
We will give a pure combinatorial proof of the Eisenbud-Goto conjecture for arbitrary monomial curves. Moreover, we will show that the conjecture holds for certain simplicial affine semigroup rings.
We show that the Eisenbud-Goto conjecture holds for (homogeneous) seminormal simplicial affine semigroup rings. Moreover, we prove an upper bound for the Castelnuovo-Mumford regularity in terms of the dimension, which is similar as in the normal case. Finally, we compute explicitly the regularity of full Veronese rings.
We prove that the F-signature of an affine semigroup ring of positive characteristic is always a rational number, and describe a method for computing this number. We use this method to determine the F-signature of Segre products of polynomial rings, and of Veronese subrings of polynomial rings. Our technique involves expressing the F-signature of an affine semigroup ring as the difference of the Hilbert-Kunz multiplicities of two monomial ideals, and then using Watanabe's result that these Hilbert-Kunz multiplicities are rational numbers.
If $S=<d_1,...,d_ν>$ is a numerical semigroup, we call the ring $\C[S]=\C[t^{d_1},...,t^{d_ν}]$ the semigroup ring of $S$. We study the ring of differential operators on $\C[S]$, and its associated graded in the filtration induced by the order of the differential operators. We find that these are easy to describe in case $S$ is a so called Arf semigroup. If $I$ is an ideal in $\C[S]$ that is generated by monomials, we also give some results on $\der(I,I)$ (the set of derivations which map $I$ into $I$).
We consider the question of when a semigroup is the semigroup of a valuation dominating a two dimensional noetherian local domain, giving some surprising examples. We give a necessary and sufficient condition for the pair of a semigroup S and a field extension L/k to be the semigroup and residue field of a valaution dominating a regular local ring R of dimension two with residue field k, generalizing the theorem of Spivakovsky for the case when there is no residue field extension.
Let (R, m) be the semigroup ring associated to a numerical semigroup S. In this paper we study the property of its associated graded ring G(m) to be Complete Intersection. In particular, we introduce and characterise beta-rectangular and gamma-rectangular Apéry sets, which will be the fundamental concepts of the paper and will provide, respectively, a sufficient condition and a characterisation for G(m) to be Complete Intersection. Then we use these notions to give four equivalent conditions for G(m) in order to be Complete Intersection.
Let (R;m) be a numerical semigroup ring. In this paper we study the properties of its associated graded ring G(m). In particular, we describe the H^0_M for G(m) (where M is the homogeneous maximal ideal of G(m)) and we characterize when G(m) is Buchsbaum. Furthermore, we find the length of H^0_M as a G(m)-module, when G(m) is Buchsbaum. In the 3-generated numerical semigroup case, we describe the H^0_M in term of the Apery set of the numerical semigroup associated to R. Finally, we improve two characterizations of the Cohen-Macaulayness and Gorensteinness of G(m) given in [2] and [3], respecti…
Through examples, we illustrate how to compute differential operators on a quotient of an affine semigroup ring by a radical monomial ideal, when working over an algebraically closed field of characteristic 0.
The Goto number of a parameter ideal Q in a Noetherian local ring (R,m) is the largest integer q such that Q : m^q is integral over Q. The Goto numbers of the monomial parameter ideals of R = k[[x^{a_1}, x^{a_2},..., x_{a_ν}]] are characterized using the semigroup of R. This helps in computing them for classes of numerical semigroup rings, as well as on a case-by-case basis. The minimal Goto number of R and its connection to other invariants is explored. Necessary and sufficient conditions for the associated graded rings of R and R/x^{a_1}R to be Gorenstein are also given, again using the semi…
For some numerical semigroup rings of small embedding dimension, namely those of embedding dimension 3, and symmetric or pseudosymmetric of embedding dimension 4, presentations has been determined in the literature. We extend these results by giving the whole graded minimal free resolutions explicitly. Then we use these resolutions to determine some invariants of the semigroups and certain interesting relations among them. Finally, we determine semigroups of small embedding dimensions which have strongly indispensable resolutions.
In this paper the question of which semigroups are realizable as the semigroup of values attained on a Noetherian local ring which is dominated by a valuation is considered. We give some striking examples, indicating that there may be no constraints on the semigroup beyond those known classically.
This paper studies Young diagrams of symmetric and pseudo-symmetric numerical semigroups and describes new operations on Young diagrams as well as numerical semigroups. These provide new decompositions of symmetric and pseudo-symmetric semigroups into an over semigroup and its dual. It is also given exactly for what kind of numerical semigroup $S$, the semigroup ring $\Bbbk[\![S]\!]$ has at least one Gorenstein subring and has at least one Kunz subring.
In this paper we study the Hilbert function HR of one-dimensional semigroup rings R = k[[S]]. For some classes of semigroups, by means of the notion of support of the elements in S, we give conditions on the generators of S in order to have decreasing HR. When the embedding dimension v and the multiplicity e verify v + 3 ? e ? v + 4, the decrease of HR gives explicit description of the Apery set of S. In particular for e = v+3, we classify the semigroups with e = 13 and HR decreasing, further we show that HR is non-decreasing if e < 12. Finally we deduce that HR is non-decreasing for every Gor…
In this paper we describe the structure of the tangent cone of a numerical semigroup ring $A=k[[S]] \subseteq k[[t]]$ with multiplicity $e$ (as a module over the Noether normalization determined by the fiber cone of the ideal generated by $t^e$) in terms of some classical invariants of the corresponding numerical semigroup. Explicit computations are also made by using the GAP system.
Let $H=\langle n_1, \ldots ,n_4\rangle$ be a numerical semigroup generated by $4$ elements, which is symmetric and let $k[H]$ be the semigroup ring of $H$ over a field $k$. H. Bresinski proved that the defining ideal of $k[H]$ is minimally generated by $3$ or $5$ elements. We give a new short proof of Bresinski's Theorem using the structure theorem of Buchsbaum and Eisenbud on the minimal free resolution of Gorenstein rings of embedding codimension $3$.
Irreducible decompositions of monomial ideals in polynomial rings over a field are well-understood. In this paper, we investigate decompositions in the set of monomial ideals in the semigroup ring A[\mathbb{R}_{\geq 0}^d] where A is an arbitrary commutative ring with identity. We classify the irreducible elements of this set, which we call m-irreducible, and we classify the elements that admit decompositions into finite intersections of m-irreducible ideals.
Let $R=k[|t^a,t^b,t^c|]$ be a complete intersection numerical semigroup ring over an infinite field $k$, where $a,b,c\in\BN$. The generalized Loewy length, which is Auslander's index in this case, is computed in terms of the minimal generators of the semigroup: $a,b$ and $c$. Examples provided show that the left hand side of Ding's inequality $\mult(R)-\inde(R)-\codim(R)+1\geq 0$ can be made arbitrarily large for rings $R$ with $\edim(R)=3$ . The index of a complete intersection numerical semigroup ring with embedding dimension greater than three is also computed.
In this paper, we give new characterizations of the Buchsbaum and Cohen-Macaulay properties of the tangent cone $\gr_\frakm(R)$, where $(R,\frakm)$ is a numerical semigroup ring of embedding dimension 3. In particular, we confirm the conjectures raised by Sapko on the Buchsbaumness of $\gr_\frakm(R)$.
The trace of the canonical module of a Cohen-Macaulay ring describes its non-Gorenstein locus. We study the trace of the canonical module of a Segre product of algebras, and we apply our results to compute the non-Gorenstein locus of toric rings. We provide several sufficient and necessary conditions for Hibi rings and normal semigroup rings to be Gorenstein on the punctured spectrum.
We construct a minimal free resolution of the semigroup ring k[C] in terms of minimal resolutions of k[A] and k[B] when <C> is a numerical semigroup obtained by gluing two numerical semigroups <A> and <B>. Using our explicit construction, we compute the Betti numbers, graded Betti numbers, regularity and Hilbert series of k[C], and prove that the minimal free resolution of k[C] has a differential graded algebra structure provided the resolutions of k[A] and k[B] possess them. We discuss the consequences of our results in small embedding dimensions. Finally, we give an extension of our main res…
The class of good semigroups is a class of subsemigroups of $N^h$, that includes the value semigroups of rings associated to curve singularities and their blowups, and allows to study combinatorically the properties of these rings. In this paper we give a characterization of almost symmetric good subsemigroups of $N^h$, extending known results in numerical semigroup theory and in one-dimensional ring theory, and we apply these results to obtain new results on almost Gorenstein one-dimensional analytically unramified rings.
In a paper in 2008, Herzog, Hibi and Ohsugi introduced and studied the semigroup ring associated to the set of minimal vertex covers of an unmixed bipartite graph. In this paper we relate the dimension of this semigroup ring to the rank of the Boolean lattice associated to the graph.
We give a combinatorial description of local cohomology modules of a graded module over a semigroup ring, with support at the graded maximal ideal. This combinatorial framework yields Hochster-type formulas for the Hilbert series of such local cohomology modules in terms of the homology of finitely many polyhedral cell complexes. A Cohen--Macaulay criterion immediately follows. We also provide an alternative proof of a result of [18] characterizing Cohen--Macaulay affine semigroup rings.
Let $a$ and $b$ be two coprime positive integers and $k$ an arbitrary field. We determine the ring structure of the Hochschild cohomology of the numerical semigroup algebras $k[s^{a},s^{b}]$ of embedding dimension two (thus also complete intersections) in terms of generators and relations. In addition, we compute the Hilbert series for this cohomology ring.
In this work we describe the local cohomology of reflexive modules of rank one over normal semigroup rings with respect to monomial ideals. Using our description we show that the problem of classifying maximal Cohen-Macaulay modules of rank one can be rephrased in terms of finding integral solutions to certain sets of linear inequalities.
In this note we characterize the affine semigroup rings K[S] over an arbitrary field K that satisfy condition R_l of Serre. Our characterization is in terms of the face lattice of the positive cone pos(S) of S. We start by reviewing some basic facts about the faces of pos(S) and consequences for the monomial primes of K[S]. After proving our characterization we turn our attention to the Rees algebras of a special class of monomial ideals in a polynomial ring over a field. In this special case, some of the characterizing criteria are always satisfied. We give examples of nonnormal affine semigr…
We extend the notion of standard pairs to the context of monomial ideals in semigroup rings. Standard pairs can be used as a data structure to encode such monomial ideals, providing an alternative to generating sets that is well suited to computing intersections, decompositions, and multiplicities. We give algorithms to compute standard pairs from generating sets and vice versa and make all of our results effective. We assume that the underlying semigroup ring is positively graded, but not necessarily normal. The lack of normality is at the root of most challenges, subtleties, and innovations …
