Dimensional reduction conjecture for 2-2-shifted symplectic derived schemes

Let Y\boldsymbol{Y} be a 2-2-shifted symplectic derived scheme over SpecC\operatorname{Spec}{\mathbb C}, equipped with an orientation, and set Y=t0(Y)Y=t_0(\boldsymbol{Y}). Let Y~=t0(T[1]Y)\widetilde{Y}=t_0(\mathbf{T}^*[-1]\boldsymbol{Y}), let q ⁣:Y~A1q\colon\widetilde{Y}\to{\mathbb A}^1 be the quadratic function induced by the 2-2-shifted symplectic form, let φT[1]Y\varphi_{\mathbf{T}^*[-1]\boldsymbol{Y}} be the associated perverse sheaf, and let 0Y ⁣:YY~0_Y\colon Y\to\widetilde{Y} be the zero section. Dimensional reduction conjecture. There exist natural isomorphisms

\gamma\colon 0_Y^!\varphi_{\mathbf{T}^*[-1]\boldsymbol{Y}]\cong{\mathbb Q}_Y[\operatorname{vdim}\boldsymbol{Y}],\qquad \bar{\gamma}\colon 0_Y^*\varphi_{\mathbf{T}^*[-1]\boldsymbol{Y}]\cong\omega_Y[-\operatorname{vdim}\boldsymbol{Y}],

and there exists a natural isomorphism

δ ⁣:0Y!φq(φT[1]Y)ωY\delta\colon 0_Y^!\varphi_q(\varphi_{\mathbf{T}^*[-1]\boldsymbol{Y}})\cong\omega_Y

which depends on the chosen orientation. The conjecture is proposed as a sheaf-theoretic basis for constructing the DT4 virtual class; the supplied text gives no resolution status.

Sources & referencesView supporting material

Primary source

Tasuki Kinjo, “Virtual classes via vanishing cycles”, arXiv:2109.06468 (2022).

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.