Showing 1–37 of 37 results for author: Verma, J K

On the core and adjoint of the product of complete ideals in two-dimensional regular local rings

Authors: Clare D'Cruz, Saipriya Dubey, Jugal K. Verma

Abstract: Using joint reductions of complete ideals, we find expressions for the core and adjoints of the product of complete ideals in a two-dimensional regular local ring. We also compute their colengths. Our results strengthen a generalization of the Briançon-Skoda theorem due to D. Rees and J. D. Sally. Using joint reductions of complete ideals, we find expressions for the core and adjoints of the product of complete ideals in a two-dimensional regular local ring. We also compute their colengths. Our results strengthen a generalization of the Briançon-Skoda theorem due to D. Rees and J. D. Sally. △ Less

Submitted 17 June, 2025; originally announced June 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.

Comments: minor fixes

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.

Comments: Comments are welcome

MSC Class: 13D40 (Primary); 13H10 (Secondary)

Computing epsilon multiplicities in graded algebras

Authors: Suprajo Das, Saipriya Dubey, Sudeshna Roy, Jugal K. Verma

Abstract: This article investigates the computational aspects of the $\varepsilon$-multiplicity. Primarily, we show that the $\varepsilon$-multiplicity of a homogeneous ideal $I$ in a two-dimensional standard graded domain of finite type over an algebraically closed field of arbitrary characteristic, is always a rational number. In this situation, we produce a formula for the $\varepsilon$-multiplicity of… ▽ More This article investigates the computational aspects of the $\varepsilon$-multiplicity. Primarily, we show that the $\varepsilon$-multiplicity of a homogeneous ideal $I$ in a two-dimensional standard graded domain of finite type over an algebraically closed field of arbitrary characteristic, is always a rational number. In this situation, we produce a formula for the $\varepsilon$-multiplicity of $I$ in terms of certain mixed multiplicities associated to $I$. In any dimension, under the assumptions that the saturated Rees algebra of $I$ is finitely generated, we give a different expression of the $\varepsilon$-multiplicity in terms of mixed multiplicities by using the Veronese degree. This enabled us to make various explicit computations of $\varepsilon$-multiplicities. We further write a Macaulay2 algorithm to compute $\varepsilon$-multiplicity (under the Noetherian hypotheses) even when the base ring is not necessarily standard graded. △ Less

Submitted 19 February, 2024; originally announced February 2024.

Comments: 29 pages

MSC Class: Primary 13H15; 13D45; 13A02; 13A30; Secondary 14C20

Computing mixed multiplicities, mixed volumes, and sectional Milnor numbers

Authors: Kriti Goel, Vivek Mukundan, Sudeshna Roy, J. K. Verma

Abstract: This is an expository version of our paper [arXiv:1902.07384]. Our aim is to present recent Macaulay2 algorithms for computation of mixed multiplicities of ideals in a Noetherian ring which is either local or a standard graded algebra over a field. These algorithms are based on computation of the equations of multi-Rees algebras of ideals that generalises a result of Cox, Lin and Sosa. Using these… ▽ More This is an expository version of our paper [arXiv:1902.07384]. Our aim is to present recent Macaulay2 algorithms for computation of mixed multiplicities of ideals in a Noetherian ring which is either local or a standard graded algebra over a field. These algorithms are based on computation of the equations of multi-Rees algebras of ideals that generalises a result of Cox, Lin and Sosa. Using these equations we propose efficient algorithms for computation of mixed volumes of convex lattice polytopes and sectional Milnor numbers of hypersurfaces with an isolated singularity. △ Less

Submitted 19 July, 2023; originally announced July 2023.

Comments: The manuscript is prepared for the volume based on the International Conference in Honor of Prof. Ravi S. Kulkarni's 80th Birthday on Geometry, Groups and Mathematical Philosophy. arXiv admin note: text overlap with arXiv:1902.07384

MSC Class: 13-04; 13A30; 13H15

Symbolic Rees algebras and set-theoretic complete intersections

Authors: Clare D'Cruz, Mousumi Mandal, J. K. Verma

Abstract: In this paper we extend a result of Cowsik on set-theoretic complete intersection and a result Huneke, Morales and Goto and Nishida about Noetherian symbolic Rees algebras of ideals. As applications, we show that the symbolic Rees algebras of the following ideals are Noetherian and the ideals are set-theoretic complete intersections: (a) the edge ideal of a complete graph, (b) the Fermat ideal and… ▽ More In this paper we extend a result of Cowsik on set-theoretic complete intersection and a result Huneke, Morales and Goto and Nishida about Noetherian symbolic Rees algebras of ideals. As applications, we show that the symbolic Rees algebras of the following ideals are Noetherian and the ideals are set-theoretic complete intersections: (a) the edge ideal of a complete graph, (b) the Fermat ideal and (c) the Jacobian ideal of a certain hyperplane arrangement. △ Less

