K3-Flächen mit zwei Involutionen und niedriger Picard-Zahl

Grundinformationen

• Paper-ID: 2210.14623
• Titel: K3 surfaces with two involutions and low Picard number
• Autoren: Dino Festi, Wim Nijgh, Daniel Platt
• Klassifikation: math.AG (Algebraische Geometrie), math.DG (Differentialgeometrie), math.NT (Zahlentheorie)
• Veröffentlichungsdatum: 13. Februar 2024 (v2)
• Paper-Link: https://arxiv.org/abs/2210.14623

Zusammenfassung

Diese Arbeit untersucht komplexe algebraische K3-Flächen mit zwei Involutionen, wobei eine holomorph und die andere antiholomorph ist. Für K3-Flächen X vom Grad 2d mit Picard-Zahl ρ wird gezeigt: wenn d=1, dann ρ≥1; wenn d≥2, dann ρ≥2. Die Autoren konstruieren neue explizite K3-Flächen-Beispiele, die über den rationalen Zahlen definiert sind und für d=2,3,4 die minimale Picard-Zahl ρ=2 realisieren. Darüber hinaus wird bewiesen, dass singuläre Quartiken die minimale Picard-Zahl ρ=2 für unendlich viele verschiedene d-Werte realisieren können. Schließlich wird Morrisons Resultat verschärft: Für jeden primitiven geraden Gitter N vom Rang 1≤r≤10 mit Signatur (1,r-1) existiert eine über den reellen Zahlen definierte K3-Fläche Y mit Pic Y_C = Pic Y ≅ N.

Forschungshintergrund und Motivation

Problemhintergrund

1. Geometrische Motivation: K3-Flächen spielen eine wichtige Rolle in der Differentialgeometrie, besonders bei der Konstruktion von G₂-Mannigfaltigkeiten. Die Konstruktionsmethoden von Joyce-Karigiannis und Kovalev-Lee erfordern K3-Flächen mit zwei Involutionen – eine nicht-symplektische holomorphe Involution und eine antiholomorphe Involution.
2. Physikalische Anwendungen: Die Untersuchung des Modulraums von G₂-Metriken über das Donaldson-Thomas-Programm erfordert das Zählen von G₂-Instantonen, die aus stabilen Bündeln auf K3-Flächen konstruiert werden können. Die Überprüfung der Stabilität von Bündeln wird rechnerisch schwieriger, wenn die Anzahl der Linienbündel (d.h. die Picard-Zahl) zunimmt.
3. Theoretische Frage: Für K3-Flächen gegebenen Grades, die sowohl holomorphe als auch antiholomorphe Involutionen besitzen, was ist die minimale Picard-Zahl? Dies ist die zentrale theoretische Frage dieser Arbeit.

Bedeutung der Forschung

• Geometrische Konstruktion: Beispiele von K3-Flächen mit niedriger Picard-Zahl sind entscheidend für die Konstruktion von G₂-Mannigfaltigkeiten und Instantonen auf ihnen
• Rechnerische Effizienz: Niedrige Picard-Zahl macht Stabilitätsprüfungen rechnerisch machbar
• Theoretische Vollständigkeit: Vollständige Charakterisierung der Picard-Zahl-Schranken für K3-Flächen mit Involutionen

Grenzen bestehender Methoden

• Elsenhans-Jahnel (2008) geben nur Beispiele mit d=1 und ρ=1
• Kondōs Beispiele realisieren zwar ρ=2 für alle d≥2, aber nur ein Beispiel
• Mangel an expliziten Konstruktionsmethoden für verschiedene Grade
• Morrisons Resultat gilt nur für K3-Flächen über den komplexen Zahlen

Kernbeiträge

1. Theoretische Vollständigkeit (Satz 1.1): Vollständige Antwort auf die Frage nach der minimalen Picard-Zahl von K3-Flächen mit zwei Involutionen:
   • Für d=1: ρ≥1, und es existieren Beispiele mit ρ=1 über ℚ
   • Für d>1: ρ≥2, und es existieren Beispiele mit ρ=2 über ℚ
