[論文レビュー] Enumeration of $n$-fold tangent hyperplanes to a surface

Israel Vainsencher|ArXiv.org|Dec 21, 1993

Advanced Combinatorial Mathematics参考文献 16被引用数 87

ひとこと要約

本稿では、滑らかな射影的表面上の $n$-次元線型系における $n$-ノード曲線の数を数える明示的公式を提示し、ノードを超える特異点を同定する反復的ブローアップに基づくアプローチを用いる。主な貢献は、一般の5次三様体における有理（特異）平面5次曲線の正確な数 17,601,000 を得たことで、代数幾何学における長年の枚証的問題を解決した点にある。

ABSTRACT

For each $1\leq n\leq6$ we present formulas for the number of $n-$nodal curves in an $n-$dimensional linear system on a smooth, projective surface. This yields in particular the numbers of rational curves in the system of hyperplane sections of a generic $K3-$surface imbedded in \p{n} by a complete system of curves of genus $n$ as well as the number {\bf17,601,000} of rational ({\em singular}) plane quintic curves in a generic quintic threefold.

研究の動機と目的

• 滑らかな射影的表面上の $n$-次元線型系における $n$-ノード曲線の数の明示的公式を導出すること（$1 \leq n \leq 6$）。
• 一般の5次三様体における有理（特異）平面5次曲線の枚証的問題を解決すること。
• ノードより深刻な特異点からの寄与を同定する手法を開発し、古典的多重点公式の失敗を是正すること。
• 特異点同定の有効性条件を精緻化することで、既存の公式を $n \leq 3$ を超えて拡張すること。
• 特に $n=4,5,6$ の場合に、シューベルト・パッケージを用いた計算フレームワークを提供し、結果の検証を可能とすること。

提案手法

• 特異点の深さを段階的に追跡する反復的ブローアップ手順を用いる：曲線 $C$ から出発し、各特異点 $y_1, y_2, \dots$ をブローアップし、それぞれの段階で高次な多重度を確認する。
• 特異点の型を、$m_i$ を第 $i$ 無限近傍点における多重度とする列 $\underline{m} = (m_1, \dots, m_r)$ で定義する。
• 各 $y_i$ が $C$ の第 $i$ 回ブローアップにおける特異点であるような $(C, y_1, \dots, y_n)$ の系列の空間上でゼロサイクルの次数を計算する。この際、正確な多重度条件を課す。
• 標準的多重点公式が破綻する非ノード特異点（例：三重点、高次特異点）からの寄与を分離・計算する、新規の技術を導入する。
• 有効性条件を鋭くし、関連する部分集合が有限であることのみを要件とし、滑らかさや横断的性質を仮定しない。
• シューベルト・パッケージによる記号的計算を用い、主な例の検証およびチャーン類やグラスマン多様体上の積分などの不変量の計算を行う。

実験結果

リサーチクエスチョン

• RQ1 一般の5次三様体に埋め込まれた $\mathbb{P}^4$ 内の有理（特異）平面5次曲線の数は何か？
• RQ2 滑らかな射影的表面上の $n$-次元線型系における $n$-ノード曲線の数を $n = 4,5,6$ に対してどのように計算できるか？
• RQ3 多様な接超平面の文脈において、$n \geq 4$ 時に古典的多重点公式がなぜ失敗するのか？
• RQ4 非ノード特異点（例：三重点）が $n$-ノード曲線総数に与える寄与は何か？
• RQ5 反復的ブローアップとゼロサイクル次数の手法を用いて、$n \geq 4$ の場合に、有限かつ明確な部分集合を持つセベリ度を計算できるか？

主な発見

• 一般の5次三様体における有理（特異）平面5次曲線の数は正確に 17,601,000 個である。
• $n=4$ の場合、$\mathbb{P}^4$ に完全線型系により埋め込まれた $K3$ 表面の4ノード超平面切断の数は 1,760,100 個である。
• $n=5$ の場合、$\mathbb{P}^5$ に埋め込まれた $K3$ 表面の5ノード超平面切断の数は 176,010 個である。
• $n=6$ の場合、$\mathbb{P}^6$ に埋め込まれた $K3$ 表面の6ノード超平面切断の数は 17,601 個である。
• 有理曲線が指定された双次数と点条件を満たす二次曲面における $\Delta_{3,3} = 17601$、$\Delta_{2,5} = 176010$、$\Delta_{3,4} = 1760100$ を正しく計算できた。
• シューベルト・パッケージによる記号的計算により公式が検証され、$n=4,5,6$ においてロペスやチリベルトの予想との乖離が特定された。