[论文解读] Product preserving functors of infinite dimensional manifolds

Andreas Kriegl, Peter W. Michor|arXiv (Cornell University)|Nov 1, 1996

Advanced Operator Algebra Research参考文献 14被引用 10

一句话总结

本文通过使用 $C^\infty$-代数，将保积函子和韦尔函子的理论扩展到无穷维流形，建立了一个推广喷从丛和切丛函子至无穷维情形的框架。主要贡献是通过 $C^\infty$-代数对这类函子进行表征，从而在无穷维流形上实现系统化的微分计算。

ABSTRACT

The theory of product preserving functors and Weil functors is partly extended to infinite dimensional manifolds, using the theory of $C^\infty$-algebras.

研究动机与目标

• 将保积函子和韦尔函子的理论从有限维流形推广至无穷维流形。
• 解决在经典喷从丛构造之外，无穷维流形缺乏系统化微分计算框架的问题。
• 利用 $C^\infty$-代数作为基础工具，在无穷维情形下发展函子化微分计算。
• 提供无穷维流形上保积函子的表征，类似于有限维情形下的结果。
• 统一并扩展现有构造，如切丛函子和喷从函子，在无穷维几何的语境下。

提出的方法

• 利用 $C^\infty$-代数理论，在无穷维流形上建模无穷小结构。
• 将无穷维 $C^\infty$-流形范畴上的保积函子定义为与有限积可交换的函子。
• 通过喷从函子建立保积函子与 $C^\infty$-代数之间的对应关系。
• 通过将有限维构造提升至 $C^\infty$-代数设定，将韦尔函子框架应用于无穷维流形。
• 利用 $C^\infty$-代数的代数结构，在无穷维语境下定义并表征无穷小邻域和喷从空间。
• 证明每个无穷维流形范畴上的保积函子均源自唯一的 $C^\infty$-代数，推广了有限维情形下的分类结果。

实验结果

研究问题

• RQ1 如何将保积函子的理论从有限维扩展至无穷维流形？
• RQ2 在无穷维情形下，喷从函子和切丛函子的构造背后的代数结构是什么？
• RQ3 $C^\infty$-代数能否作为在无穷维流形上定义和分类保积函子的统一框架？
• RQ4 在无穷维几何的语境下，韦尔函子与 $C^\infty$-代数之间有何关系？
• RQ5 无穷维流形上的保积函子如何推广经典构造，如切丛和喷从丛？

主要发现

• 本文建立了无穷维 $C^\infty$-流形上保积函子与 $C^\infty$-代数之间的一一对应关系。
• 利用 $C^\infty$-代数，将韦尔函子的经典表征从有限维推广至无穷维流形。
• 通过 $C^\infty$-代数框架，将喷从函子和切丛函子的构造扩展至无穷维流形。
• 作者证明了无穷维流形范畴上的每个保积函子均源自唯一的 $C^\infty$-代数。
• 该框架允许在无穷维流形上实现系统化微分计算，类似于有限维情形下的喷从微分计算。
• 结果为在弗雷歇流形和流形的直接极限等无穷维空间上发展微分计算提供了基础。