[論文レビュー] Differential Geometry of Microlinear Frolicher Spaces II

Hirokazu Nishimura|arXiv (Cornell University)|Mar 23, 2010

Advanced Topics in Algebra参考文献 11被引用数 4

ひとこと要約

本稿は、Weil函手と冪零無限小量を用いて、微線形Frölicher空間における外微分の幾何的・無限小的特徴付けを確立し、外微分がその無限小ストークスの定理によって一意に決定されることを証明する。これは、微分幾何学の伝統的枠組みにおいて、この演算が形式的に定義されるのに対し、幾何的に定義されないという基礎的欠落を埋めるものである。

ABSTRACT

In this paper, as the second in our series of papers on differential geometry of microlinear Frolicher spaces, we study differenital forms. The principal result is that the exterior differentiation is uniquely determined geometrically, just as grad (ient), div (ergence) and rot (ation) are uniquely determined geometrically or physically in classical vector calculus. This infinitesimal characterization of exterior differentiation has been completely missing in orthodox differential geometry.

研究の動機と目的

• 微分幾何学における外微分の幾何的・無限小的特徴付けを提供し、長年の概念的欠落を解消すること。
• 外微分が、古典的ベクトル解析におけるdivとrotが幾何的に定義されるのと同様に、その無限小ストークスの定理における幾何的役割によって一意に決定されることを示すこと。
• 合成微分幾何学に依存せず、従来の微分幾何学者が容易に理解できる形でこの特徴付けを提示すること。
• 無限小ストークスの定理が、形式的定義の結果として自明に扱われる通常のグローバルストークスの定理の背後にあり、それを正当化していることを確立すること。

提案手法

• Weil函手を用いて微線形性を外部化し、標準的な微分幾何学において冪零無限小量（例：d²=0を満たすD）を用いることを可能にする。
• 構造関数と曲線が実数値滑らか写像との合成に関して閉じた滑らか空間としての微線形Frölicher空間の概念を用いる。
• 無限小ストークスの定理を用いて外微分を定義し、境界上の積分の一次変動を分離する差分作用素D₀を用いる。
• 写像W_{d∈D↦0∈D}を適用して低次の成分を除去し、外微分の本質的幾何的寄与を抽出する。
• 積分写像のn-斉次性と置換対称性（εσを介して）を用いて、外微分の反対称的およびファンクター的性質を検証する。
• Weil代数W_{D^{n+1}}の普遍性を根拠として、微分形式の無限小変換下での振る舞いを定義および分析する。

実験結果

リサーチクエスチョン

• RQ1 外微分は、形式的定義ではなく、幾何的または物理的言語で一意に特徴付けられるか？
• RQ2 無限小ストークスの定理は、滑らかさの設定において外微分を一意に決定するのに十分か？
• RQ3 合成微分幾何学を用いずに、外微分の幾何的本質を捉えることは可能か？
• RQ4 境界上での積分の無限小的挙動は、微分形式の代数的構造とどのように関係するか？
• RQ5 Weil函手と冪零無限小量は、古典的微分幾何学的演算を再構成するために果たす役割は何か？

主な発見

• 外微分は、古典的ベクトル解析におけるdivとrotが幾何的に定義されるのと同様に、その無限小ストークスの定理における幾何的役割によって一意に決定される。
• 差分作用素D₀を用いて表現される無限小ストークスの定理が、外微分を完全に特徴づけ、これを幾何的に内発的な演算として保証する。
• 写像D₀∫_{∂ᵢγ}ωが(n+1)-斉次的かつ置換と整合的であることが示され、微分形式の反対称的構造と一貫していることが確認された。
• 導出は、E⊗W_{Dⁿ}のユークリッド的性質に依拠しており、スケーリングおよび対称変換の下で導関数が正しく振る舞うことを保証する。
• 無限小ストークスの定理を基礎的とするならば、通常のグローバルストークスの定理は自明に従うことが示された。
• 合成微分幾何学を避けるために、Weil函手を用いて無限小対象を外部化する構成が採用され、理論が従来の微分幾何学の枠組み内で利用可能になった。