Showing 1–28 of 28 results for author: Srinivasan, H

The Betti Numbers of Kunz-Waldi Semigroups

Authors: Mario González-Sánchez, Srishti Singh, Hema Srinivasan

Abstract: Given two coprime numbers $p<q$, KW semigroups contain $p,q$ and are contained in $\langle p,q,r \rangle$ where $2r= p,q, p+q$ whichever is even. These semigroups were first introduced by Kunz and Waldi. Kunz and Waldi proved that all $KW$ semigroups of embedding dimension $n\geq 4$ have Cohen-Macaulay type $n-1$ and first Betti number ${n \choose 2}$. In this paper, we characterize KW semigroups… ▽ More Given two coprime numbers $p<q$, KW semigroups contain $p,q$ and are contained in $\langle p,q,r \rangle$ where $2r= p,q, p+q$ whichever is even. These semigroups were first introduced by Kunz and Waldi. Kunz and Waldi proved that all $KW$ semigroups of embedding dimension $n\geq 4$ have Cohen-Macaulay type $n-1$ and first Betti number ${n \choose 2}$. In this paper, we characterize KW semigroups whose defining ideal is generated by the $2\times 2$ minors of a $2\times n$ matrix. In addition, we identify all KW semigroups that lie on the interior of the same face of the Kunz cone $\mathcal C_p$ as a KW semigroup with determinantal defining ideal. Thus, we provide an explicit formula for the Betti numbers of all those KW semigroups. △ Less

Submitted 26 March, 2025; v1 submitted 20 March, 2025; originally announced March 2025.

MSC Class: 13D02; 13D05 (Primary); 20M14 (Secondary)

A Class of Numerical Semigroups Defined by Kunz and Waldi

Authors: Srishti Singh, Hema Srinivasan

Abstract: In this paper, we explore a class of numerical semigroups initiated by Kunz and Waldi containing two coprime numbers $p < q$, which we call KW semigroups. We characterize KW numerical semigroups by their principal matrices. We present a necessary and sufficient criterion for a matrix to be the principal matrix of a KW semigroup. An explicit description of the minimal resolutions of numerical semig… ▽ More In this paper, we explore a class of numerical semigroups initiated by Kunz and Waldi containing two coprime numbers $p < q$, which we call KW semigroups. We characterize KW numerical semigroups by their principal matrices. We present a necessary and sufficient criterion for a matrix to be the principal matrix of a KW semigroup. An explicit description of the minimal resolutions of numerical semigroups in the same class with small embedding dimensions 3 and 4 is given. We give a generalization of this notion to three dimensions using lattice paths under a plane and present some preliminary results and questions. △ Less

Submitted 3 May, 2024; v1 submitted 1 May, 2024; originally announced May 2024.

Comments: 19 pages, 6 figures

MSC Class: 13c05; 13c70; 13d02

Gluing And Splitting of Homogeneous Toric Ideals

Authors: Philippe Gimenez, Hema Srinivasan

Abstract: We show that any two homogeneous affine semigroups can be glued by embedding them suitably in a higher dimensional space. As a consequence, we show that the sum of their homogeneous toric ideals is again a homogeneous toric ideal, and that the minimal graded free resolution of the associated semigroup ring is the tensor product of the minimal resolutions of the two smaller parts. We apply our resu… ▽ More We show that any two homogeneous affine semigroups can be glued by embedding them suitably in a higher dimensional space. As a consequence, we show that the sum of their homogeneous toric ideals is again a homogeneous toric ideal, and that the minimal graded free resolution of the associated semigroup ring is the tensor product of the minimal resolutions of the two smaller parts. We apply our results to toric ideals associated to graphs to show how two of them can be a splitting of a toric ideal associated to a graph or an hypergraph. △ Less

Submitted 26 February, 2024; originally announced February 2024.

Comments: 21 pages, 3 figures

MSC Class: 13H10; 13A02; 13D02 20M14 20M25

Wilf Inequality is preserved under Gluing of Semigroups

Authors: Srishti Singh, Hema Srinivasan

