[論文レビュー] Variations on Log Sarkisov Program for Surfaces

Adrien Dubouloz, Stéphane Lamy|ArXiv.org|Feb 18, 2008

Geometric Analysis and Curvature Flows参考文献 13被引用数 3

ひとこと要約

本稿では、境界除集合が既約である滑らかな準射影的表面に対して、すべての吹き上げと収縮が境界上に発生するような基本的リンクへの自己同型の分解を可能にする、対数サルキソフプログラムを提示する。主な貢献は、コンパクト化が滑らかである場合に限り有効な、このような分解を用いた自己同型群の提示に類似した記述である。

ABSTRACT

Let (S, BS) be the log-pair associated with a compactification of a given smooth quasi-projective surface V . Under the assumption that the boundary BS is irreducible, we propose an algorithm, in the spirit of the (log) Sarkisov program, to factorize any automorphism of V into a sequence of elementary links in the framework of the logarithmic Mori theory. The new noteworthy feature of our algorithm is that all the blow-ups and contractions involved in the process occur on the boundary.

研究の動機と目的

• コンパクト化 S 上で双正則自己同型に拡張されない滑らかな準射影的表面 V の自己同型を要因分解すること。
• 境界除集合 B_S が既約である表面に対して、対数サルキソフプログラムの精神に則ったアルゴリズムを開発すること。
• 生成元と関係式による提示に類似した方法で、V の自己同型群を記述すること。
• 要因分解プロセスにおけるすべての吹き上げと収縮が境界除集合 B_S 上に発生することを保証すること。
• 境界の係数が 1 である場合に、標準的な klt/dlt 条件を満たさない状況に対しても、対数サルキソフ枠組みを拡張すること。

提案手法

• アルゴリズムは、V のコンパクト化間の双正則写像を基本的リンクに分解するために、対数モーリー理論を用いる。
• すべての吹き上げと収縮が境界除集合 B_S の上にのみ実行され、コンパクト化の幾何的性質を制御する。
• 方法は、境界上の点を中心とした吹き上げの列によって、双正則写像の基点を解消することに依存する。
• canonical divisor K_X、境界除集合 B_X、および豊富な除集合 H_Y の厳密変換の引き戻しにおける係数を用いた分岐公式を用いる。
• 最大乗数 λ は、H_Y、K_Y、B_Y の引き戻しにおける係数 m_i, c_i, b_i を用いて、λ = max(m_i / (c_i - b_i)) として定義される。
• 要因分解は、吹き上げと収縮の列によって得られる中間的表面 S_i を用い、基本的リンクの鎖として表現される。

実験結果

リサーチクエスチョン

• RQ1 境界除集合が既約である場合に、滑らかな準射影的表面 V の自己同型が、対数モーリー枠組み内で基本的リンクに分解可能かどうか。
• RQ2 コンパクト化 S が滑らかで境界 B_S が既約である場合、V の自己同型群の構造はどのようなものか。
• RQ3 境界除集合の係数が 1 である場合、標準的な klt/dlt 条件を満たさない状況に対し、対数サルキソフプログラムをどのように適合可能にするか。
• RQ4 要因分解に含まれる吹き上げと収縮を境界除集合 B_S にどれほど制限できるか。
• RQ5 このような要因分解が、生成元と関係式に類似した自己同型群の提示をもたらすか。

主な発見

• V の自己同型群は、境界除集合 B_S 上でのすべての変更が発生する基本的リンクの系列を通じて、提示に類似した構造を有する。
• 滑らかなコンパクト化 S の場合、V の自己同型群は境界幾何の完全な制御のもとで、基本的リンクへの要因分解によって記述される。
• 特定の自己同型 h: V → V の要因分解は、六つの基本的リンクからなる： S₀ ↔ S₁ ↔ S₂ ↔ S₃ ↔ S₂ ↔ S₁ ↔ S₀。
• 中間的表面 S₃ は、P²(2) である重み付き射影平面から、P² から S₂ を構成するのと同様の吹き上げと収縮の列によって得られる。
• 自己同型 h₀: S₀ ⇢ S₀ の解消は、図13に可視化された例外的除集合を有する最小の対数解消であり、自己交差数が -1, -2, -4, -2, -4, -2, -1 のものである。
• 写像 σ: S₀ ⇢ S₂ の要因分解は二つの基本的リンクからなり、逆写像 σ⁻¹ に対しても同様である。中間的表面 S₁ は A₃,₂ 型および A₂,₁ 型の特異点を有する。