[論文レビュー] Symplectomorphism groups and almost complex structures

Dusa McDuff|ArXiv.org|Oct 27, 2000

Geometric and Algebraic Topology参考文献 11被引用数 31

ひとこと要約

本稿は、基底面積とファイバー面積の比μが変化する際の、シンプレクティックルーテッド表面のシンプレクティシズム群の位相的変化を調査する。ほぼ複素構造の空間を分析し、J-ホロモーバーグ曲線を用いることで、μが整数を通過する際に、シンプレクティシズム群の有理ホモトピー型が変化することが示され、一般の genus の基底に対してμ→∞のとき安定化することを示す。

ABSTRACT

This paper studies groups of symplectomorphisms of ruled surfaces for symplectic forms with varying cohomology class. This class is characterized by the ratio R of the size of the base to that of the fiber. By considering appropriate spaces of almost complex structures, we investigate how the topological type of these groups changes as R increases. If the base is a sphere, this changes precisely when R passes an integer, and for general bases it stabilizes as R goes to infinity. Our results extend and make more precise some of the conclusions of Abreu--McDuff concerning the rational homotopy type of these groups for rational ruled surfaces.

研究の動機と目的

• 固定されたコhomology類内でのシンプレクティック形式ωの変化に伴い、シンプレクティシズム群 Symp(M,ω) のホモトピー型がどのように変化するかを理解すること。
• アブレー–マクダフの有理ホモトピー型に関する結果を、有理ホモトピー型に限らない完全なホモトピー型へと、有理ルーテッド表面に対して拡張すること。
• J-ホロモーバーグ曲線とほぼ複素構造が、シンプレクティシズム群における位相的遷移を検出する役割を果たすことを分析すること。
• 基底 genus g>0 の表面に対して、μ→∞のときシンプレクティシズム群の位相的型が安定化することを確立すること。
• 微分同相群 Diff₀(M) がシンプレクティック形式の空間に作用する枠組みを構築し、Symp(M,ω) からシンプレクティック構造の空間 S_[ω] へと焦点を移すこと。

提案手法

• 固定されたコhomology類内でのシンプレクティック形式の空間 S_[ω] と関連付けるために、ファイブレーション Symp(M,ω) ∩ Diff₀(M) → Diff₀(M) → S_[ω] を用いる。
• ω に同倫的であるシンプレクティック形式の空間 S_[ω] を分析し、μ（基底面積とファイバー面積の比）の変化に伴う Symp(M,ω) の位相的変化を焦点にする。
• ルーテッド表面におけるJ-ホロモーバーグ曲線の理論を適用し、非ゼロのセイバーグ・ワインバーグ不変量のおかげで曲線の豊富さを活用する。
• 複素数平面の円板 D ⊂ ℂ 上で定義されたJ-ホロモーバーグ曲線の族 (C_w, J_w) を構成し、J_w が ω_μ と適合するようにすることで、Symp(M,ω_μ) の非自明な位相的性質を検出する。
• グリューリング技法とほぼ複素構造の族における円作用を用いて、ほぼ複素構造の空間内での収縮ループを構成する。
• クロノイマーの構成法を応用し、ホモトピー群における非自明な境界写像を持つ一様なシンプレクティック形式の族を構成し、π_*(Symp(M,ω)) における非自明な元を検出する。

実験結果

リサーチクエスチョン

• RQ1 コhomology類 [ω] が変化する際、特に基底面積とファイバー面積の比μが増加する際に、シンプレクティシズム群 Symp(M,ω) のホモトピー型はどのように変化するか？
• RQ2 μ のどの値において、Symp(M,ω) の有理ホモトピー型が位相的相転移を経るか？
• RQ3 J-ホロモーバーグ曲線とほぼ複素構造を用いて、シンプレクティシズム群の完全なホモトピー型（有理ホモトピー型に限らない）を特定できるか？
• RQ4 μ→∞ のときシンプレクティシズム群の挙動はいかなるものか？また、基底 genus g>0 の表面に対して安定化するか？
• RQ5 微分同相群のシンプレクティック形式の空間への作用が、Symp(M,ω) の位相的性質をどのように明らかにするか？

主な発見

• シンプレクティシズム群 Symp(M,ω_μ) の有理ホモトピー型は、μ が整数値を通過する際に正確に変化することが示され、アブレー–マクダフの有理ホモトピー型に関する結果を確認・拡張する。
• 有理ルーテッド表面（g=0）の場合、シンプレクティシズム群 G_μ⁰ は μ=1 で位相的遷移を経験し、μ>1 のとき π₁(G_μ⁰) に無限位数の新しい元が出現する。
• 基底が genus g>0 の場合、G_μ^g の位相的型は μ→∞ のとき安定化し、大規模なμ値に対してμに依存しない極限ホモトピー型を示す。
• G_μ^g から Diff₀(M) への包含写像が誘導するホモトピー群への写像の有理核はμに依存せず、安定な有理ホモトピー構造を示唆する。
• J-ホロモーバーグ曲線と円作用を用いて、ほぼ複素構造の空間内での収縮ループを構成することで、G_μ^g 内の特定の軌道が、適合するほぼ複素構造の空間内でホモトピー的に自明であることが証明される。
• クラス A−F に属する J-ホロモーバーグ曲線の存在と、円作用による変形を可能にすることで、制御された方法でほぼ複素構造をねじ込むようなシンプレクティック形式 ω_λ を構成でき、Symp(M,ω) 内の非自明なホモトピー類の検出が可能になる。