Submitted 11 October, 2022; originally announced October 2022.

Comments: 16 pages

Associated graded rings of the filtration of tight closure of powers of parameter ideals

Authors: Saipriya Dubey, Jugal K. Verma

Abstract: Let $I$ be an ideal generated by a system of parameters in an excellent Cohen-Macaulay local domain. We show that the associated graded ring $G^*(I)$ of the filtration $\{(I^n)^*: n\in \mathbb{N}\}$ is Cohen-Macaulay. We prove that if $R$ is an excellent Buchsbaum local domain then $G^*(I)$ is a Buchsbaum module over the Rees ring $\mathcal R^*(I)=\oplus_{n\in \mathbb{N}}(I^n)^*.$ We provide quick… ▽ More Let $I$ be an ideal generated by a system of parameters in an excellent Cohen-Macaulay local domain. We show that the associated graded ring $G^*(I)$ of the filtration $\{(I^n)^*: n\in \mathbb{N}\}$ is Cohen-Macaulay. We prove that if $R$ is an excellent Buchsbaum local domain then $G^*(I)$ is a Buchsbaum module over the Rees ring $\mathcal R^*(I)=\oplus_{n\in \mathbb{N}}(I^n)^*.$ We provide quick proofs of well-known results of I. Aberbach, Huneke-Itoh and Huneke-Hochster about the filtration $\{(I^n)^*: n\in \mathbb{N}\}$ in excellent local domains. An important tool used in the proofs is a deep result due to M. Hochster and C. Huneke which states that the absolute integral closure of an excellent local domain is a big Cohen-Macaulay algebra. We compute the tight closure of $I^n$ where $I$ is generated by homogeneous system of parameters having the same degree $e$ in the hypersurface ring $R=\mathbb{F}_p[X_0,\ldots ,X_d]/(X_0^r+\cdots+X_d^r).$ In such cases we prove that $G^*(I)$ is Cohen-Macaulay. We provide conditions on $r, d, e$ for the Rees algebra $\mathcal R^*(I)$ to be Cohen-Macaulay. △ Less

Submitted 7 September, 2022; originally announced September 2022.

On the Hilbert-Samuel coefficients of Frobenius powers of an ideal

Authors: Arindam Banerjee, Kriti Goel, J. K. Verma

Abstract: We provide suitable conditions under which the asymptotic limit of the Hilbert-Samuel coefficients of the Frobenius powers of an $\mathfrak{m}$-primary ideal exists in a Noetherian local ring $(R,\mathfrak{m})$ with prime characteristic $p>0.$ This, in turn, gives an expression of the Hilbert-Kunz multiplicity of powers of the ideal. We also prove that for a face ring $R$ of a simplicial complex a… ▽ More We provide suitable conditions under which the asymptotic limit of the Hilbert-Samuel coefficients of the Frobenius powers of an $\mathfrak{m}$-primary ideal exists in a Noetherian local ring $(R,\mathfrak{m})$ with prime characteristic $p>0.$ This, in turn, gives an expression of the Hilbert-Kunz multiplicity of powers of the ideal. We also prove that for a face ring $R$ of a simplicial complex and an ideal $J$ generated by pure powers of the variables, the generalized Hilbert-Kunz function $\ell(R/(J^{[q]})^k)$ is a polynomial for all $q,k$ and also give an expression of the generalized Hilbert-Kunz multiplicity of powers of $J$ in terms of Hilbert-Samuel multiplicity of $J.$ We conclude by giving a counter-example to a conjecture proposed by I. Smirnov which connects the stability of an ideal with the asymptotic limit of the first Hilbert coefficient of the Frobenius power of the ideal. △ Less

Submitted 18 March, 2022; originally announced March 2022.

Comments: 16 pages

MSC Class: 13A30; 13C14; 13C15; 13D40; 13F55

Generalized Hilbert-Kunz function of the Rees algebra of the face ring of a simplicial complex

Authors: Arindam Banerjee, Kriti Goel, J. K. Verma

Abstract: Let $R$ be the face ring of a simplicial complex of dimension $d-1$ and ${\mathcal R}(\mathfrak{n})$ be the Rees algebra of the maximal homogeneous ideal $\mathfrak{n}$ of $R.$ We show that the generalized Hilbert-Kunz function $HK(s)=\ell({\mathcal R}(\mathfrak n)/(\mathfrak n, \mathfrak n t)^{[s]})$ is given by a polynomial for all large $s.$ We calculate it in many examples and also provide a M… ▽ More Let $R$ be the face ring of a simplicial complex of dimension $d-1$ and ${\mathcal R}(\mathfrak{n})$ be the Rees algebra of the maximal homogeneous ideal $\mathfrak{n}$ of $R.$ We show that the generalized Hilbert-Kunz function $HK(s)=\ell({\mathcal R}(\mathfrak n)/(\mathfrak n, \mathfrak n t)^{[s]})$ is given by a polynomial for all large $s.$ We calculate it in many examples and also provide a Macaulay2 code for computing $HK(s).$ △ Less