Abstract: Wilf Conjecture on numerical semigroups is an inequality connecting the Frobenius number, embedding dimension and the genus of the semigroup. The conjecture is still open in general. We prove that the Wilf inequality is preserved under gluing of numerical semigroups. If the numerical semigroups minimally generated by $A = \{ a_1, \ldots, a_p\}$ and $B = \{ b_1, \ldots, b_q\}$ satisfy the Wilf ineq… ▽ More Wilf Conjecture on numerical semigroups is an inequality connecting the Frobenius number, embedding dimension and the genus of the semigroup. The conjecture is still open in general. We prove that the Wilf inequality is preserved under gluing of numerical semigroups. If the numerical semigroups minimally generated by $A = \{ a_1, \ldots, a_p\}$ and $B = \{ b_1, \ldots, b_q\}$ satisfy the Wilf inequality, then so does their gluing which is minimally generated by $C =k_1A\sqcup k_2B$. We discuss the extended Wilf's Conjecture in higher dimensions and prove an analogous result. △ Less

Submitted 16 June, 2023; originally announced June 2023.

MSC Class: 13F99; 13C99

On gluing semigroups in $\mathbb{N}^n$ and the consequences

Authors: Philippe Gimenez, Hema Srinivasan

Abstract: A semigroup $\langle C\rangle$ in $\mathbb{N}^n$ is a gluing of $\langle A\rangle$ and $\langle B\rangle$ if its finite set of generators $C$ splits into two parts, $C=k_1A\sqcup k_2B$ with $k_1,k_2\geq 1$, and the defining ideals of the corresponding semigroup rings satisfy that $I_C$ is generated by $I_A+I_B$ and one extra element. Two semigroups $\langle A\rangle$ and $\langle B\rangle$ can be… ▽ More A semigroup $\langle C\rangle$ in $\mathbb{N}^n$ is a gluing of $\langle A\rangle$ and $\langle B\rangle$ if its finite set of generators $C$ splits into two parts, $C=k_1A\sqcup k_2B$ with $k_1,k_2\geq 1$, and the defining ideals of the corresponding semigroup rings satisfy that $I_C$ is generated by $I_A+I_B$ and one extra element. Two semigroups $\langle A\rangle$ and $\langle B\rangle$ can be glued if there exist positive integers $k_1,k_2$ such that, for $C=k_1A\sqcup k_2B$, $\langle C\rangle$ is a gluing of $\langle A\rangle$ and $\langle B\rangle$. Although any two numerical semigroups, namely semigroups in dimension $n=1$, can always be glued, it is no longer the case in higher dimensions. In this paper, we give necessary and sufficient conditions on $A$ and $B$ for the existence of a gluing of $\langle A\rangle$ and $\langle B\rangle$, and give examples to illustrate why they are necessary. These generalize and explain the previous known results on existence of gluing. We also prove that the glued semigroup $\langle C\rangle$ inherits the properties like Gorenstein or Cohen-Macaulay from the two parts $\langle A\rangle$ and $\langle B\rangle$. △ Less

Submitted 2 February, 2022; originally announced February 2022.

MSC Class: 13D02; 13A02; 20M14; 20M25

Principal Matrices of Numerical Semigroups

Authors: Papri Dey, Hema Srinivasan

Abstract: Principal matrices of a numerical semigroup of embedding dimension n are special types of $n \times n$ matrices over integers of rank $\leq n - 1$. We show that such matrices and even the pseudo principal matrices of size n must have rank $\geq \frac{n}{2}$ regardless of the embedding dimension. We give structure theorems for pseudo principal matrices for which at least one $n - 1 \times n - 1$ pr… ▽ More Principal matrices of a numerical semigroup of embedding dimension n are special types of $n \times n$ matrices over integers of rank $\leq n - 1$. We show that such matrices and even the pseudo principal matrices of size n must have rank $\geq \frac{n}{2}$ regardless of the embedding dimension. We give structure theorems for pseudo principal matrices for which at least one $n - 1 \times n - 1$ principal minor vanish and thereby characterize the semigroups in embedding dimensions $4$ and $5$ in terms of their principal matrices. When the pseudo principal matrix is of rank $n - 1$, we give a sufficient condition for it to be principal. △ Less

Submitted 18 June, 2021; v1 submitted 31 December, 2020; originally announced December 2020.

Comments: 16 pages

An Upper Bound for the First Hilbert Coefficient of Gorenstein Algebras and Modules

Authors: Sabine El Khoury, Manoj Kummini, Hema Srinivasan

