Showing 1–50 of 117 results for author: Puthenpurakal, T J

On lengths of modules over certain Artinian complete intersections

Authors: Tony J. Puthenpurakal

Abstract: Let $(Q,\mathfrak{n})$ be a regular local ring of dimension $c \geq 2$ with algebraically closed residue field $k = Q/\mathfrak{n}$. Let $f_1, f_2, \ldots f_{c-1}, g$ be a regular sequence in $Q$ such that $ f_i \in \mathfrak{n}^2$ for all $i$ and $g \in \mathfrak{n}$. Set $A = Q/(f_1,\ldots, f_{c-1}, g^r)$ with $r \geq 2$. Notice $A$ is an Artinian complete intersection of codimension $c$.… ▽ More Let $(Q,\mathfrak{n})$ be a regular local ring of dimension $c \geq 2$ with algebraically closed residue field $k = Q/\mathfrak{n}$. Let $f_1, f_2, \ldots f_{c-1}, g$ be a regular sequence in $Q$ such that $ f_i \in \mathfrak{n}^2$ for all $i$ and $g \in \mathfrak{n}$. Set $A = Q/(f_1,\ldots, f_{c-1}, g^r)$ with $r \geq 2$. Notice $A$ is an Artinian complete intersection of codimension $c$. We show that there exists $α_A \in \mathbb{P}^{c-1}(k)$ such that there exists integer $m_A \geq 2$ (depending only on $A$) with $m_A$ dividing $\ell(M)$ for every finitely generated $A$-module $M$ with $α_A \notin \mathcal{V}(M)$ (here $\ell(M)$ denotes the length of $M$ and $\mathcal{V}(M)$ denotes the support variety of $M$). As an application we prove that if $k$ be a field and $R = k[X_1, \ldots, X_c]/(X_1^{a_1}, \ldots, X_c^{a_c})$ with $a_i \geq 2$ and $c \geq 2$. Let $p$ be a prime number and assume $p$ divides two of the $a_i$. Then $p$ divides $\ell(E)$ for any $A$-module with bounded betti numbers. △ Less

Submitted 12 June, 2025; originally announced June 2025.

Comments: arXiv admin note: substantial text overlap with arXiv:2307.16132

MSC Class: Primary 13D02; 13D09; Secondary 13D15

Coherent functors, powers of ideals, and asymptotic stability

Authors: Souvik Dey, Dipankar Ghosh, Siddhartha Pramanik, Tony J. Puthenpurakal, Samarendra Sahoo

Abstract: Let $R$ be a Noetherian ring, $I_1,\ldots,I_r$ be ideals of $R$, and $N\subseteq M$ be finitely generated $R$-modules. Let $S = \bigoplus_{\underline{n} \in \mathbb{N}^r} S_{\underline{n}}$ be a Noetherian standard $\mathbb{N}^r$-graded ring with $S_{\underline{0}} = R$, and $\mathcal{M} $ be a finitely generated $\mathbb{Z}^r$-graded $S$-module. For… ▽ More Let $R$ be a Noetherian ring, $I_1,\ldots,I_r$ be ideals of $R$, and $N\subseteq M$ be finitely generated $R$-modules. Let $S = \bigoplus_{\underline{n} \in \mathbb{N}^r} S_{\underline{n}}$ be a Noetherian standard $\mathbb{N}^r$-graded ring with $S_{\underline{0}} = R$, and $\mathcal{M} $ be a finitely generated $\mathbb{Z}^r$-graded $S$-module. For $ \underline{n} = (n_1,\dots,n_r) \in \mathbb{N}^r$, set $G_{\underline{n}} := \mathcal{M}_{\underline{n}}$ or $G_{\underline{n}} := M/{\bf I}^{\underline{n}} N$, where ${\bf I}^{\underline{n}} = I_1^{n_1} \cdots I_r^{n_r}$. Suppose $F$ is a coherent functor on the category of finitely generated $R$-modules. We prove that the set $\rm{Ass}_R \big(F(G_{\underline{n}}) \big)$ of associate primes and $\rm{grade}\big(J, F(G_{\underline{n}})\big)$ stabilize for all $\underline{n} \gg 0$, where $J$ is a non-zero ideal of $R$. Furthermore, if the length $λ_R(F(G_{\underline{n}}))$ is finite for all $\underline{n} \gg 0$, then there exists a polynomial $P$ in $r$ variables over $\mathbb{Q}$ such that $λ_R(F(G_{\underline{n}})) = P(\underline{n})$ for all $\underline{n}\gg 0$. When $R$ is a local ring, and $G_{\underline{n}} = M/{\bf I}^{\underline{n}} N$, we give a sharp upper bound of the total degree of $P$. As applications, when $R$ is a local ring, we show that for each fixed $i \geq 0$, the $i$th Betti number $β_i^R(F(G_{\underline{n}}))$ and Bass number $μ^i_R(F(G_{\underline{n}}))$ are given by polynomials in $\underline{n}$ for all $\underline{n} \gg 0$. Thus, in particular, the projective dimension $\rm{pd}_R(F(G_{\underline{n}}))$ (resp., injective dimension $\rm{id}_R(F(G_{\underline{n}}))$) is constant for all $\underline{n}\gg 0$. △ Less

Submitted 31 May, 2025; originally announced June 2025.

Comments: 9 pages, comments and suggestions are welcome!

MSC Class: 13D07; 13A15 (Primary); 13A02; 13D02 (Secondary)

On a Relation between Euler characteristics of \MakeLowercase{de} Rham cohomology and Koszul cohomology of graded local cohomology modules

Authors: Tony J. Puthenpurakal, Rakesh B. T. Reddy

Abstract: Let $K$ be a field of characteristic zero. Let $R = K[X_0, X_1,\ldots,X_n]$ be standard graded. Let $A_{n+1}(K)$ be the $(n + 1)^{th}$ Weyl algebra over $K$. Let $I$ be a homogeneous ideal of $R$ and let $M = H^i_I(R)$ for some $i \geq 0$. By a result of Lyubeznik, $M$ is a graded holonomic $A_{n +1}(K)$-module for each $i \geq 0$. Let $χ^c(\mathbf{\partial}, M)$ ($χ^c(\mathbf{X}, M)$) be the Eu… ▽ More Let $K$ be a field of characteristic zero. Let $R = K[X_0, X_1,\ldots,X_n]$ be standard graded. Let $A_{n+1}(K)$ be the $(n + 1)^{th}$ Weyl algebra over $K$. Let $I$ be a homogeneous ideal of $R$ and let $M = H^i_I(R)$ for some $i \geq 0$. By a result of Lyubeznik, $M$ is a graded holonomic $A_{n +1}(K)$-module for each $i \geq 0$. Let $χ^c(\mathbf{\partial}, M)$ ($χ^c(\mathbf{X}, M)$) be the Euler characteristics of de Rham cohomology (resp. Koszul cohomology) of $M$. We prove $χ^c(\mathbf{\partial}, M) = (-1)^{n+1}χ^c(\mathbf{X}, M)$. △ Less

Submitted 23 May, 2025; originally announced May 2025.

MSC Class: Primary 13D45; Secondary 13N10

Cohomology Vanishing theorems over some rings containing nilpotents

Authors: Tony J. Puthenpurakal

Abstract: (1) Let $(A,\mathfrak{m})$ be complete Noetherian local ring of dimension $d$ and let $P$ be a prime ideal with $G_P(A) = \bigoplus_{n \geq 0}P^n/P^{n+1}$ a domain. Fix $r \geq 1$. If $J$ is a homogeneous ideal of $G_{P^r}(A)$ with $\text{dim} \ G_{P^r}(A)/J > 0$ then the local cohomology module $H^d_J(G_{P^r}(A)) = 0$. (2) Let $A = K[[X_1, \ldots,X_d]]$ and let… ▽ More (1) Let $(A,\mathfrak{m})$ be complete Noetherian local ring of dimension $d$ and let $P$ be a prime ideal with $G_P(A) = \bigoplus_{n \geq 0}P^n/P^{n+1}$ a domain. Fix $r \geq 1$. If $J$ is a homogeneous ideal of $G_{P^r}(A)$ with $\text{dim} \ G_{P^r}(A)/J > 0$ then the local cohomology module $H^d_J(G_{P^r}(A)) = 0$. (2) Let $A = K[[X_1, \ldots,X_d]]$ and let $\mathfrak{m} = (X_1, \ldots, X_d)$. Assume $K$ is separably closed. Fix $r \geq 1$. Let $J$ be a homogeneous ideal of $G_{\mathfrak{m}^r}(A)$. We show that local cohomology modules $H^{j}_J(G_{\mathfrak{m}^r}(A)) = 0$ for $j \geq d -1$ if and only if $\text{dim} \ G_{\mathfrak{m}^r}(A)/J \geq 2$ and $\text{Proj}\ G_{\mathfrak{m}^r}(A)/J $ is connected. △ Less

Submitted 18 April, 2025; originally announced April 2025.

MSC Class: Primary 13D45; 13A30; Secondary 14B15

The Cohen-Macaulay property of invariant rings over ring of integers of a global field-II

