[论文解读] Diffeological, Frölicher, and Differential Spaces

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

Nonlinear Differential Equations Analysis被引用 5

一句话总结

本文建立了弗罗利彻空间与反射性微分空间及反射性殆李空间之间的精确范畴等价，证明弗罗利彻结构等价于满足反射性条件的微分与殆李结构。作者引入并澄清了这些语境下的反射性概念，提供了非反射性结构的新例子，并强调其在微分几何与范畴论中的重要性。

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.

研究动机与目标

• 澄清集合上殆李、微分与弗罗利彻结构之间的关系，这些结构将光滑分析的范畴从流形推广至更广范围。
• 将弗罗利彻空间与反射性微分及殆李空间等同起来，形式化了专家在原则上已知但此前未在文献中明确表述的概念。
• 通过新例子，特别是商空间、子流形的并集与奇异空间，阐明非反射性结构的丰富性。
• 推动使用相容的殆李与微分结构对——即所谓的“沃茨空间”——作为广义光滑空间统一框架的应用。
• 提出关于辛约化空间的殆李结构与无理环面的微分结构的开放问题，深化领域基础理解。

提出的方法

• 通过从欧氏空间开子集到集合 X 的光滑图（smooth plots）定义殆李结构。
• 通过 X 上实值光滑函数的集合定义微分结构，且在光滑运算下封闭。
• 通过映射对定义弗罗利彻结构：R → X 与 X → R，且在与光滑函数复合下封闭。
• 引入反射性的概念：若结构完全由其光滑曲线（弗罗利彻情形）或图（殆李情形）决定，则称其为反射性。
• 通过普遍构造，在弗罗利彻空间与反射性微分/殆李空间之间建立范畴等价。
• 使用例如坐标轴的并集、紧致李群作用下的商空间，以及环面上的无理直线等例子，对比反射性与非反射性结构。

实验结果

研究问题

• RQ1 弗罗利彻空间与反射性微分/殆李空间之间精确的范畴关系为何？
• RQ2 非反射性殆李或微分结构能否在微分几何中有意义地使用？哪些例子能说明其必要性？
• RQ3 在紧致李群作用的背景下，商空间的殆李结构与希尔伯特映射像上的子空间微分结构有何不同？
• RQ4 环面上的无理直线上的微分结构是否为反射性？这对其在奇异商空间上的光滑结构意味着什么？
• RQ5 相容的殆李与微分结构对（沃茨空间）在统一广义光滑空间方法中扮演何种角色？

主要发现

• 弗罗利彻空间在范畴上等价于反射性微分空间与反射性殆李空间，建立了这些结构之间的精确对应关系。
• 本文首次在殆李与微分空间语境下，对反射性进行了明确且系统的处理，澄清了此前仅在原则上为人所知的概念。
• 非反射性殆李结构存在，且与它们的反射性对应物不同，如紧致李群作用的商空间殆李结构与子空间微分结构的对比所示。
• R³ 中三条坐标轴的并集作为殆李空间同胚于 R² 中三条共点直线的并集，但作为微分空间则不同——这凸显了微分结构范畴中的关键差异。
• 由于希尔伯特映射的像为闭的西科尔斯基子空间，带角流形可等价地描述为反射性微分空间或反射性殆李空间。
• 本文识别出一个‘沃茨空间’的全子范畴——即配备相容殆李与微分结构的集合——该子范畴包含殆李、微分与弗罗利彻空间的范畴作为全子范畴。