Beckmann's hard Lefschetz conjecture for stable atomic sheaves

Let XX be the hyper-Kähler variety under consideration, let EE be a stable atomic sheaf on XX, and let obsE(η)Ext2(E,E)\operatorname{obs}_E(\eta)\in \operatorname{Ext}^2(E,E) be a nonzero element in the image of the obstruction map.

Beckmann's conjecture. The element obsE(η)\operatorname{obs}_E(\eta) has the hard Lefschetz property for the Yoneda product on Ext(E,E)\operatorname{Ext}^{\bullet}(E,E).

The conjecture is motivated by the aim of constructing symplectic moduli spaces of 11-obstructed objects. The source does not state whether it has been resolved.

Sources & referencesView supporting material

Primary source

Alessio Bottini, Emanuele Macrì and Paolo Stellari, “Hyper-Kähler varieties: Lagrangian fibrations, atomic sheaves, and categories”, arXiv:2603.23033 (2026).

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.