Source author record

Kamran Divaani-Aazar

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

21works
3topics
4close collaborators

Published work

21 publications

preprint2022arXiv

Characterizing certain semidualizing complexes via their Betti and Bass numbers

It is known that the numerical invariants Betti numbers and Bass numbers are worthwhile tools for decoding a large amount of information about modules over commutative rings. We highlight this fact, further, by establishing some criteria for certain semidualizing complexes via their Betti and Bass numbers. Two distinguished types of semidualizing complexes are the shifts of the underlying rings and dualizing complexes. Let CC be a semidualizing complex for an analytically irreducible local ring RR and set n:=sup⁡Cn:=\sup C and d:=dim⁡RCd:=\dim_RC. We show that CC is quasi-isomorphic to a shift of RR if and only if the nnth Betti number of CC is one. Also, we show that CC is a dualizing complex for RR if and only if the ddth Bass number of CC is one.

preprint2022arXiv

The balance of relative Ext groups defined by semi dualizing modules

Let RR be a commutative Noetherian ring with identity and CC a semidualizing module for RR. Let PC(R)\mathscr{P}_C(R) and IC(R)\mathscr{I}_C (R) denote, respectively, the classes of CC-projective and CC-injective RR-modules. We show that their induced Ext bifunctors ExtPCi(−,∼)\text{Ext}^i_{\mathscr{P}_C}(-,\sim) and ExtICi(−,∼)\text{Ext}^i_{\mathscr{I}_C}(-,\sim) coincide for all i≥0i\geq 0 if and only if CC is projective. Also, we provide some other criteria for CC to be projective by using some special cotorsion theories.

preprint2013arXiv

Filter-regular sequences, almost complete intersections and Stanley's conjecture

Let KK be a field and II a monomial ideal of the polynomial ring S=K[x1,...,xn]S=K[x_1,..., x_n] generated by monomials u1,u2,...,utu_1,u_2,..., u_t. We show that S/IS/I is pretty clean if either: 1) u1,u2,...,utu_1,u_2,..., u_t is a filter-regular sequence, 2) u1,u2,...,utu_1,u_2,..., u_t is a dd-sequence; or 3) II is almost complete intersection. In particular, in each of these cases, S/IS/I is sequentially Cohen-Macaulay and both Stanley's and hh-regularity conjectures, on Stanley decompositions, hold for S/IS/I. Also, we prove that if II is the Stanley-Reisner ideal of a locally complete intersection simplicial complex on [n][n], then Stanley's conjecture holds for S/IS/I.

preprint2013arXiv

The Existence of Relative pure Injective Envelopes

Let S\mathcal{S} be a class of finitely presented RR-modules such that R∈SR\in \mathcal{S} and S\mathcal{S} has a subset S∗,\mathcal{S}^*, with the property that for any U∈SU\in \mathcal{S} there is a U∗∈S∗U^*\in \mathcal{S}^* with U∗≅U.U^*\cong U. We show that the class of S\mathcal{S}-pure injective RR-modules is preenveloping. As an application, we deduce that the left global S\mathcal{S}-pure projective dimension of RR is equal to its left global S\mathcal{S}-pure injective dimension. As our main result, we prove that, in fact, the class of S\mathcal{S}-pure injective RR-modules is enveloping.

preprint2012arXiv

Foxby equivalence, local duality and Gorenstein homological dimensions

Let $(R,\fm)$ be a local ring and (−)∨(-)^{\vee} denote the Matlis duality functor. We investigate the relationship between Foxby equivalence and local duality through generalized local cohomology modules. Assume that RR possesses a normalized dualizing complex DD and XX and YY are two homologically bounded complexes of RR-modules with finitely generated homology modules. We present several duality results for $\fm$-section complex ${\bf R}Γ_{\fm}({\bf R}\Hom_R(X,Y))$. In particular, if G-dimension of XX and injective dimension of YY are finite, then we show that $${\bf R}Γ_{\fm}({\bf R}\Hom_R(X,Y))\simeq ({\bf R}\Hom_R(Y,D\otimes_ R^{\bf L}X))^{\vee}.$$ We deduce several applications of these duality results. In particular, we establish Grothendieck's non-vanishing Theorem in the context of generalized local cohomology modules.

preprint2012arXiv

Local homology and Gorenstein flat modules

Let RR be a commutative Noetherian ring, $\fa$ an ideal of RR and D(R)\mathcal{D}(R) denote the derived category of RR-modules. We investigate the theory of local homology in conjunction with Gorenstein flat modules. Let XX be a homologically bounded to the right complex and QQ a bounded to the right complex of Gorenstein flat RR-modules such that QQ and XX are isomorphic in D(R)\mathcal{D}(R). We establish a natural isomorphism ${\bf L}Λ^{\fa}(X)\simeq Λ^{\fa}(Q)$ in D(R)\mathcal{D}(R) which immediately asserts that $\sup {\bf L}Λ^{\fa}(X)\leq \Gfd_RX$. This isomorphism yields several consequences. For instance, in the case RR possesses a dualizing complex, we show that $\Gfd_R {\bf L}Λ^{\fa}(X)\leq \Gfd_RX$. Also, we establish a criterion for regularity of Gorenstein local rings.

