[論文レビュー] Lefschetz pencils and the canonical class for symplectic 4-manifolds

Simon Donaldson, Ivan Smith|ArXiv.org|Dec 10, 2000

Geometric and Algebraic Topology参考文献 30被引用数 15

ひとこと要約

本稿では、$ b_+ > 1 + b_1 $ かつシンプレクティック類 $[\omega]$ が有理数であるシンプレクティック 4-多様体の標準類が、埋め込まれたシンプレクティック超曲面によって表せることを、シンプレクティック幾何学的証明によって提示する。Lefschetzパencilと対称積バンドルの擬複素曲線を用いて、Seiberg-Witten理論に依存せず、複素代数幾何学的手法をシンプレクティックな設定に翻訳することで、非自明なGromov不変量を確立する。

ABSTRACT

We present a new proof of a result due to Taubes: if X is a closed symplectic four-manifold with b_+(X) > 1+b_1(X) and with some positive multiple of the symplectic form a rational class, then the Poincare dual of the canonical class of X may be represented by an embedded symplectic submanifold. The result builds on the existence of Lefschetz pencils on symplectic four-manifolds. We approach the topological problem of constructing submanifolds with locally positive intersections via almost complex geometry. The crux of the argument is that a Gromov invariant counting pseudoholomorphic sections of an associated bundle of symmetric products is non-zero.

研究の動機と目的

• シンプレクティック 4-多様体における標準類が埋め込みシンプレクティック超曲面によって表せることを、Taubesの結果に対して新しい証明を与えること。
• ほぼ複素幾何学と擬複素曲線理論を用いることで、Seiberg-Witten理論への依存を回避すること。
• 正則2形式とその零点集合に基づく代数幾何学的議論を、非可積分なほぼ複素構造へと拡張すること。
• 対称積ファイブレーションにおける擬複素曲線の数を数える非自明なGromov不変量の存在を確立すること。
• 一様に$[\omega]$の倍数が有理数であるという条件下で、標準類がシンプレクティック部分多様体として実現可能であることを示すこと。

提案手法

• シンプレクティック 4-多様体にLefschetzパencilを適用し、吹き上げを経て、リーマン面をファイバーとするファイブレーション $\pi: X' \to S^2$ を構成する。
• $r = 2g - 2$ として、ファイブレーション上に対称積バンドル $X_r(f)$ を構成し、正則セクションの幾何をモデル化する。
• シンプレクティック形式に適合するほぼ複素構造を用いて、$X_r(f)$ の擬複素セクションを数えるGromov不変量を定義する。
• 指数論および楕円型偏微分方程式の手法を用い、このようなセクションのモジュライ空間が空でなく、正則であることを保証する。
• Hilbertスキームと相対的アンパールネスを用いて、対称積を射影バンドルに埋め込み、正規化と吹き上げを用いて特異ファイバーを解析する。
• 特異ファイバー内のバブル成分が、ファイバー類 $h$ の倍数にしか同値なホモロジー類を寄与しないことを証明し、誤った位相的障害を排除する。

実験結果

リサーチクエスチョン

• RQ1 Seiberg-Witten理論を用いずに、シンプレクティック 4-多様体の標準類が埋め込みシンプレクティック超曲面によって表せるか？
• RQ2 Kähler多様体における正則2形式の零点集合に基づく古典的代数幾何学的議論を、非可積分なほぼ複素構造へとどのように拡張できるか？
• RQ3 Lefschetzパencilは、対称積ファイブレーションの擬複素セクションを通じて標準類をどのように実現するか？
• RQ4 対称積ファイブレーション $X_r(f)$ のセクションに対して非自明なGromov不変量が成立するための条件は何か？
• RQ5 なぜ$[\omega]$の有理数性条件がこのような代表元の存在を妨げず、またその条件を除去できるのか？

主な発見

• 仮定 $b_+ > 1 + b_1$ および $[\omega]$ のある倍数が有理数である条件下で、標準類 $K_X$ のPoincaré双対が $X$ 内の滑らかで埋め込みされたシンプレクティック超曲面によって表される。
• 対称積バンドル $X_r(f)$ の擬複素セクションを数える非自明なGromov不変量が確立され、そのようなセクションの存在が保証される。
• ファイブレーション $X_r(f)$ の特異ファイバー内のバブル成分は、ファイバー類 $h$ の倍数にしか同値なホモロジー類を寄与しないため、誤った位相的障害は生じない。
• 証明はSeiberg-Witten方程式を完全に回避し、代わりに擬複素曲線理論とほぼ複素幾何学に依存する。
• $[\omega]$ の有理数性条件は現在の手法において必要であるが、一般に有理数形への変形同値性のため、実用上は重大な制限ではない。
• この構成は古典的代数幾何学的議論を一般化する：Kählerの場合には正則2形式の零点集合が $K_X$ を与えるが、ここでは擬複素セクションが同様の役割を果たす。