Submitted 1 March, 2021; v1 submitted 3 March, 2020; originally announced March 2020.

Comments: to appear in Commutative Algebra:150 years with Roger and Sylvia Wiegand, Contemporary Mathematics, Amer. Math. Soc

MSC Class: 13A30; 13D40; 13F55

Hilbert-Kunz function and Hilbert-Kunz multiplicity of some ideals of the Rees algebra

Authors: Kriti Goel, Mitra Koley, J. K. Verma

Abstract: We prove that the Hilbert-Kunz function of the ideal $(I,It)$ of the Rees algebra $\mathcal{R}(I)$, where $I$ is an $\mathfrak{m}$-primary ideal of a $1$-dimensional local ring $(R,\mathfrak{m})$, is a quasi-polynomial in $e$, for large $e.$ For $s \in \mathbb{N}$, we calculate the Hilbert-Samuel function of the $R$-module $I^{[s]}$ and obtain an explicit description of the generalized Hilbert-Kun… ▽ More We prove that the Hilbert-Kunz function of the ideal $(I,It)$ of the Rees algebra $\mathcal{R}(I)$, where $I$ is an $\mathfrak{m}$-primary ideal of a $1$-dimensional local ring $(R,\mathfrak{m})$, is a quasi-polynomial in $e$, for large $e.$ For $s \in \mathbb{N}$, we calculate the Hilbert-Samuel function of the $R$-module $I^{[s]}$ and obtain an explicit description of the generalized Hilbert-Kunz function of the ideal $(I,It)\mathcal{R}(I)$ when $I$ is a parameter ideal in a Cohen-Macaulay local ring of dimension $d \geq 2$, proving that the generalized Hilbert-Kunz function is a piecewise polynomial in this case. △ Less

Submitted 1 March, 2021; v1 submitted 10 November, 2019; originally announced November 2019.

Comments: Some changes in section 3, to appear in Communications in Algebra

MSC Class: 13A30; 13A35; 13D40

Algorithms for computing mixed multiplicities, mixed volumes and sectional Milnor numbers

Authors: Kriti Goel, Vivek Mukundan, Sudeshna Roy, J. K. Verma

Abstract: We present a package 'MixedMultiplicity' for computing mixed multiplicities of ideals in a Noetherian ring which is either local or a standard graded algebra over a field. This enables us to find mixed volumes of convex lattice polytopes and sectional Milnor numbers of hypersurfaces with an isolated singularity. The algorithms make use of the defining equations of the multi-Rees algebra of ideals,… ▽ More We present a package 'MixedMultiplicity' for computing mixed multiplicities of ideals in a Noetherian ring which is either local or a standard graded algebra over a field. This enables us to find mixed volumes of convex lattice polytopes and sectional Milnor numbers of hypersurfaces with an isolated singularity. The algorithms make use of the defining equations of the multi-Rees algebra of ideals, which are obtained by generalising a result of D. Cox. K.-N. Lin, and G. Sosa. △ Less

Submitted 28 July, 2022; v1 submitted 19 February, 2019; originally announced February 2019.

Comments: Vivek Mukundan joined as a new co-author. The package has improved significantly from its earlier version

MSC Class: Primary 13-04; 13A30; 13H15

Journal ref: J. Softw. Alg. Geom. 13 (2023) 1-12

On the Vanishing of the normal Hilbert coefficients of ideals

Authors: Kriti Goel, Vivek Mukundan, J. K. Verma

Abstract: Using vanishing of graded components of local cohomology modules of the Rees algebra of the normal filtration of an ideal, we give bounds on the normal reduction number. This helps to get necessary and sufficient conditions in Cohen-Macaulay local rings of dimension $d\geq 3$, for the vanishing of the normal Hilbert coefficients $\overline{e}_k(I)$ for $k\leq d,$ in terms of the normal reduction n… ▽ More Using vanishing of graded components of local cohomology modules of the Rees algebra of the normal filtration of an ideal, we give bounds on the normal reduction number. This helps to get necessary and sufficient conditions in Cohen-Macaulay local rings of dimension $d\geq 3$, for the vanishing of the normal Hilbert coefficients $\overline{e}_k(I)$ for $k\leq d,$ in terms of the normal reduction number. △ Less

Submitted 8 October, 2019; v1 submitted 18 January, 2019; originally announced January 2019.

Comments: Theorem 5.5 corrected, to appear in Journal of Ramanujan Mathematical Society

MSC Class: 13D40; 13D45

The Minkowski equality and inequality for multiplicity of ideals

Authors: Kriti Goel, R. V. Gurjar, J. K. Verma

