[論文レビュー] Birational involutions of P^2

Lionel Bayle, Arnaud Beauville|ArXiv.org|Jul 6, 1999

Algebraic Geometry and Number Theory参考文献 4被引用数 57

ひとこと要約

本稿は、射影平面 ℙ² の双有理的対合の、同型類による完全かつ明確な分類を提供する。すべてのこのような対合が、ちょうど三つのタイプのいずれかに同型であることを示しており、それらは De Jonquières 対合、Geiser 対合、Bertini 対合である。この分類は、モーリー理論と有理的曲面上の正則的対合の研究に依拠しており、固定曲線が同型類をパラメトライズする主要な不変量として機能する。

ABSTRACT

We give a "modern" version, based on Mori theory, of the classification of birational involutions of P^2 up to conjugacy. The result has been known for more than one century but the classical proofs are not always convincing.

研究の動機と目的

• ℙ² の双有理的対合の、同型類による完全かつ重複のない分類を提供すること。
• 先行の分類の限界を解消するために、特異的固定曲線を除外し、一意性を保証すること。
• 同型類の対合と、それらの正規化された固定曲線の同型類との間の明確な対応を確立すること。
• モーリー理論と有理的曲面上の正則的幾何を用いて、分類問題を最小対 (S,σ) に還元すること。

提案手法

• ℙ² の双有理的対合の分類を、有理的曲面 S と正則的対合 σ を持つ最小対 (S,σ) の分類に還元する。
• モーリー理論を用いて、σ によって固定されるピカール群 Pic(S)^σ を分析し、Pic(S)^σ のランクに応じて場合分けを行う。
• 主に二つのケースを特定する：Pic(S)^σ のランクが 1 より大きい場合（基点のない線形系を通じて De Jonquières 対合が得られる）、およびランクが 1 の場合（格子論的議論を通じて Geiser および Bertini 対合が得られる）。
• 基本変換と吹き上げ／吹き下ろしを用いて構成を正規化し、ℙ² や ℱ₁、またはデル・ペッツォ表面といった標準的表面に還元する。
• 特異点を持つ曲線（特に通常の多重点を持つ曲線）を重点的に分析することで、特異点を解消し、明示的な双有理的モデルを構成する。
• 正規化された固定曲線を介して、同型類と対合の同型類との間の全単射対応を確立する。

実験結果

リサーチクエスチョン

• RQ1 ℙ² の双有理的対合の完全かつ重複のない同型類とは何か？
• RQ2 先行研究における重複を引き起こす特異的固定曲線を除外することで、分類をどのように明確化できるか？
• RQ3 固定曲線は、双有理的対合の同型類をパラメトライズする上で果たす役割は何か？
• RQ4 （例えば線形系、特異点、標準的モデルなど）どのような幾何的構造が三つのタイプの対合を特徴付けるか？
• RQ5 Geiser 対合と Bertini 対合は、デル・ペッツォ表面や特異的二次曲面への二重被覆としてどのように生じるか？

主な発見

• ℙ² のすべての双有理的対合は、ちょうど三つのタイプのいずれかに同型である：De Jonquières 対合、Geiser 対合、Bertini 対合。
• 次数 d の De Jonquières 対合は、d≥3 のとき、 genus d−2 の双曲的曲線の同型類と一対一に対応する。
• Geiser 対合は、genus 3 の非双曲的曲線の同型類と一対一に対応する。
• Bertini 対合は、genus 4 の非双曲的曲線の同型類と一対一に対応し、その標準的モデルは特異的二次曲面上にある。
• すべての次数 2 の De Jonquières 対合は線型自己同型により同型であり、一つの同型類を形成する。
• 次数 g+2 の De Jonquières 対合の正規化固定曲線は、単一の通常の g 重点を持ち、他の特異点を持たない平面曲線である。