Cofiniteness of torsion functors of cofinite modules

Reza Naghipour; Kamal Bahmanpour; Imaneh Khalili Gorji

Displaying similar documents to “Cofiniteness of torsion functors of cofinite modules”

Maps with dimensionally restricted fibers

Vesko Valov (2011)

Colloquium Mathematicae

Similarity:

We prove that if f: X → Y is a closed surjective map between metric spaces such that every fiber $f^{- 1} (y)$ belongs to a class S of spaces, then there exists an $F_{σ}$ -set A ⊂ X such that A ∈ S and $d i m f^{- 1} (y) ∖ A = 0$ for all y ∈ Y. Here, S can be one of the following classes: (i) M: e-dim M ≤ K for some CW-complex K; (ii) C-spaces; (iii) weakly infinite-dimensional spaces. We also establish that if S = M: dim M ≤ n, then dim f ∆ g ≤ 0 for almost all $g \in C (X,^{n + 1})$ .

Melkersson condition on Serre subcategories

Reza Sazeedeh, Rasul Rasuli (2016)

Colloquium Mathematicae

Similarity:

Let R be a commutative noetherian ring, let be an ideal of R, and let be a subcategory of the category of R-modules. The condition $C_{}$ , defined for R-modules, was introduced by Aghapournahr and Melkersson (2008) in order to study when the local cohomology modules relative to belong to . In this paper, we define and study the class $_{}$ consisting of all modules satisfying $C_{}$ . If and are ideals of R, we get a necessary and sufficient condition for to satisfy $C_{}$ and $C_{}$ simultaneously. We also...

Some Results About Holonomic $ε$ -Modules

Jan-Erik Björk (1983)

Recherche Coopérative sur Programme n°25

Similarity:

Cohomological dimension filtration and annihilators of top local cohomology modules

Ali Atazadeh, Monireh Sedghi, Reza Naghipour (2015)

Colloquium Mathematicae

Similarity:

Let denote an ideal in a Noetherian ring R, and M a finitely generated R-module. We introduce the concept of the cohomological dimension filtration $= {M_{i}}_{i = 0}^{c}$ , where c = cd(,M) and $M_{i}$ denotes the largest submodule of M such that $c d (, M_{i}) \leq i$ . Some properties of this filtration are investigated. In particular, if (R,) is local and c = dim M, we are able to determine the annihilator of the top local cohomology module $H_{}^{c} (M)$ , namely $A n n_{R} (H_{}^{c} (M)) = A n n_{R} (M / M_{c - 1})$ . As a consequence, there exists an ideal of R such that $A n n_{R} (H_{}^{c} (M)) = A n n_{R} (M / H ⁰_{} (M))$ . This generalizes the...

Some results on top local cohomology modules with respect to a pair of ideals

Saeed Jahandoust, Reza Naghipour (2020)

Mathematica Bohemica

Similarity:

Let $I$ and $J$ be ideals of a Noetherian local ring $(R, 𝔪)$ and let $M$ be a nonzero finitely generated $R$ -module. We study the relation between the vanishing of $H_{I, J}^{dim M} (M)$ and the comparison of certain ideal topologies. Also, we characterize when the integral closure of an ideal relative to the Noetherian $R$ -module $M / J M$ is equal to its integral closure relative to the Artinian $R$ -module $H_{I, J}^{dim M} (M)$ .

Associated primes of local cohomology modules of generalized Laskerian modules

Dawood Hassanzadeh-Lelekaami, Hajar Roshan-Shekalgourabi (2019)

Czechoslovak Mathematical Journal

Similarity:

Let $ℐ$ be a set of ideals of a commutative Noetherian ring $R$ . We use the notion of $ℐ$ -closure operation which is a semiprime closure operation on submodules of modules to introduce the class of $ℐ$ -Laskerian modules. This enables us to investigate the set of associated prime ideals of certain $ℐ$ -closed submodules of local cohomology modules.

Relative tilting modules with respect to a semidualizing module

Maryam Salimi (2019)

Czechoslovak Mathematical Journal

Similarity:

Let $R$ be a commutative Noetherian ring, and let $C$ be a semidualizing $R$ -module. The notion of $C$ -tilting $R$ -modules is introduced as the relative setting of the notion of tilting $R$ -modules with respect to $C$ . Some properties of tilting and $C$ -tilting modules and the relations between them are mentioned. It is shown that every finitely generated $C$ -tilting $R$ -module is $C$ -projective. Finally, we investigate some kernel subcategories related to $C$ -tilting modules.

On the composition structure of the twisted Verma modules for $𝔰𝔩 (3, ℂ)$

Libor Křižka, Petr Somberg (2015)

Archivum Mathematicum

Similarity:

We discuss some aspects of the composition structure of twisted Verma modules for the Lie algebra $𝔰𝔩 (3, ℂ)$ , including the explicit structure of singular vectors for both $𝔰𝔩 (3, ℂ)$ and one of its Lie subalgebras $𝔰𝔩 (2, ℂ)$ , and also of their generators. Our analysis is based on the use of partial Fourier tranform applied to the realization of twisted Verma modules as $D$ -modules on the Schubert cells in the full flag manifold for $SL (3, ℂ)$ .

Some bounds for the annihilators of local cohomology and Ext modules

Ali Fathi (2022)

Czechoslovak Mathematical Journal

Similarity:

