2025-11-15T16:52:12.119164

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

Bertini, Grossi, Mauri et al.
Terminalizations of symplectic quotients are sources of new deformation types of irreducible symplectic varieties. We classify all terminalizations of quotients of Hilbert schemes of K3 surfaces or of generalized Kummer varieties, by finite groups of symplectic automorphisms induced from the underlying K3 or abelian surface. We determine their second Betti number and the fundamental group of their regular locus. In the Kummer case, we prove that the terminalizations have quotient singularities, and determine the singularities of their universal quasi-étale cover. In particular, we obtain at least nine new deformation types of irreducible symplectic varieties of dimension four. Finally, we compare our deformation types with those in [FM21; Men22]. The smooth terminalizations are only three and of K$3^{[n]}$-type, and surprisingly they all appeared in different places in the literature [Fuj83; Kaw09; Flo22].
academic

Terminalisations de quotients de variétés hyperkählériennes compactes par automorphismes symplectiques induits

Informations fondamentales

  • ID de l'article: 2401.13632
  • Titre: Terminalizations of quotients of compact hyperkähler manifolds by induced symplectic automorphisms
  • Auteurs: Valeria Bertini, Annalisa Grossi, Mirko Mauri, Enrica Mazzon
  • Classification: math.AG (Géométrie algébrique)
  • Journal de publication: Épijournal de Géométrie Algébrique, Volume 9 (2025), Article No. 14
  • Lien de l'article: https://arxiv.org/abs/2401.13632

Résumé

Cet article étudie les terminalisations de quotients de variétés hyperkählériennes compactes, qui constituent une source importante de nouveaux types de déformations de variétés symplectiques irréductibles. Les auteurs classifient complètement toutes les terminalisations des quotients obtenus en faisant agir des groupes finis d'automorphismes symplectiques induits par les automorphismes des surfaces K3 ou des surfaces abéliennes sous-jacentes sur les schémas de Hilbert de surfaces K3 ou les variétés de Kummer généralisées. L'article détermine le deuxième nombre de Betti et le groupe fondamental du lieu régulier de ces terminalisations. Dans le cas de Kummer, les auteurs démontrent que les terminalisations possèdent des singularités quotient et déterminent la structure des singularités de leurs revêtements quasi-étales universels. En particulier, au moins huit nouveaux types de déformations de variétés symplectiques irréductibles de dimension quatre sont obtenus.

Contexte et motivation de la recherche

Contexte du problème

  1. Problème de classification des variétés symplectiques irréductibles: Dans la classification des variétés de dimension de Kodaira zéro, les variétés symplectiques irréductibles jouent un rôle crucial. Selon le théorème de décomposition de Beauville-Bogomolov, tout espace de Kähler compact dont la classe canonique est numériquement triviale et qui possède des singularités klt admet un revêtement quasi-étale qui s'écrit comme produit d'un tore complexe, d'une variété strictement de Calabi-Yau ou d'une variété symplectique irréductible.
  2. Rareté des exemples connus: Les types de déformations de variétés symplectiques irréductibles lisses actuellement connus sont au maximum trois pour chaque dimension:
    • Le schéma de Hilbert S^n de n points sur une surface K3 S
    • La variété de Kummer généralisée K_n(A) associée à une surface abélienne A
    • Deux exemples exceptionnels construits par O'Grady en dimensions 6 et 10
  3. Méthode de construction de nouveaux exemples: La production de nouveaux exemples peut être réalisée par terminalisation d'espaces symplectiques quotients, ce qui constitue la motivation de cette recherche.

Signification de la recherche

  • On s'attend à ce que le nombre de types de déformations de variétés symplectiques irréductibles soit fini pour chaque dimension
  • La recherche de nouvelles variétés symplectiques irréductibles est un problème central du domaine
  • La méthode de terminalisation fournit une approche pour la construction systématique

Contributions principales

  1. Résultats de classification complets: Classification de toutes les terminalisations des quotients X/G où G est un groupe fini d'automorphismes symplectiques induits agissant sur S^n ou K_n(A)
  2. Calcul des invariants topologiques: Détermination du deuxième nombre de Betti b_2(Y) et du groupe fondamental du lieu régulier π_1(Y^{reg}) de la terminalisation Y par des formules théoriques de groupe
  3. Nouveaux types de déformations: Obtention d'au moins huit nouveaux types de déformations de variétés symplectiques irréductibles de dimension quatre
  4. Analyse de la structure des singularités: Démonstration que les terminalisations dans le cas de Kummer possèdent toutes des singularités quotient, avec analyse détaillée des types de singularités
  5. Caractérisation complète des terminalisations lisses: Démonstration que seuls trois cas produisent des terminalisations lisses, toutes de type K3^n

Détails de la méthode

Critères de classification

Les auteurs proposent trois hypothèses clés pour une classification efficace:

Hypothèse 1.1: L'action de G rend X/G à singularités canoniques strictes, équivalent à:

  • Le lieu singulier de X/G possède codimension 2
  • Un certain élément de G fixe une sous-variété de codimension 2 dans X

Hypothèse 1.2: Les automorphismes fixant le lieu de codimension 2 dans X engendrent le groupe entier G

Hypothèse 1.3: Le groupe G agit sur S^n ou K_n(A) par automorphismes symplectiques induits par les automorphismes de la surface K3 ou de la surface abélienne sous-jacente

Théorèmes fondamentaux

Théorème 1.4: Soit G un groupe fini d'automorphismes symplectiques induits sur S^m ou K_n(A). Alors X/G possède des singularités canoniques strictes si et seulement si:

  • m=2 ou n=2,3, et G contient une involution
  • n=2, et G contient un automorphisme d'ordre 3 spécial
  • n=3, et G contient une involution spéciale

