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

Moduli von gitterpolarisierten K3-Flächen und Beschränktheit von Brauer-Gruppen

Grundinformationen

  • Papier-ID: 2510.11477
  • Titel: Moduli of lattice-polarized K3 surfaces and boundedness of Brauer groups
  • Autoren: Danny Bragg, Emma Brakkee, Anthony Várilly-Alvarado
  • Klassifizierung: math.AG (Algebraische Geometrie), math.NT (Zahlentheorie)
  • Veröffentlichungsdatum: 14. Oktober 2025 (arXiv-Preprint)
  • Papierlink: https://arxiv.org/abs/2510.11477

Zusammenfassung

Inspiriert durch Konstruktionen von Dolgachev und Alexeev-Engel über den komplexen Zahlen definiert dieses Papier den Modulistapel M(L,A)/Z\mathcal{M}_{(L,\mathcal{A})/\mathbb{Z}} von gitterpolarisierten K3-Flächen über beliebigen Basen, mit besonderem Fokus auf die offene Bahn primitiver Polarisierungen P(L,A)/Z\mathcal{P}_{(L,\mathcal{A})/\mathbb{Z}}. Das Konzept des „minimalen amplen Kegels" wird eingeführt, um glatte separierte Stapel über geeigneten offenen Teilmengen von Spec(Z)\text{Spec}(\mathbb{Z}) zu konstruieren. Durch Hinzufügen von Schichtstrukturen aus Klassen in H2(X,μn)\mathrm{H}^2(X,\mu_n) werden Modulistapel etabliert, deren Quotienten eine offene Unterstapel enthalten, deren Punkte K3-Flächenpaare sowie n-Torsionsklassen in der Brauer-Gruppe parametrisieren. Wenn der Rang des Gitters L gleich 19 ist, wird bewiesen, dass der entsprechende Modulraum eine Vereinigung quasiprojektiver Kurven ist, und dieser Vergleich wird verwendet, um zu zeigen, dass die Geschlechter und projektiven Grade der Komponenten mit den Parametern wachsen, woraus folgt, dass es nur endlich viele Punkte über Zahlkörpern beschränkten Grades gibt.

Forschungshintergrund und Motivation

Problemhintergrund

Die Theorie der Modulräume von K3-Flächen ist ein zentrales Forschungsgebiet der algebraischen Geometrie. Die Modulräume gitterpolarisierter K3-Flächen wurden ursprünglich von Dolgachev im Kontext der Spiegelsymmetrie ausführlich untersucht. Diese Modulräume weisen jedoch technische Schwierigkeiten auf, insbesondere mangelnde Separiertheit, die ihre Anwendungen einschränkt.

Kernprobleme

  1. Separierungsproblem: Traditionelle Modulräume gitterpolarisierter K3-Flächen sind typischerweise nicht separiert, was zu schlechten geometrischen Eigenschaften führt
  2. Arithmetische Anwendungen: Notwendigkeit der Konstruktion von Modulräumen über nicht-abgeschlossenen Körpern wie Zahlkörpern zur Untersuchung arithmetischer Eigenschaften von K3-Flächen
  3. Gleichmäßige Beschränktheit der Brauer-Gruppe: Beweis der gleichmäßigen Beschränktheit der Brauer-Gruppe von K3-Flächen in speziellen Familien

Forschungsmotivation

  • Konstruktion gitterpolarisierter K3-Flächen-Modulistapel mit guten geometrischen Eigenschaften
  • Verallgemeinerung der Theorie über den komplexen Zahlen auf allgemeine Basen
  • Bereitstellung von Moduli-theoretischen Werkzeugen für arithmetische Untersuchungen von K3-Flächen
  • Neue Methode zum Beweis der gleichmäßigen Beschränktheit der Brauer-Gruppe

Kernbeiträge

  1. Konstruktion von gitterpolarisierten K3-Flächen-Modulistapeln über beliebigen Basen, Verallgemeinerung der klassischen Theorie über den komplexen Zahlen
  2. Einführung des Konzepts des „minimalen amplen Kegels", Verbesserung der „kleinen Kegel"-Theorie von Alexeev-Engel
  3. Beweis guter geometrischer Eigenschaften der Modulistapel, einschließlich Glattheit, Separiertheit und lokaler Endlichkeit des Typs
  4. Etablierung verdrehter K3-Flächen-Modulräume mit Schichtstrukturen, Verbindung von Moduli-Theorie und Brauer-Gruppen-Theorie
  5. Neuer Beweis des Satzes von Cadoret-Charles über gleichmäßige Beschränktheit der Brauer-Gruppe von K3-Flächen
  6. Etablierung der Verbindung zwischen Modulräumen und orthogonalen Modulkurven, Verwendung der Theorie arithmetischer Fuchsgruppen

Methodische Details

Aufgabenstellung

