[論文レビュー] How to (symplectically) thread the eye of a (Lagrangian) needle

Klaus Mohnke|ArXiv.org|Jun 15, 2001

Geometric and Algebraic Topology参考文献 16被引用数 10

ひとこと要約

この論文は、特異な almost complex 構造を用いた擬複素曲線技法を用いて、複素射影平面 ℂℙ² に Klein 瓶がラグランジュ埋め込みされないことを証明する。さらに、交線理論とシンプレクティック同倫を用いて、ℂℙ² 内の任意のラグランジュトーラスがクラッカー・トーラスに滑らか同倫的であるという新たな証明を提示する。

ABSTRACT

We show that there exists no Lagrangian embeddings of the Klein bottle into $\CC^{2}$. Using the same techniques we also give a new proof that any Lagrangian torus in $\CC^2$ is smoothly isotopic to the Clifford torus.

研究の動機と目的

• ℂℙ² に Klein 瓶のラグランジュ埋め込みを妨げる位相的障害を解消すること。
• ℂℙ² 内の任意のラグランジュトーラスがクラッカー・トーラスに滑らか同倫的であるという新たな証明を提供すること。
• Gromov の擬複素曲線技法をシンプレクティック 4-多様体における特異な almost complex 構造へ拡張すること。
• J-擬複素球面の交線数を用いたホモロジー的基準を確立し、ラグランジュ埋め込みの非実現性を検出すること。

提案手法

• シンプレクティック形式 ω に適合し、ラグランジュ部分多様体 L に適した ℂℙ² 上に特異な almost complex 構造 J を構成する。
• ℂℙ²∖L および T*L に成分を持つ破綻した擬複素曲線へ収束する Jτ-擬複素球面の族を利用する。
• 一重の穴あき J⁺-擬複素曲線のコンパクト化を用いて、L に境界を持つ埋め込まれたディスク D, E, F を得る。
• 三つの J⁺-擬複素球面 F, G, H との代数的交線数を用いて、H₁(L;ℚ) 内のホモロジー類を検出する。
• シンプレクティック同倫を用いて J-擬複素球面を複素直線へ写像し、問題を ℂ²∖(ℂ×0 ∪ 0×ℂ) に還元する。
• T*T² 内の Eliashberg–Polterovich 同倫結果を応用し、ゼロ断面（クラッカー・トーラス）への滑らか同倫を結論づける。

実験結果

リサーチクエスチョン

• RQ1 Klein 瓶は ℂℙ² にラグランジュ的に埋め込むことができるか？
• RQ2 ℂℙ² 内の任意のラグランジュトーラスはクラッカー・トーラスに滑らか同倫的か？
• RQ3 特異な almost complex 構造を用いた擬複素曲線技法は、ラグランジュ埋め込みの位相的障害を検出できるか？
• RQ4 J-擬複素球面の交線数は、ラグランジュ部分多様体の第一ベッチ数を検出する上で果たす役割は何か？
• RQ5 L に境界を持つ擬複素ディスクの存在は、ℂℙ² 内の L の位相にどのような制約を課えるか？

主な発見

• Klein 瓶の第一ベッチ数が少なくとも 2 である必要があるが、これはその位相と矛盾するため、ℂℙ² にラグランジュ埋め込みは存在しない。
• H₁(L;ℚ) 内で [∂D] と [∂E] の張る空間は2次元であるため、b₁(L) ≥ 2 が成り立ち、これは Klein 瓶を除外する。
• ℂℙ² 内の任意のラグランジュトーラスは、シンプレクティック同倫と T*T² 内の Eliashberg–Polterovich 結果を用いて、クラッカー・トーラスに滑らか同倫的である。
• ℂℙ²∖L 内に同一のホモロジー類を持ち、ディスク D と E との間で所定の交線数を持つ三つの J⁺-擬複素球面 F, G, H が構成された。
• このような擬複素球面の存在とその交線性質から、ℂℙ² 内の任意のラグランジュトーラスが T*T² 内のゼロ断面に同倫的であることが示された。
• 本手法は以前の証明で用いられた複素解析的技法を避けており、Nemirovski の結果に対するシンプレクティック位相的代替手法を提供する。