2025-11-19T03:19:14.085954

Relative mirror symmetry for non-Fano varieties

You

Given a smooth projective variety $X$ with a smooth anticanonical divisor $D$, we study mirror symmetry for the log Calabi--Yau pair $(X,D)$ without assuming that $D$ is nef. We consider the mirror proper Landau--Ginzburg model $(\check X,W)$ from the intrinsic mirror construction of Gross--Siebert. We examine the relationship between the regularized quantum period of $X$ and the classical period of $W$, and identify the discrepancy between them as originating from curve counts in $D$, governed by the mirror map associated with $D$. We also obtain an explicit formula for the proper potential $W$ that encodes this discrepancy. In the end, we show that the quantum period, together with the mirror map, gives exactly the same information as the proper potential.

academic

Relative Spiegelsymmetrie für nicht-Fano-Varietäten

Grundinformationen

Papier-ID: 2510.13027
Titel: Relative mirror symmetry for non-Fano varieties
Autor: Fenglong You (University of Nottingham)
Klassifizierung: math.AG (Algebraische Geometrie)
Veröffentlichungsdatum: 16. Oktober 2025 (arXiv-Preprint)
Papier-Link: https://arxiv.org/abs/2510.13027

Zusammenfassung

In diesem Artikel wird die Spiegelsymmetrie für logarithmische Calabi-Yau-Paare $(X,D)$ untersucht, die aus einer glatten projektiven Varietät $X$ und ihrem glatten antikanonischen Divisor $D$ bestehen, insbesondere ohne die Annahme, dass $D$ nef ist. Der Autor betrachtet das gespiegelte echte Landau-Ginzburg-Modell $(\check{X},W)$ aus der intrinsischen Spiegelkonstruktion von Gross-Siebert und untersucht die Beziehung zwischen der regularisierten Quantenperiode von $X$ und der klassischen Periode von $W$ . Der Artikel identifiziert, dass die Differenz zwischen ihnen von Kurvenzählungen in $D$ herrührt, die durch die mit $D$ verbundene Spiegelabbildung kontrolliert werden. Der Artikel leitet auch eine explizite Formel für die echte Potentialfunktion $W$ her, die diese Differenz kodiert, und beweist schließlich, dass die Quantenperiode zusammen mit der Spiegelabbildung genau die gleiche Information wie die echte Potentialfunktion liefert.

Forschungshintergrund und Motivation

Problemhintergrund

Einschränkungen der klassischen Spiegelsymmetrie: Die traditionelle Spiegelsymmetrietheorie konzentriert sich hauptsächlich auf Fano-Varietäten, bei denen der antikanonische Divisor $-K_X$ nef ist. Viele wichtige geometrische Objekte erfüllen diese Bedingung jedoch nicht.
Anforderung von Tyurin-Degenerationen: Bei der Untersuchung von Tyurin-Degenerationen von Calabi-Yau-Varietäten treten zwei logarithmische Calabi-Yau-Paare $(X_1,D)$ und $(X_2,D)$ auf, bei denen $-K_{X_1}$ und $-K_{X_2}$ nicht notwendigerweise nef sind. Diese Varietäten werden als quasi-Fano-Varietäten bezeichnet.
Konkretes Beispiel: Ein wichtiges Beispiel ist die Tyurin-Degeneration einer glatten quintischen Dreifaltigkeit $Q_5$ : $Q_5 \rightsquigarrow Q_4 \cup_{K3} \text{Bl}_C \mathbb{P}^3$ wobei $\text{Bl}_C \mathbb{P}^3$ die Aufblasung von $\mathbb{P}^3$ entlang eines vollständigen Schnitts $C$ ist, die nicht Fano ist.

Forschungsmotivation

Theoretische Vollständigkeit: Um die Spiegelsymmetrie von Tyurin-Degenerationen zu verstehen, ist es notwendig, die relative Spiegelsymmetrie für logarithmische Calabi-Yau-Paare zu untersuchen, bei denen $-K_{X_i}$ nicht nef ist.
Technische Herausforderungen: Wenn $D$ nicht nef ist, gelten die traditionellen Spiegelsymmetrieformeln nicht mehr, und es ist ein neuer theoretischer Rahmen erforderlich, um zusätzliche Degenerationsbeiträge zu behandeln.

