Holomorphic anomaly equations for $\mathbb{C}^5/\mathbb{Z}_5$

技術的概要：$[\mathbb{C}^5/\mathbb{Z}_5]$ に対するホロモルフィック・アノマリー方程式

問題提起
本論文は、$\mathbb{Z}_5$ が $\mathbb{C}^5$ に 5 乗根の単位元による乗法で作用する商スタック $[\mathbb{C}^5/\mathbb{Z}_5]$ に対する $T$-等変グロモフ・ウィッテン不変量の構造を調査する。具体的には、著者らは genus $g \geq 2$ に対するこれらの不変量の生成関数（ポテンシャル）$F^{[\mathbb{C}^5/\mathbb{Z}_5]}_g$ に対して、「ホロモルフィック・アノマリー方程式」（微分方程式）を確立することを目的とする。本研究は、非コンパクトなターゲット・スタックに対するツイスト・グロモフ・ウィッテン理論の枠組み内で実施され、不変量を定義するために仮想局在化が用いられる。

手法
著者らは、同様の幾何学に対して [13] で用いられたアプローチと整合する戦略を採用し、基底となる genus 0 理論の半単純性に依存する。手法は以下の段階を経て進行する。

1. ミラー定理と級数構成：著者らは、$J$-関数と $I$-関数をミラー変換 $T(x)$ によって関連付ける $[\mathbb{C}^5/\mathbb{Z}_5]$ に対するミラー定理（命題 1.1）を利用する。$I$-関数から、特定の微分関係（方程式 1.6–1.11）を満たす形式べき級数の集合（$L, C_1, C_2, C_3$）と導出量（$X_1, X_2, A_1, A_2, B_i$）を定義する。
2. フロベニウス構造と半単純性：$[\mathbb{C}^5/\mathbb{Z}_5]$ の genus 0 グロモフ・ウィッテン理論は、Chen-Ruan コホモロジー $H^*_{T,Orb}([\mathbb{C}^5/\mathbb{Z}_5])$ 上に半単純なフロベニウス構造を導くことが示される。これにより、半単純なコホモロジー場理論（CohFTs）に対するギバスタル・テレマンの分類の適用が可能となる。
3. R-行列と平坦性方程式：著者らはフロベニウス構造に関連する R-行列を解析する。半単純点に制限し、平坦性方程式 (2.5) を利用することで、R-行列の係数に関連する行列 $\tilde{P}^k_{i,j}$ の成分に対する「修正された平坦性方程式」(2.9) の系を導出する。
4. 標準的リフト：重要な技術的ステップは、形式べき級数の環 $\mathbb{C}[[x]]$ からの係数 $\tilde{P}^k_{i,j}$ を、特定の多項式環 $\mathcal{F} = \mathbb{C}[L^{\pm 1}][A_1, DA_1, D^2A_1, A_2]$ へリフトすることである。これは「標準的リフト」の手順（第 3.1 節）によって達成され、これらの係数が $\mathcal{F}$ に含まれることが証明される（補題 3.1）。
5. グラフ展開：ギバスタル・テレマンの分類を用いて、genus $g$ のポテンシャルは装飾された安定グラフの和として表現される（命題 4.1）。頂点、辺、脚の寄与は、リフトされた係数を用いて定式化される。

主要な貢献と結果
本論文の主な貢献は、等変パラメータ $\lambda_i$ を単位根に特殊化した後の、高次 genus ポテンシャル $F^{[\mathbb{C}^5/\mathbb{Z}_5]}_g$ を支配する 2 つの特定の微分方程式の証明である（方程式 0.3）。

1. 有限生成性（定理 4.2）：著者らは、標準的リフトの变量を関数として見たとき、グロモフ・ウィッテン・ポテンシャルが環 $\mathcal{F}[C_1, C_2, C_3]$ に属することを確立する。具体的には、$g \geq 2$ に対して $F^{[\mathbb{C}^5/\mathbb{Z}_5]}_g \in \mathcal{F}$ である。
2. 第一ホロモルフィック・アノマリー方程式（定理 4.6）：論文は変数 $A_2$ に関する微分方程式を証明する。
   $$\frac{C_3}{5L} \frac{\partial F^{[\mathbb{C}^5/\mathbb{Z}_5]}_g}{\partial A_2} = \frac{1}{2} \langle\langle \phi_2, \phi_2 \rangle\rangle^{[\mathbb{C}^5/\mathbb{Z}_5]}_{g-1,2} + \frac{1}{2} \sum_{i=1}^{g-1} \langle\langle \phi_2 \rangle\rangle^{[\mathbb{C}^5/\mathbb{Z}_5]}_{g-i,1} \langle\langle \phi_2 \rangle\rangle^{[\mathbb{C}^5/\mathbb{Z}_5]}_{i,1}$$
   この方程式は、genus $g$ のポテンシャルの微分を、特定の挿入を持つ低次 genus ポテンシャルに関連付ける。証明は、グラフ展開における辺の寄与の微分を解析すること（補題 4.4）と、$A_2$ に関する頂点の微分がゼロになることに基づいている。
3. 第二ホロモルフィック・アノマリー方程式（定理 4.7）：著者らは、変数 $D^2A_1$ に関する第二の、異なる微分方程式を証明する。
   $$\frac{C_2^2 C_3}{5L^3} \frac{\partial F^{[\mathbb{C}^5/\mathbb{Z}_5]}_g}{\partial (D^2A_1)} = \dots$$
   この方程式は、祖先挿入（$\psi$ 類の冪）を含み、負の符号を持つ項を含む点で第一の方程式と区別される。著者らは、この特定の方程式は先行研究において既知の類似物を持たないことを指摘している。

意義と主張
本論文は、これらの結果がミラー写像とフロベニウス構造から生じる変数を用いた、$[\mathbb{C}^5/\mathbb{Z}_5]$ のグロモフ・ウィッテン不変量の微分構造の完全な記述を提供すると主張する。著者らは、彼らのアプローチがこの特定の非コンパクト・オプifold 設定に対してギバスタル・テレマンの分類が適用可能であることを確認していると述べている。

この研究の意義は、既存の文献との関係性によって枠組み付けられている。

• 第一のアノマリー方程式は、[12] および [13] の主要な結果の類似物として提示される。
• 第二のアノマリー方程式は、先行研究において既知の類似物を持たない新たな貢献として強調される。
• この研究は Bumsig Kim の追悼に捧げられており、彼の分野における関心の継続を示唆している。

著者らは、新しい実験的応用を提案したり、ホロモルフィック・アノマリー方程式と CohFTs の分類という数学的枠組みを超えて将来の含意について推測したりはしていない。結果は、生成関数の構造的性質の厳密な証明として提示されている。