2025-11-10T03:03:02.440197

Moduli of lattice-polarized K3 surfaces and boundedness of Brauer groups

Bragg, Brakkee, Várilly-Alvarado
Inspired by constructions over the complex numbers of Dolgachev and Alexeev-Engel, we define moduli stacks $\mathcal{M}_{(L,\mathcal{A})/\mathbb{Z}}$ of lattice-polarized K3 surfaces over arbitrary bases, paying particular attention to the open locus $\mathcal{P}_{(L,\mathcal{A})/\mathbb{Z}}$ of primitive lattice polarizations. We introduce the notion of very small ample cones $\mathcal{a}$, after Alexeev and Engel's small cones, to construct smooth, separated stacks of lattice polarized K3 surfaces $\mathcal{P}_{(L,\mathcal{a})/\mathbb{Z}[1/N]}$ over suitable open subsets of $\textrm{Spec}(\mathbb{Z})$. We add level structures, coming from classes in $\mathrm{H}^2(X,μ_n)$, to build moduli stacks $\mathcal{P}^{[n]}_{(L,\mathcal{A})/\mathbb{Z}}$ with a natural action by $\mathcal{P}_{(L,\mathcal{A})}\otimes \mathbb{Z}/n\mathbb{Z}$ whose associated quotient $\mathcal{Q}^{[n]}_{(L,\mathcal{A})}$ contains an open substack $\mathcal{Q}^{(n)}_{(L,\mathcal{A})}$ whose points parametrize pairs K3 surfaces $X$ such that $\textrm{Pic}(X) \simeq L$, together with a class $α\in \textrm{Br}(X)$ of order $n$. When $L$ has rank 19, we show that the coarse moduli space $\mathrm{Q}_{(L,\mathcal{a}),\mathbb{C}}^{(n)}$ is a union of quasi-projective curves, each isomorphic to an open subvariety of the quotient of the upper half plane by a discrete subgroup of $\mathrm{SL}_2(\mathbb{R})$. Fixing a prime $\ell$, we use this comparison to prove that the genus and the gonality of the components of $\mathrm{Q}_{(L,\mathcal{a}),\mathbb{C}}^{(\ell^{m})}$ grows with $m$, and hence that they have finitely many points over number fields of bounded degree. As an application, we furnish a new proof of a result by Cadoret--Charles, showing uniform boundedness of the $\ell$-primary torsion of Brauer groups of K3 surfaces over number fields varying in a $1$-dimensional lattice-polarized family.
academic

Modules de surfaces K3 polarisées par réseau et bornitude des groupes de Brauer

Informations fondamentales

  • ID de l'article: 2510.11477
  • Titre: Moduli of lattice-polarized K3 surfaces and boundedness of Brauer groups
  • Auteurs: Danny Bragg, Emma Brakkee, Anthony Várilly-Alvarado
  • Classification: math.AG (géométrie algébrique), math.NT (théorie des nombres)
  • Date de publication: 14 octobre 2025 (prépublication arXiv)
  • Lien de l'article: https://arxiv.org/abs/2510.11477

Résumé

Inspiré par les constructions de Dolgachev et Alexeev-Engel sur le corps des complexes, cet article définit le champ de modules M(L,A)/Z\mathcal{M}_{(L,\mathcal{A})/\mathbb{Z}} des surfaces K3 polarisées par réseau sur une base arbitraire, en mettant l'accent particulier sur le lieu ouvert P(L,A)/Z\mathcal{P}_{(L,\mathcal{A})/\mathbb{Z}} des polarisations primitives. L'introduction du concept de « cône ample minimal » permet de construire un champ lisse et séparé sur un ouvert approprié de Spec(Z)\text{Spec}(\mathbb{Z}). En ajoutant une stratification provenant des classes de H2(X,μn)\mathrm{H}^2(X,\mu_n), on établit des champs de modules dont le quotient contient un sous-champ ouvert dont les points paramètrent les paires de surfaces K3 ainsi que les classes d'ordre n du groupe de Brauer. Lorsque le rang du réseau L est 19, on démontre que l'espace de modules correspondant est une union de courbes quasi-projectives, et en utilisant cette comparaison, on établit que le genre et le degré projectif des composantes croissent avec les paramètres, d'où il résulte qu'il n'existe qu'un nombre fini de points sur les corps de degré borné.

Contexte et motivation de la recherche

Contexte du problème

La théorie des espaces de modules des surfaces K3 est un domaine central de la géométrie algébrique. L'espace de modules des surfaces K3 polarisées par réseau a été initialement étudié en détail par Dolgachev dans le contexte de la symétrie miroir. Cependant, ces espaces de modules présentent des difficultés techniques, en particulier l'absence de séparation, ce qui limite leurs applications.

