Let M be a non-zero finitely generated module over a commutative Noetherian local ring （R, m）. In this paper we consider when the local cohomology modules are finitely generated. It is shown that if t≥ 0 is an inte...Let M be a non-zero finitely generated module over a commutative Noetherian local ring （R, m）. In this paper we consider when the local cohomology modules are finitely generated. It is shown that if t≥ 0 is an integer and p C Supp H^t_p （M）, then Hm^t＋dim R/p （M） is not p-cofinite. Then we obtain a partial answer to a question raised by Huneke. Namely, if R is a complete local ring, then H^n_m （M） is finitely generated if and only if 0 ≤ n ￠ W, where W ---- {t ＋ dimR/p丨p ∈ SuppH^t_p（M）／V（m）}. Also, we show that if J C I are 1-dimensional ideals of R, then H^t_I（M） is J-cominimax, and H^t_I（M） is finitely generated （resp., minimax） if and only if H}R, （Mp） is finitely generated for all p C Spec R （resp., p ∈ SpecR／MaxR）. Moreover, the concept of the J-cofiniteness dimension cJ（M） of M relative to I is introduced, and we explore an interrelation between c^I_m（M） and the filter depth of M in I. Finally, we show that if R is complete and dim M/IM ≠ 0, then c^I_m （R） ---- inf{depth Mp ＋ dim R/p 丨 P ∈ Supp M/IM／V（m）}.展开更多
For a truncated quiver algebra over a field of an arbitrary characteristic, its Hochschild cohomology is calculated. Moreover, it is shown that its Hochschild cohomology algebra is finitedimensional if and only if its...For a truncated quiver algebra over a field of an arbitrary characteristic, its Hochschild cohomology is calculated. Moreover, it is shown that its Hochschild cohomology algebra is finitedimensional if and only if its global dimension is finite if and only if its quiver has no oriented cycles.展开更多
Let(C,E,s)be an extriangulated category with a proper classξof E-triangles.We study complete cohomology of objects in(C,E,s)by applyingξ-projective resolutions andξ-injective coresolutions constructed in(C,E,s).Van...Let(C,E,s)be an extriangulated category with a proper classξof E-triangles.We study complete cohomology of objects in(C,E,s)by applyingξ-projective resolutions andξ-injective coresolutions constructed in(C,E,s).Vanishing of complete cohomology detects objects with finiteξ-projective dimension and finiteξ-injective dimension.As a consequence,we obtain some criteria for the validity of the Wakamatsu tilting conjecture and give a necessary and sufficient condition for a virtually Gorenstein algebra to be Gorenstein.Moreover,we give a general technique for computing complete cohomology of objects with finiteξ-Gprojective dimension.As an application,the relations betweenξ-projective dimension andξ-Gprojective dimension for objects in(C,E,s)are given.展开更多
Let R be a commutative Noetherian ring, α an ideal of R, and M a non-zero finitely generated R-module. Let t be a non-negative integer. In this paper, it is shown that dim Supp Hi a（M） ≤ 1 for all i 〈 t if and on...Let R be a commutative Noetherian ring, α an ideal of R, and M a non-zero finitely generated R-module. Let t be a non-negative integer. In this paper, it is shown that dim Supp Hi a（M） ≤ 1 for all i 〈 t if and only if there exists an ideal b of R such that dimR/b ≤ 1 and Hia（M） ≌ Hi b（M） for all i 〈 t. Moreover, we prove that dimSuppHia（M） 〈≤dim M - i for all i.展开更多
文摘Let M be a non-zero finitely generated module over a commutative Noetherian local ring （R, m）. In this paper we consider when the local cohomology modules are finitely generated. It is shown that if t≥ 0 is an integer and p C Supp H^t_p （M）, then Hm^t＋dim R/p （M） is not p-cofinite. Then we obtain a partial answer to a question raised by Huneke. Namely, if R is a complete local ring, then H^n_m （M） is finitely generated if and only if 0 ≤ n ￠ W, where W ---- {t ＋ dimR/p丨p ∈ SuppH^t_p（M）／V（m）}. Also, we show that if J C I are 1-dimensional ideals of R, then H^t_I（M） is J-cominimax, and H^t_I（M） is finitely generated （resp., minimax） if and only if H}R, （Mp） is finitely generated for all p C Spec R （resp., p ∈ SpecR／MaxR）. Moreover, the concept of the J-cofiniteness dimension cJ（M） of M relative to I is introduced, and we explore an interrelation between c^I_m（M） and the filter depth of M in I. Finally, we show that if R is complete and dim M/IM ≠ 0, then c^I_m （R） ---- inf{depth Mp ＋ dim R/p 丨 P ∈ Supp M/IM／V（m）}.
基金the National Natural Science Foundation of China (Grant Nob. 10426014, 10501010 and 10201004)Important Fund of Hubei Provincial Department of Education (Grant No.D200510005)
文摘For a truncated quiver algebra over a field of an arbitrary characteristic, its Hochschild cohomology is calculated. Moreover, it is shown that its Hochschild cohomology algebra is finitedimensional if and only if its global dimension is finite if and only if its quiver has no oriented cycles.
基金supported by the NSF of China(11671069,11771212)Qing Lan Project of Jiangsu Province and Natural Science Foundation of Jiangsu Province(BK20211358)+4 种基金supported by the NSF of China(11971225,11901341)Shandong Provincial Natural Science Foundation(ZR2019QA015)supported by the National Natural Science Foundation of China(11901190,11671221)the Hunan Provincial Natural Science Foundation of China(2018JJ3205)the Scientific Research Fund of Hunan Provincial Education Department(19B239).
文摘Let(C,E,s)be an extriangulated category with a proper classξof E-triangles.We study complete cohomology of objects in(C,E,s)by applyingξ-projective resolutions andξ-injective coresolutions constructed in(C,E,s).Vanishing of complete cohomology detects objects with finiteξ-projective dimension and finiteξ-injective dimension.As a consequence,we obtain some criteria for the validity of the Wakamatsu tilting conjecture and give a necessary and sufficient condition for a virtually Gorenstein algebra to be Gorenstein.Moreover,we give a general technique for computing complete cohomology of objects with finiteξ-Gprojective dimension.As an application,the relations betweenξ-projective dimension andξ-Gprojective dimension for objects in(C,E,s)are given.
文摘Let R be a commutative Noetherian ring, α an ideal of R, and M a non-zero finitely generated R-module. Let t be a non-negative integer. In this paper, it is shown that dim Supp Hi a（M） ≤ 1 for all i 〈 t if and only if there exists an ideal b of R such that dimR/b ≤ 1 and Hia（M） ≌ Hi b（M） for all i 〈 t. Moreover, we prove that dimSuppHia（M） 〈≤dim M - i for all i.
