Gorenstein Injective Phantom Morphism

WANG Xiaomei; WANG Zhanping

doi:10.13718/j.cnki.xsxb.2022.02.003

In this thesis, the concepts of Gorenstein injective Phantom morphism and higher Gorenstein injective Phantom morphism have been introduced, some properties of Gorenstein injective Phantom morphism been studied, and the class of Gorenstein injective Phantom morphisms been closed under direct product and ME-extensions in H(R). It is proved that a morphism φ: X→X′ of R-modules is higher Gorenstein injective Phantom morphism if and only if there is a Gorenstein injective resolution of φ in H(R) such that its n-th cosyzygy is a Gorenstein injective Phantom morphism.

HTML

Phantom态射起源于代数拓扑CW-复形之间的映射^[1]. 文献[2]首次定义了三角范畴上的Phantom态射. 在文献[3-6]中，Phantom态射的理论在有限群环的稳定模范畴中得到了发展. 文献[7]利用有限表示模和Tor₁^R(－，－)将Phantom态射的概念推广到了任意环的模范畴上. 文献[8]引入了n-Phantom态射和n-Ext-Phantom态射的概念，证明了：在R-Mod中，f：M→N是n-Phantom态射(n＞1)当且仅当存在态射范畴中的正合序列0→k_n-1→p_n-2→p_n-1→…→p₀→f→0，其中p_i是投射的，k_n-1是Phantom态射. 文献[9]定义了Gorenstein平坦Phantom态射和高维Gorenstein平坦Phantom态射，并研究了其同调性质，证明了：R-模态射φ：X→X′是高维Gorenstein平坦Phantom态射当且仅当在态射范畴中存在φ的Gorenstein平坦分解，使得它的n次合冲是Gorenstein平坦Phantom态射. 与其相关的研究课题还得到了许多其他有意义的结论(参见文献[10-11]).

受以上结论的启发，本文主要研究Gorenstein内射Phantom态射.

1. 预备知识

本文中所提到的环均指有单位元的结合环，模均指左R-模. R-Mod(Mod-R)表示左(右)R-模范畴.

定义1 用H(R)表示R-Mod的态射范畴，其中：

(a) H(R)中的对象是左R-模同态；

(b) H(R)中从$ (A\xrightarrow{{{f}_{1}}}B)$到$ (A^{\prime} \text{ }\xrightarrow{{{f}_{2}}}B^{\prime} )$的态射为R-Mod中态射的对子(g₁，g₂)

使得图

交换.

由文献[12]可得，态射范畴H(R)是局部有限表示的Grothendieck范畴.

2. Gorenstein内射Phantom态射

文献[13]在一般环上引入了Gorenstein内射模的概念.

定义2^[13]  如果存在内射模的正合列…→I₁→I₀→I⁰→I¹→…，使得M$ \cong $Ker(I₀→I⁰)，且对任意的内射模I，该序列在函子Hom_R(I，-)作用下仍是正合的，则称R-模M是Gorenstein内射模.

Gorenstein内射模的类记为ΓI.

由此我们引入Gorenstein内射Phantom态射的概念.

定义3  如果对任意的内射左R-模E，Ext_R¹(E，φ)=0，其中Ext_R¹(E，φ)：Ext_R¹(E，A)→Ext_R¹(E，B)，则称R-模态射φ：A→B是Gorenstein内射Phantom，简称为ΓI-Phantom态射.

ΓI-Phantom态射的类记为Φ_ΓI. 由定义可知：Φ_ΓI是R-Mod的理想，并包含所有R-模同态M→G，其中G为Gorenstein内射模.

命题1  在H(R)中，ΓI-Phantom态射的类关于直积封闭.

证  设(f_i：M_i→N_i)_i∈I是一族ΓI-Phantom态射. 下证Π_i∈I：Π_i∈IM_i→Π_i∈IN_i是ΓI-Phantom态射. 对任意的内射模E，考虑交换图

因为Ext¹(E，f_i)=0，所以Π_i∈IExtⁿ(E，f_i)=0，即Ext¹(E，Π_i∈If_i)=0. 故Π_i∈I：Π_i∈IM_i→Π_i∈IN_i是ΓI-Phantom态射.

命题2  设R是环，f：M→N是R-Mod中的ΓΦ-Phantom态射当且仅当f⁺：N⁺→M⁺是Mod-R中的ΓI-Phantom态射.

证  对任意的内射左R-模E，考虑交换图

由文献[14]知，α和β是同构的，所以Tor₁(N，f)⁺=0当且仅当Ext¹(E，f⁺)=0. 因此f：M→N是R-Mod中的ΓΦ-Phantom态射当且仅当f⁺：N⁺→M⁺是Mod-R中的ΓI-Phantom态射.

令Λ表示R-模的所有短正合序列0→X→Y→Z→0的类，使得对任意的内射左R-模E，当函子Hom_R(E，-)作用时仍保持正合. 由文献[15]的引理1.1知，Λ是Ext的加法子函子.