Authors: Tony J. Puthenpurakal

Abstract: Let $A$ be the ring of integers of a number field $K$. Let $G \subseteq GL_3(A)$ be a finite group. Let $G$ act linearly on $R = A[X,Y, Z]$ (fixing $A$) and let $S = R^G$ be the ring of invariants. Assume the Veronese subring $S^{<m>}$ of $S$ is standard graded. We prove that if for all primes $p$ dividing $|G|$, the Sylow $p$-subgroup of $G$ has exponent $p$ then for all $l \gg 0$ the Veronese su… ▽ More Let $A$ be the ring of integers of a number field $K$. Let $G \subseteq GL_3(A)$ be a finite group. Let $G$ act linearly on $R = A[X,Y, Z]$ (fixing $A$) and let $S = R^G$ be the ring of invariants. Assume the Veronese subring $S^{<m>}$ of $S$ is standard graded. We prove that if for all primes $p$ dividing $|G|$, the Sylow $p$-subgroup of $G$ has exponent $p$ then for all $l \gg 0$ the Veronese subring $S^{<ml>}$ of $S$ is Cohen-Macaulay. We prove a similar result if for all primes $p$ dividing $|G|$, the prime $p$ is unramified in $K$. △ Less

Submitted 7 April, 2025; originally announced April 2025.

MSC Class: Primary 13A50; Secondary 13H10

Associate primes of local cohomology modules over certain quotients of regular rings

Authors: Tony J. Puthenpurakal

Abstract: Let $R$ be a regular ring containing a field $k$. Let $\mathbf{x} = x_1, \ldots, x_r$ be a regular sequence in $R$ such that $R/(\mathbf{x})$ is a regular ring. Fix $m \geq 1$. Set $A_m = R/(\mathbf{x})^m$. We show that for any ideal $Q$ of $A_m$ the set $\text{Ass} \ H^i_Q(A_m)$ is a finite set for $i \geq 0$, in the following cases: 1. $\text{char}\ k = p > 0$. 2. $\text{char} \ k = 0$, $R$… ▽ More Let $R$ be a regular ring containing a field $k$. Let $\mathbf{x} = x_1, \ldots, x_r$ be a regular sequence in $R$ such that $R/(\mathbf{x})$ is a regular ring. Fix $m \geq 1$. Set $A_m = R/(\mathbf{x})^m$. We show that for any ideal $Q$ of $A_m$ the set $\text{Ass} \ H^i_Q(A_m)$ is a finite set for $i \geq 0$, in the following cases: 1. $\text{char}\ k = p > 0$. 2. $\text{char} \ k = 0$, $R$ is local or a smooth affine algebra over $k$. △ Less

Submitted 26 March, 2025; originally announced March 2025.

MSC Class: Primary 13D45; 13A30; Secondary 13N10; 14B15

Ext functors, support varieties and Hilbert polynomials over complete intersection rings

Authors: Tony J. Puthenpurakal

Abstract: Let $(A,\mathfrak{m})$ be a complete intersection of dimension $d \geq 1$ and codimension $c \geq 1$. Let $I$ be an $\mathfrak{m}$-primary ideal and let $M$ be a finitely generated $A$-module. For $i \geq 1$ let $ψ_i^I(M)$ be the degree of the polynomial type function $n \rightarrow \ell(Ext^i_A(M, A/I^n))$. We show that for $j = 0, 1$ and for all $i \gg 0$ we have $ψ_{2i +j}^I(M)$ is a constant a… ▽ More Let $(A,\mathfrak{m})$ be a complete intersection of dimension $d \geq 1$ and codimension $c \geq 1$. Let $I$ be an $\mathfrak{m}$-primary ideal and let $M$ be a finitely generated $A$-module. For $i \geq 1$ let $ψ_i^I(M)$ be the degree of the polynomial type function $n \rightarrow \ell(Ext^i_A(M, A/I^n))$. We show that for $j = 0, 1$ and for all $i \gg 0$ we have $ψ_{2i +j}^I(M)$ is a constant and let $r_0^I(M)$ and $r_1^I(M)$ denote these constant values. Set $r^I(M) = \max\{ r_0^I(M), r_1^I(M) \}$. We show that $r^I(M)$ is an invariant of $I, A$ and the support variety of $M$. We set the degree of the zero polynomial to be $-\infty$. If $r^I(M) \leq 0$ then we show that $reg \ G_I(Ω^i(M))$ for $i \geq 0$ is bounded. We give an application of this result to syzgetic Artin-Rees property of $M$. We also give several examples which illustrate our results. △ Less

Submitted 23 February, 2025; originally announced February 2025.

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

Higher dimensional Teter rings

Authors: Tony J. Puthenpurakal

Abstract: Let $(A,\mathfrak{m})$ be a complete Cohen-Macaulay local ring. Assume $A$ is not Gorenstein. We say $A$ is a Teter ring if there exists a complete Gorenstein ring $(B,\mathfrak{n})$ with $\dim B = \dim A$ and a surjective map $B \rightarrow A$ with $e(B) - e(A) = 1$ (here $e(A)$ denotes multiplicity of $A$). We give an intrinsic characterization of Teter rings which are domains. We say a Teter ri… ▽ More Let $(A,\mathfrak{m})$ be a complete Cohen-Macaulay local ring. Assume $A$ is not Gorenstein. We say $A$ is a Teter ring if there exists a complete Gorenstein ring $(B,\mathfrak{n})$ with $\dim B = \dim A$ and a surjective map $B \rightarrow A$ with $e(B) - e(A) = 1$ (here $e(A)$ denotes multiplicity of $A$). We give an intrinsic characterization of Teter rings which are domains. We say a Teter ring is a strongly Teter ring if $G(B) = \bigoplus_{i \geq 0}\mathfrak{n}^i/\mathfrak{n}^{i+1}$ is also a Gorenstein ring. We give an intrinsic characterizations of strongly Teter rings which are domains. If $k$ is algebraically closed field of characteristic zero and $R$ is a standard graded Cohen-Macaulay $k$-algebra of finite representation type (and not Gorenstein) then we show that $\widehat{R_\mathfrak{M}}$ is a Teter ring (here $\mathfrak{M}$ is the maximal homogeneous ideal of $R$). △ Less

Submitted 23 January, 2025; originally announced January 2025.

MSC Class: Primary 13H10; Secondary 13A30

On generalized Narita ideals

Authors: Tony J. Puthenpurakal

Abstract: Let $(A,\mathfrak{m})$ be a Cohen-Macaulay local ring of dimension $d \geq 2$. An $\mathfrak{m}$-primary ideal $I$ is said to be a generalized Narita ideal if $e_i^I(A) = 0$ for $2 \leq i \leq d$. If $I$ is a generalized Narita ideal and $M$ is a maximal Cohen-Macaulay $A$-module then we show $e_i^I(M) = 0$ for $2 \leq i \leq d$. We also have $G_I(M)$ is generalized Cohen-Macaulay. Furthermore we… ▽ More Let $(A,\mathfrak{m})$ be a Cohen-Macaulay local ring of dimension $d \geq 2$. An $\mathfrak{m}$-primary ideal $I$ is said to be a generalized Narita ideal if $e_i^I(A) = 0$ for $2 \leq i \leq d$. If $I$ is a generalized Narita ideal and $M$ is a maximal Cohen-Macaulay $A$-module then we show $e_i^I(M) = 0$ for $2 \leq i \leq d$. We also have $G_I(M)$ is generalized Cohen-Macaulay. Furthermore we show that there exists $c_I$ (depending only on $A$ and $I$) such that $\text{reg} \ G_I(M) \leq c_I$. △ Less

Submitted 22 January, 2025; originally announced January 2025.

MSC Class: Primary 13A30; Secondary 13D40; 13D07; 13D45

Asymptotic behavior of invariants of syzygies of maximal Cohen-Macaulay modules

Authors: Tony J. Puthenpurakal, Samarendra Sahoo

Abstract: Let $(A,\mathfrak{m})$ be a complete intersection ring of codimension $c\geq 2$ and dimension $d\geq 1$. Let $M$ be a finitely generated maximal Cohen-Macaulay $A$-module. Set $M_i=\text{Syz}^A_{i}(M)$. Let $e^{\mathfrak{m}}_i(M)$ be the $i$-th Hilbert coefficient of $M$ with respect to $\mathfrak{m}$. We prove for all $i\gg0$, the function $i\mapsto e^{\mathfrak{m}}_j(M_i)$ is a quasi-polynomial… ▽ More Let $(A,\mathfrak{m})$ be a complete intersection ring of codimension $c\geq 2$ and dimension $d\geq 1$. Let $M$ be a finitely generated maximal Cohen-Macaulay $A$-module. Set $M_i=\text{Syz}^A_{i}(M)$. Let $e^{\mathfrak{m}}_i(M)$ be the $i$-th Hilbert coefficient of $M$ with respect to $\mathfrak{m}$. We prove for all $i\gg0$, the function $i\mapsto e^{\mathfrak{m}}_j(M_i)$ is a quasi-polynomial type with period $2$ and degree $\text{cx}(M)-1$ for $j=0,1$, where $\text{cx}(M)$ is the complexity of $M.$ For $\text{cx}(M)=2,$ we prove $$\lim_{n\to \infty}\dfrac{e^{\mathfrak{m}}_1(M_{2n+j})}{n}\geq \lim_{n\to \infty}\dfrac{e^{\mathfrak{m}}_0(M_{2n+j})}{n}-\lim_{n\to \infty}\dfrac{μ(M_{2n+j})}{n}$$ for $j=0,1$. When equality holds, we prove that the Castelnuovo-Mumford regularity of the associated graded ring of $M_i$ with respect to the maximal ideal $\mathfrak{m}$ is bounded for all $i\geq 0$. △ Less

