From $3$-spin to Negative $r$-spin: Limits of Cohomological Field Theories and Tautological Relations

技術的要約：3-spinから負のr-spinへ：余視点的場の理論（Cohomological Field Theories）の限界と自明な関係式

問題提起
本論文は、安定曲線 $\overline{\mathcal{M}}_{g,n}$ の自明な関係式（tautological relations）における2つの異なる族の関係を扱っている。第1の族は、Pixtonの3-spin関係式（Wittenの3-spin余視点的場の理論、すなわちCohFTに由来するもの）であり、これはJandaの研究により、自明なChow環 $R^*(\overline{\mathcal{M}}_{g,n})$ において成立することが知られている。第2の族は、"theta CohFTs" ($\Theta_r$) を用いてChidambaram–Garcia-Failde–Giacchettoによって最近構築された、負の$r$-spin関係式である。

中心的な困難は、$\Theta_r$ の基礎となるフロベニウス多様体の性質にある。$\Theta_r$ は、Wittenの$r$-spin理論とは異なり、そのフロベニウス多様体が**至る所非半単純（nowhere semisimple）**である。そのため、理論を半単純な点へとシフトさせ、Givental–Telemanの再構成（これによりPixtonの関係式が得られる）を適用するという標準的な戦略を直接適用することができない。先行研究では、負の$r$-spin関係式がコホモロジー環 $RH^*(\overline{\mathcal{M}}_{g,n})$ において成立することは示されていたが、以下の2つの重要な問いが残されていた。

1. これらの関係式は、自明なChow環においても成立するか？
2. これらはPixtonの3-spin関係式の帰結なのか、それとも真に新しい関係式なのか？

手法
著者らは、異なるCohFTによって生成される自明な関係式のイデアル間の包含関係を確立することで、これらの問いを解決する。証明戦略は、$t$ が $0$ に近づく際のGivental–Teleman再構成の極限挙動に関する高度な解析に基づいている。

1. 変形とシフト: 著者らは、パラメータ $t$ と $\epsilon$ を含む環上の半単純なCohFTである、Chiodo類の1パラメータ変形 $C_{r,\epsilon}$ を導入する。負の$r$-spin理論 $\Theta_{r,\epsilon}$ は、$t \to 0$ のときの部分空間への $C_{r,\epsilon}$ の制限として実現される。
2. グラフごとの極限: 大きな技術的障壁は、$C_{r,\epsilon}$ の再構成データ（R行列、真空ベクトル、単位元）が $t \to 0$ において個別に収束しないことである。具体的には、単位元と真空ベクトルは特異挙動（$t$ に関する極）を示す。著者らは、個々の成分は発散するものの、固定された安定グラフ（stable graph）への任意の寄与の総和は収束することを証明する。彼らは、シフトされたChiodo理論のグラフ寄与の極限が、変形されたtheta理論のグラフ寄与と等しいことを示す。
3. Harerの安定性と斉次性: R行列と平行移動ベクトルの特異項を制御するために、著者らは滑らかな部分空間におけるHarerの安定性を用いる。これに斉次性の議論と平坦性方程式を組み合わせることで、精密な$t$次オーダーの境界を確立する。これにより、「ゼロ・カラー」の頂点（特異な方向に関連するもの）を含む寄与が極限において消失し、theta理論と一致する非ゼロ・カラーからの寄与のみが残ることが示される。
4. 比較定理: 著者らは、シフトされたChiodo理論の関係式をPixtonの3-spin関係式に関連付けるために、彼らの先行研究 [10] におけるJandaの比較定理の一般化を利用する。

主要な貢献と結果

• 定理A（主要な結果）: すべての $r \ge 2$ に対して、負の$r$-spin関係式のイデアル $I_{\Theta_{r,\epsilon}}$ は、3-spin関係式のイデアル $I_{\Omega_{3\text{-spin}}}$ に含まれる。
  $$I_{\Theta_{r,\epsilon}} \subseteq I_{\Omega_{3\text{-spin}}}$$
  これは、負の$r$-spin関係式は独立したものではなく、Pixtonの関係式の帰結であることを証明している。

• 定理B（Chowによる洗練）: 定理Aの直接的な系として、および3-spin関係式がChow環で成立するというJandaの証明に基づき、負の$r$-spin関係式は自明なChow環 $R^*(\overline{\mathcal{M}}_{g,n})$ において成立する。

• 定理C（Kazarian–Norbury関係式）: $r=2$ の場合、負のspin関係式は特定のクラス $K_d$（Kazarian–Norbury K-relation）の消滅に対応する。本論文は、これらの関係式がChow環において成立することを証明し、従来のコホモロジー的な結果を洗練させている。

• 技術的突破口（定理D）: 本論文は、再構成データ（R行列、単位元、真空ベクトル）の特異な挙動にもかかわらず、Givental–Teleman再構成が安定グラフのレベルで極限 $t \to 0$ と可換であることを確立した。これは、特異なデータが存在する状況において、極限がGivental–Teleman再構成と可換であることを示した初めての事例である。

意義
本論文は、Chidambaram–Garcia-Failde–Giacchettoによって提起された、負の$r$-spin関係式のステータスに関する未解決の問いを解決する。これらの関係式がPixtonの3-spin関係式の帰結であることを証明することにより、著者らは、半単純な点へとシフトして極限を取る手法（たとえ特異な変形を経る場合であっても）が、この種の（生成的に半単純な）CohFTの範囲内において「真に新しい」関係式を生み出すことはないことを示している。

さらに、この結果は、Kazarian–Norbury K-relationが[19]で予想されていた通り、Chow環において成立することを裏付けている。本研究は、単位元が非平坦であり、フロベニウス多様体が至る所非半単純であるような、CohFTの極限を解析するための強固な枠組みを提供し、Givental–Telemanの分類の適用範囲をより広範な幾何学的理論へと拡張するものである。