Front for the arXiv
Fri, 9 May 2008
Front > math > AC > 0709 > arXiv:0709.2442
search | register | submit
journals | about | iFAQ

arXiv:0709.2442

[pdf] [ps] [dvi] [src] [arxiv]

Title: Complete intersection dimensions and Foxby classes
Authors: Sean Sather-Wagstaff
Categories: math.AC Commutative Algebra (math.RA Rings and Algebras)
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
MSC: 13A35, 13B10, 13C05, 13D05, 13D07, 13D25, 14B25

Abstract: Let $R$ be a local ring and $M$ a fintiely generated $R$-module. The complete intersection dimension of $M$--defined by Avramov, Gasharov and Peeva, and denoted $\cidim_R(M)$--is a homological invariant whose finiteness implies that $M$ 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 $\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 $\phi\colon R\to S$ and $\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 $M$ has finite complete intersection dimension, then $M$ is $C$-reflexive and is in the Auslander class $\catac(R)$ for each semidualizing $R$-complex $C$.

Owner: Sean Sather-Wagstaff
Version 1: Sat, 15 Sep 2007 19:42:06 GMT
Version 2: Tue, 25 Mar 2008 12:56:30 GMT

[help e-mail] - for questions or comments about the Front
arXiv contact page - for questions about downloading and submitting e-prints