[論文レビュー] Fredholm notions in scale calculus and Hamiltonian Floer theory

Katrin Wehrheim|arXiv (Cornell University)|Sep 18, 2012

Geometric and Algebraic Topology参考文献 11被引用数 14

ひとこと要約

本稿は、スケール微積分における非線形写像のFredholm性の簡素化された同等定義を導入し、元の多様体定義（収縮胚に基づく）よりも容易に検証可能な定義を提供する。この新しい概念が標準的なsc-Fredholm性を含意することを証明し、ハミルトニアンフローホモロジーに応用することで、破れた軌道の近傍における摂動されたコーシー＝リーマン作用素のFredholm性を確立する。これにより、古典的なグラーリングおよび横断的技法に代わるより強固な解析的枠組みが得られる。

ABSTRACT

We give an equivalent definition of the Fredholm property for linear operators on scale Banach spaces and introduce a (nonlinear) scale Fredholm property with respect to a splitting of the domain. The latter implies the Fredholm property introduced by Hofer-Wysocki-Zehnder in terms of contraction germs, but is easier to check in practice and holds in applications to holomorphic curve moduli spaces. We demonstrate this at the example of trajectory breaking in Hamiltonian Floer theory.

研究の動機と目的

• スケールバナッハ空間上の線形作用素に対するFredholm性のより簡単な同等定義を提供すること。
• 定義域の分割に関して、より実用的な非線形Fredholm性をスケール微積分において導入すること。
• この新しい非線形Fredholm性が、収縮胚の標準形に基づく元のsc-Fredholm性を含意することを示すこと。
• この新しい枠組みをハミルトニアンフローホモロジーに応用し、破れた軌道の近傍における埋め込みフローディルのsc-Fredholm性を証明すること。
• このアプローチが、フローホモロジー構成における古典的な横断的およびグラーリング技法をどのように簡略化または置き換えるかを示すこと。

提案手法

• 定義域を有限次元のグラーリングパラメータと無限次元関数空間に分割する枠組みに関して、非線形Fredholm性の新しい定義を導入する。
• 新しい非線形Fredholm性と、収縮胚標準形に基づく元のsc-Fredholm性との同値性を証明する。
• リーマン面のシリンダーパートにスケール微積分を適用し、重み付きソボレフノルムと指数的減衰を用いて、シリンダ領域近傍での挙動を制御する。
• 破れた軌道の近傍で、指数写像と局所自明化を用いて非線形項を定義するpregluing写像を、多様体チャート写像として構成する。
• 重み付き Hölder およびソボレフノルムにおける推移的推定により、線形化作用素における誤差項のコンパクト性を確立し、Fredholm指数の不変性を保証する。
• 線形化フローモデル作用素を線形化勾配フロー作用素に置き換えることで、この証明構造をモース理論に移行させる。この際、Fredholm構造が保存されることを示す。

実験結果

リサーチクエスチョン

• RQ1 スケール微積分におけるFredholm性は、元の定義と同等であるが検証が容易な形に再定義可能か？
• RQ2 新しい非線形Fredholm性は、収縮胚に基づく標準的なsc-Fredholm性を含意するか？
• RQ3 この新しい枠組みを用いて、ハミルトニアンフローホモロジーにおける摂動されたコーシー＝リーマン作用素の、破れた軌道近傍におけるFredholm性を証明可能か？
• RQ4 この新しいアプローチは、フローホモロジーにおける古典的技法（グラーリングおよび横断的技法）をどのように簡略化または置き換えるか？
• RQ5 同様の手法をモース理論に適応できる範囲はどの程度か？勾配フロー作用素に適応するにはどのような修正が必要か？

主な発見

• 定理4.5で示されるように、分割に関する新しい非線形Fredholm性は、収縮胚に基づく元のsc-Fredholm性と同値である。
• 誤差項の作用素ノルム推定におけるコンパクト性により、すべての r ≥ 0 に対して線形化作用素 D_B Φ(r,0) はFredholmであり、その指数は r に依存しない。
• 重み付きソボレフおよびHölderノルム推定を用いて、定理5.4で示されるように、埋め込みフローディルはsc-Fredholmである。
• Fredholm性はスケール全体にわたって一様に成り立ち、より高い正則性スケールへの制限、あるいは有限余次元部分空間への制限は、sc-Fredholm性を保ち、指数を余次元分だけ減少させる。
• 線形化フローモデル作用素を線形化勾配フロー作用素に置き換えることで、この手法は直接的にモース理論へ拡張可能であり、Fredholm構造が保存される。
• バブルが存在しない状況では、古典的なグラーリングおよび横断的技法の必要性が排除され、代わりに一貫性のある正則化枠組みが単一のフレームワークとして提供される。