[論文レビュー] Symplectic automorphisms of CP^2 and the Thompson group T

Alexandr Usnich|arXiv (Cornell University)|Nov 20, 2006

Geometric and Algebraic Topology参考文献 1被引用数 5

ひとこと要約

本稿では、CP² 上の SL(2,Z) と特定のシンプレクティック自己同型 P で生成される群 H の線形表現を構成し、H が射影的系列の各曲面のピック群の帰納的極限に作用することを示している。主な結果は、クラスター代数における写像類群作用に類似したこの表現の実現であり、ピecewise 線形幾何に適した生成元と関係式によるトンプソン群 T の新しい提示が得られている。

ABSTRACT

We explain how to construct a morphism from the group of birational automorphisms of CP^2 preserving the logarithmic Poisson bracket to the Thompson group T. Than we give a linear representation of the former group, provide some information about Thompson group T and give it's new presentation in terms of generators and relations, and speculate about the presentation of the group of birational symplectomorphisms.

研究の動機と目的

• CP² のシンプレクティック自己同型の群 H を、SL(2,Z) と写像 P:(x,y)↦(y,(1+y)/x) で生成する。
• 射影的系列の各曲面のピック群の帰納的極限に作用する H の線形表現を構成する。
• トンプソン群 T を通じて、CP² 上のシンプレクティック幾何とピecewise 線形構造との間の関係を確立する。
• ピecewise 線形幾何とシンプレクティック自己同型の文脈で自然な生成元と関係式を用いたトンプソン群 T の新しい提示を提供する。

提案手法

• トロピカル化を介して、CP² のシンプレクティックな有理型自己同型の群 Symp からトンプソン群 T への準同型を定義し、有理型写像を Z² 上のピecewise 線形変換にマッピングする。
• 形式 ω = d(log x) ∧ d(log y) を用いて、P と SL(2,Z) がシンプレクティック構造を保存することを検証する。
• シンプレクティック自己同型が Z² の原始的ベクトルでパラメータ化された極を持つ曲線を置き換える幾何的解釈を構築する。
• 生成元 R, C と関係式 R⁴ = 1, C³ = 1, (RC)⁵ = 1 および可換関係式を用いた T の提示の群同型を確立する。
• 新たな生成元 L = APA⁻¹ を導入し、L と C を用いた T の提示を導出する。関係式は L⁵ = 1, C³ = 1, (LCL)⁴ = 1, (CIL)⁷ = 1, および [C, I²] = 1 である。
• 群の同型と共役関係を用いて、T の異なる提示を関連付け、正規部分群の商を介して同値性を示す。

実験結果

リサーチクエスチョン

• RQ1 SL(2,Z) と写像 P で生成される群 H は CP² の幾何にどのように作用するのか。また、シンプレクティック自己同型の群としての構造は何か。
• RQ2 トロピカル化を通じて、CP² のシンプレクティックな有理型自己同型と Z² 上のピecewise 線形変換との関係は何か。
• RQ3 ピecewise 線形幾何がシンプレクティック自己同型から生じる文脈で自然に適合する形で、トンプソン群 T を提示できるか。
• RQ4 H が帰納的極限のピック群に作用する線形表現は何か。また、クラスター代数構造とどのように関係するか。
• RQ5 L と C を含む新しい T の提示における関係式は、その背後にあるシンプレクティック構造とピecewise 線形構造をどのように反映しているか。

主な発見

• 群 H は SL(2,Z) と写像 P で生成され、P⁵ = 1 が成り立ち、関係式 C³ = I⁴ = [C, I²] = 1, PCP = I, および P⁵ = 1 が H を定義するのに十分である。
• トロピカル化を介して、Symp からトンプソン群 T への準同型が構成され、有理型写像が Z² 上のピecewise 線形自己同型にマッピングされる。
• トンプソン群 T は、生成元 L と C を用いた新しい提示を持つ。関係式は L⁵ = 1, C³ = 1, (LCL)⁴ = 1, (CIL)⁷ = 1, および [C, I²] = 1 である。
• H の線形表現は、射影的系列の各曲面のピック群の帰納的極限に実現され、クラスター代数における写像類群作用に類似している。
• この表現は、同一のシードと Z² でパラメータ化されたクラスター変数を持つ既知の写像類群の作用と同型であることが示された。
• 新しい T の提示は標準的提示と同値であることが証明され、群の同型と生成元間の共役関係により、同値性が確立された。