BZPEER

preprint2024arXiv

A convenient category to study asymptotic primes and related questions

Let $A$ be a Noetherian ring and let $\mathcal{R} = \bigoplus_{n \geq 0}\mathcal{R}_n$ be a standard graded ring with $\mathcal{R}_0 = A$ . We define a category $\mathfrak{A}(\mathcal{R})$ of graded $\mathcal{R}$ -modules (not necessarily finitely generated) with the following properties: if $X = \bigoplus_{n \in \mathbb{Z}} X_n \in \mathfrak{A}(\mathcal{R})$ then (1) $X_i$ is finitely generated $A$ -module for all $i \in \mathbb{Z}$ and $X_i = 0$ for $i \ll 0$ . (2) There exists $n_0$ such that $\text{Ass}_A X_n = \text{Ass}_A X_{n_0}$ for all $n \geq n_0$ . (3) If $X_n$ has finite length as an $A$ -module for all $n$ then there exists $P_X(z) \in \mathbb{Q}[z]$ such that $P_X(n) = \ell_A(X_n)$ for all $n \gg 0$ . (4) If $F$ is a coherent functor on the category of finitely generated $A$ -modules then $F(X) = \bigoplus_{n \in \mathbb{Z}} F(X_n) \in \mathfrak{A}(\mathcal{R})$ . (5) For an ideal $J$ in $A$ , there exists $c_J^X$ such that $\text{grade}(J, X_n) = \text{grade}(J, X_{c_J^X})$ for all $n \geq c_J^X$ . We give a unified proof of several results in theory of associate primes and related areas.

preprint2022arXiv

Graded components of local cohomology modules supported on $\mathfrak{C}$ -monomial ideals

Let $A$ be a Dedekind domain of characteristic zero such that its localization at every maximal ideal has mixed characteristic with finite residue field. Let $R=A[X_1,\ldots, X_n]$ be a polynomial ring and $I=(a_1U_1, \ldots, a_c U_c)\subseteq R$ an ideal, where $a_j \in A$ (not necessarily units) and $U_j$ 's are monomials in $X_1, \ldots, X_n$ . We call such an ideal $I$ as a $\mathfrak{C}$ -monomial ideal. Consider the standard multigrading on $R$ . We produce a structure theorem for the multigraded components of the local cohomology modules $H^i_I(R)$ for $i \geq 0$ . We further analyze the torsion part and the torsion-free part of these components. We show that if $A$ is a PID then each component can be written as a direct sum of its torsion part and torsion-free part. As a consequence, we obtain that their Bass numbers are finite.

preprint2022arXiv

On a generalization of two results of Happel to commutative rings

In this paper we extend two results of Happel to commutative rings. Let $(A, \mathfrak{m})$ be a commutative Noetherian local ring. Let $D^b_f(mod \ A)$ be the bounded derived category of complexes of finitely generated modules over $A$ with finite length cohomology. We show $D^b_f( mod \ A)$ has Auslander-Reiten(AR)-triangles if and only if $A$ is regular. Let $K^b_f(proj \ A)$ be the homotopy category of finite complexes of finitely generated free $A$ -modules with finite length cohomology. We show that if $A$ is complete and if $A$ is Gorenstein then $K^b_f( proj \ A)$ has AR triangles. Conversely we show that if $K^b_f(proj \ A)$ has AR triangles and if $A$ is Cohen-Macaulay or if $\dim A = 1$ then $A$ is Gorenstein.

preprint2022arXiv

On associated graded modules of maximal Cohen-Macaulay modules over hypersurface rings

Let $A=Q/(f)$ where $(Q,\mathfrak{n})$ be a complete regular local ring of dimension $d+1$ , $f\in \mathfrak{n}^i\setminus\mathfrak{n}^{i+1}$ for some $i\geq 2$ and $M$ an MCM $A-$ module with $e(M)=μ(M)i(M)+1$ then we prove that depth $G(M)\geq d-1$ . If $(A,\mathfrak{m})$ is a complete hypersurface ring of dimension $d$ with infinite residue field and $e(A)=3$ , let $M$ be an MCM $A$ -module with $μ(M)=2$ or $3$ then we prove that depth $G(M)\geq d-μ(M)+1$ . Our paper is the first systematic study of depth of associated graded modules of MCM modules over hypersurface rings.

