Terminalizations of quotients of compact hyperkähler manifolds by induced symplectic automorphisms

Basic Information

• Paper ID: 2401.13632
• Title: Terminalizations of quotients of compact hyperkähler manifolds by induced symplectic automorphisms
• Authors: Valeria Bertini, Annalisa Grossi, Mirko Mauri, Enrica Mazzon
• Classification: math.AG (Algebraic Geometry)
• Published Journal: Épijournal de Géométrie Algébrique, Volume 9 (2025), Article No. 14
• Paper Link: https://arxiv.org/abs/2401.13632

Abstract

This paper investigates terminalizations of quotients of compact hyperkähler manifolds, which serve as an important source of new deformation types of irreducible symplectic varieties. The authors provide a complete classification of all terminalizations of quotient spaces obtained from Hilbert schemes of K3 surfaces or generalized Kummer varieties by finite symplectic automorphism groups induced by the underlying K3 or abelian surfaces. The paper determines the second Betti numbers of these terminalizations and the fundamental groups of their regular loci. In the Kummer case, it is proven that terminalizations possess quotient singularities, and the singularity structure of their universal quasi-étale covers is determined. In particular, at least eight new four-dimensional deformation types of irreducible symplectic varieties are obtained.

Research Background and Motivation

Problem Context

1. Classification of irreducible symplectic varieties: Irreducible symplectic varieties play a crucial role in the classification of varieties with Kodaira dimension zero. According to the Beauville-Bogomolov decomposition theorem, any compact Kähler space with numerically trivial canonical class and klt singularities admits a quasi-étale cover that can be written as a product of complex tori, strict Calabi-Yau varieties, or irreducible symplectic varieties.
2. Scarcity of known examples: Currently, known smooth irreducible symplectic manifold deformation types number at most three in each dimension:
   • Hilbert scheme S^n of n points on a K3 surface S
   • Generalized Kummer variety K_n(A) associated with an abelian surface A
   • Two exceptional examples constructed by O'Grady in dimensions 6 and 10
3. Methods for constructing new examples: Producing additional examples through terminalizations of symplectic quotient spaces motivates this research.

Research Significance

• The number of deformation types of irreducible symplectic varieties is expected to be finite in each dimension
• Finding new irreducible symplectic varieties is a central problem in the field
• The terminalization method provides a systematic construction approach

Core Contributions

1. Complete classification results: Classification of all terminalizations of quotient spaces X/G where G is a finite group of induced symplectic automorphisms acting on S^n or K_n(A)
2. Computation of topological invariants: Determination of group-theoretic formulas for the second Betti number b_2(Y) and fundamental group π_1(Y^{reg}) of the regular locus of the terminalization Y
3. New deformation types: Obtainment of at least eight new four-dimensional deformation types of irreducible symplectic varieties
4. Analysis of singularity structure: Proof that terminalizations in the Kummer case possess quotient singularities, with detailed analysis of singularity types
5. Complete characterization of smooth terminalizations: Proof that only three cases yield smooth terminalizations, all of K3^n type

Detailed Methodology

Classification Criteria

The authors propose three key hypotheses for effective classification:

Hypothesis 1.1: The G-action ensures that X/G has strictly canonical singularities, equivalent to:

• The singular locus of X/G has codimension 2
• Some element of G fixes a codimension 2 subvariety in X

Hypothesis 1.2: Automorphisms in X fixing the codimension 2 locus generate the entire group G

Hypothesis 1.3: The group G acts on S^n or K_n(A) through automorphisms induced by the underlying K3 or abelian surface

Core Theorems

Theorem 1.4: Let G be a finite group of induced symplectic automorphisms on S^m or K_n(A). Then X/G has strictly canonical singularities if and only if:

• m=2 or n=2,3, and G contains an involution
• n=2, and G contains a special order-3 automorphism
• n=3, and G contains a special involution

Theorem 1.6: Formulas for the second and third Betti numbers of the terminalization Y:

b_2(Y) = rk(L^G) + N_2 + 2N_3 - ε
IH^3(Y,Q) ≅ H^3(X,Q)^G

where N_i denotes the number of components of the singular locus with transverse A_ singularities.

Technical Innovations

