[論文レビュー] A sharp bound on fixed points of surface symplectomorphisms in each mapping class

Andrew Cotton-Clay|arXiv (Cornell University)|Sep 3, 2010

Geometric and Algebraic Topology参考文献 1被引用数 4

ひとこと要約

本稿は、アニュラスを超えて一般化されたPoincaré-Birkhoff定理の枠組みにおいて、任意のマッピングクラスにおける面積保存（シンプレクティック）な曲面微分同相写像の不動点数の鋭い下界を確立する。ねじれフロアーhomologyと量子カップ長の議論を用いて、周期的または擬円周マッピングクラスでは、最小不動点数は非ゼロインデックスを持つニエルセンクラスの数に等しくなることを証明する。可約マッピングクラスでは、 genus-0 成分と固定されたアニュラスからの追加寄与が生じ、シンプレクティック制約のため、古典的ニエルセン理論の境界を超える。

ABSTRACT

Given a closed, oriented surface, possibly with boundary, and a mapping class, we obtain sharp lower bounds on the number of fixed points of a surface symplectomorphism (i.e. area-preserving map) in the given mapping class, both with and without nondegeneracy assumptions on the fixed points. This generalizes the Poincaré-Birkhoff fixed point theorem to arbitrary surfaces and mapping classes. These bounds often exceed those for non-area-preserving maps. We obtain these bounds from Floer homology computations with certain twisted coefficients plus a method for obtaining fixed point bounds on entire symplectic mapping classes on monotone symplectic manifolds from such computations. For the case of possibly degenerate fixed points, we use quantum-cup-length-type arguments for certain cohomology operations we define on summands of the Floer homology.

研究の動機と目的

• 任意のマッピングクラスにおけるシンプレクティック（面積保存）な曲面微分同相写像の不動点数の鋭い下界を確立し、古典的Poincaré-Birkhoff定理を超えて一般化すること。
• 特に可約および擬円周の場合に、古典的ニエルセン理論の境界と実際の最小不動点数の乖離を解明すること。
• マッピングクラス全体にわたる不動点境界を捉える、ねじれ係数を用いたフロアーhomologyフレームワークを構築すること。
• シンプレクティック制約が非シンプレクティック写像よりも多くの不動点を強いること、特に特定の位相的およびホモロジー的性質を有する可約成分においてそれを示すこと。

提案手法

• 標準形写像におけるフロアーhomologyのねじれ係数を用い、先行研究[C1]の計算結果を活用して不動点境界を抽出する。
• フロアーhomologyの各成分に定義される、量子カップ積に類似した新規なコホモロジー作用素を適用し、非自明な不動点配置を検出する。
• フロアーhomology上に定義される次数1の写像∂βを構成し、ホロモーフィック曲線とマッピングトーラス内の双対サイクルの交点を数える。
• Taubesの「ターゲット内における電流」法を用いたGromovコンパクトネスの議論により、退化した不動点への分岐においてホロモーフィック曲線の収束を保証する。
• 極限の議論を用いる：あるニエルセンクラスに1つの退化不動点しか存在しないと仮定すると、エネルギーがゼロである非自明なホロモーフィック曲線の極限が生じ、矛盾を引き起こす。
• 主な技術的革新は、標準的量子カップ長を代わりに、完全に代数的で、準同型写像に依存しない作用素∂βをフロアーhomologyモジュールに導入することである。

実験結果

リサーチクエスチョン

• RQ1 任意のマッピングクラスにおける曲面のシンプレクティック微分同相写像の不動点数の鋭い下界は何か？
• RQ2 特に可約または擬円周の場合に、シンプレクティック制約は非シンプレクティック写像と比較して最小不動点数にどのように影響を与えるか？
• RQ3 不動点が退化している場合でも、ねじれ係数を用いたフロアーhomologyは、マッピングクラス全体にわたる不動点境界を検出可能か？
• RQ4 可約成分にどのような位相的およびホモロジー的条件が成立すると、シンプレクティック写像において追加の不動点寄与が生じるか？

主な発見

• 周期的または擬円周マッピングクラスでは、最小不動点数は非ゼロインデックスを持つニエルセンクラスの数に等しく、古典的ニエルセン境界と一致する。
• 可約マッピングクラスでは、最小不動点数はニエルセン境界をA + Bだけ上回り、ここでAは境界回転が一貫しており、ホモロジー的に自明な境界を持つgenus-0 成分の数を数え、Bは固定されたアニュラスの数を数える。
• 可約ケースにおける追加の不動点はシンプレクティック制約に起因し、不動点が退化していても摂動によって除去できない。
• 1つの退化不動点しか存在しないニエルセンクラスを仮定すると、エネルギーがゼロである非自明なホロモーフィック曲線の極限が生じ、矛盾を引き起こすことを証明した。
• フロアーhomology上に定義される量子カップ長に類似した作用素∂βは、非自明な不動点配置を検出し、退化ケースにおける境界の導出を可能にする。
• この手法により、シンプレクティック写像は一般の写像よりも多くの不動点を持つ必要があり、その超過分はマッピングクラスの位相的不変量によって定量的に評価可能であることが示された。