劉義佳

(重慶師范大學(xué) 數(shù)學(xué)科學(xué)學(xué)院,重慶 401331)

本文中的環(huán)均指有單位元的結(jié)合環(huán),模均指酉模.對(duì)于環(huán)R,用Rop表示R的反環(huán),RM和MR分別表示左R-模范疇和右R-模范疇,I(R)和P(R)分別表示內(nèi)射左R-模范疇和投射左R-模范疇.記號(hào)SMR表示M是(S,R)-雙模.

Gorenstein同調(diào)代數(shù)可追溯到1969年Auslander和Bridger[1]對(duì)雙邊Noether環(huán)上的有限生成模的G維數(shù)的研究.20世紀(jì)90年代,Enochs等[2]對(duì)結(jié)合環(huán)引入了Gorenstein投射(內(nèi)射、平坦)模的概念.2004年Holm[3]研究了Gorenstein同調(diào)模及其維數(shù)的性質(zhì).在Gorenstein同調(diào)代數(shù)的研究中,人們發(fā)現(xiàn)經(jīng)典同調(diào)代數(shù)中一些關(guān)于投射(內(nèi)射、平坦)模的同調(diào)性質(zhì)和不變量的結(jié)論在Gorenstein同調(diào)代數(shù)中有對(duì)應(yīng)的版本.眾所周知投射模都是平坦模,但Gorenstein投射模是否都是Gorenstein平坦模仍是一個(gè)未解決的問題.為了研究這個(gè)問題,2020年Saroch和Stovivcek[4]引入了投射余可解Gorenstein平坦模的概念.

環(huán)的Frobenius擴(kuò)張是一個(gè)經(jīng)典的問題.1954年Kasch[5]引入了Frobenius擴(kuò)張的概念,它是域上的Frobenius代數(shù)的推廣.1960年Nakayam[6]等和Morita[7]發(fā)展了Frobenius擴(kuò)張理論.1999年Kadison[8]引入了Frobenius雙模的概念.Frobenius雙模與模范疇之間的Frobenius函子具有一一對(duì)應(yīng)關(guān)系[7,9],因此Frobenius函子可看作Frobenius雙模的范疇版本[10].近來,Hu等[11]研究了Frobenius函子和Gorenstein平坦模及其維數(shù)之間的關(guān)系,Chen等[10]研究了Frobenius函子作用下的Gorenstein同調(diào)性質(zhì).

受以上研究的啟發(fā),本文研究投射余可解Gorenstein平坦模及其維數(shù)在Frobenius函子作用下的同調(diào)不變性.設(shè)R和S是環(huán),SMR是Frobenius雙模且MR是生成子.我們先證明了對(duì)任意R-模X,X是投射余可解Gorenstein平坦的當(dāng)且僅當(dāng)M?RX是投射余可解Gorenstein平坦S-模.然后證明了當(dāng)F:RM→SM是忠實(shí)的Frobenius函子時(shí)有PGfd(RX)=PGfd(SF(X)).接著說明投射余可解Gorenstein平坦模及其維數(shù)在環(huán)的Frobenius擴(kuò)張下是保持的.最后證明了若環(huán)的Frobenius擴(kuò)張是可裂的,則環(huán)的PGF整體維數(shù)也具有不變性.

1 預(yù)備知識(shí)

定義1[8]如果(S,R)-雙模M滿足以下條件,則稱M是Frobenius雙模:

(1)SM和MR均是有限生成投射的.

(2) 存在(R,S)-雙模的同構(gòu):

*M∶=RHomS(M,S)S?RHomRop(M,R)S=∶M*.

定義2[6]稱環(huán)擴(kuò)張S→R是Frobenius擴(kuò)張,如果下列等價(jià)條件之一成立:

(1)SR是有限生成投射的,且

RRS?(SRR)*?HomS(SR,SS).

(2)RS是有限生成投射的,且

SRR?(RRS)*?HomSop(RS,SS).

由以上定義可知環(huán)擴(kuò)張S→R是Frobenius擴(kuò)張當(dāng)且僅當(dāng)R作為(S,R)-雙模是Frobenius雙模.