Problèmes fondamentaux

  1. Problème de séparation: Les espaces de modules traditionnels des surfaces K3 polarisées par réseau ne sont généralement pas séparés, ce qui entraîne de mauvaises propriétés géométriques
  2. Applications arithmétiques: Nécessité de construire des espaces de modules sur des corps non algébriquement clos, tels que les corps de nombres, pour étudier les propriétés arithmétiques des surfaces K3
  3. Bornitude uniforme du groupe de Brauer: Démontrer la bornitude uniforme du groupe de Brauer des surfaces K3 dans des familles spécifiques

Motivation de la recherche

  • Construire des espaces de modules des surfaces K3 polarisées par réseau possédant de bonnes propriétés géométriques
  • Généraliser la théorie du corps des complexes à une base arbitraire
  • Fournir des outils de théorie des modules pour l'étude arithmétique des surfaces K3
  • Développer une nouvelle approche pour démontrer la bornitude uniforme du groupe de Brauer

Contributions principales

  1. Construction de champs de modules des surfaces K3 polarisées par réseau sur une base arbitraire, généralisant la théorie classique sur le corps des complexes
  2. Introduction du concept de « cône ample minimal », améliorant la théorie du « petit cône » d'Alexeev-Engel
  3. Démonstration des bonnes propriétés géométriques du champ de modules, incluant la lissité, la séparation et le type localement fini
  4. Établissement d'espaces de modules de surfaces K3 tordues avec stratification, reliant la théorie des modules et celle du groupe de Brauer
  5. Nouvelle démonstration du théorème de Cadoret-Charles concernant la bornitude uniforme du groupe de Brauer des surfaces K3
  6. Établissement de liens entre l'espace de modules et les courbes de modules orthogonaux, utilisant la théorie des groupes arithmétiques fuchsiens

Détails des méthodes

Définition de la tâche

Étude de l'espace de modules des surfaces K3 polarisées par réseau, en particulier:

  • Entrée: réseau pair L et sous-ensemble A ⊂ L_ℝ
  • Sortie: champ de modules M_{(L,A)/S}, paramétrant les surfaces K3 (L,A)-polarisées
  • Contraintes: construction d'un espace de modules possédant de bonnes propriétés géométriques

Construction du champ de modules

1. Définition du champ de modules fondamental

Pour un réseau pair hyperbolique L et un sous-ensemble A ⊂ L_ℝ, on définit le champ de modules M_{(L,A)/S} dont les objets sont:

  • Une famille de surfaces K3 f: X → T
  • Une polarisation par réseau j: L_T ↪ Pic_{X/T}
  • Satisfaisant la condition de (L,A)-polarisation

2. Sous-champ des polarisations primitives

On définit P_{(L,A)/S} ⊂ M_{(L,A)/S} comme le sous-champ ouvert des polarisations primitives, où j est une immersion primitive sur chaque fibre géométrique.

3. Cône ample minimal

Pour une immersion primitive e: L ↪ Λ (réseau K3), on définit:

  • Petit cône ample: composante connexe de C(L) \ ⋃_{δ∈Δ_e(Λ)} e^{-1}(δ^⊥)
  • Cône ample minimal: composante connexe après intersection sur tous les plongements

Points techniques innovants

1. Théorie du cône ample minimal

  • Amélioration du concept de petit cône d'Alexeev-Engel
  • Dépend uniquement du réseau de polarisation, sans données de cohomologie singulière supplémentaires
  • Garantit la séparation du champ de modules

2. Espace de modules des surfaces K3 tordues

Construction du champ de modules M^{n}_{(L,A)}, dont les objets incluent:

  • Une surface K3 (L,A)-polarisée (X,j)
  • Une classe n-torsion α ∈ H^2(X,μ_n)

3. Construction du champ quotient

Définition du champ quotient Q^{n}_{(L,A)}, dont les points correspondent à:

  • Surfaces K3 L-polarisées primitives
  • Classes d'ordre n du groupe de Brauer

Théorèmes principaux

Théorème 1.1 (Propriétés géométriques)

Soit L un réseau pair hyperbolique, d = disc(L). Il existe un sous-champ fermé Z ⊂ P_{(L,A)/ℤ} tel que:

  1. Z est supporté sur le lieu supersingulier et les facteurs premiers de d
  2. P_{(L,A)/ℤ} \ Z est un champ lisse de dimension relative 20 - rk(L) en chaque point

Théorème 1.2 (Séparation)

Soit a le cône ample minimal. Il existe un sous-champ fermé Z ⊂ P_{(L,a)/ℤ} supporté sur le lieu supersingulier tel que P_{(L,a)/ℤ} \ Z soit séparé sur Spec ℤ.

Théorème 1.10 (Bornitude du groupe de Brauer)

Fixons un entier positif d, un nombre premier ℓ et un réseau L de rang 19. Il existe une constante B = B(d,ℓ,L) telle que pour toute surface K3 X sur un corps de nombres k de degré d, si Pic(X̄) admet un plongement primitif L ↪ Pic(X̄), alors: #Br(X)Br1(X){ℓ∞}<B\#\frac{\text{Br}(X)}{\text{Br}_1(X)}\{\ell^∞\} < B