Abstract: In this exposition of the equality and inequality of Minkowski for multiplicity of ideals, we provide simple algebraic and geometric proofs. Connections with mixed multiplicities of ideals are explained. In this exposition of the equality and inequality of Minkowski for multiplicity of ideals, we provide simple algebraic and geometric proofs. Connections with mixed multiplicities of ideals are explained. △ Less

Submitted 9 October, 2019; v1 submitted 17 July, 2018; originally announced July 2018.

Comments: 28 pages

MSC Class: 13D40; 14B05

Journal ref: Contemporary Mathematics, Vol. 738, 2019,33-56

Tight Closure of powers of ideals and tight Hilbert polynomials

Authors: Kriti Goel, Vivek Mukundan, J. K. Verma

Abstract: Let $(R,\mathfrak m)$ be an analytically unramified local ring of positive prime characteristic $p.$ For an ideal $I$, let $I^*$ denote its tight closure. We introduce the tight Hilbert function $H^*_I(n)=\ell(R/(I^n)^*)$ and the corresponding tight Hilbert polynomial $P_I^*(n)$ where $I$ is an $\mathfrak m$-primary ideal. It is proved that $F$-rationality can be detected by the vanishing of the f… ▽ More Let $(R,\mathfrak m)$ be an analytically unramified local ring of positive prime characteristic $p.$ For an ideal $I$, let $I^*$ denote its tight closure. We introduce the tight Hilbert function $H^*_I(n)=\ell(R/(I^n)^*)$ and the corresponding tight Hilbert polynomial $P_I^*(n)$ where $I$ is an $\mathfrak m$-primary ideal. It is proved that $F$-rationality can be detected by the vanishing of the first coefficient of $P_I^*(n).$ We find the tight Hilbert polynomial of certain parameter ideals in hypersurface rings and Stanley-Reisner rings of simplicial complexes. △ Less

Submitted 21 May, 2019; v1 submitted 19 June, 2018; originally announced June 2018.

Comments: 24 pages, to appear in Mathematical Proceedings of the Cambridge Philosophical Society

Journal ref: Math. Proc. Camb. Phil. Soc. 169 (2020) 335-355

Eakin-Sathaye type theorems for joint reductions and good filtrations of ideals

Authors: Kriti Goel, Sudeshna Roy, J. K. Verma

Abstract: Analogues of Eakin-Sathaye theorem for reductions of ideals are proved for ${\mathbb N}^s$-graded good filtrations. These analogues yield bounds on joint reduction vectors for a family of ideals and reduction numbers for $\mathbb N$-graded filtrations. Several examples related to lex-segment ideals, contracted ideals in $2$-dimensional regular local rings and the filtration of integral and tight c… ▽ More Analogues of Eakin-Sathaye theorem for reductions of ideals are proved for ${\mathbb N}^s$-graded good filtrations. These analogues yield bounds on joint reduction vectors for a family of ideals and reduction numbers for $\mathbb N$-graded filtrations. Several examples related to lex-segment ideals, contracted ideals in $2$-dimensional regular local rings and the filtration of integral and tight closures of powers of ideals in hypersurface rings are constructed to show effectiveness of these bounds. △ Less

Submitted 9 October, 2019; v1 submitted 19 June, 2018; originally announced June 2018.

Comments: 19 pages, minor corrections done

MSC Class: 13A30

Journal ref: Acta Mathematica Vietnamica (44)(2019),671-689

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.

Comments: 32 pages

Postulation and reduction vectors of multigraded filtrations of ideals

Authors: Parangama Sarkar, J. K. Verma

Abstract: We study relationship between postulation and reduction vectors of admissible multigraded filtrations $\mathcal F= \{\mathcal F (\underline n)\}_{\underline n\in\mathbb Z^s}$ of ideals in Cohen-Macaulay local rings of dimension at most two. This is enabled by a suitable generalisation of the Kirby-Mehran Complex. An analysis of its homology leads to an analogue of Huneke's Fundamental Lemma which… ▽ More We study relationship between postulation and reduction vectors of admissible multigraded filtrations $\mathcal F= \{\mathcal F (\underline n)\}_{\underline n\in\mathbb Z^s}$ of ideals in Cohen-Macaulay local rings of dimension at most two. This is enabled by a suitable generalisation of the Kirby-Mehran Complex. An analysis of its homology leads to an analogue of Huneke's Fundamental Lemma which plays a crucial role in our investigations. We also clarify the relationship between the Cohen-Macaulay property of the multigraded Rees algebra of $\mathcal F$ and reduction vectors with respect to complete reductions of $\mathcal F.$ △ Less

Submitted 21 January, 2016; originally announced January 2016.

Comments: 25 pages

Local cohomology of multi-Rees algebras, Joint reduction numbers and product of complete ideals

Authors: Parangama Sarkar, J. K. Verma