Kernbeiträge

Verallgemeinerung des relativen Spiegeltheorems: Das relative Spiegeltheorem wird auf den Fall verallgemeinert, in dem $D$ nicht nef ist, und es werden explizite Spiegelformeln etabliert.
Identifikation der Differenz zwischen Quantenperiode und klassischer Periode: Es wird bewiesen, dass die Differenz zwischen der regularisierten Quantenperiode und der klassischen Periode, wenn $D$ nicht nef ist, von Kurvenzählungen herrührt, die auf den Divisor $D$ abgebildet werden.
Explizite Formel für die echte Potentialfunktion: Eine explizite Ausdrucksform für die echte Potentialfunktion $W$ wird bereitgestellt, die die oben genannte Differenz kodiert.
Etablierung einer Äquivalenz: Es wird bewiesen, dass die Quantenperiode zusammen mit der Spiegelabbildung genau die gleiche Information wie die echte Potentialfunktion liefert.
Exakte Ergebnisse unter Dimensionsbeschränkungen: In den 2- und 3-dimensionalen Fällen wird bewiesen, dass die klassische Periode immer noch mit der regularisierten Quantenperiode übereinstimmt.

Methodische Erläuterung

Aufgabendefinition

Untersuchen Sie die Spiegelsymmetrie für logarithmische Calabi-Yau-Paare $(X,D)$ , die aus einer glatten projektiven Varietät $X$ und ihrem glatten antikanonischen Divisor $D$ bestehen, ohne die Annahme, dass $D$ nef ist. Das Ziel ist es, die Beziehung zwischen Quantenperiode, klassischer Periode und echter Potentialfunktion zu verstehen.

Theoretischer Rahmen

1. Relative Gromov-Witten-Theorie

Der Artikel verwendet die 0-Genus-relative Gromov-Witten-Theorie mit negativen Kontaktordnungen. Für den topologischen Typ $\Gamma = (0,m,\beta,\vec{k})$ , wobei:

$0$ das Geschlecht 0 bezeichnet
$m$ die Anzahl der markierten Punkte ist
$\beta \in NE(X)$ die Kurveklasse ist
$\vec{k} = (k_1,\ldots,k_m) \in \mathbb{Z}^m$ die Kontaktordnungen sind, die $\sum_{i=1}^m k_i = D \cdot \beta$ erfüllen

Die relativen Gromov-Witten-Invarianten werden definiert als: $\langle \prod_{i=1}^m \tau_{a_i}(\alpha_i) \rangle_{(X,D)}^\Gamma = \int_{c_\Gamma(X/D)} \prod_{i=1}^m \psi_i^{a_i} \text{ev}_i^* \alpha_i$

2. Zerlegung der Spiegelabbildung

Wenn $D$ nicht nef ist, treten zwei Arten von Spiegelabbildungen auf:

Spiegelabbildung in $D$ : Stammt aus dem relativen-lokalen Modell $(Y,D_0)$ , wobei $Y = \mathbb{P}(O_D \oplus N_D)$ und $D_0$ der Nulldivisor ist. Die Spiegelabbildung hat die Form: $\tau_D(y,z) = \sum_{k \geq 0, \delta \in H^*(D), \beta \in NE(D)} \tau_{D,\delta,k,\beta}(\iota_* \delta) z^k y^\beta$