Abstract: Let $R$ be a polynomial ring over a field and $M= \bigoplus_n M_n$ a finitely generated graded $R$-module, minimally generated by homogeneous elements of degree zero with a graded $R$-minimal free resolution $\mathbf{F}$. A Cohen-Macaulay module $M$ is Gorenstein when the graded resolution is symmetric. We give an upper bound for the first Hilbert coefficient, $e_1$ in terms of the shifts in the g… ▽ More Let $R$ be a polynomial ring over a field and $M= \bigoplus_n M_n$ a finitely generated graded $R$-module, minimally generated by homogeneous elements of degree zero with a graded $R$-minimal free resolution $\mathbf{F}$. A Cohen-Macaulay module $M$ is Gorenstein when the graded resolution is symmetric. We give an upper bound for the first Hilbert coefficient, $e_1$ in terms of the shifts in the graded resolution of $M$. When $M = R/I$, a Gorenstein algebra, this bound agrees with the bound obtained in \cite{ES} in Gorenstein algebras with quasi-pure resolution. We conjecture a similar bound for the higher coefficients. △ Less

Submitted 30 December, 2020; v1 submitted 25 December, 2020; originally announced December 2020.

Comments: arXiv admin note: text overlap with arXiv:1211.1316

MSC Class: 13C99; 13D40

Gluing semigroups -- when and how

Authors: Philippe Gimenez, Hema Srinivasan

Abstract: Given two semigroups $\langle A\rangle$ and $\langle B\rangle$ in ${\mathbb N}^n$, we wonder when they can be glued, i.e., when there exists a semigroup $\langle C\rangle$ in ${\mathbb N}^n$ such that the defining ideals of the corresponding semigroup rings satisfy that $I_C=I_A+I_B+\langleρ\rangle$ for some binomial $ρ$. If $n\geq 2$ and $k[A]$ and $k[B]$ are Cohen-Macaulay, we prove that in orde… ▽ More Given two semigroups $\langle A\rangle$ and $\langle B\rangle$ in ${\mathbb N}^n$, we wonder when they can be glued, i.e., when there exists a semigroup $\langle C\rangle$ in ${\mathbb N}^n$ such that the defining ideals of the corresponding semigroup rings satisfy that $I_C=I_A+I_B+\langleρ\rangle$ for some binomial $ρ$. If $n\geq 2$ and $k[A]$ and $k[B]$ are Cohen-Macaulay, we prove that in order to glue them, one of the two semigroups must be degenerate. Then we study the two most degenerate cases: when one of the semigroups is generated by one single element (simple split) and the case where it is generated by at least two elements and all the elements of the semigroup lie on a line. In both cases we characterize the semigroups that can be glued and say how to glue them. Further, in these cases, we conclude that the glued $\langle C\rangle$ is Cohen-Macaulay if and only if both $\langle A\rangle$ and $\langle B\rangle$ are also Cohen-Macaulay. As an application, we characterize precisely the Cohen-Macaulay semigroups that can be glued when $n=2$. △ Less

Submitted 20 November, 2019; originally announced November 2019.

MSC Class: 20M14; 13H10

Positivity of Mixed Multiplicities of Filtrations

Authors: Steven Dale Cutkosky, Hema Srinivasan, Jugal Verma

Abstract: The theory of mixed multiplicities of filtrations by $m$-primary ideals in a ring is introduced in a recent paper by Cutkosky, Sarkar and Srinivasan. In this paper, we consider the positivity of mixed multiplicities of filtrations. We show that the mixed multiplicities of filtrations must be nonnegative real numbers and give examples to show that they could be zero or even irrational. When $R$ is… ▽ More The theory of mixed multiplicities of filtrations by $m$-primary ideals in a ring is introduced in a recent paper by Cutkosky, Sarkar and Srinivasan. In this paper, we consider the positivity of mixed multiplicities of filtrations. We show that the mixed multiplicities of filtrations must be nonnegative real numbers and give examples to show that they could be zero or even irrational. When $R$ is analytically irreducible, and $\mathcal I(1),\ldots,\mathcal I(r)$ are filtrations of $R$ by $m_R$-primary ideals, we show that all of the mixed multiplicities $e_R(\mathcal I(1)^{[d_1]},\ldots,\mathcal I(r)^{[d_r]};R)$ are positive if and only if the ordinary multiplicities $e_R(\mathcal I(i);R)$ for $1\le i\le r$ are positive. We extend this to modules and prove a simple characterization of when the mixed multiplicities are positive or zero on a finitely generated module. △ Less

Submitted 4 May, 2019; originally announced May 2019.

Comments: 15 pages

