DT4 square-root Euler class conjecture for 2-2-shifted symplectic derived schemes

Let Y\boldsymbol{Y} be an oriented 2-2-shifted symplectic derived scheme, set Y=t0(Y)Y=t_0(\boldsymbol{Y}), and suppose the dimensional reduction conjecture holds. Let eφ(T[1]Y)HvdimYBM(Y)\sqrt{e_{\varphi}(\mathbf{T}^*[-1]\boldsymbol{Y})}\in\operatorname{H}^{\mathrm{BM}}_{\operatorname{vdim}\boldsymbol{Y}}(Y) be the Borel–Moore homology class obtained from the resulting composition, and let [Y]virDT4AvdimY/2(Y)[12][\boldsymbol{Y}]_{\mathrm{vir}}^{\mathrm{DT4}}\in A_{\operatorname{vdim}\boldsymbol{Y}/2}(Y)[\tfrac12] be the DT4 virtual class. Square-root Euler class conjecture. If YY is quasi-projective, then there exists a universal sign ϵvdimY{1,1}\epsilon_{\operatorname{vdim}\boldsymbol{Y}}\in\{-1,1\} depending only on vdimY\operatorname{vdim}\boldsymbol{Y} such that

ϵvdimYeφ(T[1]Y)=clY([Y]virDT4),\epsilon_{\operatorname{vdim}\boldsymbol{Y}}\cdot\sqrt{e_{\varphi}(\mathbf{T}^*[-1]\boldsymbol{Y})}=\operatorname{cl}_Y([\boldsymbol{Y}]_{\mathrm{vir}}^{\mathrm{DT4}}),

where clY ⁣:AvdimY/2(Y)[12]HvdimYBM(Y)\operatorname{cl}_Y\colon A_{\operatorname{vdim}\boldsymbol{Y}/2}(Y)[\tfrac12]\to\operatorname{H}^{\mathrm{BM}}_{\operatorname{vdim}\boldsymbol{Y}}(Y) is the cycle class map. This identifies the proposed sheaf-theoretic class with the DT4 virtual class up to a universal sign, but 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.