Compatibility of global and critical obstruction theories for local Quot schemes

Let XX be the smooth toric threefold, let UαXU_\alpha\subset X be the affine chart associated with a torus fixed point, and let FF be the sheaf under consideration. Let E{\mathbb E} be the global perfect obstruction theory on QuotX(F,n)\operatorname{Quot}_X(F,n), and let

ιn,α ⁣:QuotUα(FUα,n)QuotX(F,n)\iota_{n,\alpha}\colon \operatorname{Quot}_{U_\alpha}(F|_{U_\alpha},n)\hookrightarrow \operatorname{Quot}_X(F,n)

be the open immersion. Denote by Ecrit{\mathbb E}_{\operatorname{crit}} the critical obstruction theory on the local Quot scheme.

Compatibility conjecture. The restriction ιn,αE\iota_{n,\alpha}^*{\mathbb E} agrees, as a symmetric perfect obstruction theory, with Ecrit{\mathbb E}_{\operatorname{crit}}.

This would identify the global obstruction theory with the critical-locus obstruction theory on each local chart. The source notes that the general result is open, although the corresponding K-theory class comparison is known.

Sources & referencesView supporting material

Primary source

Nadir Fasola, Sergej Monavari and Andrea T. Ricolfi, “Higher rank K-theoretic Donaldson-Thomas theory of points”, arXiv:2003.13565 (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.