Descent of the complete intersection property by homomorphisms of finite virtual projective dimension

We prove a descent theorem for the complete intersection property by homomorphisms of finite (Avramov's) virtual projective dimension. This result suggests a (slight) modification of Avramov's definition of virtual projective dimension.     

Modules of finite homological dimension with respect to a semidualizing module

We prove versions of results of Foxby and Holm about modules of finite (Gorenstein) injective dimension and finite (Gorenstein) projective dimension with respect to a semidualizing module. We also verify special cases of a question of Takahashi and White. This research was conducted while S.S.-W. visited the IPM in Tehran during July 2008. The research of S.Y. was supported in part by a grant from the IPM (No. 87130211).     

On modules of finite projective dimension over complete intersections

Recently Avramov and Miller proved that over a local complete intersection ring in characteristic 0$">, a finitely generated module has finite projective dimension if for some 0$"> and for some 0$">, being the frobenius map repeated times. They used the notion of ``complexity' and several related theorems. Here we offer a very simple proof of the above theorem without using ``complexity' at all.

     

An intersection problem whose extremum is the finite projective space

Suppose that $\text{A}$ is a finite set-system of N elements with the property |A ∩ A′| = 0, 1 or k for any two different A, A′ ?A. We show that for N > k¹⁴

$\text{|a|=?}\text{N(N?1)(N?k)}\text{(k}{}^2\text{?k+1)(k}{}^2\text{?2k+1)}\text{+}\text{N(N?1)}\text{k(k?1)}\text{+N+1}$

where equality holds if and only if k = q + 1 (q is a prime power) $\text{N =}\text{(q}{}^{\mathrm{t+1}}\text{? 1)}\text{(q ? 1)}$ and $\text{A}$ is the set of subspaces of dimension at most two of the t-dimensional finite projective space of order q.     

Characterization of modules of finite projective dimension via Frobenius functors

Let M be a finitely generated module over a local ring R of characteristic p > 0. If depth(R) = s, then the property that M has finite projective dimension can be characterized by the vanishing of the functor Extⁱ_R(M, ^fnR){{\rm Ext}^i_R(M, ^{f^n}R)} for s + 1 consecutive values i > 0 and for infinitely many n. In addition, if R is a d-dimensional complete intersection, then M has finite projective dimension can be characterized by the vanishing of the functor Extⁱ_R(M, ^fnR){{\rm Ext}^i_R(M, ^{f^n}R)} for some i ≥ d and some n > 0.     

Characterization of modules of finite projective dimension over complete intersections

Let be a finitely generated module over a local complete intersection of characteristic . The property that has finite projective dimension can be characterized by the vanishing of for some and for some .

     

A Frobenius characterization of finite projective dimension over complete intersections

Let M be a module of finite length over a complete intersection (R,m) of characteristic . We characterize the property that M has finite projective dimension in terms of the asymptotic behavior of a certain length function defined using the Frobenius functor. This may be viewed as the converse to a theorem of S. Dutta. As a corollary we get that, in a complete intersection (R,m), an m-primary ideal I has finite projective dimension if and only if its Hilbert-Kunz multiplicity equals the length of R/I. Received June 22, 1998; in final form October 13, 1998     

Complete intersection dimension

A new homological invariant is introduced for a finite module over a commutative noetherian ring: its CI-dimension. In the local case, sharp quantitative and structural data are obtained for modules of finite CI-dimension, providing the first class of modules of (possibly) infinite projective dimension with a rich structure theory of free resolutions. The first author was partly supported by NSF Grant No. DMS-9102951.     

On the vanishing of homology for modules of finite complete intersection dimension

We prove rigidity type results on the vanishing of stable Ext and Tor for modules of finite complete intersection dimension, results which generalize and improve upon known results. We also introduce a notion of pre-rigidity, which generalizes phenomena for modules of finite complete intersection dimension and complexity one. Using this concept, we prove results on length and vanishing of homology modules.     

Gorenstein projective dimension for complexes

We define and study a notion of Gorenstein projective dimension for complexes of left modules over associative rings. For complexes of finite Gorenstein projective dimension we define and study a Tate cohomology theory. Tate cohomology groups have a natural transformation to classical Ext groups. In the case of module arguments, we show that these maps fit into a long exact sequence, where every third term is a relative cohomology group defined for left modules of finite Gorenstein projective dimension.