-
Symmetric decomposition of the Hilbert function of an ideal
Authors:
Meghana Bhat,
Saipriya Dubey,
Shreedevi K. Masuti
Abstract:
Let $(R, \mathcal{M})$ be a local ring over a field $k$ with $k = R/\mathcal M$ and $J$ an ideal in $R$ such that $A =R/J$ is an Artinian Gorenstein (AG) $k$-algebra. In 1989, A. Iarrobino introduced the symmetric decomposition of the Hilbert function of $A$. This became a very powerful tool for classifying the Hilbert functions of AG $k$-algebras. In this article, we introduce the symmetric decom…
▽ More
Let $(R, \mathcal{M})$ be a local ring over a field $k$ with $k = R/\mathcal M$ and $J$ an ideal in $R$ such that $A =R/J$ is an Artinian Gorenstein (AG) $k$-algebra. In 1989, A. Iarrobino introduced the symmetric decomposition of the Hilbert function of $A$. This became a very powerful tool for classifying the Hilbert functions of AG $k$-algebras. In this article, we introduce the symmetric decomposition of the Hilbert function of any ideal $I$ in $A.$ Our hope is that this result will be useful in classifying the possible Hilbert function of an ideal in an AG $k$-algebra. We illustrate this by giving a complete list of $2$-admissible sequences of length at most $3$ and with $h_0=2$ that are realizable by an ideal in an AG $k$-algebra.
△ Less
Submitted 27 March, 2025;
originally announced March 2025.
-
Artinian Gorenstein algebras with binomial Macaulay dual generator
Authors:
Nasrin Altafi,
Rodica Dinu,
Sara Faridi,
Shreedevi K. Masuti,
Rosa M. Miró-Roig,
Alexandra Seceleanu,
Nelly Villamizar
Abstract:
This paper initiates a systematic study for key properties of Artinian Gorenstein \(K\)-algebras having binomial Macaulay dual generators. In codimension 3, we demonstrate that all such algebras satisfy the strong Lefschetz property, can be constructed as a doubling of an appropriate 0-dimensional scheme in \(\mathbb{P}^2\), and we provide an explicit characterization of when they form a complete…
▽ More
This paper initiates a systematic study for key properties of Artinian Gorenstein \(K\)-algebras having binomial Macaulay dual generators. In codimension 3, we demonstrate that all such algebras satisfy the strong Lefschetz property, can be constructed as a doubling of an appropriate 0-dimensional scheme in \(\mathbb{P}^2\), and we provide an explicit characterization of when they form a complete intersection. For arbitrary codimension, we establish sufficient conditions under which the weak Lefschetz property holds and show that these conditions are optimal.
△ Less
Submitted 25 February, 2025;
originally announced February 2025.
-
New families of Artinian Gorenstein algebras with the weak Lefschetz property
Authors:
Nasrin Altafi,
Rodica Dinu,
Shreedevi K. Masuti,
Rosa M. Miró-Roig,
Alexandra Seceleanu,
Nelly Villamizar
Abstract:
We construct new families of Artinian Gorenstein graded $K$-algebras of arbitrary codimension having binomial Macaulay dual generators and satisfying the weak or the strong Lefschetz property. This is a companion paper to \cite{ADFMMSV}, which studies codimension three algebras having binomial Macaulay dual generators in great depth, establishing in particular that they enjoy the strong Lefschetz…
▽ More
We construct new families of Artinian Gorenstein graded $K$-algebras of arbitrary codimension having binomial Macaulay dual generators and satisfying the weak or the strong Lefschetz property. This is a companion paper to \cite{ADFMMSV}, which studies codimension three algebras having binomial Macaulay dual generators in great depth, establishing in particular that they enjoy the strong Lefschetz property.
△ Less
Submitted 23 February, 2025;
originally announced February 2025.
-
Hilbert-Kunz multiplicity of powers of ideals in dimension two
Authors:
Alessandro De Stefani,
Shreedevi K. Masuti,
Maria Evelina Rossi,
Jugal K. Verma
Abstract:
We study the behavior of the Hilbert-Kunz multiplicity of powers of an ideal in a local ring. In dimension two, we provide answers to some problems raised by Smirnov, and give a criterion to answer one of his questions in terms of a "Ratliff-Rush version" of the Hilbert-Kunz multiplicity.
We study the behavior of the Hilbert-Kunz multiplicity of powers of an ideal in a local ring. In dimension two, we provide answers to some problems raised by Smirnov, and give a criterion to answer one of his questions in terms of a "Ratliff-Rush version" of the Hilbert-Kunz multiplicity.
△ Less
Submitted 20 April, 2025; v1 submitted 10 December, 2024;
originally announced December 2024.
-
On Gorensteiness of associated graded rings of filtrations
Authors:
Meghana Bhat,
Saipriya Dubey,
Shreedevi K. Masuti,
Tomohiro Okuma,
Jugal K. Verma,
Kei-ichi Watanabe,
Ken-ichi Yoshida
Abstract:
Let $(A, \mathfrak{m})$ be a Gorenstein local ring, and $\mathcal{F} =\{F_n \}_{n\in \mathbb{Z}}$ a Hilbert filtration. In this paper, we give a criterion for Gorensteinness of the associated graded ring of $\mathcal{F}$ in terms of the Hilbert coefficients of $\mathcal{F}$ in some cases. As a consequence we recover and extend a result proved by Okuma, Watanabe and Yoshida. Further, we present rin…
▽ More
Let $(A, \mathfrak{m})$ be a Gorenstein local ring, and $\mathcal{F} =\{F_n \}_{n\in \mathbb{Z}}$ a Hilbert filtration. In this paper, we give a criterion for Gorensteinness of the associated graded ring of $\mathcal{F}$ in terms of the Hilbert coefficients of $\mathcal{F}$ in some cases. As a consequence we recover and extend a result proved by Okuma, Watanabe and Yoshida. Further, we present ring-theoretic properties of the normal tangent cone of the maximal ideal of $A=S/(f)$ where $S=K[\![x_0,x_1,\ldots, x_m]\!]$ is a formal power series ring over an algebraically closed field $K$, and $f=x_0^a-g(x_1,\ldots,x_m)$, where $g$ is a polynomial with $g \in (x_1,\ldots,x_m)^b \setminus (x_1,\ldots,x_m)^{b+1}$, and $a, \, b, \, m$ are integers. We show that the normal tangent cone $\overline{G}(\mathfrak{m})$ is Cohen-Macaulay if $A$ is normal and $a \le b$. Moreover, we give a criterion of the Gorensteinness of $\overline{G}(\mathfrak{m})$.
△ Less
Submitted 11 October, 2024; v1 submitted 22 April, 2024;
originally announced April 2024.
-
On the Hilbert function of Artinian local complete intersections of codimension three
Authors:
Joachim Jelisiejew,
Shreedevi K. Masuti,
M. E. Rossi
Abstract:
In singularity theory or algebraic geometry, it is natural to investigate possible Hilbert functions for special algebras $A$ such as local complete intersections or more generally Gorenstein algebras. The sequences that occur as {the} Hilbert functions of standard graded complete intersections are well understood classically thanks to Macaulay and Stanley. Very little is known in the local case e…
▽ More
In singularity theory or algebraic geometry, it is natural to investigate possible Hilbert functions for special algebras $A$ such as local complete intersections or more generally Gorenstein algebras. The sequences that occur as {the} Hilbert functions of standard graded complete intersections are well understood classically thanks to Macaulay and Stanley. Very little is known in the local case except in codimension two. In this paper we characterise the Hilbert functions of quadratic Artinian complete intersections of codimension three. Interestingly we prove that a Hilbert function is admissible for such a Gorenstein ring if and only if is admissible for such a complete intersection. We provide an effective construction of a local complete intersection for a given Hilbert function. We prove that the symmetric decomposition of such a complete intersection ideal is determined by its Hilbert function.
△ Less
Submitted 1 August, 2023; v1 submitted 8 February, 2022;
originally announced February 2022.
-
The Waring rank of binary binomial forms
Authors:
Laura Brustenga i Moncusí,
Shreedevi K. Masuti
Abstract:
We give an explicit formula for the Waring rank of every binary binomial form with complex coefficients. We give several examples to illustrate this, and compare the Waring rank and the real Waring rank for binary binomial forms.
We give an explicit formula for the Waring rank of every binary binomial form with complex coefficients. We give several examples to illustrate this, and compare the Waring rank and the real Waring rank for binary binomial forms.
△ Less
Submitted 29 June, 2021;
originally announced June 2021.
-
On the structure of the Sally module and the second normal Hilbert coefficient
Authors:
Shreedevi K. Masuti,
Kazuho Ozeki,
Maria Evelina Rossi,
Hoang Le Truong
Abstract:
The Hilbert coefficients of the normal filtration give important geometric information on the base ring like the pseudo-rationality. The Sally module was introduced by W.V. Vasconcelos and it is useful to connect the Hilbert coefficients to the homological properties of the associated graded module of a Noetherian filtration. In this paper we give a complete structure of the Sally module in the ca…
▽ More
The Hilbert coefficients of the normal filtration give important geometric information on the base ring like the pseudo-rationality. The Sally module was introduced by W.V. Vasconcelos and it is useful to connect the Hilbert coefficients to the homological properties of the associated graded module of a Noetherian filtration. In this paper we give a complete structure of the Sally module in the case the second normal Hilbert coefficient attains almost minimal value in an analytically unramified Cohen-Macaulay local ring. As a consequence, in this case we present a complete description of the Hilbert function of the associated graded ring of the normal filtration. A deep analysis of the vanishing of the third Hilbert coefficient has been necessary. This study is related to a long-standing conjecture stated by S. Itoh.
△ Less
Submitted 25 March, 2019;
originally announced March 2019.
-
On the Waring rank of binary forms: The binomial formula and a dihedral cover of rank two forms
Authors:
Laura Brustenga i Moncusí,
Shreedevi K. Masuti
Abstract:
Waring problem for forms is important and classical in mathematics. It has been widely investigated because of its wide applications in several areas. In this paper, we consider the Waring problem for binary forms with complex coefficients. Firstly, we give an explicit formula for the Waring rank of any binary binomial and several examples to illustrating it. Secondly, we prove that, up to scalar…
▽ More
Waring problem for forms is important and classical in mathematics. It has been widely investigated because of its wide applications in several areas. In this paper, we consider the Waring problem for binary forms with complex coefficients. Firstly, we give an explicit formula for the Waring rank of any binary binomial and several examples to illustrating it. Secondly, we prove that, up to scalar multiplication, there are exactly $\binom{d-1}{2}$ binary forms of degree $d$ with Waring rank two and multiple of three fixed distinct linear forms.
△ Less
Submitted 24 January, 2019;
originally announced January 2019.
-
A filtration of the Sally module and the First normal Hilbert Coefficient
Authors:
Shreedevi K. Masuti,
Kazuho Ozeki,
Maria Evelina Rossi
Abstract:
The Sally module of an ideal is an important tool to interplay between Hilbert coefficients and the properties of the associated graded ring. In this paper we give new insights on the structure of the Sally module. We apply these results characterizing the almost minimal value of the first Hilbert coefficient in the case of the normal filtration in an analytically unramified Cohen-Macaulay local r…
▽ More
The Sally module of an ideal is an important tool to interplay between Hilbert coefficients and the properties of the associated graded ring. In this paper we give new insights on the structure of the Sally module. We apply these results characterizing the almost minimal value of the first Hilbert coefficient in the case of the normal filtration in an analytically unramified Cohen-Macaulay local ring.
△ Less
Submitted 18 November, 2017;
originally announced November 2017.
-
The Structure of the Inverse System of Level $K$-Algebras
Authors:
Shreedevi K. Masuti,
Laura Tozzo
Abstract:
Macaulay's inverse system is an effective method to construct Artinian K-algebras with additional properties like, Gorenstein, level, more generally with any socle type. Recently, Elias and Rossi gave the structure of the inverse system of $d$-dimensional Gorenstein K-algebras for any $d>0$. In this paper we extend their result by establishing a one-to-one correspondence between $d$-dimensional le…
▽ More
Macaulay's inverse system is an effective method to construct Artinian K-algebras with additional properties like, Gorenstein, level, more generally with any socle type. Recently, Elias and Rossi gave the structure of the inverse system of $d$-dimensional Gorenstein K-algebras for any $d>0$. In this paper we extend their result by establishing a one-to-one correspondence between $d$-dimensional level K-algebras and certain submodules of the divided power ring. We give several examples to illustrate our result.
△ Less
Submitted 5 August, 2017;
originally announced August 2017.
-
On the finiteness of the set of Hilbert coefficients
Authors:
Shreedevi K. Masuti,
Kumari Saloni
Abstract:
Let $(R,m)$ be a Noetherian local ring of dimension $d$ and $K,Q$ be $m$-primary ideals in $R.$ In this paper we study the finiteness properties of the sets $Λ_i^K(R):=\{g_i^K(Q): Q$ is a parameter ideal of $R\},$ where $g_i^K(Q)$ denotes the Hilbert coefficients of $Q$ with respect to $K,$ for $1 \leq i \leq d.$ We prove that $Λ_i^K(R)$ is finite for all $1\leq i \leq d$ if and only if $R$ is gen…
▽ More
Let $(R,m)$ be a Noetherian local ring of dimension $d$ and $K,Q$ be $m$-primary ideals in $R.$ In this paper we study the finiteness properties of the sets $Λ_i^K(R):=\{g_i^K(Q): Q$ is a parameter ideal of $R\},$ where $g_i^K(Q)$ denotes the Hilbert coefficients of $Q$ with respect to $K,$ for $1 \leq i \leq d.$ We prove that $Λ_i^K(R)$ is finite for all $1\leq i \leq d$ if and only if $R$ is generalized Cohen-Macaulay. Moreover, we show that if $R$ is unmixed then finiteness of the set $Λ_1^K(R)$ suffices to conclude that $R$ is generalized Cohen-Macaulay. We obtain partial results for $R$ to be Buchsbaum in terms of $|Λ_i^K(R)|=1.$ We also obtain a criterion for the set $Δ^K(R):=\{g_1^K(I): I$ is an m-primary ideal of $R\}$ to be finite, generalizing preceding results.
△ Less
Submitted 28 February, 2017; v1 submitted 25 February, 2017;
originally announced February 2017.
-
Artinian level algebras of socle degree 4
Authors:
Shreedevi K. Masuti,
Maria Evelina Rossi
Abstract:
In this paper we study the O-sequences of the local (or graded) $K$-algebras of socle degree $4.$ More precisely, we prove that an O-sequence $h=(1, 3, h_2, h_3, h_4)$, where $h_4 \geq 2,$ is the $h$-vector of a local level $K$-algebra if and only if $h_3\leq 3 h_4.$ We also prove that $h=(1, 3, h_2, h_3, 1)$ is the $h$-vector of a local Gorenstein $K$-algebra if and only if $h_3 \leq 3$ and…
▽ More
In this paper we study the O-sequences of the local (or graded) $K$-algebras of socle degree $4.$ More precisely, we prove that an O-sequence $h=(1, 3, h_2, h_3, h_4)$, where $h_4 \geq 2,$ is the $h$-vector of a local level $K$-algebra if and only if $h_3\leq 3 h_4.$ We also prove that $h=(1, 3, h_2, h_3, 1)$ is the $h$-vector of a local Gorenstein $K$-algebra if and only if $h_3 \leq 3$ and $h_2 \leq \binom{h_3+1}{2}+(3-h_3).$ In each of these cases we give an effective method to construct a local level $K$-algebra with a given $h$-vector. Moreover we refine a result by Elias and Rossi by showing that if $h=(1,h_1, h_2, h_3, 1)$ is an unimodal Gorenstein O-sequence, then $h$ forces the corresponding Gorenstein $K$-algebra to be canonically graded if and only if $h_1=h_3 $ and $h_2=\binom{h_1+1}{2}, $ that is the $h$-vector is maximal.
△ Less
Submitted 11 January, 2017;
originally announced January 2017.
-
Symbolic Blowup algebras and invariants of certain monomial curves in an affine space
Authors:
Clare D'Cruz,
Shreedevi K. Masuti
Abstract:
Let $d \geq 2$ and $m\geq 1$ be integers such that $\gcd (d,m)=1.$ Let ${\mathfrak p}$ be the defining ideal of the monomial curve in ${\mathbb A}_{ \Bbbk{k}}^d$ parametrized by $(t^{n_1}, \ldots, t^{n_d})$ where $n_i = d + (i-1)m$ for all $i = 1, \ldots, d$. In this paper, we describe the symbolic powers ${\mathfrak p}^{(n)} $ for all $n \geq 1$. As a consequence we show that the symbolic blowup…
▽ More
Let $d \geq 2$ and $m\geq 1$ be integers such that $\gcd (d,m)=1.$ Let ${\mathfrak p}$ be the defining ideal of the monomial curve in ${\mathbb A}_{ \Bbbk{k}}^d$ parametrized by $(t^{n_1}, \ldots, t^{n_d})$ where $n_i = d + (i-1)m$ for all $i = 1, \ldots, d$. In this paper, we describe the symbolic powers ${\mathfrak p}^{(n)} $ for all $n \geq 1$. As a consequence we show that the symbolic blowup algebras ${\mathcal R}_s{({\mathfrak p})}$ and $G_{s}({\mathfrak p}) $ are Cohen-Macaulay. This gives a positive answer to a question posed by S.~Goto in \cite{goto}. We also discuss when these blowup algebras are Gorenstein. Moreover, for $d=3$, considering ${\mathfrak p}$ as a weighted homogeneous ideal, we compute the resurgence, the Waldschmidt constant and the Castelnuovo-Mumford regularity of ${\mathfrak p}^{(n)}$ for all $n \geq 1$. The techniques of this paper for computing ${\mathfrak p}^{(n)}$ are new and we hope that these will be useful to study the symbolic powers of other prime ideals.
△ Less
Submitted 9 August, 2019; v1 submitted 12 October, 2016;
originally announced October 2016.
-
Variations on the Grothendieck-Serre Formula for Hilbert functions and their applications
Authors:
Shreedevi K. Masuti,
Parangama Sarkar,
J. K. Verma
Abstract:
In this expository paper we present proofs of Grothendieck-Serre Formula for multi-graded algebras and Rees algebras for admissible multi-graded filtrations. As applications, we derive formulas of Sally for postulation number of admissible filtrations and Hilbert coefficients. We also discuss a partial solution of Itoh's conjecture by Kummini and Masuti. We present an alternate proof of Huneke-Ooi…
▽ More
In this expository paper we present proofs of Grothendieck-Serre Formula for multi-graded algebras and Rees algebras for admissible multi-graded filtrations. As applications, we derive formulas of Sally for postulation number of admissible filtrations and Hilbert coefficients. We also discuss a partial solution of Itoh's conjecture by Kummini and Masuti. We present an alternate proof of Huneke-Ooishi Theorem and a generalisation for multi-graded filtrations.
△ Less
Submitted 6 March, 2016;
originally announced March 2016.
-
On conjectures of Itoh and of Lipman on the cohomology of normalized blow-ups
Authors:
Manoj Kummini,
Shreedevi K. Masuti
Abstract:
Let $(R, \mathfrak{m}, \Bbbk)$ be a Noetherian three-dimensional Cohen-Macaulay analytically unramified ring and $I$ an $\mathfrak{m}$-primary $R$-ideal. Write $X = \mathrm{Proj}\left(\oplus_{n \in \mathbb{N}} \overline{I^n}t^n\right)$. We prove some consequences of the vanishing of $\mathrm{H}^2(X, \mathscr{O}_X)$, whose length equals the the constant term $\bar e_3(I)$ of the normal Hilbert poly…
▽ More
Let $(R, \mathfrak{m}, \Bbbk)$ be a Noetherian three-dimensional Cohen-Macaulay analytically unramified ring and $I$ an $\mathfrak{m}$-primary $R$-ideal. Write $X = \mathrm{Proj}\left(\oplus_{n \in \mathbb{N}} \overline{I^n}t^n\right)$. We prove some consequences of the vanishing of $\mathrm{H}^2(X, \mathscr{O}_X)$, whose length equals the the constant term $\bar e_3(I)$ of the normal Hilbert polynomial of $I$. Firstly, $X$ is Cohen-Macaulay. Secondly, if the extended Rees ring $A := \oplus_{n \in \mathbb{Z}} \overline{I^n}t^n$ is not Cohen-Macaulay, and either $R$ is equicharacteristic or $\overline{I} = \mathfrak{m}$, then $\bar e_2(I) - \mathrm{length}_R\left(\frac{\overline{I^2}}{I\overline{I}}\right) \geq 3$; this estimate is proved using Boij-Söderberg theory of coherent sheaves on $\mathbb{P}^2_\Bbbk$. The two results above are related to a conjecture of S. Itoh (J. Algebra, 1992). Thirdly, $\mathrm{H}^2_E(X, I^m\mathscr{O}_X) = 0$ for all integers $m$, where $E$ is the exceptional divisor in $X$. Finally, if additionally $R$ is regular and $X$ is pseudo-rational, then the adjoint ideals $\widetilde{I^n}, n \geq 1$ satisfy $\widetilde{I^n} = I\widetilde{I^{n-1}}$ for all $n \geq 3$. The last two results are related to conjectures of J. Lipman (Math. Res. Lett., 1994).
△ Less
Submitted 13 July, 2015;
originally announced July 2015.
-
Rational homotopy of maps between certain complex Grassmann manifolds
Authors:
Prateep Chakraborty,
Shreedevi K. Masuti
Abstract:
Let $G_{n,k}$ denote the complex Grassmann manifold of $k$-dimensional vector subspaces of $\mathbb{C}^n$. Assume $l,k\le \lfloor n/2\rfloor$. We show that, for sufficiently large $n$, any continuous map $h:G_{n,l}\to G_{n,k}$ is rationally null homotopic if $(i)~ 1\le k< l,$ $(ii)~2<l<k< 2(l-1)$, $(iii)~1<l<k$, $l$ divides $n$ but $l$ does not divide $k$.
Let $G_{n,k}$ denote the complex Grassmann manifold of $k$-dimensional vector subspaces of $\mathbb{C}^n$. Assume $l,k\le \lfloor n/2\rfloor$. We show that, for sufficiently large $n$, any continuous map $h:G_{n,l}\to G_{n,k}$ is rationally null homotopic if $(i)~ 1\le k< l,$ $(ii)~2<l<k< 2(l-1)$, $(iii)~1<l<k$, $l$ divides $n$ but $l$ does not divide $k$.
△ Less
Submitted 13 May, 2016; v1 submitted 28 April, 2015;
originally announced April 2015.
-
Local Cohomology of Multi-Rees Algebras with Applications to Joint Reductions and Complete Ideals
Authors:
Shreedevi K. Masuti,
Tony J. Puthenpurakal,
J. K. Verma
Abstract:
In this paper, we obtain a generalization, in dimension $3$, of a theorem of David Rees about joint reductions of the bigraded filtration $\{ \overline{I^rJ^s}\}$ of complete ${\mathfrak m}$-primary ideals and vanishing of the second normal Hilbert coefficient $\overline{e}_2(IJ)$ where $R$ is a two-dimensional Cohen-Macaulay analytically unramified local ring with maximal ideal $\mathfrak m.$ Thi…
▽ More
In this paper, we obtain a generalization, in dimension $3$, of a theorem of David Rees about joint reductions of the bigraded filtration $\{ \overline{I^rJ^s}\}$ of complete ${\mathfrak m}$-primary ideals and vanishing of the second normal Hilbert coefficient $\overline{e}_2(IJ)$ where $R$ is a two-dimensional Cohen-Macaulay analytically unramified local ring with maximal ideal $\mathfrak m.$ This generalization is obtained as a consequence of a formula for the third local cohomology module of the extended Rees algebras of the $\mathbb Z^3$-graded filtration $\{\overline{I^rJ^sK^t}\}$ with support in the ideal $(x_1t_1,x_2t_2,x_3t_3)$ where $(x_1,x_2,x_3)$ is a good joint reduction of $\{\overline{I^rJ^sK^t}\}.$
△ Less
Submitted 6 July, 2014;
originally announced July 2014.
-
An extension of Rees theorem and two interpretations of a vector in the joint reduction lattice
Authors:
Clare D'Cruz,
Shreedevi K. Masuti
Abstract:
In \cite{rees} Rees gave a characterization for the normal joint reduction number zero of two $\m$-primary ideals in an analytically unramified Cohen-Macaulay local ring of dimension two.
Rees' result is a generalization of Zariski's product theorem for complete ideals in a regular local ring of dimension two.
The aim of this paper is to extend Rees' theorem for the ordinary powers of $\m$-pri…
▽ More
In \cite{rees} Rees gave a characterization for the normal joint reduction number zero of two $\m$-primary ideals in an analytically unramified Cohen-Macaulay local ring of dimension two.
Rees' result is a generalization of Zariski's product theorem for complete ideals in a regular local ring of dimension two.
The aim of this paper is to extend Rees' theorem for the ordinary powers of $\m$-primary ideals $I$ and $J$ in a Cohen-Macaulay local ring of dimension two.
Following Rees' approach,
we define the modified Koszul homology modules $M^1_{r,s}(a^k,b^k)$ for a joint reduction $(a,b)$ of $I$ and $J$.
Under the additional assumption that the associated graded rings of $I$ and $J$ have positive depth, we obtain a characterization of the joint reduction number zero of $I$ and $J$ in terms of the vanishing of the module $M^1_{0,0}(a,b)$, as well as in terms of the Hilbert coefficients and the bigraded Hilbert coefficients. More generally, we introduce the joint reduction lattice and study the vanishing of $M^1_{r,s}(a,b)$ for any $r, s \geq 0$. This gives a characterization for a vector $(r,s)$ to be in the joint reduction lattice of $I$ and $J$. We also give a cohomological interpretation of these theorems by investigating the local cohomology modules of the bigraded extended Rees algebra. This gives another characterization for a vector $(r,s)$ to be in the joint reduction lattice and also extends a recent result of Masuti and Verma in \cite{masuti-verma} for ordinary powers of ideals.
△ Less
Submitted 20 February, 2022; v1 submitted 7 May, 2014;
originally announced May 2014.
-
Local Cohomology of Bigraded Rees Algebras and Normal Hilbert Coefficients
Authors:
Shreedevi K. Masuti,
J. K. Verma
Abstract:
Let $(R,\m)$ be an analytically unramified Cohen-Macaulay local ring of dimension 2 with infinite residue field and $\ov{I}$ be the integral closure of an ideal $I$ in $R$. Necessary and sufficient conditions are given for $\ov{I^{r+1}J^{s+1}}=a\ov{I^rJ^{s+1}}+b\ov{I^{r+1}J^s}$ to hold ${for all}r \geq r_0{and}s \geq s_0$ in terms of vanishing of…
▽ More
Let $(R,\m)$ be an analytically unramified Cohen-Macaulay local ring of dimension 2 with infinite residue field and $\ov{I}$ be the integral closure of an ideal $I$ in $R$. Necessary and sufficient conditions are given for $\ov{I^{r+1}J^{s+1}}=a\ov{I^rJ^{s+1}}+b\ov{I^{r+1}J^s}$ to hold ${for all}r \geq r_0{and}s \geq s_0$ in terms of vanishing of $[H^2_{(at_1,bt_2)}(\ov{\mathcal{R}^\prime}(I,J))]_{(r_0,s_0)}$, where $a \in I,b \in J$ is a good joint reduction of the filtration $\{\ov{I^rJ^s}\}.$ This is used to derive a theorem due to Rees on normal joint reduction number zero. The vanishing of $\ov{e}_2(IJ)$ is shown to be equivalent to Cohen-Macaulayness of $\ov{\mathcal{R}}(I,J)$.
△ Less
Submitted 12 July, 2013;
originally announced July 2013.
-
Normal Hilbert Polynomials : A survey
Authors:
Mousumi Mandal,
Shreedevi Masuti,
J. K. Verma
Abstract:
We survey some of the major results about normal Hilbert polynomials of ideals. We discuss a formula due to Lipman for complete ideals in regular local rings of dimension two, theorems of Huneke, Itoh, Huckaba, Marley and Rees in Cohen-Macaulay analytically unramified local rings. We also discuss recent works of Goto-Hong-Mandal and Mandal-Singh-Verma concerning the positivity of the first coeffic…
▽ More
We survey some of the major results about normal Hilbert polynomials of ideals. We discuss a formula due to Lipman for complete ideals in regular local rings of dimension two, theorems of Huneke, Itoh, Huckaba, Marley and Rees in Cohen-Macaulay analytically unramified local rings. We also discuss recent works of Goto-Hong-Mandal and Mandal-Singh-Verma concerning the positivity of the first coefficient of the normal Hilbert polynomial in unmixed analytically unramified local rings. Results of Moral{é}s and Villarreal linking normal Hilbert polynomial of monomial ideals with Ehrhart polynomials of polytopes are also presented.
△ Less
Submitted 15 May, 2012;
originally announced May 2012.