Let $𝔞$ be an ideal of a commutative Noetherian ring $R$ and $t$ be a nonnegative integer. Let $M$ and $N$ be two finitely generated $R$ -modules. In certain cases, we give some bounds under inclusion for the annihilators of ${Ext}_{R}^{t} (M, N)$ and $H_{𝔞}^{t} (M)$ in terms of minimal primary decomposition of the zero submodule of $M$ , which are independent of the choice of minimal primary decomposition. Then, by using those bounds, we compute the annihilators of local cohomology and Ext modules in certain cases.

Local cohomology, cofiniteness and homological functors of modules

Kamal Bahmanpour (2022)

Czechoslovak Mathematical Journal

Similarity:

Let $I$ be an ideal of a commutative Noetherian ring $R$ . It is shown that the $R$ -modules $H_{I}^{j} (M)$ are $I$ -cofinite for all finitely generated $R$ -modules $M$ and all $j \in ℕ_{0}$ if and only if the $R$ -modules ${Ext}_{R}^{i} (N, H_{I}^{j} (M))$ and ${Tor}_{i}^{R} (N, H_{I}^{j} (M))$ are $I$ -cofinite for all finitely generated $R$ -modules $M$ , $N$ and all integers $i, j \in ℕ_{0}$ .

Artinianness of formal local cohomology modules

Shahram Rezaei (2019)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

Let $𝔞$ be an ideal of Noetherian local ring $(R, 𝔪)$ and $M$ a finitely generated $R$ -module of dimension $d$ . In this paper we investigate the Artinianness of formal local cohomology modules under certain conditions on the local cohomology modules with respect to $𝔪$ . Also we prove that for an arbitrary local ring $(R, 𝔪)$ (not necessarily complete), we have ${Att}_{R} (𝔉_{𝔞}^{d} (M)) = Min V ({Ann}_{R} 𝔉_{𝔞}^{d} (M)) .$

CF-modules over commutative rings

Ahmed Najim, Mohammed Elhassani Charkani (2018)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

Let $R$ be a commutative ring with unit. We give some criterions for determining when a direct sum of two CF-modules over $R$ is a CF-module. When $R$ is local, we characterize the CF-modules over $R$ whose tensor product is a CF-module.

Lifting $D$ -modules from positive to zero characteristic

João Pedro P. dos Santos (2011)

Bulletin de la Société Mathématique de France

Similarity:

We study liftings or deformations of $D$ -modules ( $D$ is the ring of differential operators from EGA IV) from positive characteristic to characteristic zero using ideas of Matzat and Berthelot’s theory of arithmetic $D$ -modules. We pay special attention to the growth of the differential Galois group of the liftings. We also apply formal deformation theory (following Schlessinger and Mazur) to analyze the space of all liftings of a given $D$ -module in positive characteristic. At the end we compare...

Non-weight modules over the super Schrödinger algebra

Xinyue Wang, Liangyun Chen, Yao Ma (2024)

Czechoslovak Mathematical Journal

Similarity:

We construct a family of non-weight modules which are free $U (𝔥)$ -modules of rank 2 over the $N = 1$ super Schrödinger algebra in $(1 + 1)$ -dimensional spacetime. We determine the isomorphism classes of these modules. In particular, free $U (𝔥)$ -modules of rank 2 over $𝔬𝔰𝔭 (1 | 2)$ are also constructed and classified. Moreover, we obtain the sufficient and necessary conditions for such modules to be simple.

Weak $n$ -injective and weak $n$ -fat modules

Umamaheswaran Arunachalam, Saravanan Raja, Selvaraj Chelliah, Joseph Kennedy Annadevasahaya Mani (2022)

Czechoslovak Mathematical Journal

Similarity:

We introduce and study the concepts of weak $n$ -injective and weak $n$ -flat modules in terms of super finitely presented modules whose projective dimension is at most $n$ , which generalize the $n$ -FP-injective and $n$ -flat modules. We show that the class of all weak $n$ -injective $R$ -modules is injectively resolving, whereas that of weak $n$ -flat right $R$ -modules is projectively resolving and the class of weak $n$ -injective (or weak $n$ -flat) modules together with its left (or right) orthogonal class forms...

The multiplicity problem for indecomposable decompositions of modules over domestic canonical algebras

Piotr Dowbor, Andrzej Mróz (2008)

Colloquium Mathematicae

Similarity:

Given a module M over a domestic canonical algebra Λ and a classifying set X for the indecomposable Λ-modules, the problem of determining the vector $m (M) = {(m_{x})}_{x \in X} \in ℕ^{X}$ such that $M ≅ ⨁_{x \in X} X_{x}^{m_{x}}$ is studied. A precise formula for $d i m_{k} H o m_{Λ} (M, X)$ , for any postprojective indecomposable module X, is computed in Theorem 2.3, and interrelations between various structures on the set of all postprojective roots are described in Theorem 2.4. It is proved in Theorem 2.2 that a general method of finding vectors m(M) presented by the authors...

Category $𝒪$ for quantum groups

Henning Haahr Andersen, Volodymyr Mazorchuk (2015)

Journal of the European Mathematical Society

Similarity:

In this paper we study the BGG-categories $𝒪_{q}$ associated to quantum groups. We prove that many properties of the ordinary BGG-category $𝒪$ for a semisimple complex Lie algebra carry over to the quantum case. Of particular interest is the case when $q$ is a complex root of unity. Here we prove a tensor decomposition for both simple modules, projective modules, and indecomposable tilting modules. Using the known Kazhdan-Lusztig conjectures for $𝒪$ and for finite dimensional $U_{q}$ -modules we are able...