[論文レビュー] Polyfold and SFT Notes II: Local-Local M-Polyfold Constructions

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

Geometric and Algebraic Topology参考文献 18被引用数 3

ひとこと要約

本稿は、シンプレクティック場理論（SFT）における局所的局所的M-多様体構成を発展させ、ノードおよび周期的軌道の設定におけるsc滑らかさに注目する。$\nabla$-写像および$\tilde{B}_T$-写像といった主要な写像の滑らかさを確立し、$\tilde{B}_T$ が0における微分が1である滑らかな微分同相写像であることを証明することで、多様体理論における制御されたグラーリングおよびストレッチ構成が可能になる。

ABSTRACT

Some early chapters of the upcoming book "Polyfold Constructions: Tools, Techniques, and Functors"

研究の動機と目的

• 局所的局所的構成要素を用いたシンプレクティック場理論におけるM-多様体および強いバンドルを構築する基盤的枠組みを構築すること。
• ノード付きリーマン面および周期的軌道の構成に生じる写像のsc滑らかさ基準を確立すること。
• 重要な遷移写像、たとえば$\tilde{B}_T$ が0における微分が1である滑らかな微分同相写像であることを証明し、多様体構成における一貫性のあるグラーリングおよびストレッチを可能にすること。
• 多様体構成の「LEGO」型システムを通じて、チェック可能で体系的な方法で解析を再利用するためのツールキットを提供すること。

提案手法

• 基本補題を用いて、$C^1$-正則性およびscバナッハ空間階層の下位レベルへの導関数の拡張を通じて、sc滑らかさを特徴付ける。
• $\nabla$-写像および$\tilde{B}_T$-写像の構成を用い、周期的軌道付近およびノード的退化付近のストレッチをモデル化する。
• $\tilde{B}_T(x) = \frac{x}{1 + x \nabla(x)}$ を定義し、ここで $\nabla(x) = \ln(T + D e^{-1/x})$ であることを示し、滑らかさおよび0における微分が1であることを証明する。
• $\Omega$ 上での写像 $B(r,c) = \varphi^{-1}(\varphi(r) + c)$ を定義・分析し、滑らかさおよび $r=0$ における高階導関数の消滅を示す。これは局所的モデルにとって重要である。
• 合成 $\mathsf{C}_T(x,c) = \mathsf{B}_T \circ B(x, c/T)$ を用いて、$\Omega_T$ 上でのストレッチ写像 $\mathsf{C}_T$ の滑らかさを証明し、$\partial_x \mathsf{C}_T(0,c) = 1$ を得る。
• [38] およびDM理論の結果を適用し、多様体フレームワーク内での局所的構成の整合性および普遍性を保証する。

実験結果

リサーチクエスチョン

• RQ1 scバナッハ空間階層の各レベルにわたる$C^1$-正則性および導関数の拡張を用いた、sc滑らかさをどのように特徴付けることができるか？
• RQ2 たとえば $\tilde{B}_T(x) = \varphi^{-1}(T \cdot \varphi(x))$ のように対数スケーリングで定義される写像が $x=0$ で滑らかであるための条件は何か？
• RQ3 周期的軌道付近でのストレッチ構成において、$x=0$ 付近での写像の振る舞いをどのように制御すれば、$\partial_x \mathsf{C}_T(0,c) = 1$ が保証されるか？
• RQ4 $\nabla$-写像は、ノード的および周期的軌道の構成における遷移写像の滑らかさを保証するために果たす役割は何か？
• RQ5 「LEGO」型システムを通じて、局所的局所的M-多様体構成をどのようにグローバルなフレドホルム理論枠組みに組み合わせることができるか？

主な発見

• $\tilde{B}_T(x) = \varphi^{-1}(T \cdot \varphi(x))$ は $[0,1)$ 上で滑らかな微分同相写像であり、$\tilde{B}_T(0) = 0$ かつ $\tilde{B}_T'(0) = 1$ を満たす。これにより、グラーリング構造と整合性が保証される。
• 関数 $g(x) = x \cdot \ln(T + D e^{-1/x})$ は $x=0$ で滑らかであり、$g(0) = 0$、$g'(0) = \ln(T)$、$n \geq 2$ に対して $g^{(n)}(0) = 0$ を満たす。これは $\tilde{B}_T$ の滑らかさの根拠となる。
• 写像 $B(r,c) = \varphi^{-1}(\varphi(r) + c)$ は $\Omega \subset [0,1) \times \mathbb{R}$ 上で滑らかであり、$\partial_r B(0,c) = 1$、$\partial_c B(0,c) = 0$ であり、$r=0$ におけるすべての高階導関数が消える。
• 合成 $\mathsf{C}_T(x,c) = \mathsf{B}_T \circ B(x, c/T)$ は $\Omega_T$ 上で滑らかであり、任意の $c$ に対して $\partial_x \mathsf{C}_T(0,c) = 1$ を満たす。これは周期的軌道付近での一貫性あるストレッチに不可欠である。
• $\mathsf{C}_T$ はM-多様体構成の文脈で滑らかな遷移を提供し、スケーリング下でも $x=0$ における微分が1のまま維持される。これはフレドホルム理論にとって極めて重要である。
• 結果は、局所的局所的構成がグローバルな多様体フレームワークと整合することを確認しており、SFTのためのM-多様体および強いバンドルを体系的に構築することが可能になる。