Enumerating log rational curves on some toric varieties

技術要約：一部のトーリック多様体における対数有理曲線の列挙

問題設定
本論文は、滑らかな射影トーリック多様体における、種数0、固定ドメインの対数型グロモフ＝ウィッテン不変量の列挙を扱う。具体的には、最大数の一般な点（general points）を通り、かつトーリック境界に沿って所定の接当次数（tangency multiplicities）を満たす、固定された一般な有理曲線からトーリック多様体 $X$ への写像の数を決定することを目的とする。これらの不変量は「対数テヴェレフ次数（logarithmic Tevelev degrees）」 ($\text{logTev}^X_{\Gamma}$) と呼ばれ、以前は Cela–Iribar L´opez [CIL24] によってトロピカル幾何学を用いて研究され、特定のトーリック多様体に関する予想が立てられていた。著者らは、トロピカルな組合せ論ではなく、直接的な代数幾何学的交差理論を用いて、これらの予想を検証または反証することを目指している。

手法
著者らは、「素朴な対数擬写像（naive log quasimaps）」のモジュライ空間に対する直接的な交差理論的アプローチを採用している。

1. モジュライの構成: 主要な多様体の族 $X_{r,s,a} = \mathbb{P}(\mathcal{O}_s \oplus \mathcal{O}(-a)) \to \mathbb{P}^r$ に対して、著者らは対数写像のモジュライ空間 $M_{\Gamma}(X_{r,s,a})$ のコンパクト化 $Q_{\Gamma}(X_{r,s,a})$ を構築する。この空間は、境界の交点の位置をパラメータ化する、射影直線の直積上の射影束のタワーとして実現される。
2. 素朴 vs 安定: 対数安定写像のモジュライ空間とは異なり、$Q_{\Gamma}$ は境界点の任意の衝突を許容し、安定条件を厳密に強制しないため、「素朴な（naive）」空間となっている。しかし、これは射影束のタワーとして単純な記述が可能であり、明示的な交差計算を容易にしている。
3. 横断性とねじれ（Twisting）: 重要な技術的要素は、入射条件（incidence conditions）の横断性の分析である。著者らは、基点自由（base-point-free; bpf）ではない擬写像を、修正された接当データを持つ写像へと「ねじる（twist）」アルゴリズムを定義する。もし入射軌跡の交わりが空でないならば、それらの写像は特定の次元制約を満たさなければならないことを証明している。そうでなければ、その交わりは空集合となる。
4. 過剰交差（Excess Intersection）: $\mathbb{P}^r$ の吹上げ（blow-up）の場合、著者らは過剰交差公式を利用して、交差数が列挙的でない（すなわち、交わりが既約でないか、期待される支持集合上に存在しない）軌跡からの寄与を計算する。

主要な結果

• 射影束に関する完全な決定: 著者らは、射影束 $X_{r,s,a} = \mathbb{P}(\mathcal{O}_s \oplus \mathcal{O}(-a))$ に関する Cela–Iribar L´opez [CIL24, Conjecture 14] の予想を証明した。彼らは $\text{logTev}^{X_{r,s,a}}_{\Gamma}$ に関する明示的な公式を導出している（Theorem 1.3.1 / Theorem 4.2.1）。

  • この公式は、接当次数 $m_j$ と標識点の数 $n$ に関する特定の不等式（例：$m_j \leq n-1$）が満たされる場合にのみ非ゼロとなる。
  • これらの条件が満たされるとき、不変量は階乗の積、派生した整数 $k_0$ を含む二項係数、および $a$ のべき乗で与えられる。
  • 不等式が成立しない場合、不変量はゼロであることが証明されている。
  • この結果は、既知の既約曲面（Hirzebruch surfaces, $r=s=1$）に関する計算を一般化し、この族のトーリック多様体に対して完全な列挙的回答を提供するものである。

• 吹上げに関する予想の反証: 著者らは、$\mathbb{P}^r$ の $r$ 個のトーリック固定点における吹上げに関する [CIL24, Conjecture 15] を反証した。

  • $\mathbb{P}^2$ の2点における吹上げに焦点を当て、著者らは、予測された値（彼らの素朴なモジュライ空間上のトートロジー的な交差数から導かれたもの）が、必ずしも実際の幾何学的カウントと一致しないことを示す。
  • 彼らは、実際の不変量が非ゼロであるが、予想された値とは異なるという具体的な反例（Theorem 5.2.2）を構築している。
  • この不一致は、素朴なモジュライ空間上の交差数が、列挙的ではない「過剰」な軌跡（切断が恒等的に消滅する箇所）からの寄与を含んでいることに起因する。著者らは、過剰交差公式を用いてこれらの過剰な寄与を明示的に計算し、それらがすべてのケースで消滅するわけではないことを示している。

意義と主張
本論文は、直接的な代数幾何学的手法を用いることで、広範なクラスのトーリック多様体（$X_{r,s,a}$）における列挙問題を解決したと主張している。これは、トロピカルな対応定理の組合せ論的な複雑さを回避するものである。

• 列挙性: 著者らは、非対数的な設定における固定ドメインのグロモフ＝ウィッテン不変量はしばしば列挙的ではない（[BLL+24] で指摘されている通り）が、ここで検討されている対数的な設定は、これらの多様体 $X_{r,s,a}$ に対して列挙的なカウントを与えることを強調している。
• 方法論的貢献: 本研究は、「素朴な対数擬写像」が、境界の振る舞いや過剰交差の寄与を注意深く分析すれば、明示的な計算のための実行可能な枠組みを提供することを確立した。
• 予想の修正: 本論文は、吹上げ空間に関するトロピカルに基づく予測に対して決定的な修正を与えており、固定ドメインの不変量におけるトロピカルな対応は、以前想定されていたよりも繊細な代数幾何学的検証を必要とすることを実証している。

著者らは、すべてのトーリック多様体や高種数の問題を解決したと主張しているのではなく、特定の族 $X_{r,s,a}$ についての完全な解を提供し、吹上げに関する一般的な予想に対する反例を提示している。