Submitted 8 December, 2024; originally announced December 2024.

MSC Class: Primary 13A30; 13C14; 13D40; Secondary 13D02; 13D07; 13D45

Graded components of local cohomology modules over polynomial rings

Authors: Tony J. Puthenpurakal

Abstract: Let $K$ be a field and let $R = K[X_1, \ldots, X_m]$ with $m \geq 2$. Give $R$ the standard grading. Let $I$ be a homogeneous ideal of height $g$. Assume $1 \leq g \leq m -1$. Suppose $H^i_I(R) \neq 0$ for some $i \geq 0$. We show (1) $H^i_I(R)_n \neq 0$ for all $n \leq -m$. (2) if Supp $H^i_I(R) \neq \{ (X_1, \ldots, X_m)\}$ then $H^i_I(R)_n \neq 0$ for all $n \in \mathbb{Z}$. Furthermore if… ▽ More Let $K$ be a field and let $R = K[X_1, \ldots, X_m]$ with $m \geq 2$. Give $R$ the standard grading. Let $I$ be a homogeneous ideal of height $g$. Assume $1 \leq g \leq m -1$. Suppose $H^i_I(R) \neq 0$ for some $i \geq 0$. We show (1) $H^i_I(R)_n \neq 0$ for all $n \leq -m$. (2) if Supp $H^i_I(R) \neq \{ (X_1, \ldots, X_m)\}$ then $H^i_I(R)_n \neq 0$ for all $n \in \mathbb{Z}$. Furthermore if char $K = 0$ then $\dim_K H^i_I(R)_n$ is infinite for all $n \in \mathbb{Z}$. (3) $\dim_K H^g_I(R)_n$ is infinite for all $n \in \mathbb{Z}$. In fact we prove our results for $\mathcal{T}(R)$ where $\mathcal{T}(-)$ is a large sub class of graded Lyubeznik functors △ Less

Submitted 20 November, 2024; originally announced November 2024.

MSC Class: Primary 13D45; 14B15; Secondary 13N10; 32C36

Resolutions of Koszul complexes and applications

Authors: Tony J. Puthenpurakal

Abstract: In this paper we consider projective and injective resolutions of Koszul complexes and give several applications to the study of Koszul homology modules. In this paper we consider projective and injective resolutions of Koszul complexes and give several applications to the study of Koszul homology modules. △ Less

Submitted 4 November, 2024; originally announced November 2024.

MSC Class: Primary 13D02

Local cohomology of ideals and the $R_n$ condition of Serre

Authors: Tony J. Puthenpurakal

Abstract: Let $R$ be a regular ring of dimension $d$ containing a field $K$ of characteristic zero. If $E$ is an $R$-module let $Ass^i E = \{ Q \in \ Ass E \mid \ height Q = i \}$. Let $P$ be a prime ideal in $R$ of height $g$. We show that if $R/P$ satisfies Serre's condition $R_i$ then $Ass^{g+i+1}H^{g+1}_P(R)$ is a finite set. As an application of our techniques we prove that if $P$ is a prime ideal in… ▽ More Let $R$ be a regular ring of dimension $d$ containing a field $K$ of characteristic zero. If $E$ is an $R$-module let $Ass^i E = \{ Q \in \ Ass E \mid \ height Q = i \}$. Let $P$ be a prime ideal in $R$ of height $g$. We show that if $R/P$ satisfies Serre's condition $R_i$ then $Ass^{g+i+1}H^{g+1}_P(R)$ is a finite set. As an application of our techniques we prove that if $P$ is a prime ideal in $R$ such that $(R/P)_\mathfrak{q}$ is regular for any non-maximal prime ideal $\mathfrak{q}$ then $H^i_P(R)$ has finitely many associate primes for all $i$. △ Less

Submitted 24 October, 2024; originally announced October 2024.

MSC Class: 13D45

Resolutions over strict complete intersections

Authors: Tony J. Puthenpurakal

Abstract: Let $(Q, \mathfrak{n})$ be a regular local ring and let $f_1, \ldots, f_c \in \mathfrak{n}^2$ be a $Q$-regular sequence. Set $(A, \mathfrak{m}) = (Q/(\mathbf{f}), \mathfrak{n}/(\mathbf{f}))$. Further assume that the initial forms $f_1^*, \ldots, f_c^*$ form a $G(Q) = \bigoplus_{n \geq 0}\mathfrak{n}^i/\mathfrak{n}^{i+1}$-regular sequence. Without loss of any generality assume… ▽ More Let $(Q, \mathfrak{n})$ be a regular local ring and let $f_1, \ldots, f_c \in \mathfrak{n}^2$ be a $Q$-regular sequence. Set $(A, \mathfrak{m}) = (Q/(\mathbf{f}), \mathfrak{n}/(\mathbf{f}))$. Further assume that the initial forms $f_1^*, \ldots, f_c^*$ form a $G(Q) = \bigoplus_{n \geq 0}\mathfrak{n}^i/\mathfrak{n}^{i+1}$-regular sequence. Without loss of any generality assume $ord_Q(f_1) \geq ord_Q(f_2) \geq \cdots \geq ord_Q(f_c)$. Let $M$ be a finitely generated $A$-module and let $(\mathbb{F}, \partial)$ be a minimal free resolution of $M$. Then we prove that $ord(\partial_i) \leq ord_Q(f_1) - 1$ for all $i \gg 0$. We also construct an MCM $A$-module $M$ such that $ord(\partial_{2i+1}) = ord_Q(f_1) - 1$ for all $i \geq 0$. We also give a considerably simpler proof regarding the periodicity of ideals of minors of maps in a minimal free resolution of modules over arbitrary complete intersection rings (not necessarily strict). △ Less

Submitted 2 October, 2024; v1 submitted 18 September, 2024; originally announced September 2024.

Comments: arXiv admin note: text overlap with arXiv:1109.5326. Typo in title corrected

MSC Class: Primary 13D02; Secondary 13C14

Regularity of Koszul modules

Authors: Tony J. Puthenpurakal

Abstract: Let $K$ be a field and let $S = K[X_1, \ldots, X_n]$. Let $I$ be a graded ideal in $S$ and let $M$ be a finitely generated graded $S$-module. We give upper bounds on the regularity of Koszul homology modules $H_i(I, M)$ for several classes of $I$ and $M$. Let $K$ be a field and let $S = K[X_1, \ldots, X_n]$. Let $I$ be a graded ideal in $S$ and let $M$ be a finitely generated graded $S$-module. We give upper bounds on the regularity of Koszul homology modules $H_i(I, M)$ for several classes of $I$ and $M$. △ Less

Submitted 18 September, 2024; originally announced September 2024.

MSC Class: Primary 13D02; 13D45; Secondary 13C40

First Coefficient ideals and $R_1$ property of Rees algebras

Authors: Tony J. Puthenpurakal

Abstract: Let $(A,\mathfrak{m})$ be an excellent normal local ring of dimension $d \geq 2$ with infinite residue field. Let $I$ be an $\mathfrak{m}$-primary ideal. Then the following assertions are equivalent: (i) The extended Rees algebra $A[It, t^{-1}]$ is $R_1$. (ii) The Rees algebra $A[It]$ is $R_1$. (iii) $Proj(A[It])$ is $R_1$. (iv) $(I^n)^* = (I^n)_1$ for all $n \geq 1$. Here $(I^n)^*$ is t… ▽ More Let $(A,\mathfrak{m})$ be an excellent normal local ring of dimension $d \geq 2$ with infinite residue field. Let $I$ be an $\mathfrak{m}$-primary ideal. Then the following assertions are equivalent: (i) The extended Rees algebra $A[It, t^{-1}]$ is $R_1$. (ii) The Rees algebra $A[It]$ is $R_1$. (iii) $Proj(A[It])$ is $R_1$. (iv) $(I^n)^* = (I^n)_1$ for all $n \geq 1$. Here $(I^n)^*$ is the integral closure of $I^n$ and $(I^n)_1$ is the first coefficient ideal of $I^n$. △ Less

Submitted 10 August, 2024; originally announced August 2024.

MSC Class: Primary 13A30; 13B22; Secondary 13D40; 13H10

On some Rings of differentiable type

Authors: Sayed Sadiqul Islam, Tony J. Puthenpurakal

