English

Complete intersection dimensions and Foxby classes

Commutative Algebra 2008-05-27 v3 Rings and Algebras

Abstract

Let RR be a local ring and MM a finitely generated RR-module. The complete intersection dimension of MM--defined by Avramov, Gasharov and Peeva, and denoted \cidimR(M)\cidim_R(M)--is a homological invariant whose finiteness implies that MM is similar to a module over a complete intersection. It is related to the classical projective dimension and to Auslander and Bridger's Gorenstein dimension by the inequalities \gdimR(N)\cidimR(N)\pdR(N)\gdim_R(N)\leq\cidim_R(N)\leq\pd_R(N). Using Blanco and Majadas' version of complete intersection dimension for local ring homomorphisms, we prove the following generalization of a theorem of Avramov and Foxby: Given local ring homomorphisms ϕ ⁣:RS\phi\colon R\to S and ψ ⁣:ST\psi\colon S\to T such that ϕ\phi has finite Gorenstein dimension, if ψ\psi has finite complete intersection dimension, then the composition ψϕ\psi\circ\phi has finite Gorenstein dimension. This follows from our result stating that, if MM has finite complete intersection dimension, then MM is CC-reflexive and is in the Auslander class \catac(R)\catac(R) for each semidualizing RR-complex CC.

Keywords

Cite

@article{arxiv.0709.2442,
  title  = {Complete intersection dimensions and Foxby classes},
  author = {Sean Sather-Wagstaff},
  journal= {arXiv preprint arXiv:0709.2442},
  year   = {2008}
}

Comments

minor revisions, final version to appear in JPAA, 24 pages, uses xypic, Dedicated to Luchezar L. Avramov on the occasion of his sixtieth birthday

R2 v1 2026-06-21T09:17:55.059Z