Abstract: We find conditions on the local cohomology modules of multi-Rees algebras of admissible filtrations which enable us to predict joint reduction numbers. As a consequence we are able to prove a generalisation of a result of Reid-Roberts-Vitulli in the setting of analytically unramified local rings for completeness of power products of complete ideals. We find conditions on the local cohomology modules of multi-Rees algebras of admissible filtrations which enable us to predict joint reduction numbers. As a consequence we are able to prove a generalisation of a result of Reid-Roberts-Vitulli in the setting of analytically unramified local rings for completeness of power products of complete ideals. △ Less

Submitted 6 March, 2016; v1 submitted 21 January, 2016; originally announced January 2016.

Comments: 16 pages

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.

Comments: Dedicated to Ngo Viet Trung on his 60th Birthday

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.

Comments: 24 pages

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.

On the Chern number of $I$-admissible filtrations of ideals

Authors: Mousumi Mandal, J. K. Verma

Abstract: Let $I$ be an $\m$-primary ideal of a Noetherian local ring $(R, \m)$ of positive dimension. The coefficient $e_1(\mathcal I)$ of the Hilbert polynomial of an $I$-admissible filtration $\mathcal I$ is called the Chern number of $\mathcal I$. A formula for the Chern number has been derived involving Euler characteristic of subcomplexes of a Koszul complex. Specific formulas for the Chern number hav… ▽ More Let $I$ be an $\m$-primary ideal of a Noetherian local ring $(R, \m)$ of positive dimension. The coefficient $e_1(\mathcal I)$ of the Hilbert polynomial of an $I$-admissible filtration $\mathcal I$ is called the Chern number of $\mathcal I$. A formula for the Chern number has been derived involving Euler characteristic of subcomplexes of a Koszul complex. Specific formulas for the Chern number have been given in local rings of dimension at most two. These have been used to provide new and unified proofs of several results about $e_1(\mathcal I)$. △ Less

Submitted 2 May, 2012; originally announced May 2012.

On some cconjectures about the Chern numbers of filtrations

Authors: Mousumi Mandal, Balwant Singh, J. K. Verma

Abstract: Let I be an m-primary ideal of a Noetherian local ring (R,m) of positive dimension. The coefficient $e_1(A)$ of the Hilbert polynomial of an I-admissible filtration A is called the Chern number of A. The Positivity Conjecture of Vasconcelos for the Chern number of the integral closure filtration ${\bar{I^n}}$ is proved for a 2-dimensional complete local domain and more generally for any analyt… ▽ More Let I be an m-primary ideal of a Noetherian local ring (R,m) of positive dimension. The coefficient $e_1(A)$ of the Hilbert polynomial of an I-admissible filtration A is called the Chern number of A. The Positivity Conjecture of Vasconcelos for the Chern number of the integral closure filtration ${\bar{I^n}}$ is proved for a 2-dimensional complete local domain and more generally for any analytically unramified local ring R whose integral closure in its total ring of fractions is Cohen-Macaulay as an R-module. It is proved that if I is a parameter ideal then the Chern number of the I-adic filtration is non-negative. Several other results on the Chern number of the integral closure filtration are established, especially in the case when R is not necessarily Cohen-Macaulay. △ Less

Submitted 16 January, 2010; originally announced January 2010.

Comments: 20 pages

MSC Class: 13H15

On the Chern Number of an Ideal

Authors: Mousumi Mandal, J. K. Verma

Abstract: We settle the negativity conjecture of Vasconcelos for the Chern number of an ideal in certain unmixed quotients of regular local rings by explicit calculation of the Hilbert polynomials of all ideals generated by systems of parameters. We settle the negativity conjecture of Vasconcelos for the Chern number of an ideal in certain unmixed quotients of regular local rings by explicit calculation of the Hilbert polynomials of all ideals generated by systems of parameters. △ Less

Submitted 4 June, 2009; originally announced June 2009.

Comments: 6 pages

MSC Class: 13D40; 13D07; 13H05

Hilbert functions of multigraded algebras, mixed multiplicities of ideals and their applications

Authors: N. V. Trung, J. K. Verma

Abstract: This paper is a survey on major results on Hilbert functions of multigraded algebras and mixed multiplicities of ideals, including their applications to the computation of Milnor numbers of complex analytic hypersurfaces with isolated singularity, multiplicities of blowup algebras and mixed volumes of polytopes. This paper is a survey on major results on Hilbert functions of multigraded algebras and mixed multiplicities of ideals, including their applications to the computation of Milnor numbers of complex analytic hypersurfaces with isolated singularity, multiplicities of blowup algebras and mixed volumes of polytopes. △ Less

Submitted 16 February, 2008; originally announced February 2008.

Comments: 34 pages

MSC Class: 13H15 52B20

Hilbert Coefficients and Depth of the Associated Graded Ring of an Ideal

Authors: J. K. Verma