Untersuchung von Modulräumen gitterpolarisierter K3-Flächen, insbesondere:

  • Eingabe: Gerader Gitter L und Teilmenge A ⊂ L_ℝ
  • Ausgabe: Modulistapel M_{(L,A)/S}, parametrisiert (L,A)-polarisierte K3-Flächen
  • Nebenbedingungen: Konstruktion von Modulräumen mit guten geometrischen Eigenschaften

Konstruktion des Modulistapels

1. Definition des grundlegenden Modulistapels

Für einen geraden hyperbolischen Gitter L und eine Teilmenge A ⊂ L_ℝ wird der Modulistapel M_{(L,A)/S} definiert, dessen Objekte sind:

  • K3-Flächenfamilien f: X → T
  • Gitterpolarisierung j: L_T ↪ Pic_{X/T}
  • Erfüllung der (L,A)-Polarisierungsbedingung

2. Unterstapel primitiver Polarisierungen

Definition von P_{(L,A)/S} ⊂ M_{(L,A)/S} als offene Unterstapel primitiver Polarisierungen, wobei j auf jeder geometrischen Faser eine primitive Einbettung ist.

3. Minimaler ampler Kegel

Für eine primitive Einbettung e: L ↪ Λ (K3-Gitter) wird definiert:

  • Kleiner ampler Kegel: Zusammenhängende Komponente von C(L) \ ⋃_{δ∈Δ_e(Λ)} e^{-1}(δ^⊥)
  • Minimaler ampler Kegel: Zusammenhängende Komponente nach Schnitt über alle Einbettungen

Technische Innovationen

1. Theorie des minimalen amplen Kegels

  • Verbesserung des Konzepts des kleinen Kegels von Alexeev-Engel
  • Abhängig nur vom Polarisierungsgitter, keine zusätzlichen singulären Kohomologiedaten erforderlich
  • Garantiert Separiertheit des Modulistapels

2. Modulraum verdrehter K3-Flächen

Konstruktion des Modulistapels M^{n}_{(L,A)}, dessen Objekte umfassen:

  • (L,A)-polarisierte K3-Fläche (X,j)
  • n-Torsionsklasse α ∈ H^2(X,μ_n)

3. Konstruktion des Quotientenstapels

Definition des Quotientenstapels Q^{n}_{(L,A)}, dessen Punkte entsprechen:

  • Primitive L-polarisierte K3-Flächen
  • n-Torsionsklassen in der Brauer-Gruppe

Hauptsätze

Satz 1.1 (Geometrische Eigenschaften)

Sei L ein gerader hyperbolischer Gitter, d = disc(L). Es existiert eine abgeschlossene Unterstapel Z ⊂ P_{(L,A)/ℤ} so dass:

  1. Z wird von der supersingulären Bahn und den Primteilern von d getragen
  2. P_{(L,A)/ℤ} \ Z ist an jedem Punkt eine glatte Stapel mit relativer Dimension 20 - rk(L)

Satz 1.2 (Separiertheit)

Sei a der minimale ample Kegel. Es existiert eine abgeschlossene Unterstapel Z ⊂ P_{(L,a)/ℤ}, die von der supersingulären Bahn getragen wird, so dass P_{(L,a)/ℤ} \ Z über Spec ℤ separiert ist.

Satz 1.10 (Beschränktheit der Brauer-Gruppe)

Fixiere positive ganze Zahlen d, eine Primzahl ℓ und einen Gitter L vom Rang 19. Es existiert eine Konstante B = B(d,ℓ,L) so dass für jede K3-Fläche X über einem Zahlkörper k vom Grad d, wenn Pic(X̄) eine primitive Einbettung L ↪ Pic(X̄) zulässt, dann: #Br(X)Br1(X){ℓ∞}<B\#\frac{\text{Br}(X)}{\text{Br}_1(X)}\{\ell^∞\} < B

Experimentelle Einrichtung und Ergebnisse

Analyse des komplexen Modulraums

Wenn der Rang von L gleich 19 ist, wird bewiesen, dass Q^{(n)}_{(L,a),ℂ} eine Vereinigung quasiprojektiver Kurven ist, von denen jede isomorph zum Quotienten der oberen Halbebene durch eine diskrete Untergruppe von SL_2(ℝ) ist.

Geschlechtswachstumseigenschaften

Unter Verwendung von Ergebnissen von Bergeron-Clozel und Long-Maclachlan-Reid wird bewiesen:

Korollar 6.11: Fixiere einen Zahlkörper k und eine positive ganze Zahl d. Es existiert n_0 so dass für alle m ≥ n_0 der Raum Q^{(ℓ^m)}_{(L,a)} über Erweiterungskörpern vom Grad ≤ d nur endlich viele Punkte hat.

Arithmetische Anwendungen

Neuer Beweis des Satzes von Cadoret-Charles, der besagt, dass die ℓ-primäre Torsion der Brauer-Gruppe von K3-Flächen, die in eindimensionalen gitterpolarisierten Familien variieren, gleichmäßig beschränkt ist.