Abstract: Let $K$ be a field of characteristic 0 and $S=K[x_1,\ldots,x_m]/I$ be an affine domain. Consider $R=S_P$ where $P\in Spec(S)$ such that $R$ is regular. In this paper we construct a field $F$ which is contained in $R$ such that (1) The residue field of $R$ is a finite extension of $F$. (2) $D_F(R)$, the ring of $F$-linear differential operators on $R$ is left and right Noetherian with finite gl… ▽ More Let $K$ be a field of characteristic 0 and $S=K[x_1,\ldots,x_m]/I$ be an affine domain. Consider $R=S_P$ where $P\in Spec(S)$ such that $R$ is regular. In this paper we construct a field $F$ which is contained in $R$ such that (1) The residue field of $R$ is a finite extension of $F$. (2) $D_F(R)$, the ring of $F$-linear differential operators on $R$ is left and right Noetherian with finite global dimension. (3) The Bernstein class of $D_F(R)$ is closed under localization at one element of $R$. We also prove a similar result for $R^h$, the Henselization of $R$. As an application we prove that $\frac{D_F(R)}{D_F(R)P}\cong E(κ(P))$ where $E(κ(P))$ is the injective hull of the residue field of $R$. △ Less

Submitted 8 June, 2024; originally announced June 2024.

Comments: arXiv admin note: text overlap with arXiv:1202.3597 by other authors

MSC Class: Primary 13N10; Secondary 13N15; 13D45

On unmixed and equi-dimensional associated graded rings

Authors: Tony J. Puthenpurakal, Samarendra Sahoo

Abstract: Let $(A,\mathfrak{m})$ be an analytically un-ramified Noetherian local ring of dimension $d \geq 1$, $I$ a regular $\mathfrak{m}$-primary ideal of $A$ and let $\overline{I}$ be integral closure ideal of $I$. If $A$ is of characteristic $p > 0$ then let $I^*$ denote the tight closure of $I$. Let $G_I(A)=\bigoplus_{n\geq 0}I^n/I^{n+1}$ be the associated graded ring of $A$ with respect to $I$. Assume… ▽ More Let $(A,\mathfrak{m})$ be an analytically un-ramified Noetherian local ring of dimension $d \geq 1$, $I$ a regular $\mathfrak{m}$-primary ideal of $A$ and let $\overline{I}$ be integral closure ideal of $I$. If $A$ is of characteristic $p > 0$ then let $I^*$ denote the tight closure of $I$. Let $G_I(A)=\bigoplus_{n\geq 0}I^n/I^{n+1}$ be the associated graded ring of $A$ with respect to $I$. Assume $G_I(A)$ is unmixed and equi-dimensional. We show that either the function $P_{\overline{I}} :\,n\mapsto λ(\overline{I^n}/I^n)$ is a polynomial type of degree $d-1$ or $\overline{I^n}=I^n$ for all $n\geq 1.$ We prove an analogus result for the tight closure filtration if $A$ is of characteristic $p > 0$. When $A$ is generalized Cohen-Macaulay and $I$ is generated by standard system of parameters we give bounds for the first Hilbert coefficients of the integral closure filtration of $I$ and the tight closure filtration of $I$. △ Less

Submitted 31 May, 2024; originally announced May 2024.

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

Dimension filtration of the bounded Derived category of a Noetherian ring

Authors: Tony J. Puthenpurakal

Abstract: Let $A$ be a Noetherian ring of dimension $d$ and let $\mathcal{D}^b(A)$ be the bounded derived category of $A$. Let $\mathcal{D}_i^b(A)$ denote the thick subcategory of $\mathcal{D}^b(A)$ consisting of complexes $\mathbf{X}_\bullet$ with $\dim H^n(\mathbf{X}_\bullet) \leq i$ for all $n$. Set $\mathcal{D}_{-1}^b(A) = 0$. Consider the Verdier quotients… ▽ More Let $A$ be a Noetherian ring of dimension $d$ and let $\mathcal{D}^b(A)$ be the bounded derived category of $A$. Let $\mathcal{D}_i^b(A)$ denote the thick subcategory of $\mathcal{D}^b(A)$ consisting of complexes $\mathbf{X}_\bullet$ with $\dim H^n(\mathbf{X}_\bullet) \leq i$ for all $n$. Set $\mathcal{D}_{-1}^b(A) = 0$. Consider the Verdier quotients $\mathcal{C}_i(A) = \mathcal{D}_i^b(A)/\mathcal{D}_{i-1}^b(A)$. We show for $i = 0, \ldots, d$, $\mathcal{C}_i(A)$ is a Krull-Remak-Schmidt triangulated category with a bounded $t$-structure. We identify its heart. We also prove that if $A$ is regular then $\mathcal{C}_i(A)$ has AR-triangles. We also prove that $$ \mathcal{C}_i(A) \cong \bigoplus_{\stackrel{P}{\dim A/P = i}} \mathcal{D}_0^b(A_P). $$ △ Less

Submitted 20 May, 2024; originally announced May 2024.

MSC Class: Primary 13D09; Secondary 13D02

Categorical Krull-Remak-Schmidt for triangulated categories

Authors: Tony J. Puthenpurakal

Abstract: Let $R$ be a commutative ring If $\mathcal{C}_1$ and $\mathcal{C}_2$ are $R$-linear triangulated categories then we can give an obvious triangulated structure on $\mathcal{C} = \mathcal{C}_1 \oplus \mathcal{C}_2$ where $Hom_\mathcal{C}(U, V) = 0$ if $U \in \mathcal{C}_i$ and $V \in \mathcal{C}_j$ with $i \neq j$. We say a $R$-linear triangulated category $\mathcal{C}$ is disconnected if… ▽ More Let $R$ be a commutative ring If $\mathcal{C}_1$ and $\mathcal{C}_2$ are $R$-linear triangulated categories then we can give an obvious triangulated structure on $\mathcal{C} = \mathcal{C}_1 \oplus \mathcal{C}_2$ where $Hom_\mathcal{C}(U, V) = 0$ if $U \in \mathcal{C}_i$ and $V \in \mathcal{C}_j$ with $i \neq j$. We say a $R$-linear triangulated category $\mathcal{C}$ is disconnected if $\mathcal{C} = \mathcal{C}_1 \oplus \mathcal{C}_2$ where $\mathcal{C}_i$ are non-zero triangulated subcategories of $\mathcal{C}$. Let $\mathcal{C}_i$ and $\mathcal{D}_j$ be connected triangulated $R$ categories with $i \in Γ$ and $j \in Λ$. Suppose there is an equivalence of triangulated $R$-categories \[ Φ\colon \bigoplus_{i \in Γ}\mathcal{C}_i \xrightarrow{\cong} \bigoplus_{j \in Λ}\mathcal{D}_j \] Then we show that there is a bijective function $π\colon Γ\rightarrow Λ$ such that we have an equivalence $\mathcal{C}_i \cong \mathcal{D}_{π(i)} $ for all $i \in Γ$. We give several examples of connected triangulated categories and also of triangulated subcategories which decompose into utmost finitely many components. △ Less

Submitted 29 April, 2024; originally announced April 2024.

MSC Class: Primary 18G80; Secondary 13D09; 13E35

Derived functors and Hilbert polynomials over hypersurface rings

Authors: Tony J. Puthenpurakal

Abstract: Let $(A,\mathfrak{m})$ be a hypersurface local ring of dimension $d \geq 1$ and let $I$ be an $\mathfrak{m}$-primary ideal. We show that there is a non-negative integer $r_I$ (depending only on $I$) such that if $M$ is any non-free maximal Cohen-Macaulay $A$-module the function $n \rightarrow \ell(Tor^A_1(M, A/I^{n+1}))$ (which is of polynomial type) has degree $r_I$. Analogous results hold for Hi… ▽ More Let $(A,\mathfrak{m})$ be a hypersurface local ring of dimension $d \geq 1$ and let $I$ be an $\mathfrak{m}$-primary ideal. We show that there is a non-negative integer $r_I$ (depending only on $I$) such that if $M$ is any non-free maximal Cohen-Macaulay $A$-module the function $n \rightarrow \ell(Tor^A_1(M, A/I^{n+1}))$ (which is of polynomial type) has degree $r_I$. Analogous results hold for Hilbert polynomials associated to Ext-functors. Surprisingly a key ingredient is the classification of thick subcategories of the stable category of MCM $A$-modules (obtained by Takahashi). △ Less

Submitted 24 July, 2024; v1 submitted 23 April, 2024; originally announced April 2024.

Comments: Two new results added. Some typos corrected

MSC Class: Primary 13D09; 13A30; Secondary 13H10

A solution to Itoh's conjecture for integral closure filtration

Authors: Tony J. Puthenpurakal