preprint2022arXiv

On associated graded modules of maximal Cohen-Macaulay modules over hypersurface rings

Let $(A,\mathfrak{m})$ be a hypersurface ring with dimension $d$ , and $M$ a MCM $A-$ module with red $(M)\leq 2$ and $μ(M)=2$ or $3$ then we have proved that depth $G(M)\geq d-μ(M)+1$ . If $e(A)=3$ and $μ(M)=4$ then in this case we have proved that depth $G(M)\geq d-3$ . Next we consider the case when $e(M)=μ(M)i(M)+1$ and prove that depth $G(M)\geq d-1$ . When $A = Q/(f)$ where $Q = k[[X_1,\cdots, X_{d+1}]]$ then we give estimates for $\depth G(M)$ in terms of a minimal presentation of $M$ . Our paper is the first systematic study of depth of associated graded modules of MCM modules over hypersurface rings.

preprint2022arXiv

On Coefficient ideals

Let $(A,\mathfrak{m})$ be a Cohen-Macaulay local ring of dimension $d \geq 2$ with infinite residue field and let $I$ be an $\mathfrak{m}$ -primary ideal. For $0 \leq i \leq d$ let $I_i$ be the $i^{th}$ -coefficient ideal of $I$ . Also let $\widetilde{I} = I_d$ denote the Ratliff-Rush closure of $A$ . Let $G = G_I(A)$ be the associated graded ring of $I$ . We show that if $\dim H^j_{G_+}(G)^\vee \leq j -1$ for $1 \leq j \leq i \leq d-1$ then $(I^n)_{d-i} = \widetilde{I^n}$ for all $n \geq 1$ . In particular if $G$ is generalized Cohen-Macaulay then $(I^n)_1 = \widetilde{I^n}$ for all $n \geq 1$ . As a consequence we get that if $A$ is an analytically unramified domain with $G$ generalized Cohen-Macaulay, then the $S_2$ -ification of the Rees algebra $A[It]$ is $\bigoplus_{n \geq 0} \widetilde{I^n}$ .

preprint2022arXiv

On the Stable category of maximal Cohen-Macaulay modules over Gorenstein rings

Let $(A,\mathfrak{m})$ be a Gorenstein local ring and let $CMS(A)$ be its stable category of maximal CM $A$ -modules. Suppose $CMS(A) \cong CMS(B)$ as triangulated categories. Then we show (1) If $A$ is a complete intersection of codimension $c$ then so is $B$ . (2) If $A, B$ are Henselian and not hypersurfaces then $\dim A = \dim B$ . (3) If $A, B$ are Henselian and $A$ is an isolated singularity then so is $B$ . We also give some applications of our results. It should be remarked that if $R,S$ are complete CM but not necessarily Gorenstein and if there is an triangle isomorphism between the singularity categories of $R$ and $S$ then it is possible that $\dim R - \dim S$ is odd, see M.~Kalck; Adv. Math. 390 (2021), Paper No. 107913.

preprint2016arXiv

Asymptotic prime divisors over complete intersection rings