2. Neue explizite Konstruktionen:
   • K3-Flächen vom Grad 4 und 8 mit Picard-Gitter 4 5 2 (§6)
   • K3-Fläche vom Grad 6 mit Picard-Gitter 6 6 2 (§7)
   • K3-Flächen vom Grad 2d (d>3) mit Picard-Gitter 2 d+1 2d (§8)
3. Unendliche Familien von Beispielen: Singuläre Quartiken realisieren ρ=2 für unendlich viele verschiedene d-Werte (§4)
4. Verschärftes Resultat über den reellen Zahlen (Korollar 8.3): Für jeden primitiven geraden Gitter N vom Rang 1≤r≤10 mit Signatur (1,r-1) existiert eine über ℝ definierte K3-Fläche Y mit Pic Y_C = Pic Y ≅ N
5. Rechnerische Ressourcen: Magma-Code zur Konstruktion und Verifikation dieser Beispiele

Methodische Details

Aufgabenstellung

Gegeben eine positive ganze Zahl d, konstruiere eine K3-Fläche X vom Grad 2d mit Picard-Zahl 2, die:

1. über den rationalen Zahlen ℚ (oder reellen Zahlen ℝ) definiert ist
2. eine holomorphe Involution ι besitzt
3. eine antiholomorphe Involution σ besitzt (automatisch durch Definition über ℝ)
4. zwei Involutionen kommutieren

Kernbeobachtung (Bemerkung 1.3)

Schlüsseläquivalenz: Eine komplexe K3-Fläche besitzt kommutative holomorphe und antiholomorphe Involutionen genau dann, wenn die zugrunde liegende algebraische K3-Fläche über ℝ definiert werden kann und eine Automorphismus der Ordnung 2 besitzt.

Konstruktionsstrategie: Suche K3-Flächen, die über ℝ definiert sind und einen reichhaltigen Divisor D mit Selbstschnittzahl D²=2 besitzen. Ein solcher Divisor liefert den erforderlichen 2-Automorphismus (Lemma 3.1).

Methode I: Doppelüberlagerungen der Ebene (§3)

Schlüsselrolle von Lemma 3.1: Wenn eine K3-Fläche X einen reichhaltigen Divisor H mit H²=2 besitzt, dann ist X isomorph zu einer Doppelüberlagerung von ℙ² über einer glatten Sextik.

Überlagerungsinvolution: Für eine K3-Fläche mit Gleichung w²=f(x,y,z) im gewichteten projektiven Raum ℙ(1,1,1,3) ist die Involution gegeben durch: $ι: (x:y:z:w) \mapsto (x:y:z:-w)$

Beispiel 3.4: Konstruktion eines Beispiels X₂ mit Picard-Gitter ⟨2⟩, wobei ρ=1 durch Modulreduktion verifiziert wird:

• Berechnung des Picard-Gitters der reduzierten Fläche modulo 5 und modulo 13
• Verwendung von detPicX₂,₅ ≢ detPicX₂,₁₃ mod Q² zur Schlussfolgerung ρ(X₂)=1

Methode II: Singuläre Quartiken (§4)

Konstruktionsidee:

1. Beginne mit einer Quartik X in ℙ³ mit einem einzelnen Knoten
2. Erhalte das glatte Modell S durch Aufblasung des Knotens
3. Das Picard-Gitter enthält ⟨H,E⟩≅4 0 -2, wobei H der Hyperebenenquerschnitt und E der außergewöhnliche Divisor ist

Schlüsseltechnik (Proposition 4.4): Für d>2, wobei 2 ein quadratischer Rest modulo d ist, existiert eine primitive reichhaltige Klasse D∈PicS mit D²=2d.

Pell-Gleichungs-Methode: Das Problem reduziert sich auf das Lösen der Pell-Gleichung $y² - 2x² = -d$ Nach Lagrange hat diese Gleichung eine Lösung genau dann, wenn y²-2x²=±1 eine Lösung hat (was immer der Fall ist).

Weyl-Gruppen-Argument: Durch die transitive Wirkung der Weyl-Gruppe werden Lösungen im positiven Kegel in den reichhaltigen Kegel abgebildet.

