[論文レビュー] Projective isomorphisms between rational surfaces

Bert Jüttler, Niels Lubbes+1 more|arXiv (Cornell University)|Oct 16, 2020

Advanced Numerical Analysis Techniques参考文献 12被引用数 9

ひとこと要約

本稿では、P² もしくは P¹×P¹ 上のパラメトライゼーションによって与えられる有理的表面間の射影的同型を決定する計算手法を提示する。再パラメトライゼーションと接続理論を用いた次数低減により、問題を5つの基本ケースに還元する。主な貢献は、制御された吹き上げと有理写像に基づく代数的系を解くことでアフィン的、ユークリッド的、メビウス的同型を計算するアルゴリズムであり、ネロン＝セベール格子と正規化除数に関する定理によって正しさが保証される。

ABSTRACT

We present a method for computing projective isomorphisms between rational surfaces that are given in terms of their parametrizations. The main idea is to reduce the computation of such projective isomorphisms to five base cases by modifying the parametric maps such that the components of the resulting maps have lower degree. Our method can be used to compute affine, Euclidean and M\"obius isomorphisms between surfaces.

研究の動機と目的

• P² もしくは P¹×P¹ 上のパラメトライゼーションによって与えられる有理的表面間の射影的同型を計算すること。
• 射影的同型の一般問題を、直線や二次曲線で被覆される表面を含む5つの取り扱いやすい基本ケースに還元すること。
• 代数的制約を用いて射影的同型からアフィン的、ユークリッド的、メビウス的同型を回復可能にする仕組みを提供すること。
• 吹き上げと接続理論を用いて、適合する再パラメトライゼーションの有限次元候補集合を提供すること。

提案手法

• 再パラメトライゼーションと次数低減を用いて、P(f,g) の計算問題を5つの基本ケース（B1–B5）に還元する。
• アルゴリズム1を用いて、定義域の逐次的吹き上げとして、基本モデル bmd f を計算する。この吹き上げにより、パラメトライゼーションの基点が解消される。
• 接続理論とネロン＝セベール格子を用いて、吹き上げと収縮を制御し、適合する再パラメトライゼーションの有限次元候補集合を保証する。
• 動く部分と基本モデルを定義し、成分次数を正規化し、共通因子を除去する。
• リーマン・ロッホの定理とカステルヌオーヴォの収縮定理を用いて、(−1)-曲線を収縮し、表面を最小モデルに低減する。
• 再パラメトライゼーションの候補集合に属する r に対して、g⁻¹∘p∘f = r という条件から導かれる代数的系を解き、明示的な射影的同型を得る。

実験結果

リサーチクエスチョン

• RQ1 有理的表面間の射影的同型は、どのように有限個の基本ケースに還元できるか？
• RQ2 吹き上げと(−1)-曲線の収縮は、適合する再パラメトライゼーションの空間を制御するために果たす役割は何か？
• RQ3 ネロン＝セベール格子と正規化除数は、基本モデルの構造をどのように特徴づけるか？
• RQ4 どのような場合に射影的同型がアフィン的、ユークリッド的、またはメビウス的同型に対応するか？
• RQ5 誘導された写像が基本モデル上で超平面類を保存し、同型の回復を可能にするための条件は何か？

主な発見

• アルゴリズムにより、射影的同型の計算が5つの基本ケース（B1–B5）に還元され、B1–B2は完全に解析済みであり、B3–B5は今後の課題に残されている。
• 射影的同型は、ネロン＝セベール格子における超平面類を保存する表面の自己同型に一致する。
• 基本モデル bmd f はアルゴリズム1により構成され、P² もしくは P¹×P¹ の逐次的吹き上げとして基点が解消される。
• [f]² > 0 である表面に対して、τ(h) > 0 かつ h² > 0 を満たす還元対 (S,h) が存在し、体系的な還元が可能になる。
• h + τ(h)κ = 0 かつ gcd(h) = 1 であるとき、表面は1 ≤ h² ≤ 8の弱デル・ペッツォ表面となり、τ(h) ∈ {1/3, 1/2, 1} に応じて、それぞれ B1、B2、B3 に対応する。
• h₀([f] + κf) > 1 かつ [f]² > ⌊[f] + κf⌋² = 0 であるとき、f は基本ケース B5 によって特徴づけられ、像は二次曲線または直線で被覆される。