[論文レビュー] Hamiltonian S^1 manifolds are uniruled

Dusa McDuff|ArXiv.org|Jun 5, 2007

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

ひとこと要約

この論文は、任意の閉じたハミルトニアン $S^1$-多様体がシンプレクティックにユニルーデッドであることを証明している。すなわち、点制約を伴う genus-zero のグロモフ＝ワインバーグ不変量が非自明であることを意味する。証明は、ハミルトニアン群の基本群のシードル表現を量子ホモロジーに組み合わせ、ブロー・アップ技術を用いる。最大値と最小値の固定点集合の間に $S^1$-不変な勾配フロー線が存在する場合、非自明な量子積が生じ、これは安定化部分群が非自明であってもユニルーデッド性を示唆する。

ABSTRACT

The main result of this note is that every closed Hamiltonian S^1 manifold is uniruled, i.e. it has a nonzero Gromov--Witten invariant one of whose constraints is a point. The proof uses the Seidel representation of π_1 of the Hamiltonian group in the small quantum homology of M as well as the blow up technique recently introduced by Hu, Li and Ruan. It applies more generally to manifolds that have a loop of Hamiltonian symplectomorphisms with a nondegenerate fixed maximum. Some consequences for Hofer geometry are explored. An appendix discusses the structure of the quantum homology ring of uniruled manifolds.

研究の動機と目的

• すべての閉じたハミルトニアン $S^1$-多様体がシンプレクティックにユニルーデッドであることを確立すること、すなわち、点挿入を伴う非自明な genus-zero グロモフ＝ワインバーグ不変量が存在することを示すこと。
• 既知の例（例えば $n=1,2$）を超えて、量子ホモロジー的ツールを用いて任意次元にまでユニルーデッド性を拡張すること。
• ハミルトニアン $S^1$-多様体の各点を通る $S^1$-不変な $J$-擬補間球面の存在が、シンプレクティックな意味でユニルーデッド性を意味するかどうかを解明すること。
• この結果がホーファー幾何学および量子ホモロジー環の構造に与える影響を検討すること。

提案手法

• ハミルトニアン群 $\mathrm{Ham}(M,\omega)$ の基本群のシードル表現を、小さな量子ホモロジー $QH_*(M)$ に用いて、非自明な量子積を検出する。
• フ、リ、ラウのブロー・アップ技術を応用し、多様体を変形することで、最大固定点集合と最小固定点集合を除数とするようにする。
• モーメント関数の勾配フローラインの $S^1$-不変な $J$-擬補間球面としての軌道を構成する。
• 各々の球面が $c_1(\alpha) = 2$ を満たすクラス $\alpha$ を表すことを用い、グロモフ＝ワインバーグ不変量 $\langle \mathrm{pt}, F_{\min}, F_{\max} \rangle_\alpha^M$ を分析する。
• 量子積の係数に対する摂動論法を用いて、ある $a$ に対して $\mathrm{pt} \ast_a \xi_j \neq 0$ であることを示し、ユニルーデッド性を示す。
• 量子ホモロジー環の構造と $*_{a}$ による変形に依存し、特定の係数が非自明であることからユニルーデッド性が導かれる。

実験結果

リサーチクエスチョン

• RQ1 ハミルトニアン $S^1$-多様体の各点を通る $S^1$-不変な $J$-擬補間球面の存在は、その多様体がシンプレクティックにユニルーデッドであることを意味するか？
• RQ2 $S^1$-作用の安定化部分群が非自明であっても、すべての閉じたハミルトニアン $S^1$-多様体はユニルーデッドか？
• RQ3 半自由でない状況下でも、シードル表現を用いて非自明なグロモフ＝ワインバーグ不変量を検出できるか？
• RQ4 ハミルトニアン $S^1$-作用の文脈において、シンプレクティックなブロー・アップおよびブロー・ダウンの下でもユニルーデッド性は保たれるか？
• RQ5 ハミルトニアン $S^1$-多様体において、量子ホモロジー環の構造とユニルーデッド性の正確な関係は何か？

主な発見

• すべての閉じたハミルトニアン $S^1$-多様体はシンプレクティックにユニルーデッドである。すなわち、$\beta \neq 0$ である非自明な genus-zero グロモフ＝ワインバーグ不変量 $\langle \mathrm{pt}, a_2, \dots, a_k \rangle_{k,\beta}^M$ が存在する。
• シードル表現を用いることで、$S^1$-作用が半自由でない場合でも、非自明な量子積を検出できることから、この結果は成り立つ。
• 量子ホモロジーにおいて、ある $a$ に対して $\mathrm{pt} \ast_a \xi_j \neq 0$ である。これは、$QH_*(M)$ の構造を介してユニルーデッド性を示唆する。
• Hu–Li–Ruan が示したように、ユニルーデッド性はシンプレクティックなブロー・アップおよびブロー・ダウンの下でも保たれ、多様体を固定点集合が除数となる形に単純化するために用いられる。
• 非自明な 3 点不変量 $\langle \mathrm{pt}, F_{\min}, F_{\max} \rangle_\alpha^M$ が量子積の非自明性から導かれるため、多くの場合に強いユニルーデッド性が確認される。
• 特に、偶数量子環 $QH_{\mathrm{ev}}^a(M)$ における単位元の存在という、量子ホモロジー環の構造が、条件 (*) の下でユニルーデッド性を特徴づけ、代数的構造とシンプレクティック幾何学を結びつける。