Tor-rigidity conjecture for local complete intersections

Let RR be a local complete intersection of arbitrary dimension. Let MM and NN be RR-modules such that MM is locally free of constant rank on UR=Spec(R){m}U_R=\operatorname{Spec}(R)-\{m\} and [N]=0[N]=0 in the reduced Grothendieck group G(R)Q\overline G(R)_{\mathbb Q} with rational coefficients.

Tor-rigidity conjecture. The pair (M,N)(M,N) is Tor\operatorname{Tor}-rigid: for any i>0i>0, the condition ToriR(M,N)=0\operatorname{Tor}_i^R(M,N)=0 forces TorjR(M,N)=0\operatorname{Tor}_j^R(M,N)=0 for every jij\geq i.

The source states that this is known for regular rings and for hypersurfaces in equicharacteristic or unramified regular local rings, but remains open in general. In particular, the finite-length case is identified as a simple unknown case.

Sources & referencesView supporting material

Primary source

Hailong Dao, “Picard groups of punctured spectra of dimension three local hypersurfaces are torsion-free”, arXiv:1004.0471 (2011).

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.