Beispiel 4.7: Gibt eine konkrete singuläre Quartik über ℚ an und verifiziert, dass ihr glattes Modell Picard-Zahl 2 hat.

Methode III: Glatte Quartiken mit speziellen Kurven (§5-6)

Satz 5.1 (Mori, Knutsen): Es existiert eine glatte Quartik X, die eine glatte Kurve C vom Grad e und Geschlecht g enthält, genau dann wenn:

• g = e²/8 + 1, oder
• g < e²/8 und (e,g)≠(5,3)

Proposition 5.2: Wenn e>4, die Quartik X eine glatte Kurve C vom Geschlecht 2 und Grad e enthält und PicX=⟨H,C⟩, dann ist C reichhaltig und X besitzt eine durch das Liniensystem |C| induzierte holomorphe Involution.

Konstruktionsmethode (Bemerkung 6.5):

1. Konstruiere in ℙ¹×ℙ¹ eine Kurve C' vom Bigrad (2,3) mit Geschlecht 2 und eine Kurve D' vom Bigrad (2,1) mit Geschlecht 0
2. Bilde durch die Segre-Einbettung auf eine Quadrik Q⊂ℙ³ ab
3. Das Bild C∪D wird durch ein Quartik-Polynom definiert
4. Verifiziere Glattheit und Picard-Zahl

Beispiel 6.1 (X₄): Explizite Konstruktion einer Quartik vom Grad 4, die eine Kurve C vom Grad 5 und Geschlecht 2 enthält, mit Picard-Gitter 4 5 2.

Explizite Formel für die Involution (Bemerkung 6.6): Die Involution ι wird durch das Liniensystem |9H-5C| als Nonet-Polynom gegeben.

Andere Modelle:

• |C| gibt ein Doppelüberlagerungs-Modell X'₂ von ℙ²
• |3H-C| gibt ein Modell X₈ als Schnitt dreier Quadriken in ℙ⁵

Methode IV: Schnitt einer Quadrik und einer Kubik (§7)

Konstruktionsstrategie: Suche K3-Flächen in ℙ⁴, die durch eine Quadrik x₄²=f und eine Kubik l₁g₁+l₂g₂+l₃g₃=0 definiert sind.

Beispiel 7.1 (X₆): Gibt explizit eine K3-Fläche vom Grad 6 an, die eine Kurve C₆ vom Grad 6 und Geschlecht 2 enthält, mit Picard-Gitter 6 6 2.

Gitter-theoretisches Argument (Lemma 7.4): Das Gitter 6 6 2 repräsentiert keine Zahl d≡4 mod 6, insbesondere nicht -2, enthält also keine glatten rationalen Kurven, und der reichhaltige Kegel stimmt mit dem positiven Kegel überein.

Methode V: Allgemeine Konstruktion über den reellen Zahlen (§8)

Verschärfung von Morrisons Resultat (Proposition 8.2): Für einen primitiven Untergitter N von U⊕²⊕E₈(-1)⊕² (Rang r, Signatur (1,r-1)) existiert eine über ℝ definierte K3-Fläche X mit PicX=PicX_C≅N.

Konstruktionsschritte:

1. Finde eine primitive Einbettung von N in Λ:=U⊕²⊕E₈(-1)⊕²
2. Wähle w₋ in N⊥⊗ℝ mit w₋²>0
3. Wähle w₊ in U⊗ℝ mit w₊²=w₋²
4. Konstruiere w:=w₊+iw₋ erfüllend die Riemann-Bedingung
5. Erhalte K3-Fläche Y durch die Surjektivität der Periodabbildung
6. Definiere Involution τ=id⊕(-id) auf ΛK₃=U⊕Λ
7. Verifiziere, dass τ die Bedingungen von Satz 8.1 erfüllt, erhalte Modell X über ℝ

Existenz reeller Punkte: Durch Berechnung der Euler-Charakteristik χ(X(ℝ))=-16≠0 wird X(ℝ)≠∅ bewiesen.

