Frobenius test-module conjecture for finite projective dimension

Let (R,m,k)(R,\mathfrak m,k) be a local ring of characteristic p>0p>0, let n>0n>0, and regard RR as the RR-module φn ⁣R{}^{\varphi^n}\!R via the nnth Frobenius map. Let MM be an RR-module. Frobenius test-module conjecture. If, for some fixed i,n>0i,n>0,

ToriR(M,φn ⁣R)=0,\operatorname{Tor}_i^R(M,{}^{\varphi^n}\!R)=0,

then MM has finite projective dimension. The question is whether the Frobenius-twisted module φn ⁣R{}^{\varphi^n}\!R is a test module for finite projective dimension over every local ring; its resolution is left open in the supplied text.

Sources & referencesView supporting material

Primary source

Claudia Miller, “The Frobenius endomorphism and homological dimensions”, arXiv:math/0301208 (2003).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.