定義3[9,12]設(shè)A和B均為Abel范疇,F:A→B,G:B→A是兩個(gè)函子.

(1) 稱(F,G)是伴隨對(duì),如果存在自然同構(gòu)

HomB(F(-),-)?HomA(-,G(-)).

此時(shí)稱G是F的右伴隨,F是G的左伴隨.

(2) 稱(F,G)是Frobenius對(duì),如果G既是F的左伴隨又是它的右伴隨.

(3) 稱函子F是Frobenius函子,如果對(duì)函子G,(F,G)是Frobenius對(duì).

由定義可知若(F,G)是Frobenius對(duì),則F和G均是Frobenius函子,即Frobenius函子總是成對(duì)出現(xiàn)的.根據(jù)[9,Theorem 2.1],函子F:RM→SM是Frobenius函子當(dāng)且僅當(dāng)存在Frobenius雙模SMR使得F?M?R-.

以下是一些常見的Frobenius函子.

例1[10](1) 設(shè)SMR是Frobenius雙模,N是(R,S)-雙模,則(M?R-,N?S-)是RM與SM之間的Frobenius對(duì).

(2) 設(shè)S→R是環(huán)的擴(kuò)張,則有純量擴(kuò)張函子R?S-:SM→RM和遺忘函子U:RM→SM,且環(huán)擴(kuò)張S→R是Frobenius擴(kuò)張當(dāng)且僅當(dāng)(R?S-,U)是Frobenius對(duì).

本文將用到Frobenius雙模的如下基本性質(zhì).

引理1[8,13]設(shè)R和S是環(huán),SMR是Frobenius雙模,記N∶=*M,則有:

(1)RNS是Frobenius雙模.

(2)M?R-?HomR(N,-),N?S-?HomS(M,-).

(3) HomRop(M,-)?-?RN, HomSop(N,-)?-?SM.

(4) 若X是投射(內(nèi)射,平坦)R-模,則M?RX是投射(內(nèi)射,平坦)S-模.

(5) 若Y是投射(內(nèi)射,平坦)S-模,則HomS(M,Y)是投射(內(nèi)射,平坦)R-模.

(6) 對(duì)任意i≥0、任意Rop-模X和R-模Y,有

下面敘述投射余可解Gorenstein平坦模的概念及相關(guān)結(jié)論.

定義4[3,4]設(shè)X是R-模.

(1) 稱X是Gorenstein投射的,如果存在投射R-模的正合列

P:…→P-2→P-1→P0→P1→P2→…,

使得X?Ker(P0→P1),且對(duì)任意Q∈P(R),序列HomR(P,Q)仍正合.用GP(R)表示Gorenstein投射R-模類.

(2) 稱X是Gorenstein平坦的,如果存在平坦R-模的正合列

F:…→F-2→F-1→F0→F1→F2→…,

使得X?Ker(F0→F1),且對(duì)任意I∈I(Rop),序列I?RF仍正合.用GF(R)表示Gorenstein平坦R-模類.

(3) 稱X是投射余可解Gorenstein平坦的(簡稱為PGF模),如果存在投射R-模的正合列

P:…→P-2→P-1→P0→P1→P2→…,

使得X?Ker(P0→P1),且對(duì)任意E∈I(Rop),序列E?RP仍正合.用PGF(R)表示投射余可解Gorenstein平坦R-模類.

由以上定義可知PGF(R)?GF(R).由[4,Theorem4.4]知PGF(R)?GP(R).

引理2[4]PGF(R)關(guān)于擴(kuò)張和直和項(xiàng)封閉.

引理3[14]對(duì)于R-模X,下列條件等價(jià):

(1)X∈PGF(R).

(3) 存在R-模的短正合序列0→X→P→G→0,使得P∈P(R),G∈PGF(R).

2 主要結(jié)果

本節(jié)先討論在Frobenius函子作用下PGF模及其維數(shù)的同調(diào)不變性,作為應(yīng)用給出PGF模及其維數(shù)在環(huán)的Frobenius擴(kuò)張S→R下的同調(diào)不變性;然后討論在Frobenius函子作用下Gorenstein平坦模、Gorenstein投射模和PGF模之間的關(guān)系;最后討論環(huán)的PGF整體維數(shù)在可裂Frobenius擴(kuò)張下的保持性.

