Double EPW sextics associated to Gushel-Mukai surfaces

Basic Information

• Paper ID: 2011.12223
• Title: Double EPW sextics associated to Gushel-Mukai surfaces
• Author: Pietro Beri
• Classification: math.AG (Algebraic Geometry)
• Submission Date: November 2020, Revised January 2, 2025
• Paper Link: https://arxiv.org/abs/2011.12223

Abstract

O'Grady's work allows one to associate double EPW sextic surfaces to two-dimensional Gushel-Mukai varieties (namely K3 surfaces). This paper characterizes K3 surfaces whose associated double EPW sextic surfaces are smooth. As a result, we are able to produce symplectic actions of various groups on families of smooth double EPW sextic surfaces (which are hyperkähler manifolds). We also provide bounds on the automorphism groups of two-dimensional and higher-dimensional Gushel-Mukai varieties.

Research Background and Motivation

Problem Background

1. Importance of Hyperkähler Manifolds: Double EPW sextic surfaces constitute an important family of hyperkähler manifolds—compact, simply-connected Kähler manifolds with a unique (up to scalar) holomorphic two-form that is everywhere non-degenerate. K3 surfaces are the foundational linear examples of hyperkähler manifolds.
2. Connection between EPW Sextics and GM Varieties: O'Grady's pioneering work discovered important connections between (double) EPW sextic surfaces and ordinary two-dimensional Gushel-Mukai (GM) varieties. GM varieties are complete intersections of linear subspaces and quadric hypersurfaces in Grassmannians.
3. Smoothness Problem: A natural question regarding this association is: can one provide conditions under which a GM variety is associated to a smooth double EPW sextic surface? When the double cover is smooth, it is a hyperkähler manifold.

Research Motivation

1. Filling Theoretical Gaps: Although smoothness is known in very general cases, Theorem 1.1 holds without any generality assumptions, and removing generality hypotheses is typically a challenging problem.
2. Constructing Symplectic Actions: Through the main results, one can produce symplectic actions of various groups on hyperkähler families of smooth double EPW sextic surfaces, starting from lattice-theoretic considerations of K3 surface automorphisms.

Core Contributions

1. Smoothness Characterization: Provides a complete characterization of K3 surfaces whose associated double EPW sextic surfaces are smooth (Theorems 3.2 and 3.3)
2. Geometric Conditions: Proves that a double EPW sextic surface is smooth if and only if the corresponding K3 surface contains neither lines nor quintic elliptic fibrations
3. Moduli Space Conditions: Translates conditions into the complement of six explicitly described divisors in the corresponding moduli space
4. Symplectic Action Construction: Produces symplectic actions of various groups on families of smooth double EPW sextic surfaces
5. Automorphism Group Bounds: Provides bounds on automorphism groups of two-dimensional and higher-dimensional GM varieties

Methodology Details

Problem Setup

Study the relationship between two-dimensional GM varieties S (strongly smooth K3 surfaces) and their associated double EPW sextic surfaces X_{A(S)}, particularly determining when X_{A(S)} is smooth.

Core Theoretical Framework

EPW Sextic Surface Construction

Given a volume form on the six-dimensional vector space V_6, inducing a symplectic form ω on ∧³V_6. For a Lagrangian subspace A ∈ LG(∧³V_6), define:

• EPW Sextic Surface: Y_A = Z(det(λ_A)), where λ_A is the associated vector bundle map
• Stratification: Y_A^{≥k} = {v ∈ P(V_6) | dim(F_v ∩ A) ≥ k}
• Double EPW Sextic Surface: X_A → Y_A, with branch locus Y_A^{≥2}

GM Varieties and Lagrangian Data Correspondence

Through the work of Debarre-Kuznetsov, the following correspondence is established:

Theorem 2.17: For n ∈ {1,...,5}, there exists a bijection between isomorphism classes of Lagrangian data (V_6, V_5, A) satisfying the following conditions and isomorphism classes of n-dimensional strongly smooth ordinary GM varieties:

• P(A) ∩ G(3, V_6) = ∅
• V_5 ∈ Y_{A⊥}^{5-n}

Technical Innovations

1. Geometric Method for Smoothness Characterization

By analyzing the condition Y_A^3 = ∅, decompose it into:

• Y_A^3 ∩ P(V_5) = ∅ (corresponding to S containing no lines)
• Y_A^3 - P(V_5) = ∅ (corresponding to S containing no quintic elliptic fibrations)

2. Lattice-Theoretic Method

Utilize the structure of the Néron-Severi lattice to translate geometric conditions into lattice-theoretic conditions:

• Lines correspond to sublattices with matrix $\begin{pmatrix} 10 & 1 \\ 1 & -2 \end{pmatrix}$
• Quintic elliptic fibrations correspond to sublattices with matrix $\begin{pmatrix} 10 & 5 \\ 5 & 0 \end{pmatrix}$

3. Duality Exploitation

Fully exploit the duality properties of EPW sextic surfaces: Y_A and Y_{A⊥} are projectively dual, allowing analysis at different levels.

Experimental Setup

Theoretical Verification Methods

This is primarily a pure mathematics theoretical work, verified through:

