The converse vanishing theorem in Verdier quotients of stable categories

From papers

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 Pc1(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

HomTX(M,Ωn(N))=0for all n0.\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.

Progress summary

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

Sources & referencesView supporting material

Primary source

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

Solutions 0

No solutions have been posted yet.