Gopakumar-Vafa Invariants and Macdonald Formula

Technische Zusammenfassung: Gopakumar–Vafa-Invariante und Macdonald-Formel

Problemstellung
Die Arbeit befasst sich mit der Beziehung zwischen den Pandharipande–Thomas (PT) stabilen-Paar-Invarianten und den Gopakumar–Vafa (GV) Invarianten für Calabi–Yau-Mannigfaltigkeiten, wobei der Schwerpunkt auf lokalen Flächen (Totalräume der Kanonischen Bündel über del Pezzo-Flächen) liegt. Während die numerische PT/GV-Korrespondenz für irreduzible Kurvenklassen etabliert ist, bleiben die kohomologische Verfeinerung und das Verhalten über die vollständige Chow-Varietät (einschließlich nicht-reduzierter und reduzierbarer Zyklen) komplex. Konkret untersucht die Arbeit:

1. Die Gültigkeit einer kohomologischen Exponentialformel, die die PT-Direktbild-Reihe mit einem abgeleiteten konstruierbaren Chow-Exponential in Beziehung setzt.
2. Die Bedingungen, unter denen diese Formel von dem Locus reduzierter Kurven auf die vollständige Chow-Varietät erweitert werden kann, insbesondere im Hinblick auf das Fehlen von „nicht-reduzierten strikten Trägern“ in den PT-Verschwindungszyklen-Schichten.
3. Die präzisen geometrischen und schichttheoretischen Diskrepanzen zwischen der PT-Verschwindungszyklen-Schicht, dem Intersektionskomplex des relativen Hilbert-Schemas und der verschobenen konstanten Schicht des Inzidenzraums, insbesondere in Graden, in denen der stabile-Paar-Raum kein glatter relativer Hilbert-Schema mehr ist (z. B. Grad $d=2, n=4$).

Methodik
Der Autor verwendet einen abgeleiteten konstruierbaren Ansatz unter Verwendung von perversen Schichten, Verschwindungszyklen und der Theorie von $d$-kritischen Loci. Zentrale methodische Komponenten sind:

• Abgeleitetes konstruierbares Chow-Exponential: Die Arbeit definiert eine vervollständigte abgeleitete symmetrische Algebra über dem Chow-Monoid, bezeichnet als $\text{Exp}_{\text{Chow}}$, welche kohomologische Verschiebungen, Koszul-Vorzeichen und Permutations-Lokalsysteme beinhaltet.
• Trägerzerlegung: Die Analyse stützt sich auf die Trägerzerlegungssatz für relative Hilbert-Schemata (Migliorini–Shende–Viviani) und dessen Anpassung an die Chow-Varietät. Der Autor unterscheidet zwischen „Vollträger“-Termen (Macdonald-Termen) und „reduzierbaren“ Termen, die aus partiellen Normalisierungen nodaler Kurven resultieren.
• Nicht-reduzierter Träger-Bedingung (NR): Eine zentrale technische Bedingung, $(NR)_{\chi, \beta}$, wird formuliert. Sie besagt, dass keine einfache Konstituente der semisimplizierten PT-Direktabbildung einen Träger besitzt, der strikt in der nicht-reduzierten Locus der Chow-Varietät enthalten ist.
• Lokal-zu-Global-Analyse: Für die vollständige Ebene-Familie, die nicht global $H$-glatt ist, wendet der Autor versale lokale Berechnungen an generischen Partition-Strata und nutzt die Transversalität der Knoten-Glättung, um diese Ergebnisse auf das lineare System zu übertragen.
• Geometrie kritischer Loci: Im spezifischen Fall des Grades $(2,4)$ führt die Arbeit eine detaillierte schematische Analyse des stabilen-Paar-Raums durch, indem sie diesen als Vereinigung einer Null-Schnitt-Inzidenzkomponente und einer „Ferrand-Ribbon“-Komponente identifiziert. Sie nutzt die duale Obstruktionskegel-Beschreibung von Toda und Kinjos Dimensionsreduktion, um die kritische Struktur zu analysieren.

Wesentliche Beiträge und Ergebnisse

1. Kohomologische PT/GV-Exponential-Konjektur:
   Die Arbeit formuliert die zentrale Konjektur (Konjektur 4.2), dass die normierte PT-Direktbild-Reihe $Z_{PT}(q, Q)$ isomorph zur Chow-Exponential der Macdonald-Komplexe $A_\beta(q)$ ist:
   $$Z_{PT}(q, Q) \cong \text{Exp}_{\text{Chow}} \left( \sum_{\beta} A_\beta(q) Q^\beta \right)$$
   Der Autor beweist, dass, falls diese Identität auf dem reduzierten Chow-Locus gilt, sie auf die vollständige Chow-Varietät erweitert wird, wenn und nur wenn die nicht-reduzierte Träger-Bedingung $(NR)_{\chi, \beta}$ für alle Koeffizienten erfüllt ist.

2. Reduktion auf reduzierte Loci und minimale Erweiterungen:
   Die Arbeit stellt fest, dass die Koeffizienten der Chow-Exponential semisimpel sind und über die perverse minimale Erweiterung vom reduzierten Chow-Locus wiederhergestellt werden können. Folglich ist die globale Identität äquivalent zum Verschwinden der „nicht-reduzierten strikten Träger“-Terme im PT-Direktbild. Dies liefert eine präzise schichttheoretische Interpretation der numerischen KKV-Rekursion.