Let $A$ be a local complete intersection ring. Let $M,N$ be two finitely generated $A$ -modules and $I$ an ideal of $A$ . We prove that $\bigcup_{i\geqslant 0}\bigcup_{n \geqslant 0}\mathrm{Ass}_A\left(\mathrm{Ext}_A^i(M,N/I^n N)\right)$ is a finite set. Moreover, we prove that there exist $i_0,n_0\geqslant 0$ such that for all $i\geqslant i_0$ and $n \geqslant n_0$ , we have $\mathrm{Ass}_A\left(\mathrm{Ext}_A^{2i}(M,N/I^nN)\right) = \mathrm{Ass}_A\left(\mathrm{Ext}_A^{2 i_0}(M,N/I^{n_0}N)\right),$ $\mathrm{Ass}_A\left(\mathrm{Ext}_A^{2i+1}(M,N/I^nN)\right) = \mathrm{Ass}_A\left(\mathrm{Ext}_A^{2 i_0 + 1}(M,N/I^{n_0}N)\right).$ We also prove the analogous results for complete intersection rings which arise in algebraic geometry. Further, we prove that the complexity $\mathrm{cx}_A(M,N/I^nN)$ is constant for all sufficiently large $n$ .

preprint2015arXiv

Asymptotic primes and the Chow group

In this paper we present an unexpected connection between the theory of asymptotic prime divisors and Chow groups. As an application we show that the Chow group $A_1(R)$ is a torsion group when $R$ is any graded ring such that we have an inclusion of graded rings $T \subseteq R \subseteq S$ where $S = k[X_1, X_2, Y]/(X_1^m + X_2^m + Y^n)$ where $k$ is algebraically field, $(m,n) = 1$ , $(mn)^{-1} \in k$ , $m, n \geq 2$ . We consider $S$ graded with $deg \ X_1 = deg \ X_2 = n$ and $deg \ Y = m$ . Also $T = k[X_1, X_2]$ where $deg \ X_1 = deg \ X_2 = n$ . We also consider higher dimensional analogues of this result.

preprint2015arXiv

Growth of Hilbert coefficients of Syzygy modules

Let $(A,\mathfrak{m})$ be a complete intersection ring of dimension $d$ and let $I$ be an $\mathfrak{m}$ -primary ideal. Let $M$ be a maximal \CM \ $A$ -module. For $i = 0,1,\cdots,d$ , let $e_i^I(M)$ denote the $i^{th}$ Hilbert -coefficient of $M$ with respect to $I$ . We prove that for $i = 0, 1, 2$ , the function $j \mapsto e_i^I(Syz_j^A(M))$ is of quasi-polynomial type with period $2$ . Let $G_I(M)$ be the associated graded module of $M$ with respect to $I$ . If $G_I(A)$ is Cohen-Macaulay and $\dim A \leq 2$ we also prove that the functions $j \mapsto depth \ G_I(Syz^A_{2j+i}(M))$ are eventually constant for $i = 0, 1$ . Let $ξ_I(M) = \lim_{l \rightarrow \infty} depth \ G_{I^l}(M)$ . Finally we prove that if $\dim A = 2$ and $G_I(A)$ is Cohen-Macaulay then the functions $j \mapsto ξ_I(Syz^A_{2j + i}(M))$ are eventually constant for $i = 0, 1$ .

preprint2015arXiv

Invariants of Linkage of modules

Let $(A,\mathfrak{m})$ be a Gorenstein local ring and let $M, N$ be two Cohen-Macaulay \ $A$ -modules with $M$ linked to $N$ via a Gorenstein ideal $\mathfrak{q}$ . Let $L$ be another finitely generated $A$ -module. We show that $Ext^i_A(L,M) = 0$ for all $i \gg 0$ if and only if $Tor^A_i(L,N) = 0$ for all $i \gg 0$ . If $D$ is Cohen-Macaulay then we show that $Ext^i_A(M, D) = 0$ for all $i \gg 0$ if and only if $Ext^i_A(D^\dagger, N) = 0$ for all $i \gg 0$ , where $D^\dagger = Ext^r_A(D,A)$ and $r = codim \ D$ . As a consequence we get that $Ext^i_A(M, M) = 0$ for all $i \gg 0$ if and only if $Ext^i_A(N, N) = 0$ for all $i \gg 0$ . We also show that $End_A(M)/rad \ End_A(M) \cong (End_A(N)/rad \ End_A(N))^{op}$ . We also give a negative answer to a question of Martsinkovsky and Strooker.