Verwandte Arbeiten

Klassische Theorie

  • Dolgachev (1996): Bahnbrechende Arbeiten zu Modulräumen gitterpolarisierter K3-Flächen über den komplexen Zahlen
  • Alexeev-Engel (2023): Theorie der kleinen Kegel und Kompaktifizierung von Modulräumen
  • Rizov (2006): Modulistapel polarisierter K3-Flächen in gemischter Charakteristik

Brauer-Gruppen-Theorie

  • Skorobogatov-Zarhin (2008): Endlichkeit der Brauer-Gruppe von K3-Flächen
  • Cadoret-Charles (2020): Gleichmäßige Beschränktheitsergebnisse
  • Orr-Skorobogatov (2018): Endlichkeitssätze für K3-Flächen vom CM-Typ

Moduli-theoretische Grundlagen

  • Keel-Mori (1997): Theorie der groben Modulräume
  • Theorie orthogonaler Modulformen: Arbeiten von Bergeron-Clozel und anderen

Schlussfolgerungen und Diskussion

Hauptschlussfolgerungen

  1. Erfolgreiche Konstruktion gitterpolarisierter K3-Flächen-Modulistapel mit guten Eigenschaften
  2. Etablierung tiefgreifender Verbindungen zwischen Moduli-Theorie und arithmetischer Brauer-Gruppen-Theorie
  3. Bereitstellung neuer Werkzeuge zur Untersuchung arithmetischer Eigenschaften von K3-Flächen

Einschränkungen

  1. Einige Ergebnisse erfordern Ausschluss der supersingulären Bahn
  2. Separierungsergebnisse könnten möglicherweise nur außerhalb bestimmter Primzahlen gelten
  3. Rangbeschränkungen (z.B. die Bedingung rk(L) ≤ 10 in Satz 2.22)

Zukünftige Richtungen

  1. Verallgemeinerung auf höherdimensionale Calabi-Yau-Mannigfaltigkeiten
  2. Untersuchung des Degenerationsverhaltens spezieller Fasern
  3. Weitere Verbindungen zur Hodge-Theorie
  4. Weitere Anwendungen in der arithmetischen Geometrie

Tiefgreifende Bewertung

Stärken

  1. Theoretische Tiefe: Erfolgreiche Verallgemeinerung der klassischen Theorie über den komplexen Zahlen auf allgemeine Fälle
  2. Technische Innovation: Die Einführung des Konzepts des minimalen amplen Kegels löst das Separierungsproblem
  3. Anwendungswert: Bereitstellung leistungsstarker Werkzeuge für arithmetische Untersuchungen von K3-Flächen
  4. Beweistechniken: Geschickte Kombination von algebraischer Geometrie, Zahlentheorie und Modulformen-Theorie

Schwächen

  1. Technische Komplexität: Die Konstruktion beinhaltet umfangreiche technische Details, die die Lesbarkeit beeinträchtigen können
  2. Anwendungsbereich: Einige Ergebnisse haben Beschränkungen bezüglich des Gitterrangs
  3. Rechnerische Komplexität: Praktische Berechnungen von Modulräumen können auf Schwierigkeiten stoßen

Auswirkungen

  1. Feldbeitrag: Bedeutender Beitrag zur Theorie der Modulräume von K3-Flächen
  2. Methodologie: Demonstriert die Kraft von Moduli-theoretischen Methoden in der arithmetischen Geometrie
  3. Nachfolgeforschung: Kann weitere verwandte Forschungen inspirieren

Anwendungsszenarien

  1. Klassifizierungs- und Parametrisierungsprobleme von K3-Flächen
  2. Arithmetische Untersuchungen der Brauer-Gruppe
  3. Darstellungstheorie von Modulformen und orthogonalen Gruppen
  4. Allgemeine Forschung in arithmetischer algebraischer Geometrie

Literaturverzeichnis

Das Papier enthält umfangreiche Literaturverzeichnisse, die wichtige Arbeiten aus mehreren Bereichen der algebraischen Geometrie, Zahlentheorie und Modulformen-Theorie abdecken, insbesondere:

  • Dolgachevs Arbeiten zur Spiegelsymmetrie
  • Alexeev-Engels Kompaktifizierungstheorie
  • Cadoret-Charles Gleichmäßige Beschränktheitsergebnisse
  • Klassische Theorie orthogonaler Gruppen und Modulformen

Gesamtbewertung: Dies ist ein hochqualitatives Papier der algebraischen Geometrie, das klassische Theorie erfolgreich auf allgemeinere Einstellungen verallgemeinert und bedeutende Fortschritte in der arithmetischen Forschung von K3-Flächen erzielt. Sowohl die technische Tiefe als auch der Anwendungswert des Papiers sind hervorragend und haben wichtige Bedeutung für die Entwicklung verwandter Felder.