Source author record

Dipankar Ghosh

Dipankar Ghosh appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

7works
1topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

7 published item(s)

preprint2026arXiv

Complexity and curvature of (pairs of) Cohen-Macaulay modules, and their applications

The complexity and curvature of a module, introduced by Avramov, measure the growth of Betti and Bass numbers of a module, and distinguish the modules of infinite homological dimension. The notion of complexity was extended by Avramov-Buchweitz to pairs of modules that measure the growth of Ext modules. The related notion of Tor complexity was first studied by Dao. Inspired by these notions, we define Ext and Tor curvature of pairs of modules. The aim of this article is to study (Ext and Tor) complexity and curvature of pairs of certain CM (Cohen-Macaulay) modules, and establish lower bounds of complexity and curvature of pairs of modules in terms of that of a single module. It is known that among all modules, the residue field has maximal complexity and curvature, moreover they characterize complete intersection local rings. As applications of our results, we provide some upper bounds of the curvature of the residue field in terms of curvature and multiplicity of any nonzero CM module. As a final upshot, these allow us to characterize complete intersection local rings (including hypersurfaces and regular rings) in terms of complexity and curvature of pairs of certain CM modules. In particular, under some additional hypotheses, we characterize complete intersection and regular local rings via injective curvature of the ring and that of the module of Kähler differentials respectively. Thus, we make partial progress towards a question of Christensen-Striuli-Veliche, as well as another by Vasconcelos.

preprint2026arXiv

Complexity and curvature of pairs of Burch modules and ideals

The complexity and curvature of a module were first introduced by Avramov to distinguish modules of infinite homological dimension. Later, Avramov-Buchweitz extended the notion of complexity from a single module to that of pairs of modules, which measures the polynomial growth rate of the minimal number of generators of their Ext modules. Dao studied a similar notion of Tor-complexity. Recently, Dey-Ghosh-Saha initiated the study of Ext and Tor curvature of a pair of modules, which measure the exponential growth rates of the corresponding Ext and Tor, respectively. On the other hand, the concept of Burch ideals was introduced by Dao-Kobayashi-Takahashi, motivated by the classical work of Burch, and subsequently extended to modules by Dey-Kobayashi. This class includes several large and well-studied families of modules and ideals over a Noetherian local ring $(R,\mathfrak{m},k)$. For example, these include the residue field $k$ as an $R$-module, every nonzero module of the form $\mathfrak{m} M$ (e.g., $\mathfrak{m}^n$ for $n\ge 1$), and under mild conditions every integrally closed ideal $I$ with $\rm{depth}(R/I)=0$. Suppose $I$ and $J$ are Burch ideals such that $I$ is $\mathfrak{m}$-primary. Motivated by Avramov's result that Burch modules exhibit extremal complexity and curvature, we establish in this article that $\rm{cx}_R(I,J)=\rm{tcx}_R(I,J)=\rm{cx}_R(k)$. Moreover, we show that $R$ is complete intersection if and only if $\rm{cx}_R(I,J)$ or $\rm{tcx}_R(I,J)$ is finite if and only if $\rm{curv}_R(I,J)$ or $\mathrm{tcurv}_R(I,J)$ is at most $1$. We deduce these results from the corresponding more general results on Burch modules.

preprint2026arXiv

Test properties of some Cohen-Macaulay modules and criteria for local rings via finite vanishing of Ext or Tor

In this article, we show test properties, in the sense of finitely many vanishing of Ext or Tor, of CM (Cohen-Macaulay) modules whose multiplicity and number of generators (resp., type) are related by certain inequalities. We apply these test behaviour, along with other results, to characterize various kinds of local rings, including hypersurface rings of multiplicity at most two, surprisingly requiring only finitely many vanishing of Ext or Tor involving such CM modules. As further applications, we verify the long-standing (Generalized) Auslander-Reiten Conjecture for every CM module of minimal multiplicity over a Noetherian local ring, thus vastly extending a result of Huneke-Şega-Vraciu.

preprint2020arXiv

Gorensteinness of short local rings in terms of the vanishing of Ext and Tor

Let $(R,\mathfrak{m})$ be a commutative Noetherian local ring which contains a regular sequence $ \underline{x} = x_1,\ldots,x_d \in \mathfrak{m} \smallsetminus \mathfrak{m}^2 $ such that $ \mathfrak{m}^3 \subseteq (\underline{x}) $. Let $ M $ be a finite $ R $-module with maximal complexity or curvature, e.g., $ M $ can be a nonzero direct summand of some syzygy module of the residue field $ R/\mathfrak{m} $. It is shown that the following are equivalent: (1) $R$ is Gorenstein, (2) $\mathrm{Ext}_R^{\gg 0}(M,R)=0$, and (3) $\mathrm{Tor}_{\gg 0}^R(M,ω) = 0$, where $ω$ denotes a canonical module of $R$. It gives a partial answer to a question raised by Takahashi. Moreover, the vanishing of $\mathrm{Ext}_R^{\gg 0}(ω,N)$ for certain $ R $-module $ N $ is also analyzed. Finally, it is studied why Gorensteinness of such local rings is important.

preprint2016arXiv

Asymptotic prime divisors over complete intersection rings

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

preprint2015arXiv

Asymptotic linear bounds of Castelnuovo-Mumford regularity in multigraded modules

Let $A$ be a Noetherian standard $\mathbb{N}$-graded algebra over an Artinian local ring $A_0$. Let $I_1,\ldots,I_t$ be homogeneous ideals of $A$ and $M$ a finitely generated $\mathbb{N}$-graded $A$-module. We prove that there exist two integers $k$ and $k'$ such that \[ \mathrm{reg}(I_1^{n_1} \cdots I_t^{n_t} M) \leq (n_1 + \cdots + n_t) k + k' \quad\mbox{for all }~n_1,\ldots,n_t \in \mathbb{N}. \]

preprint2014arXiv

Existence of special primary decompositions in multigraded modules

Let $R=\bigoplus_{\underline{n} \in \mathbb{N}^t}R_{\underline{n}}$ be a commutative Noetherian $\mathbb{N}^t$-graded ring, and $L = \bigoplus_{\underline{n}\in\mathbb{N}^t}L_{\underline{n}}$ be a finitely generated $\mathbb{N}^t$-graded $R$-module. We prove that there exists a positive integer $k$ such that for any $\underline{n} \in \mathbb{N}^t$ with $L_{\underline{n}} \neq 0$, there exists a primary decomposition of the zero submodule $O_{\underline{n}}$ of $L_{\underline{n}}$ such that for any $P \in {\rm Ass}_{R_0}(L_{\underline{n}})$, the $P$-primary component $Q$ in that primary decomposition contains $P^k L_{\underline{n}}$. We also give an example which shows that not all primary decompositions of $O_{\underline{n}}$ in $L_{\underline{n}}$ have this property. As an application of our result, we prove that there exists a fixed positive integer $l$ such that the $0^{\rm th}$ local cohomology $H_I^0(L_{\underline{n}}) = \big(0 :_{L_{\underline{n}}} I^l\big)$ for all ideals $I$ of $R_0$ and for all $\underline{n} \in \mathbb{N}^t$.