Abstract: In this expository paper we survey results that relate Hilbert coefficients of an m-primary ideal I in a Cohen-Macaulay local ring (R, m) with depth of the associated graded ring G(I). Several results in this area follow from two theorems of S. Huckaba and T. Marley. These were proved using homological techniques. We provide simple proofs using superficial sequences. In this expository paper we survey results that relate Hilbert coefficients of an m-primary ideal I in a Cohen-Macaulay local ring (R, m) with depth of the associated graded ring G(I). Several results in this area follow from two theorems of S. Huckaba and T. Marley. These were proved using homological techniques. We provide simple proofs using superficial sequences. △ Less

Submitted 31 January, 2008; originally announced January 2008.

Comments: 24 pages, expository paper to appear in Mathematics Student

MSC Class: 13H15

Hilbert polynomials and powers of ideals

Authors: Juergen Herzog, Tony J. Puthenpurakal, J. K. Verma

Abstract: The growth of Hilbert coefficients for powers of ideals are studied. For a graded ideal $I$ in the polynomial ring $S=K[x_1,...,x_n]$ and a finitely generated graded $S$-module, the Hilbert coefficients $e_i(M/I^kM)$ are polynomial functions. Given two families of graded ideals $(I_k)_{k\geq 0}$ and $(J_k)_{k\geq 0}$ with $J_k\subset I_k$ for all $k$ with the property that… ▽ More The growth of Hilbert coefficients for powers of ideals are studied. For a graded ideal $I$ in the polynomial ring $S=K[x_1,...,x_n]$ and a finitely generated graded $S$-module, the Hilbert coefficients $e_i(M/I^kM)$ are polynomial functions. Given two families of graded ideals $(I_k)_{k\geq 0}$ and $(J_k)_{k\geq 0}$ with $J_k\subset I_k$ for all $k$ with the property that $J_kJ_\ell\subset J_{k+\ell}$ and $I_kI_\ell\subset I_{k+\ell}$ for all $k$ and $\ell$, and such that the algebras $A=\Dirsum_{k\geq 0}J_k$ and $B=\Dirsum_{k\geq 0}I_k$ are finitely generated, we show the function $k \mapsto_0(I_k/J_k)$ is of quasi-polynomial type, say given by the polynomials $P_0,..., P_{g-1}$. If $J_k = J^k$ for all $k$ then we show that all the $P_i$ have the same degree and the same leading coefficient. As one of the applications it is shown that $\lim_{k\to \infty}\length(Γ_\mm(S/I^k))/k^n \in \mathbb{Q}.$ We also study analogous statements in the local case. △ Less

Submitted 6 March, 2007; originally announced March 2007.

Comments: 24 pages

MSC Class: Primary 13H15; 13D40 ; Secondary 13A30

On fiber cones of ${\mathfrak m}$-primary ideals

Authors: A. V. Jayanthan, Tony J. Puthenpurakal, J. K. Verma

Abstract: Two formulas for the multiplicity of the fiber cone $F(I)=\oplus_{n=0}^{\infty} I^n/\m I^n$ of an $\m$-primary ideal of a $d$-dimensional Cohen-Macaulay local ring $(R,\m)$ are derived in terms of the mixed multiplicity $e_{d-1}(\m | I),$ the multiplicity $e(I)$ and superficial elements. As a consequence, the Cohen-Macaulay property of $F(I)$ when $I$ has minimal mixed multiplicity or almost min… ▽ More Two formulas for the multiplicity of the fiber cone $F(I)=\oplus_{n=0}^{\infty} I^n/\m I^n$ of an $\m$-primary ideal of a $d$-dimensional Cohen-Macaulay local ring $(R,\m)$ are derived in terms of the mixed multiplicity $e_{d-1}(\m | I),$ the multiplicity $e(I)$ and superficial elements. As a consequence, the Cohen-Macaulay property of $F(I)$ when $I$ has minimal mixed multiplicity or almost minimal mixed multiplicity is characterized in terms of reduction number of $I$ and lengths of certain ideals. We also characterize Cohen-Macaulay and Gorenstein property of fiber cones of $\m$-primary ideals with a $d$-generated minimal reduction $J$ satisfying (i) $\ell(I^2/JI)=1$ or (ii) $\ell(I\m/J\m)=1.$ △ Less

Submitted 23 March, 2006; v1 submitted 25 August, 2004; originally announced August 2004.

Comments: 17 Pages

MSC Class: 13H10; 13H15; 13A30 (Primary) 13C15; 13A02 (Secondary)

Bound on the a-invariant and reduction numbers of ideals

Authors: Clare D'Cruz, Vijay Kodiyalam, Jugal. K. Verma