命题3  对R-模态射φ：A→B，以下条件等价：

(ⅰ) φ是ΓI-Phantom态射；

(ⅱ) 如果A→I是A的态射包，那么对任意的内射左R-模E，沿着φ的推出

是Hom_R(E，-)-正合的.

证  (ⅰ)$ \Rightarrow $(ⅱ)  若A→I是A的态射包，则存在短正合序列ξ：0→A→I→C→0，其中I是内射. 又由态射φ：A→B，则有推出图

因为φ：A→B是ΓI-Phantom态射，所以对任意的内射左R-模E，Ext¹(E，φ)=0. 因此有交换图

这就表明0→B→G→C→0是Hom_R(E，-)-正合的.

(ⅱ)$ \Rightarrow $(ⅰ)  假设(ⅱ)成立，则对任意的内射左R-模E，考虑交换图

有δExt¹(E，φ)=0. 因为δ是单的，所以Ext¹(E，φ)=0，即φ是ΓI-Phantom态射.

3. 高维Gorenstein内射Phantom态射

下面引入高维Gorenstein内射Phantom态射的概念，即n-Gorenstein内射Phantom态射(n∈$ {{\mathbb{N}}_{\text{+}}}$).

定义4  如果对任意的内射左R-模E，Ext_Rⁿ(E，φ)=0，其中Ext_Rⁿ(E，φ)：Ext_Rⁿ(E，A)→Ext_Rⁿ(E，B)，则称R-模态射φ：A→B是n-Gorenstein内射Phantom，简称为n-ΓI-Phantom态射.

n-ΓI-Phantom态射的类记为Φ_n-ΓI.

注1  当n=1时，1-ΓI-Phantom态射就叫作Gorenstein内射Phantom态射，即ΓI-Phantom态射.

众所周知，态射范畴H(R)等价于三角矩阵环$ \left( \begin{matrix} R & 0 \\ R & R \\ \end{matrix} \right)$上的模范畴. 由文献[16]的定理2.6知，H(R)中的对象$ \mathit{\Gamma }={{G}_{1}}\xrightarrow{f}{{G}_{2}}$是Gorenstein内射当且仅当f是满的，且G₁，G₂和Ker f是Gorenstein内射左R-模.

定理1  设R是一个环且n＞1，对H(R)中的对象Ξ：$ X\xrightarrow{\varphi }X^{\prime} $，以下条件等价：

(ⅰ) φ是n-ΓI-Phantom态射；

(ⅱ) 若有H(R)中的任意正合序列0→Ξ→Γ₀→Γ₁→…→Γ_n-2→K_n-1→0，其中Γ_i是Gorenstein内射，则K_n-1是ΓI-Phantom态射；

(ⅲ) 若有H(R)中的任意正合序列0→Ξ→I₀→I₁→…→I_n-2→K_n-1→0，其中I_i是内射，则K_n-1是ΓI-Phantom态射；

(ⅳ) 存在H(R)中的正合序列0→Ξ→I₀→I₁→…→I_n-2→K_n-1→0使得I_i是内射，则K_n-1是ΓI-Phantom态射；

(ⅴ) 存在H(R)中的正合序列0→Ξ→Γ₀→Γ₁→…→Γ_n-2→K_n-1→0使得Γ_i是Gorenstein内射，K_n-1是ΓI-Phantom态射.

证  (ⅰ)$ \Rightarrow $(ⅱ)  设任意i∈{0，1，…，n-1}，Γ_i：$ {{G}_{i}}\xrightarrow{{{\varphi }_{i}}}~G ^{\prime}{_{i}}$和K_n-1：$ {{K}_{n-1}}~\xrightarrow{{{k}_{n-1}}}~K ^{\prime}{_{n-1}}$，考虑在H(R)中的正合序列

其中态射φ_i：G_i→G′_i是Gorenstein内射. 令k₁：K₁→K′₁是Ξ→Γ₀的余核. 对任意的内射左R-模E，我们有行正合的交换图

因为φ_i是Gorenstein内射态射，所以G₀，G′₀是Gorenstein内射模，即Ext^n-1(E，G₀)=0，Ext^n-1(E，G′₀)=0. 又因为φ是n-ΓI-Phantom态射，所以对任意的内射左R-模E，Extⁿ(E，φ)=0. 则αExt^n-1(E，k₁) =0. 由于α是单射，故Ext^n-1(E，k₁)=0. 重复上述过程，可得K_n-1是ΓI-Phantom态射.

(ⅱ)$ \Rightarrow $(ⅲ)$ \Rightarrow $(ⅳ)$ \Rightarrow $(ⅴ)  显然.

(ⅴ)$ \Rightarrow $(ⅰ)  考虑行正合的交换图

