[論文レビュー] The Space of Symplectic Structures on Closed 4-Manifolds

Tianjun Li|ArXiv.org|May 19, 2008

Geometric and Algebraic Topology参考文献 36被引用数 9

ひとこと要約

本稿は、閉じた4次元多様体上のシンプレクティック構造の空間を調査し、微分同相写像による同値類としてのシンプレクティック形式のモジュライ空間に焦点を当てる。有理型またはルールドな4次元多様体で $b^+ = 1$ の場合、シンプレクティック形式はそのコhomology類によって微分同相写像の下で一意に定まることが示され、モジュライ空間の完全な記述が得られる。さらに、シンプレクティック構造とカーラー構造の関係を検討し、カーラー多様体上での非正則的ルフシュチツ・ファイブレーションの構成が行われる。

ABSTRACT

This is a survey paper on the space of symplectic structures on closed 4-manifolds, for the Proceedings ICCM 2004

研究の動機と目的

• 閉じた4次元多様体上のシンプレクティック構造の空間を理解すること、特に微分同相写像による同値類としてのシンプレクティック形式のモジュライ空間に焦点を当てる。
• コhomology類によって一意に定まるような、$b^+ = 1$ の4次元多様体におけるシンプレクティック形式の特徴づけを行うこと。
• カーラー構造を備えた多様体上でのシンプレクティック形式の空間とカーラー形式の空間を比較すること。
• 任意のカーラー多様体上のシンプレクティック形式が、特に一般型多様体の場合に、カーラー形式とコhomologousであるかどうかを調査すること。
• ドナルドソンのプログラムが、シンプレクティック形式が微分同相写像の下で同値であることを示す条件を明らかにすること。

提案手法

• 本稿は、閉じた4次元多様体 $X$ 上の方向性を保つシンプレクティック形式の空間 $\Omega(X)$ を用い、これは閉じた2次形式の空間の開部分集合である。
• 微分同相写像による同値類を捉えるために、モジュライ空間 $\mathcal{M}_X = \Omega(X)/\mathrm{Diff}^+(X)$ を定義する。
• $b^+ = 1$ の場合、シンプレクティック形式がそのコhomology類によって微分同相写像の下で一意に定まることを示す一意性結果を適用する。
• シンプレクティックな標準類 $K_\omega = -c_1(X,\omega)$ とシンプレクティックコーン $\mathcal{C}_X$ を用いて、コhomological不変量を分析する。
• カーラーのナカイ＝モイシェゾンの基準と精錬された周期写像を用い、特にK3およびトーラスの場合に $H^2(X;\mathbb{R})$ 内のカーラー類を特徴付ける。
• ボール商に唯一の複素構造が存在する場合、その $H^1_1$ 部分空間の外にあるシンプレクティック形式を選んで、非正則的ルフシュチツ・ファイブレーションを構成する。

実験結果

リサーチクエスチョン

• RQ1 閉じた4次元多様体で $b^+ = 1$ の場合、シンプレクティック形式はそのコhomology類によって微分同相写像の下で一意に定まるか？
• RQ2 どの閉じた4次元多様体において、すべてのシンプレクティック形式がカーラー形式とコhomologousであるか？
• RQ3 任意の複素構造の $H^1_1$ 部分空間の外にあるシンプレクティック形式は、非正則的ルフシュチツ・ファイブレーションを生じるか？
• RQ4 最小な楕円的表面 $E(n)$ に対して、コhomologyカーラー・コーンとシンプレクティック・コーンが一致するか？
• RQ5 ドナルドソンのプログラムが、同じチャーン類とコhomology類を持つ任意の2つのシンプレクティック形式が、微分同相写像によって関連付けられる条件は何か？

主な発見

• 有理型またはルールドな4次元多様体で $b^+ = 1$ の場合、シンプレクティック形式はそのコhomology類によって微分同相写像の下で一意に定まる。
• このような多様体におけるモジュライ空間 $\mathcal{M}_X$ は、コhomology類と微分同相写像作用を用いて単純に記述可能である。
• K3多様体と $T^4$ では、精錬された周期写像の上への性質により、正の平方を持つ任意の整数類は、適切に複素構造を調整することでカーラー・コーン内に含まれる。
• 一般型で $p_g \geq 1$ の最小なカーラー多様体では、コhomologyカーラー・コーンがシンプレクティック・コーンよりも厳密に小さいことが示され、$\tau_s = \omega + s\mathrm{Re}(\phi)$ というシンプレクティック形式を構成することで、$s$ が十分に大きい場合にカーラー・コーンの外にあることが示された。
• $H^1_1$ 部分空間の外にある大きな倍数のシンプレクティック類に双対なルフシュチツ・ペンシルの構成により、$p_g > 0$ のカーラー多様体上に非正則的ルフシュチツ・ファイブレーションが得られる。
• 本稿は、特に一般型多様体において、シンプレクティック・コーンが任意のカーラー形式とコhomologousでないクラスを含む可能性がある証拠を提供しているが、$E(n)$ 表面では特定の条件下でコhomologyカーラー・コーンとシンプレクティック・コーンが一致する可能性がある。