Equal-mass sunset integrals and genus-zero local Gromov--Witten theory of Calabi--Yau $n$-folds

技術的要約：等質量サンセット積分とカラビ・ヤウ $n$ 折り葉における種数ゼロ局所グロモフ・ウィッテン理論

問題設定
本論文は、二次元の等質量 $(n-1)$ ループ・サンセット・ファインマン積分（$n \ge 4$）と、局所カラビ・ヤウ $n$ 折り葉の種数ゼロ・グロモフ・ウィッテン（GW）理論との間の解析的および計数的な関連性を扱っている。具体的には、大きなユークリッド・運動量における関数として見たサンセット積分と、局所幾何 $X_n = \text{Tot}(K_{F_n})$（ここで $F_n$ は $(\mathbb{P}^1)^n$ 内の滑らかな $(1, \dots, 1)$ 超曲面）の一点降下不変量（one-point descendant invariants）との間に、厳密な恒等式を確立することを目的としている。二ループの場合（$n=3$）は、ミラー対称性を介して局所カラビ・ヤウ 3 折り葉のプレポテンシャルとの関連が既知であったが、$n \ge 4$ の降下不変量を伴う一般の場合については、これまで厳密に確立されていなかった。

手法
証明は $n$ に関して一様であり、以下の4つの異なる数学的枠組みを統合している：

1. 代数幾何学と仮想減少（Virtual Reduction）： 著者らは、局所カラビ・ヤウ $X_n$ への安定写像が、ファノ超曲面 $F_n$ 上の零セクションに因数分解されることを利用している。彼らは「仮想減少」定理（定理 5.5）を確立し、$X_n$ の仮想クラスが、$F_n$ の仮想クラスと障害束（obstruction bundle）のトップ・チャーン類との交わりであることを示している。これにより、$X_n$ の GW 不変量を、トーリック多様体 $(\mathbb{P}^1)^n$ の周囲のコホモロジーから抽出することが可能となる。
2. ミラー対称性と超幾何級数： 二つの独立した特性類（オイラー類および逆オイラー類）を用いた、ギヴェンタル $I$ 関数の超幾何学的修正を利用した「混合超幾何定理」（定理 6.6）が用いられている。これにより、級数はねじれたギヴェンタルの円錐（twisted Givental cone）上に配置される。単項除法と周囲のペアリングを通じて、著者らは、全コホモロジーの周囲性（ambientness）を仮定することなく（ただし、関連するクラスについては定理 15.1 で別途証明している）、すべての数値的降下不変量 $N_{a,\beta}$ を同時に抽出している。
3. 微分方程式： 有限のアルゴリズム（定義 8.1）を用いて、$\mathbb{Q}$ 上の $n-1$ 次微分作用素 $P_{n-1}$ を構成する。著者らは、この作用素が関連する周期級数を消滅させ、かつ既約であることを証明することで、これがサンセット積分に対する最小の作用素であることを特定している。この導出は、幾何学的ミラー定理には依存しない。
4. 解析学と算術： 物理的積分は正のラプラス変換を通じて解析され、イリタニ（Iritani）によるファノ多様体の研究から得られた振動的なガンマ恒等式を、符号付きガンマ公式へと変換する。整数性を扱うために、著者らは $F_n$ 上の射影束上の滑らかなコンパクト・カラビ・ヤウ二重被覆 $\tilde{Z}$ を構成する。このコンパクト化は、自明な標準束を持つターゲット上の局所セクターを孤立させ、量子 K 理論およびシンプレクティック整数性定理（Chou, Ionel–Parker, Siebert）の適用を可能にする。これにより、変換された一次不変量が整数であることを証明する。

主要な貢献と結果

• 厳密な恒等式（定理 A/10.1）： 本論文は、大きなユークリッド・運動量（$s \to -\infty$）における収束する対数的な芽（logarithmic germ）としての等質量サンセット積分 $I^{(n-1)}_\ominus(s)$ が、局所ミラー座標 $R$、ノビコフ変数 $Q$、および $X_n$ の種数ゼロ一点降下不変量 $D^\Delta_a(Q)$ の特定の組み合わせに厳密に等しいことを証明している。公式は以下の通りである：
  $$I^{(n-1)}_\ominus(s) = (-1)^{n-1} y A \sum_{k=0}^{n-1} (-1)^k \gamma_k T_{n-1-k}(R, Q)$$
  ここで、$\gamma_k$ はガンマ・クラスに由来する係数（奇数ゼータ値 $\zeta(2r+1)$ を含む）であり、$T_j$ は降下級数とその微分を含むアセンブリ多項式である。
• 明示的な降下抽出（定理 B/6.9）： 著者らは、周囲の超幾何級数 $I(y,z)$ の係数と逆ミラー写像を用いて、降下級数 $D^\Delta_a(Q)$ の閉じた形式の表現を与える。これにより、ミラー級数からすべての数値的降下不変量を抽出することが解決される。
• 大域的一価性と収束性（定理 11.3/11.4）： 論文は、スリット平面 $\mathbb{C} \setminus (-\infty, -n^{-2}]$ 上での主ミラー写像 $y \mapsto Q$ の大域的一価性を証明している。また、逆ミラー写像のテイラー半径に関する明示的な上界および下界を確立し、降下級数の収束領域を精緻化している。
• 変換された一次不変量の整数性（系 14.10）： 問題をコンパクト・カラビ・ヤウ被覆 $\tilde{Z}$ へ持ち上げることで、すべての $n \ge 4$ に対して、「一次被覆変換」係数 $b_\beta$（多重被覆公式 $N_{0,\beta} = \sum b_{\alpha/k}/k^2$ を通じて定義される）が整数であることを証明している。これは、$\tilde{Z}$ 上の量子 K 理論を用いた代数的なルートと、$\tilde{Z}$ の半正定値条件を用いたシンプレクティックなルートの二つの独立した経路によって達成される。
• 微分作用素の証明書： 論文は、すべての $n$ に対してサンセット積分を支配する微分作用素の一様な構成を提供し、有限の係数適合に依存することなく、その全級数への作用を証明している。

意義と主張
本論文は、$n \ge 4$ のすべてのケースにおいて、等質量サンセット積分の展開係数に関する最初の厳密な計数的恒等式を提供すると主張している。著者らは、以前に留数計算によって有理数として得られていた「インスタントン係数」を、局所カラビ・ヤウ $n$ 折り葉の一点降下不変量として特定している。

極めて重要な点として、著者らは得られた整数の計数的解釈について慎重な姿勢をとっている。彼らは以下を明示している：

• 整数 $b_\beta$ は、埋め込まれた有理曲線の符号なしカウント、層理論的な多重度、あるいは物理的な BPS 状態の退化数であるとは主張していない。これらは、固定された仮想不変量に特定の算術変換を適用した出力である。
• $a > 0$ の降下級数に対する多重被覆則は主張されていない。適用されるのは一次セクター（$a=0$）のみである。
• 高次元の被覆挙動に必要な標準的な「理想的な幾何学」の仮定（単純な有理曲線の非障害性、移動被覆条件など）は仮定されておらず、実際、$X_n$ においてはこれらは成立しない。証明は純粋に代数的であり、これらの幾何学的条件には依存していない。

本研究は、摂動的量子場理論（ファインマン積分）と代数幾何学（グロモフ・ウィッテン理論）を、サンセット積分の解析的構造が局所カラビ・ヤウ幾何学のミラー対称性によって支配されており、その展開係数がガンマ・クラスの算術と量子 K 理論の整数性に深く根ざしていることを示すことにより、橋渡しをするものである。