Generation conjecture for compactly supported autoequivalences

About 5 years old · traced to

Let YY be the surface, let D⊂YD\subset Y be the boundary divisor, let U=Y∖DU=Y\setminus D, and let ZZ be the union of all (−2)(-2) curves in YY. Write Z′=Z∩UZ'=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 Auteq⁡cD(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.

References

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.