We consider a definition of the Fukaya category of a singular hypersurface proposed by Auroux, given by localizing the Fukaya category of a nearby fiber at Seidel's natural transformation, and show that this possesses several desirable properties. Firstly, we prove an A-side analog of Orlov's derived Knörrer periodicity theorem by showing that Auroux's category is derived equivalent to the Fukaya-Seidel category of a higher-dimensional Landau-Ginzburg model. Secondly, we describe how this definition implies homological mirror symmetry for some large complex structure limit degenerations of abelian varieties.
- Papier-ID: 2012.09764
- Titel: Mirror symmetry and Fukaya categories of singular hypersurfaces
- Autor: Maxim Jeffs
- Klassifikation: math.SG (Symplektische Geometrie), math.AG (Algebraische Geometrie)
- Veröffentlichungsdatum: 3. Januar 2025 (arXiv-Version)
- Papier-Link: https://arxiv.org/abs/2012.09764
Dieses Papier untersucht die von Auroux vorgeschlagene Definition der Fukaya-Kategorie singulärer Hyperflächen, die durch Lokalisierung der Fukaya-Kategorie benachbarter Fasern bei der Seidel-Naturtransformation konstruiert wird. Der Autor beweist, dass diese Definition mehrere ideale Eigenschaften besitzt: Erstens wird das A-seitige Analogon von Orlovs abgeleitetem Knörrer-Periodizitätssatz bewiesen, der zeigt, dass die Auroux-Kategorie mit der Fukaya-Seidel-Kategorie höherdimensionaler Landau-Ginzburg-Modelle abgeleitet äquivalent ist; zweitens wird beschrieben, wie diese Definition homologische Spiegelsymmetrie in der großen komplexen Strukturgrenze bestimmter abelscher Varietäten impliziert.
Die homologische Spiegelsymmetrie (HMS) vermutet auf fundamentaler Ebene eine Beziehung zwischen der Fukaya-Kategorie einer Kähler-Mannigfaltigkeit Y und der Kategorie kohärenter Garben ihrer „Spiegelmannigfaltigkeit" Y̌. In vielen natürlichen Spiegelsymmetrie-Instanzen (etwa wenn Y nicht kompakt ist) ist die intrinsische Spiegelmannigfaltigkeit Y̌ jedoch typischerweise eine singuläre Varietät, und es fehlt eine prinzipielle Definition der Fukaya-Kategorie im singulären Fall.
- Spiegelsymmetrie höherdimensionaler Hosenhosen: Wichtige Beispiele umfassen höherdimensionale Hosenhosen Πₙ = {x₁ + ⋯ + xₙ₊₁ + 1 = 0} ⊆ (ℂ*)^(n+1), deren natürlich konstruierte Spiegelmannigfaltigkeit durch die singuläre Hyperfläche {z₁⋯zₙ₊₁ = 0} ⊆ ℂ^(n+1) gegeben ist.
- Bidirektionalitätsanforderung: Eine der Hauptanforderungen der Spiegelsymmetrie ist, dass die Spiegelmannigfaltigkeit der Spiegelmannigfaltigkeit die ursprüngliche Kähler-Mannigfaltigkeit sein sollte, d.h. HMS sollte in beide Richtungen gelten.
- Grundlage für Verklebungstechniken: Das Verständnis der Spiegelsymmetrie in solchen Fällen ist entscheidend für Methoden, die auf Verklebungstechniken zum Beweis von HMS angewiesen sind.
Obwohl erhebliche Fortschritte beim Verständnis der Spiegelsymmetrie glatter Kähler-Mannigfaltigkeiten erzielt wurden, gibt es außer im Orbifold-Fall wenig Forschung zur Spiegelsymmetrie des A-Modells singulärer Varietäten.
- Verifikation der Auroux-Definition: Beweis, dass die von Auroux vorgeschlagene Definition der Fukaya-Kategorie singulärer Hyperflächen tatsächlich die richtige Definition ist.
- Abgeleiteter Knörrer-Periodizitätssatz: Beweis des A-seitigen Analogons von Orlovs abgeleitetem Knörrer-Periodizitätssatz (Satz 1).
- Homologische Spiegelsymmetrie-Äquivalenzen: Etablierung mehrerer homologischer Spiegelsymmetrie-Äquivalenzen in der großen komplexen Strukturgrenze (Sätze 2 und 3).
- Erweiterung des theoretischen Rahmens: Erweiterung der Definition auf den Fall singulärer vollständiger Durchschnitte mit entsprechenden Vermutungen.
Für eine singuläre symplektische Faserung f : X → ℂ mit einer einzigen singulären Faser definiert Seidel eine Naturtransformation s : μ → id, wobei μ der Monodromie-Funktor im Uhrzeigersinn ist, der auf der wrapped Fukaya-Kategorie W(f⁻¹(t)) der generischen Faser wirkt.
Definition 1 (Auroux): Die wrapped Fukaya-Kategorie der singulären Faser f⁻¹(0) wird definiert als Lokalisierung der wrapped Fukaya-Kategorie benachbarter Fasern f⁻¹(t) bei der Naturtransformation s : μ → id:
DW(f⁻¹(0)) = DW(f⁻¹(t))s⁻¹
Satz 1 (Abgeleitete Knörrer-Periodizität): Sei X eine glatte affine Varietät mit Stein-Struktur, induziert durch Einbettung X → ℂᴺ, und f : X → ℂ die Einschränkung einer Polynomfunktion auf ℂᴺ. Wenn f eine einzige kritische Faser f⁻¹(0) hat, dann existiert für hinreichend kleine t ≠ 0 eine Quasi-Äquivalenz von A∞-Kategorien:
DᵖW(f⁻¹(t))s⁻¹ → DᵖW(X × ℂ, zf)
- Cap- und Cup-Funktoren: Einführung geometrisch definierter cap-Funktoren ∩ und cup-Funktoren ∪, die eine Verbindung zur Seidel-Naturtransformation herstellen.
- Upgrade der AAK-Äquivalenz: Beweis einer verbesserten Form der Abouzaid-Auroux-Katzarkov-Äquivalenz (Satz 4).
- Stoppage-Removal-Technik: Durch sorgfältige Analyse der Liouville-Geometrie der generischen Faser bei Variation von t wird der Prozess von (X × ℂ, z(f - t)) zu (X × ℂ, zf) als Stoppage-Removal umformuliert.
Beispiel 1: Standard-Lefschetz-Faserung
Betrachte X = ℂ² und f = xy, mit direkter Berechnung der Fukaya-Kategorie der Knotenkurve W({xy = 0}). Nach Lemma 3 muss man nur W({xy = t}) nach dem Bild von ∩ quotientieren.
Beispiel 2: Elliptische Kurven
Betrachte die Tate-Familie elliptischer Kurven, wobei f⁻¹(0) eine elliptische Kurve mit einem einzelnen Knoten ist. Mit bekannten Spiegelsymmetrie-Äquivalenzen wird die Spiegelsymmetrie zwischen der wrapped Fukaya-Kategorie der Knoten-elliptischen Kurve und der abgeleiteten Kategorie kohärenter Garben einer einfach gelochten elliptischen Kurve bewiesen.
- Strenge der Kategorienäquivalenz
- Konsistenz mit bekannten Ergebnissen
- Übereinstimmung mit geometrischer Intuition
- Fall höherdimensionaler Hosenhosen: Für das Landau-Ginzburg-Modell (ℂⁿ⁺¹, Wₙ = z₁⋯zₙ₊₁) wird bewiesen:
DᵖW(Wₙ⁻¹(0)) ≃ DᵖW(ℂⁿ⁺², z₁⋯zₙ₊₂) ≃ Dᵇ Coh(Πₙ)
- Verallgemeinerung elliptischer Kurven: Etablierung der Spiegelsymmetrie-Äquivalenz zwischen elliptischen Kurven mit n Löchern und m Knoten und solchen mit m Löchern und n Knoten.
Durch Vergleich mit B-seitigen Ergebnissen von Orlov wird die Korrektheit der A-seitigen Knörrer-Periodizität verifiziert, was die Effektivität der Methode demonstriert.
- Fukaya-Kategorientheorie: Arbeiten von Seidel, Abouzaid und anderen
- Spiegelsymmetrie: Kontsevichs homologische Spiegelsymmetrie-Vermutung
- Landau-Ginzburg-Modelle: Orlovs Knörrer-Periodizitätssatz
- Singularitätstheorie: Anwendungen in der symplektischen Geometrie
Im Vergleich zu verwandten Arbeiten gibt dieses Papier erstmals eine strenge Definition der Fukaya-Kategorie singulärer Hyperflächen und beweist deren Konsistenz mit dem glatten Fall.
- Die Auroux-Definition gibt tatsächlich die richtige Definition der Fukaya-Kategorie singulärer Hyperflächen
- Die abgeleitete Knörrer-Periodizität gilt auf der A-Seite
- Die homologische Spiegelsymmetrie in der großen komplexen Strukturgrenze wird verifiziert
- Geometrische Annahmen könnten zu stark sein, obwohl sie für Spiegelsymmetrie-Anwendungen ausreichend sind
- Idempotente Vervollständigung ist notwendig, damit die Ergebnisse gelten
- Die Verallgemeinerung auf singuläre vollständige Durchschnitte bleibt eine Vermutung
- Verallgemeinerung der Ergebnisse auf singuläre vollständige Durchschnitte
- Entwicklung intrinsischer Konstruktionsmethoden, die nicht von Glättung abhängen
- Verbindungen zu Log-Strukturen und Aufblasungs-Mannigfaltigkeitstheorie
- Theoretische Strenge: Bietet eine strenge mathematische Definition der Fukaya-Kategorie im singulären Fall
- Geometrische Intuition: Die Definition hat eine klare geometrische Erklärung und Motivation
- Breite Anwendbarkeit: Eröffnet neue Richtungen in der Spiegelsymmetrie-Forschung
- Technische Innovation: Entwickelt neue Techniken zur Behandlung von Singularitäten
- Technische Komplexität: Der Beweis beinhaltet umfangreiche technische Details, die die Lesbarkeit beeinträchtigen könnten
- Annahmebedingungen: Bestimmte geometrische Annahmen könnten die Allgemeinheit der Ergebnisse einschränken
- Rechenkomplexität: Praktische Berechnungen bleiben herausfordernd
Diese Arbeit bietet eine wichtige theoretische Grundlage für die Forschung in singulärer symplektischer Geometrie und wird voraussichtlich bedeutende Auswirkungen auf die Spiegelsymmetrie- und Fukaya-Kategorientheorie haben.
- Symplektische Geometrie singulärer Hyperflächen
- Spiegelsymmetrie in der großen komplexen Strukturgrenze
- Klassifikation von Landau-Ginzburg-Modellen
Das Papier zitiert Kernliteratur des Feldes, einschließlich:
- Grundlegende Arbeiten von Seidel zur Fukaya-Kategorie
- Orlovs Knörrer-Periodizitätssatz
- Forschung von Abouzaid-Auroux zur Spiegelsymmetrie
- Arbeiten von Gross-Siebert zu torischen Degenerationen
Gesamtbewertung: Dies ist ein hochqualitatives Papier mit wichtigen theoretischen Beiträgen im Bereich der symplektischen Geometrie und Spiegelsymmetrie, das eine solide mathematische Grundlage für das Verständnis der Fukaya-Kategorie im singulären Fall bietet.