1.甘肃政法大学人工智能学院,甘肃 兰州 730070
2.兰州交通大学数理学院,甘肃 兰州 730070
ZHANG Pinger(zpe7445@gsupl.edu.cn)
MA Yajun(yjma@mail.lzjtu.cn)
收稿:2024-09-10,
录用:2025-02-22,
网络出版:2025-04-27,
纸质出版:2025-07-25
移动端阅览
张平儿,马亚军.复形的局部上同调模的torsion函子[J].中山大学学报(自然科学版)(中英文),2025,64(04):109-114.
ZHANG Pinger,MA Yajun.Torsion functors of local cohomology modules for complexes[J].Acta Scientiarum Naturalium Universitatis Sunyatseni,2025,64(04):109-114.
张平儿,马亚军.复形的局部上同调模的torsion函子[J].中山大学学报(自然科学版)(中英文),2025,64(04):109-114. DOI: 10.13471/j.cnki.acta.snus.ZR20240278.
ZHANG Pinger,MA Yajun.Torsion functors of local cohomology modules for complexes[J].Acta Scientiarum Naturalium Universitatis Sunyatseni,2025,64(04):109-114. DOI: 10.13471/j.cnki.acta.snus.ZR20240278.
证明了下有界复形的局部上同调模的torsion模属于Serre类,并且在某种情形下证明了复形的torsion模与局部上同调模的torsion模的同构式. 作为此同构式的应用,我们用复形的局部上同调模表示了复形的Betti数.
We show that the torsion module
<math id="M1"><mi mathvariant="normal">T</mi><mi mathvariant="normal">o</mi><msubsup><mrow><mi mathvariant="normal">r</mi></mrow><mrow><mi>j</mi></mrow><mrow><mi>R</mi></mrow></msubsup><mfenced separators="|"><mrow><mi>R</mi><mo>/</mo><mi mathvariant="normal">a</mi><mo>
</mo><mtext> </mtext><msubsup><mrow><mi mathvariant="normal">H</mi></mrow><mrow><mi mathvariant="normal">a</mi></mrow><mrow><mi>i</mi></mrow></msubsup><mfenced separators="|"><mrow><mi>X</mi></mrow></mfenced></mrow></mfenced></math>
https://html.publish.founderss.cn/rc-pub/api/common/picture?pictureId=84835944&type=
4.48733330
https://html.publish.founderss.cn/rc-pub/api/common/picture?pictureId=84835978&type=
26.50066566
is in a Serre subcategory for the bounded below
<math id="M2"><mi>R</mi></math>
https://html.publish.founderss.cn/rc-pub/api/common/picture?pictureId=84835967&type=
2.62466669
https://html.publish.founderss.cn/rc-pub/api/common/picture?pictureId=84835968&type=
2.37066650
-complex
<math id="M3"><mi>X</mi></math>
https://html.publish.founderss.cn/rc-pub/api/common/picture?pictureId=84835947&type=
2.62466669
https://html.publish.founderss.cn/rc-pub/api/common/picture?pictureId=84835956&type=
2.53999996
. In addition
we prove the isomorphism
<math id="M4"><mi mathvariant="normal">T</mi><mi mathvariant="normal">o</mi><msubsup><mrow><mi mathvariant="normal">r</mi></mrow><mrow><mi>s</mi><mo>-</mo><mi>t</mi></mrow><mrow><mi>R</mi></mrow></msubsup><mfenced separators="|"><mrow><mi>R</mi><mo>/</mo><mi mathvariant="normal">a</mi><mo>
</mo><mtext> </mtext><mi>X</mi></mrow></mfenced><mo>≅</mo><mi mathvariant="normal">T</mi><mi mathvariant="normal">o</mi><msubsup><mrow><mi mathvariant="normal">r</mi></mrow><mrow><mi>s</mi></mrow><mrow><mi>R</mi></mrow></msubsup><mfenced separators="|"><mrow><mi>R</mi><mo>/</mo><mi mathvariant="normal">a</mi><mo>
</mo><mtext> </mtext><msubsup><mrow><mi mathvariant="normal">H</mi></mrow><mrow><mi mathvariant="normal">a</mi></mrow><mrow><mi>t</mi></mrow></msubsup><mfenced separators="|"><mrow><mi>X</mi></mrow></mfenced></mrow></mfenced></math>
https://html.publish.founderss.cn/rc-pub/api/common/picture?pictureId=84835982&type=
4.48733330
https://html.publish.founderss.cn/rc-pub/api/common/picture?pictureId=84835971&type=
52.40866470
in some case. As an application
the Betti number of a complex
<math id="M5"><mi>X</mi></math>
https://html.publish.founderss.cn/rc-pub/api/common/picture?pictureId=84835947&type=
2.62466669
https://html.publish.founderss.cn/rc-pub/api/common/picture?pictureId=84835956&type=
2.53999996
in a prime ideal
<math id="M6"><mi mathvariant="normal">p</mi></math>
https://html.publish.founderss.cn/rc-pub/api/common/picture?pictureId=84835958&type=
3.38666677
https://html.publish.founderss.cn/rc-pub/api/common/picture?pictureId=84835984&type=
1.86266661
can be computed by the Betti number of the local cohomology modules of
<math id="M7"><mi>X</mi></math>
https://html.publish.founderss.cn/rc-pub/api/common/picture?pictureId=84835947&type=
2.62466669
https://html.publish.founderss.cn/rc-pub/api/common/picture?pictureId=84835956&type=
2.53999996
in
<math id="M8"><mi mathvariant="normal">p</mi></math>
https://html.publish.founderss.cn/rc-pub/api/common/picture?pictureId=84835974&type=
3.38666677
https://html.publish.founderss.cn/rc-pub/api/common/picture?pictureId=84835997&type=
1.86266661
.
ASGHARZADEH M , TOUSI M , 2010 . A unified approach to local cohomology modules using Serre classes [J]. Can Math Bull , 53 ( 4 ): 577 - 586 .
CHRISTENSEN L W , FOXBY H B , 2006 . Hyperhomological algebra with applications to commutative rings [EB/OL]. https://www.math.ttu.edu/~lchriste/download/918-final.pdf https://www.math.ttu.edu/~lchriste/download/918-final.pdf .
DIBAEI M T , VAHIDI A , 2011 . Torsion functors of local cohomology modules [J]. Algebr Represent Theor , 14 : 79 - 85 .
FOXBY H B , IYENGAR S B , 2001 . Depth and amplitude for unbounded complexes [M]//AVRAMOV L L, et al. Commutative algebra: Interactions with algebraic geometry , Providence : American Mathematical Society .
GROTHENDIECK A , 1962 . Cohomologie locale des faisceaux cohérents et théorèmes de Lefschetz locaux et globaux(SGA 2) [M]. Amsterdam : North-Holland .
HARTSHORNE R , 1970 . Affine duality and cofiniteness [J]. Invent Math , 9 ( 2 ): 145 - 164 .
KHASHYARMANESH K , 2007 . On the finiteness properties of extension and torsion functors of local cohomology modules [J]. Proc Amer Math Soc , 135 ( 5 ): 1319 - 1327 .
MELKERSSON L , 2005 . Modules cofinite with respect to an ideal [J]. J Algebra , 285 ( 2 ): 649 - 668 .
RAHIMPOUR NASBI Y , VAHIDI A , AHMADI AMOLI K , 2017 . Torsion functors of generalized local cohomology modules [J]. Commun Algebra , 45 ( 12 ): 5420 - 5430 .
ROTMAN J , 2009 . An introduction to homological algebra [M]. New York : Springer .
SCHENZEL P , 2003 . Proregular sequences, local cohomology, and completion [J]. Math Scand , 92 ( 2 ): 161 - 180 .
TARRÍO L A , LÓPEZ A J , LIPMAN J , 1997 . Local homology and cohomology on schemes [J]. Ann Sci de l'École Norm Supérieure , 30 ( 1 ): 1 - 39 .
YANG X Y , LUO P , 2025 . Local cohomology and Serre class in derived category D( R ) [J]. Algebra Colloq , 32 ( 1 ): 41 - 52 .
0
浏览量
350
下载量
0
CSCD
关联资源
相关文章
相关作者
相关机构
京公网安备11010802024621