Configuration expérimentale et résultats

Analyse de l'espace de modules complexe

Lorsque le rang de L est 19, on démontre que Q^{(n)}_{(L,a),ℂ} est une union de courbes quasi-projectives, chacune isomorphe au quotient du demi-plan supérieur par un sous-groupe discret de SL_2(ℝ).

Propriétés de croissance du genre

En utilisant les résultats de Bergeron-Clozel et Long-Maclachlan-Reid, on établit:

Corollaire 6.11: Fixons un corps de nombres k et un entier positif d. Il existe n_0 tel que pour tout m ≥ n_0, l'espace Q^{(ℓ^m)}_{(L,a)} ne possède qu'un nombre fini de points sur les extensions de degré ≤ d.

Applications arithmétiques

Nouvelle démonstration du théorème de Cadoret-Charles, qui établit que la ℓ-torsion du groupe de Brauer des surfaces K3 variant dans une famille de polarisations par réseau de dimension 1 est uniformément bornée.

Travaux connexes

Théorie classique

  • Dolgachev (1996): Travail fondateur sur les espaces de modules des surfaces K3 polarisées par réseau sur le corps des complexes
  • Alexeev-Engel (2023): Théorie du petit cône et compactification des espaces de modules
  • Rizov (2006): Champs de modules des surfaces K3 polarisées en caractéristique mixte

Théorie du groupe de Brauer

  • Skorobogatov-Zarhin (2008): Finitude du groupe de Brauer des surfaces K3
  • Cadoret-Charles (2020): Résultats de bornitude uniforme
  • Orr-Skorobogatov (2018): Théorèmes de finitude pour les surfaces K3 de type CM

Fondements de la théorie des modules

  • Keel-Mori (1997): Théorie des espaces de modules grossiers
  • Théorie des formes de modules orthogonaux: Travaux de Bergeron-Clozel et autres

Conclusion et discussion

Conclusions principales

  1. Construction réussie de champs de modules des surfaces K3 polarisées par réseau possédant de bonnes propriétés
  2. Établissement de liens profonds entre la théorie des modules et l'arithmétique du groupe de Brauer
  3. Fourniture de nouveaux outils pour l'étude des propriétés arithmétiques des surfaces K3

Limitations

  1. Certains résultats nécessitent d'exclure le lieu supersingulier
  2. Les résultats de séparation peuvent nécessiter de travailler en dehors des nombres premiers
  3. Restrictions sur le rang (par exemple, la condition rk(L) ≤ 10 du théorème 2.22)

Directions futures

  1. Généralisation aux variétés de Calabi-Yau de dimension supérieure
  2. Étude du comportement de dégénérescence des fibres spéciales
  3. Liens supplémentaires avec la théorie de Hodge
  4. Applications supplémentaires en géométrie arithmétique

Évaluation approfondie

Avantages

  1. Profondeur théorique: Généralisation réussie de la théorie classique du corps des complexes au cas général
  2. Innovation technique: L'introduction du concept de cône ample minimal résout le problème de séparation
  3. Valeur applicative: Fournit des outils puissants pour l'étude arithmétique des surfaces K3
  4. Techniques de preuve: Combinaison ingénieuse de géométrie algébrique, théorie des nombres et théorie des formes modulaires

Insuffisances

  1. Complexité technique: La construction implique de nombreux détails techniques qui peuvent affecter la lisibilité
  2. Portée d'application: Certains résultats ont des restrictions sur le rang du réseau
  3. Complexité computationnelle: Le calcul pratique des espaces de modules peut présenter des difficultés

Impact

  1. Contribution au domaine: Contribution importante à la théorie des espaces de modules des surfaces K3
  2. Méthodologie: Démontre la puissance des méthodes de théorie des modules en géométrie arithmétique
  3. Recherches ultérieures: Peut inspirer davantage de recherches connexes

Domaines d'application

  1. Problèmes de classification et de paramétrisation des surfaces K3
  2. Étude arithmétique du groupe de Brauer
  3. Théorie des formes modulaires et représentations de groupes orthogonaux
  4. Recherche générale en géométrie algébrique arithmétique

Références

L'article contient une riche bibliographie couvrant plusieurs domaines importants de la géométrie algébrique, de la théorie des nombres et de la théorie des formes modulaires, en particulier:

  • Travaux de Dolgachev sur la symétrie miroir
  • Théorie de compactification d'Alexeev-Engel
  • Résultats de bornitude uniforme de Cadoret-Charles
  • Théorie classique des groupes orthogonaux et des formes modulaires

Évaluation générale: Cet article est un travail de haute qualité en géométrie algébrique qui généralise avec succès la théorie classique à un cadre plus général et réalise des progrès importants dans l'étude arithmétique des surfaces K3. La profondeur technique et la valeur applicative de l'article sont toutes deux remarquables, et il revêt une importance significative pour le développement des domaines connexes.