References & Citations
Mathematics > Commutative Algebra
Title: The Acyclicity of the Frobenius Functor for Modules of Finite Flat Dimension
(Submitted on 2 Jan 2015 (v1), last revised 5 Jan 2015 (this version, v2))
Abstract: Let $R$ be a commutative Noetherian local ring of prime characteristic $p$ and $f:R\to R$ the Frobenius ring homomorphism. For $e\ge 1$ let $R^{(e)}$ denote the ring $R$ viewed as an $R$-module via $f^e$. Results of Peskine, Szpiro, and Herzog state that for finitely generated modules $M$, $M$ has finite projective dimension if and only if $\operatorname{Tor}_i^R(R^{(e)},M)=0$ for all $i>0$ and all (equivalently, infinitely many) $e\ge 1$. We prove this statement holds for arbitrary modules using the theory of flat covers and minimal flat resolutions.
Submission history
From: Marcus Webb [view email][v1] Fri, 2 Jan 2015 02:09:06 GMT (14kb)
[v2] Mon, 5 Jan 2015 02:07:10 GMT (14kb)
Link back to: arXiv, form interface, contact.