[論文レビュー] Polyfold and Fredholm Theory I: Basic Theory in M-Polyfolds

Helmut Hofer, Kris Wysocki+1 more|arXiv (Cornell University)|Jul 11, 2014

Geometric and Algebraic Topology参考文献 23被引用数 17

ひとこと要約

本稿は、局所次元が変化する一般化されたバナッハ多様体（M-多様体）としてのM-多様体上で、Sc-Fredholm断面の基礎理論を確立する。スケール微分計算の枠組みを導入し、コンパクトネスと横断性の問題を伴う非線形楕円型偏微分方程式に対する強固なFredholm理論を構築する。主たる貢献は、シンプレクティック場の理論（SFT）における特異極限を体系的に取り扱う手法であり、新しい陰関数定理と、これらの空間上のFredholm作用素に対する一貫性のある行列式バンドルの構成を含む。

ABSTRACT

The main topic is the development of a Fredholm theory in a new class of spaces called M-polyfolds. In the subsequent Volume II the theory will be generalized to an even larger class of spaces called polyfolds, which can also incorporate local symmetries. The whole package provides a functional analytic framework to deal with compactness and transversality issues as they occur in moduli problems of symplectic geometry. Applications of the theory cover Floer-type theories as they occur in symplectic geometry. M-polyfolds and the more general polyfolds are smooth spaces which can be finite-dimensional as well as infinite-dimensional. In applications of interest they in general have locally varying dimensions. Despite the fact that the spaces are much more general than Banach manifolds a nonlinear Fredholm theory with the usual features is possible (Sard-Smale type perturbation theory). This generalized Fredholm theory can be applied to classes of nonlinear elliptic problems which show bubbling-off phenomena but allow for certain kind of compactifications.

研究の動機と目的

• 局所次元が変化する空間、特にシンプレクティック場の理論（SFT）において非線形楕円型偏微分方程式の一般化された微分およびFredholm理論を構築すること。
• 擬全純曲線理論におけるバブル化や退化が引き起こすコンパクトネスおよび横断性の問題に対処すること。
• バナッハ空間の減少列へのリトラクトとして定義される、M-多様体と呼ばれる新しい空間のクラスを導入すること。
• 適切なSc-Fredholm断面に対して、核と余核が有限次元で、スケール正則性条件を満たす一貫性のあるFredholm理論と、行列式バンドルの定義を確立すること。
• 応用において多様体を構成するための再利用可能な解析的フレームワーク（「ブラックボックス」）を提供し、透明性を高め、誤りを含みやすい証明を減らすこと。

提案手法

• スケール微分計算の基礎をなす、コンパクトな包含と稠密な交わりを有するバナッハ空間の減少列としてのsc構造を導入する。
• M-多様体を、scバナッハ空間のリトラクトに局所的に従属させる空間として定義し、局所次元の変化と境界／コーナーを許容する多様体の一般化を実現する。
• 核と余核が有限次元で、スケールFredholm条件を満たす強いバンドル上の断面としてSc-Fredholm断面を定義する。
• 核と余核を含む正確な系列の鎖を構築し、スケール設定下でのFredholm作用素の行列式バンドルを定義する。
• R^nの部分象限における陰関数定理を証明し、それをM-多様体に拡張することで、境界およびコーナー制約を伴う非線形方程式の局所的解理論を可能にする。
• 局所的行列式バンドルによる方向性の伝播を定義し、行列式バンドルを用いて適切なSc-Fredholm断面に対して不変量を確立する。

実験結果

リサーチクエスチョン

• RQ1 局所次元が変化し、境界構造を有する空間、特にSFTから生じるような空間に対して、Fredholm理論をどのように一般化できるか？
• RQ2 ノード付きまたはバブル化する極限を持つ擬全純曲線のモジュライ空間において、コンパクトネスと横断性を扱うために適切な解析的フレームワークとは何か？
• RQ3 スケール構造の異なるレベル間で、Fredholm作用素の行列式バンドルを一貫して定義し、移動させることは可能か？
• RQ4 特にコーナー付き空間や部分象限を含むM-多様体の文脈において、一貫性のある陰関数定理をどのように定式化できるか？
• RQ5 この一般化された設定において、方向性および不変量を体系的に伝播・計算する方法は何か？

主な発見

• 本稿は、核と余核が有限次元で、スケール正則性条件を満たすSc-Fredholm理論がM-多様体上で明確に定義されることを確立した。
• R^nの部分象限において陰関数定理が証明され、M-多様体に拡張され、境界およびコーナー制約を伴う非線形方程式の局所的解理論が可能となった。
• 核と余核を含む正確な系列を用いて、スケール設定下でのFredholm作用素の行列式バンドルが構成され、関連作用素の行列式バンドルの間に自然な同型写像が存在することが示された。
• 写像γ^Q_Tとγ^P_QTの合成がγ^P_Tに等しいことが示され、作用素の合成に伴う行列式バンドル構成の整合性が証明された。
• 行列式バンドルが作用素の合成と整合的であり、行列式要素のレベルでγ^P_QT ∘ γ^Q_T = γ^P_Tが成り立つことが証明された。
• 本理論により、行列式バンドルを用いた適切なSc-Fredholm断面の不変量の構成が可能となり、SFTおよび関連理論におけるシンプレクティック不変量の基礎が築かれた。