pith. machine review for the scientific record. sign in

arxiv: 2409.08996 · v3 · submitted 2024-09-13 · 🧮 math.AC

Recognition: unknown

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

Paulo Martins, Victor D. Mendoza-Rubio, Victor H. Jorge-P\'erez

classification 🧮 math.AC
keywords depthoperatornamedimensionformulaquasi-projectiveauslanderfinitegheibi
0
0 comments X
read the original abstract

For nonzero finitely generated $R$-modules $M$ and $N$ over a Noetherian local ring $R$, Auslander's depth formula is the equality $$ \operatorname{depth} M + \operatorname{depth} N = \operatorname{depth} R + \operatorname{depth}(\operatorname{Tor}_q^R(M,N)) - q, $$ where $ 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 $M$ has finite quasi-projective dimension and $q=0$. In this paper, we prove that the formula still holds when $M$ has finite quasi-projective dimension, $q<\infty$ and $\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.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. The derived depth formula for modules of finite quasi-projective dimension

    math.AC 2026-05 unverdicted novelty 7.0

    The paper establishes derived depth formulas and related identities for modules of finite quasi-projective dimension over Noetherian local rings, extending Auslander's depth formula and Ischebeck's formula.