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,^fn R) for s+1 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,^fn R) for some i ≥ d and some n > 0.