preprint2011arXiv

A unified approach to formal local cohomology and local Tate cohomology

Let R be a commutative Noetherian ring. We introduce a theory of formal local cohomology for complexes of R-modules. As an application, we establish some relations between formal local cohomology, local homology, local cohomology and local Tate cohomology through some natural isomorphisms. We investigate vanishing of formal local cohomology modules. Also, we give a characterization of Cohen-Macaulay complexes.

preprint2010arXiv

Finiteness properties of formal local cohomology modules and Cohen-Macaulayness

Let $\fa$ be an ideal of a local ring $(R,\fm)$ and MM a finitely generated RR-module. We investigate the structure of the formal local cohomology modules ${\vpl}_nH^i_{\fm}(M/\fa^n M)$, i≥0i\geq 0. We prove several results concerning finiteness properties of formal local cohomology modules which indicate that these modules behave very similar to local cohomology modules. Among other things, we prove that if dim⁡R≤2\dim R\leq 2 or either $\fa$ is principal or $\dim R/\fa\leq 1$, then $\Tor_j^R(R/\fa,{\vpl}_nH^i_{\fm}(M/\fa^n M))$ is Artinian for all ii and jj. Also, we examine the notion $\fgrade(\fa,M)$, the formal grade of MM with respect to $\fa$ (i.e. the least integer ii such that ${\vpl}_nH^i_{\fm}(M/\fa^n M) \neq 0$). As applications, we establish a criterion for Cohen-Macaulayness of MM, and also we provide an upper bound for cohomological dimension of MM with respect to $\fa$.

preprint2010arXiv

Generalized local cohomology modules and homological Gorenstein dimensions

Let \fa be an ideal of a commutative Noetherian ring R and M and N two finitely generated R-modules. Let \cd_{\fa}(M,N) denote the supremum of the i's such that H^i_{\fa}(M,N)\neq 0. First, by using the theory of Gorenstein homological dimensions, we obtain several upper bounds for \cd_{\fa}(M,N). Next, over a Cohen-Macaulay local ring (R,\fm), we show that \cd_{\fm}(M,N)=\dim R-\grade(\Ann_RN,M), provided that either projective dimension of M or injective dimension of N is finite. Finally, over such rings, we establish an analogue of the Hartshorne-Lichtenbaum Vanishing Theorem in the context of generalized local cohomology modules.

preprint2010arXiv

On the formal grade of finitely generated modules over local rings

Let \fa be an ideal of a local ring (R,\fm) and M a finitely generated R-module. This paper concerns the notion \fgrade(\fa,M), the formal grade of M with respect to \fa (i.e. the least integer i such that {\vpl}_nH^i_{\fm}(M/\fa^n M)\neq 0). We show that \fgrade(\fa,M)\geq \depth M-\cd_{\fa}(M), and as a result, we establish a new characterization of Cohen-Macaulay modules. As an application of this characterization, we show that if M is Cohen-Macaulay and L a pure submodule of M with the same support as M, then \fgrade(\fa,L)=\fgrade(\fa,M). Also, we give a generalization of the Hochster-Eagon result on Cohen-Macaulayness of invariant rings.

preprint2005arXiv

Associated primes of local cohomology modules of weakly Laskerian modules

The notion of weakly Laskerian modules was introduced recently by the authors. Let RR be a commutative Noetherian ring with identity, $\fa$ an ideal of RR, and MM a weakly Laskerian module. It is shown that if $\fa$ is principal, then the set of associated primes of the local cohomology module $H_{\fa}^i(M)$ is finite for all i≥0i\geq 0. We also prove that when RR is local, then $\Ass_R(H_{\fa}^i(M))$ is finite for all i≥0i\geq 0 in the following cases: (1) dim⁡R≤3\dim R\leq 3, (2) $\dim R/\fa\leq 1$, (3) MM is Cohen-Macaulay and for any ideal $\fb$, with $l=\grade(\fb,M)$, $\Hom_R(R/\fb,H_{\fb}^{l+1}(M))$ is weakly Laskerian.

preprint2004arXiv

Associated primes of local cohomology module

Let $\fa$ be an ideal of a commutative Noetherian ring RR and MM a finitely generated RR-module. Let tt be a natural integer. It is shown that there is a finite subset XX of $\Spec R$, such that $\Ass_R(H_{\fa}^t(M))$ is contained in XX union with the union of the sets $\Ass_R(\Ext_R^j(R/\fa,H_{\fa}^i(M)))$, where 0≤i<t0\leq i<t and 0≤j≤t2+10\leq j\leq t^2+1. As an immediate consequence, we deduce that the first non $\fa$-cofinite local cohomology module of MM with respect to $\fa$ has only finitely many associated prime ideals.

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.