The derived depth formula for modules of finite quasi-projective dimension
Commutative Algebra
2026-05-11 v1
Abstract
Let be a commutative Noetherian local ring. We prove a variety of new formulae for modules of finite quasi-projective or finite quasi-injective dimension. These include the Derived Depth Formula, itself an extension of Auslander famous depth formula, a variation of the Derived Depth Formula for width, an extended version of Ischebeck's Formula, and a Dependency formula in the vein of Jorgensen. Several special cases of our main results are new even under stronger assumptions on the vanishing of various complete intersection dimensions.
Keywords
Cite
@article{arxiv.2605.07004,
title = {The derived depth formula for modules of finite quasi-projective dimension},
author = {Luigi Ferraro and Justin Lyle},
journal= {arXiv preprint arXiv:2605.07004},
year = {2026}
}