Involutions and linear systems on holomorphic symplectic manifolds (Q817668)

A 2-dimensional irreducible, i.e. simply connected compact Kähler manifold endowed with a holomorphic symplectic form spanning the space of global holomorphic 2-forms, is a \(K3\) surface. A \(K3\) surface with an ample divisor of self-intersection 2 is a double cover of the plane branched over a sextic curve. The author conjectures that a similar statement holds for a generic couple \((X,H)\) with \(X\) a deformation of \((K3)^{[n]}\) and \(H\) an ample divisor of square 2 for Beauville's quadratic form. If \(n=2\) then, according to the conjecture \(X\), is a double cover of a singular sextic 4-fold in \(\mathbb P ^5\). It follows from the conjecture that a deformation of \((K3)^{[n]}\) carrying a divisor of degree 2 has an anti-symplectic birational involution. The author tests the conjecture, and so bumps into some interesting geometry: examples of two anti-symplectic involutions generating an interesting dynamical system, a case of strange duality and what is probably an involution on the moduli space of degree 2 quasi-polarized \((X,H)\) where \(X\) is a deformation of \((K3)^{[n]}.\)