[論文レビュー] Lectures on Polyfolds and Symplectic Field Theory

Joel W. Fish, Helmut Hofer|arXiv (Cornell University)|Aug 21, 2018

Algebraic Geometry and Number Theory参考文献 50被引用数 7

ひとこと要約

本稿は、カテゴリ的構造に基づく微分幾何とFredholm理論を用いて、多様体的構造（polyfold）を構築し、シンプレクティック場理論（SFT）を発展させる。擬全純曲線のモジュライ空間に対して横断性および摂動技法を確立し、摂動のもとでハミルトニアン不変量 $\bm{H}_{\mathfrak{p}}$ の構成を可能にした。周期的軌道およびConley-Zehnder指数への応用を含む。

ABSTRACT

This is a lecture note prepared for the SFT 9 workshop in Augsburg, Germany. The text describes a polyfold approach to the construction of symplectic field theory and focuses on the perturbation and transversality theory.

研究の動機と目的

• シンプレクティック場理論（SFT）の体系的で多様体的理論に基づく基盤を提供すること。特に、擬全純曲線のモジュライ空間のコンパクト化と摂動の課題に対処すること。
• 局所的局所的および局所的からグローバルへの技術を用いたモジュラーな構築フレームワークを開発し、複雑な幾何的・解析的構造の再利用と簡略化を可能にすること。
• M-多様体上の $\bar{\partial}_{\widetilde{J}}$ 演算子に対して摂動および横断性理論を確立し、正則化されたモジュライ空間の存在を保証すること。
• 安定ハミルトニアン構造と周期的軌道の文脈において、Conley-Zehnder指数およびMaslov指数を定義・計算すること。
• 異なる摂動 $\mathfrak{p}$ が等価な不変量をもたらすことを示し、複素構造やシンプレクティックコーブォリズムの変化に対して不変性を保証すること。

提案手法

• 安定リーマン面と安定写像のカテゴリ的構造に基づくM-多様体フレームワークを用い、均一化子と遷移ガーディアンを用いてグローバルな滑らかさ構造を定義する。
• インプリント法とグラーディング構成を用いて局所的局所的モデルを構築し、適合する変形函手を介して局所データからM-多様体を構成する。
• 横断的制約とsc-滑らかさ構造を用いて構築される、作業用M-多様体を中核的対象として導入し、擬全純曲線のモジュライ空間をモデル化する。
• $\mathfrak{j}$-包含とsc-Fredholm理論を備えた強い多様体バンドル構造を用いて、 $\bar{\partial}_{\widetilde{J}}$ 演算子の線形化を分析する。
• 帰納的コンパクトネス制御と摂動スキームを適用し、横断性を達成。これにより、切断の零点集合が適切に扱えるM-多様体となることを保証する。
• 重み選択子と許容的 $\delta$-値を用いて、漸近的演算子のゼロまわりのスペクトルギャップを制御し、周期的軌道の非退化性を保証する。

実験結果

リサーチクエスチョン

• RQ1 SFTにおける安定写像のモジュライ空間に、局所的局所的および局所的からグローバルへの技術を用いて一貫的かつモジュラーな多様体的構造をどのように構築できるか？
• RQ2 $\bar{\partial}_{\widetilde{J}}$ 演算子がM-多様体上で横断的であるための条件は何か？また、正則化されたモジュライ空間を達成するために、どのように体系的に摂動を適用できるか？
• RQ3 安定ハミルトニアン構造における周期的軌道の文脈で、Conley-Zehnder指数およびMaslov指数はどのように定義され、計算されるか？また、Fredholm理論におけるその役割は何か？
• RQ4 異なる摂動 $\mathfrak{p}$ の選択が得られるハミルトニアン $\bm{H}_{\mathfrak{p}}$ に与える影響は何か？また、$J$ やコーブォリズムの変化に対して不変性を保証するのは何によるか？
• RQ5 スペクトルギャップおよび許容的 $\delta$-値は、SFTフレームワークにおける周期的軌道の非退化性と安定性を保証するために果たす役割は何か？

主な発見

• 本稿は、安定リーマン面とビルディングから導かれる均一化子と遷移ガーディアンを用いて、SFTにおける安定写像のモジュライ空間にwell-definedなM-多様体構造を構築した。
• 帰納的コンパクトネス制御とsc-Fredholm理論に基づく摂動スキームにより横断性が達成され、 $\bar{\partial}_{\widetilde{J}}$ 演算子の零点集合が正則なM-多様体であることが保証された。
• Conley-Zehnder指数は、ホモトピー不変性、直和に関する加法性、および円周回転における正規化によって一意に特徴付けられ、 $\gamma(t) = e^{\pi it} \text{Id}_{{\mathbb{R}}^2}$ に対して $\mu_{CZ}^1(\gamma) = 1$ である。
• Maslov指数は、 $\text{Sp}(n)$ のループ上で定義される唯一の整数値関数として特徴付けられ、 $\pi_1(\text{Sp}(n), \text{Id}) \cong \mathbb{Z}$ 上の同型を誘導し、正規化および加法性を満たす。
• 重み選択子 $\delta_o: \mathcal{P}^* \to (0, \infty)$ が定義され、 $\delta$ が $(\bm{\gamma}, J)$ に対して許容的であるとは、 $\sigma(\bm{\gamma}, J) \cap [-\delta, \delta] = \emptyset$ であるときを意味し、これによりスペクトルギャップの制御が可能になった。
• ハミルトニアン $\bm{H}_{\mathfrak{p}}$ は摂動 $\mathfrak{p}$ に関して不変量として構成され、評価写像による微分形式の引き戻しはsc-微分形式であることが保証され、モジュライ空間上での積分が可能になった。