1. Lattice-Theoretic Computations: Verify embedding properties and discriminant calculations of relevant lattices
2. Geometric Constructions: Explicitly construct families of K3 surfaces satisfying the conditions
3. Moduli Space Analysis: Analyze properties of relevant divisors in moduli spaces

Technical Tools

• Eichler criterion for lattice isomorphisms
• Lefschetz hyperplane theorem
• Beauville-Bogomolov form
• Period map theory

Experimental Results

Main Results

Theorem 3.2 (Geometric Characterization)

Let S = P(W) ∩ G(2,V_5) ∩ Q be a ⟨10⟩-polarized K3 surface. The double cover X_{A(S)} of the associated EPW sextic surface Y_{A(S)} is smooth if and only if S is strongly smooth and contains neither lines nor quintic elliptic fibrations.

Theorem 3.3 (Moduli Space Characterization)

For a ⟨10⟩-polarized K3 surface (S,H):

1. (S,H) is Brill-Noether general if and only if (S,H) ∉ D_{h,0}, h ∈ {1,2,3}
2. If (S,H) is Brill-Noether general, then it is strongly smooth if and only if A(S) ∉ Σ, if and only if (S,H) ∉ D_{4,0}
3. Y_{A(S)}^3 ∩ P(V_5) = ∅ if and only if (S,H) ∉ D_{1,-2}
4. Y_{A(S)}^3 - P(V_5) = ∅ if and only if (S,H) ∉ D_{5,0}

Application Results

Proposition 4.2 (Symplectic Action Construction)

For the following groups G: Z/nZ (n ∈ {2,3,4}), (Z/2Z)², D_n (n ∈ {4,5,6}), there exist families of Lagrangian subspaces in Π-(Σ∪Δ) such that for any A in the family, the associated double EPW sextic surface X_A is smooth and admits a symplectic action of G that commutes with the covering involution.

Proposition 5.2 (Automorphism Group Bounds)

If S is strongly smooth, then Aut(S,P(W)) acts symplectically on S and is isomorphic to one of the following groups:

• Z/nZ (n = 1,2,3,4)
• D_n (n = 2,...,6)
• A_4, S_4, A_5

Related Work

Foundational Theory

1. O'Grady's Pioneering Work: Established the fundamental connection between EPW sextic surfaces and GM varieties
2. Debarre-Kuznetsov Theory: Provides the data-theoretic framework for handling GM varieties
3. Iliev-Manivel Work: Extended the connection to higher-dimensional GM varieties

Hyperkähler Geometry

1. Beauville-Bogomolov Theory: Provides the foundational framework for hyperkähler manifolds
2. Lattice-Theoretic Methods: K3 surface theory by Nikulin and others provides important tools for this paper
3. Moduli Space Theory: Period map theory for moduli spaces of hyperkähler manifolds

Conclusions and Discussion

Main Conclusions

1. Completely characterizes K3 surfaces whose associated double EPW sextic surfaces are smooth
2. Translates geometric conditions into computable lattice-theoretic conditions
3. Constructs families of smooth double EPW sextic surfaces admitting non-trivial symplectic actions
4. Provides effective bounds on automorphism groups of GM varieties

Limitations

1. Dimensional Restrictions: Main results focus on two-dimensional GM varieties; higher-dimensional cases require different techniques
2. Generality Assumptions: Some results still require generality assumptions
3. Constructivity: While existence is proven, explicit construction remains challenging

Future Directions

1. Higher-Dimensional Generalizations: Extend results to higher-dimensional GM varieties
2. Moduli Space Geometry: Deeper investigation of geometric properties of relevant moduli spaces
3. Algorithmic Implementation: Develop effective algorithms for determining smoothness

In-Depth Evaluation

Strengths

1. Theoretical Completeness: Provides a complete solution to the problem from both geometric and lattice-theoretic perspectives
2. Technical Innovation: Cleverly combines tools from algebraic geometry, lattice theory, and hyperkähler geometry
3. Application Value: Results facilitate the construction of hyperkähler manifolds with specific properties
4. Clear Exposition: Well-structured paper with careful treatment of technical details

Weaknesses

1. Computational Complexity: Practical applications may involve complex calculations
2. Generalization Difficulty: Extension to higher dimensions faces substantial technical obstacles
3. Lack of Examples: Could benefit from more concrete computational examples

Impact

1. Theoretical Contribution: Provides important tools for research on EPW sextic surfaces and GM varieties
2. Methodological Value: Demonstrates how to effectively combine different mathematical branches to solve problems
3. Foundation for Future Work: Establishes foundation for further research in related areas

Applicable Scenarios

1. Hyperkähler Geometry Research: Construction and classification of hyperkähler manifolds
2. Algebraic Geometry: Study of properties of special algebraic varieties
3. Lattice Theory Applications: Using lattice-theoretic methods to solve geometric problems

References

The paper cites 35 important references, primarily including:

• O'Grady's series of works on EPW sextic surfaces
• Debarre-Kuznetsov theory on GM varieties
• Nikulin and others' work on K3 surfaces and lattice theory
• Classical literature on hyperkähler manifolds

This paper makes significant contributions to algebraic geometry, particularly in the study of relationships between EPW sextic surfaces and Gushel-Mukai varieties. Its technical methods are innovative, and its results possess both theoretical and applied value.