MSC Class: 13H15; 13A30

Mixed Multiplicities of Filtrations

Authors: Steven Dale Cutkosky, Parangama Sarkar, Hema Srinivasan

Abstract: In this paper we define and explore properties of mixed multiplicities of (not necessarily Noetherian) filtrations of $m_R$-primary ideals in a Noetherian local ring $R$, generalizing the classical theory for $m_R$-primary ideals. We construct a real polynomial whose coefficients give the mixed multiplicities. This polynomial exists if and only if the dimension of the nilradical of the completion… ▽ More In this paper we define and explore properties of mixed multiplicities of (not necessarily Noetherian) filtrations of $m_R$-primary ideals in a Noetherian local ring $R$, generalizing the classical theory for $m_R$-primary ideals. We construct a real polynomial whose coefficients give the mixed multiplicities. This polynomial exists if and only if the dimension of the nilradical of the completion of $R$ is less than the dimension of $R$, which holds for instance if $R$ is excellent and reduced. We show that many of the classical theorems for mixed multiplicities of $m_R$-primary ideals hold for filtrations, including the famous Minkowski inequalities of Teissier, and Rees and Sharp. △ Less

Submitted 22 January, 2019; v1 submitted 3 May, 2018; originally announced May 2018.

Comments: 25 pages Some some corrections are made in this final version

MSC Class: 13D40; 13H15; 14B99

The structure of the minimal free resolution of semigroup rings obtained by gluing

Authors: Philippe Gimenez, Hema Srinivasan

Abstract: 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… ▽ More 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 result to semigroups in N^n △ Less

Submitted 17 April, 2018; v1 submitted 19 October, 2017; originally announced October 2017.

MSC Class: 13D02; 20M25; 13A02; 20M14; 14H50

A note on the subadditivity of Syzygies

Authors: Sabine El Khoury, Hema Srinivasan

Abstract: Let $R=S/I$ be a graded algebra with $t_i$ and $T_i$ being the minimal and maximal shifts in the minimal $S$ resolution of $R$ at degree $i$. In this paper we prove that $t_n\leq t_1+T_{n-1}$, for all $n$ and as a consequence, we show that for Gorenstein algebras of codimension $h$, the subadditivity of maximal shifts $T_i$ in the minimal resolution holds for $i \geq h-1$, i.e, we show that… ▽ More Let $R=S/I$ be a graded algebra with $t_i$ and $T_i$ being the minimal and maximal shifts in the minimal $S$ resolution of $R$ at degree $i$. In this paper we prove that $t_n\leq t_1+T_{n-1}$, for all $n$ and as a consequence, we show that for Gorenstein algebras of codimension $h$, the subadditivity of maximal shifts $T_i$ in the minimal resolution holds for $i \geq h-1$, i.e, we show that $T_i \leq T_a+T_{i-a}$ for $i\geq h-1$. △ Less

Submitted 13 September, 2016; v1 submitted 5 February, 2016; originally announced February 2016.

Comments: 4 pages

MSC Class: 13D02

A note on Gorenstein monomial curves

Authors: Philippe Gimenez, Hema Srinivasan

Abstract: Let $k$ be an arbitrary field. In this note, we show that if a sequence of relatively prime positive integers ${\bf a}=(a_1,a_2,a_3,a_4)$ defines a Gorenstein non complete intersection monomial curve ${\mathcal C}({\bf a})$ in ${\mathbb A}_k^4$, then there exist two vectors ${\bf u}$ and ${\bf v}$ such that ${\mathcal C}({\bf a}+t{\bf u})$ and ${\mathcal C}({\bf a}+t{\bf v})$ are also Gorenstein n… ▽ More Let $k$ be an arbitrary field. In this note, we show that if a sequence of relatively prime positive integers ${\bf a}=(a_1,a_2,a_3,a_4)$ defines a Gorenstein non complete intersection monomial curve ${\mathcal C}({\bf a})$ in ${\mathbb A}_k^4$, then there exist two vectors ${\bf u}$ and ${\bf v}$ such that ${\mathcal C}({\bf a}+t{\bf u})$ and ${\mathcal C}({\bf a}+t{\bf v})$ are also Gorenstein non complete intersection affine monomial curves for almost all $t\geq 0$. △ Less

Submitted 9 September, 2015; v1 submitted 29 October, 2013; originally announced October 2013.

Journal ref: Bull. Braz. Math. Soc. (N.S.) 45 (2014), no. 4, 671-678

