Interpolation for rational curves with secants

技術要約：割線を持つ有理曲線に対する補間

問題設定
本論文は、割線条件（secancy condition）を伴う射影空間 $\mathbb{P}^r$ 内の有理曲線の補間問題に取り組んでいる。具体的には、整数 $d, k, r, s$ および線形空間 $P_s \subset \mathbb{P}^r$ が与えられたとき、次数 $d$ の有理曲線 $f: \mathbb{P}^1 \to \mathbb{P}^r$ であって、$P_s$ と多重度 $k$ で交わり、かつ $n$ 個の一般な点 $x_1, \dots, x_n$ を通るものの存在および計数について調査している。本研究では、以下の2つのシナリオを検討する：

1. 非指定点（Unprescribed points）: 一般的なそのような曲線が通過できる一般な点の最大数はいくつか（問い 1.1.1(a)）。
2. 指定点（Prescribed points）: $f(p_i) = x_i$ となるような一般な $p_i \in \mathbb{P}^1$ の最大個数はいくつか（問い 1.1.1(b)）。

幾何学的には、これらの問いはブローアップ $X_{r,s} = \text{Bl}_{P_s}(\mathbb{P}^r)$ を用いて再定式化される。$P_s$ と多重度 $k$ で交わる曲線は、次数 $(d, k)$ の写像 $f: \mathbb{P}^1 \to X_{r,s}$ に対応する。これらの問いは、このような写像のモジュライ空間からターゲット空間への評価写像（evaluation maps）が優位（dominant）であるかどうかを判定することに帰着する。

手法
著者らは、一般的な写像 $f$ に関連付けられた2つの特定のベクトル束の分裂型（splitting types）を分析することで、これらの問いの答えを決定している：

• 法束（Normal bundle） $N_{C/X_{r,s}}$：これは、周囲の空間内における曲線の変形を制御する（非指定点に関連する）。
• 制限接束（Restricted tangent bundle） $f^* T_{X_{r,s}}$：これは、固定されたドメイン点を持つ写像の変形を制御する（指定点に関連する）。

中心的な技術的ツールは、「バランス性（balancedness）」という性質である。$\mathbb{P}^1$ 上のベクトル束がバランスしているとは、次数が高々1だけ異なる線束の直和として分裂することを意味する。標数0において、ベクトル束がバランスしていることは、それが補間特性（すなわち、セクションが期待通りに一般な点で消滅すること）を満たすことと同値である。著者らは、追加の障害が発生する標数2を含む、任意の標数へのこれらの結果の拡張を行っている。

主要な手法は**退化（degeneration）**である。著者らは、特異なノードを持つ曲線 $C = C' \cup L$（ここで $L$ は特定の次数の直線）を構成し、これらの特異な曲線の法束と接束を分析する。**基本変形（elementary modifications）とポインティング・バンドル（pointing bundles）**の理論を用いることで、特異な曲線の束を、滑らかな成分の束に関連付ける。特異な曲線から一般的な滑らかな曲線への性質を導出するために、補間が平坦な族において開条件であることを証明することで、これを行う。

主な技術的ステップは以下の通りである：

• 帰納的ステップ: 次数が $(d, k)$ の束がバランスしている（または「ほぼバランスしている」）ならば、次数 $(d + r - s - 1, k + 1)$ の束もまたバランスしていることを確立する。これには、曲線に特定の構成の直線を加える操作が含まれる。
• 障害分析: バランス性が崩れる特定の幾何学的および算術的な条件を特定する。これらには以下が含まれる：
  • 退化（Degeneracy）: 曲線の像が適切な線形部分空間に含まれる場合。
  • 射影列（Projection Sequences）: 相対接束の傾きが射影の法束に対して大きすぎる場合、拡張列が不均衡な形で分裂する。
  • 標数2の障害: 標数2における、フロベニウス写像と次数のパリティに関連する特定の失敗。これらは、傾きの条件を満たしていてもバランス性を妨げる。

主要な貢献と結果

1. 法束の完全な決定:
   本論文は、任意の標数における $X_{r,s}$ 内の一般的な有理曲線に対する法束 $N_{C/X_{r,s}}$ の分裂型の完全な分類を提供している。

   • 標数 $\neq 2$: 束がバランスしているための必要十分条件は、曲線が非退化であり、かつ次数 $d$ が特定の下限 $d \ge L_{r,s}(k)$ を満たすことである。$d$ がこれより小さい場合、束は相対接束と射影の法束の直和として分裂し、不均衡となる。
   • 標数 2: 著者らは、射影列の分裂だけでなく、周囲の射影空間 $\mathbb{P}^r$ から継承される障害（具体的には $(r-1) \nmid (d-1)$ の場合）や、$d$ と $k$ に関する特定の算術的条件によって、バランス性が失われることを特定した。定理 1.4.3 は、これらが唯一の障害であることを述べている。

2. 制限接束の完全な決定:
   本論文は、すべての標数において制限接束 $f^* T_{X_{r,s}}$ の分裂型を決定している。

   • 法束とは異なり、制限接束がバランスしているための必要十分条件は、$d, k, r, s$ に関する特定の不等式（$d \ge L^t_{r,s}(k)$）が成立することである。この条件は、すべての標数において一様である。
   • この結果は、一般的な曲線が通過できる指定点の最大数が、標数に関わらず、制限接束の傾きによって一様に決定されることを示唆している。

3. 計数結果（テヴェレフ次数 / Tevelev degrees）:
   付録において、著者らは、点の数が最大である場合の、このような補間曲線の数を計数している。彼らは $X_{r,s}$ の「テヴェレフ次数」を計算し、$n$ 個の一般な包含条件を満たす写像の数を与える公式を提示している。これにより、以前の $s=0$ の結果を回収し、高次元の線形空間へと一般化している。

意義と主張
本論文は、任意の標数における割線を持つ有理曲線の補間問題を解決したと主張している。その意義は以下の点にある：

• 一様性: 指定点問題（問い 1.1.1(b)）の答えは標数に関して一様であるが、非指定点問題（問い 1.1.1(a)）は標数2において異なる挙動を示すことを確立した。
• 完全性: バランス性に対する障害の全リストを提供し、標数2において、バランス性の失敗が射影列の分裂または周囲の射影空間からの不均衡性の伝播によって完全に説明されることを示した。
• 一般化: 有理曲線（$k=0$）に関する既知の結果を、より複雑な設定である、射影空間のブローアップ上の割線条件を持つ曲線（$k>0$）へと拡張した。

著者らは、焦点は有理曲線に置いているが、その手法と問いは正の種数を持つ一般的な曲線にも関連していることを明記しているが、それらのケースについては本研究では扱っていない。結果は、実験データや未証明の予想に頼ることなく、代数幾何学のテクニック、特にモジュライ空間、ベクトル束理論、および退化の議論を用いて厳密に導出されている。