Abstract: Let $R$ be a $d$-dimensional standard graded ring over an Artin local ring. Let $M$ be the unique maximal homogeneous ideal of $R.$ Let $h^i(R)_n$ denote the length of $H^i_M(R)_n$, i.e. the nth graded component of the ith local cohomology module of R with respect to M. Define the Eisenbud-Goto invariant of $R$ to be the number $$EG(R)= \sum_{q=0}^{d-1} \binom{d-1}{q} h^q(R)_{1-q}.$$ We prov… ▽ More Let $R$ be a $d$-dimensional standard graded ring over an Artin local ring. Let $M$ be the unique maximal homogeneous ideal of $R.$ Let $h^i(R)_n$ denote the length of $H^i_M(R)_n$, i.e. the nth graded component of the ith local cohomology module of R with respect to M. Define the Eisenbud-Goto invariant of $R$ to be the number $$EG(R)= \sum_{q=0}^{d-1} \binom{d-1}{q} h^q(R)_{1-q}.$$ We prove that the $a$-invariant of $R$ satisfies $$ a(R) \leq e(R)-length(R_1)+(d-1)(length(R_0)-1)+ EG(R).$$ Using this bound we get upper bounds for the reduction number of an $m$-primary ideal of a Cohen-Macaulay local ring $(R,m)$ whose associated graded ring $G(m)$ has almost maximal depth. △ Less

Submitted 4 April, 2004; originally announced April 2004.

Comments: 8 pages. to appear in Journal of algebra 274(2004) 594-601

MSC Class: 13D45 14B15

Fiber cones of ideals with almost minimal multiplicity

Authors: A. V. Jayanthan, J. K. Verma

Abstract: Fiber cones of 0-dimensional ideals with almost minimal multiplicity in Cohen-Macaulay local rings are studied. Ratliff-Rush closure of filtration of ideals with respect to another ideal is introduced. This is used to find a bound on the reduction number with respect to an ideal. Rossi's bound on reduction number in terms of Hilbert coefficients is obtained as a consequence. Sufficient condition… ▽ More Fiber cones of 0-dimensional ideals with almost minimal multiplicity in Cohen-Macaulay local rings are studied. Ratliff-Rush closure of filtration of ideals with respect to another ideal is introduced. This is used to find a bound on the reduction number with respect to an ideal. Rossi's bound on reduction number in terms of Hilbert coefficients is obtained as a consequence. Sufficient conditions are provided for the fiber cone of 0-dimensional ideals to have almost maximal depth. Hilbert series of such fiber cones are also computed. △ Less

Submitted 15 December, 2002; originally announced December 2002.

Comments: 17 pages

MSC Class: 13H10; 13H15 (Primary); 13C15; 13A02 (Secondary)

Hilbert series of fiber cones of ideals of almost minimal mixed multiplicity

Authors: Clare D'Cruz, J. K. Verma

Abstract: Let (R, m) be a Cohen-Macaulay local ring and I be an m-primary ideal. We introduce ideals of almost minimal mixed multiplicty which are analogues of ideals studied by J. Sally. The main theorem describes the Hilbert series of fiber cones of these ideals. Let (R, m) be a Cohen-Macaulay local ring and I be an m-primary ideal. We introduce ideals of almost minimal mixed multiplicty which are analogues of ideals studied by J. Sally. The main theorem describes the Hilbert series of fiber cones of these ideals. △ Less

Submitted 10 December, 2002; originally announced December 2002.

Comments: 12 pages

MSC Class: 13H10;13H15

Journal ref: Journal of algebra vol 251(2002),98-109

Cohen-Macaulay fiber cones

Authors: Clare D'Cruz, K. N. Raghavan, J. K. Verma

Abstract: Cohen Macaulay property of fiber cones of ideals is characterized in terms of its Hilbert series. Hilbert series of fiber cones of ideals with minimal mixed multiplicity is calculated. It is proved that the fiber cone of an m-primary ideal I with minimal mixed multiplicity is Cohen-Macaulay if and only if its reduction number is atmost one. Hilbert series of fiber cones of ideals generated by qu… ▽ More Cohen Macaulay property of fiber cones of ideals is characterized in terms of its Hilbert series. Hilbert series of fiber cones of ideals with minimal mixed multiplicity is calculated. It is proved that the fiber cone of an m-primary ideal I with minimal mixed multiplicity is Cohen-Macaulay if and only if its reduction number is atmost one. Hilbert series of fiber cones of ideals generated by quadratic sequences in standard graded rings is computed by deforming it to a face ring of a simplicial complex. Applications are given to defining ideals of monomial projective space curves lying on the quadric xw-yz=0, straightening-closed ideals in graded algebras with straightening law and Huckaba-Huneke ideals of analytic spread 1 and 2. △ Less

Submitted 9 December, 2002; originally announced December 2002.

Comments: 16 pages, appeared in "Commutative Algebra, Algebraic Geometry and Computational Methods", proceedings of the 1996 Hanoi conference, published by Springer(1999) and edited by D. Eisenbud

MSC Class: 13H10:13H15

On a Theorem of Macaulay on Colons of Ideals

Authors: J. K. Verma

Abstract: A theorem of Macaulay on colons of ideals in polynomial rings is proved for homogeneous Gorenstein algebras. A theorem of Macaulay on colons of ideals in polynomial rings is proved for homogeneous Gorenstein algebras. △ Less