Relative Spiegelabbildung: Gegeben durch den $z^0$ -Koeffizienten der relativen I-Funktion: $\tau(y) = \sum_{i=1}^r p_i \log y_i + \sum_{\beta \in NE(X), d=D \cdot \beta \geq 2} \left[ \sum_{l \geq 0, \beta' \in NE(X)} \frac{1}{l!} \langle [\text{pt}] \psi^{d-2}, \tau_D, \ldots, \tau_D \rangle_{0,1+l,\beta'}^X y^{\beta'} \right] \frac{y^\beta}{(d-1)!} [1]_{-d}$

3. Relative I-Funktion

Für ein glattes logarithmisches Calabi-Yau-Paar ist die relative I-Funktion: $I_{(X,D)}(y, \tau_D(y,z), z) = \sum_{\beta \in NE(X)} J_{X,\beta}(\tau_D(y,z), z) y^\beta \frac{\prod_{a \leq D \cdot \beta}(D + az)}{\prod_{a \leq 0}(D + az)} \prod_{\text{if } D \cdot \beta > 0} \frac{1}{D + (D \cdot \beta)z} [1]_{-D \cdot \beta}$

Hauptsätze

Satz 1 (nef-Fall)

Wenn $X$ eine glatte projektive Varietät ist, $D$ ein glatter antikanonischer Divisor ist und $D$ nef ist, dann stimmt die durch die echte Potentialfunktion $W$ definierte klassische Periode mit der regularisierten Quantenperiode von $X$ überein.

Satz 2 (allgemeiner Fall)

Wenn $D$ nicht notwendigerweise nef ist, stimmt die klassische Periode nach Anwendung der Spiegelabbildung in $D$ mit der regularisierten Quantenperiode überein: $\sum_{n \geq 0} [W^n]\vartheta_0 = 1 + \sum_{d \geq 2} \sum_{\beta \in NE(X), D \cdot \beta = d} (D \cdot \beta)! \left[ \sum_{l \geq 0, \beta' \in NE(X)} \frac{1}{l!} \langle [\text{pt}] \psi^{d-2}, \tau_D, \ldots, \tau_D \rangle_{0,l+1,\beta'}^X q^{\beta'} \right] q^\beta$

Satz 3 (Formel für echte Potentialfunktion)

$W = x + \sum_{n=1}^\infty \sum_{\beta: D \cdot \beta = n+1} n \langle [1]_1, [\text{pt}]_n \rangle_{0,2,\beta}^{(X,D)} t^\beta x^{-n} = x \exp(g(y(q)))$ wobei $g(y)$ durch absolute Invarianten und Spiegelabbildung definiert wird.

Technische Innovationspunkte

1. Neue Methode zur Behandlung des nicht-nef-Falls

Identifikation zusätzlicher Beitragsterme durch Degenerationsanalyse
Etablierung der Verbindung zwischen diesen Beiträgen und der Spiegelabbildung in $D$

2. Identitäten für relative Gromov-Witten-Invarianten

Verallgemeinerung der Identitäten aus You24b auf den Fall, in dem $D$ nicht nef ist, einschließlich:

Berechnungsformeln für Invarianten mit negativen Kontaktordnungen
Äquivalenzbeziehungen unter verschiedenen Kontaktordnungskonfigurationen

3. Lagrange-Inversion und Bell-Polynome

Verwendung des Lagrange-Inversionssatzes und Bell-Polynom-Identitäten zum Beweis der Äquivalenz zwischen Quantenperiode und echter Potentialfunktion.

Experimentelle Ergebnisse

Exakte Ergebnisse unter Dimensionsbeschränkungen

Satz (2- und 3-dimensionale Fälle): Wenn $X$ eine glatte projektive Varietät der Dimension 2 oder 3 ist und $D$ ein glatter antikanonischer Divisor ist, dann stimmt die klassische Periode immer noch mit der regularisierten Quantenperiode überein.

Beweisidee: Wenn $D$ eine elliptische Kurve oder eine K3-Fläche ist, sind ihre 0-Genus-Gromov-Witten-Invarianten null, daher ist die Spiegelabbildung in $D$ trivial.

Konkretes Beispiel: Aufblasung von $\mathbb{P}^3$

Betrachten Sie die Aufblasung $\text{Bl}_C \mathbb{P}^3$ von $\mathbb{P}^3$ entlang eines vollständigen Schnitts $C$ , wobei $C$ der Schnitt einer quartischen und einer quintischen Hyperfläche ist.

Die I-Funktion ist: $z q_1^{H/z} q_0^{h/z} \sum_{d_1,d_0 \geq 0} \left( \frac{\prod_{k=1}^{4d_1+d_0}(4H + h + kz)}{\prod_{k=1}^{d_1}(H + kz)^4 \prod_{k=1}^{d_0}(h + kz)} \right) \left( \prod_{\text{if } d_0 > d_1} \frac{1}{h - H + (d_0-d_1)z} \right) [1]_{-d_0+d_1} q_1^{d_1} q_0^{d_0}$

Durch Berechnung können die entsprechenden Spiegelabbildungen und Periodenbeziehungen erhalten werden.

Schlussfolgerungen und Diskussion

Hauptschlussfolgerungen

Erfolgreiche Verallgemeinerung der relativen Spiegelsymmetrietheorie auf den nicht-Fano-Fall
Identifikation und Quantifizierung der Differenz zwischen Quantenperiode und klassischer Periode
Etablierung einer expliziten Berechnungsformel für die echte Potentialfunktion
Beweis der Äquivalenzbeziehungen zwischen verschiedenen geometrischen Größen

Einschränkungen

Technische Komplexität: Die Berechnung im nicht-nef-Fall ist erheblich komplexer und erfordert die Berücksichtigung zusätzlicher Degenerationsbeiträge
Dimensionsbeschränkungen: Obwohl es exakte Ergebnisse in niedrigen Dimensionen gibt, erfordern höherdimensionale Fälle immer noch Korrektionen der Spiegelabbildung
Rechnerische Herausforderungen: Die konkrete Berechnung der Spiegelabbildung in $D$ kann in praktischen Anwendungen sehr schwierig sein

Zukünftige Richtungen

Verallgemeinerung auf allgemeinere Fälle: Betrachtung komplexerer geometrischer Konfigurationen
Berechnungsmethoden: Entwicklung effektiverer Berechnungstechniken
Anwendungen: Anwendung dieser theoretischen Ergebnisse auf konkrete geometrische Probleme

Tiefgreifende Bewertung

Stärken

Theoretische Innovation: Erfolgreiche Behandlung eines wichtigen technischen Problems in der Spiegelsymmetrietheorie
Systematische Methode: Bereitstellung eines vollständigen theoretischen Rahmens und von Berechnungswerkzeugen
Tiefe der Ergebnisse: Offenlegung tieferer Verbindungen zwischen geometrischen Größen
Klare Darstellung: Angemessene Papierstruktur und ausreichende technische Details

Mängel

Rechnerische Komplexität: Die Berechnung in praktischen Anwendungen kann sehr schwierig sein
Begrenzte Beispiele: Relativ wenige Beispiele konkreter Berechnungen
Verallgemeinerbarkeit: Die Verallgemeinerbarkeit einiger Ergebnisse erfordert weitere Überprüfung

Einfluss

Theoretischer Beitrag: Wichtige Verallgemeinerung der Spiegelsymmetrietheorie
Technischer Wert: Die entwickelten Methoden könnten auf andere verwandte Probleme anwendbar sein
Anwendungsaussichten: Bereitstellung neuer Werkzeuge für die Untersuchung von Calabi-Yau-Varietäten-Degenerationen

Anwendungsszenarien

Spiegelsymmetrieforschung für quasi-Fano-Varietäten
Geometrische Analyse von Tyurin-Degenerationen
Anwendungen der relativen Gromov-Witten-Theorie
Untersuchung logarithmischer Calabi-Yau-Paare

Literaturverzeichnis

Der Artikel zitiert 33 verwandte Literaturquellen, hauptsächlich einschließlich:

GS19 Arbeiten von Gross-Siebert zur intrinsischen Spiegelsymmetrie
FWY20 Relative Gromov-Witten-Theorie mit negativen Kontaktordnungen
CCG+13 Spiegelsymmetrie für Fano-Mannigfaltigkeiten
You24b Frühere Arbeiten des Autors zur echten Potentialfunktion