Abstract: Let $(A,\mathfrak{m})$ be an analytically unramified Cohen-Macaulay local ring of dimension $d \geq 3$ and let $\mathfrak{a}$ be an $\mathfrak{m}$-primary ideal in $A$. If $I$ is an ideal in $A$ then let $I^*$ be the integral closure of $I$ in $A$. Let $G_{\mathfrak{a}}(A)^* = \bigoplus_{n\geq 0 }(\mathfrak{a}^n)^*/(\mathfrak{a}^{n+1})^*$ be the associated graded ring of the integral closure filtr… ▽ More Let $(A,\mathfrak{m})$ be an analytically unramified Cohen-Macaulay local ring of dimension $d \geq 3$ and let $\mathfrak{a}$ be an $\mathfrak{m}$-primary ideal in $A$. If $I$ is an ideal in $A$ then let $I^*$ be the integral closure of $I$ in $A$. Let $G_{\mathfrak{a}}(A)^* = \bigoplus_{n\geq 0 }(\mathfrak{a}^n)^*/(\mathfrak{a}^{n+1})^*$ be the associated graded ring of the integral closure filtration of $\mathfrak{a}$. Itoh conjectured in 1992 that if third Hilbert coefficient of $G_{\mathfrak{a}}(A)^*$ , i.e., $e_3^{\mathfrak{a}^*}(A) = 0$ and $A$ is Gorenstein then $G_{\mathfrak{a}}(A)^*$ is Cohen-Macaulay. In this paper we prove Itoh's conjecture (more generally for analytically unramified Cohen-Macaulay local rings). △ Less

Submitted 11 April, 2024; originally announced April 2024.

Comments: arXiv admin note: substantial text overlap with arXiv:2205.10615

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

Integral closure and local cohomology

Authors: Tony J. Puthenpurakal

Abstract: Let $A$ be a Noetherian ring and let $I$ be an ideal in $A$. Let $\mathcal{F} = \{ J_n \}_{n \geq 0}$ be a multiplicative filtration of ideals in $A$ such that $\mathcal{R}(\mathcal{F}) = \bigoplus_{n \geq 0} J_n$ is a finitely generated $A$-algebra. Let $\mathcal{R} = A[It]$ and assume $I^n \subseteq J_n$ for all $n \geq 1$. We show the following two assertions are equivalent: (1) For all… ▽ More Let $A$ be a Noetherian ring and let $I$ be an ideal in $A$. Let $\mathcal{F} = \{ J_n \}_{n \geq 0}$ be a multiplicative filtration of ideals in $A$ such that $\mathcal{R}(\mathcal{F}) = \bigoplus_{n \geq 0} J_n$ is a finitely generated $A$-algebra. Let $\mathcal{R} = A[It]$ and assume $I^n \subseteq J_n$ for all $n \geq 1$. We show the following two assertions are equivalent: (1) For all $i \geq 0$ we have $H^i_{\mathcal{R}_+}(\mathcal{R}(\mathcal{F}))_n = 0$ for all $n \gg 0$. (2) $J_n \subseteq \overline{I^n}$ for all $n \geq 1$. Here $\overline{I^n}$ is the integral closure of $I^n$. △ Less

Submitted 4 April, 2024; originally announced April 2024.

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

$2$-Periodic complexes over regular local rings

Authors: Tony J. Puthenpurakal

Abstract: Let $(A,\mathfrak{m})$ be a regular local ring of dimension $d \geq 1$. Let $\mathcal{D}^2_{fg}(A)$ denote the derived category of $2$-periodic complexes with finitely generated cohomology modules. Let $\mathcal{K}^2(\proj A) $ denote the homotopy category of $2$-periodic complexes of finitely generated free $A$-modules. We show the natural map… ▽ More Let $(A,\mathfrak{m})$ be a regular local ring of dimension $d \geq 1$. Let $\mathcal{D}^2_{fg}(A)$ denote the derived category of $2$-periodic complexes with finitely generated cohomology modules. Let $\mathcal{K}^2(\proj A) $ denote the homotopy category of $2$-periodic complexes of finitely generated free $A$-modules. We show the natural map $\mathcal{K}^2(\ proj \ A) \longrightarrow \mathcal{D}^2(A)$ is an equivalence of categories. When $A$ is complete we show that $\mathcal{K}^2_f(\ proj \ A)$ ($2$-periodic complexes with finite length cohomology) is Krull-Schmidt with Auslander-Reiten (AR) triangles. We also compute the AR-quiver of $\mathcal{K}^2_f(\ proj \ A)$ when $\ dim \ A = 1$. △ Less

Submitted 14 March, 2024; originally announced March 2024.

MSC Class: Primary 13D09; 16G70; Secondary 13H05; 13H10

Equivalences of stable categories of Gorenstein local rings

Authors: Tony J. Puthenpurakal

Abstract: In this paper we give bountiful examples of Gorenstein local rings $A$ and $B$ such that there is a triangle equivalence between the stable categories \underline{CM}($A$), \underline{CM}($B$). In this paper we give bountiful examples of Gorenstein local rings $A$ and $B$ such that there is a triangle equivalence between the stable categories \underline{CM}($A$), \underline{CM}($B$). △ Less

Submitted 8 March, 2024; originally announced March 2024.

MSC Class: Primary 13D09; 13D15; Secondary 13C14; 13C60

Journal ref: Can. Math. Bull. 68 (2025) 338-348

The Cohen-Macaulay property of invariant rings over ring of integers of a global field

Authors: Tony J. Puthenpurakal

Abstract: Let $A$ be the ring of integers of global field $K$. Let $G \subseteq GL_2(A)$ be a finite group. Let $G$ act linearly on $R = A[X,Y]$ (fixing $A$). Let $R^G$ be the ring of invariants. In the equi-characteristic case we prove $R^G$ is Cohen-Macaulay. In mixed characteristic case we prove that if for all primes $p$ dividing $|G|$ the Sylow $p$-subgroup of $G$ has exponent $p$ then $R^G$ is Cohen-M… ▽ More Let $A$ be the ring of integers of global field $K$. Let $G \subseteq GL_2(A)$ be a finite group. Let $G$ act linearly on $R = A[X,Y]$ (fixing $A$). Let $R^G$ be the ring of invariants. In the equi-characteristic case we prove $R^G$ is Cohen-Macaulay. In mixed characteristic case we prove that if for all primes $p$ dividing $|G|$ the Sylow $p$-subgroup of $G$ has exponent $p$ then $R^G$ is Cohen-Macaulay. We prove a similar case if for all primes $p$ dividing $|G|$ the prime $p$ is un-ramified in $K$. △ Less

Submitted 14 February, 2024; originally announced February 2024.

MSC Class: Primary 13A50; Secondary 13H10

A convenient category to study asymptotic primes and related questions

Authors: Tony J. Puthenpurakal

Abstract: 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… ▽ More 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. △ Less

Submitted 5 January, 2024; originally announced January 2024.

MSC Class: Primary 13A30; Secondary 13E05; 18A22

Derived functors and Hilbert polynomials over regular local rings

Authors: Tony J. Puthenpurakal

Abstract: Let $(A,\mathfrak{m})$ be a regular local ring of dimension $d \geq 1$, $I$ an $\mathfrak{m}$-primary ideal. Let $N$ be a non-zero finitely generated $A$-module. Consider the functions \[ t^I(N, n) = \sum_{i = 0}^{ d}\ell(\text{Tor}^A_i(N, A/I^n)) \ \text{and}\ e^I(N, n) = \sum_{i = 0}^{ d}\ell(\text{Ext}_A^i(N, A/I^n)) \] of polynomial type and let their degrees be $t^I(N) $ and $e^I(N)$. We prov… ▽ More Let $(A,\mathfrak{m})$ be a regular local ring of dimension $d \geq 1$, $I$ an $\mathfrak{m}$-primary ideal. Let $N$ be a non-zero finitely generated $A$-module. Consider the functions \[ t^I(N, n) = \sum_{i = 0}^{ d}\ell(\text{Tor}^A_i(N, A/I^n)) \ \text{and}\ e^I(N, n) = \sum_{i = 0}^{ d}\ell(\text{Ext}_A^i(N, A/I^n)) \] of polynomial type and let their degrees be $t^I(N) $ and $e^I(N)$. We prove that $t^I(N) = e^I(N) = \max\{ \dim N, d -1 \}$. △ Less

Submitted 28 December, 2023; originally announced December 2023.

MSC Class: Primary 13D02; 13D07; Secondary 13A30; 13D40; 13D09

Journal ref: Proceedings of the Edinburgh Mathematical Society 67 (2024) 1137-1147

Bockstein cohomology of Maximal Cohen-Macaulay modules over Gorenstein isolated singularities

Authors: Tony J. Puthenpurakal

Abstract: Let $(A,\mathfrak{m})$ be an excellent equi-charateristic Gorenstein isolated singularity of dimension $d \geq 2$. Assume the residue field of $A$ is perfect. Let $I$ be any $\mathfrak{m}$-primary ideal. Let $G_I(A) = \bigoplus_{n \geq 0}I^n/I^{n+1}$ be the associated graded ring of $A$ with respect to $I$ and let $\mathcal{R}_I(A) = \bigoplus_{n \in \mathbb{Z}}I^n$ be the extended Rees algebra of… ▽ More Let $(A,\mathfrak{m})$ be an excellent equi-charateristic Gorenstein isolated singularity of dimension $d \geq 2$. Assume the residue field of $A$ is perfect. Let $I$ be any $\mathfrak{m}$-primary ideal. Let $G_I(A) = \bigoplus_{n \geq 0}I^n/I^{n+1}$ be the associated graded ring of $A$ with respect to $I$ and let $\mathcal{R}_I(A) = \bigoplus_{n \in \mathbb{Z}}I^n$ be the extended Rees algebra of $A$ with respect to $I$. Let $M$ be a finitely generated $A$-module. Let $G_I(M) = \bigoplus_{n \geq 0}I^nM/I^{n+1}M$ be the associated graded ring of $M$ with respect to $I$ (considered as a $G_I(A)$-module). Let $BH^i(G_I(M))$ be the $i^{th}$-Bockstein cohomology of $G_I(M)$ with respect to $\mathcal{R}_I(A)_+$-torsion functor. We show there exists $a \geq 1$ depending only on $A$ such that if $I$ is any $\mathfrak{m}$-primary ideal with $I \subseteq \mathfrak{m}^a$ and $G_I(A) $ generalized Cohen-Macaulay then the Bockstein cohomology $BH^i(G_I(M))$ has finite length for $i = 0, \ldots, d-1$ for any maximal Cohen-Macaulay $A$-module $M$. △ Less

