The converse vanishing theorem in Verdier quotients of stable categories

At least 4 years old · documented by

Assume (A,m)(A,\mathfrak m) is a complete local complete intersection of dimension dd and codimension cc, with algebraically closed residue field k=A/mk=A/\mathfrak m. Let XX be an algebraic set in Pc−1(k)\mathbb P^{c-1}(k), let TX=CM‾⁡(A)/SX\mathcal T_X=\operatorname{\underline{CM}}(A)/\mathcal S_X, and let M,NM,N be maximal Cohen–Macaulay AA-modules. Write VX(M)=V∗(M)∖X\mathcal V_X(M)=\mathcal V^*(M)\setminus X. The converse vanishing conjecture. If

VX(M)∩VX(N)=∅,\mathcal V_X(M)\cap\mathcal V_X(N)=\emptyset,

then

Hom⁡TX(M,Ω−n(N))=0for all n≫0.\operatorname{Hom}_{\mathcal T_X}(M,\Omega^{-n}(N))=0\quad\text{for all }n\gg0.

The paper proves this implication when MM or NN is essentially disjoint from XX, while the conjecture asks for it without that additional assumption. The forward implication is established generally, so the open issue is precisely the converse.

References

Primary source

Tony J. Puthenpurakal, “Support Varieties and cohomology of Verdier quotients of stable category of complete intersection rings”, arXiv:2108.00204 (2021).

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.