引理4 設(shè)SMR是Frobenius雙模,則有:

(1) 若X是PGFR-模,則M?RX是PGFS-模.

(2) 若Y是PGFS-模,則HomS(M,Y)是PGFR-模.

證明(1) 設(shè)X是PGFR-模,則存在投射R-模的正合列

P:…→P-2→P-1→P0→P1→P2→…,

使得X?Ker(P0→P1),且對(duì)任意E∈I(Rop),序列E?RP仍正合.由引理1,有投射S-模的正合列

M?RP:…→M?RP-1→M?RP0→M?RP1→M?RP2→…,

且M?RX?Ker(M?RP0→M?RP1).設(shè)I∈I(Sop),則I?SM是內(nèi)射Rop-模,因此序列I?SM?RP正合.故M?RX是PGFS-模.

(2) 設(shè)Y是PGFS-模.因?yàn)镽NS是Frobenius雙模,因此由(1)可知N?SY是PGFR-模.由引理1知N?SY?HomS(M,Y),故HomS(M,Y)是PGFR-模.

由[11,Theorem 2.2]知,函子F:RM→SM是忠實(shí)的Frobenius函子當(dāng)且僅當(dāng)存在Frobenius雙模SMR使得F?M?R-且MR是生成子.由此可得

定理1設(shè)SMR是Frobenius雙模且MR是生成子,則有:

(1)X是PGFR-模當(dāng)且僅當(dāng)M?RX是PGFS-模.

(2)Y是PGFRop-模當(dāng)且僅當(dāng)HomRop(M,Y)是PGFSop-模.

證明(1) 必要性由引理4可得.下證充分性.設(shè)X是R-模,使得M?RX是PGFS-模.以下只需證明X是PGFR-模.

設(shè)E是內(nèi)射Rop-模,則HomRop(M,E)是內(nèi)射Sop-模.因M?RX是PGFS-模,故對(duì)任意i>0有

由同構(gòu)

由引理4知HomS(M,M?RX)是PGFR-模,故存在短正合列

0→HomS(M,M?RX)→P0→L1→0,

使得P0是投射R-模,L1是PGFR-模.由[11,Theorem2.2]知,存在R-模的短正合列

考慮推出圖

用函子M?R-作用后可得

(2) 由于SMR是Frobenius雙模且MR是生成子,故RNS是Frobenius雙模且RN是生成子.由(1)知Rop-模Y是PGF模當(dāng)且僅當(dāng)Y?RN是PGFSop-模,故由同構(gòu)Y?RN?HomRop(M,Y)知HomRop(M,Y)是PGFSop-模.證畢.

若S→R是環(huán)的Frobenius擴(kuò)張,則SRR是Frobenius雙模且RR是生成子,因此R?R-:RM→SM是忠實(shí)的Frobenius函子.于是由定理1可得

推論1設(shè)S→R是環(huán)的Frobenius擴(kuò)張,X是R-模,則X是PGFR-模當(dāng)且僅當(dāng)X是PGFS-模.

文獻(xiàn)[15]證明了任意PGFR-模在環(huán)的可分Frobenius擴(kuò)張下是保持的,因此上述推論是對(duì)[15,定理1]的推廣.鑒于PGF模既是Gorenstein平坦模又是Gorenstein投射模,下面討論在Frobenius函子作用下Gorenstein平坦模、Gorenstein投射模和PGF模之間的關(guān)系.由定理1和[11,Theorem 3.3,Theorem 3.4]可得如下推論.

推論2設(shè)SMR是Frobenius雙模且MR和SM均是生成子,則有:

(1) 每個(gè)Gorenstein平坦R-模都是PGF模當(dāng)且僅當(dāng)每個(gè)Gorenstein平坦S-模都是PGF模.

(2) 每個(gè)Gorenstein投射R-模都是PGF模當(dāng)且僅當(dāng)每個(gè)Gorenstein投射S-模都是PGF模.