Submitted 26 October, 2023; originally announced October 2023.

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

On certain DG-algebra resolutions

Authors: Tony J. Puthenpurakal

Abstract: In this paper we give several classes of Non-Gorenstein local rings $A$ which satisfy the property that $\text{Ext}^i_A(M, A) = 0$ for $i \gg 0$ then $\text{projdim}_A M$ is finite. We also show that if $\text{injdim}_A M = \infty$ then over such rings the bass-numbers of $M$ (with respect to $\mathfrak{m}$) are unbounded. When $A$ is a hypersurface ring we give an alternate proof of a result… ▽ More In this paper we give several classes of Non-Gorenstein local rings $A$ which satisfy the property that $\text{Ext}^i_A(M, A) = 0$ for $i \gg 0$ then $\text{projdim}_A M$ is finite. We also show that if $\text{injdim}_A M = \infty$ then over such rings the bass-numbers of $M$ (with respect to $\mathfrak{m}$) are unbounded. When $A$ is a hypersurface ring we give an alternate proof of a result due to Takahashi regarding thick subcategories of the stable category of maximal Cohen-Macaulay $A$-modules. This result of Takahashi implies some results due to Avramov, Buchweitez, Huneke and Wiegand. The technique used to prove our results is that the minimal resolution of the relevant rings have an appropriate DG-algebra structure (philosophically this technique is due to Nasseh, Ono, and Yoshino). △ Less

Submitted 27 September, 2023; originally announced September 2023.

MSC Class: Primary 13D07; 13D09 Secondary 13D02

Quasi-pure resolutions and some lower bounds of Hilbert coefficients of Cohen-Macaulay modules

Authors: Tony J. Puthenpurakal, Samarendra Sahoo

Abstract: Let $(A,\mathfrak{m})$ be a Gorenstein local ring and let $M$ be a finitely generated Cohen Macaulay $A$ module. Let $G(A)=\bigoplus_{n\geq 0}\mathfrak{m}^n/\mathfrak{m}^{n+1}$ be the associated graded ring of $A$ and $G(M)=\bigoplus_{n\geq 0}\mathfrak{m}^nM/\mathfrak{m}^{n+1}M$ be the associated graded module of $M$. If $A$ is regular and if $G(M)$ has a quasi-pure resolution then we show that… ▽ More Let $(A,\mathfrak{m})$ be a Gorenstein local ring and let $M$ be a finitely generated Cohen Macaulay $A$ module. Let $G(A)=\bigoplus_{n\geq 0}\mathfrak{m}^n/\mathfrak{m}^{n+1}$ be the associated graded ring of $A$ and $G(M)=\bigoplus_{n\geq 0}\mathfrak{m}^nM/\mathfrak{m}^{n+1}M$ be the associated graded module of $M$. If $A$ is regular and if $G(M)$ has a quasi-pure resolution then we show that $G(M)$ is Cohen-Macaulay. If $G(A)$ is Cohen-Macaulay and if $M$ has finite projective dimension then we give lower bounds on $e_0(M)$ and $e_1(M)$. Finally let $A = Q/(f_1, \ldots, f_c)$ be a strict complete intersection with $\text{ord}(f_i) = s$ for all $i$. Let $M$ be an Cohen-Macaulay module with $\text{cx}_A(M) = r < c$. We give lower bounds on $e_0(M)$ and $e_1(M)$. △ Less

Submitted 27 September, 2023; originally announced September 2023.

MSC Class: Primary 13A30; 13C14; Secondary 13D40; 13D07

Lengths of modules over short Artin local rings

Authors: Tony J. Puthenpurakal

Abstract: Let $(A,\mathfrak{m})$ be a short Artin local ring (i.e., $\mathfrak{m}^3 = 0$ and $\mathfrak{m}^2 \neq 0$). Assume $A$ is not a hypersurface ring. We show there exists $c_A \geq 2$ such that if $M$ is any finitely generated module with bounded betti-numbers then $c_A $ divides $\ell(M)$, the length of $M$. If $A$ is not a complete intersection then there exists $b_A \geq 2$ such that if $M$ is an… ▽ More Let $(A,\mathfrak{m})$ be a short Artin local ring (i.e., $\mathfrak{m}^3 = 0$ and $\mathfrak{m}^2 \neq 0$). Assume $A$ is not a hypersurface ring. We show there exists $c_A \geq 2$ such that if $M$ is any finitely generated module with bounded betti-numbers then $c_A $ divides $\ell(M)$, the length of $M$. If $A$ is not a complete intersection then there exists $b_A \geq 2$ such that if $M$ is any module with $curv(M) < \ curv(k)$ then $b_A$ divides $\ell(Ω^i_A(M))$ for all $i \geq 1$ (here $Ω^i_A(M)$ denotes the $i^{th}$-syzygy of $M$). △ Less

Submitted 30 July, 2023; originally announced July 2023.

MSC Class: Primary 13D02; 13D09; Secondary 13D15; 13A30

Koszul homology of $F$-finite module and applications

Authors: Tony J. Puthenpurakal

Abstract: Let $k$ be an infinite field of characteristic $p > 0$ and let $R = k[Y_1,\ldots, Y_d]$ (or $R = k[[Y_1,\ldots, Y_d]]$). Let $F \colon \text{Mod}(R) \rightarrow \text{Mod}(R)$ be the Frobenius functor and let $\mathcal{M}$ be a $F_R$-finite module (in the sense of Lyubeznik \cite{Lyu-2}). We show that if $r \geq 1$ then the Koszul homology modules $H_i(Y_1,\ldots, Y_r; \mathcal{M})$ are… ▽ More Let $k$ be an infinite field of characteristic $p > 0$ and let $R = k[Y_1,\ldots, Y_d]$ (or $R = k[[Y_1,\ldots, Y_d]]$). Let $F \colon \text{Mod}(R) \rightarrow \text{Mod}(R)$ be the Frobenius functor and let $\mathcal{M}$ be a $F_R$-finite module (in the sense of Lyubeznik \cite{Lyu-2}). We show that if $r \geq 1$ then the Koszul homology modules $H_i(Y_1,\ldots, Y_r; \mathcal{M})$ are $F_{\overline{R}}$-finite modules where $\overline{R} = R/(Y_1,\ldots, Y_r)$ for $i = 0, \ldots, r$. As an application if $A$ is a regular ring containing a field of characteristic $p > 0$ and $S = A[X_1,\ldots, X_m]$ is standard graded and $I$ is an arbitrary graded ideal in $S$ then we give a comprehensive study of graded components of local cohomology modules $H^i_I(S)$. This extends in positive characteristic results we proved in \cite{P}. We study $H^i_I(S) $ when $A$ is local and prove that if $S/I$ is equidimensional and $Proj(S/I)$ is Cohen-Macaulay then $H^i_I(S)_n = 0$ for all $n \geq 0$ and for all $i > \ height \ I$. If $B$ is a equicharacteristic local Noetherian ring with infinite residue field and with a surjective map $π\colon T \rightarrow B$ where $(T,\mathfrak{n})$ is regular local then we show that the Koszul cohomology modules $H^j(\mathfrak{n}, H^{\dim T - i}_{\ker π}(T))$ depend only on $A, i, j$ and not on $T$ and $π$. △ Less

Submitted 10 July, 2023; originally announced July 2023.

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

MSC Class: Primary 13D45; 14B15; Secondary 13N10; 32C36

Graded components of local cohomology modules of $\mathfrak{C}$-monomial ideals in characteristic zero

Authors: Tony J. Puthenpurakal, Sudeshna Roy