On the number of generators of ideals defining Gorenstein Artin algebras with Hilbert function $ (1,n+1, 1+{n+1\choose 2},...,{n+1\choose 2}+1, n+1,1)$

Authors: Sabine El Khoury, A. V. Jayanthan, Hema Srinivasan

Abstract: Let $R = k[w, x_1,..., x_n]/I$ be a graded Gorenstein Artin algebra . Then $I = \ann F$ for some $F$ in the divided power algebra $k_{DP}[W, X_1,..., X_n]$. If $RI_2$ is a height one idealgenerated by $n$ quadrics, then $I_2 \subset (w)$ after a possible change of variables. Let $J = I \cap k[x_1,..., x_n]$. Then $μ(I) \le μ(J)+n+1$ and $I$ is said to be generic if $μ(I) = μ(J) + n+1$. In this art… ▽ More Let $R = k[w, x_1,..., x_n]/I$ be a graded Gorenstein Artin algebra . Then $I = \ann F$ for some $F$ in the divided power algebra $k_{DP}[W, X_1,..., X_n]$. If $RI_2$ is a height one idealgenerated by $n$ quadrics, then $I_2 \subset (w)$ after a possible change of variables. Let $J = I \cap k[x_1,..., x_n]$. Then $μ(I) \le μ(J)+n+1$ and $I$ is said to be generic if $μ(I) = μ(J) + n+1$. In this article we prove necessary conditions, in terms of $F$, for an ideal to be generic. With some extra assumptions on the exponents of terms of $F$, we obtain a characterization for $I = \ann F$ to be generic in codimension four. △ Less

Submitted 3 April, 2013; v1 submitted 1 April, 2013; originally announced April 2013.

Comments: Third author's email address was incorrect in the first version. It has been corrected now

MSC Class: 13C05; 13H10

A note on the subadditivity problem for maximal shifts in free resolutions

Authors: Jürgen Herzog, Hema Srinivasan

Abstract: We present some partial results regarding subadditivity of maximal shifts in finite graded free resolutions. We present some partial results regarding subadditivity of maximal shifts in finite graded free resolutions. △ Less

Submitted 25 March, 2013; originally announced March 2013.

MSC Class: 13A02; 13D02

Bounds for the Multiplicity of Gorenstein algebras

Authors: Sabine El Khoury, Manoj Kummini, Hema Srinivasan

Abstract: We prove upper bounds for the Hilbert-Samuel multiplicity of standard graded Gorenstein algebras. The main tool that we use is Boij-Söderberg theory to obtain a decomposition of the Betti table of a Gorenstein algebra as the sum of rational multiples of symmetrized pure tables. Our bound agrees with the one in the quasi-pure case obtained by Srinivasan [J. Algebra, vol.~208, no.~2, (1998)]. We prove upper bounds for the Hilbert-Samuel multiplicity of standard graded Gorenstein algebras. The main tool that we use is Boij-Söderberg theory to obtain a decomposition of the Betti table of a Gorenstein algebra as the sum of rational multiples of symmetrized pure tables. Our bound agrees with the one in the quasi-pure case obtained by Srinivasan [J. Algebra, vol.~208, no.~2, (1998)]. △ Less

Submitted 6 November, 2012; originally announced November 2012.

MSC Class: 13H10; 13H15; 13D40

Periodic Occurance of Complete Intersection Monomial Curves

Authors: A. V. Jayanthan, Hema Srinivasan

Abstract: We study the complete intersection property of monomial curves in the family $Γ_{å+ \jj} = {(t^{a_0 + j}, t^{a_1+j},..., t^{a_n + j}) ~ | ~ j \geq 0, ~ a_0 < a_1 <...< a_n}$. We prove that if $Γ_{å+\jj}$ is a complete intersection for $j \gg0$, then $Γ_{å+\jj+\underline{a_n}}$ is a complete intersection for $j \gg 0$. This proves a conjecture of Herzog and Srinivasan on eventual periodicity of Bet… ▽ More We study the complete intersection property of monomial curves in the family $Γ_{å+ \jj} = {(t^{a_0 + j}, t^{a_1+j},..., t^{a_n + j}) ~ | ~ j \geq 0, ~ a_0 < a_1 <...< a_n}$. We prove that if $Γ_{å+\jj}$ is a complete intersection for $j \gg0$, then $Γ_{å+\jj+\underline{a_n}}$ is a complete intersection for $j \gg 0$. This proves a conjecture of Herzog and Srinivasan on eventual periodicity of Betti numbers of semigroup rings under translations for complete intersections. We also show that if $Γ_{å+\jj}$ is a complete intersection for $j \gg 0$, then $Γ_å$ is a complete intersection. We also characterize the complete intersection property of this family when $n = 3$. △ Less

