Frobenius and homological dimensions of complexes (Q2173245): Difference between revisions

Let \(R\) be a Noetherian local ring of prime characteristic \(p\) and \(M\) be an \(R\)-module. \textit{C. Peskine} and \textit{L. Szpiro} [Publ. Math., Inst. Hautes Étud. Sci. 42, 47--119 (1972; Zbl 0268.13008)] proved that if a finitely generated module \(M\) has finite projective dimension then \(\text{Tor}^R_i (^eR, M) = 0\) for all positive integers \(i\) and \(e\), where \(^eR\) denotes the ring \(R\) viewed as an \(R\)-module via the \(e\)th iteration of the Frobenius endomorphism. The converse of the above result has a long and interesting history. \textit{J. Herzog} [Math. Z. 140, 67--78 (1974; Zbl 0278.13006)] was the first one to prove the converse. he showed that if \(Tor^R_i (^eR, M) = 0\) for all \(i > 0\) and infinitely many \(e\) then \(M\) has finite projective dimension. After all the attempts in this area, the authors of the paper show that \(\dim R\) consecutive vanishings of \(\text{Tor}^R_i (^eR, M)\) for positive values of \(i\) and infinitely many \(e\) is sufficient to prove that \(M\) has finite flat dimension if \(\dim R >0\); if \(R\) is Cohen-Macaulay, it suffices to show these vanishings hold for some \(e\) greater than the multiplicity of the ring. They also prove in the case \(R\) is a local complete intersection ring that the vanishing of \(\text{Tor}^R_i (^eR, M)\) for some positive integers \(i\) and \(e\) imply that \(M\) has finite flat dimension.