Abstract: Let $A$ be a commutative Noetherian ring of characteristic zero and $R=A[X_1, \ldots, X_d]$ be a polynomial ring over $A$ with the standard $\mathbb{N}^d$-grading. Let $I\subseteq R$ be an ideal which can be generated by elements of the form $aU$ where $a \in A$ (possibly nonunit) and $U$ is a monomial in $X_i$'s. We call such an ideal as a `$\mathfrak{C}$-monomial ideal'. Local cohomology modules… ▽ More Let $A$ be a commutative Noetherian ring of characteristic zero and $R=A[X_1, \ldots, X_d]$ be a polynomial ring over $A$ with the standard $\mathbb{N}^d$-grading. Let $I\subseteq R$ be an ideal which can be generated by elements of the form $aU$ where $a \in A$ (possibly nonunit) and $U$ is a monomial in $X_i$'s. We call such an ideal as a `$\mathfrak{C}$-monomial ideal'. Local cohomology modules supported on monomial ideals gain a great deal of interest due to their applications in the context of toric varieties. It was observed that for $\underline{u} \in \mathbb{Z}^d$, their $\underline{u}^{th}$ components depend only on which coordinates of $\underline{u}$ are negative. In this article, we show that this statement holds true in our general setting, even for certain invariants of the components. We mainly focus on the Bass numbers, injective dimensions, dimensions, associated primes, Bernstein-type dimensions, and multiplicities of the components. Under the extra assumption that $A$ is regular, we describe the finiteness of Bass numbers of each component and bound its injective dimension by the dimension of its support. Finally, we present a structure theorem for the components when $A$ is the ring of formal power series in one variable over a characteristic zero field. △ Less

Submitted 7 July, 2023; originally announced July 2023.

MSC Class: Primary 13D45; Secondary 13N10

A sub-functor for Ext and Cohen-Macaulay associated graded modules with bounded multiplicity-II

Authors: Ankit Mishra, Tony J. Puthenpurakal

Abstract: Let $(A,\mathfrak{m})$ be a \CM\ local ring, then notion of $T$-split sequence was introduced in part-1 of this paper for $\mathfrak{m}$-adic filtration with the help of numerical function $e^T_A$. We have explored the relation between AR-sequences and $T$-split sequences. For a Gorenstein ring $(A,\mathfrak{m})$ we define a Hom-finite Krull-Remak-Schmidt category $\mathcal{D}_A$ as a quotient of… ▽ More Let $(A,\mathfrak{m})$ be a \CM\ local ring, then notion of $T$-split sequence was introduced in part-1 of this paper for $\mathfrak{m}$-adic filtration with the help of numerical function $e^T_A$. We have explored the relation between AR-sequences and $T$-split sequences. For a Gorenstein ring $(A,\mathfrak{m})$ we define a Hom-finite Krull-Remak-Schmidt category $\mathcal{D}_A$ as a quotient of the stable category $\CMS(A)$. This category preserves isomorphism, i.e. $M\cong N$ in $\mathcal{D}_A$ if and only if $M\cong N$ in $\CMS(A)$.This article has two objectives; first objective is to extend the notion of $T$-split sequence, and second objective is to explore function $e^T_A$ and $T$-split sequence. When $(A,\mathfrak{m})$ be an \anram\ \CM\ local ring and $I$ be an $\mathfrak{m}$-primary ideal then we extend the techniques in part-1 of this paper to the integral closure filtration with respect to $I$ and prove a version of Brauer-Thrall-II for a class of such rings. △ Less

Submitted 12 June, 2023; originally announced June 2023.

MSC Class: Primary 13A30; 13C14; Secondary 13D40; 13D07

On the Lowey length of modules of finite projective dimension-II

Authors: Tony J. Puthenpurakal

Abstract: Let $(A,\mathfrak{m})$ be a Gorenstein local ring of dimension $d \geq 1$. Suppose there exists be a non-zero $A$ module $M$ of finite length and finite projective dimension such that $\ell\ell(M)$, the Lowey length of $M$, is equal to $λ(M)$, the length of $M$. Then we show that necessarily $A$ is at worst a hypersurface singularity. We also characterize Gorenstein local rings having a non-zero m… ▽ More Let $(A,\mathfrak{m})$ be a Gorenstein local ring of dimension $d \geq 1$. Suppose there exists be a non-zero $A$ module $M$ of finite length and finite projective dimension such that $\ell\ell(M)$, the Lowey length of $M$, is equal to $λ(M)$, the length of $M$. Then we show that necessarily $A$ is at worst a hypersurface singularity. We also characterize Gorenstein local rings having a non-zero module $M$ of finite length and finite projective dimension with $\ell\ell(M) = λ(M)-1$. △ Less

Submitted 17 May, 2023; originally announced May 2023.

MSC Class: Primary 13D02; Secondary 13D40

On $p_g$-ideals in positive characteristic

Authors: Tony J. Puthenpurakal

Abstract: Let $(A,\mathfrak{m})$ be an excellent normal domain of dimension two containing a field $k \cong A/\mathfrak{m}$. An $\mathfrak{m}$-primary ideal $I$ to be a $p_g$-ideal if the Rees algebra $A[It]$ is a Cohen-Macaulay normal domain. If $k$ is algebraically closed then Okuma, Watanabe and Yoshida proved that $A$ has $p_g$-ideals and furthermore product of two $p_g$-ideals is a $p_g$ ideal. In a pr… ▽ More Let $(A,\mathfrak{m})$ be an excellent normal domain of dimension two containing a field $k \cong A/\mathfrak{m}$. An $\mathfrak{m}$-primary ideal $I$ to be a $p_g$-ideal if the Rees algebra $A[It]$ is a Cohen-Macaulay normal domain. If $k$ is algebraically closed then Okuma, Watanabe and Yoshida proved that $A$ has $p_g$-ideals and furthermore product of two $p_g$-ideals is a $p_g$ ideal. In a previous paper we showed that if $k$ has characteristic zero then $A$ has $p_g$-ideals. In this paper we prove that if $k$ is perfect field of positive characteristic then also $A$ has $p_g$ ideals. △ Less

Submitted 13 March, 2023; originally announced March 2023.

Comments: arXiv admin note: substantial text overlap with arXiv:1808.09130

MSC Class: Primary 13A30; 13B22; Secondary 13A50; 14B05

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

Authors: Ankit Mishra, Tony J. Puthenpurakal

Abstract: If $(A,\mathfrak{m})$ is a hypersurface ring of dimension $d$ with $e(A)=3$. Let $M$ be an MCM $A$-module with $μ(M)=4$ then we prove that $\depth{G(M)}\geq d-3$. If $(A,\mathfrak{m})$ is a hypersurface ring of dimension $d$ with $e(A)=3$. Let $M$ be an MCM $A$-module with $μ(M)=4$ then we prove that $\depth{G(M)}\geq d-3$. △ Less

Submitted 2 March, 2023; originally announced March 2023.

Comments: This paper consists of part of our paper arXiv:2106.13758. This was done due to the advice of some of our colleagues. arXiv admin note: substantial text overlap with arXiv:2208.02667

Gorenstein rings via homological dimensions, and symmetry in vanishing of Ext and Tate cohomology

Authors: Dipankar Ghosh, Tony J. Puthenpurakal

Abstract: The aim of this article is to consider the spectral sequences induced by tensor-hom adjunction, and provide a number of new results. Let $R$ be a commutative Noetherian local ring of dimension $d$. In the 1st part, it is proved that $R$ is Gorenstein if and only if it admits a nonzero CM (Cohen-Macaulay) module $M$ of finite Gorenstein dimension $g$ such that… ▽ More The aim of this article is to consider the spectral sequences induced by tensor-hom adjunction, and provide a number of new results. Let $R$ be a commutative Noetherian local ring of dimension $d$. In the 1st part, it is proved that $R$ is Gorenstein if and only if it admits a nonzero CM (Cohen-Macaulay) module $M$ of finite Gorenstein dimension $g$ such that ${\rm type}(M) \le μ( {\rm Ext}_R^g(M,R) )$ (e.g., ${\rm type}(M)=1$). This considerably strengthens a result of Takahashi. Moreover, we show that if there is a nonzero $R$-module $M$ of depth $\ge d - 1$ such that the injective dimensions of $M$, ${\rm Hom}_R(M,M)$ and ${\rm Ext}_R^1(M,M)$ are finite, then $M$ has finite projective dimension and $R$ is Gorenstein. In the 2nd part, we assume that $R$ is CM with a canonical module $ω$. For CM $R$-modules $M$ and $N$, we show that the vanishing of one of the following implies the same for others: ${\rm Ext}_R^{\gg 0}(M,N^{+})$, ${\rm Ext}_R^{\gg 0}(N,M^{+})$ and ${\rm Tor}_{\gg 0}^R(M,N)$, where $M^{+}$ denotes ${\rm Ext}_R^{d-\dim(M)}(M,ω)$. This strengthens a result of Huneke and Jorgensen. Furthermore, we prove a similar result for Tate cohomologies under the additional condition that $R$ is Gorenstein. △ Less

Submitted 4 August, 2023; v1 submitted 13 February, 2023; originally announced February 2023.

Comments: 15 pages, reviewed version, Journal: Algebras and Representation Theory

MSC Class: 13D05; 13D07; 13H10

Journal ref: Algebr. Represent. Theory 27 (2024), 639--653

On $G(A)_\mathbb{Q}$ of rings of finite representation type

Authors: Tony J. Puthenpurakal

