The three- and four-loop equal-mass sunset integrals and local Calabi--Yau fourfolds and fivefolds

技術要約：3ループおよび4ループ等質量サンセット積分と局所カラビ・ヤウ4〜5重体

問題の所在
本論文は、大きなユークリッド運動量（$s \to -\infty$）における、等質量2次元サンセット・ファインマン積分の、特に3ループ（$I^{(3)}_{\ominus}$）および4ループ（$I^{(4)}_{\ominus}$）の場合の解析的および計数的な構造を扱っている。2ループの場合は、局所カラビ・ヤウ3重体のgenus-zero（種数ゼロ）のプレポテンシャルによって支配されていることが知られているが、$L \ge 3$ への移行は、重大な幾何学的および算術的な課題を提示する。$L \ge 3$ の場合、非標識（unmarked）安定写像のモジュライ空間は正の仮想次元を持つため、伝統的な意味でのプレポテンシャルは存在しない。その結果、ファインマン積分は単一のプレポテンシャルのみを通じて表現することはできず、1点ポテンシャル、重力降下（gravitational descendants）、およびガンマ・クラスに由来する境界項を含む、より複雑な構造を必要とする。本論文の目的は、これらの積分を特定の局所カラビ・ヤウ多様体のgenus-zero Gromov–Witten（GW）理論を用いて厳密に決定し、得られる級数の算術的性質を確立することである。

手法
著者らは、代数幾何学、微分方程式、およびコンピュータ支援解析を組み合わせた多角的なアプローチを採用している：

1. 幾何学的同定： 積分は、局所カラビ・ヤウ $(L+1)$ 重体 $X_L = \text{Tot}(K_{F_L})$ （ここで $F_L \subset (\mathbb{P}^1)^{L+1}$ はマルチデグリー $(1, \dots, 1)$ の滑らかな超曲面）と結び付けられている。$L=3$ および $L=4$ の場合、これらはそれぞれ局所カラビ・ヤウ4重体および5重体に相当する。
2. ミラー対称性と振動積分： 著者らは、イリタニのガンマ・クラス恒等式を利用し、ファインマン積分（振動積分としてのラプラス変換と見なしたもの）を $X_L$ のGW理論に関連付けている。彼らは、$F_3$ の非トーリック性や $F_4$ の非アンビエント（non-ambient）コホモロジーを扱うために、オイラー・ツイストを用いて、「局所」理論（$X_L$ 上）と「アンビエント」理論（トーリック多様体 $Y_L = (\mathbb{P}^1)^{L+1}$ 上）を区別している。
3. 解析的導出（3ループ）： 3ループの場合について、独立した解析的導出が提供されている。これには以下が含まれる：
   • 積分を支配する非斉次ピカール・フックス方程式の解法。
   • 無限遠におけるフロベニウス法を用いた解の構造の決定。
   • メリン変換の極部分による境界定数の計算、および特定の $\zeta(3)$ 項の特定。
   • 量子・セールの恒等式および対数Bモデルの再帰関係を用いて、積分の展開係数を1点GWポテンシャル $F_{\gamma_L}$ に関連付ける「係数ブリッジ」の確立。
4. 主要不変量からの再構成： 著者らは、$X_L$ のコンパクトモデル上のgenus-zeroトポロジカル再帰を用いた再構成アルゴックリズムを開発している。これにより、降下級数（ファインマン積分の展開に現れるもの）を主要不変量を用いて表現することが可能となる。
5. 整数性と量子K理論： 3ループの場合について、著者らは任意の整数挿入に対するマルチカバー変換の整数性を証明している。これは、局所幾何を半正定値な射影4重体にコンパクト化し、GW不変量を量子K理論的オイラー標数に結びつけるイオネルとパーカー（Chouによる形式）の整数性定理を適用することで達成される。
6. コンピュータ支援による証明： 4ループの場合およびエンドポイント挙動の解析において、著者らは厳密なボール算術（Arb ライブラリを使用）を用い、接続量の符号および物理的閾値における積分の非解析性を証明している。

主な貢献と結果

