The effective-line conjecture for hyper-Kähler manifolds

Let XX be a projective irreducible holomorphic symplectic manifold, and let H~(X,Q)\widetilde{H}(X,\mathbb{Q}) be its extended rational cohomology. A line \ell in H~(X,Q)\widetilde{H}(X,\mathbb{Q}) is effective if it is of the form (F)\ell(F) for an object FF in Db(X)D^b(X) with a rank 11 cohomological obstruction map. It is potentially effective if there exist a projective irreducible holomorphic symplectic manifold YY and a derived parallel transport operator ϕ~:H~(X,Q)H~(Y,Q)\widetilde{\phi}:\widetilde{H}(X,\mathbb{Q})\to\widetilde{H}(Y,\mathbb{Q}) such that ϕ~()\widetilde{\phi}(\ell) is effective. Effective-line conjecture. A line \ell in H~(X,Q)\widetilde{H}(X,\mathbb{Q}) is effective if it is potentially effective and is contained in H~0,0(X,Q)\widetilde{H}^{0,0}(X,\mathbb{Q}). This is motivated by the modularity theorem for stable sheaves with a rank 11 obstruction map and is intended to characterize effective lines through potential effectivity and Hodge type; the source gives no resolution.

Sources & referencesView supporting material

Primary source

Eyal Markman, “Stable vector bundles on a hyper-Kahler manifold with a rank 1 obstruction map are modular”, arXiv:2107.13991 (2023).

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.