[論文レビュー] Degenerations of Planar Linear Systems

Ciro Ciliberto, Rick Miranda|ArXiv.org|Feb 21, 1997

Algebraic Geometry and Number Theory参考文献 5被引用数 37

ひとこと要約

本稿では、一般点における指定された多重度をもつ平面曲線の線型系の次元を計算するための退化技法を導入し、多重度が3以下のすべての準同型線型系が非特異または(-1)-特異であると分類することに成功した。この手法は、平面を組合せ的構成に退化させ、横断性およびクレモナ変換を用いて再帰的アルゴリズムを構築し、すべてのこのような線型系について次元を完全に特定する。

ABSTRACT

Fixing $n$ general points $p_i$ in the plane, what is the dimension of the space of plane curves of degree $d$ having multiplicity $m_i$ at $p_i$ for each $i$? In this article we propose an approach to attack this problem, and demonstrate it by successfully computing this dimension for all $n$ and for $m_i$ constant, at most 3. This application, while previously known (see \cite{hirschowitz1}), demonstrates the utility of our approach, which is based on an analysis of the corresponding linear system on a degeneration of the plane itself, leading to a simple recursion for these dimensions. We also obtain results in the ``quasi-homogeneous'' case when all the multiplicities are equal except one; this is the natural family to consider in the recursion.

研究の動機と目的

• 一般点における指定された多重度をもつ平面曲線の線型系の次元を系統的に計算するための手法を開発すること。
• 多重度が3以下のすべての準同型線型系を非特異または(-1)-特異に分類すること。
• 平面の退化と制限された線型系の横断性に基づく再帰的枠組みを確立すること。
• すべての多重度 ≤3 の特異線型系が、基底集合内に複数の(-1)-曲線を含むことによって説明可能であることを証明すること。
• m ≤ 3 の場合の準同型ケースにおける特異線型系の完全な分類を提供すること。

提案手法

• 著者たちは、射影平面を有理的表面の和に退化させ、特異ファイバー上の線型系を解析する。
• 制限線型系が適切に交わることを保証するため、横断性定理を適用し、再帰的次元計算を可能にする。
• この手法は、基底点での平面の吹き上げを分析し、例外的除法をもつ有理的表面上の問題に変換することに依存する。
• 特に m₀ が大きい場合に、多重度の大きな線型系を簡略化するためにクレモナ変換が用いられる。
• 鍵となる技術的道具は、(-1)-曲線に線型的に同型な基底成分をもつ線型系の分類である。
• 非特異性を検出するために、仮想次元 v と期待次元 e を用い、非特異性は吹き上げ表面上の h¹ が消えることと同値である。

実験結果

リサーチクエスチョン

• RQ1 次数 d で1点における多重度が m₀、他の n 個の一般点における多重度が m である平面曲線の線型系の次元は何か？
• RQ2 このような線型系が非特異であるとは、すなわち課せられた条件が独立に作用するとは、いつか？
• RQ3 どの線型系が特異であり、特異性を引き起こす幾何的特徴（例：基底成分）は何か？
• RQ4 すべての多重度 ≤3 の特異線型系は、基底集合内に複数の(-1)-曲線が存在することによって分類可能か？
• RQ5 退化手法は、このような線型系の次元を計算する再帰的アルゴリズムをもたらすか？

主な発見

• 多重度が3以下のすべての準同型線型系は、非特異または(-1)-特異に分類され、後者は基底集合内に複数の(-1)-曲線を含むことによって生じる。
• m ≤ 3 の場合、L(d, m₀, n, m) の次元は、退化と横断性に基づく再帰的アルゴリズムによって完全に決定される。
• m = 3 の場合、唯一の可能な特異線型系は(-1)-特異なものであり、これらは論文の第7節に完全に列挙されている。
• この手法により、すべての多重度 ≤3 の特異線型系が(-1)-特異条件によって説明可能であることが証明され、準同型ケースにおける重要な予想が裏付けられた。
• 仮想次元 v は非特異性の予測に用いられ、実際の次元 ℓ は再帰により計算され、h¹ が消えることと、線型系が非特異であることとが同値である。
• 本稿では、m₀ が大きい線型系はクレモナ変換により解析可能であり、再帰的枠組みにおける帰納法の実行が可能であることが示された。