[論文レビュー] Luttinger surgery and Kodaira dimension

Chung-I Ho, Tianjun Li|arXiv (Cornell University)|Aug 2, 2011

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

ひとこと要約

この論文は、ラグランジュトーラスに沿ったシンプレクティック4次元多様体の操作であるラットンジャー手術が、シンプレクティックコイダラ次元—シンプレクティックトポロジーにおける基本的不変量—を保存することを確立している。著者らは、コイダラ次元が非正である多様体に対して、強い位相的制約が生じることを証明している：コイダラ次元が−∞のとき、結果の多様体は元の多様体とシンプレクティック同型である。コイダラ次元が0でオイラー標数が正のとき、ホモロジー型が保存される。これらの結果は、異種ラグランジュトーラスの存在を制約し、それらのフレーミングが位相的に好ましいことを示しており、Fintushel-Stern不変量λ(L)の消失を意味する。

ABSTRACT

In this note we show that the Lagrangian Luttinger surgery preserves the symplectic Kodaira dimension. Some constraints on Lagrangian tori in symplectic four manifolds with non-positive Kodaira dimension are also derived.

研究の動機と目的

• ラグランジュトーラスに沿ったラットンジャー手術の下でのシンプレクティックコイダラ次元の振る舞いを調査すること。
• コイダラ次元が非正であるシンプレクティック4次元多様体におけるラグランジュトーラスの位相的制約を導出すること。
• トーラスのラグランジュフレーミングが位相的に好ましいとき、特にホモロジー型および微分同相型とどのように関係するかを特定すること。
• Fintushel-Stern不変量λ(L)に与える影響を検討し、特定の条件下でそれが消失することを示すこと。
• オイラー標数χ=0のシンプレクティックカルビ・ヤウ表面がT⁴からラットンジャー手術によって得られる可能性を検討すること。

提案手法

• 最小モデルを用いて、シンプレクティックな正則クラスKωと[ω]との交わりに基づき、シンプレクティックコイダラ次元κ(X)を定義する。
• ラットンジャー手術の構成を用いる：ラグランジュトーラスLのチューブ型近傍を切り取り、そのマージナルをL上の緯線と曲線の線形結合によって変更する微分同相写像を用いて再接合する。
• マーヤ＝ヴィエトリスの完全列とホモロジー群への誘導写像を用いて、ホモロジーへの影響を分析する。
• κ(X)がラットンジャー手術で不変であることを応用し、κ(X) = −∞のとき、結果の多様体が元の多様体とシンプレクティック同型であることを示す。
• シンプレクティックカルビ・ヤウ表面のホモロジー分類を用いて、χ(X) > 0かつκ(X) = 0のとき、ラットンジャー手術でホモロジー型が保存されることを示す。
• ホモロジーにおけるマージナル類の原始的かつ有理的性質を用いて、位相的に好ましいフレーミングを定義し、これとλ(L)の消失を関連付ける。

実験結果

リサーチクエスチョン

• RQ1 ラットンジャー手術は4次元多様体のシンプレクティックコイダラ次元を保存するか？
• RQ2 ラットンジャー手術がシンプレクティック構造をシンプレクティック同型の意味で保存するのはどのような条件下か？
• RQ3 コイダラ次元の不変性が、κ(X) ≤ 0であるシンプレクティック4次元多様体におけるラグランジュトーラスのフレーミングにどのような制約を課えるか？
• RQ4 ラグランジュトーラスLに対してFintushel-Stern不変量λ(L)が消失するのはいつか？
• RQ5 オイラー標数χ=0のすべてのシンプレクティックカルビ・ヤウ表面が、T⁴からラットンジャー手術によって得られるか？

主な発見

• ラットンジャー手術はシンプレクティックコイダラ次元を保存する：(X,ω)がκ(X) = −∞ならば、任意のラットンジャー手術により得られる多様体は(X,ω)とシンプレクティック同型である。
• χ(X) > 0のシンプレクティックカルビ・ヤウ表面に対して、ラットンジャー手術は整数ホモロジー型を保存する。これはXとX̃がホモロジー同値であることを意味する。
• κ(X) = −∞のとき、任意のラグランジュトーラスLはホモロジーに同値でなく、そのラグランジュフレーミングは位相的に好ましいフレーミングである。
• χ(X) = 0のシンプレクティックカルビ・ヤウ表面に対して、任意のラグランジュトーラスは、ホモロジーに同値で位相的に好ましいフレーミングを持つか、または完全に本質的（r(ker i₁ℚ) = 3）である。
• H₂(X;ℤ)が torsion-free で、Lがホモロジーに同値でκ(X) = 0のとき、ラグランジュフレーミングは位相的に好ましいフレーミングである。
• H₁(X;ℤ)が自明でκ(X) ≤ 0であるシンプレクティック4次元多様体におけるラグランジュトーラスに対して、λ(L)はフレーミングが位相的に好ましいため消失する。