Submitted 9 December, 2002; originally announced December 2002.

Comments: 3 pages, modified version of the paper published in "Contributions to Algebra and Geometry", 2002

MSC Class: 13H10:13H15

Local cohomology modules of bigraded Rees algebras

Authors: A. V. Jayanthan, J. K. Verma

Abstract: Formulas are obtained in terms of complete reductions for the bigraded components of local cohomology modules of bigraded Rees algebras of 0-dimensional ideals in 2-dimensional Cohen-Macaulay local rings. As a consequence, cohomological expressions for the coefficients of the Bhattacharya polynomial of such ideals are obtained. Formulas are obtained in terms of complete reductions for the bigraded components of local cohomology modules of bigraded Rees algebras of 0-dimensional ideals in 2-dimensional Cohen-Macaulay local rings. As a consequence, cohomological expressions for the coefficients of the Bhattacharya polynomial of such ideals are obtained. △ Less

Submitted 24 October, 2002; originally announced October 2002.

Comments: 11 pages. To appear in "Advances in Algebra and Geometry", Proceedings of Hyderabad Conference 2001

MSC Class: Primary 13H10; 13H15; Secondary 13D40; 13D45

Hilbert coefficients and depth of fiber cones

Authors: A. V. Jayanthan, J. K. Verma

Abstract: Criteria are given in terms of certain Hilbert coefficients for the fiber cone F(I) of an m-primary ideal I in a Cohen-Macaulay local ring (R,m) so that it is Cohen-Macaulay or has depth at least dim(R)-1. A version of Huneke's fundamental lemma is proved for fiber cones. S. Goto's results concerning Cohen-Macaulay fiber cones of ideals with minimal multiplicity are obtained as consequences. Criteria are given in terms of certain Hilbert coefficients for the fiber cone F(I) of an m-primary ideal I in a Cohen-Macaulay local ring (R,m) so that it is Cohen-Macaulay or has depth at least dim(R)-1. A version of Huneke's fundamental lemma is proved for fiber cones. S. Goto's results concerning Cohen-Macaulay fiber cones of ideals with minimal multiplicity are obtained as consequences. △ Less

Submitted 10 October, 2003; v1 submitted 28 June, 2002; originally announced June 2002.

Comments: 17 pages. Revised version, to appear in J. Pure Appl. Algebra

Report number: formerly math.RA/0206304 MSC Class: 13H10; 13H15

Hilbert coefficients and depths of form rings

Authors: A. V. Jayanthan, Balwant Singh, J. K. Verma

Abstract: We present short and elementary proofs of two theorems of Huckaba and Marley, while generalizing them at the same time to the case of a module. The theorems concern a characterization of the depth of the associated graded ring of a Cohen-Macaulay module, with respect to a Hilbert filtration, in terms of the Hilbert coefficient e_1. As an application, we derive bounds on the higher Hilbert coeffi… ▽ More We present short and elementary proofs of two theorems of Huckaba and Marley, while generalizing them at the same time to the case of a module. The theorems concern a characterization of the depth of the associated graded ring of a Cohen-Macaulay module, with respect to a Hilbert filtration, in terms of the Hilbert coefficient e_1. As an application, we derive bounds on the higher Hilbert coefficient e_i in terms of e_0. △ Less

Submitted 31 January, 2003; v1 submitted 21 June, 2002; originally announced June 2002.

Comments: 7 pages; This is a slightly modified version of the previously uploaded file

Report number: formerly math.RA/0206221 MSC Class: 13H10; 13H15

Grothendieck-Serre formula and bigraded Cohen-Macaulay Rees algebras

Authors: A. V. Jayanthan, J. K. Verma

Abstract: The Grothendieck-Serre formula for the difference between the Hilbert function and Hilbert polynomial of a graded algebra is generalized for bigraded standard algebras. This is used to get a similar formula for the difference between the Bhattacharya function and Bhattacharya polynomial of two m-primary ideals I and J in a local ring (A,m) in terms of local cohomology modules of Rees algebras of… ▽ More The Grothendieck-Serre formula for the difference between the Hilbert function and Hilbert polynomial of a graded algebra is generalized for bigraded standard algebras. This is used to get a similar formula for the difference between the Bhattacharya function and Bhattacharya polynomial of two m-primary ideals I and J in a local ring (A,m) in terms of local cohomology modules of Rees algebras of I and J. The cohomology of a variation of the Kirby-Mehran complex for bigraded Rees algebras is studied which is used to characterize the Cohen-Macaulay property of bigraded Rees algebra of I and J for two dimensional Cohen-Macaulay local rings. △ Less

Submitted 19 June, 2002; originally announced June 2002.

Comments: 23 pages

Report number: formerly math.RA/0206192 MSC Class: 13D45 13D40 (Primary); 13H10 13H15 (Secondary)