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

Résumé technique de « $\widehat{Z}$ from Surgery and Modularity »

Énoncé du problème
L'article traite du défi que représente la définition et la compréhension des invariants $\widehat{Z}$ pour les variétés de dimension 3 fermées et orientées générales, en se concentrant spécifiquement sur les variétés de plombage (plumbed manifolds) définies positives telles que les sphères de Brieskorn $\Sigma(s, t, rst \pm 1)$. Bien que les invariants $\widehat{Z}$ soient rigoureusement définis pour les variétés de plombage définies négatives via des séries en $q$ convergentes, leur extension au cas défini positif reste un problème ouvert. Deux propositions principales existent pour cette extension :

1. La conjecture de la chirurgie régularisée $+1/r$ : Combiner les formules de chirurgie avec la conjecture de la « false-mock modularity » (Park ; Cheng et al.), qui postule que $\widehat{Z}$ pour les variétés définies positives peut s'exprimer via des séries thêta indéfinies et des formes modulaires fausses (mock modular forms).
2. L'approche par la résonance (Resurgence) : Basée sur la ressommation de Borel de l'intégrale de chemin de Chern-Simons (Costin et al.), qui relie $\widehat{Z}$ à une expansion en trans-séries impliquant des connexions plates non-abéliennes.

La question centrale est de savoir si ces deux approches produisent des résultats compatibles, particulièrement concernant la charge centrale effective, $c_{\text{eff}}$, qui régit la croissance asymptotique des coefficients de la série $\widehat{Z}$. Physiquement, $c_{\text{eff}}$ est censée être liée aux invariants de Chern-Simons des connexions plates non-abéliennes sur la variété.

Méthodologie
Les auteurs emploient une approche multidimensionnelle combinant l'analyse numérique, la théorie des formes modulaires et les techniques de résonance pour calculer et comparer $c_{\text{eff}}$ pour la classe des sphères de Brieskorn $\Sigma(s, t, rst \pm 1)$.

1. Bornes supérieures via la régularisation : Les auteurs analysent la formule conjecturale de la chirurgie régularisée $+1/r$. Ils prouvent que le taux de croissance des coefficients (et donc la borne supérieure de $c_{\text{eff}}$) est entièrement régi par le facteur de régularisation (spécifiquement la fonction thêta de Ramanujan ou l'inverse de la fonction $\eta$ de Dedekind), plutôt que par les données spécifiques du nœud. Cela établit une borne supérieure stricte pour $c_{\text{eff}}$ dépendant uniquement de la pente de chirurgie $r$.
2. Analyse numérique : En utilisant les $10^4$ premiers termes de l'expansion en série $q$ dérivée de la formule de chirurgie, les auteurs estiment numériquement les bornes inférieures de $c_{\text{eff}}$. Ils analysent la structure des singularités de la série sur le cercle unité pour déterminer les singularités dominantes, qui dictent le comportement asymptotique.
3. Complétion modulaire et Mock Modularity : Pour la sous-classe $\Sigma(s, t, str + 1)$, où l'invariant est connu pour être une forme modulaire mixte (mixed mock modular form), les auteurs construisent la complétion modulaire de $\widehat{Z}$. En effectuant la transformation modulaire $S$, ils décomposent l'invariant en parties holomorphes et non-holomorphes ($W(\tau)$, $Z_{G_{c_1}}$, et $Z_{G_{c_2}}$). Ils effectuent une analyse asymptotique de ces composantes pour dériver les valeurs exactes de $c_{\text{eff}}$.
4. Comparaison avec la résonance : Les valeurs dérivées de l'approche modulaire sont comparées aux résultats obtenus via le cadre de la résonance (spécifiquement les travaux d'Adams et al.), qui prédit $c_{\text{eff}}$ à partir de l'expansion en trans-séries associée aux connexions plates.

Contributions clés et résultats

• Incompatibilité des propositions : Le résultat principal est que la conjecture de la chirurgie régularisée $+1/r$ et l'expansion en trans-séries basée sur la résonance sont génériquement incompatibles. Pour de nombreuses sphères de Brieskorn, les deux méthodes produisent des valeurs de $c_{\text{eff}}$ significativement différentes.
• Violation de la relation de Chern-Simons : L'article démontre que pour plusieurs exemples (par exemple, $\Sigma(3, 4, 13)$, $\Sigma(3, 4, 11)$), le $c_{\text{eff}}$ calculé via la formule de chirurgie ne correspond à aucun invariant de Chern-Simons d'une connexion plate. Spécifiquement, le $c_{\text{eff}}$ calculé conduit souvent à des paramètres $m$ irrationnels ou non entiers dans la relation $c_{\text{eff}} = 24(m^2/4st(rst \pm 1) - l)$, alors que le cadre de la résonance prédit des valeurs entières correspondant à des connexions plates spécifiques.
• Valeurs exactes via la Mock Modularity : Pour la classe $\Sigma(s, t, str + 1)$, les auteurs fournissent des expressions analytiques exactes pour $c_{\text{eff}}$ en utilisant la complétion modulaire de la forme modulaire mixte. Ils constatent que, bien que l'analyse modulaire concorde avec les estimations numériques, elle produit fréquemment des valeurs qui ne correspondent pas à l'interprétation topologique attendue (c'est-à-dire qu'elles ne correspondent pas aux invariants de Chern-Simons des connexions plates non-abéliennes).
• Structure des singularités : Les auteurs identifient que pour $r > 1$, la singularité dominante de la série $\widehat{Z}$ n'est pas toujours en $q=1$, mais peut se déplacer vers des racines de l'unité (par exemple, $q = e^{-2\pi i 2/5}$ pour $\Sigma(2, 3, 13)$), une caractéristique qui doit être prise en compte dans l'analyse asymptotique.
• Cas défini négatif : Comme résultat complémentaire, les auteurs prouvent que pour les variétés de plombage définies négatives, les coefficients de $\widehat{Z}$ sont polynomialement bornés, impliquant $c_{\text{eff}} \leq 1$ (après normalisation appropriée), fournissant ainsi une base cohérente pour la comparaison.

Signification
L'article soutient que $c_{\text{eff}}$ sert de sonde sensible pour le « côté positif » de la théorie $\widehat{Z}$. Les conclusions suggèrent que les définitions conjecturales actuelles de $\widehat{Z}$ pour les variétés définies positives — que ce soit via les formules de chirurgie ou la résonance — pourraient nécessiter un raffinement, ou que la relation entre ces invariants et la théorie de Chern-Simons des connexions plates est plus subtile qu'on ne l'avait supposé. L'incompatibilité entre les approches modulaire et de résonance met en lumière une lacune dans la compréhension actuelle de la structure modulaire des invariants $\widehat{Z}$ sur le « côté positif ». Les auteurs concluent que ces incohérences soulignent la nécessité d'une définition plus complète de $\widehat{Z}$ pour les variétés de dimension 3 générales et suggèrent que la charge centrale effective est un outil de diagnostic crucial dans cette quête.