preprint2015arXiv

On a generalization of a result of Peskine and Szpiro

Let $(R,\mathfrak{m})$ be a regular local ring containing a field $K$ . Let $I$ be a Cohen-Macaulay ideal of height $g$ . If $\text{char } K = p > 0$ then by a result of Peskine and Szpiro the local cohomology modules $H^i_I(R)$ vanish for $i > g$ . This result is not true if $\text{char } K = 0$ . However we prove that the Bass numbers of the local cohomology module $H^g_I(R)$ completely determine whether $H^i_I(R)$ vanish for $i > g$ .

preprint2015arXiv

On the Monotonicity of Hilbert functions

In this paper we show that a large class of one-dimensional Cohen-Macaulay local rings $(A,\mathfrak{m})$ has the property that if $M$ is a maximal Cohen-Macaulay $A$ -module then the Hilbert function of $M$ ( with respect to $\mathfrak{m}$ ) is non-decreasing. Examples include (1) Complete intersections $A = Q/(f,g)$ where $(Q,\mathfrak{n})$ is regular local of dimension three and $f \in \mathfrak{n}^2 \setminus \mathfrak{n}^3$ . (2) One dimensional Cohen-Macaulay quotients of a two dimensional Cohen-Macaulay local ring with pseudo-rational singularity.

preprint2015arXiv

On the ring of differential operators of certain regular domains

Let $(A,\mathfrak{m})$ be a complete equicharacteristic Noetherian domain of dimension $d + 1 \geq 2$ . Assume $k = A/\mathfrak{m}$ has characteristic zero and that $A$ is not a regular local ring. Let $Sing(A)$ the singular locus of $A$ be defined by an ideal $J$ in $A$ . Note $J \neq 0$ . Let $f \in J$ with $f \neq 0$ . Set $R = A_f$ . Then $R$ is a regular domain of dimension $d$ . We show $R$ contains naturally a field $\ell \cong k((X))$ . Let $\mathfrak{g}$ be the set of $\ell$ -linear derivations of $R$ and let $D(R)$ be the subring of $Hom_\ell(R,R)$ generated by $\mathfrak{g}$ and the multiplication operators defined by elements in the ring $R$ . We show that $D(R)$ , the ring of $\ell$ -linear differential operators on $R$ , is a left, right Noetherian ring of global dimension $d$ . This enables us to prove Lyubeznik's conjecture on $R$ modulo a conjecture on roots of Bernstein-Sato polynomials over power series rings.

preprint2015arXiv

Relative Hilbert co-efficients

Let $(A,\m)$ be a \CM \ local ring of dimension $d$ and let $I \subseteq J$ be two $\m$-primary ideals with $I$ a reduction of $J$ . For $i = 0,\ldots,d$ let $e_i^J(A)$ ( $e_i^I(A)$ ) be the $i^{th}$ Hilbert coefficient of $J$ ( $I$ ) respectively. We call the number $c_i(I,J) = e_i^J(A) - e_i^I(A)$ the $i^{th}$ relative Hilbert coefficient of $J$ \wrt \ $I$ . If $G_I(A)$ is \CM \ then $c_i(I,J)$ satisfy various constraints. We also show that vanishing of some $c_i(I,J)$ has strong implications on $\depth G_{J^n}(A)$ for $n \gg 0$ .

preprint2014arXiv

Associated primes of Local cohomology modules over Regular rings

Let $R$ be an excellent regular ring of dimension $d$ containing a field $K$ of characteristic zero. Let $I$ be an ideal in $R$ . We show that $Ass \ H^{d-1}_I(R)$ is a finite set. As an application we show that if $I$ is an ideal of height $g$ with $height \ Q = g$ for all minimal primes of $I$ then for all but finitely many primes $P \supseteq I$ with $height \ P \geq g +2$ , the topological space $Spec^\circ(R_P/IR_P)$ is connected.

preprint2014arXiv

Examples of non-commutative crepant resolutions of Cohen Macaulay normal domains

