Abstract:Let X be a Hyperkähler variety deformation equivalent to the Hilbert square on a K3 surface and let f be an involution preserving the symplectic form. We prove that the fixed locus of f consists of 28 isolated points and 1 K3 surface, moreover the anti-invariant lattice of the induced involution on H^2(X,Z) is isomorphic to E_8(-2). Finally we prove that any couple consisting of one such variety and a symplectic involution on it can be deformed into a couple consisting of the Hilbert square of a K3 surface and the involution induced by a Nikulin involution on the K3 surface.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is about the properties of symplectic involutions (i.e., involutions that preserve the symplectic form) on hyper - Kähler manifolds of type K3[2] and their deformation equivalence. Specifically, the author proves that the fixed - point set of the symplectic involutions on such manifolds consists of 28 isolated points and a K3 surface, and the anti - invariant lattices of these involutions are isomorphic to the \(E_8(- 2)\) lattice. In addition, the author also proves that any even pair containing a manifold of type K3[2] and a symplectic involution on it can be deformed into an even pair containing the Hilbert square of a K3 surface and its induced symplectic involution.
### Overview of the Main Results of the Paper
1. **Structure of the Fixed - Point Set**:
- For a hyper - Kähler manifold \(X\) of type K3[2] and a symplectic involution \(\phi\) on it, the fixed - point set \(X^{\phi}\) consists of 28 isolated points and a K3 surface.
- This result verifies Camere's conjecture that the fixed - point set does not contain complex tori.
2. **Properties of the Anti - Invariant Lattice**:
- The anti - invariant lattice \(S_{\phi}(X)\) of the symplectic involution \(\phi\) is isomorphic to the \(E_8(-2)\) lattice.
- The invariant lattice \(T_{\phi}(X)\) is isomorphic to the \(E_8(-2)\oplus U^{3}\oplus (- 2)\) lattice.
3. **Deformation Equivalence**:
- Any even pair \((X,\phi)\) containing a manifold of type K3[2] and a symplectic involution on it can be deformed into an even pair \((S^{[2]},\psi^{[2]})\) containing the Hilbert square of a K3 surface and its induced symplectic involution.
### Main Theorems
- **Theorem 1.3**: Let \(X\) be a manifold of type K3[2], and \(\phi\in\text{Aut}(X)\) be a symplectic involution. Then there exists a K3 surface \(S\) and a symplectic involution \(\psi\) such that \((X,\phi)\) and \((S^{[2]},\psi^{[2]})\) are deformation equivalent.
### Key Techniques
- **Analysis of the Fixed - Point Set**: By analyzing the fixed - point set of the symplectic involution, the author proves the specific structure of the fixed - point set.
- **Application of Lattice Theory**: Using the results in lattice theory, especially the properties of the anti - invariant lattice, the author proves the specific form of the anti - invariant lattice.
- **Deformation Theory**: By studying the deformation space of manifolds containing symplectic involutions, the author proves the deformation equivalence of these manifolds.
### Formula Summary
- **Structure of the Fixed - Point Set**:
\[
X^{\phi}=\{28 \text{ isolated points}\}\cup\{\text{a K3 surface}\}
\]
- **Isomorphism of the Anti - Invariant Lattice**:
\[
S_{\phi}(X)\cong E_8(-2)
\]
\[
T_{\phi}(X)\cong E_8(-2)\oplus U^{3}\oplus (-2)
\]
- **Deformation Equivalence**:
\[
(X,\phi) \text{ can be deformed into }(S^{[2]},\psi^{[2]})
\]
These results not only deepen the understanding of hyper - Kähler manifolds of type K3[2], but also provide important tools and methods for further research on the automorphisms of such manifolds.