[論文レビュー] Non-contractible periodic orbits, Gromov invariants, and Floer-theoretic torsions

Yi‐Jen Lee|ArXiv.org|Aug 19, 2003

Geometric and Algebraic Topology参考文献 37被引用数 12

ひとこと要約

本稿は、シンプレクティック位相幾何学における genus 1 Gromov 不変量と Floer 理論的 torsion 不変量 I_F 間の明確な関係を確立する。2 種類のバリエーション、Lagrangian 交差バージョン I_F(L, L′) と S^1-等長バージョン I_F^{S^1} を用いて、従来の結果を越えて非可縮周期的軌道の存在を示す。Gatien-Lalonde の研究を、より広いクラスの多様体へと拡張する、精密化された不変量フレームワークによって実現される。

ABSTRACT

In a previous paper, the author introduced a Floer-theoretic torsion invariant I_F, which roughly takes the form of a product of a power series counting perturbed pseudo-holomorphic tori, and the Reidemeister torsion of the symplectic Floer complex. We pointed out the formal resemblance of I_F with a generating function of genus 1 Gromov invariant; furthermore, for heuristic reasons one also expects a relation with the 1-loop generating function in the A-model side of mirror symmetry, which counts genus 1 holomorphic curves. The present article makes this expected relation precise in the simplest cases, in two variants of the I_F defined in the earlier work: the lagrangian intersection version, I_F(L, L'), and an S^1-equivariant version, I_F^{S^1}. As a by-product, we obtain some existence results of noncontractible periodic orbits in symplectic dynamics. For example, the results of Gatien-Lalonde are extended to a much wider class of manifolds. The two versions I_F(L, L') and I_F^{S^1} are only minimally developed in this paper, leaving fuller accounts to future work. The lagrangian intersection version, I_F(L, L'), should be viewed as a simplest example of a rigorous definition of the higher-loop ``open Gromov-Witten invariants'' proposed by physicists.

研究の動機と目的

• Floer 理論的 torsion 不変量 I_F と genus 1 Gromov 不変量との間の形式的類似性を明確化すること。
• I_F とシンプレクティック幾何学における genus 1 仮想的正則曲線を数える生成関数との間の厳密な数学的関係を確立すること。
• Gatien-Lalonde の以前の研究の範囲を超えて、非可縮周期的軌道の存在に関する結果を拡張すること。
• I_F の2つのバリエーション、Lagrangian 交差バージョン I_F(L, L′) と S^1-等長バージョン I_F^{S^1} の導入と、それらの研究の出発点を提示すること。
• シンプレクティック位相幾何学における higher-loop open Gromov-Witten 不変量の基礎的土台を築くこと。

提案手法

• 本稿は、Lagrangian 交差用の I_F(L, L′) と S^1-等長拡張用の I_F^{S^1} の2つのバージョンの Floer 理論的 torsion 不変量を定義する。
• I_F を、摂動された擬正則トーラスを数えるべきべき級数と、シンプレクティック Floer コンプレックスの Reidemeister torsion の積として構成する。
• 著者たちは、I_F をミラー対称性における 1 ループ生成関数と比較する。この生成関数は genus 1 仮想的正則曲線を数える。
• I_F の構造と Gromov 不変量との関係を分析することで、非可縮周期的軌道が存在する条件を導出する。
• この手法は、Floer homology、Gromov 不変量、およびシンプレクティック多様体における等長トポロジーの深い関係に依拠している。
• 代数的トポロジーの道具、特に Reidemeister torsion と等長コhomology を用いて、フレームワークを形式化する。

実験結果

リサーチクエスチョン

• RQ1 Floer 理論的 torsion 不変量 I_F は、シンプレクティック幾何学における genus 1 Gromov 不変量とどのように関係しているか？
• RQ2 I_F とミラー対称性における 1 ループ生成関数との形式的類似性を、数学的に厳密に定式化できるか？
• RQ3 I_F を用いて、シンプレクティック多様体における非可縮周期的軌道の存在を保証する条件は何か？
• RQ4 Lagrangian 交差バージョン I_F(L, L′) と S^1-等長バージョン I_F^{S^1} は、higher-loop open Gromov-Witten 不変量の定義にどのように寄与するか？
• RQ5 Gatien-Lalonde の非可縮周期的軌道に関する結果は、I_F を用いてどの程度一般化可能か？

主な発見

• Floer 理論的 torsion 不変量 I_F が genus 1 Gromov 不変量と直接関係していることが示され、ミラー対称性からの直感的期待の数学的実現が得られた。
• Lagrangian 交差バージョン I_F(L, L′) は、higher-loop open Gromov-Witten 不変量の厳密な定義への第一歩と特定された。
• S^1-等長バージョン I_F^{S^1} は、シンプレクティック力学における周期的軌道を研究するための新しい道具を提供する。
• 本稿は、従来の知られていた範囲をはるかに超えて、非可縮周期的軌道が存在するシンプレクティック多様体のクラスを示し、Gatien-Lalonde の結果を拡張した。
• I_F が仮想的正則トーラスを数えるべきべき級数と Reidemeister torsion の積として構成されることで、非自明な力学的性質を検出可能な新たな不変量が可能になった。
• このフレームワークは、シンプレクティック Floer homology、Gromov 不変量、および弦理論的生成関数の間の橋渡しを果たし、より深い幾何的・物理的関係の可能性を示唆している。