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

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 23 April, 2024; originally announced April 2024.

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

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

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

Localization of complete intersections

Authors: Tony J. Puthenpurakal

Abstract: Let $(A,\mathfrak{m})$ be an abstract complete intersection and let $P$ be a prime ideal of $A$. In [1] Avramov proved that $A_P$ is an abstract complete intersection. In this paper we give an elementary proof of this result. Let $(A,\mathfrak{m})$ be an abstract complete intersection and let $P$ be a prime ideal of $A$. In [1] Avramov proved that $A_P$ is an abstract complete intersection. In this paper we give an elementary proof of this result. △ Less

Submitted 20 December, 2019; originally announced December 2019.

MSC Class: Primary 13H10; Secondary 13D02

Bass and Betti Numbers of $A/I^n.$

Authors: Ganesh S. Kadu, Tony J. Puthenpurakal

Abstract: Let $(A, \m, k)$ be a Gorenstein local ring of dimension $ d\geq 1.$ Let $I$ be an ideal of $A$ with $\htt(I) \geq d-1.$ We prove that the numerical function \[ n \mapsto \ell(\ext_A^i(k, A/I^{n+1}))\] is given by a polynomial of degree $d-1 $ in the case when $ i \geq d+1 $ and $\curv(I^n) > 1$ for all $n \geq 1.$ We prove a similar result for the numerical function \[ n \mapsto \ell(\Tor_i^A… ▽ More Let $(A, \m, k)$ be a Gorenstein local ring of dimension $ d\geq 1.$ Let $I$ be an ideal of $A$ with $\htt(I) \geq d-1.$ We prove that the numerical function \[ n \mapsto \ell(\ext_A^i(k, A/I^{n+1}))\] is given by a polynomial of degree $d-1 $ in the case when $ i \geq d+1 $ and $\curv(I^n) > 1$ for all $n \geq 1.$ We prove a similar result for the numerical function \[ n \mapsto \ell(\Tor_i^A(k, A/I^{n+1}))\] under the assumption that $A$ is a \CM ~ local ring. \noindent We note that there are many examples of ideals satisfying the condition $\curv(I^n) > 1,$ for all $ n \geq 1.$ We also consider more general functions $n \mapsto \ell(\Tor_i^A(M, A/I_n)$ for a filtration $\{I_n \}$ of ideals in $A.$ We prove similar results in the case when $M$ is a maximal \CM ~ $A$-module and $\{I_n=\overline{I^n} \}$ is the integral closure filtration, $I$ an $\m$-primary ideal in $A.$ △ Less

Submitted 9 September, 2019; originally announced September 2019.

MSC Class: 13D02; 13D40

Symbolic powers of monomial ideals

Authors: Tony J. Puthenpurakal

Abstract: Let $A = K[X_1,\ldots, X_d]$ and let $I$, $J$ be monomial ideals in $A$. Let $I_n(J) = (I^n \colon J^\infty)$ be the $n^{th}$ symbolic power of $I$ \wrt \ $J$. It is easy to see that the function $f^I_J(n) = e_0(I_n(J)/I^n)$ is of quasi-polynomial type, say of period $g$ and degree $c$. For $n \gg 0$ say \[ f^I_J(n) = a_c(n)n^c + a_{c-1}(n)n^{c-1} + \text{lower terms}, \] where for… ▽ More Let $A = K[X_1,\ldots, X_d]$ and let $I$, $J$ be monomial ideals in $A$. Let $I_n(J) = (I^n \colon J^\infty)$ be the $n^{th}$ symbolic power of $I$ \wrt \ $J$. It is easy to see that the function $f^I_J(n) = e_0(I_n(J)/I^n)$ is of quasi-polynomial type, say of period $g$ and degree $c$. For $n \gg 0$ say \[ f^I_J(n) = a_c(n)n^c + a_{c-1}(n)n^{c-1} + \text{lower terms}, \] where for $i = 0, \ldots, c$, $a_i \colon \mathbb{N} \rt \mathbb{Z}$ are periodic functions of period $g$ and $a_c \neq 0$. In an earlier paper we (together with Herzog and Verma) proved that $\dim I_n(J)/I^n$ is constant for $n \gg 0$ and $a_c(-)$ is a constant. In this paper we prove that if $I$ is generated by some elements of the same degree and height $I \geq 2$ then $a_{c-1}(-)$ is also a constant. △ Less

Submitted 6 August, 2019; originally announced August 2019.

MSC Class: Primary 13D40; Secondary 13H15

Cohen-Macaulay local rings with $e_1 = e + 2$

Authors: Tony J. Puthenpurakal

Abstract: In this paper we determine the possible Hilbert functions of a Cohen-Macaulay local ring of dimension $d$, multiplicity $e$ and first Hilbert coefficient $e_1$ in the case $e_1 = e + 2$. In this paper we determine the possible Hilbert functions of a Cohen-Macaulay local ring of dimension $d$, multiplicity $e$ and first Hilbert coefficient $e_1$ in the case $e_1 = e + 2$. △ Less

Submitted 26 July, 2019; originally announced July 2019.

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

On derived functors of graded local cohomology modules-II

Authors: Tony J. Puthenpurakal, Sudeshna Roy, Jyoti Singh

Abstract: Let $R=K[X_1,\ldots, X_n]$ where $K$ is a field of characteristic zero, and let $A_n(K)$ be the $n^{th}$ Weyl algebra over $K$. We give standard grading on $R$ and $A_n(K)$. Let $I$, $J$ be homogeneous ideals of $R$. Let $M = H^i_I(R)$ and $N = H^j_J(R)$ for some $i, j$. We show that $\Ext_{A_n(K)}^ν(M,N)$ is concentrated in degree zero for all $ν\geq 0$, i.e., $\Ext_{A_n(K)}^ν(M,N)_l=0$ for… ▽ More Let $R=K[X_1,\ldots, X_n]$ where $K$ is a field of characteristic zero, and let $A_n(K)$ be the $n^{th}$ Weyl algebra over $K$. We give standard grading on $R$ and $A_n(K)$. Let $I$, $J$ be homogeneous ideals of $R$. Let $M = H^i_I(R)$ and $N = H^j_J(R)$ for some $i, j$. We show that $\Ext_{A_n(K)}^ν(M,N)$ is concentrated in degree zero for all $ν\geq 0$, i.e., $\Ext_{A_n(K)}^ν(M,N)_l=0$ for $l \neq0$. This proves a conjecture stated in part I of this paper. △ Less

Submitted 2 June, 2019; originally announced June 2019.

MSC Class: 13D45 (Primary) 13N10 (Secondary)

Journal ref: Illinois J. Math. 64, no. 4 (2020), 595-612

On $p_g$-ideals

Authors: Tony J. Puthenpurakal

Abstract: Let $(A,\mathfrak{m})$ be an excellent normal domain of dimension two. We define an $\mathfrak{m}$-primary ideal $I$ to be a $p_g$-ideal if the Rees algebra $A[It]$ is a Cohen-Macaulay normal domain. When $A$ contains an algebraically closed field $k \cong A/\mathfrak{m}$ 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.… ▽ More Let $(A,\mathfrak{m})$ be an excellent normal domain of dimension two. We define an $\mathfrak{m}$-primary ideal $I$ to be a $p_g$-ideal if the Rees algebra $A[It]$ is a Cohen-Macaulay normal domain. When $A$ contains an algebraically closed field $k \cong A/\mathfrak{m}$ 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 this article we show that if $A$ is an excellent normal domain of dimension two containing a field $k \cong A/\mathfrak{m}$ of characteristic zero then also $A$ has $p_g$-ideals. Furthermore product of two $p_g$-ideals is $p_g$. △ Less

Submitted 28 August, 2018; originally announced August 2018.

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

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

Authors: Tony J. Puthenpurakal

Abstract: Let $(A,\mathfrak{m})$ be a Henselian Cohen-Macaulay local ring and let CM(A) be the category of maximal Cohen-Macaulay $A$-modules. We construct $T \colon CM(A)\times CM(A) \rightarrow mod(A)$, a subfunctor of $Ext^1_A(-, -)$ and use it to study properties of associated graded modules over $G(A) = \bigoplus_{n\geq 0} \mathfrak{m}^n/\mathfrak{m}^{n+1}$, the associated graded ring of $A$. As an app… ▽ More Let $(A,\mathfrak{m})$ be a Henselian Cohen-Macaulay local ring and let CM(A) be the category of maximal Cohen-Macaulay $A$-modules. We construct $T \colon CM(A)\times CM(A) \rightarrow mod(A)$, a subfunctor of $Ext^1_A(-, -)$ and use it to study properties of associated graded modules over $G(A) = \bigoplus_{n\geq 0} \mathfrak{m}^n/\mathfrak{m}^{n+1}$, the associated graded ring of $A$. As an application we give several examples of complete Cohen-Macaulay local rings $A$ with $G(A)$ Cohen-Macaulay and having distinct indecomposable maximal Cohen-Macaulay modules $M_n$ with $G(M_n)$ Cohen-Macaulay and the set $\{e(M_n)\}$ bounded (here $e(M)$ denotes multiplicity of $M$). △ Less

Submitted 21 August, 2018; originally announced August 2018.

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

Asymptotic depth of Ext modules over complete intersection rings

Authors: Provanjan Mallick, Tony J. Puthenpurakal

Abstract: Let $(A,\mathfrak{m})$ be a local complete intersection ring and let $I$ be an ideal in $A$. Let $M, N$ be finitely generated $A$-modules. Then for $l = 0,1$, the values $depth \ Ext^{2i+l}_A(M, N/I^nN)$ become independent of $i, n$ for $i,n \gg 0$. We also show that if $\mathfrak{p}$ is a prime ideal in $A$ then the $j^{th}$ Bass numbers $μ_j\big(\mathfrak{p},\ Ext^{2i+l}_A(M,N/{I^nN})\big)$ has… ▽ More Let $(A,\mathfrak{m})$ be a local complete intersection ring and let $I$ be an ideal in $A$. Let $M, N$ be finitely generated $A$-modules. Then for $l = 0,1$, the values $depth \ Ext^{2i+l}_A(M, N/I^nN)$ become independent of $i, n$ for $i,n \gg 0$. We also show that if $\mathfrak{p}$ is a prime ideal in $A$ then the $j^{th}$ Bass numbers $μ_j\big(\mathfrak{p},\ Ext^{2i+l}_A(M,N/{I^nN})\big)$ has polynomial growth in $(n,i)$ with rational coefficients for all sufficiently large $(n,i)$. △ Less

Submitted 5 February, 2018; originally announced February 2018.

MSC Class: 13C15. 13C40

An asymptotic bound for Castelnuovo-Mumford regularity of certain Ext modules over graded complete intersection rings

Authors: Dipankar Ghosh, Tony J. Puthenpurakal

Abstract: Set $ A := Q/({\bf z}) $, where $ Q $ is a polynomial ring over a field, and $ {\bf z} = z_1,\ldots,z_c $ is a homogeneous $ Q $-regular sequence. Let $ M $ and $ N $ be finitely generated graded $ A $-modules, and $ I $ be a homogeneous ideal of $ A $. We show that (1)… ▽ More Set $ A := Q/({\bf z}) $, where $ Q $ is a polynomial ring over a field, and $ {\bf z} = z_1,\ldots,z_c $ is a homogeneous $ Q $-regular sequence. Let $ M $ and $ N $ be finitely generated graded $ A $-modules, and $ I $ be a homogeneous ideal of $ A $. We show that (1) $ \mathrm{reg}\left( \mathrm{Ext}_A^{i}(M, I^nN) \right) \le ρ_N(I) \cdot n - f \cdot \left\lfloor \frac{i}{2} \right\rfloor + b \mbox{ for all } i, n \ge 0 $, (2) $ \mathrm{reg}\left( \mathrm{Ext}_A^{i}(M,N/I^nN) \right) \le ρ_N(I) \cdot n - f \cdot \left\lfloor \frac{i}{2} \right\rfloor + b' \mbox{ for all } i, n \ge 0 $, where $ b $ and $ b' $ are some constants, $ f := \mathrm{min}\{ \mathrm{deg}(z_j) : 1 \le j \le c \} $, and $ ρ_N(I) $ is an invariant defined in terms of reduction ideals of $ I $ with respect to $ N $. There are explicit examples which show that these inequalities are sharp. △ Less

Submitted 27 July, 2019; v1 submitted 5 January, 2018; originally announced January 2018.

Comments: 14 pages, updated version, to appear in Journal of Algebra

MSC Class: 13D07 (Primary); 13D02; 13A30 (Secondary)

Journal ref: Journal of Algebra, Volume 537, 2019, Pages 278--296

Graded components of local cohomology modules over invariant rings-II

Authors: Tony J. Puthenpurakal

Abstract: Let $A$ be a regular ring containing a field $K$ of characteristic zero and let $R = A[X_1,\ldots, X_m]$. Consider $R$ as standard graded with $°A = 0$ and $°X_i = 1$ for all $i$. Let $G$ be a finite subgroup of $GL_m(A)$. Let $G$ act linearly on $R$ fixing $A$. Let $S = R^G$. In this paper we present a comprehensive study of graded components of local cohomology modules $H^i_I(S)$ where $I$ is an… ▽ More Let $A$ be a regular ring containing a field $K$ of characteristic zero and let $R = A[X_1,\ldots, X_m]$. Consider $R$ as standard graded with $°A = 0$ and $°X_i = 1$ for all $i$. Let $G$ be a finite subgroup of $GL_m(A)$. Let $G$ act linearly on $R$ fixing $A$. Let $S = R^G$. In this paper we present a comprehensive study of graded components of local cohomology modules $H^i_I(S)$ where $I$ is an \emph{arbitrary} homogeneous ideal in $S$. We prove stronger results when $G \subseteq GL_m(K)$. Some of our results are new even in the case when $A$ is a field. △ Less

Submitted 21 August, 2018; v1 submitted 26 December, 2017; originally announced December 2017.

Comments: Better bounds obtained. A proposition corrected. Many typo's corrected

MSC Class: 13D45; 13A50

Graded components of local cohomology modules of invariant rings

Authors: Tony J. Puthenpurakal, Sudeshna Roy

Abstract: Let $A$ be a regular domain containing a field $K$ of characteristic zero, $G$ be a finite subgroup of the group of automorphisms of $A$ and $B=A^G$ be the ring of invariants of $G$. Let $S= A[X_1,\ldots, X_m]$ and $R= B[X_1, \ldots, X_m]$ be standard graded with $\ deg \ A=0$, $\ deg \ B=0$ and $\ deg \ X_i=1$ for all $i$. Extend the action of $G$ on $A$ to $S$ by fixing $X_i$. Note $S^G=R$. Let… ▽ More Let $A$ be a regular domain containing a field $K$ of characteristic zero, $G$ be a finite subgroup of the group of automorphisms of $A$ and $B=A^G$ be the ring of invariants of $G$. Let $S= A[X_1,\ldots, X_m]$ and $R= B[X_1, \ldots, X_m]$ be standard graded with $\ deg \ A=0$, $\ deg \ B=0$ and $\ deg \ X_i=1$ for all $i$. Extend the action of $G$ on $A$ to $S$ by fixing $X_i$. Note $S^G=R$. Let $I$ be an arbitrary homogeneous ideal in $R$. The main goal of this paper is to establish a comparative study of graded components of local cohomology modules $H_I^i(R)$ that would be analogs to those proven in a previous paper of the first author for $H_J^i(S)$ where $J$ is an arbitrary homogeneous ideal in $S$. △ Less

Submitted 28 September, 2017; originally announced September 2017.

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

Asymptotic associate primes

Authors: Dipankar Ghosh, Provanjan Mallick, Tony J. Puthenpurakal

Abstract: We investigate three cases regarding asymptotic associate primes. First, assume $ (A,\mathfrak{m}) $ is an excellent Cohen-Macaulay (CM) non-regular local ring, and $ M = \operatorname{Syz}^A_1(L) $ for some maximal CM $ A $-module $ L $ which is free on the punctured spectrum. Let $ I $ be a normal ideal. In this case, we examine when $ \mathfrak{m} \notin \operatorname{Ass}(M/I^nM) $ for all… ▽ More We investigate three cases regarding asymptotic associate primes. First, assume $ (A,\mathfrak{m}) $ is an excellent Cohen-Macaulay (CM) non-regular local ring, and $ M = \operatorname{Syz}^A_1(L) $ for some maximal CM $ A $-module $ L $ which is free on the punctured spectrum. Let $ I $ be a normal ideal. In this case, we examine when $ \mathfrak{m} \notin \operatorname{Ass}(M/I^nM) $ for all $ n \gg 0 $. We give sufficient evidence to show that this occurs rarely. Next, assume that $ (A,\mathfrak{m}) $ is excellent Gorenstein non-regular isolated singularity, and $ M $ is a CM $ A $-module with $\operatorname{projdim}_A(M) = \infty $ and $ \dim(M) = \dim(A) -1 $. Let $ I $ be a normal ideal with analytic spread $ l(I) < \dim(A) $. In this case, we investigate when $\mathfrak{m} \notin \operatorname{Ass} \operatorname{Tor}^A_1(M, A/I^n)$ for all $n \gg 0$. We give sufficient evidence to show that this also occurs rarely. Finally, suppose $ A $ is a local complete intersection ring. For finitely generated $ A $-modules $ M $ and $ N $, we show that if $ \operatorname{Tor}_i^A(M, N) \neq 0 $ for some $ i > \dim(A) $, then there exists a non-empty finite subset $ \mathcal{A} $ of $ \operatorname{Spec}(A) $ such that for every $ \mathfrak{p} \in \mathcal{A} $, at least one of the following holds true: (i) $ \mathfrak{p} \in \operatorname{Ass}\left( \operatorname{Tor}_{2i}^A(M, N) \right) $ for all $ i \gg 0 $; (ii) $ \mathfrak{p} \in \operatorname{Ass}\left( \operatorname{Tor}_{2i+1}^A(M, N) \right) $ for all $ i \gg 0 $. We also analyze the asymptotic behaviour of $\operatorname{Tor}^A_i(M, A/I^n)$ for $i,n \gg 0$ in the case when $I$ is principal or $I$ has a principal reduction generated by a regular element. △ Less

Submitted 27 July, 2019; v1 submitted 19 September, 2017; originally announced September 2017.

Comments: 34 pages

MSC Class: Primary 13A17; 13A30; 13D07; Secondary 13A15; 13H10

Journal ref: Journal of Pure and Applied Algebra, Volume 223, Issue 10, 2019, Pages 4246-4267

On asymptotic depth of integral closure filtration and an application

Authors: Tony J. Puthenpurakal

Abstract: Let $(A,\mathfrak{m})$ be an analytically unramified formally equidimensional Noetherian local ring with $\ depth \ A \geq 2$. Let $I$ be an $\mathfrak{m}$-primary ideal and set $I^*$ to be the integral closure of $I$. Set $G^*(I) = \bigoplus_{n\geq 0} (I^n)^*/(I^{n+1})^*$ be the associated graded ring of the integral closure filtration of $I$. We prove that $\ depth \ G^*(I^n) \geq 2$ for all… ▽ More Let $(A,\mathfrak{m})$ be an analytically unramified formally equidimensional Noetherian local ring with $\ depth \ A \geq 2$. Let $I$ be an $\mathfrak{m}$-primary ideal and set $I^*$ to be the integral closure of $I$. Set $G^*(I) = \bigoplus_{n\geq 0} (I^n)^*/(I^{n+1})^*$ be the associated graded ring of the integral closure filtration of $I$. We prove that $\ depth \ G^*(I^n) \geq 2$ for all $n \gg 0$. As an application we prove that if $A$ is also an excellent normal domain containing an algebraically closed field isomorphic to $A/\m$ then there exists $s_0$ such that for all $s \geq s_0$ and $J$ is an integrally closed ideal \emph{strictly} containing $(\mathfrak{m}^s)^*$ then we have a strict inequality $μ(J) < μ((\mathfrak{m}^s)^*)$ (here $μ(J)$ is the number of minimal generators of $J$). △ Less

Submitted 19 September, 2017; originally announced September 2017.

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

The strong Rees property of powers of the maximal ideal and Takahashi-Dao's question

Authors: Tony J. Puthenpurakal, Kei-ichi Watanabe, Ken-ichi Yoshida

Abstract: In this paper, we introduce the notion of the strong Rees property (SRP) for $\mathfrak{m}$-primary ideals of a Noetherian local ring and prove that any power of the maximal ideal $\mathfrak{m}$ has its property if the associated graded ring $G$ of $\mathfrak{m}$ satisfies $\text{depth} \ G \ge 2$. As its application, we characterize two-dimensional excellent normal local domains so that… ▽ More In this paper, we introduce the notion of the strong Rees property (SRP) for $\mathfrak{m}$-primary ideals of a Noetherian local ring and prove that any power of the maximal ideal $\mathfrak{m}$ has its property if the associated graded ring $G$ of $\mathfrak{m}$ satisfies $\text{depth} \ G \ge 2$. As its application, we characterize two-dimensional excellent normal local domains so that $\mathfrak{m}$ is a $p_g$-ideal. Finally we ask what $\mathfrak{m}$-primary ideals have SRP and state a conjecture which characterizes the case when $\mathfrak{m}^n$ are the only ideals which have SRP. △ Less

Submitted 21 August, 2017; originally announced August 2017.

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

On $G$-invariant Gorenstein ideals

Authors: Tony J. Puthenpurakal

Abstract: Let $k$ be a field and $G \subseteq Gl_n(k)$ be a finite group with $|G|^{-1} \in k$. Let $G$ act linearly on $A = k[X_1, \ldots, X_n]$ and let $A^G$ be the ring of invariant's. Suppose there does not exist any non-trivial one-dimensional representation of $G$ over $k$. Then we show that if $Q$ is a $G$-invariant homogeneous ideal of $A$ such that $A/Q$ is a Gorenstein ring then $A^G/Q^G$ is also… ▽ More Let $k$ be a field and $G \subseteq Gl_n(k)$ be a finite group with $|G|^{-1} \in k$. Let $G$ act linearly on $A = k[X_1, \ldots, X_n]$ and let $A^G$ be the ring of invariant's. Suppose there does not exist any non-trivial one-dimensional representation of $G$ over $k$. Then we show that if $Q$ is a $G$-invariant homogeneous ideal of $A$ such that $A/Q$ is a Gorenstein ring then $A^G/Q^G$ is also a Gorenstein ring. △ Less

Submitted 15 August, 2017; originally announced August 2017.

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

Graded components of Local cohomology modules II

Authors: Tony J. Puthenpurakal, Sudeshna Roy

Abstract: Let $A$ be a commutative Noetherian ring containing a field of characteristic zero. Let $R= A[X_1, \ldots, X_m]$ be a polynomial ring and $A_m(A) = A \langle X_1, \ldots, X_m, \partial_1, \ldots, \partial_m \rangle$ be the $m^{th}$ Weyl algebra over $A$, where $\partial_i=\partial/\partial X_i$. Consider both $R$ and $A_m(A)$ as standard graded with $\mathrm{deg}~ z=0$ for all $z \in A$,… ▽ More Let $A$ be a commutative Noetherian ring containing a field of characteristic zero. Let $R= A[X_1, \ldots, X_m]$ be a polynomial ring and $A_m(A) = A \langle X_1, \ldots, X_m, \partial_1, \ldots, \partial_m \rangle$ be the $m^{th}$ Weyl algebra over $A$, where $\partial_i=\partial/\partial X_i$. Consider both $R$ and $A_m(A)$ as standard graded with $\mathrm{deg}~ z=0$ for all $z \in A$, $\mathrm{deg}~ X_i=1$, and $\mathrm{deg}~ \partial_i =-1$ for $i=1, \ldots, m$. We present a few results about the behavior of the graded components of local cohomology modules $H_I^i(R)$, where $I$ is an arbitrary homogeneous ideal in $R$. We mostly restrict our attention to the Vanishing, Tameness, and Rigidity properties. To obtain this, we use the theory of $D$-modules and show that generalized Eulerian $A_m(A)$-modules exhibit these properties. As a corollary, we further get that components of graded local cohomology modules with respect to a pair of ideals display similar behavior. △ Less

Submitted 6 October, 2021; v1 submitted 4 August, 2017; originally announced August 2017.

Comments: Section 10 has been added

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