使得对任意i∈{0，1，…，n－1}，态射φ_i：G_i→G′_i是Gorenstein内射，并且k_n-1：K_n-1→K′_n-1是ΓI-Phantom态射. 因此对任意的内射左R-模E，Ext¹(E，k_n-1)=0. 令k₁：K₁→K′₁是Ξ→Γ₀的余核. 考虑行正合的交换图

因为φ_n-2是Gorenstein内射态射，所以G_n-2，G′_n-2是Gorenstein内射模，即Ext²(E，G_n-2)=0，Ext²(E，G′_n-2)=0. 则β是满射，所以Ext²(E，k_n-2)β=0. Ext²(E，k_n-2)=0. 重复上述过程，有Extⁿ(E，φ) =0. 所以φ是n-ΓI-Phantom态射.

Reference (16)

Name
	Name cannot be empty!
E-mail
	Mailbox cannot be empty! Mailbox cannot be empty!
Telephone
	Mobile number cannot be empty! Please enter a valid mobile number!
Title

Content
Verification Code

[1]	MCGIBBON C A. Phantom Maps[M]//Handbook of Algebraic Topology, 1995: 1209-1257. Google Scholar
[2]	NEEMAN A. The Brown Representability Theorem and Phantomless Triangulated Categories[J]. Journal of Algebra, 1992, 151(1): 118-155. doi: 10.1016/0021-8693(92)90135-9 CrossRef Google Scholar
[3]	BENSON D J. Phantom Maps and Purity in Modular Representation Theory, Ⅲ[J]. Journal of Algebra, 2002, 248(2): 747-754. doi: 10.1006/jabr.2001.9043 CrossRef Google Scholar
[4]	BENSON D J, GNACADJA G P. Phantom Maps and Purity in Modular Representation Theory, Ⅰ[J]. Fundamenta Mathematicae, 1999, 161(1/2): 37-91. Google Scholar
[5]	BENSON D J, GNACADJA G P. Phantom Maps and Purity in Modular Representation Theory, Ⅱ[J]. Algebras and Representation Theory, 2001, 4(4): 395-404. doi: 10.1023/A:1012475019810 CrossRef Google Scholar
[6]	GNACADJA G P. Phantom Maps in the Stable Module Category [J]. Journal of Algebra, 1998, 201(2): 686-702. doi: 10.1006/jabr.1997.7303 CrossRef Google Scholar
[7]	HERZOG I. The Phantom Cover of a Module[J]. Advances in Mathematics, 2007, 215(1): 220-249. doi: 10.1016/j.aim.2007.03.010 CrossRef Google Scholar
[8]	MAO L X. Higher Phantom and Ext-Phantom Morphisms[J]. Journal of Algebra and Its Applications, 2018, 17(1): 1850012. doi: 10.1142/S0219498818500123 CrossRef Google Scholar
[9]	ASADOLLAHI J, HEMAT S, VAHED R. Gorenstein Flat Phantom Morphisms[J]. Communications in Algebra, 2020, 48(5): 2167-2182. doi: 10.1080/00927872.2019.1710519 CrossRef Google Scholar
[10]	王兴, 杨刚. Gorenstein AC-投射模的函子伴随性[J]. 西南大学学报(自然科学版), 2020, 42(10): 101-108. Google Scholar
[11]	张健芳, 高增辉. Gorenstein FP_n-投射模[J]. 西南师范大学学报(自然科学版), 2020, 45(8): 12-17. Google Scholar
[12]	ESTRANDA S, GUIL ASENSIO P A, OZBEK F. Covering Ideals of Morphisms and Module Representations of the Quiver $ {\mathbb{A}}_2$[J]. Journal of Pure and Applied Algebra, 2014, 218(10): 1953-1963. doi: 10.1016/j.jpaa.2014.02.016 CrossRef $ {\mathbb{A}}_2$" target="_blank">Google Scholar
[13]	ENOCHS E E, JENDA O M G. Gorenstein Injective and Projective Modules[J]. Mathematische Zeitschrift, 1995, 220(1): 611-633. doi: 10.1007/BF02572634 CrossRef Google Scholar
[14]	ROTMAN J J. An Introduction to Homoligical Algebra[M]. New York: Springer, 1979. Google Scholar
[15]	AUSLANDER M, SOLBERG ∅. Relative Homology and Representation Theory 1[J]. Communications in Algebra, 1993, 21(9): 2995-3031. doi: 10.1080/00927879308824717 CrossRef Google Scholar
[16]	WANG Z P, MU T, WANG X M. Recollements of Stable Categories of Gorenstein Injective Modules[J]. Journal of Algebra and Its Applications, 2021, 20(10): 2150190. doi: 10.1142/S0219498821501905 CrossRef Google Scholar

Message Board

Gorenstein Injective Phantom Morphism

Abstract

References

Access History

通讯作者: 陈斌, bchen63@163.com

Article Metrics

Access History

Other Articles By Authors