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

Technische Samenvatting van "$\widehat{Z}$ van Chirurgie en Modulariteit"

Probleemstelling
Het artikel behandelt de uitdaging van het definiëren en begrijpen van $\widehat{Z}$-invarianten voor algemene gesloten, georiënteerde 3-variëteiten, met een specifieke focus op positief definitieve geplumbde variëteiten zoals Brieskorn-homologie-sferen $\Sigma(s, t, rst \pm 1)$. Hoewel $\widehat{Z}$-invarianten rigoureus gedefinieerd zijn voor negatief definitieve geplombde variëteiten via convergente $q$-reeksen, blijft de uitbreiding naar het positief definitieve geval een openstaand probleem. Er bestaan twee primaire voorstellen voor deze uitbreiding:

1. De Reguliere $+1/r$-Chirurgie Conjectuur: Het combineren van chirurgieformules met de false-mock modulariteitsconjectuur (Park; Cheng et al.), die stelt dat $\widehat{Z}$ voor positief definitieve variëteiten uitgedrukt kan worden via indefinitieve theta-reeksen en mock modulaire vormen.
2. De Resurgentie-benadering: Gebaseerd op Borel-resummatie van de Chern–Simons padintegraal (Costin et al.), die $\widehat{Z}$ relateert aan een trans-serie expansie met niet-abelse vlakke verbindingen.

De centrale vraag is of deze twee benaderingen compatibele resultaten opleveren, met name met betrekking tot de effectieve centrale lading, $c_{\text{eff}}$, die de asymptotische groei van de coëfficiënten van de $\widehat{Z}$-reeks bepaalt. Fysisch gezien wordt verwacht dat $c_{\text{eff}}$ gerelateerd is aan de Chern–Simons-invarianten van niet-abelse vlakke verbindingen op de variëteit.

Methodologie
De auteurs hanteren een veelzijdige aanpak waarbij numerieke analyse, modulaire vormtheorie en resurgentietechnieken worden gecombineerd om $c_{\text{eff}}$ te berekenen en te vergelijken voor de klasse van Brieskorn-sferen $\Sigma(s, t, rst \pm 1)$.

1. Bovengrenzen via Regularisatie: De auteurs analyseren de conjecturale geregulariseerde $+1/r$-chirurgieformule. Ze bewijzen dat de groeisnelheid van de coëfficiënten (en dus de bovengrens van $c_{\text{eff}}$) volledig wordt bepaald door de regularisatiefactor (specifiek de Ramanujan-thetafunctie of de inverse van de Dedekind-etafunctie) in plaats van door de specifieke knoopdata. Dit vestigt een strikte bovengrens voor $c_{\text{eff}}$ die enkel afhankelijk is van de chirurgie-helling $r$.
2. Numerieke Analyse: Met behulp van de eerste $10^4$ termen van de $q$-reeks expansie afgeleid uit de chirurgieformule, schatten de auteurs de ondergrenzen van $c_{\text{eff}}$ numeriek in. Ze analyseren de singulariteitsstructuur van de reeks op de eenheidscirkel om de dominante singulariteiten te bepalen, die de asymptotische gedragingen dicteren.
3. Modulaire Voltooiing en Mock Modulariteit: Voor de subklasse $\Sigma(s, t, str + 1)$, waar de invariant bekend is als een mixed mock modulaire vorm, construeren de auteurs de modulaire voltooiing van $\widehat{Z}$. Door de modulaire $S$-transformatie uit te voeren, ontleden ze de invariant in holomorfe en niet-holomorfe delen ($W(\tau)$, $Z_{G_{c_1}}$, en $Z_{G_{c_2}}$). Ze voeren een asymptotische analyse uit van deze componenten om exacte waarden voor $c_{\text{eff}}$ af te leiden.
4. Vergelijking met Resurgentie: De afgeleide waarden uit de modulaire benadering worden vergeleken met resultaten verkregen uit het resurgentiekader (specifiek het werk van Adams et al.), dat $c_{\text{eff}}$ voorspelt op basis van de trans-serie expansie geassocieerd met vlakke verbindingen.

Kernbijdragen en Resultaten

• Incompatibiliteit van Voorstellen: Het primaire resultaat is dat de geregulariseerde $+1/r$-chirurgieconjectuur en de resurgentie-gebaseerde trans-serie expansie generiek incompatibel zijn. Voor veel Brieskorn-sferen leveren de twee methoden significant verschillende waarden voor $c_{\text{eff}}$ op.
• Schending van de Chern–Simons Relatie: Het artikel demonstreert dat voor verschillende voorbeelden (bijv. $\Sigma(3, 4, 13)$, $\Sigma(3, 4, 11)$), de via de chirurgieformule berekende $c_{\text{eff}}$ niet overeenkomt met enige Chern–Simons-invariant van een vlakke verbinding. Specifiek leidt de berekende $c_{\text{eff}}$ vaak tot irrationele of niet-gehele parameters $m$ in de relatie $c_{\text{eff}} = 24(m^2/4st(rst \pm 1) - l)$, terwijl het resurgentiekader gehele waarden voorspelt die corresponderen met specifieke vlakke verbindingen.
• Exacte Waarden via Mock Modulariteit: Voor de klasse $\Sigma(s, t, str + 1)$ bieden de auteurs exacte analytische expressies voor $c_{\text{eff}}$ met behulp van de modulaire voltooiing van de mixed mock modulaire vorm. Ze stellen vast dat hoewel de modulaire analyse overeenkomt met numerieke schattingen, deze frequent waarden produceert die niet passen bij de verwachte topologische interpretatie (d.w.z. ze komen niet overeen met de Chern–Simons-invarianten van niet-abelse vlakke verbindingen).
• Singulariteitsstructuur: De auteurs identificeren dat voor $r > 1$ de dominante singulariteit van de $\widehat{Z}$-reeks niet altijd bij $q=1$ ligt, maar kan verschuiven naar eenhedenwortels (bijv. $q = e^{-2\pi i 2/5}$ voor $\Sigma(2, 3, 13)$), een kenmerk dat moet worden meegenomen in de asymptotische analyse.
• Negatief Definitief Geval: Als complementair resultaat bewijzen de auteurs dat voor negatief definitieve geplombde variëteiten de coëfficiënten van $\widehat{Z}$ polynomiaal begrensd zijn, wat impliceert dat $c_{\text{eff}} \leq 1$ (na passende normalisatie), wat een coherente baseline biedt voor vergelijking.

Betekenis
Het artikel stelt dat $c_{\text{eff}}$ dient als een gevoelige sonde voor de "positieve zijde" van de $\widehat{Z}$-theorie. De bevindingen suggereren dat de huidige conjecturale definities van $\widehat{Z}$ voor positief definitieve variëteiten — of het nu via chirurgieformules of resurgentie is — mogelijk verfijning vereisen, of dat de relatie tussen deze invarianten en de Chern–Simons-theorie van vlakke verbindingen subtieler is dan voorheen aangenomen. De incompatibiliteit tussen de modulaire en de resurgente benadering benadrukt een kloof in het huidige begrip van de modulaire structuur van $\widehat{Z}$-invarianten aan de "positieve zijde". De auteurs concluderen dat deze inconsistenties onderstrepen dat er behoefte is aan een meer uitgebreide definitie van $\widehat{Z}$ voor algemene 3-variëteiten en suggereren dat de effectieve centrale lading een cruciaal diagnostisch instrument is in dit streven.