Tor-rigidity conjecture for local complete intersections

About 16 years old · traced to

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 Tor⁡iR(M,N)=0\operatorname{Tor}_i^R(M,N)=0 forces Tor⁡jR(M,N)=0\operatorname{Tor}_j^R(M,N)=0 for every j≥ij\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.

References

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.