• GW不変量を用いた厳密な表現：

  • 3ループ ($L=3$)： 積分 $I^{(3)}_{\ominus}$ は、単一の1点ポテンシャル $F_{\gamma_3}$ （ここで $\gamma_3 = H^2/2$）のみを用いて完全に表現される。展開に必要なすべての降下級数は、genus-zeroトポロジカル再帰を介して $F_{\gamma_3}$ によって決定される。展開は以下の形式をとる：
    $$I^{(3)}_{\ominus}(s) = -yA \left[ 4R^3 - (\theta_Q F_{\gamma_3})R^2 + \dots - 16\zeta(3) \right]$$
    ここで $R$ はミラー座標、$yA$ は周期である。
  • 4ループ ($L=4$)： 積分 $I^{(4)}_{\ominus}$ は、2つの対角級数、すなわち1点ポテンシャル $F_{\gamma_4}$ と対角2点主要級数 $T$ （または、第一降下 $D^{\Delta}_1$ と等価）によって決定される。展開には、$F_{\gamma_4}$ によって補正された $\zeta(3)$ 境界項が含まれる。

• 境界項とガンマ・クラス：

  • 本論文は、ガンマ・クラスから生じる境界項を明示的に計算している。$L=3$ の場合、その項は $-16\zeta(3)$ である。$L=4$ の場合、それは $-80\zeta(3)$ であり、対数解が乗じられている。
  • $L \ge 3$ において、非標識のモジュライ空間は数値的不変量を直接定義せず、最初の数値的観測量は挿入 $\gamma_L = H^{L-1}/(L-1)!$ を持つ1点不変量である。

• 整数性と算術的構造：

  • $F_{\gamma_3}$ のマルチカバー展開の係数が整数（$n_m \in \mathbb{Z}$）であり、特定のゴパクマール・ヴァパ（Gopakumar–Vafa）型の整数性を満たすことが証明されている。
  • これらの変換に対して明示的な量子K公式が導かれ、それらのBPS不変量の幾何学的実現が提供されている。
  • 論文には、有理算術によって検証された、次数19までの正確な値の表が記載されている。

• 解析的性質と閾値：

  • 論文は、極限的な一意単型点（maximally unipotent point）における正確な周期接続多項式を決定している。
  • 物理的閾値（$s = (L+1)^2$）において、ファインマン積分は連続であるが、$C^1$ ではない（導関数に対数特異性を持つ）ことを証明している。
  • コンピュータ支援による証明により、ミラー座標 $Q$ における降下級数のテイラー収束半径を保証している。$L=3$ の場合、半径は $1/12$ と $Q^* \approx e^{-7\zeta(3)/\pi^2}$ の間にある。$L=4$ の場合、半径は $1/20$ と $Q_\infty \approx 0.3366$ によって抑えられている。

意義と主張
本論文は、局所カラビ・ヤウ4重体および5重体のGromov–Witten理論を用いた、3ループおよび4ループ等質量サンセット積分の初の厳密な決定を提供すると主張している。

• 観測量のシフト： $L=2$ から $L \ge 3$ への根本的な転換を強調している。支配的な対象は、プレポテンシャル（非標識不変量）から、仮想次元が正になるため、特定の挿入を持つ1点ポテンシャルへと変化する。
• 主要データへの還元： $L=3$ の場合、ファインマン積分全体が単一の生成級数（$F_{\gamma_3}$）によって決定される一方で、$L=4$ では2つの対角入力が十分であること（ただし最小性は証明されていない）を示す重要な結果を提示している。
• 証明の独立性： 著者らは、振動的ガンマ恒等性に依存しない、ピカール・フックス方程式とメリン変換を用いた3ループの場合の独立した解析的導出を提供している。
• 算術的厳密性： 論文は、3ループの場合における任意の整数挿入に対するBPS変換の整数性を確立し、物理的な係数を厳密な代数幾何学（量子K理論）に根付かせている。
• 計算による検証： 閾値における非解析的挙動および接続定数の符号を証明するために、コンピュータ支援による証明を用いており、これらの結果が単なる数値的な偶然ではなく、数学的に保証された事実であることを保証している。

本研究は、高次ループの摂動的量子場理論と、高次元カラビ・ヤウ多様体の数え上げ幾何学との間の架け橋として機能し、ファインマン積分の漸近展開におけるガンマ・クラスおよび降下不変量の具体的な役割を明らかにしている。