Anwendung (Proposition 8.5): Für d>3 existiert eine über ℝ definierte K3-Fläche mit Picard-Gitter 2 d+1 2d, erzeugt durch zwei reichhaltige Klassen.

Experimentelle Einrichtung

Rechenwerkzeuge

Diese Arbeit verwendet das Magma-Computeralgebra-System für numerische Verifikation und Konstruktion. Der gesamte Code ist öffentlich verfügbar unter: https://github.com/danielplatt/quartic-k3-with-involution

Verifikationsmethoden

Berechnung der Picard-Zahl-Obergrenze (§2.3):

1. Wähle gute Reduktionsprimes p
2. Berechne die Picard-Zahl der reduzierten Fläche X_p
3. Nutze die Einbettung PicX_C → PicX_{p,F̄_p} zur Obergrenze
4. Verwende das charakteristische Polynom des Frobenius-Automorphismus und die Tate-Vermutung (bewiesen durch Kim-Pera)

Konkrete Implementierung:

• Für K3-Flächen vom Grad 2: Verwende die eingebaute Magma-Funktion von Elsenhans-Jahnel
• Verifikationsstrategie: Berechne an verschiedenen Primes und nutze unterschiedliche Diskriminanten-Reste zur Ausschließung hoher Picard-Zahlen

Datensätze

Diese Arbeit beinhaltet keine Datensätze im traditionellen Sinne, sondern konstruiert spezifische algebraisch-geometrische Objekte. Jedes Beispiel wird verifiziert durch:

1. Definition der Gleichung
2. Verifikation der Glattheit
3. Berechnung der Picard-Zahl
4. Verifikation der Existenz von Involutionen

Experimentelle Ergebnisse

Hauptergebnisse

Vollständiger Beweis von Satz 1.1:

• d=1: Beispiel 3.4 gibt ρ=1-Beispiel (Picard-Gitter ⟨2⟩)
• d≥2: Kondōs elliptische K3-Fläche X₆₆ realisiert ρ=2 für alle d>1 (Picard-Gitter U=0 1 0)

Verifikation neuer Beispiele:

1. Beispiel 3.4 (X₂, Grad 2):
   • Picard-Gitter: ⟨2⟩ (ρ=1)
   • Verifikation: rank(PicX₂,₅)=rank(PicX₂,₁₃)=2, aber detPicX₂,₅≢detPicX₂,₁₃ mod Q²
   • Schlussfolgerung: ρ(X₂)=1
2. Beispiel 4.7 (singuläre Quartik, Grad 2d):
   • Picard-Gitter: 4 0 -2 (ρ=2)
   • Verifikation: Reduktion modulo 5 zeigt ρ=2
   • Realisierbare Grade: d∈{7,14,17,23,31,34,41,46,47,49,62,71,73,79,82,89,94,97,98,...} (2 ist quadratischer Rest modulo d)
3. Beispiel 6.1 (X₄, Grad 4):
   • Picard-Gitter: 4 5 2 (ρ=2)
   • Enthält Kurve C vom Grad 5 und Geschlecht 2
   • Verifikation: Reduktion modulo 2 zeigt ρ≤2
   • Involution: ι*(H)=-H+5C, ι*(C)=C
4. Beispiel 7.1 (X₆, Grad 6):
   • Picard-Gitter: 6 6 2 (ρ=2)
   • Enthält Kurve C₆ vom Grad 6 und Geschlecht 2
   • Verifikation: Reduktion modulo 7 zeigt ρ≤2
   • Nicht repräsentierbar: d≡4 mod 6 (insbesondere kann nicht als Schnitt einer Quadrik und Kubik in ℙ⁴ eingebettet werden)
5. Proposition 8.5 (Grad 2d, d>3):
   • Picard-Gitter: 2 d+1 2d (ρ=2)
   • Definitionsbereich: reelle Zahlen ℝ
   • Enthält keine -2-Klasse (wenn d>3), daher reichhaltiger Kegel = positiver Kegel

Technische Verifikationen