Let $A$ be a Cohen-Macaulay normal domain. A non commutative crepant resolution (NCCR) of $A$ is an $A$ -algebra $Γ$ of the form $Γ= End_A(M)$ , where $M$ is a reflexive $A$ -module, $Γ$ is maximal Cohen-Macaulay as an $A$ -module and $gldim(Γ)_P = \dim A_P$ for all primes $P$ of $A$ . We give bountiful examples of equi-characteristic Cohen-Macaulay normal local domains and mixed characteristic Cohen-Macaulay normal local domains having NCCR. We also give plentiful examples of affine Cohen-Macaulay normal domains having NCCR.

preprint2014arXiv

Local Cohomology of Multi-Rees Algebras with Applications to Joint Reductions and Complete Ideals

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}\}.$

preprint2014arXiv

On associated graded modules having a pure resolution

Let $A = K[[X_1,\cdots,X_n]]$ and let $\mathfrak{m} = (X_1,\cdots,X_n)$ . Let $M$ be a Cohen-Macaulay $A$ -module of codimension $p$ . In this paper we give a necessary and sufficient condition for the associated graded module $G_{\mathfrak{m}}(M)$ to have a pure resolution over the polynomial ring $G_{\mathfrak{m}}(A) \cong K[X_1,\cdots,X_n]$ .

preprint2014arXiv

On functors that detect $S_n$

Let $A$ be a Noetherian ring. For each $k$ where $0 \leq k \leq \dim A$ we construct left exact functors $D_k$ on $Mod(A)$ . Let $D^i_k$ be the $i^{th}$ -right derived functor of $D_k$ . Let $M$ be a finitely generated $A$ -module. Under mild conditions on $A$ and $M$ we prove that vanishing of some finitely many $D^i_k(M)$ is equivalent to $M$ satisfying $S_n$ .

preprint2014arXiv

On two dimensional mixed characteristic rings of finite Cohen Macaulay type

In this paper we give a bountiful number of examples of two dimensional mixed characteristic rings of finite Cohen Macaulay type. For a large sub-class of these examples we give a complete description of its indecomposable maximal Cohen-Macaulay modules and we also compute its AR-quiver.

preprint2013arXiv

A function on the the set of isomorphism classes in the stable category of maximal Cohen-Macaulay modules over a Gorenstein ring: with applications to Liason theory

Let $(A,\m)$ be a Gorenstein local ring of dimension $d \geq 1$ . Let $\CMS(A)$ be the stable category of maximal \CM \ $A$ -modules and let $\ICMS(A)$ denote the set of isomorphism classes in $\CMS(A)$. We define a function $ξ\colon \ICMS(A) \rt \ZZ$ which behaves well with respect to exact triangles in $\CMS(A)$. We then apply this to (Gorenstein) liason theory. We prove that if $\dim A \geq 2$ and $A$ is not regular then the even liason classes of $\m^n; n\geq 1$ is an infinite set. We also prove that if $A$ is an complete equi-characteristic simple singularity with $A/\m$ uncountable then for each $m \geq 1$ the set $\mathcal{C}_m = \{I \mid I \ \text{is a codim 2 CM-ideal with} \ e_0(A/I) \leq m \}$ is contained in finitely many even liason classes $L_1,\ldots,L_r$ (here $r$ may depend on $m$ ).

preprint2013arXiv

Bockstein cohomology of associated graded rings

Let $(A,\mathfrak{m})$ be a Cohen-Macaulay local ring of dimension $d$ and let $I$ be an $\mathfrak{m}$ -primary ideal. Let $G$ be the associated graded ring of $A$ \wrt \ $I$ and let $\R = A[It,t^{-1}]$ be the extended Rees ring of $A$ with respect to $I$ . Notice $t^{-1}$ is a non-zero divisor on $\R$ and $\R/t^{-1}\R = G$ . So we have \textit{Bockstein operators} $β^i \colon H^i_{G_+}(G)(-1) \rt H^{i+1}_{G_+}(G)$ for $i \geq 0$ . Since $β^{i+1}(+1)\circ β^i = 0$ we have \textit{Bockstein cohomology} modules $BH^i(G)$ for $i = 0,\ldots,d$ . In this paper we show that certain natural conditions on $I$ implies vanishing of some Bockstein cohomology modules.

