Generation conjecture for compactly supported autoequivalences

Let YY be the surface, let DYD\subset Y be the boundary divisor, let U=YDU=Y\setminus D, and let ZZ be the union of all (2)(-2) curves in YY. Write Z=ZUZ'=Z\cap U, let Qˉ\bar{Q} be the image of QQ in Pic(U)\operatorname{Pic}(U), let Aut(Y,D;pt)\operatorname{Aut}(Y,D;\mathrm{pt}) be the automorphisms of YY fixing DD pointwise, and let BrZ\mathrm{Br}_{Z'} denote the subgroup defined in the source. Compact-auto-equivalence generation conjecture. The group AuteqcD(U)\operatorname{Auteq}_cD(U) is generated by Qˉ\bar{Q}, Aut(Y,D;pt)\operatorname{Aut}(Y,D;\mathrm{pt}), and BrZ\mathrm{Br}_{Z'}. The source gives no resolution for this formulation.

Sources & referencesView supporting material

Primary source

Paul Hacking and Ailsa Keating, “Symplectomorphisms of some Weinstein 4-manifolds”, arXiv:2112.06797 (2025).

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.