Abstract: Let $(A,\mathfrak{m})$ be an excellent Henselian Cohen-Macaulay local ring of finite representation type. If the AR-quiver of $A$ is known then by a result of Auslander and Reiten one can explicity compute $G(A)$ the Grothendieck group of finitely generated $A$-modules. If the AR-quiver is not known then in this paper we give estimates of $G(A)_\mathbb{Q} = G(A)\otimes_\mathbb{Z} \mathbb{Q}$ whe… ▽ More Let $(A,\mathfrak{m})$ be an excellent Henselian Cohen-Macaulay local ring of finite representation type. If the AR-quiver of $A$ is known then by a result of Auslander and Reiten one can explicity compute $G(A)$ the Grothendieck group of finitely generated $A$-modules. If the AR-quiver is not known then in this paper we give estimates of $G(A)_\mathbb{Q} = G(A)\otimes_\mathbb{Z} \mathbb{Q}$ when $k = A/\mathfrak{m}$ is perfect. As an application we prove that if $A$ is an excellent equi-characteristic Henselian Gornstein local ring of positive even dimension with $\text{char} \ A/\mathfrak{m} \neq 2,3,5$ (and $A/\mathfrak{m}$ perfect) then $G(A)_\mathbb{Q} \cong \mathbb{Q}$. △ Less

Submitted 23 September, 2022; originally announced September 2022.

MSC Class: Primary 13D15; Secondary 16G50; 16G60; 16G70

Integrally closed $\mathfrak{m}$-primary ideals have extremal resolutions

Authors: Dipankar Ghosh, Tony J. Puthenpurakal

Abstract: We show that every integrally closed $\mathfrak{m}$-primary ideal $I$ in a commutative Noetherian local ring $(R,\mathfrak{m},k)$ has maximal complexity and curvature, i.e., $ {\rm cx}_R(I) = {\rm cx}_R(k) $ and $ {\rm curv}_R(I) = {\rm curv}_R(k) $. As a consequence, we characterize complete intersection local rings in terms of complexity, curvature and complete intersection dimension of such ide… ▽ More We show that every integrally closed $\mathfrak{m}$-primary ideal $I$ in a commutative Noetherian local ring $(R,\mathfrak{m},k)$ has maximal complexity and curvature, i.e., $ {\rm cx}_R(I) = {\rm cx}_R(k) $ and $ {\rm curv}_R(I) = {\rm curv}_R(k) $. As a consequence, we characterize complete intersection local rings in terms of complexity, curvature and complete intersection dimension of such ideals. The analogous results on projective, injective and Gorenstein dimensions are known. However, we provide short proofs of these results as well. △ Less

Submitted 22 April, 2023; v1 submitted 29 August, 2022; originally announced August 2022.

Comments: 7 pages, after revisions

MSC Class: Primary 13B22; 13D02; 13D05; 13H10

Journal ref: Archiv der Mathematik 121 (2023), 123-131

On Coefficient ideals

Authors: Tony J. Puthenpurakal

Abstract: 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… ▽ More 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}$. △ Less

Submitted 25 August, 2022; originally announced August 2022.

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

On a generalization of two results of Happel to commutative rings

Authors: Tony J. Puthenpurakal

Abstract: 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 ca… ▽ More 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. △ Less

Submitted 25 August, 2022; originally announced August 2022.

MSC Class: Primary 13D09; 16G70; Secondary 13H05; 13H10

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

Authors: Ankit Mishra, Tony J. Puthenpurakal

Abstract: 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… ▽ More 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. △ Less

Submitted 4 August, 2022; originally announced August 2022.

Comments: This paper consists of part of our paper arXiv:2106.13758. This was done due to advice of some of our colleagues

MSC Class: Primary 13A30; Secondary 13D40; 13C15; 13H10

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

Authors: Tony J. Puthenpurakal, Sudeshna Roy

Abstract: 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}$-monomi… ▽ More 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. △ Less

Submitted 1 August, 2022; originally announced August 2022.

Comments: 20 pages

Itoh's conjecture for normal ideals

Authors: Tony J. Puthenpurakal

Abstract: Let $(A,\mathfrak{m})$ be an analytically unramified Cohen-Macaulay local ring and let $\mathfrak{a}$ be an $\mathfrak{m}$-primary ideal in $A$. If $I$ is an ideal in $A$ then let $I^*$ be the integral closure of $I$ in $A$. Let $G_{\mathfrak{a}}(A)^* = \bigoplus_{n\geq 0 }(\mathfrak{a}^n)^*/(\mathfrak{a}^{n+1})^*$ be the associated graded ring of the integral closure filtration of $\mathfrak{a}$.… ▽ More Let $(A,\mathfrak{m})$ be an analytically unramified Cohen-Macaulay local ring and let $\mathfrak{a}$ be an $\mathfrak{m}$-primary ideal in $A$. If $I$ is an ideal in $A$ then let $I^*$ be the integral closure of $I$ in $A$. Let $G_{\mathfrak{a}}(A)^* = \bigoplus_{n\geq 0 }(\mathfrak{a}^n)^*/(\mathfrak{a}^{n+1})^*$ be the associated graded ring of the integral closure filtration of $\mathfrak{a}$. Itoh conjectured that if $e_3^{\mathfrak{a}^*}(A) = 0$ and $A$ is Gorenstein then $G_{\mathfrak{a}}(A)^* $ is Cohen-Macaulay. In this paper we prove an important case of Itoh's conjecture: we show that if $A$ is Cohen-Macaulay and if $\mathfrak{a}$ is normal (i.e., $\mathfrak{a}^n$ is integrally closed for all $n \geq 1$) with $e_3^\mathfrak{a}(A) = 0$ then $G_\mathfrak{a}(A)$ is Cohen-Macaulay. △ Less

Submitted 28 November, 2022; v1 submitted 21 May, 2022; originally announced May 2022.

Comments: This paper consists of part of the author's paper arXiv:0807.0471 . This was done due to advice of some of my colleagues. The other parts of arXiv:0807.0471 will be published later in a separate paper. In the revised version of this paper we have quite a few details and clarified a few points (especially with shifts of a graded module)

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

Support Varieties and cohomology of Verdier quotients of stable category of complete intersection rings

Authors: Tony J. Puthenpurakal

Abstract: Let $(A,\mathfrak{m})$ be a complete intersection with $k = A/\mathfrak{m}$ algebraically closed. Let CMS(A) be the stable category of maximal CM $A$-modules. For a large class of thick subcategories $\mathcal{S}$ of CMS(A) we show that there is a theory of support varieties for the Verdier quotient $\mathcal{T} = $ CMS(A)$/\mathcal{S}$. As an application we show that the analogous version of Ausl… ▽ More Let $(A,\mathfrak{m})$ be a complete intersection with $k = A/\mathfrak{m}$ algebraically closed. Let CMS(A) be the stable category of maximal CM $A$-modules. For a large class of thick subcategories $\mathcal{S}$ of CMS(A) we show that there is a theory of support varieties for the Verdier quotient $\mathcal{T} = $ CMS(A)$/\mathcal{S}$. As an application we show that the analogous version of Auslander-Reiten conjecture, Murthys result, Avramov-Buchweitz result on symmetry of vanishing of cohomology holds for $\mathcal{T}$. △ Less

Submitted 31 July, 2021; originally announced August 2021.

MSC Class: Primary 13C14; 13D09; Secondary 13C60; 13D02

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

Authors: Tony J. Puthenpurakal

Abstract: 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 singular… ▽ More 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. △ Less

Submitted 16 June, 2022; v1 submitted 12 July, 2021; originally announced July 2021.

Comments: Title changed a bit. Introduction rewritten. Many minor changes

MSC Class: Primary 13C14; 13D09; Secondary 13C60; 13D02

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

Authors: Ankit Mishra, Tony J. Puthenpurakal

Abstract: 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… ▽ More 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. △ Less

Submitted 13 March, 2022; v1 submitted 25 June, 2021; originally announced June 2021.

Comments: Many typographical errors corrected and many details added

MSC Class: Primary 13A30; Secondary 13D40; 13C15; 13H10

Cohen-Macaulay local rings with $e_2 = e_1-e+1$

Authors: Ankit Mishra, Tony J. Puthenpurakal

Abstract: In this paper we study Cohen-Macaulay local rings of dimension $d$, multiplicity $e$ and second Hilbert coefficient $e_2$ in the case $e_2 = e_1 - e + 1$. Let $h = μ(\mathfrak{m}) - d$. If $e_2 \neq 0$ then in our case we can prove that type $A \geq e - h -1$. If type $A = e - h -1$ then we show that the associated graded ring $G(A)$ is Cohen-Macaulay. In the next case when type $A = e - h$ we det… ▽ More In this paper we study Cohen-Macaulay local rings of dimension $d$, multiplicity $e$ and second Hilbert coefficient $e_2$ in the case $e_2 = e_1 - e + 1$. Let $h = μ(\mathfrak{m}) - d$. If $e_2 \neq 0$ then in our case we can prove that type $A \geq e - h -1$. If type $A = e - h -1$ then we show that the associated graded ring $G(A)$ is Cohen-Macaulay. In the next case when type $A = e - h$ we determine all possible Hilbert series of $A$. In this case we show that the Hilbert Series of $A$ completely determines depth $G(A)$. △ Less

Submitted 11 November, 2020; originally announced November 2020.

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

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