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

At least 5 years old · documented by

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 r≥2r\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 DLP⁡Hm<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 Δ>DLP⁡Hm<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, Δ=DLP⁡Hm<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 Δ=DLP⁡Hm<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 DLP⁡Hm<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.

References

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.