English

Remarks on Auslander's depth formula for quasi-projective dimension

Commutative Algebra 2026-05-21 v4

Abstract

For nonzero finitely generated RR-modules MM and NN over a Noetherian local ring RR, Auslander's depth formula is the equality depthM+depthN=depthR+depth(TorqR(M,N))q, \operatorname{depth} M + \operatorname{depth} N = \operatorname{depth} R + \operatorname{depth}(\operatorname{Tor}_q^R(M,N)) - q, where q:=sup{i0ToriR(M,N)0} q := \sup\{ i \ge 0 \mid \operatorname{Tor}_i^R(M,N) \neq 0 \}. Gheibi, Jorgensen, and Takahashi introduced a homological invariant called quasi-projective dimension, which generalizes projective dimension, and proved that Auslander's depth formula holds when MM has finite quasi-projective dimension and q=0q=0. In this paper, we prove that the formula still holds when MM has finite quasi-projective dimension, q<q<\infty and depth(TorqR(M,N))1\operatorname{depth}(\operatorname{Tor}_q^R(M,N)) \leq 1. We present several applications of this result; in particular, we recover a theorem of Araya and Yoshino, extend our result to the setting of semidualizing modules, and in this framework derive an improved version of the dependency formula for quasi-projective dimension with respect to a semidualizing module recently obtained by Dey, Ferraro, and Gheibi.

Cite

@article{arxiv.2409.08996,
  title  = {Remarks on Auslander's depth formula for quasi-projective dimension},
  author = {Victor H. Jorge-Pérez and Paulo Martins and Victor D. Mendoza-Rubio},
  journal= {arXiv preprint arXiv:2409.08996},
  year   = {2026}
}

Comments

Some minor corrections from V3. Accepted for publication in Revista de la Real Academia de Ciencias Exactas, F\'isicas y Naturales. Serie A. Matem\'aticas

R2 v1 2026-06-28T18:44:00.160Z