Dual double EPW-sextics and their periods (Q930817): Difference between revisions

Let \(V\) be a 6-dimensional \(\mathbb{C}\)-vector space, and let \(vol\) be a volume form on \(V\). The wedge product followed by \(vol\) defines a symplectic form \(\omega\) on \(\bigwedge^3 V\), so \(\omega\) gives \(\bigwedge^3 V \otimes \mathcal{O}_{\mathbb{P}(V)}\) the structure of a symplectic vector bundle. Furthermore \(\bigwedge^3 V \otimes \mathcal{O}_{\mathbb{P}(V)}\) has a natural Lagrangian subbundle \(F\) whose fiber over \([v] \in \mathbb{P}(V)\) are the tensors divisible by \(v\). Denote by \(\mathbb{LG}(\bigwedge^3 V)\) the symplectic Grassmannian of \(\omega\)-Lagrangian subspaces of \(\bigwedge^3 V\). For any \(A \in \mathbb{LG}(\bigwedge^3 V)\), the projection \(\bigwedge^3V \rightarrow \bigwedge^3 V/A\) induces a map \(\lambda_A: F \rightarrow (\bigwedge^3 V/A) \otimes \mathcal{O}_{\mathbb{P}(V)}\). Let \(Y_A \subset \mathbb{P}(V)\) be the zero-scheme of \(\det \lambda_A\). An EPW-sextic [cf. \textit{D. Eisenbud, S. Popescu} and \textit{C. Walter}, Duke Math. J. 107, No. 3, 427--467 (2001; Zbl 1069.14053)] is a hypersurface in \(\mathbb{P}(V)\) which is equal to \(Y_A\) for some \(A \in \mathbb{LG}(\bigwedge^3 V)\). If one chooses \(A\) generically, the sextic \(Y_A\) has exactly the singularities forced by its description as a degeneracy locus. In this case there exists a natural double covering \(X_A \rightarrow Y_A\) by a smooth projective fourfold \(X_A\) that is a deformation of the Hilbert square of a \(K3\) surface [cf. the author's earlier paper Duke Math. J. 134, No. 1, 99--137 (2006; Zbl 1105.14051)]. Furthermore for a sufficiently general \(A\), the dual variety \(Y_A^\vee \subset \mathbb{P}(V^\vee)\) is also a generic EPW-sextic, i.e. its double cover \(X_A^\vee \rightarrow Y_A^\vee\) has the stated properties. In the paper under review, the author shows how to obtain the Hodge structure on \(H^2(X_A^\vee)\) from the Hodge structure on \(H^2(X_A)\). In general there is no Hodge isometry between \(H^2(X_A^\vee)\) and \(H^2(X_A)\), but the orthogonal complements of the natural polarization on \(X_A\) and \(X_A^\vee\) (i.e. the polarization obtained by pull-back of the hyperplane bundle) have isomorphic polarized Hodge structures. The situation is even better: there exists a non-trivial involution on the period moduli space that maps the corresponding period points onto each other.