Submitted 19 March, 2012; v1 submitted 8 March, 2012; originally announced March 2012.

Comments: 12 pages, added a reference which was missing in the earlier version

MSC Class: 13C40; 14H50

Gorenstein Hilbert Coefficients

Authors: Sabine El Khoury, Hema Srinivasan

Abstract: We prove upper and lower bounds for all the coefficients in the Hilbert Polynomial of a graded Gorenstein algebra $S=R/I$ with a quasi-pure resolution over $R$. The bounds are in terms of the minimal and the maximal shifts in the resolution of $R$ . These bounds are analogous to the bounds for the multiplicity found in \cite{S} and are stronger than the bounds for the Cohen Macaulay algebras found… ▽ More We prove upper and lower bounds for all the coefficients in the Hilbert Polynomial of a graded Gorenstein algebra $S=R/I$ with a quasi-pure resolution over $R$. The bounds are in terms of the minimal and the maximal shifts in the resolution of $R$ . These bounds are analogous to the bounds for the multiplicity found in \cite{S} and are stronger than the bounds for the Cohen Macaulay algebras found in \cite{HZ}. △ Less

Submitted 6 February, 2012; v1 submitted 26 January, 2012; originally announced January 2012.

Comments: 20 pages

Minimal Graded Free Resolutions for Monomial Curves Defined by Arithmetic Sequences

Authors: Philippe Gimenez, Indranath Sengupta, Hema Srinivasan

Abstract: Let $\mm=(m_0,...,m_n)$ be an arithmetic sequence, i.e., a sequence of integers $m_0<...<m_n$ with no common factor that minimally generate the numerical semigroup $\sum_{i=0}^{n}m_i\N$ and such that $m_i-m_{i-1}=m_{i+1}-m_i$ for all $i\in\{1,...,n-1\}$. The homogeneous coordinate ring $Γ_\mm$ of the affine monomial curve parametrically defined by $X_0=t^{m_0},...,X_n=t^{m_n}$ is a graded $R$-mo… ▽ More Let $\mm=(m_0,...,m_n)$ be an arithmetic sequence, i.e., a sequence of integers $m_0<...<m_n$ with no common factor that minimally generate the numerical semigroup $\sum_{i=0}^{n}m_i\N$ and such that $m_i-m_{i-1}=m_{i+1}-m_i$ for all $i\in\{1,...,n-1\}$. The homogeneous coordinate ring $Γ_\mm$ of the affine monomial curve parametrically defined by $X_0=t^{m_0},...,X_n=t^{m_n}$ is a graded $R$-module where $R$ is the polynomial ring $k[X_0,...,X_n]$ with the grading obtained by setting $°{X_i}:=m_i$. In this paper, we construct an explicit minimal graded free resolution for $Γ_\mm$ and show that its Betti numbers depend only on the value of $m_0$ modulo $n$. As a consequence, we prove a conjecture of Herzog and Srinivasan on the eventual periodicity of the Betti numbers of semigroup rings under translation for the monomial curves defined by an arithmetic sequence. △ Less

Submitted 16 August, 2011; originally announced August 2011.

Comments: 18 PAGES

MSC Class: 13D02; 13A02; 13C40

Minimal free resolutions for certain affine monomial curve

Authors: Philippe Gimenez, Indranath Sengupta, Hema Srinivasan

Abstract: Given an arbitrary field k and an arithmetic sequence of positive integers m_0<...<m_n, we consider the affine monomial curve parameterized by X_0=t^{m_0},...,X_n=t^{m_n}. In this paper, we conjecture that the Betti numbers of its coordinate ring are completely determined by n and the value of m_0 modulo n. We first show that the defining ideal of the monomial curve can be written as a sum of two… ▽ More Given an arbitrary field k and an arithmetic sequence of positive integers m_0<...<m_n, we consider the affine monomial curve parameterized by X_0=t^{m_0},...,X_n=t^{m_n}. In this paper, we conjecture that the Betti numbers of its coordinate ring are completely determined by n and the value of m_0 modulo n. We first show that the defining ideal of the monomial curve can be written as a sum of two determinantal ideals. Using this fact, we describe the minimal free resolution of the coordinate ring in the following three cases: when m_0 is 1 modulo n (determinantal), when m_0 is n modulo n (almost determinantal), and when m_0 is 2 modulo n and n=4 (Gorenstein of codimension 4). △ Less

