Completed volumes and the DR-cycle

技術的概要：完了体積と DR サイクル

問題提起
本論文は、$k$-微分形式のモジュライ空間に対する Masur-Veech 体積の計算、特に二次微分形式（$k=2$）に焦点を当てて取り組む。アーベル微分形式および二次微分形式の主要ストラタに対する公式は存在するが、一般の場合の計算は依然として困難である。これらの体積を計算するための二つの主要な戦略が存在する：

1. リボングラフ数え上げ: 曲面をリボングラフに分解し、整数計量（integer metrics）を数えることで、これらの数え上げを Witten-Kontsevich 組合せ論的クラスに関連付ける。Duriev、Goujard、Yakovlev（DGY）によって導入されたこのアプローチは、縮退したリボングラフによる過剰数え上げを考慮するために「完了体積（completed volumes）」を定義する。
2. 交差理論: モジュライ空間のマルチスケールコンパクト化における双対的（tautological）クラスの頂点交差数として体積を計算する。

二次微分形式において $n=2$ の特異点を持つ場合、特定の技術的ギャップが存在する。DGY のアプローチはこの場合、以前に主要な再帰的公式から除外されていた「厄介な（cumbersome）」過剰数え上げの問題に直面する。さらに、リボングラフから導かれる組合せ論的な「完了体積」と、Double Ramification サイクルから導かれる幾何学的な「DR-完了体積」の間の厳密な関連付けは、特に二つの特異点を持つシグネチャにおいて、すべてのシグネチャに対して完全に確立されていなかった。

手法
著者らは、代数的幾何学、特にマルチスケール微分形式の理論と Double Ramification（DR）サイクルの理論を統合し、組合せ論的な数え上げと交差理論の間のギャップを埋める。

1. DR-軌道と一般化マルチスケール微分形式（GMS）:
   著者らは対数スキームの圏内で作業し、ゴムモジュライ空間内の軌道として機能する一般化マルチスケール微分形式の空間 $GMS_\mu$ を利用する。彼らはこの空間の成分を分析し、各レベル通過において大域残留条件（GRC）を課すレベルグラフ $\Gamma$ によってそれらを分類する。

2. 過剰交差解析:
   体積を定義する双対的クラス $\xi^d$ の最高次冪との DR サイクルの交差を計算するために、著者らは詳細な過剰交差計算を行う。彼らは、この頂点交差に非自明に寄与する DR サイクルの成分を特定する。

   • 彼らは、寄与するレベルグラフが 特殊単純スターグラフ と ヒマワリグラフ の二つの特定のタイプのみであることを特定する。
   • 彼らは、これらの成分に関連する過剰バンドルの法則束（normal sheaf）と Chern 多項式を、最高次冪 $\xi^d$ によって「観測される」項まで計算する。

3. 再帰とグラフ対応:

   • $n \ge 4$ の場合: 著者らは、完了体積に関する DGY の再帰的公式の項が、DR サイクル展開におけるヒマワリグラフからの寄与と正確に対応することを示す。
   • $n = 2$ の場合: この場合は、リボングラフにおける非分離静的エッジの存在により技術的に複雑であり、これらが過剰数え上げをもたらす。著者らは、静的エッジを持つリボングラフがどのように縮退するかを分析する。彼らは、これらの縮退した構成と 特殊単純スターグラフ の間の全単射を確立する。彼らは、包含・排除原理と特定の補助関数 $f_2$ を用いた詳細な組合せ論的数え上げを行い、リボングラフアプローチにおける「過剰数え上げされた」項が、DR サイクル公式における特殊単純スターグラフからの寄与と正確に一致することを示す。

主要な貢献と結果

1. 完了体積の同等性（定理 1.1）:
   主要な結果は、DR-完了体積（DR サイクルと双対的クラスの交差として定義される）が、Duriev-Goujard-Yakovlev によって定義された（リボングラフによる）完了体積と正確に一致することを証明することである。
   $$\text{vol}_{DR}(\mu) = \text{vol}(\mu)$$
   この等式は、奇数成分 $m_i > -2$ を持つ二次微分形式のすべてのシグネチャに対して成立する。この証明は、単なる数値的な等式ではなく、二つの再帰的構造間の項ごとの等式を確立する。

2. DR サイクルの構造記述:
   本論文は、体積計算に関連する DR サイクルの成分に対する完全な構造結果を提供する。それは、頂点双対的クラスとの交差が、スター型グラフのみを対象とした以前の理解を精緻化し、特殊スターグラフとヒマワリグラフのみで支持されることを証明する（命題 5.4）。

3. 二特異点の場合の解決:
   著者らは、DGY の作業を完成させ、二つの特異点を持つストラタ（$n=2$）の技術的に困難なケースを解決する。彼らは、この場合の Kontsevich 多項式アプローチにおける「過剰数え上げ」が、長さゼロのエッジ（静的エッジ）に縮退する整数計量を受け入れるリボングラフに起因することを示す。これらの構成は、非分離静的エッジを持つヒマワリグラフに対応し、DR サイクルの枠組みにおいて 特殊単純スターグラフ に写ることが示される。

4. 明示的な再帰的公式:
   本論文は、完了体積に対する統一的な再帰的公式を導出する：
   $$\text{vol}_{DR}(\mu) = \text{vol}(\mu) + \sum_{\Gamma \in SF(\mu) \cup SSStar(\mu)} \frac{1}{\text{Aut}(\Gamma) k^{h_{ab}}} \prod_{e \in E(\Gamma)} \kappa_e \prod_{v \in V(\Gamma)} \text{vol}(\mu_v)$$
   ここで、和はヒマワリグラフ（$SF$）と特殊単純スターグラフ（$SSStar$）の上を走る。

意義と主張
本論文は、DGY によって導入された組合せ論的な「完了体積」に対する厳密な幾何学的基盤を提供すると主張する。これらの体積が DR サイクル上の交差数と等しいことを証明することにより、著者らは以下の点を達成する：

• 交差理論を介した Masur-Veech 体積の計算方法として、DGY のアプローチを正当化する。
• 大種数漸近予想（特に [ADGZZ20]）を調査するための新たな経路を提供する。DR-完了体積は既知の漸近挙動を持つ Chiodo クラスを通じて表現可能であるため、この同等性により、研究者はリボングラフ再帰または Chiodo クラス表現のいずれかを用いて大種数極限を導出できる。
• 二次微分形式の技術的風景を完成させ、特に以前は未解決かつ「厄介な」二特異点の場合を解決する。

著者らは、大種数予想の即座の解決については控えめであり、同等性がそれへの「二重の道」を開くものの、極限の実際の導出には、再帰の逆算または大種数極限における Chiodo 係数の評価のためにさらなる作業が必要であると指摘する。また、DR-完了体積は任意の $k$ と $\mu$ に対して定義され、さらなる計算上の利点をもたらす可能性がある区分的多項式挙動を示すとも述べている。