Elliptic curve counting in toric threefolds: virtual, enumerative, and tropical

技術要約：トーリック3次元多様体における楕円曲線の計数：仮想的、列挙的、およびトロピカルな観点から

問題設定
本論文は、滑らかなトーリック3次元多様体 $X$ における種数1（楕円）曲線の列挙幾何学を扱う。具体的には、固定された曲線クラス $\beta$ と余次元条件 $\phi$ に対して、2つの異なる計数不変量間の関係を調査する：

1. 列挙的不変量 ($W_{X,\beta}(\phi)$): 固定された曲線条件および点条件を通過する種数1の曲線の整数計数であり、「ウェル・スペーシング（well-spaced）」されたトロピカル曲線を通じて定義される。
2. 仮想的不変量 ($L_{X,\beta}(\phi)$): トーリック境界 $\partial X$ を持つ対 $(X, \partial X)$ に関連する対数グロモフ＝ウィッテン不変量。

中心となる問題は、対数グロモフ＝ウィッテン不変量は一般に列挙的ではないという点である。これには「超過（superabundant）」なトロピカル曲線（期待される変形空間よりも次元が大きいもの）や、列挙的な意味での実際の代数曲線に対応しない境界層からの寄与が含まれる。本論文は、$\mathbb{P}^3$ に対するゲッツラー–パンダリパンドの公式を、任意のトーリック3次元多様体における境界に対する相対的な関係へと一般化し、仮想的計数と列挙的計数の関係を与える明示的な公式を求めるものである。

手法
著者は、トロピカル幾何学と対数退化技術を用いた比較アプローチを採用している：

• トロピカル対応: 列挙的不変量 $W_{X,\beta}(\phi)$ は、$\mathbb{R}^3$ における「ウェル・スペーシング」されたトロピカル曲線の重み付き和として（Cela [14] との先行研究により確立された）トロピカル対応定理を用いて計算される。トロピカル曲線がウェル・スペーシングされているとは、その回路（circuit）を含む任意の平面に対して、回路の近傍がその平面に含まれていないか、あるいは曲線が最小距離において少なくとも3つのエッジを通じてその平面から離脱していることを指す。
• 対数退化: 仮想的不変量 $L_{X,\beta}(\phi)$ は、対数グロモフ＝ウィッテン不変量の分解定理を用いて分析される。これにより、不変量はトロピカル型への和へと分解され、拡張された退化を通じて、各寄与は頂点の寄与へと還元される。
• 層化分析: 論文では、対数安定写像のモジュライ空間と、ウェル・スペーシングされた対数曲線のモジュライ空間を比較している。これらは非超過的な型によって索引付けられる層を共有しているが、超過次元 $e(\gamma) > 0$ を持つ超過的な型については大きく異なることを特定している。
• 超過次元のケース別分析: 著者は、超過次元 $e(\gamma)$ に基づいてトロピカル型を体系的に分析している：
  • $e(\gamma) = 0$: 非超過的な曲線。
  • $e(\gamma) = 1$: 回路が平面内に存在するが、近辺は含まれない曲線。
  • $e(\gamma) = 2$: 回路が直線上に存在する曲線。
  • $e(\gamma) = 3$: 回路が単一の種数1の頂点に縮退している曲線。

主要な貢献と結果

1. 対数的ゲッツラー–パンダリパンド関係式（定理A）:
   主結果は、列挙的不変量と仮想的不変量を結びつける明示的な公式を確立する：
   $$W_{X,\beta}(\phi) = L_{X,\beta}(\phi) + E_1 + \frac{1}{24}E_0$$

   • $E_1$: 超過次元1を持つ、非剛的なウェル・スペーシングされたトロピカル曲線を考慮した補正項。これらは列挙的計数には寄与するが、対数計数では消失する。
   • $E_0$: 種数0のトロピカル曲線から導かれる補正項。これは、エッジ方向の外積の二乗 ($|u_1 \wedge u_2|^2$) とトロピカル多重度 $M_\gamma$ を含む、種数0の型 $\gamma$ および頂点 $v$ に関する重み付き和である。この項は、種数1の頂点が点に縮退すること（超過次元3）から生じる差異を説明する。

2. 消失および寄与の分析:

   • 非超過的な型 ($e=0$): $W$ と $L$ への寄与は一致する。
   • 超過次元 1 ($e=1$): ループ周囲の接着条件が第3の方向において自明となるため、対数的な寄与は消失する（補題 4.3.1）。これにより仮想類は消滅するが、この型のウェル・スペーシングされた曲線は $W$ に寄与し得る。
   • 超過次元 2 ($e=2$): この超過次元（回路が直線上に位置する場合）を持つ剛的なトロピカル型は、特定の幾何学的条件を満たさない限りウェル・スペーシングされた計数には寄与せず、対数的な計数は消失することを示す。
   • 超過次元 3 ($e=3$): 対数的な寄与は非ゼロであり、$-\frac{1}{24}E_0$ に等しい。ウェル・スペーシングされた寄与は、このような曲線が一般的な条件下ではウェル・スペーシングされていないため、消失する。

3. $\mathbb{P}^3$ に対する不等式（系B）:
   $X = \mathbb{P}^3$ に本定理を適用することで、通常のグロモフ＝ウィッテン不変量 ($GW^1_{a,b}$) と対数不変量 ($L_{a,b}$) の間の不等式を導出する：
   $$(d!)^4 GW^1_{a,b} \geq L_{a,b}$$
   この不等式は、次数が十分に大きい場合、特にすべての直線条件を考える場合は $d \geq 3$、すべての点条件を考える場合は $d \geq 4$ において厳密となる。これは、次数が十分に高くなると、通常のグロモフ＝ウィッテン不変量が、トーリック境界に対する対数不変量を厳密に上回ることを示している。

4. 計算フレームワーク:
   論文は、**フロア図（floor diagrams）**を用いて補正項を計算する方法を提供している。

   • $E_0$ は、$E_0$ の公式から導かれる頂点重みを含めるように、Brugallé–Mikhalkin のフロア図の手法を修正することで計算される。
   • 低次（$d=3, 4$）および特定の条件に対する例が示されており、不変量の差が明示的に計算されている。

意義と主張
本論文は、$\mathbb{P}^3$ における楕速曲線のゲッツラー–パンダリパンド関係の「対数的類似物」を提供することを主張しており、これをすべてのトーリック3次元多様体におけるトーリック境界に対する相対的な関係へと拡張している。

• 統一: 本研究は、対数グロモフ＝ウィッテン理論、高次二重分岐サイクル、およびトロピカル列挙を統一する。
• 実現可能性: Speyer のウェル・スペーシング条件（もともとは実現可能性のための道具であったもの）が、仮想的計数を列挙的な整数へと補正するための組合せ論的な公式を生み出すためにどのように使用できるかを実証している。
• 独立性: この結果は、先行研究 [14] に見られる特定の組合せ的多重度には依存せず、むしろモジュライ空間の構造的な比較に基づいている。
• 限界: 論文では、補正項のための理論的枠組みと明示的な公式を提供しているものの、一般的なトーリック多様体における高次種数のための効率的な再帰関係や「フロア分解された」制約を見つけることは、超過的な変形の複雑さゆえに依然として未解決の課題であることを認めている。

本研究は新しい実験的な応用を提案するものではなく、仮想幾何学と列挙幾何学の間の差異を（最初の非自明なケースである次元3の種数1において）具体的に計算する手法を提供することで、両者の間の厳密な理論的架け橋となるものである。