Complete quasimaps to $\mathsf{Bl}_{\mathbb{P}^s}(\mathbb{P}^r)$

以下は、Alessio Cela と Carl Lian による論文「Complete Quasimaps to $Bl_s(\mathbb{P}^r)$」の詳細な技術的概要です。

1. 問題提起と動機

この論文で扱われる中心的な問題は、幾何学的 Tevelev 次数（$Tev_{g,n,\beta}^X$）の計算です。これは、種数 $g$ の固定された一般の曲線 $C$ から標的多様体 $X$ への写像 $f: C \to X$ の個数を数えるものであり、$n$ 個の一般点 $p_i$ に対して $f(p_i) = x_i$ という条件（ incidences conditions）を課します。

• 障害： 安定写像のモジュライ空間（$\overline{M}_{g,n}(X, \beta)$）や準写像（$Q_\beta(C, X)$）など、写像のモジュライ空間の従来のコンパクト化は、しばしば数値的な個数を提供できません。これらは交差論的な計算を可能にしますが、得られる積分は通常「仮想」な個数をもたらします。これらの仮想個数には、特異な定義域を持つ写像や、実際の幾何学的な曲線が条件を満たすことに対応しない方法で退化する写像からの寄与が含まれており、境界における過剰交差（excess intersection）が生じます。
• 目標： 著者らは、交差条件が横断的（transverse）であり、かつ誠実な非退化写像の軌跡のみに支えられているような、写像のモジュライ空間の特定のコンパクト化を構成することを目指しています。これにより、自明な交差数が実際の曲線の幾何学的な個数に等しくなることが期待されます。

研究対象となる特定の標的多様体は、線形部分空間に沿った射影空間のブローアップです：
$$X = Bl_s(\mathbb{P}^r)$$
ここで $s \leq r-2$ です。

2. 手法と構成

著者らは、$\mathbb{P}^r$ への準写像に関する先行研究（Lian, 2024）を拡張した完全準写像（Complete Quasimaps）に基づく構成を提案します。手法は主に 3 つの段階で進められます。

A. 拡張準写像と線形系列の包含

標準的な準写像空間 $Q_\beta(C, X)$ から始めるのではなく、著者らは拡張準写像（augmented quasimaps）の洗練された空間 $Q^+_\beta(C, X)$ を導入します。

• 基礎となる幾何学： 非退化写像 $f: C \to X$ は、線形系列の包含（Inclusion of Linear Series, ILS）に対応します。具体的には、写像は次数 $d$ の線形束 $L$、次数 $k$ の有効除数 $D$、および部分空間の包含 $V \subset W$ によって決定されます。ここで、$W \subset H^0(C, L)$ は次元 $r+1$ を持ち、$V \subset H^0(C, L(-D))$ は次元 $r-s$ を持ちます。
• 空間： $Q^+_\beta(C, X)$ は、そのような包含のモジュライ空間 $Gr^{r-s-1}_{d,k}(C)$ 上の射影束として構成されます。この空間は期待される次元を持ち、純粋であることが知られています。

B. ブローアップ戦略（完全準写像）

空間 $Q^+_\beta(C, X)$ には、依然として交差条件が横断的にならない軌跡が含まれています。これらの失敗は、写像を定義する断面が線形従属になる（低い「双ランク」を持つ）ストレイタで発生します。

• 双ランク（Bi-rank）： $(r_1, r_2) = (\dim \langle u_1, \dots, u_{r-s} \rangle, \dim \langle u_1, \dots, u_{r+1} \rangle)$ と定義されます。
• 構成： 著者らは、完全準写像（complete quasimaps）のモジュライ空間 $\widetilde{Q}_\beta(C, X)$ を、$Q^+_\beta(C, X)$ の反復ブローアップとして定義します。
  • ブローアップは、まず $r_1$ によって、次に $r_2$ によって順序付けられた、低い双ランクを持つ拡張準写像のストレイタの閉包に沿って行われます。
  • この過程は、予想よりも大きな次元を持つ成分を「消去」するようにブローアップを行うことで過剰交差を解消し、実質的に非退化写像の空間をコンパクト化します。

C. 交差軌跡

著者らは、$f(p) \in \Lambda$（$\Lambda \subset X$ は線形部分空間）となる軌跡の固有変換として、交差軌跡 $Inc(p, \Lambda) \subset \widetilde{Q}_\beta(C, X)$ を定義します。核心的な予想は、$n$ 個のそのような一般の交差軌跡の交わりが以下の性質を持つというものです：

