Tor-vanishing conjecture for modules of Loewy length at most two

About 12 years old · traced to

Let RR be a commutative Artinian local ring, with maximal ideal m\mathfrak m, and let M,NM,N be nonzero RR-modules such that

m2M=m2N=0.\mathfrak m^2M=\mathfrak m^2N=0.

Tor-vanishing conjecture. If

Tor⁡iR(M,N)=0\operatorname{Tor}_i^R(M,N)=0

for all i>0i>0, then m3=0\mathfrak m^3=0. The conjecture proposes that total positive Tor-vanishing for two nonzero modules annihilated by the square of the maximal ideal forces the ring itself to have Loewy length at most three. The source notes that it holds for a large class of rings, including standard graded rings, complete intersections of codimension greater than 22, Koszul rings, and Golod rings; the general case remains open there.

References

Primary source

Craig Huneke, Liana Sega and Adela Vraciu, “Vanishing of Ext and Tor over Cohen-Macaulay local rings”, arXiv:1409.1141 (2014).

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.