[論文レビュー] Tame Fréchet submanifolds

Walter Freyn|arXiv (Cornell University)|May 14, 2013

Advanced Numerical Analysis Techniques参考文献 5被引用数 3

ひとこと要約

本稿では、たんなFréchet多様体におけるco-Banach型のたんなFréchet部分多様体を導入し、特定のたんな写像による正則値の逆像が自然にたんなFréchet部分多様体であることを確立している。主な貢献は、たんなFréchet設定における陰関数定理を用いた関数解析的枠組みの構築であり、これによりKac-Moody幾何学および等パラメトリック部分多様体への応用が可能になる。

ABSTRACT

We introduce the new class of submanifolds of co-Banach type in tame Fréchet manifolds and construct tame Fréchet submanifolds as inverse images of regular values of certain tame maps. Our method furnishes an easy way to construct tame Fréchet manifolds. The results presented are key ingredients in the construction of affine Kac-Moody symmetric spaces; they have also important applications in the study of isoparametric submanifolds in tame Fréchet spaces.

研究の動機と目的

• 非Banachな環境空間における部分多様体の基礎的枠組みを構築すること。
• 一般のFréchet空間では有効な逆関数定理が欠如している問題を、たんなFréchet構造に制限することで解決すること。
• たんなのFréchet写像の正則値を用いた、たんなのFréchet部分多様体の構成的生成法を提供すること。
• アフィンKac-Moody対称空間や無限次元微分幾何学に関連する設定において、たんなのFréchet部分多様体の存在を確立すること。
• 有限次元部分多様体の構成法（例：正則値の逆像）を、たんなのFréchet設定へ一般化すること。

提案手法

• 微分が全射であり、核がBanach空間内で補完可能であることを要件とする、たんなのFréchet正則点の概念を導入すること。
• すべての逆像がたんなの正則点であるような、目標空間の点として、たんなのFréchet正則値を定義すること。
• たんなのFréchet圏における陰関数定理を用い、局所チャート間のたんなのFréchet同型写像の存在に依存すること。
• 環境となるたんなのFréchet空間を微分の核と補完可能なBanach部分空間に分解すること。
• 写像 $\Phi: F_0 \times \overline{B} \to F_0 \times B $ に対して、$ (x,y) \mapsto (x, \varphi(x,y)) $ を適用し、その逆像がたんなのFréchet部分多様体であることを示すこと。
• 局所チャートが準等長写像関数を有するように、結果として得られる部分多様体がたんなのFréchet構造を誘導することを検証すること。

実験結果

リサーチクエスチョン

• RQ1 たんなのFréchet写像の正則値の逆像が、たんなのFréchet部分多様体であることを示せるか？
• RQ2 たんなの写像の微分の核が、Banach部分空間内で補完可能であるための条件は何か？
• RQ3 陰関数定理をたんなのFréchet設定に適応することで、部分多様体をどのように構成できるか？
• RQ4 どのような幾何的文脈で、co-Banach型のたんなのFréchet部分多様体が自然に生じるか？
• RQ5 ヒルベルト空間における等パラメトリック部分多様体を、Fréchet空間との交わりを通じてたんなのFréchet空間へ拡張できるか？

主な発見

• たんなのFréchet正則値 $ g \in N_B $ に対する写像 $ \varphi: N_F \to N_B $ の逆像 $ \varphi^{-1}(g) $ は、co-Banach型のたんなのFréchet部分多様体である。
• 正則点における微分 $ d\varphi_p $ の核は、接空間内で補完可能な部分空間であり、環境空間の明確な分解を保証する。
• たんなのFréchet圏における陰関数定理により、たんなのFréchet同型写像 $ \Phi $ を用いて、部分多様体の局所チャートが構成可能である。
• ヒルベルト空間の逆極限として得られるたんなのFréchet空間における $ \|x\|_n = 1 $ で定義される球面は、co-有限型のたんなのFréchet部分多様体である。
• このような単位球面を有限個交わったものも、co-有限型のたんなのFréchet部分多様体である。
• ヒルベルト空間 $ H_k $ 内の適切なFredholm等パラメトリック部分多様体 $ M \subset H_k $ と、たんなのFréchet空間 $ F $ との交わり $ M_F = M \cap F $ は、co-有限型のたんなのFréchet部分多様体である。