[論文レビュー] Diffeological, Frölicher, and Differential Spaces

A. Batubenge, Yael Karshon+1 more|arXiv (Cornell University)|Dec 13, 2017

Nonlinear Differential Equations Analysis被引用数 5

ひとこと要約

本稿は、Frölicher空間と、反射的微分空間および反射的微分同相空間の間の正確な圏同値を確立し、Frölicher構造が反射性条件を満たす微分および微分同相構造と同値であることを示している。著者は、これらの文脈における反射性の概念を導入・明確化し、非反射的構造の新しい例を提示し、微分幾何学および圏論におけるその重要性を強調している。

ABSTRACT

Differential calculus on Euclidean spaces has many generalisations. In particular, on a set $X$, a diffeological structure is given by maps from open subsets of Euclidean spaces to $X$, a differential structure is given by maps from $X$ to $\mathbb{R}$, and a Frölicher structure is given by maps from $\mathbb{R}$ to $X$ as well as maps from $X$ to $\mathbb{R}$. We illustrate the relations between these structures through examples.

研究の動機と目的

• 多様体を超えた滑らかさの一般化を目的とした、集合上における微分同相、微分、Frölicher構造の関係を明確化すること。
• Frölicher空間を反射的微分空間および反射的微分同相空間と同一視することにより、専門家には知られていたが、文脈的に明示されていなかった概念を形式化すること。
• 特に商、部分多様体の和、特異的空間における例を通じて、非反射的構造の豊かさを示すこと。
• 滑らかな空間の一般化のための統一的枠組みとして、『Watts空間』と呼ばれる、互いに適合する微分同相構造と微分構造のペアの使用を動機づけること。
• シンプレクティック簡約空間の微分同相構造および無理数トーラスの微分構造に関する未解決の問題を提起し、分野の基礎的理解を深めること。

提案手法

• 集合 X へのカルテシアン空間の開部分集合からの滑らかなプロットを用いて、微分同相構造を定義する。
• X 上の実数値滑らか関数の族を定義し、滑らかな演算について閉じているものとする。
• R → X および X → R の写像のペアを用いて Frölicher 構造を定義し、滑らかな関数との合成について閉じているものとする。
• 反射性の概念を導入する：構造が、Frölicher の場合は滑らかな曲線、微分同相の場合はプロットによって完全に決定されるとき、その構造は反射的である。
• 普遍的構成を用いて、Frölicher空間と反射的微分／微分同相空間の間の圏同値を確立する。
• 座標軸の和、コンパクトなリー群作用による商、トーラス内の無理数直線といった例を用い、反射的および非反射的構造の対比を示す。

実験結果

リサーチクエスチョン

• RQ1 Frölicher空間と反射的微分／微分同相空間の間の正確な圏的関係は何か？
• RQ2 非反射的微分同相または微分構造は、微分幾何学において意味的に有用であると考えられるか？その必要性を示す例は何か？
• RQ3 コンパクトなリー群作用の文脈において、商の微分同相構造とヒルベルト写像の像上の部分空間微分構造はどのように異なるか？
• RQ4 トーラス内の無理数直線上の微分構造は反射的であるか？これは特異的商の滑らかさ構造にどのような含意を持つのか？
• RQ5 互いに適合する微分同相構造と微分構造のペア（Watts空間）は、一般化された滑らかな空間のアプローチを統一するために果たす役割は何か？

主な発見

• Frölicher空間は、反射的微分空間および反射的微分同相空間と圏的に同値であり、これらの構造の間の正確な対応関係を確立している。
• 本稿は、微分同相空間および微分空間の文脈における反射性について、初めて明示的かつ体系的な取り扱いを提供し、かつて原則的に知られていたが文脈的に明示されていなかった概念を明確にした。
• 非反射的微分同相構造は存在し、それらは反射的構造と区別可能であることが、コンパクトなリー群作用の商の微分同相構造と部分空間微分構造の例によって示された。
• R³ における3本の座標軸の和は、R² における3本の交わる直線の和としての微分同相空間として同相であるが、微分空間としては同相ではない。これは微分構造のカテゴリーにおける重要な差を示している。
• コーナーを持つ多様体は、ヒルベルト写像の像が閉じたSikorski部分空間であるため、反射的微分空間または反射的微分同相空間として同値に記述可能である。
• 本稿は、『Watts空間』と呼ばれる、適合する微分同相構造と微分構造を備えた集合の完全部分圏を特定し、その部分圏が微分同相、微分、Frölicher空間のカテゴリーを完全部分圏として含んでいる。