preprint2013arXiv

De Rahm cohomology of local cohomology modules

Let $K$ be a field of characteristic zero, $R = K[X_1,...,X_n]$ and let $I$ be an ideal in $R$ . Let $A_n(K) = K<X_1,...,X_n, \partial_1,..., \partial_n>$ be the $n^{th}$ Weyl algebra over $K$ . By a result due to Lyubeznik the local cohomology modules $H^i_I(R)$ are holonomic $A_n(K)$ -modules for each $i \geq 0$ . In this article we compute the Koszul homology modules $H_*(\partial_1,...,\partial_n ; H^*_I(R))$ for certain classes of ideals.

preprint2013arXiv

De Rahm Cohomology of Local Cohomology modules II

Let $K$ be an algebraically closed field of characteristic zero and let $R = K[X_1,\ldots,X_n]$ . Let $I$ be an ideal in $R$ . Let $A_n(K)$ be the $n^{th}$ Weyl algebra over $K$ . By a result of Lyubeznik, the local cohomology modules $H^i_I(R)$ are holonomic $A_n(K)$ -modules for each $i \geq 0$ . In this paper we compute the Euler characteristic of De-Rahm cohomology of $H^{\htt P}_P(R)$ for certain classes of prime ideals $P$ in $R$ .

preprint2013arXiv

De Rahm cohomology of local cohomology modules-The graded case

