$c_{\rm eff}$ from Surgery and Modularity

Technische Zusammenfassung von „$\widehat{Z}$ aus Chirurgie und Modularität“

Problemstellung
Die Arbeit befasst sich mit der Herausforderung, die $\widehat{Z}$-Invarianten für allgemeine geschlossene, orientierte 3-Mannigfaltigkeiten zu definieren und zu verstehen, wobei der Fokus auf positiv definiten gepumpten Mannigfaltigkeiten wie den Brieskorn-Homologie-Sphären $\Sigma(s, t, rst \pm 1)$ liegt. Während $\widehat{Z}$-Invarianten für negativ definite gepumpte Mannigfaltigkeiten über konvergente $q$-Serien streng definiert sind, bleibt ihre Erweiterung auf den positiv definiten Fall ein offenes Problem. Es existieren zwei primäre Vorschläge für diese Erweiterung:

1. Die regularisierte $+1/r$-Chirurgie-Vermutung: Kombination von Chirurgieformeln mit der False-Mock-Modular-Vermutung (Park; Cheng et al.), die postuliert, dass $\widehat{Z}$ für positiv definite Mannigfaltigkeiten mittels indefiniten Theta-Reihen und Mock-Modulformen ausgedrückt werden kann.
2. Der Resurgenz-Ansatz: Basierend auf der Borel-Summation des Chern-Simons-Pfadintegrals (Costin et al.), welche $\widehat{Z}$ mit einer Trans-Serien-Expansion unter Einbeziehung nicht-abelscher flacher Verbindungen in Beziehung setzt.

Die zentrale Frage ist, ob diese beiden Ansätze kompatible Ergebnisse liefern, insbesondere hinsichtlich der effektiven zentralen Ladung, $c_{\text{eff}}$, welche das asymptotische Wachstum der Koeffizienten der $\widehat{Z}$-Serie steuert. Physikalisch wird erwartet, dass $c_{\text{eff}}$ mit den Chern-Simons-Invarianten nicht-abelscher flacher Verbindungen auf der Mannigfaltigkeit zusammenhängt.

Methodik
Die Autoren verwenden einen facettenreichen Ansatz, der numerische Analyse, Modulformen-Theorie und Resurgenztechniken kombiniert, um $c_{\text{eff}}$ für die Klasse der Brieskorn-Sphären $\Sigma(s, t, rst \pm 1)$ zu berechnen und zu vergleichen.

1. Obere Schranken via Regularisierung: Die Autoren analysieren die konjekturelle regularisierte $+1/r$-Chirurgie-Formel. Sie beweisen, dass die Wachstumsrate der Koeffizienten (und somit die obere Schranke von $c_{\text{eff}}$) vollständig durch den Regularisierungsfaktor (speziell die Ramanujan-Theta-Funktion oder die Inverse der Dedekind-Eta-Funktion) bestimmt wird und nicht durch die spezifischen Knotendaten. Dies etabliert eine strikte obere Schranke für $c_{\text{eff}}$, die nur von der Chirurgie-Steigung $r$ abhängt.
2. Numerische Analyse: Unter Verwendung der ersten $10^4$ Terme der $q$-Serien-Expansion, die aus der Chirurgie-Formel abgeleitet wurde, schätzen die Autoren die unteren Schranken von $c_{\text{eff}}$ numerisch ab. Sie analysieren die Singularitätsstruktur der Serie auf dem Einheitskreis, um die dominanten Singularitäten zu bestimmen, welche das asymptotische Verhalten diktieren.
3. Modulare Vervollständigung und Mock-Modularität: Für die Unterklasse $\Sigma(s, t, str + 1)$, bei der die Invariante als gemischte Mock-Modulform bekannt ist, konstruieren die Autoren die modulare Vervollständigung von $\widehat{Z}$. Durch Durchführung der modularen $S$-Transformation zerlegen sie die Invariante in holomorphe und nicht-holomorphe Teile ($W(\tau)$, $Z_{G_{c_1}}$ und $Z_{G_{c_2}}$). Sie führen eine asymptotische Analyse dieser Komponenten durch, um exakte Werte für $c_{\text{eff}}$ abzuleiten.
4. Vergleich mit Resurgenz: Die abgeleiteten Werte aus dem modularen Ansatz werden mit Ergebnissen verglichen, die aus dem Resurgenz-Framework (speziell der Arbeit von Adams et al.) stammen, welches $c_{\text{eff}}$ basierend auf der Trans-Serien-Expansion assoziiert mit flachen Verbindungen vorhersagt.

