English

On $\operatorname{Ext}$-finite modules, quasi-injective dimension and width of modules

Commutative Algebra 2025-11-19 v2

Abstract

Let (R,m,k)(R,\mathfrak{m},k) be a commutative Noetherian local ring. It is well-known that if MM is a finitely generated RR-module of finite quasi-injective dimension, then qidRM=depthR\operatorname{qid}_RM = \operatorname{depth} R. In this paper, we demonstrate that under the weaker condition that MM is Ext\operatorname{Ext}-finite and has finite quasi-injective dimension, the equality qidRM=0\operatorname{qid}_R M =0 holds if and only if ExtRi>0(R/(x),M)=0\operatorname{Ext}_R^{i>0}(R/(\boldsymbol{x}),M)=0, where xm\boldsymbol{x} \in \mathfrak{m} is a maximal RR-sequence and if qidRM0\operatorname{qid}_R M \neq 0, we show then that qidRM=sup{i:ExtRi(R/(x),M)0}\operatorname{qid}_R M = \sup \lbrace i : \operatorname{Ext}_R^i(R/(\boldsymbol{x}),M) \neq 0 \rbrace. Also, we show that if RR is a Cohen-Macaulay local ring and MM is an Ext\operatorname{Ext}-finite RR-module of finite quasi-injective dimension, then depthR=qidRM+inf{i:ToriR(k,M)0}\operatorname{depth} R = \operatorname{qid}_R M + \inf \lbrace i : \operatorname{Tor}_i^R(k,M) \neq 0 \rbrace, provided that inf{i:ToriR(k,M)0}<\inf \lbrace i : \operatorname{Tor}_i^R(k,M) \neq 0 \rbrace< \infty.

Keywords

Cite

@article{arxiv.2503.18582,
  title  = {On $\operatorname{Ext}$-finite modules, quasi-injective dimension and width of modules},
  author = {Victor H. Jorge-Pérez and Paulo Martins},
  journal= {arXiv preprint arXiv:2503.18582},
  year   = {2025}
}

Comments

Minor changes. Accepted for publication in Communications in Algebra