證明只證(1).必要性:設(shè)Y是Gorenstein平坦S-模,則由[11,Theorem 3.3(2)]知HomS(M,Y)是Gorenstein平坦R-模,從而是PGFR-模.因?yàn)镾M是生成子,故由定理1(2)知Y是PGFS-模.

充分性:設(shè)X是Gorenstein平坦R-模,則由[11,Theorem 3.3(1)]知M?RX是Gorenstein平坦S-模,從而是PGFS-模.因?yàn)镸R是生成子,故由定理1(1)知X是PGFR-模.

定義5[16]設(shè)X是任意R-模,X的投射余可解Gorenstein平坦維數(shù)(簡稱為PGF維數(shù))為

若不存在這樣的n,則記PGfd(RX)=∞.環(huán)R的PGF整體維數(shù)為

引理5[15]設(shè)X是R-模,則下列兩條件等價(jià):

(1) PGfd(X)≤n.

(2) 若存在正合列

0→K→Pn-1→…→P1→P0→X→0,

其中Pi是PGFR-模,則K是PGFR-模.

下面利用上述引理討論P(yáng)GF維數(shù)在忠實(shí)的Frobenius函子作用下的不變性.

定理2設(shè)F:RM→SM是忠實(shí)的Frobenius函子,X是R-模,則PGfd(RX)=PGfd(SF(X)).證明因F是忠實(shí)的Frobenius函子,故存在Frobenius雙模SMR且MR是生成子,使得F?M?R-.設(shè)X是R-模,易知PGfd(SM?RX)≤PGfd(RX),所以只需證明PGfd(RX)≤PGfd(SM?RX).

PGfd(SM?RX)=∞時(shí)結(jié)論顯然成立.設(shè)PGfd(SM?RX)=m<∞.考慮R-模的正合列

0→K→Gm-1→…→G1→G0→X→0,

其中Gi是PGFR-模(0≤i≤m-1).由定理1知M?RGi是PGFS-模,故有S-模的正合列

0→M?RK→M?RGm-1→…→M?RG1→M?RG0→M?RX→0,

其中M?RGi是PGFS-模(0≤i≤m-1).因PGfd(SM?RX)=m,故M?RK是PGFS-模,于是由定理1知K是PGFR-模,從而由引理5可得PGfd(RX)≤m.證畢.

由定理2可得如下推論.

推論3設(shè)S→R是環(huán)的Frobenius擴(kuò)張,X是R-模,則PGfd(RX)=PGfd(SX).

文獻(xiàn)[15]中證明了模的PGF維數(shù)在環(huán)的可分Frobenius擴(kuò)張下是保持的,故推論3是該結(jié)論的一個(gè)推廣.

推論4設(shè)SMR是Frobenius雙模,則有:

(1) 若MR是生成子,則PGF-gl.dim(R)≤PGF-gl.dim(S).

(2) 若SM是生成子,則PGF-gl.dim(S)≤PGF-gl.dim(R).

證明只證(1).PGF-gl.dim(S)=∞時(shí)結(jié)論顯然成立.設(shè)PGF-gl.dim(S)=m<∞,X是R-模.由定理2可得PGfd(RX)=PGfd(SM?RX),進(jìn)而PGfd(RX)≤m.故PGF-gl.dim(R)≤PGF-gl.dim(S).

稱環(huán)擴(kuò)張S→R是可裂的[17],如果作為(S,S)-雙模S是R的一個(gè)直和項(xiàng).眾所周知,如果環(huán)的Frobenius擴(kuò)張S→R是可裂的,則SR是生成子.從而有以下推論.

推論5設(shè)S→R是環(huán)的可裂Frobenius擴(kuò)張,則有:

(1) PGF-gl.dim(R)=PGF-gl.dim(S).

(2) 每個(gè)Gorenstein平坦R-模是PGF模當(dāng)且僅當(dāng)每個(gè)Gorenstein平坦S-模是PGF模.

(3) 每個(gè)Gorenstein投射R-模是PGF模當(dāng)且僅當(dāng)每個(gè)Gorenstein投射S-模是PGF模.