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

Sintesi Tecnica di "$\widehat{Z}$ da Chirurgia e Modularità"

Problema
Il saggio affronta la sfida di definire e comprendere gli invarianti $\widehat{Z}$ per generiche varietà 3 chiuse e orientate, concentrandosi in particolare sulle varietà plumbed definite positive come le sfere di Brieskorn $\Sigma(s, t, rst \pm 1)$. Sebbene gli invarianti $\widehat{Z}$ siano rigorosamente definiti per le varietà plumbed definite negative tramite serie $q$ convergenti, la loro estensione al caso definite positive rimane un problema aperto. Esistono due proposte primarie per questa estensione:

1. La Congettura della Chirurgia Regolarizzata $+1/r$: Combinare le formule di chirurgia con la congettura della false-mock modularity (Park; Cheng et al.), la quale postula che $\widehat{Z}$ per varietà definite positive possa essere espresso tramite serie theta indefinite e forme mock modular.
2. L'Approccio della Resurrezione: Basato sulla ressommazione di Borel dell'integrale di cammino di Chern–Simons (Costin et al.), che mette in relazione $\widehat{Z}$ con un'espansione in trans-serie coinvolgente connessioni piatte non-aboliche.

La domanda centrale è se questi due approcci producano risultati compatibili, in particolare riguardo alla carica centrale effettiva, $c_{\text{eff}}$, che governa la crescita asintotica dei coefficienti della serie $\widehat{Z}$. Fisicamente, $c_{\text{eff}}$ si prevede sia correlata agli invarianti di Chern–Simons delle connessioni piatte non-aboliche sulla varietà.

Metodologia
Gli autori impiegano un approccio multifasettato che combina analisi numerica, teoria delle forme modulares e tecniche di resurrezione per calcolare e confrontare $c_{\text{eff}}$ per la classe di sfere di Brieskorn $\Sigma(s, t, rst \pm 1)$.

1. Limiti Superiori via Regolarizzazione: Gli autori analizzano la congetturale formula di chirurgia regolarizzata $+1/r$. Essi dimostrano che il tasso di crescita dei coefficienti (e quindi il limite superiore di $c_{\text{eff}}$) è governato interamente dal fattore di regolarizzazione (specificamente la funzione theta di Ramanujan o l'inverso della funzione eta di Dedekind), piuttosto che dai dati specifici del nodo. Ciò stabilisce un limite superiore stretto per $c_{\text{eff}}$ dipendente solo dalla pendenza della chirurgia $r$.
2. Analisi Numerica: Utilizzando i primi $10^4$ termini dell'espansione della serie $q$ derivata dalla formula di chirurgia, gli autori stimano numericamente i limiti inferiori di $c_{\text{eff}}$. Analizzano la struttura delle singolarità della serie sul cerchio unitario per determinare le singolarità dominanti, che dettano il comportamento asintotico.
3. Completamento Modulare e Mock Modularity: Per la sottoclasse $\Sigma(s, t, str + 1)$, dove l'invariante è nota essere una forma mixed mock modular, gli autori costruiscono il completamento modulare di $\widehat{Z}$. Eseguendo la trasformazione $S$ modulare, decompongono l'invariante nelle parti olo-morfiche e non-olo-morfiche ($W(\tau)$, $Z_{G_{c_1}}$, e $Z_{G_{c_2}}$). Effettuano un'analisi asintotica di queste componenti per derivare valori esatti di $c_{\text{eff}}$.
4. Confronto con la Resurrezione: I valori derivati dall'approccio modulare sono confrontati con i risultati ottenuti dal framework della resurrezione (specificamente il lavoro di Adams et al.), che predice $c_{\text{eff}}$ basandosi sull'espansione in trans-serie associata alle connessioni piatte.

Contributi Chiave e Risultati

• Incompatibilità delle Proposte: Il risultato primario è che la congettura della chirurgia regolarizzata $+1/r$ e l'espansione in trans-serie basata sulla resurrezione sono genericamente incompatibili. Per molte sfere di Brieskorn, i due metodi producono valori di $c_{\text{eff}}$ significativamente differenti.
• Violazione della Relazione di Chern–Simons: Il saggio dimostra che per diversi esempi (ad esempio $\Sigma(3, 4, 13)$, $\Sigma(3, 4, 11)$), il $c_{\text{eff}}$ calcolato tramite la formula di chirurgia non corrisponde a nessun invariante di Chern–Simons di una connessione piatta. Nello specifico, il $c_{\text{eff}}$ calcolato porta spesso a parametri $m$ irrazionali o non interi nella relazione $c_{\text{eff}} = 24(m^2/4st(rst \pm 1) - l)$, mentre il framework della resurrezione predice valori interi corrispondenti a specifiche connessioni piatte.
• Valori Esatti via Mock Modularity: Per la classe $\Sigma(s, t, str + 1)$, gli autori forniscono espressioni analitiche esatte per $c_{\text{eff}}$ utilizzando il completamento modulare della forma mixed mock modular. Essi riscontrano che, sebbene l'analisi modulare sia in accordo con le stime numeriche, essa produce frequentemente valori che non si adattano all'interpretazione topologica attesa (ovvero, non corrispondono agli invarianti di Chern–Simons delle connessioni piatte non-aboliche).
• Struttura delle Singolarità: Gli autori identificano che per $r > 1$, la singolarità dominante della serie $\widehat{Z}$ non è sempre in $q=1$, ma può spostarsi verso radici dell'unità (ad esempio $q = e^{-2\pi i 2/5}$ per $\Sigma(2, 3, 13)$), una caratteristica che deve essere tenuta conto nell'analisi asintotica.
• Caso Definite Negativo: Come risultato complementare, gli autori dimostrano che per le varietà plumbed definite negative, i coefficienti di $\widehat{Z}$ sono polinomialmente limitati, implicando $c_{\text{eff}} \leq 1$ (dopo l'apposita normalizzazione), fornendo una linea di base coerente per il confronto.

Significatività
Il saggio sostiene che $c_{\text{eff}}$ funga da sonda sensibile per il "lato positivo" della teoria $\widehat{Z}$. Le scoperte suggeriscono che le attuali definizioni congetturali di $\widehat{Z}$ per varietà definite positive — sia tramite formule di chirurgia che via resurrezione — potrebbero richiedere un affinamento o che la relazione tra questi invarianti e la teoria di Chern–Simons delle connessioni piatte sia più sottile di quanto precedentemente assunto. L'incompatibilità tra l'approccio modulare e quello della resurrezione evidenzia una lacuna nella comprensione attuale della struttura modulare degli invarianti $\widehat{Z}$ sul "lato positivo". Gli autori concludono che queste inconsistenze sottolineano la necessità di una definizione più completa di $\widehat{Z}$ per le varietà 3 generiche e suggeriscono che la carica centrale effettiva sia uno strumento diagnostico cruciale in questo percorso.