Newton-Okounkov Bodies and Jet Separation: Canonical-Free and Multipoint Generalizations

技術的概要：ニュートン・オクンコフ体とジェット分離：標準的因子からの解放と多点的一般化

問題提起
本論文は、滑らかな射影多様体上の$k$-ジェット分離（およびそれに伴う$k$-ジェット増大性）の有効な基準を、ニュートン・オクンコフ（NO）体の凸幾何学を用いて確立する問題に取り組む。具体的には、点における無限小ニュートン・オクンコフ体への逆転した標準単体の包含に依存する、Küronya と Lozovanu による既存のジェット分離基準を一般化することを目的とする。

既存の基準（論文の定理 1.1、[15] を引用）は、点$x$における除子$D$の無限小 NO 体に、サイズ$n+k+\varepsilon$の逆転した標準単体が含まれている場合、随伴束$K_X + D$が$x$において$k$-ジェットを分離するというものである。本論文は、この既存の枠組みに以下の 3 つの限界を指摘し、現在の研究を動機づけている：

1. 標準因子への依存性：この基準は除子$D$そのものではなく$K_X + D$に適用されるため、$D$に関する正性問題への直接的な適用を複雑にしている。
2. 単一点への制限：この基準は単一の点に対して定式化されているが、多くの幾何学問題（例えば、Matsusaka の大定理など）は、複数の指定された点での同時ジェット分離を必要とする。
3. 計算可能性の欠如：$K_X$への依存は、特定のジェット分離特性を達成するために$D$に必要な有効な境界を不明瞭にすることが多い。

方法論
本論文は、ニュートン・オクンコフ体の理論を採用し、特に無限小および多点NO 体の枠組みを拡張している。方法論は以下の構成要素を統合している：

• 無限小および多点 NO 体：著者らは、点におけるブローアップに対応する無限小旗に関連する NO 体の構成を利用し、Trusiani [13] の枠組みを通じてこれを多点構成へ拡張する。これには、異なる点で切断を区別する評価に基づいた graded 半群を定義することが含まれる。
• 凸幾何学と単体の包含：核心的な幾何学的条件は、関連する NO 体の中に逆転した標準単体$\Delta^{-1}_{n+k+\varepsilon}$が含まれることである。本論文は、この単体のサイズとジェット分離の次数との関係を利用している。
• 消滅定理：証明は、漸近的乗数イデアルに対するNadel 消滅定理に大きく依存している。戦略としては、原点がその NO 体に含まれるような補助除子$B$を構成し、漸近的基底軌道がブローアップの例外除子を避けるようにする。これにより、ジェット分離に必要な制限写像の全射性を証明するために消滅定理を適用できる。
• 部分加法性と平行移動：標準的因子からの解放に関する結果については、NO 体の部分加法性および ample 除子の NO 体が原点を含むという事実を用いる。これにより、「標準的因子から解放された」除子からの条件を、消滅定理で要求される随伴束へ変換することが可能になる。

主要な貢献と結果
本論文は、Küronya-Lozovanu 基準を一般化する 3 つの主要な定理を提示する：

1. 標準的因子からの解放されたジェット分離（定理 3.1）：
   著者らは、ample 除子$D$と点$x$に対して、$D$のみに依存する計算可能な整数$m(D)$が存在し、サイズ$n+k+\varepsilon$の逆転した標準単体が$m\pi^*(D)$の NO 体に含まれているならば、除子$(m + m(D)) \cdot D$が$x$において$k$-ジェットを分離することを証明する。これにより、最終的な結論における$K_X$への明示的な依存性が除去され、$D$に対する直接的な基準が提供される。

2. 多点ジェット分離（定理 3.3）：
   この基準は、異なる滑らかな点の集合$Z = \{p_1, \dots, p_N\}$へ拡張される。サイズ$n+k+\varepsilon$の逆転した標準単体が、すべての$j$に対して多点無限小 NO 体$\Delta_{\tilde{Y}_\bullet, j}(\pi^*(D))$に含まれている場合、$K_X + D$は$Z$内のすべての点で同時に$k$-ジェットを分離する。

3. 標準的因子からの解放された多点ジェット分離（定理 3.4）：
   前述の 2 つの一般化を組み合わせ、本論文は、$(m + m(D)) \cdot D$という形の除子に対して、複数の点での同時$k$-ジェット分離の基準を確立する。この結果は、最終的な記述において随伴束に依存することなく、凸幾何学を通じて正性の現象を検証するための計算枠組みを提供する。

明示的な計算と応用
これらの基準の有効性を示すために、本論文は2 つの楕円曲線の積の 2 重被覆（$Y \to E \times E$）に対する明示的な計算を提供する。

• 著者らは、$m(D_\ell)D_\ell - K_Y$を ample にするための閾値$m(D_\ell)$を計算する。
• 彼らは、アーベル曲面基底上の Seshadri 定数を用いて、関連する NO 体のサイズを計算する。
• その結果、具体的な数値境界が得られる：$(\ell^2 - 2\ell + 7)D_\ell$は、2 重被覆上で 1-ジェット増大（非常に増大）である。これは、必要な倍数がジェット次数と被覆のパラメータとともにどのように増大するかを示している。

重要性
本論文は、以下の点でジェット分離に対する組合せ論的および凸幾何学的基準を提供する点に重要性を主張している：

• 標準的因子からの解放：$K_X + L$ではなく、線形束$L$そのものへの直接的な適用を可能にする。
• 多点性：Matsusaka の大定理のような大域的な正性問題に不可欠な、複数の点での同時分離を処理できる。
• 計算可能性：2 重被覆の場合で示されたように、特定の幾何学的例に対して計算可能な明示的な境界（$m(D)$を通じて）を提供する。

この研究は、線形束の有効な正性に関する代数幾何学の古典的問題を解決するために凸幾何学（NO 体）を用いるという哲学に貢献している。それは、無限小および多点評価のレンズを通じて、局所的な正性の概念（ジェット分離）と大域的な幾何学的不変量との間の溝を埋めている。