Submitted 18 November, 2010; originally announced November 2010.

Comments: 9 pages. To appear in 'Commutative Algebra and its Connections to Geometry (PASI 2009)', Contemporary Mathematics, AMS

MSC Class: 13D02 (primary); 13A02; 13C40 (secondary)

Journal ref: Contemp. Math, 555 (2011) 87-95

On Unimodality of Hilbert Functions of Gorenstein Artin Algebras of Embedding Dimension Four

Authors: Sumi Seo, Hema Srinivasan

Abstract: We prove that the Hilbert functions of codimension four graded Gorenstein Artin algebras R/I are unimodal provided I has a minimal generator in degree less than five. It is an open question whether all Gorenstein h-vectors in codimension four are unimodal. In this paper, we prove that Hilbert functions of all artinian codimension four Gorenstein algebras starting with (1,4,10, 20, h_4,...), where… ▽ More We prove that the Hilbert functions of codimension four graded Gorenstein Artin algebras R/I are unimodal provided I has a minimal generator in degree less than five. It is an open question whether all Gorenstein h-vectors in codimension four are unimodal. In this paper, we prove that Hilbert functions of all artinian codimension four Gorenstein algebras starting with (1,4,10, 20, h_4,...), where h_4\leq 34 are unimodal. Combining this with the previously known results, we obtain that all Gorenstein h-vectors (1, h_1, h_2,h_3, h_4, ....) are unimodal if h_4\leq 3. △ Less

Submitted 11 November, 2010; originally announced November 2010.

Comments: 13 pages

MSC Class: 13A02

Finite Generation of Algebras Associated to Powers of Ideals

Authors: Steven Dale Cutkosky, Juergen Herzog, Hema Srinivasan

Abstract: We study generalized symbolic powers and form ideals of powers of ideals and compare their growth with the growth of ordinary powers, and we discuss the question of when the graded rings attached to symbolic powers or to form ideals of powers are finitely generated. We study generalized symbolic powers and form ideals of powers of ideals and compare their growth with the growth of ordinary powers, and we discuss the question of when the graded rings attached to symbolic powers or to form ideals of powers are finitely generated. △ Less

Submitted 10 June, 2008; v1 submitted 3 June, 2008; originally announced June 2008.

Comments: 17 pages. The only change in this version is to add new references

MSC Class: 13A30

Multiplicity of Codimension Three Almost Complete Intersections

Authors: Sumi Seo, Hema Srinivasan

Abstract: We establish the upper bound in the multiplicity conjecture of Herzog, Huneke and Srinivasan for the codimension three almost complete intersections. We also give some partial results in the case where I is the aci linked to a complete intersection in one step. We establish the upper bound in the multiplicity conjecture of Herzog, Huneke and Srinivasan for the codimension three almost complete intersections. We also give some partial results in the case where I is the aci linked to a complete intersection in one step. △ Less

Submitted 5 December, 2007; originally announced December 2007.

MSC Class: 13

Duality and Tameness

Authors: Marc Chardin, Steven Dale Cutkosky, Juergen Herzog, Hema Srinivasan

Abstract: We prove a duality theorem for certain graded algebras and show by various examples different kinds of failure of tameness of local cohomology. We prove a duality theorem for certain graded algebras and show by various examples different kinds of failure of tameness of local cohomology. △ Less

Submitted 1 April, 2007; originally announced April 2007.

Comments: 18 pages

MSC Class: 13D45; 13D25; 14F05

Factorizations of birational extensions of local rings

Authors: Steven Dale Cutkosky, Hema Srinivasan

Abstract: We give a proof of local strong factorization of a birational extension of regular local rings (of equicharacteristic zero) along a valuation of rank 1 and maximal rational rank. This gives an alternate proof to the geometric proof of this Theorem by Karu. Our proof uses only linear algebra, and is in the spirit of Christensen's proof of this result in dimension 3. We give a proof of local strong factorization of a birational extension of regular local rings (of equicharacteristic zero) along a valuation of rank 1 and maximal rational rank. This gives an alternate proof to the geometric proof of this Theorem by Karu. Our proof uses only linear algebra, and is in the spirit of Christensen's proof of this result in dimension 3. △ Less

