Balance for relative cohomology of complexes

2019 ◽  
Vol 19 (01) ◽  
pp. 2050005
Author(s):  
Zhenxing Di ◽  
Bo Lu ◽  
Junxiu Zhao

Let [Formula: see text] be an arbitrary ring. We use a strict [Formula: see text]-resolution [Formula: see text] of a complex [Formula: see text] with finite [Formula: see text]-projective dimension, where [Formula: see text] denotes a subcategory of right [Formula: see text]-modules closed under extensions and direct summands and admits an injective cogenerator [Formula: see text], to define the [Formula: see text]th relative cohomology functor [Formula: see text] as [Formula: see text]. If a complex [Formula: see text] has finite [Formula: see text]-injective dimension, then one can use a dual argument to define a notion of a relative cohomology functor [Formula: see text], where [Formula: see text] is a subcategory of right [Formula: see text]-modules closed under extensions and direct summands and admits a projective generator. Under several orthogonal conditions, we show that there exists an isomorphism [Formula: see text] of relative cohomology groups for each [Formula: see text]. This result simultaneously encompasses a balance result of Holm on Gorenstein projective and injective modules, a balance result of Sather-Wagstaff, Sharif and White on Gorenstein projective and injective modules with respect to semidualizing modules, and a balance result of Liu on Gorenstein projective and injective complexes. In particular, as an application of this result, we extend the above balance result of Sather-Wagstaff, Sharif and White to the setting of complexes.

2019 ◽  
Vol 19 (09) ◽  
pp. 2050174
Author(s):  
Bo Lu ◽  
Zhenxing Di

Let [Formula: see text] and [Formula: see text] be [Formula: see text]-complexes with [Formula: see text] an integer such that [Formula: see text] has finite Gorenstein projective dimension and [Formula: see text] has finite Gorenstein injective dimension. We define the [Formula: see text]th Gorenstein cohomology groups [Formula: see text] [Formula: see text] via a strict Gorenstein precover [Formula: see text] of [Formula: see text] and a strict Gorenstein preenvelope [Formula: see text] of [Formula: see text]. Using Gaussian binomial coefficients we show that there exists an isomorphism [Formula: see text] which extends the balance result of Liu [Relative cohomology of complexes. J. Algebra 502 (2018) 79–97] to the [Formula: see text]-complex case.


2010 ◽  
Vol 106 (1) ◽  
pp. 5 ◽  
Author(s):  
Ryo Takahashi ◽  
Diana White

We investigate the notion of the $C$-projective dimension of a module, where $C$ is a semidualizing module. When $C=R$, this recovers the standard projective dimension. We show that three natural definitions of finite $C$-projective dimension agree, and investigate the relationship between relative cohomology modules and absolute cohomology modules in this setting. Finally, we prove several results that demonstrate the deep connections between modules of finite projective dimension and modules of finite $C$-projective dimension. In parallel, we develop the dual theory for injective dimension and $C$-injective dimension.


2014 ◽  
Vol 13 (08) ◽  
pp. 1450058 ◽  
Author(s):  
Zhenxing Di ◽  
Xiaoxiang Zhang ◽  
Zhongkui Liu ◽  
Jianlong Chen

We introduce and investigate in this paper a kind of Tate homology of modules over a commutative coherent ring based on Tate ℱC-resolutions, where C is a semidualizing module. We show firstly that the class of modules admitting a Tate ℱC-resolution is equal to the class of modules of finite 𝒢(ℱC)-projective dimension. Then an Avramov–Martsinkovsky type exact sequence is constructed to connect such Tate homology functors and relative homology functors. Finally, motivated by the idea of Sather–Wagstaff et al. [Comparison of relative cohomology theories with respect to semidualizing modules, Math. Z. 264 (2010) 571–600], we establish a balance result for such Tate homology over a Cohen–Macaulay ring with a dualizing module by using a good conclusion provided in [E. E. Enochs, S. E. Estrada and A. C. Iacob, Balance with unbounded complexes, Bull. London Math. Soc. 44 (2012) 439–442].


2013 ◽  
Vol 12 (07) ◽  
pp. 1350039 ◽  
Author(s):  
JIANGSHENG HU ◽  
DONGDONG ZHANG

Let S and R be rings and SCR a semidualizing bimodule. We define and study GC-FP-injective R-modules, and these modules are exactly C-Gorenstein injective R-modules defined by Holm and Jørgensen provided that S = R is a commutative Noetherian ring. We mainly prove that the category of GC-FP-injective R-modules is a part of a weak AB-context, which is dual of weak AB-context in the terminology of Hashimoto. In particular, this allows us to deduce the existence of certain Auslander–Buchweitz approximations for R-modules with finite GC-FP-injective dimension. As an application, a new model structure in Mod R is given.


2011 ◽  
Vol 91 (2) ◽  
pp. 163-187 ◽  
Author(s):  
ZHANPING WANG ◽  
ZHONGKUI LIU

AbstractIn this paper we extend the notion of FP-injective modules to that of complexes and characterize such complexes. We show that some characterizations similar to those for injective complexes exist for FP-injective complexes. We also introduce and study the notion of an FP-injective dimension associated to every complex of left R-modules over an arbitrary ring. We show that there is a close connection between the FP-injective dimension of complexes and flat dimension.


2009 ◽  
Vol 264 (3) ◽  
pp. 571-600 ◽  
Author(s):  
Sean Sather-Wagstaff ◽  
Tirdad Sharif ◽  
Diana White

Author(s):  
Leonid Positselski ◽  
Jan Šťovíček

Abstract To a big $n$-tilting object in a complete, cocomplete abelian category ${\textsf{A}}$ with an injective cogenerator we assign a big $n$-cotilting object in a complete, cocomplete abelian category ${\textsf{B}}$ with a projective generator and vice versa. Then we construct an equivalence between the (conventional or absolute) derived categories of ${\textsf{A}}$ and ${\textsf{B}}$. Under various assumptions on ${\textsf{A}}$, which cover a wide range of examples (for instance, if ${\textsf{A}}$ is a module category or, more generally, a locally finitely presentable Grothendieck abelian category), we show that ${\textsf{B}}$ is the abelian category of contramodules over a topological ring and that the derived equivalences are realized by a contramodule-valued variant of the usual derived Hom functor.


2013 ◽  
Vol 94 (1) ◽  
pp. 133-144
Author(s):  
ZHAOYONG HUANG ◽  
XIAOJIN ZHANG

AbstractLet $\Lambda $ be an Auslander 1-Gorenstein Artinian algebra with global dimension two. If $\Lambda $ admits a trivial maximal 1-orthogonal subcategory of $\text{mod } \Lambda $, then, for any indecomposable module $M\in \text{mod } \Lambda $, the projective dimension of $M$ is equal to one if and only if its injective dimension is also equal to one, and $M$ is injective if the projective dimension of $M$ is equal to two. In this case, we further get that $\Lambda $ is a tilted algebra.


Sign in / Sign up

Export Citation Format

Share Document