Autoequivalence conjecture for exceptional objects on the Hirzebruch surface F2\mathbb{F}_2

About 12 years old · traced to

Let F2\mathbb{F}_2 be the Hirzebruch surface, and let D(F2)D(\mathbb{F}_2) denote its derived category. An object E∈D(F2)\mathcal{E}\in D(\mathbb{F}_2) is exceptional if its derived endomorphism algebra is the ground field and it has no higher self-extensions. An exceptional vector bundle is an exceptional object represented by a vector bundle on F2\mathbb{F}_2. Write Auteq⁡(D(F2))\operatorname{Auteq}(D(\mathbb{F}_2)) for the group of autoequivalences of D(F2)D(\mathbb{F}_2).

Autoequivalence conjecture. For any exceptional object E∈D(F2)\mathcal{E}\in D(\mathbb{F}_2), there exists an autoequivalence Φ∈Auteq⁡(D(F2))\Phi\in\operatorname{Auteq}(D(\mathbb{F}_2)) such that Φ(E)\Phi(\mathcal{E}) is an exceptional vector bundle on F2\mathbb{F}_2.

The conjecture proposes that spherical twists and the other known autoequivalences of D(F2)D(\mathbb{F}_2) account for all exceptional objects up to taking an exceptional vector bundle to an autoequivalent object. Its status is not determined by the supplied text.

References

Primary source

Shinnosuke Okawa and Hokuto Uehara, “Exceptional sheaves on the Hirzebruch surface F_2”, arXiv:1409.7813 (2015).

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.