Submitted 16 January, 2006; originally announced January 2006.

Comments: 12 pages

MSC Class: 13A; 13B; 14E

Betti Numbers and Degree Bounds for Some Linked Zero-Schemes

Authors: Leah Gold, Hal Schenck, Hema Srinivasan

Abstract: In their paper on multiplicity bounds (1998), Herzog and Srinivasan study the relationship between the graded Betti numbers of a homogeneous ideal I in a polynomial ring R and the degree of I. For certain classes of ideals, they prove a bound on the degree in terms of the largest and smallest Betti numbers, generalizing results of Huneke and Miller (1985). The bound is conjectured to hold in gen… ▽ More In their paper on multiplicity bounds (1998), Herzog and Srinivasan study the relationship between the graded Betti numbers of a homogeneous ideal I in a polynomial ring R and the degree of I. For certain classes of ideals, they prove a bound on the degree in terms of the largest and smallest Betti numbers, generalizing results of Huneke and Miller (1985). The bound is conjectured to hold in general; we study this using linkage. If R/I is Cohen-Macaulay, we may reduce to the case where I defines a zero-dimensional subscheme Y. If Y is residual to a zero-scheme Z of a certain type (low degree or points in special position), then we show that the conjecture is true for I_Y. △ Less

Submitted 26 October, 2005; originally announced October 2005.

Comments: 12 pages

MSC Class: 13D02; 14M06; 13H15

Artinian Gorenstein algebras of embedding dimension four: Components of PGor(H) for H=(1,4,7,..., 1)

Authors: Anthony Iarrobino, Hema Srinivasan

Abstract: We first determine all height four Gorenstein sequences beginning H=(1,4,7,...), and we show that their first differences satisfy $ΔH_{\le j/2}$ is an O-sequence. We then study the family PGor(H) parametrizing all graded Artinian Gorenstein [AG] quotients A=R/I of the polynomial ring R=K[w,x,y,z] having a Hilbert function H as above. We give a structure theorem for such AG quotients with… ▽ More We first determine all height four Gorenstein sequences beginning H=(1,4,7,...), and we show that their first differences satisfy $ΔH_{\le j/2}$ is an O-sequence. We then study the family PGor(H) parametrizing all graded Artinian Gorenstein [AG] quotients A=R/I of the polynomial ring R=K[w,x,y,z] having a Hilbert function H as above. We give a structure theorem for such AG quotients with $I_2\cong < wx,wy,wz>$. For most H this subfamily forms an irreducible component of PGor(H), and for a slightly more restrictive set, PGor(H) has several irreducible components. M. Boij and others had already shown that PGor(T) is reducible for certain Gorenstein sequences T in codimensions at least four. △ Less

Submitted 22 December, 2004; originally announced December 2004.

Comments: 29 pages. To appear Vasconcelos special issue of JPAA

MSC Class: 13E10; 13H10

Asymptotic behaviour of the length of local cohomology

Authors: Steven Dale Cutkosky, Huy Tai Ha, Hema Srinivasan, Emanoil Theodorescu

Abstract: Let k be a field of characteristic 0, R = k[x_1, ..., x_d] be a polynomial ring, and m its maximal homogeneous ideal. Let I be a homogeneous ideal in R. In this paper we investigate asymptotic behaviour of the quotient between the length of local cohomology group H^0_m(R/I^n) and n^d. We show that this quantity always has a limit as n goes to infinity. We also give an example for which the limit… ▽ More Let k be a field of characteristic 0, R = k[x_1, ..., x_d] be a polynomial ring, and m its maximal homogeneous ideal. Let I be a homogeneous ideal in R. In this paper we investigate asymptotic behaviour of the quotient between the length of local cohomology group H^0_m(R/I^n) and n^d. We show that this quantity always has a limit as n goes to infinity. We also give an example for which the limit is irrational; in particular, this proves that the length of H^0_m(R/I^n) is not asymptotically a polynomial in n. △ Less

Submitted 22 March, 2004; originally announced March 2004.

Comments: To appear in Canadian Journal of Mathematics. 13 pages

MSC Class: 13D40; 14B15; 13D45

Journal ref: Canadian J. Math. 57 (2005), no. 6, 1178-1192.