Let $K$ be a field of characteristic zero, $R = K[X_1,...,X_n]$ . Let $A_n(K) = K<X_1,...,X_n, \partial_1, ..., \partial_n>$ be the $n^{th}$ Weyl algebra over $K$ . We consider the case when $R$ and $A_n(K)$ is graded by giving $°X_i = ω_i$ and $°\partial_i = -ω_i$ for $i =1,...,n$ (here $ω_i$ are positive integers). Set $ω= \sum_{k=1}^{n}ω_k$ . Let $I$ be a graded ideal in $R$ . By a result due to Lyubeznik the local cohomology modules $H^i_I(R)$ are holonomic $A_n(K)$ -modules for each $i \geq 0$ . In this article we prove that the De Rahm cohomology modules $H^*(\bP ; H^*_I(R))$ is concentrated in degree $- ω$ , i.e., $H^*(\bP ; H^*_I(R))_j = 0$ for $j \neq - ω$ . As an application when $A = R/(f)$ is an isolated singularity we relate $H^{n-1}(\bP ; H^1_{(f)}(R)$ to $H^{n-1}(\partial(f); A)$ , the $(n-1)^{th}$ Koszul cohomology of $A$ \wrt \ $\partial_1(f),...,\partial_n(f)$ .

preprint2013arXiv

de Rham cohomology of $H^1_{(f)}(R)$ where $V(f)$ is a smooth hypersurface in $\mathbb{P}^n$

Let $K$ be a field of characteristic zero, $R = K[X_1,\ldots,X_n]$ . Let $A_n(K) = K<X_1,\ldots,X_n, \partial_1, \ldots, \partial_n>$ be the $n^{th}$ Weyl algebra over $K$ . We consider the case when $R$ and $A_n(K)$ is graded by giving $°X_i = ω_i$ and $°\partial_i = -ω_i$ for $i =1,\ldots,n$ (here $ω_i$ are positive integers). Set $ω= \sum_{k=1}^{n}ω_k$ . Let $I$ be a graded ideal in $R$ . By a result due to Lyubeznik the local cohomology modules $H^i_I(R)$ are holonomic $A_n(K)$ -modules for each $i \geq 0$ . In this article we compute the de Rham cohomology modules $H^j(\mathbb{\partial}; H^1_{(f)}(R))$ for $j \leq n-2$ when $V(f)$ is a smooth hypersurface in $\mathbb{P}^n$ (equivalently $A = R/(f)$ is an isolated singularity).

preprint2013arXiv

Injective modules over some rings of Differential operators

Let $R$ be a regular domain containing a field $K$ of characteristic zero and let $D$ be the ring of $K$ -linear differential operators on $R$ . Let $E$ be an injective left $D$ -module. We ask the question, when is $E$ injective as a $R$ -module? We show that this is indeed the case when $R = K[X_1,...,X_n]$ or $R = K[[X_1,...,X_n]]$ or $R = \mathbb{C}\{z_1,...,z_n\}$ . We also give an application of our result to local cohomology.

preprint2013arXiv

On injective resolutions of local cohomology modules

Let $K$ be a field of characteristic zero and let $R = K[X_1,\ldots,X_n]$ . Let $I$ be an ideal in $R$ and let $M = H^i_I(R)$ be the $i^{th}$ -local cohomology module of $R$ with respect to $I$ . Let $c = \ injdim \ M$ . We prove that if $P$ is a prime ideal in $R$ with Bass number $μ_c(P,M) > 0$ then $P$ is a maximal ideal in $R$ .

preprint2013arXiv

On the intersection of Annihilator of the Valabrega-Valla module

Let $(A,\m)$ be a \CM \ local ring with an infinite residue field and let $I$ be an $\m$-primary ideal. Let $\bx = x_1,\ldots,x_r$ be a $A$ -superficial sequence \wrt \ $I$ . Set $$\Vc_I(\bx) = \bigoplus_{n\geq 1} \frac{I^{n+1}\cap (\bx)}{\bx I^n}. $$ A consequence of a theorem due to Valabrega and Valla is that $\Vc_I(\bx) = 0$ \ff \ the initial forms $x_1^*,\ldots,x_r^*$ is a $G_I(A)$ regular sequence. Furthermore this holds if and only if $\depth G_I(A) \geq r$. We show that if $\depth G_I(A) < r$ then \[ \af_r(I)= \bigcap_{\substack{\text{$\bx = x_1,\ldots,x_r$ is a} \\ \text{$A$-superficial sequence w.r.t $I$}}} \ann_A \Vc_I(\bx) \quad \ \text{is} \ \m\text{-primary}. \] Suprisingly we also prove that under the same hypotheses, \[ \bigcap_{n\geq 1} \af_r(I^n) \quad \ \text{is also} \ \m\text{-primary}. \]

preprint2013arXiv

On the Lowey length of modules of finite projective dimension

Let $(A,\mathfrak{m})$ be a local Gorenstein local ring and let $M$ be an $A$ module of finite length and finite projective dimension. We prove that the Lowey length of $M$ is greater than or equal to order of $A$ . This generalizes a result of Avramov, Buchweitz, Iyengar and Miller

preprint2013arXiv

Quasi-finite modules and asymptotic prime divisors

Let $A$ be a Noetherian ring, $J\subseteq A$ an ideal and $C$ a finitely generated $A$ -module. In this note we would like to prove the following statement. Let $\{I_n\}_{n\geq 0}$ be a collection of ideals satisfying : (i) $I_n\supseteq J^n$ , for all $n$ , (ii) $J^s\cdot I_s \subseteq I_{r+s}$ , for all $r,s\geq 0$ and (iii) $I_n\subseteq I_m$ , whenever $m\leq n$ . Then $\Ass_A(I_nC/J^nC)$ is independent of $n$ , for $n$ sufficiently large. Note that the set of prime ideals $\cup_{n\geq 1} \Ass_A(I_nC/J^nC)$ is finite, so the issue at hand is the realization that the primes in $\Ass_A(I_nC/J^nC)$ \textit{do not} behave periodically, as one might have expected, say if $\bigoplus _{n\geq 0}I_n$ were a Noetherian $A$ -algebra generated in degrees greater than one. We also give a multigraded version of our results.

preprint2011arXiv

Analytic Deviation One Ideals and Test Modules

Let A be a Cohen-Macaulay local ring of dimension d and I an ideal in A. Let M be a finitely generated maximal Cohen-Macaulay A-module. Let I be a locally complete intersection ideal of analytic deviation one and reduction number at most one. We prove that the polynomial given by $length(Tor^{A}_{1}(M,A/I^{n+1}))$ either has degree d-1 or $F_I(M)$ is a free $F(I)-$ $module.

preprint2011arXiv

The Hilbert function of a maximal Cohen-Macaulay module Part II

Let $(A,\m)$ be a strict complete intersection of positive dimension and let $M$ be a maximal \CM \ $A$ -module with bounded betti-numbers. We prove that the Hilbert function of $M$ is non-decreasing. We also prove an analogous statement for complete intersections of codimension two.

preprint2004arXiv

Ratliff-Rush Filtration, Regularity and depth of Higher Associated graded modules: Part I

In this paper we introduce a new technique to study associated graded modules. Let $(A,\m)$ be a Noetherian local ring with $\depth A \geq 2$. Our techniques gives a necessary and sufficient condition for $\depth G_{\m^n}(A) \geq 2$ for all $n \gg 0$ . Other applications are also included; most notable is an upper bound regarding the Ratliff-Rush filtration.

Tony J. Puthenpurakal

Research overview

Is this your work?

35 publications

A convenient category to study asymptotic primes and related questions

Graded components of local cohomology modules supported on C\mathfrak{C}C-monomial ideals

On a generalization of two results of Happel to commutative rings

On associated graded modules of maximal Cohen-Macaulay modules over hypersurface rings

On associated graded modules of maximal Cohen-Macaulay modules over hypersurface rings

On Coefficient ideals

On the Stable category of maximal Cohen-Macaulay modules over Gorenstein rings

Asymptotic prime divisors over complete intersection rings

Asymptotic primes and the Chow group

Growth of Hilbert coefficients of Syzygy modules

Invariants of Linkage of modules

On a generalization of a result of Peskine and Szpiro

On the Monotonicity of Hilbert functions

On the ring of differential operators of certain regular domains

Relative Hilbert co-efficients

Associated primes of Local cohomology modules over Regular rings

Examples of non-commutative crepant resolutions of Cohen Macaulay normal domains

Local Cohomology of Multi-Rees Algebras with Applications to Joint Reductions and Complete Ideals

On associated graded modules having a pure resolution

On functors that detect SnS_nSn​

On two dimensional mixed characteristic rings of finite Cohen Macaulay type

A function on the the set of isomorphism classes in the stable category of maximal Cohen-Macaulay modules over a Gorenstein ring: with applications to Liason theory

Bockstein cohomology of associated graded rings

De Rahm cohomology of local cohomology modules

De Rahm Cohomology of Local Cohomology modules II

De Rahm cohomology of local cohomology modules-The graded case

de Rham cohomology of H(f)1(R)H^1_{(f)}(R)H(f)1​(R) where V(f)V(f)V(f) is a smooth hypersurface in Pn\mathbb{P}^nPn

Injective modules over some rings of Differential operators

On injective resolutions of local cohomology modules

On the intersection of Annihilator of the Valabrega-Valla module

On the Lowey length of modules of finite projective dimension

Quasi-finite modules and asymptotic prime divisors

Analytic Deviation One Ideals and Test Modules

The Hilbert function of a maximal Cohen-Macaulay module Part II

Ratliff-Rush Filtration, Regularity and depth of Higher Associated graded modules: Part I

See the researcher in context

Building this map preview

Graded components of local cohomology modules supported on $\mathfrak{C}$ -monomial ideals

On functors that detect $S_n$

de Rham cohomology of $H^1_{(f)}(R)$ where $V(f)$ is a smooth hypersurface in $\mathbb{P}^n$