27 research outputs found

    A study of Cousin complexes through the dualizing complexes

    Full text link
    For the Cousin complex of certain modules, we investigate finiteness of cohomology modules, local duality property and injectivity of its terms. The existence of canonical modules of Noetherian non-local rings and the Cousin complexes of them with respect to the height filtration are discussed .Comment: 15 pages. Accepted for publication in Communication Algebr

    Some characterizations of special rings by delta-invariant

    Full text link
    This paper is devoted to present some characterizations for a local ring to be generically Gorenstein and Gorenstein by means of Ξ΄\delta-invariant and linkage theory.Comment: 12 pages, minor changes in the title and abstract; typos correcte

    Associated primes and cofiniteness of local cohomology modules

    Full text link
    Let a\mathfrak{a} be an ideal of Noetherian ring RR and let MM be an RR-module such that ExtRi(R/a,M)\mathrm{Ext}^i_R(R/\mathfrak{a},M) is finite RR-module for every ii. If ss is the first integer such that the local cohomology module Has(M)\mathrm{H}^s_\mathfrak{a}(M) is non a\mathfrak{a}-cofinite, then we show that HomR(R/a,Has(M))\mathrm{Hom}_{R}(R/\mathfrak{a}, \mathrm{H}^s_\mathfrak{a}(M)) is finite. Specially, the set of associated primes of Has(M)\mathrm{H}^s_\mathfrak{a}(M) is finite. Next assume (R,m)(R,\mathfrak{m}) is a local Noetherian ring and MM is a finitely generated module. We study the last integer nn such that the local cohomology module Han(M)\mathrm{H}^n_\mathfrak{a}(M) is not m\mathfrak{m}-cofinite and show that nn just depends on the support of MM.Comment: 9 page

    Generalized local cohomology and the Intersection Theorem

    Full text link
    Let RR be commutative Noetherian ring and let \fa be an ideal of RR. For complexes XX and YY of RR--modules we investigate the invariant \inf{\mathbf R}\Gamma_{\fa}({\mathbf R}\Hom_R(X,Y)) in certain cases. It is shown that, for bounded complexes XX and YY with finite homology, \dim Y\le\dim{\mathbf R}\Hom_R(X,Y)\le\pd X+\dim(X\otimes^{\mathbf L}_RY)+\sup X which strengthen the Intersection Theorem. Here inf⁑X\inf X and sup⁑X\sup X denote the homological infimum, and supremum of the complex XX, respectively.Comment: 13 page

    Attached primes of the top local cohomology modules with respect to an ideal (II)

    Full text link
    For a finitely generated module MM, over a commutative Noetherian local ring (R,m)(R, \mathfrak{m}), it is shown that there exist only a finite number of non--isomorphic top local cohomology modules Hadim(M)(M)\mathrm{H}_{\mathfrak{a}}^{\mathrm{dim} (M)}(M), for all ideals a\mathfrak{a} of RR. We present a reduced secondary representation for the top local cohomology modules with respect to an ideal. It is also shown that for a given integer rβ‰₯0r\geq 0, if Har(R/p)\mathrm{H}_{\mathfrak{a}}^{r}(R/\mathfrak {p}) is zero for all p\mathfrak{p} in Supp(M)\mathrm{Supp}(M), then Hai(M)=0\mathrm{H}_{\mathfrak{a}}^{i}(M)= 0 for all iβ‰₯ri\geq r.Comment: 9 page

    Cohomological dimension of complexes

    Full text link
    In the derived category of the category of modules over a commutative Noetherian ring RR, we define, for an ideal \fa of RR, two different types of cohomological dimensions of a complex XX in a certain subcategory of the derived category, namely \cd(\fa, X)=\sup\{\cd(\fa, \H_{\ell}(X))-\ell|\ell\in\Bbb Z\} and -\inf{\mathbf R}\G_{\fa}(X), where \cd(\fa, M)=\sup\{\ell\in\Bbb Z|\H^{\ell}_{\fa}(M)\neq 0\} for an RR--module MM. In this paper, it is shown, among other things, that, for any complex XX bounded to the left, -\inf {\mathbf R}\G_{\fa}(X)\le\cd(\fa, X) and equality holds if indeed (˝X)\H(X) is finitely generated.Comment: 13 page

    Finiteness of extension functors of local cohomology modules

    Full text link
    Let RR be a commutative Noetherian ring, \fa an ideal of RR and MM a finitely generated RR--module. Let tt be a non-negative integer such that \H^i_\fa(M) is \fa--cofinite for all i<ti<t. It is well--known that \Hom_R(R/\fa,\H^t_\fa(M)) is finitely generated RR--module. In this paper we study the finiteness of \Ext^1_R(R/\fa,\H^t_\fa(M)) and \Ext^2_R(R/\fa,\H^t_\fa(M)).Comment: 5 page

    Complexes of C-projective modules

    Full text link
    Inspired by a recent work of Buchweitz and Flenner, we show that, for a semidualizing bimodule CC, CC--perfect complexes have the ability to detect when a ring is strongly regular. It is shown that there exists a class of modules which admit minimal resolutions of CC--projective modules.Comment: 10 pages, To appear in Bulletin of the Iranian Mathematical Societ

    Linkage of modules with respect to a semidualizing module

    Full text link
    The notion of linkage with respect to a semidualizing module is introduced. It is shown that over a Cohen-Macaulay local ring with canonical module, every Cohen-Macaulay module of finite Gorenstein injective dimension is linked with respect to the canonical module. For a linked module MM with respect to a semidualizing module, the connection between the Serre condition (Sn)(S_n) on MM with the vanishing of certain local cohomology modules of its linked module is discussed.Comment: 16 pages. arXiv admin note: text overlap with arXiv:1507.00036, arXiv:1407.654

    Cohen-Macaulay Loci of modules

    Full text link
    The Cohen-Macaulay locus of any finite module over a noetherian local ring AA is studied and it is shown that it is a Zariski-open subset of \Spec A in certain cases. In this connection, the rings whose formal fibres over certain prime ideals are Cohen-Macaulay are studied.Comment: 18 pages, to appear in "Communications in Agebra
    corecore