Negatives Resultat von Proposition 5.5: Wenn eine Quartik X⊂ℙ³ eine lineare Involution ι:ℙ³→ℙ³ mit ι(X)=X besitzt, dann ρ(X)≥8. Dies zeigt, dass die Involution in Beispiel 6.1 nicht durch eine lineare Involution induziert werden kann.

Lemma 5.6: Für die Situation von Proposition 5.2 ist die Wirkung der Involution auf dem Picard-Gitter:

• ι*(C)=C
• ι*(H)=-H+eC

Effektivität der Konstruktionsmethoden

Bemerkungen 6.5 und 7.7: Bieten systematische Konstruktionsmethoden, die es ermöglichen, zufällig weitere Beispiele zu generieren. Die Magma-Dateien ConstructionQuartic und ConstructionK3Degree6 implementieren diese Konstruktionen.

Verwandte Arbeiten

Grundlagen der K3-Flächentheorie

1. Huybrechts 12: Standardlehrbuch für K3-Flächen mit Grundlagen zu Picard-Gittern, Periodenbereichen und Torelli-Sätzen
2. Kondō 18: Monographie über K3-Flächen, besonders zur Klassifikation von Automorphismen und Involutionen

Klassifikation von Involutionen

3. Nikulin 22, 24:
   • Satz 2.6: Symplektische Involutionen haben 8 isolierte Fixpunkte, ρ≥9
   • Klassifikation nicht-symplektischer Involutionen: Fixpunktmenge ist leer, zwei elliptische Kurven oder gemischte Kurven, führt zu ρ≥10 oder ρ≥11-p_a(C)+k
4. Artebani-Sarti-Taki 1: Beweisen, dass das mit der Fixpunktmenge verbundene Gitter L₊ im Picard-Gitter enthalten ist

Picard-Zahl-Berechnung

5. Elsenhans-Jahnel 7, 8, 9:
   • Geben erste Beispiele mit d=1, ρ=1
   • Entwickeln Methoden zur Berechnung von Weil-Polynomen für K3-Flächen vom Grad 2
   • Magma-Implementierung zur Berechnung der Picard-Zahl reduzierter Flächen
6. van Luijk 34: Praktische Methode zur Berechnung charakteristischer Polynome durch Punktzählung
7. Charles 4, Kim-Pera 15: Beweis und Verfeinerung der Tate-Vermutung

Kurven und Quartiken

8. Mori 20, Knutsen 16: Satz 5.1 zur Existenz von Kurven auf Quartiken
9. Bini 3: Berechnung der Automorphismengruppe von K3-Flächen mit Picard-Gitter 4 0 -2 (Proposition 4.1)

Reelle K3-Flächen

10. Morrison 21: Beweis, dass Gitter vom Rang ≤10 als Picard-Gitter komplexer K3-Flächen realisiert werden können
11. Silhol 33: Theorie reeller algebraischer Flächen, besonders Satz 8.1 zum Diskriminanzkriterium
12. Nikulin-Saito 25, 26: Modulräume reeller K3-Flächen und Klassifikation von Zusammenhangskomponenten

Geometrische Anwendungen

13. Joyce-Karigiannis 14: Konstruktion von G₂-Mannigfaltigkeiten durch Aufblasung von K3-Flächen
14. Kovalev-Lee 19: Alternative Konstruktion von G₂-Mannigfaltigkeiten
15. Walpuski et al. 29, 35: Konstruktion von G₂-Instantonen aus Bündeln auf K3-Flächen

Position dieser Arbeit

Vorteile gegenüber bestehenden Arbeiten:

1. Systematik: Gibt explizite Konstruktionsmethoden für verschiedene Grade, nicht nur isolierte Beispiele
2. Berechenbarkeit: Stellt Magma-Code zur Verfügung, macht Konstruktionen wiederholbar
3. Theoretische Verschärfung: Verschärft Morrisons Resultat von ℂ zu ℝ mit Garantie Pic Y_C = Pic Y
4. Anwendungsorientierung: Adressiert explizit die Anforderungen der G₂-Geometrie

Schlussfolgerungen und Diskussion

Hauptschlussfolgerungen

