[論文レビュー] Smooth and F--smooth systems

Josef Janyška, Marco Modugno|arXiv (Cornell University)|Feb 27, 2020

Geometric and Algebraic Topology参考文献 7被引用数 28

ひとこと要約

本稿では、FrölicherのF–smooth空間を用いて、滑らかな写像、断面、接続のF–smooth系を導入し、微分幾何学における古典的構成を一般化する。有限次元多様体の代わりにF–smooth空間を用いることで、従来の無限次元多様体論に依存せずに無限次元の構成が可能となり、普遍接続と接ベクトルの延長を一般化された滑らかさの枠組みで統一的に扱えるようになる。

ABSTRACT

We review the geometric theory of \emp{smooth systems of smooth maps}, of \emp{smooth systems of smooth sections} of a smooth double fibred manifold and of \emp{smooth systems of smooth connections} of a smooth fibred manifold. Moreover, after reviewing the concept of \emp{F-smooth space} due to A. Frölicher, we discuss the \emp{F-smooth systems of smooth maps}, the \emp{F-smooth systems of fibrewisely smooth sections} of a smooth double fibred manifold, the \emp{F-smooth systems of fibrewisely smooth connections} of a smooth fibred manifold and of \emp{F-smooth connections} of an F-smooth system of fibrewisely smooth sections.

研究の動機と目的

• 有限次元多様体を超える滑らかな写像・断面・接続の理論を、F–smooth空間を用いて一般化すること。
• 標準的な無限次元多様体やリー群構造に依存しない、普遍接続と接ベクトルの延長のための幾何的枠組みを提供すること。
• F–smoothパラメータ空間への断面および接続の系の概念を拡張し、数学的物理における新たな構成を可能にすること。
• 曲線による滑らかさの定義に基づき、F–smooth写像・断面・接続の滑らかな系の整合的理論を確立すること。

提案手法

• 滑らかな曲線の族と滑らかな再パrametrizationを持つことで定義されるFrölicherのF–smooth空間を、一般化された滑らかさの基礎として用いる。
• S が F–smooth空間で、ε が標的多様体上へのファイバー化準同型であるような三元組 (S, ε) を滑らかな写像の系として定義する。
• 系に接ベクトルの延長を適用する：Tε、T₁ε、T₂ε はそれぞれ S および M に関する異なる偏導関数を捉える。
• S が有限次元多様体でない場合、間接的手法を用いて系の滑らかな接ベクトルの延長を構成する。
• 二重ファイバー化多様体の断面のF–smooth系と、そのような系上のF–smooth接続を導入する。
• 系とその接ベクトルの延長の間の対応関係を確立し、F–smooth枠組み内での滑らかさを保つ。

実験結果

リサーチクエスチョン

• RQ1 F–smooth空間を用いることで、滑らかな写像の理論を有限次元多様体を超えてどのように一般化できるか？
• RQ2 構造群やリー代数に依存せずに、F–smooth性が断面および接続の系を定義する役割を果たす仕組みは何か？
• RQ3 F–smooth設定における系の接ベクトルの延長はどのように振る舞い、幾何的解釈は何か？
• RQ4 群の対称性を仮定せずに、F–smooth枠組み内で系の普遍接続を内挿的に回復できるか？
• RQ5 F–smooth系における異なる種類の接ベクトルの延長（Tε、T₁ε、T₂ε）の間の関係は何か？

主な発見

• 本稿は、F–smooth空間が有限次元性や標準的な多様体構造を要件とせず、滑らかな写像・断面・接続の系を構成可能であることを確立した。
• F–smooth系 (S, ε) の接ベクトルの延長は、(T S, Tε)、(T S, T₁ε)、(S, T₂ε) の3つの異なる滑らかな系を生じさせ、それぞれが異なる微分構造を捉える。
• 系 (S, ε) が単射であっても、その接ベクトルの延長が単射であるとは限らないため、F–smooth設定では非自明な振る舞いが生じる。
• 本フレームワークにより、構造群やリー代数への明示的参照なしに、普遍接続およびF–smooth接続を定義可能である。
• 本理論は、上位量子接続やシュレーディンガー作用素を断面的量子 bundle 上の接続として定義するなど、数学的物理への応用の基盤を提供する。