1. Geometric reduction: Reduction of the terminalization problem to analysis of fixed locus geometry
2. Group-theoretic methods: Characterization of topological invariants using conjugacy classes and stabilizers
3. Local-global principle: Analysis of global terminalization singularities through local models

Experimental Setup

Classification Scope

• Hilbert scheme case: All induced symplectic automorphism groups on S^2
• Kummer case: All induced symplectic automorphism groups on K_2(A) and K_3(A)

Computational Tools

• GAP software for group-theoretic computations
• Intersection theory in algebraic geometry
• Deformation theory for determining equivalences

Comparison Benchmarks

Comparison with results from:

• Fujiki varieties Men22
• Cyclic quotients by Fu-Menet FM21
• Classical K3^n-type varieties

Experimental Results

Main Classification Results

Table 4 (S^2 case): Lists 68 distinct group actions with b_2(Y) ranging from 5 to 23

Table 7 (K_2(A) case): Lists all possible group actions and determines corresponding topological invariants

Table 9 (K_2(A) case with simply connected regular locus): Detailed analysis of 10 cases with Betti numbers, Chern classes, and singularities

Smooth Terminalizations

Theorem 1.12: Only three cases yield smooth terminalizations:

1. X = S^2, G ≅ C_2^4 Fuj83
2. X = K_2(A), G ≅ C_3^3 Kaw09
3. X = K_3(A), G ≅ C_2^5 Flo24

Distribution of Second Betti Numbers

• S^2 case: b_2 ranges from 5 to 23
• K_2(A) case: b_2 primarily concentrated in range 5-11
• Gaps discovered at b_2 = 9, 12, 13, 15

Related Work

Historical Development

• Fujiki (1983): First study of terminalizations of quotient spaces of K3 surface squares
• Menet (2022): Completion of Fujiki variety classification, discovering 29 four-dimensional singular symplectic orbifolds
• Fu-Menet (2021): Study of terminalizations of cyclic quotients

Positioning of This Paper's Contribution

• Supplements important aspects of Menet's classification program
• Provides systematic group-theoretic methods
• Discovers multiple new deformation types

Conclusions and Discussion

Main Conclusions

1. Complete classification of terminalizations of quotient spaces by induced symplectic automorphisms
2. Establishment of group-theoretic formulas for topological invariants
3. Discovery of at least 8 new four-dimensional deformation types of irreducible symplectic varieties
4. Proof of quotient singularity properties of Kummer case terminalizations

Limitations

1. Restriction to induced automorphisms; non-induced cases are more complex
2. Some deformation equivalence determinations require further refinement
3. Generalization to higher dimensions requires new techniques

Future Directions

1. Study of quotient spaces by other types of symplectic automorphisms
2. Generalization to higher-dimensional irreducible symplectic varieties
3. Investigation of geometric properties of moduli spaces

In-Depth Evaluation

Strengths

1. Strong systematicity: Provides a complete classification framework and computational methods
2. Technical depth: Combines profound results from algebraic geometry, group theory, and topology
3. Computational completeness: Detailed tables provide comprehensive information for all cases
4. Theoretical significance: Provides important contributions to the classification problem of irreducible symplectic varieties

Weaknesses

1. Technical limitations: The restriction to induced automorphisms excludes certain important examples
2. Computational complexity: Details of certain group-theoretic computations may be difficult to verify
3. Limited scope of application: Primarily focuses on low-dimensional cases; generalization to higher dimensions remains unclear

Impact

• Provides systematic methods for classification of irreducible symplectic varieties
• May inspire more general terminalization theory research
• Has important implications for moduli space theory in algebraic geometry

Applicable Scenarios

• Construction and classification of irreducible symplectic varieties
• Study of symplectic quotient spaces
• Applications in hyperkähler geometry

References

Main references include:

• Bea83 Beauville's classical work on Kähler varieties
• Men22 Menet's classification of hyperkähler orbifolds
• FM21 Fu-Menet's research on Betti numbers of four-dimensional symplectic varieties
• O'G99, O'G03 Exceptional symplectic varieties constructed by O'Grady

Summary: This is a technically sophisticated paper of significant importance in the classification of irreducible symplectic varieties. Through systematic group-theoretic methods, it achieves a complete classification of terminalizations of an important class of quotient spaces, providing new theoretical tools and concrete results for the field.