Uehara's autoequivalence-group conjecture for surfaces

From papers

Let SS be a smooth projective complex surface with KS≢0K_S\not\equiv 0 that admits no minimal elliptic fibration. Let ZZ be the union of all (2)(-2)-curves, and let BZAut(Db(S))B_Z\subseteq\operatorname{Aut}(\operatorname{D}^b(S)) be the subgroup generated by spherical twists along objects supported on ZZ. Uehara's conjecture. The group of autoequivalences satisfies

Aut(Db(S))=BZ,Pic(S)Aut(S)×Z[1].\operatorname{Aut}(\operatorname{D}^b(S))=\langle B_Z,\operatorname{Pic}(S)\rangle\rtimes\operatorname{Aut}(S)\times\mathbb{Z}[1].

This conjecture describes the autoequivalence group in Uehara's case NS=2N_S=2, separating spherical twists, tensoring by line bundles, automorphisms, and shifts. The supplied text gives no resolution status.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Dominique Mattei, “Categorical vs topological entropy of autoequivalences of surfaces”, arXiv:1909.02758 (2021).

Solutions 0

No solutions have been posted yet.