[論文レビュー] Monodromy invariants in symplectic topology

Denis Auroux|arXiv (Cornell University)|Apr 8, 2003

Geometric and Algebraic Topology参考文献 40被引用数 6

ひとこと要約

本論文は、シンプレクティックトポロジーにおけるモノドロミー不変量と2つの主要な構成、すなわちシンプレクティック4多様体におけるラットリング・サーヴェイとCP²内のシンプレクティック曲線のブレード化との間に深い関係を確立する。ブレード化されたシンプレクティック曲線が、ラットリング・サーヴェイによって異なる分岐被覆を生成することを示し、Canonicalクラスの不変量を用いてそれらを区別することで、同じ次数と特異点を持つ無限に多くの非同相なシンプレクティック曲線の存在を証明する。

ABSTRACT

This text is a set of lecture notes for a series of four talks given at I.P.A.M., Los Angeles, on March 18-20, 2003. The first lecture provides a quick overview of symplectic topology and its main tools: symplectic manifolds, almost-complex structures, pseudo-holomorphic curves, Gromov-Witten invariants and Floer homology. The second and third lectures focus on symplectic Lefschetz pencils: existence (following Donaldson), monodromy, and applications to symplectic topology, in particular the connection to Gromov-Witten invariants of symplectic 4-manifolds (following Smith) and to Fukaya categories (following Seidel). In the last lecture, we offer an alternative description of symplectic 4-manifolds by viewing them as branched covers of the complex projective plane; the corresponding monodromy invariants and their potential applications are discussed.

研究の動機と目的

• シンプレクティック曲線のブレード化とシンプレクティック4多様体におけるラットリング・サーヴェイとの間の対応関係を確立すること。
• モノドロミー不変量を用いた統一的なトポロジカルフレームワークを提供し、異種のシンプレクティック4多様体を構成すること。
• モノドロミー不変量とCanonicalクラス不変量を用いて、モイシェゾンの元々の非同相なシンプレクティック曲線に関する議論を簡略化すること。
• ラットリング・サーヴェイにおけるモノドロミーとCanonicalクラスの振る舞いを用いて、シンプレクティック分岐被覆を区別できることを示すこと。
• シンプレクティック4多様体トポロジーにおける基本群の計算とCanonicalクラス不変量との関係を明確にすること。

提案手法

• シンプレクティックLefschetzパencilとそのモノドロミーを用いて、シンプレクティック4多様体のトポロジーと曲線の特異点を関連付ける。
• ラグランジュ環状面の周囲のモノドロミーを制御されたDehn回転を用いて変更することで、ラットリング・サーヴェイを適用し、シンプレクティック4多様体を変形する。
• ラグランジュ環状面に沿ったブレード化を用いてCP²内のシンプレクティック曲線を構成し、次数と特異点数を保存する。
• ブレード化された曲線と分岐被覆との対応関係に依拠し、得られる全空間がラットリング・サーヴェイによって得られる多様体とシンプレクティック同相であることを示す。
• Canonicalクラスの公式：$ p\thinspace c_1(K_{p,k}) = (6p-9)[\omega_{p,k}] + (2p-3)k\thinspace PD([T]) $ を用いて、得られるシンプレクティック多様体を区別する。
• Moserの安定性定理とDarbouxの定理を用いて、局所的なシンプレクティック自明性とコhomology類の同相不変性を保証する。

実験結果

リサーチクエスチョン

• RQ1 シンプレクティック曲線のブレード化を、シンプレクティック4多様体におけるラットリング・サーヴェイと体系的に結びつけることができるか？
• RQ2 シンプレクティックLefschetzパencilのモノドロミー不変量は、分岐被覆のトポロジーとどのように関係するか？
• RQ3 ラグランジュトーラスに沿ったラットリング・サーヴェイによって得られるシンプレクティック4多様体を区別するための不変量は何か？
• RQ4 ラットリング・サーヴェイにおいてCanonicalクラスはどのように変化するのか？ そしてこれはシンプレクティック構造にどのような意味を持つのか？
• RQ5 シンプレクティック曲線の補空間の基本群は、Canonicalクラスおよびモノドロミー不変量とどのように関係するか？

主な発見

• 同じ次数とノードおよびカスプの数を持つ無限に多くのペアワイズ非同相なシンプレクティック曲線がCP²に存在し、ブレード化を用いて構成される。
• これらの曲線に沿った分岐被覆は、ラグランジュトーラスに沿ったラットリング・サーヴェイによって得られる多様体とシンプレクティック同相である。
• 得られるシンプレクティック4多様体 $X_{p,k}$ のCanonicalクラスは、$ p\thinspace c_1(K_{p,k}) = (6p-9)[\omega_{p,k}] + (2p-3)k\thinspace PD([T]) $ と変化し、これにより区別可能な不変量が得られる。
• ホモロジー類 $[T] \in H_2(X_{p,k}, \mathbb{Z})$ は、$p \not\equiv 0 \mod 3$ または $k \equiv 0 \mod 3$ のとき非トーラス的かつ原始的であり、$k$ に応じて異なることを保証する。
• $\pi_1(\mathbb{CP}^2 - \Sigma_{p,k})$ は $k=0$ のとき無限大であり、$k \neq 0$ のとき有限である。これはCanonicalクラスがシンプレクティック類に比例するとき、すなわち $k=0$ のときにのみ成立する。
• この構成により、複素基本群の計算を避け、モノドロミーとシンプレクティックトポロジーに基づく幾何的サーヴェイフレームワークに置き換えることで、モイシェゾンの元々の証明を簡略化する。