Zentrale Beiträge und Ergebnisse

• Inkompatibilität der Vorschläge: Das Hauptergebnis ist, dass die regularisierte $+1/r$-Chirurgie-Vermutung und die auf Resurgenz basierende Trans-Serien-Expansion generisch inkompatibel sind. Für viele Brieskorn-Sphären liefern die beiden Methoden signifikant unterschiedliche Werte für $c_{\text{eff}}$.
• Verletzung der Chern-Simons-Relation: Die Arbeit zeigt, dass für mehrere Beispiele (z. B. $\Sigma(3, 4, 13)$, $\Sigma(3, 4, 11)$) das über die Chirurgie-Formel berechnete $c_{\text{eff}}$ nicht mit irgendeiner Chern-Simons-Invariante einer flachen Verbindung übereinstimmt. Speziell führt das berechnete $c_{\text{eff}}$ oft zu irrationalen oder nicht-ganzzahligen Parametern $m$ in der Relation $c_{\text{eff}} = 24(m^2/4st(rst \pm 1) - l)$, während das Resurgenz-Framework ganzzahlige Werte vorhersagt, die spezifischen flachen Verbindungen entsprechen.
• Exakte Werte via Mock-Modularität: Für die Klasse $\Sigma(s, t, str + 1)$ liefern die Autoren exakte analytische Ausdrücke für $c_{\text{eff}}$ unter Verwendung der modularen Vervollständigung der gemischten Mock-Modulform. Sie stellen fest, dass die modulare Analyse zwar mit numerischen Schätzungen übereinstimmt, aber häufig Werte produziert, die nicht zur erwarteten topologischen Interpretation passen (d. h. sie entsprechen nicht den Chern-Simons-Invarianten nicht-abelscher flacher Verbindungen).
• Singularitätsstruktur: Die Autoren identifizieren, dass für $r > 1$ die dominante Singularität der $\widehat{{Z}}$-Serie nicht immer bei $q=1$ liegt, sondern zu Einheitswurzeln wandern kann (z. B. $q = e^{-2\pi i 2/5}$ für $\Sigma(2, 3, 13)$), ein Merkmal, das in der asymptotischen Analyse berücksichtigt werden muss.
• Negativ definitiver Fall: Als komplementäres Ergebnis beweisen die Autoren, dass für negativ definite gepumpte Mannigfaltigkeiten die Koeffizienten von $\widehat{Z}$ polynomiell beschränkt sind, was impliziert, dass $c_{\text{eff}} \leq 1$ gilt (nach angemessener Normalisierung), was eine kohärente Baseline für den Vergleich bietet.

Bedeutung
Die Arbeit behauptet, dass $c_{\text{eff}}$ als ein sensitiver Sondierungsinstrument für die „positive Seite“ der $\widehat{Z}$-Theorie dient. Die Ergebnisse legen nahe, dass die aktuellen konjekturellen Definitionen von $\widehat{Z}$ für positiv definite Mannigfaltigkeiten – sei es via Chirurgie-Formeln oder Resurgenz – eine Verfeinerung erfordern könnten oder dass die Beziehung zwischen diesen Invarianten und der Chern-Simons-Theorie flacher Verbindungen subtiler ist als bisher angenommen. Die Inkompatibilität zwischen dem modularen und dem resurgenten Ansatz verdeutlicht eine Lücke im aktuellen Verständnis der modularen Struktur von $\widehat{Z}$-Invarianten auf der „positiven Seite“. Die Autoren kommen zu dem Schluss, dass diese Inkonsistenzen die Notwendigkeit einer umfassenderen Definition von $\widehat{Z}$ für allgemeine 3-Mannigfaltigkeiten unterstreichen und schlagen vor, dass die effektive zentrale Ladung ein entscheidendes Diagnosewerkzeug in diesem Bestreben ist.