[論文レビュー] Symplectic birational transformations of the plane

Jérémy Blanc|Osaka City University (Osaka City University)|Dec 3, 2010

Advanced Algebra and Geometry参考文献 2被引用数 3

ひとこと要約

この論文は、A. Usnichが提起した、複素平面のシンプレクティックな有理写像の群に関する2つの予想を証明する。群はSL(2,ℤ)、トーラス(ℂ*)²、および位数5の特別な写像Pによって生成され、SL(2,ℤ)とPによって生成される部分群Hについても完全な表示が得られ、P⁵ = 1およびPCP = Iといった予想された関係が確認された。

ABSTRACT

We study the group of symplectic birational transformations of the plane. It is proved that this group is generated by $\mathrm{SL}(2,\mathbb{Z})$, the torus and a special map of order $5$, as it was conjectured by A. Usnich. Then we consider a special subgroup $H$, of finite type, defined over any field which admits a surjective morphism to the Thompson group of piecewise linear automorphisms of $\mathbb{Z}^2$. We prove that the presentation for this group conjectured by Usnich is correct.

研究の動機と目的

• 複素平面のシンプレクティック有理写像の群が、Usnichが予想したようにSL(2,ℤ)、トーラス(ℂ*)²、および位数5の特定の写像Pによって生成されることを証明すること。
• SL(2,ℤ)とPによって生成される部分群Hの予想された表示が、I⁴ = C³ = [C, I²] = P⁵ = 1およびPCP = Iという関係を含んでおり、それが正当であることを確認すること。
• 吹き上げとシンプレクティック形式ω₀ = dx∧dy/(xy)の下での写像の振る舞いを分析することにより、シンプレクティック有理写像の幾何的構造を明確にすること。

提案手法

• 代数幾何における幾何的技法、特に吹き上げの研究と、有理写像の下でのシンプレクティック形式ω₀ = dx∧dy/(xy)の振る舞いを用いる。
• 連続的な吹き上げによって得られる表面における基点とその重複度の概念を応用し、有理写像の構造を分析する。
• 標準的三次形式の分類と微分形式の除数論を用いて、極と零点の集合を特徴づけることで、シンプレクティック写像を同定する。
• 反復写像の次数の増加と、標準的三角形X+Y+Z=0に定義された基点の配置を分析する、重要な手法を用いる。
• 連続する写像の基点集合SとTの交差パターンに基づく場合分けを用い、共通点の数に応じてr=3とr=4のケースを区別する。
• 3つの基点が一直線上にないことと、三角形X·Y·Z=0の3本の直線上にあることを利用して、所定の基点を満たす二次写像Qの存在を組合せ論的に示す。

実験結果

リサーチクエスチョン

• RQ1 複素平面ℂ²のシンプレクティック有理写像の群は、Usnichが予想したようにSL(2,ℤ)、トーラス(ℂ*)²、および位数5の写像Pによって有限生成されるか？
• RQ2 SL(2,ℤ)とPによって生成される部分群Hは、I⁴ = C³ = [C, I²] = P⁵ = 1およびPCP = Iという関係によって提示されるという予想は正しいか？
• RQ3 シンプレクティック写像の基点は、微分形式ω₀ = dx∧dy/(xy)の極とどのように関係しているのか？また、それらが満たす幾何的制約は何か？

主な発見

• ℂ²のシンプレクティック有理写像の群Sympは、SL(2,ℤ)、トーラス(ℂ*)²、および位数5の写像Pによって生成され、Usnichの予想が裏付けられた。
• SL(2,ℤ)とPによって生成される部分群Hは、⟨I, C, P | I⁴ = C³ = [C, I²] = P⁵ = 1, PCP = I⟩という表示を有し、これが正しく証明された。
• Sympに属する非トーリックな基点は、すべて写像Pに起因するが、生成子間には複雑な関係が存在する。
• 証明により、重複度および接続条件を満たす3つの基点を持つ任意の二次写像Qは、標準的三角形X·Y·Z=0の3本の直線上にその基点を有することが示された。
• r=3（1つの共通基点）の場合、2つの候補となる基点の三つ組のうち、少なくとも1つが重複度および接続条件を満たす。
• r=4（共通基点なし）の場合、3つの候補となる三つ組のうち、少なくとも1つが必要な条件を満たし、3点が一直線上にないことは、3点が1本の直線上に存在できないことから、有効なQの存在が保証される。