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

Let F2\mathbb{F}_2 be the Hirzebruch surface, and let D(F2)D(\mathbb{F}_2) denote its derived category. An object ED(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 ED(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.

Sources & referencesView supporting material

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.