Picard-number conjecture for moduli spaces of sheaves on a quadric surface

Let X=D53F1\timesD53F1X=D53F^1\timesD53F^1 and let MHm(v)M_{H_m}({\bf v}) be the moduli space associated with a character v=(r,ν,Δ)K(X){\bf v}=(r,\nu,\Delta)\in K(X), where r2r\geq 2 and Δ12\Delta\geq\frac{1}{2}. Let ϵQ\epsilon\in\mathbb{Q} be sufficiently small depending on rr, with 0<ϵ10<|\epsilon|\ll1, and set m=1+ϵm=1+\epsilon. Write DLPHm<r(ν)\operatorname{DLP}_{H_m}^{<r}(\nu) for the relevant DLP-surface, let λ\lambda be the determinant-line-bundle map, and call v{\bf v} good or bad as in the paper. For an exceptional bundle EE, write [E][\overline E] for its associated class. Picard-number conjecture. The following hold: (1) If Δ>DLPHm<r(ν)\Delta>\operatorname{DLP}_{H_m}^{<r}(\nu), then

Pic(MHm(v))Z3\operatorname{Pic}(M_{H_m}({\bf v}))\cong\mathbb{Z}^3

and λ\lambda is an isomorphism. (2.a) If v{\bf v} is good, Δ=DLPHm<r(ν)\Delta=\operatorname{DLP}_{H_m}^{<r}(\nu), and a single exceptional bundle EE is associated to v{\bf v}, then

Pic(MHm(v))Z2\operatorname{Pic}(M_{H_m}({\bf v}))\cong\mathbb{Z}^2

and λ\lambda is an epimorphism with kerλZ[E]\ker\lambda\cong\mathbb{Z}[\overline E]. (2.b) If v{\bf v} is bad under the same boundary and single-exceptional-bundle hypotheses, then

Pic(MHm(v))Z\operatorname{Pic}(M_{H_m}({\bf v}))\cong\mathbb{Z}

and λ\lambda is an epimorphism with kerλZ[E]\ker\lambda\supsetneq\mathbb{Z}[\overline E]. (3.a) If Δ=DLPHm<r(ν)>12\Delta=\operatorname{DLP}_{H_m}^{<r}(\nu)>\frac12 and at least two different exceptional bundles E1,E2E_1,E_2 are associated to v{\bf v}, then

Pic(MHm(v))Z\operatorname{Pic}(M_{H_m}({\bf v}))\cong\mathbb{Z}

and λ\lambda is an epimorphism with kerλZ[E1]+Z[E2]\ker\lambda\cong\mathbb{Z}[\overline{E_1}]+\mathbb{Z}[\overline{E_2}]. (3.b) If Δ=12\Delta=\frac12, then MHm(v)M_{H_m}({\bf v}) is a projective space and

Pic(MHm(v))Z.\operatorname{Pic}(M_{H_m}({\bf v}))\cong\mathbb{Z}.

This conjecture predicts that the Picard number is determined by the position of v{\bf v} relative to the DLPHm<r\operatorname{DLP}_{H_m}^{<r}-surface and by whether v{\bf v} is good or bad. The paper notes that the conjecture is open; in particular, the second generator of kerλ\ker\lambda in the bad boundary case is not explicitly described.

Sources & referencesView supporting material

Primary source

Dmitrii Pedchenko, “The Picard group of the moduli space of sheaves on a quadric surface”, arXiv:2007.11666 (2020).

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.