Upper bounds for logarithmic Gromov-Witten invariants of projective space

論文概要：射影空間の対数グロモフ・ウィッテン不変量の上界

1. 研究の背景と問題設定

• 対数グロモフ・ウィッテン理論 (Logarithmic Gromov-Witten Theory):
  滑らかな射影多様体 $X$ と、その単純正規交差 (SNC) 除数 $D$ に対して定義される理論。ここでは、曲線 $C$ から $X$ への写像 $f: C \to X$ を数え上げ、指定された点 $p_i$ が $D$ の成分 $D_j$ と特定の接触次数 (tangency order) $\alpha_{ij}$ で接する条件を課す。
• 対象とする空間:
  本論文では、$X = \mathbb{P}^k$（$k$ 次元射影空間）とし、$D$ をそのトーリック境界（座標超平面の和）$\partial \mathbb{P}^k$ として扱う。
• 目的:
  種数 0 の主不変量（primary invariants）$\langle \gamma_1, \dots, \gamma_n \rangle_{0, \alpha}^{\mathbb{P}^k | \partial \mathbb{P}^k}$ に対する上界を導出すること。特に、接触次数 $\alpha_{ij}$ に対して多項式的な上界を求め、その次数がマークされた点の数 $n$ に依存することを示す。

2. 主要な結果 (Main Result)

定理 1.1:
$k$ 次元射影空間 $\mathbb{P}^k$ において、$n$ 個のマークされた点を持ち、接触次数 $\alpha_{ij}$ が与えられたとき、少なくとも 1 つのマークされた点がトーラス（境界に接していない点）に写像されていると仮定する。
各マーク $i$ に対して $\alpha_i^{\max} = \max_j \alpha_{ij}$ と定義し、$\nu$ を境界に接していない点における挿入（insertion）の最大余次元とする。このとき、以下の不等式が成り立つ：

$$\langle d_1H^{\nu_1}, \dots, d_nH^{\nu_n} \rangle_{0, \alpha}^{\mathbb{P}^k | \partial \mathbb{P}^k} \leq d_1 \cdots d_n \binom{n - 3 + k - \nu}{n - 3} \left( \sum_{i=1}^n \alpha_i^{\max} \right)^{n-3}$$

ここで、$H$ は $\mathbb{P}^k$ の超平面類である。

• 特徴: 上界は接触次数の和の $(n-3)$ 乗に比例する多項式であり、$n$ が増えるほど緩やかになるが、計算可能性を保証する。
• 具体例:
  • 最大接触 (Maximal Contact): 境界と最大次数で接する曲線の数について、$( (k+1)d )^k$ という上界が得られる。
  • 特性数 (Characteristic Numbers): 平面曲線 $N_d$（$3d-1$ 点を通る有理曲線の数）について、$N_d \leq \frac{(3d)^{6d-4}}{(d!)^3}$ という新しい上界が導かれる。

3. 手法と証明の概要 (Methodology)

証明の核心は、対数安定写像のモジュライ空間を、射影空間の積としてコンパクト化し、その交点理論の「正性 (positivity)」を利用することにある。

• ステップ 1: 代替コンパクト化 (Alternative Compactification)

  • 通常、対数グロモフ・ウィッテン不変量は、対数安定写像の空間 $\overline{M}_{0, \alpha}(\mathbb{P}^k, \partial \mathbb{P}^k)$ 上の仮想基本類 (virtual fundamental class) を用いて定義される。
  • しかし、種数 0 の場合、あるマークされた点が境界に接していない（トーラスに写る）という条件があれば、モジュライ空間は $\overline{M}_{0, \alpha}(\mathbb{P}^k, \partial \mathbb{P}^k) \cong M_{0, n} \times T$ （$T$ は大域トーラス）と同型であることが知られている（Proposition 2.4）。
  • 著者は、この空間を $\mathbb{P}^{n-3} \times \mathbb{P}^k$ の開部分集合として埋め込む。具体的には、$M_{0, n}$ を $\mathbb{P}^{n-3}$ の開集合、$T$ を $\mathbb{P}^k$ の開集合として扱う。

• ステップ 2: 交点の正性 (Positivity of Intersections)

  • 射影空間の積 $\mathbb{P}^{n-3} \times \mathbb{P}^k$ における交点理論は単純であり、特に接束が大域的に生成される（globally generated）ため、交点数は非負となる（Theorem 2.6）。
  • 元のモジュライ空間内での交点（不変量そのもの）は、この大空間における交点の一部に過ぎない。大空間での交点には、境界（compactification の付け足し部分）からの寄与が含まれる。
  • 正性の定理により、境界からの寄与は負にならないため、**「大空間での交点数 $\geq$ 元のモジュライ空間での交点数（不変量）」**という不等式が成立する。

• ステップ 3: 具体的な計算

  • 評価写像 (evaluation map) の逆像を定義する多項式の次数を計算する。
  • 接触次数 $\alpha_{ij}$ と座標変換を用いて、評価写像の逆像が定義する多項式の次数（bidegree）を評価し、最終的な上界式を導出する（Proposition 3.6）。

4. 技術的貢献と新規性

1. 仮想基本類の回避: 種数 0 のトーリック対の場合、仮想基本類の複雑な構造を直接扱わず、射影空間の積への埋め込みと古典的な交点理論を用いることで、より直感的かつ代数的なアプローチを確立した。
2. 明示的な多項式上界: 接触次数に対して明示的な多項式上界を提供した。これは、従来の再帰的計算や tropical 幾何による数え上げとは異なる、解析的な制御手段となる。
3. 正性の利用: 射影空間の接束の正性（positivity）を、交点理論における「負の寄与の排除」という観点から応用した。これは、代数的幾何における量的な評価問題に対する新しい手法の提示である。

5. 意義と将来展望

• 理論的意義: 対数グロモフ・ウィッテン不変量の複雑さを、より単純な射影空間の幾何学に還元する手法を示した。
• 応用範囲: この手法は、有理モジュライ空間上での交点計算、あるいは接束が大域的に生成される多様体（全体的に生成される接束を持つ多様体）への拡張が可能である。特に、すべての滑らかなトーリック多様体に対する種数 0 の対数グロモフ・ウィッテン不変量の上界が得られることが期待される。
• 具体例との比較: 論文の最後では、$\mathbb{P}^2$ における既知の値（トロピカル幾何を用いた計算値）と比較し、得られた上界が定数倍のオーダーで正しいことを確認している。マークされた点の数が増えるにつれて上界は緩やかになるが、計算可能性の保証という点で重要である。

結論

本論文は、射影空間の対数グロモフ・ウィッテン不変量に対して、接触次数の多項式で抑えられる明確な上界を初めて導出した。その鍵となるのは、モジュライ空間を射影空間の積としてコンパクト化し、その交点理論の正性を利用するという、幾何学的に明快なアプローチにある。この結果は、より一般的なトーリック多様体や、有理曲線の数え上げ問題における量的評価の基礎となる。