1.安徽工程大学 数理与金融学院,安徽 芜湖 241000
2.皖西中学,安徽 六安 237000
WU Yuchen, female, Master candidate, research direction: homological algebra. E-mail: 2325386199@qq.com
E-mail: liudajun@ahpu.edu.cn
收稿:2025-11-27,
纸质出版:2026-10-24
移动端阅览
吴雨晨,刘大俊,王传玉等.外三角长度范畴中Gorenstein子范畴的稳定性[J].武汉大学学报自然科学英文版,2026,31(05):448-458.
WU Yuchen, LIU Dajun, WANG Chuanyu, et al. Stability of Gorenstein Subcategories in Extriangulated Length Categories[J]. Wuhan Univ J of Nat Sci, 2026, 31(5): 448-458.
吴雨晨,刘大俊,王传玉等.外三角长度范畴中Gorenstein子范畴的稳定性[J].武汉大学学报自然科学英文版,2026,31(05):448-458. DOI: 10.1051/wujns/2026315448.
WU Yuchen, LIU Dajun, WANG Chuanyu, et al. Stability of Gorenstein Subcategories in Extriangulated Length Categories[J]. Wuhan Univ J of Nat Sci, 2026, 31(5): 448-458. DOI: 10.1051/wujns/2026315448.
设
<math id="M10"><mi>θ</mi></math>
https://html.publish.founderss.cn/rc-pub/api/common/picture?pictureId=121279083&type=
https://html.publish.founderss.cn/rc-pub/api/common/picture?pictureId=121279082&type=
1.97555566
2.68111110
是一个长度函数,
<math id="M11"><mo stretchy="false">(</mo><mo stretchy="false">(</mo><mi mathvariant="normal">𝒞</mi><mo>
</mo><mi mathvariant="double-struck">E</mi><mo>
</mo><mi mathvariant="normal">s</mi><mo stretchy="false">)</mo><mo>
</mo><mi>θ</mi><mo stretchy="false">)</mo></math>
https://html.publish.founderss.cn/rc-pub/api/common/picture?pictureId=121279123&type=
https://html.publish.founderss.cn/rc-pub/api/common/picture?pictureId=121279097&type=
16.08666801
3.52777815
为具有足够多
<math id="M12"><mi>θ</mi></math>
https://html.publish.founderss.cn/rc-pub/api/common/picture?pictureId=121279099&type=
https://html.publish.founderss.cn/rc-pub/api/common/picture?pictureId=121279085&type=
1.97555566
2.68111110
-投射对象的外三角长度范畴。我们引入了
<math id="M13"><mo stretchy="false">(</mo><mo stretchy="false">(</mo><mi mathvariant="normal">𝒞</mi><mo>
</mo><mi mathvariant="double-struck">E</mi><mo>
</mo><mi mathvariant="normal">s</mi><mo stretchy="false">)</mo><mo>
</mo><mi>θ</mi><mo stretchy="false">)</mo></math>
https://html.publish.founderss.cn/rc-pub/api/common/picture?pictureId=121279123&type=
https://html.publish.founderss.cn/rc-pub/api/common/picture?pictureId=121279097&type=
16.08666801
3.52777815
中Gorenstein子范畴
<math id="M14"><mi mathvariant="normal">𝒢</mi><mi mathvariant="normal">𝒫</mi><mo stretchy="false">(</mo><mi>θ</mi><mo stretchy="false">)</mo></math>
https://html.publish.founderss.cn/rc-pub/api/common/picture?pictureId=121279087&type=
https://html.publish.founderss.cn/rc-pub/api/common/picture?pictureId=121279111&type=
9.03111172
3.52777815
和
<math id="M15"><mi mathvariant="normal">𝒢</mi><msup><mrow><mi mathvariant="normal">𝒫</mi></mrow><mrow><mi>n</mi></mrow></msup><mo stretchy="false">(</mo><mi>θ</mi><mo stretchy="false">)</mo></math>
https://html.publish.founderss.cn/rc-pub/api/common/picture?pictureId=121279113&type=
https://html.publish.founderss.cn/rc-pub/api/common/picture?pictureId=121279101&type=
10.72444439
3.80999994
的定义,并且证明了对于任意的
<math id="M16"><mi>n</mi><mo>≥</mo><mn mathvariant="normal">1</mn></math>
https://html.publish.founderss.cn/rc-pub/api/common/picture?pictureId=121279104&type=
https://html.publish.founderss.cn/rc-pub/api/common/picture?pictureId=121279128&type=
7.05555630
2.68111110
,有
<math id="M17"><mi mathvariant="normal">𝒢</mi><msup><mrow><mi mathvariant="normal">𝒫</mi></mrow><mrow><mi>n</mi></mrow></msup><mo stretchy="false">(</mo><mi>θ</mi><mo stretchy="false">)</mo><mo>=</mo><mi mathvariant="normal">𝒢</mi><mi mathvariant="normal">𝒫</mi><mo stretchy="false">(</mo><mi>θ</mi><mo stretchy="false">)</mo></math>
https://html.publish.founderss.cn/rc-pub/api/common/picture?pictureId=121279117&type=
https://html.publish.founderss.cn/rc-pub/api/common/picture?pictureId=121279105&type=
22.86000061
3.80999994
。该结论刻画了外三角长度范畴中的Gorenstein同调性质。
Let
<math id="M1"><mi>θ</mi></math>
https://html.publish.founderss.cn/rc-pub/api/common/picture?pictureId=121279039&type=
https://html.publish.founderss.cn/rc-pub/api/common/picture?pictureId=121279027&type=
1.69333339
2.25777793
be a length function and
<math id="M2"><mo stretchy="false">(</mo><mo stretchy="false">(</mo><mi mathvariant="normal">𝒞</mi><mo>
</mo><mi mathvariant="double-struck">E</mi><mo>
</mo><mi mathvariant="normal">s</mi><mo stretchy="false">)</mo><mo>
</mo><mi>θ</mi><mo stretchy="false">)</mo></math>
https://html.publish.founderss.cn/rc-pub/api/common/picture?pictureId=121279066&type=
https://html.publish.founderss.cn/rc-pub/api/common/picture?pictureId=121279040&type=
13.82888889
2.96333337
be an extriangulated length category with enough
<math id="M3"><mi>θ</mi></math>
https://html.publish.founderss.cn/rc-pub/api/common/picture?pictureId=121279042&type=
https://html.publish.founderss.cn/rc-pub/api/common/picture?pictureId=121279067&type=
1.69333339
2.25777793
-projective objects. We introduce the concepts of the Gorenstein subcategories
<math id="M4"><mi mathvariant="normal">𝒢</mi><mi mathvariant="normal">𝒫</mi><mo stretchy="false">(</mo><mi>θ</mi><mo stretchy="false">)</mo></math>
https://html.publish.founderss.cn/rc-pub/api/common/picture?pictureId=121279031&type=
https://html.publish.founderss.cn/rc-pub/api/common/picture?pictureId=121279043&type=
7.76111078
2.96333337
and
<math id="M5"><mi mathvariant="normal">𝒢</mi><msup><mrow><mi mathvariant="normal">𝒫</mi></mrow><mrow><mi>n</mi></mrow></msup><mo stretchy="false">(</mo><mi>θ</mi><mo stretchy="false">)</mo></math>
https://html.publish.founderss.cn/rc-pub/api/common/picture?pictureId=121279032&type=
https://html.publish.founderss.cn/rc-pub/api/common/picture?pictureId=121279071&type=
9.31333351
3.24555564
in
<math id="M6"><mo stretchy="false">(</mo><mo stretchy="false">(</mo><mi mathvariant="normal">𝒞</mi><mo>
</mo><mi mathvariant="double-struck">E</mi><mo>
</mo><mi mathvariant="normal">s</mi><mo stretchy="false">)</mo><mo>
</mo><mi>θ</mi><mo stretchy="false">)</mo></math>
https://html.publish.founderss.cn/rc-pub/api/common/picture?pictureId=121279073&type=
https://html.publish.founderss.cn/rc-pub/api/common/picture?pictureId=121279046&type=
13.82888889
2.96333337
and we prove
<math id="M7"><mi mathvariant="normal">𝒢</mi><msup><mrow><mi mathvariant="normal">𝒫</mi></mrow><mrow><mi>n</mi></mrow></msup><mo stretchy="false">(</mo><mi>θ</mi><mo stretchy="false">)</mo><mo>=</mo><mi mathvariant="normal">𝒢</mi><mi mathvariant="normal">𝒫</mi><mo stretchy="false">(</mo><mi>θ</mi><mo stretchy="false">)</mo></math>
https://html.publish.founderss.cn/rc-pub/api/common/picture?pictureId=121279060&type=
https://html.publish.founderss.cn/rc-pub/api/common/picture?pictureId=121279047&type=
19.61444283
3.24555564
for any
<math id="M8"><mi>n</mi><mo>≥</mo><mn mathvariant="normal">1</mn></math>
https://html.publish.founderss.cn/rc-pub/api/common/picture?pictureId=121279081&type=
https://html.publish.founderss.cn/rc-pub/api/common/picture?pictureId=121279075&type=
6.06777763
2.25777793
. This result provides a characterization of the Gorenstein homological property in
<math id="M9"><mo stretchy="false">(</mo><mo stretchy="false">(</mo><mi mathvariant="normal">𝒞</mi><mo>
</mo><mi mathvariant="double-struck">E</mi><mo>
</mo><mi mathvariant="normal">s</mi><mo stretchy="false">)</mo><mo>
</mo><mi>θ</mi><mo stretchy="false">)</mo></math>
https://html.publish.founderss.cn/rc-pub/api/common/picture?pictureId=121279073&type=
https://html.publish.founderss.cn/rc-pub/api/common/picture?pictureId=121279046&type=
13.82888889
2.96333337
.
Auslander M , Bridger M . Stable module theory [M ] . Providence : American Mathematical Society , 1969 .
Enochs E E , Jenda O M G . Gorenstein injective and projective modules [J ] . Mathematische Zeitschrift , 1995 , 220 ( 1 ): 611 - 633 .
Sather-Wagstaff K A , Sharif T , White D . Stability of Gorenstein categories [J ] . Journal of the London Mathematical Society , 2008 , 77 ( 2 ): 481 - 502 .
Huang Z Y . Proper resolutions and Gorenstein categories [J ] . Journal of Algebra , 2013 , 393 : 142 - 169 .
Yang X Y , Wang Z C . Proper resolutions and Gorensteinness in triangulated categories [J ] . Rocky Mountain Journal of Mathematics , 2017 , 47 ( 3 ): 1013 - 1053 .
Nakaoka H , Palu Y . Extriangulated categories, Hovey twin cotorsion pairs and model structures [J ] . Cahiers de Topologie et Géométrie Différentielle Catégoriques , 2019 , 60 ( 2 ): 117 - 193 .
Hu J S , Zhang D D , Zhou P Y . Proper classes and Gorensteinness in extriangulated categories [J ] . Journal of Algebra , 2020 , 551 : 23 - 60 .
Hu J S , Zhang D D , Zhou P Y . Proper resolutions and Gorensteinness in extriangulated categories [J ] . Frontiers of Mathematics in China , 2021 , 16 ( 1 ): 95 - 117 .
Hu J S , Zhang D D , Zhou P Y . Gorenstein homological dimensions for extriangulated categories [J ] . Bulletin of the Malaysian Mathematical Sciences Society , 2021 , 44 ( 4 ): 2235 - 2252 .
Hu J S , Lu J F , Zhang D D , et al . Stable categories and triangulated equivalences [J ] . Scientia Sinica Mathematica , 2023 , 53 ( 4 ): 565 - 576 (Ch) .
He J , Zhou P Y . Homological systems in extriangulated categories [J ] . Scientia Sinica Mathematica , 2023 , 53 ( 5 ): 697 - 716 (Ch) .
Wang L , Wei J Q , Zhang H C , et al . Extriangulated length categories: Torsion classes and τ -tilting theory [EB/OL ] . [ 2025-10-30 ] . https://arxiv.org/abs/2502.07367 https://arxiv.org/abs/2502.07367 .
Zheng Y L , Zhang P Y . Gorenstein projective objects in extriangulated length categories [EB/OL ] . [ 2026-09-30 ] . https://chinaxiv.org/abs/202610.00015(Ch) https://chinaxiv.org/abs/202610.00015(Ch) .
Bühler T . Exact categories [J ] . Expositiones Mathematicae , 2010 , 28 ( 1 ): 1 - 69 .
0
浏览量
1
下载量
0
CSCD
关联资源
相关文章
相关作者
相关机构
京公网安备11010802024621