1. Vollständige Charakterisierung: Satz 1.1 beantwortet vollständig die Frage nach der minimalen Picard-Zahl von K3-Flächen mit zwei Involutionen und gibt Realisierungen über ℚ.
2. Umfangreiche Beispielsammlung:
   • Grad 2: ρ=1-Beispiel (Beispiel 3.4)
   • Grad 4: ρ=2-Beispiel mit Picard-Gitter 4 5 2 (Beispiel 6.1)
   • Grad 6: ρ=2-Beispiel mit Picard-Gitter 6 6 2 (Beispiel 7.1)
   • Grad 2d (d>3): ρ=2-Beispiele mit Picard-Gitter 2 d+1 2d (Proposition 8.5)
   • Unendliche Familie: singuläre Quartiken realisieren ρ=2 für unendlich viele d (Proposition 4.4)
3. Theoretische Verschärfung: Korollar 8.3 verschärft Morrisons Resultat von den komplexen Zahlen auf die reellen Zahlen mit Garantie Pic Y_C = Pic Y.
4. Rechnerische Ressourcen: Stellt öffentlich verfügbaren Magma-Code zur Verfügung, der weitere Forschung unterstützt.

Einschränkungen

1. Unvollständige Abdeckung:
   • Für Grade 8, 10, 12 etc. werden keine expliziten Beispiele über ℚ gegeben
   • Die Methode mit singulären Quartiken hängt davon ab, dass 2 ein quadratischer Rest modulo d ist, schließt also viele d-Werte aus
   • Es gibt keine systematische Methode, um zu bestimmen, welche (d,ρ)-Paare über ℚ realisierbar sind
2. Zufälligkeit der Konstruktion:
   • Die Methoden in Bemerkungen 6.5 und 7.7 erfordern zufällige Generierung und Verifikation
   • Keine Schätzung der Erfolgswahrscheinlichkeit
   • Für spezifische Grade und Picard-Gitter ist nicht garantiert, dass ein Beispiel gefunden wird
3. Mangelnde Explizitheit der Involutionen:
   • Außer im Doppelüberlagerungs-Fall haben die meisten Involutionen keine explizite Formel
   • Das in Bemerkung 6.6 gegebene Nonet-Polynom ist zu komplex für praktische Berechnungen
   • Geometrische Beschreibung der Involution auf der Fixpunktmenge ist unzureichend
4. Unzureichende Verbindung zur G₂-Geometrie:
   • Obwohl die Motivation aus der G₂-Geometrie kommt, werden keine konkreten G₂-Mannigfaltigkeiten konstruiert
   • Keine Diskussion der entsprechenden G₂-Instantonen
   • Fehlende Verbindung zur Metrik-Degeneration
5. Einschränkungen des experimentellen Teils:
   • Nur endlich viele Beispiele werden verifiziert
   • Keine Statistiken zur Erfolgsrate verschiedener Konstruktionsmethoden
   • Fehlende Analyse der Effizienz der Picard-Zahl-Berechnung
6. Begrenzte theoretische Tiefe:
   • Der Beweis von Korollar 8.3 ist hauptsächlich technisch, fehlt tiefe geometrische Einsicht
   • Keine Diskussion der Modulraum-Struktur von Picard-Gittern
   • Keine Erklärung, warum bestimmte Picard-Gitter leichter zu realisieren sind

Auswirkungen

1. Beitrag zur algebraischen Geometrie:
   • Bereichert die Beispielsammlung von K3-Flächen
   • Korollar 8.3 verschärft das klassische Resultat von Morrison
   • Stellt neue Konstruktionstechniken zur Verfügung (z.B. die Pell-Gleichungs-Methode in Proposition 4.4)
2. Beitrag zur Differentialgeometrie:
   • Liefert Material für die Konstruktion von G₂-Mannigfaltigkeiten
   • Beispiele mit niedriger Picard-Zahl erleichtern das Studium von Metrik-Degeneration
   • Könnte neue G₂-Instanton-Konstruktionen inspirieren
3. Beitrag zur Computergestützten Zahlentheorie:
   • Magma-Code kann für weitere Computerexperimente verwendet werden
   • Anwendung von Modular-Reduktions-Techniken zeigt die Kraft rechnerischer Methoden
   • Kann als Benchmark für Algorithmen-Entwicklung dienen