3. Vergleich von Stabilen Paaren und relativem Hilbert-Schema:
   Für lokales $\mathbb{P}^2$ und $0 \le n \le d+1$ beweist die Arbeit, dass der stabile-Paar-Moduli-Raum isomorph zum glatten relativen Hilbert-Schema ist und die PT-Verschwindungszyklen-Schicht isomorph zum Intersektionskomplex dieses Hilbert-Schemas ist. Dies bestätigt die Bedingung $(Hilb)_{d,n}$ und die nicht-reduzierte Träger-Bedingung $(NR)_{d,n}$ in diesem Bereich.

• Theorem 1.2: Identifiziert den ersten reduzierbaren Summanden für $d \ge 3$ und $n=d-1$ als den Intersektionskomplex des Abschlusses der Locus einer Grad-$(d-1)$ Kurve plus einer Geraden.

4. Del Pezzo-Berechnungen:
   Die Arbeit berechnet Vollträger-Macdonald-Koeffizienten für lokales $\mathbb{P}^1 \times \mathbb{P}^1$ (Klasse $(2,3)$) und aggregierte Koeffizienten für del Pezzo-Flächen $S_r$ ($5 \le r \le 8$) in antikanonischer Gradzahl. Diese Berechnungen verifizieren die KKV-Rekursion in diesen spezifischen Fällen.

5. Grad-$(2,4)$-Analyse und die „Inzidenz-Korrektur“:
   Die Arbeit bietet eine detaillierte Analyse des ersten Falles ($d=2, n=4$), in dem der stabile-Paar-Raum kein glatter relativer Hilbert-Schema ist.

• Geometrie: Der Raum $M$ wird als die schematische Vereinigung der Inzidenzkomponente $Y$ (glatter relativer Hilbert-Schema) und einer Ribbon-Komponente $R$ (Ferrand-Ribbons) gezeigt.
• Kritische Struktur: Der vervollständigte Keim von $M$ entlang des Schnitts wird als $\mathbb{A}^6 \times \text{Crit}(c(x_1x_2 + x_3x_4))$ identifiziert.
• Schichttheorie: Die Arbeit konstruiert ein „Grad-zwei-Anschlussdreieck“, das die Direktbilder der konstanten Schicht auf $Y$, die PT-Verschwindungszyklen-Schicht auf $M$ und den Intersektionskomplex des nicht-reduzierten Locus (Doppellinien) in Beziehung setzt.
• Konjektur 8.15/8.18: Die Arbeit vermutet, dass das PT-Direktbild keine Konstituenten mit striktem Träger auf dem nicht-reduzierten Locus (Doppellinien) besitzt, während der Intersektionskomplex der Hilbert-Seite eine Lefschetz-String enthält. Der Unterschied ist eine einzelne primitive Konstituente (der Intersektionskomplex des Doppellinien-Locus), die durch eine spezifische Morphismen $\kappa_2$ entfernt wird. Dies liefert eine perverse-Schichten-Erklärung für den KKV-Korrekturterm.

Bedeutung und Ansprüche
Die Arbeit beansprucht, einen rigorosen schichttheoretischen Rahmen für die PT/GV-Korrespondenz zu liefern, der über numerische Invarianten hinausgeht. Ihre Bedeutung liegt in:

• Klärung der Rolle nicht-reduzierter Zyklen: Sie isoliert die präzise schichttheoretische Obstruktion (nicht-reduzierte strikte Träger), die die naive Erweiterung der Macdonald-Formel von reduzierten Kurven auf die vollständige Chow-Varietät verhindert.
• Verfeinerung der KKV-Rekursion: Sie interpretiert die KKV-Korrekturterme nicht bloß als kombinatorische Subtraktionen, sondern als Entfernung spezifischer perverser Konstituenten (Intersektionskomplexe nicht-reduzierter Strata) aus dem Hilbert-seitigen Direktbild, um das PT-Direktbild zu erhalten.
• Schematische Präzision: Durch die Analyse des Grad-$(2,4)$-Falls zeigt die Arbeit, dass die Euler-Charakteristik des singulären Inzidenzraums nicht ausreicht, um die PT-Invarianten zu bestimmen; die spezifische Geometrie des kritischen Locus und das Anfügen der Ribbon-Komponente sind essenziell.
• Vereinheitlichung: Sie vereint die Macdonald-Formel, die KKV-Rekursion und die Verschwindungszyklen-Theorie von $d$-kritischen Loci in einen einzigen kohomologischen Exponential-Rahmen, unter der Voraussetzung der Gültigkeit der nicht-reduzierten Träger-Bedingung.

Die Arbeit behauptet nicht, die vollständige Konjektur für alle Grade bewiesen zu haben, sondern etabliert die notwendigen Bedingungen, verifiziert sie im „glatten Inzidenzbereich“ sowie in spezifischen Niedriggrad-Beispielen und formuliert präzise Konjekturen für höhere Grade und das allgemeine nicht-reduzierte Verhalten.