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

「手術とモジュラリティからの $\widehat{Z}$」に関するテクニカル・サマリー

問題提起
本論文は、一般的な閉じた向き付けられた3次元多様体、特にブリースニル・ホモロジー球 $\Sigma(s, t, rst \pm 1)$ のような正定値のプランブド（配管）多様体に焦点を当て、$\widehat{Z}$ 不変量を定義し理解するという課題に取り組んでいる。$\widehat{Z}$ 不変量は、負定値のプランブド多様体に対しては収束する $q$ 級数を通じて厳密に定義されているが、これを正定値の場合へと拡張することは依然として未解決の問題である。この拡張に関して、主に2つの提案が存在する：

1. 正規化された $+1/r$-手術予想： 手術公式と、正定値多様体の $\widehat{Z}$ が不定型テータ級数およびモック・モジュラー形式を用いて表現できると仮定する「偽モック・モジュラー（false-mock modular）予想」（Park; Cheng et al.）を組み合わせるもの。
2. レジリエンス（Resurgence）的アプローチ： チェルン・サイモンズ・パス積分（Costin et al.）のボレル総和に基づくものであり、$\widehat{Z}$ を非アーベル的な平坦接続を含むトランス・シリーズ展開に関連付けるもの。

中心となる問いは、これら2つのアプローチが、特に $\widehat{Z}$ 級数の係数の漸近的成長を支配する有効中心電荷 $c_{\text{eff}}$ に関して、互いに整合的な結果をもたらすのかどうかである。物理的には、$c_{\text{eff}}$ は多様体上の非アーベル的な平坦接続のチェルン・サイモンズ不変量に関連していると期待されている。

手法
著者らは、ブリースニラー球 $\Sigma(s, t, rst \pm 1)$ のクラスに対して $c_{\text{eff}}$ を計算し比較するために、数値解析、モジュラー形式論、およびレジリエンスの手法を組み合わせた多角的なアプローチを採用している。

1. 正規化による上界： 著者らは、予想される正規化された $+1/r$-手術公式を分析している。彼らは、係数の成長率（およびしたがって $c_{\text{eff}}$ の上界）が、特定の結び目データではなく、正規化因子（具体的にはラマヌジャン・テータ関数またはデデキント・エータ関数の逆数）によって完全に支配されることを証明している。これにより、$c_{\text{eff}}$ の厳密な上界が手術スロープ $r$ にのみ依存することが確立される。
2. 数値解析： 手術公式から導出された $q$ 級数展開の最初の $10^4$ 項を用いて、著者らは $c_{\text{eff}}$ の下界を数値的に推定している。彼らは、漸近挙動を決定する主要な特異点を特定するために、単位円上の級数の特異構造を分析している。
3. モジュラー補完とモック・モジュラリティ： 不変量が混合モック・モジュラー形式であることが知られている部分クラス $\Sigma(s, t, str + 1)$ について、著者らは $\widehat{Z}$ のモジュラー補完を構成している。モジュラー $S$-変換を実行することにより、不変量を正則部分と非正則部分（$W(\tau)$, $Z_{G_{c_1}}$, $Z_{G_{c_2}}$）に分解している。そして、これらの成分の漸近解析を行うことで、$c_{\text{eff}}$ の厳密な値を導出している。
4. レジリエンスとの比較： 導出されたモジュラー・アプローチによる値は、平坦接続に関連するトランス・シリーズ展開（特に Adams et al. の研究）から得られた結果と比較される。

主要な貢献と結果

• 提案間の不整合： 主要な結果は、正規化された $+1/r$-手術予想と、レジリエンスに基づくトランス・シリーズ展開は、一般に互いに不整合であるということである。多くのブリースニル球において、これら2つの手法は $c_{\text{eff}}$ に関して著しく異なる値を与える。
• チェルン・サイモンズ関係の違反： 本論文は、いくつかの例（例：$\Sigma(3, 4, 13)$, $\Sigma(3, 4, 11)$）において、手術公式を通じて計算された $c_{\text{eff}}$ が、平坦接続のいずれのチェルン・サイモンズ不変量とも一致しないことを示している。具体的には、計算された $c_{\text{eff}}$ は、$c_{\text{eff}} = 24(m^2/4st(rst \pm 1) - l)$ という関係式において、しばしば無理数または整数ではないパラメータ $m$ を導くが、レジリエンスの枠組みは特定の平坦接続に対応する整数値を予測する。
• モック・モジュラリティによる厳密な値： 混合モック・モラー形式のモジュラー補完を用いて、クラス $\Sigma(s, t, str + 1)$ に対する $c_{\text{eff}}$ の厳密な解析的表現を提示している。彼らは、モジュラー解析が数値的推定と一致することを発見したが、それはしばしば期待される位相幾何学的解釈（すなわち、非アーベル的な平坦接続のチェルン・サイモンズ不変量）と一致しない値を生み出す。
• 特異構造： 著者らは、$r > 1$ の場合、$\widehat{Z}$ 級数の主要な特異点は必ずしも $q=1$ にあるとは限らず、冪根（例：$\Sigma(2, 3, 13)$ の場合は $q = e^{-2\pi i 2/5}$）へとシフトし得ることを特定しており、これは漸近解析において考慮されなければならない特徴である。
• 負定値の場合： 相補的な結果として、負定値のプランブド多様体については、$\widehat{Z}$ の係数が多項式的に有界であることを証明しており、これは（適切な正規化の後で）$c_{\text{eff}} \leq 1$ であることを意味する。これは比較のための整合的なベースラインを提供する。

意義
本論文は、$c_{\text{eff}}$ が $\widehat{Z}$ 理論の「正の側面」に対する鋭敏なプローブ（探針）として機能すると主張している。得られた知見は、正定値多様体に対する $\widehat{Z}$ の現在の予想的な定義（手術公式またはレジリエンスのいずれにおいても）が精緻化を必要としているか、あるいは、これらの不変量と平坦接続のチェルン・サイモンズ理論との関係が、以前に想定されていたよりも微妙なものである可能性を示唆している。モジュラー・アプローチとレジリエンス・アプローチの間の不整合は、$\widehat{Z}$ 不変量のモジュラー構造に関する現在の理解におけるギャップを浮き彫りにしている。著者らは、これらの矛盾が、一般的な3次元多様体に対する $\widehat{Z}$ のより包括的な定義の必要性を強調しており、有効中心電荷がこの追求における極めて重要な診断ツールであることを示唆して結論づけている。