4. Praktischer Wert:
   • Für Differentialgeometer: konkrete K3-Flächen für G₂-Geometrie
   • Für algebraische Geometer: Beispiele für Modulraum- und Degenerations-Studien
   • Für Computermathematiker: Benchmark für Algorithmen-Tests
5. Reproduzierbarkeit:
   • Code öffentlich auf GitHub verfügbar
   • Konstruktionsschritte detailliert
   • Verifikationsmethoden explizit
   • Ermöglicht anderen Forschern, die Ergebnisse zu verwenden und zu erweitern

Anwendungsszenarien

1. G₂-Mannigfaltigkeits-Konstruktion:
   • Joyce-Karigiannis-Aufblasungs-Methode
   • Kovalev-Lee-Twisted-Connected-Sum-Methode
   • Erfordert niedrige Picard-Zahl für Berechenbarkeit
2. G₂-Instanton-Forschung:
   • Konstruktion aus stabilen Bündeln auf K3-Flächen
   • Niedrige Picard-Zahl vereinfacht Stabilitätsprüfung
   • Kann für Modulraum-Kompaktifizierungs-Studien verwendet werden
3. Modulräume von K3-Flächen:
   • Studium von Modulräumen K3-Flächen mit Involutionen
   • Klassifikation von Zusammenhangskomponenten für verschiedene Picard-Gitter
   • Studium von Degenerations-Familien
4. Arithmetische Geometrie:
   • Studium rationaler Punkte
   • Studium von Galois-Wirkungen
   • Studium von Reduktionseigenschaften
5. Computergestützte algebraische Geometrie:
   • Algorithmen-Tests
   • Benchmark für symbolische Berechnungen
   • Verifikation von Picard-Zahl-Berechnungsmethoden
6. Lehre und Lernen:
   • Konkrete Beispiele für K3-Flächentheorie
   • Illustration der Beziehung zwischen Involutionen und Picard-Gittern
   • Demonstration von Computerverifikations-Techniken

Referenzen (Auswahl)

12 D. Huybrechts, Lectures on K3 surfaces, Cambridge Studies in Advanced Mathematics, vol. 158, 2016.

17 S. Kondō, Automorphisms of algebraic K3 surfaces which act trivially on Picard groups, J. Math. Soc. Japan 44 (1992), no. 1, 75–98.

18 S. Kondō, K3 surfaces, EMS Tracts in Mathematics, vol. 32, 2020.

21 D. R. Morrison, On K3 surfaces with large Picard number, Invent. Math. 75 (1984), no. 1, 105–121.

22 V. V. Nikulin, Finite groups of automorphisms of Kählerian K3 surfaces, Trudy Moskov. Mat. Obshch. 38 (1979), 75–137.

23 V. V. Nikulin, Integer symmetric bilinear forms and some of their geometric applications, Izv. Akad. Nauk SSSR Ser. Mat. 43 (1979), no. 1, 111–177.

33 R. Silhol, Real algebraic surfaces, Lecture Notes in Mathematics, vol. 1392, Springer-Verlag, Berlin, 1989.

Zusammenfassung: Dies ist eine hochwertige Arbeit in algebraischer Geometrie, die systematisch das Problem der minimalen Picard-Zahl von K3-Flächen mit zwei Involutionen untersucht. Die Hauptstärken der Arbeit liegen in der theoretischen Vollständigkeit, der Vielfalt der Konstruktionsmethoden, der Strenge der rechnerischen Verifikation und der Aufmerksamkeit für Anwendungen. Die Hauptschwächen liegen in der unvollständigen Abdeckung, der Zufälligkeit der Konstruktionen und der Tiefe der Verbindung zu Anwendungsbereichen (G₂-Geometrie). Die Arbeit leistet wichtige Beiträge zur algebraischen Geometrie, Differentialgeometrie und computergestützten Zahlentheorie, und die bereitgestellten Codes und Beispiele werden anhaltende Auswirkungen auf nachfolgende Forschung haben.