1. 一般的に滑らかである。
2. 期待される余次元で純粋である。
3. 誠実な非退化写像の開軌跡のみに完全に支えられている。

3. 主要な貢献と結果

主要予想

予想 1.1.2 / 2.7.2： $X = Bl_s(\mathbb{P}^r)$ に対して、幾何学的 Tevelev 次数は、完全準写像のモジュライ空間上の交差類の積の積分によって与えられます：
$$Tev_{g,n,\beta}^X = \int_{\widetilde{Q}_\beta(C, X)} [Inc(p, x)]^n$$
これは $n \geq r+1$（非退化性を保証する）の場合に成り立ちます。

定理 1.1.3（次元 2）

著者らは、$X = Bl_q(\mathbb{P}^2)$（$\mathbb{P}^2$ を 1 点でブローアップしたもの）の場合に予想を証明しました。

• 主要な入力： 証明は、トーリック曲面上の曲線に対する Brill-Noether 定理（定理 4.1.1、彼らの先行研究 [CL25a] から）に依存しています。この定理は、像となる曲線が十分に高い反標準次数を持つ場合、$\mathbb{P}^2$ の特定のトーリックブローアップへの写像のモジュライ空間が一般的に滑らかであり、期待される次元を持つことを保証します。
• 横断性： ブローアップのストレイタ（特に双ランク $(1,1)$ と $(1,2)$ の軌跡）を分析し、Brill-Noether の結果を用いることで、交差軌跡が横断的に交わり、境界に過剰な成分を獲得しないことを示しています。

集合論的記述

論文は、$\widetilde{Q}_\beta(C, X)$ の点および交差軌跡の明示的な集合論的記述を提供しています。

• exceptional 除数上の点は、完全双写像（complete bi-collineations）を通じて記述されます。これは完全写像の一般化であり、写像の断面から導かれるベクトル空間間の線形写像の列を含み、断面の退化性を解消します。
• $X = Bl_q(\mathbb{P}^2)$ の場合、著者らは交差軌跡と exceptional 除数との交わりを明示的に特徴付け、 marked point における断面の「消滅」がブローアップデータによってどのように解消されるかを示しています。

他のモジュライ空間との関係

著者らは、$\widetilde{Q}_\beta(C, X)$ を以下の空間と比較します：

1. 標準準写像（$Q_\beta$）： これらは予期せぬ次元の成分を持ち、数値的個数と一致しない仮想類を持つ可能性があります。
2. 単純準写像（$P$）： 以前の研究 [CL23a] で「大きな次数」の計算に用いられた空間です。

• 結果： 「大きな次数」の領域（$n > d+1$）では、$\widetilde{Q}_\beta$、$Q^+_\beta$、および $P$ 上の交差数は一致し、数値的です。しかし、標準的な空間で横断性が失敗する小さな $n$ の場合、正しい数値的個数を与えることが期待されるのは完全準写像空間 $\widetilde{Q}_\beta$ のみです。

4. 意義と今後の方向性

• 過剰交差の解消： この論文は、射影空間のブローアップに対する数値幾何学における「過剰交差」の問題を解決するための具体的な幾何学的構成を提供します。特定のクラスの標的に対して、仮想個数から実際の幾何学的個数へと移行します。
• Brill-Noether 理論： この研究は、トーリック多様体への写像に対する新しい Brill-Noether 定理の必要性を浮き彫りにしています。次元 2 での証明は曲面の特定の性質に依存しており、一般の場合には高次元トーリック多様体に対する適切な類似が必要です。
• 今後の作業：
  • 高次元： 著者らは、$r > 2$ の $X = Bl_s(\mathbb{P}^r)$ に対する予想の証明には、高次元トーリック多様体への写像に対する「点付き Brill-Noether 定理」が必要であると特定しています（質問 5.2.2）。
  • 計算： モジュライ空間の存在と横断性は確立されました（次元 2 において）が、積分（実際の Tevelev 次数）の明示的な計算は、おそらく退化手法を利用した今後の研究に委ねられています。

要約すると、この論文は、射影空間のブローアップへの写像に対する「真の」数値的コンパクト化の候補となる完全準写像の堅牢なモジュライ空間を導入します。高度な Brill-Noether 理論を活用することで曲面に対してこれを成功裏に証明し、高次元における同様の問題を解決するための道筋を提供しています。