Théorème 1.6: Formules pour les deuxième et troisième nombres de Betti de la terminalisation Y:

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

où N_i est le nombre de composantes du lieu singulier possédant des singularités A_ transversales.

Innovations techniques

  1. Réduction géométrique: Réduction du problème de terminalisation à l'analyse de la géométrie du lieu fixe
  2. Méthode théorique de groupe: Caractérisation des invariants topologiques par les classes de conjugaison et les stabilisateurs
  3. Principe local-global: Analyse des singularités de la terminalisation globale par des modèles locaux

Configuration expérimentale

Portée de la classification

  • Cas du schéma de Hilbert: Tous les groupes d'automorphismes symplectiques induits sur S^2
  • Cas de Kummer: Tous les groupes d'automorphismes symplectiques induits sur K_2(A) et K_3(A)

Outils de calcul

  • Utilisation du logiciel GAP pour les calculs théoriques de groupe
  • Application de la théorie de l'intersection en géométrie algébrique
  • Utilisation de la théorie des déformations pour juger l'équivalence

Références de comparaison

Comparaison avec les résultats dans les références suivantes:

  • Variétés de Fujiki Men22
  • Quotients cycliques de Fu-Menet FM21
  • Variétés classiques de type K3^n

Résultats expérimentaux

Résultats de classification principaux

Tableau 4 (cas S^2): Liste 68 actions de groupe distinctes, avec b_2(Y) variant de 5 à 23

Tableau 7 (cas K_2(A)): Liste toutes les actions de groupe possibles, déterminant les invariants topologiques correspondants

Tableau 9 (cas K_2(A) avec lieu régulier simplement connexe): Analyse détaillée de 10 cas avec nombres de Betti, classes de Chern et singularités

Terminalisations lisses

Théorème 1.12: Seuls trois cas produisent des terminalisations lisses:

  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 du deuxième nombre de Betti

  • Cas S^2: b_2 varie de 5 à 23
  • Cas K_2(A): b_2 se concentre principalement dans la plage 5-11
  • Découverte de lacunes pour b_2 = 9, 12, 13, 15

Travaux connexes

Développement historique

  • Fujiki (1983): Première étude des terminalisations de quotients du carré d'une surface K3
  • Menet (2022): Achèvement de la classification des variétés de Fujiki, découverte de 29 orbifolds symplectiques singuliers de dimension quatre
  • Fu-Menet (2021): Étude des terminalisations de quotients cycliques

Positionnement de la contribution de cet article

  • Complément d'une partie importante du programme de classification de Menet
  • Fourniture d'une méthode systématique théorique de groupe
  • Découverte de plusieurs nouveaux types de déformations

Conclusions et discussion

Conclusions principales

  1. Achèvement de la classification complète des terminalisations d'espaces symplectiques quotients par automorphismes induits
  2. Établissement de formules théoriques de groupe pour les invariants topologiques
  3. Découverte d'au moins 8 nouveaux types de déformations de variétés symplectiques irréductibles de dimension quatre
  4. Démonstration de la propriété de singularités quotient des terminalisations dans le cas de Kummer

Limitations

  1. Restriction aux automorphismes induits; les cas non-induits sont plus complexes
  2. Certains jugements d'équivalence de déformation restent à affiner
  3. La généralisation aux cas de dimension supérieure nécessite de nouvelles techniques

Directions futures

  1. Étude des espaces quotients pour d'autres types d'automorphismes symplectiques
  2. Généralisation aux variétés symplectiques irréductibles de dimension supérieure
  3. Étude des propriétés géométriques des espaces de modules

Évaluation approfondie

Points forts

  1. Force systématique: Fourniture d'un cadre de classification complet et d'une méthode de calcul
  2. Profondeur technique: Combinaison de résultats profonds en géométrie algébrique, théorie des groupes et topologie
  3. Exhaustivité des calculs: Fourniture d'informations complètes pour tous les cas par des tableaux détaillés
  4. Signification théorique: Contribution importante au problème de classification des variétés symplectiques irréductibles

Insuffisances

  1. Limitations techniques: La restriction aux automorphismes induits exclut certains exemples importants
  2. Complexité des calculs: Certains détails des calculs théoriques de groupe peuvent être difficiles à vérifier
  3. Portée des applications: Concentration principalement sur les cas de basse dimension; la généralisation en dimension supérieure reste peu claire

Influence

  • Fourniture d'une méthode systématique pour la classification des variétés symplectiques irréductibles
  • Potentiel pour inspirer des recherches plus générales sur la théorie de la terminalisation
  • Impact important sur la théorie des espaces de modules en géométrie algébrique

Scénarios d'application

  • Construction et classification de variétés symplectiques irréductibles
  • Étude des espaces symplectiques quotients
  • Applications de la géométrie hyperkählérienne

Références

Les principales références incluent:

  • Bea83 Travaux classiques de Beauville sur les variétés de Kähler
  • Men22 Classification des orbifolds hyperkählériens de Menet
  • FM21 Recherche de Fu-Menet sur les nombres de Betti des variétés symplectiques de dimension quatre
  • O'G99, O'G03 Variétés symplectiques exceptionnelles construites par O'Grady

Résumé: Cet article est un travail technique d'importance majeure dans le domaine de la classification des variétés symplectiques irréductibles. Par une méthode systématique théorique de groupe, il complète la classification de toutes les terminalisations d'une classe importante d'espaces quotients, fournissant de nouveaux outils théoriques et des résultats concrets au domaine.