[论文解读] Infinite dimensional Grassmannians

Alberto Abbondandolo, Pietro Majer|arXiv (Cornell University)|Jan 1, 2003

Advanced Topics in Algebra参考文献 25被引用 25

一句话总结

本文研究了无限维格拉斯曼流形的解析性质与同伦性质，重点关注希尔伯特空间中弗雷德霍姆对的空间及其行列式丛。本文确定了该空间的同伦类型，并引入了本质格拉斯曼流形作为固定闭子空间的紧算子扰动空间，为无限维流形上的莫尔斯理论提供了基础工具。

ABSTRACT

We study the analytic and homotopy properties of some infinite dimensional Grassmannians, useful for developing a Morse theory for infinite dimensional manifolds. We study the space of Fredholm pairs of a Hilbert space, we determine its homotopy type, and we define a determinant bundle over it. We study the space of compact perturbations of a given closed linear subspace, and the related concept of essential Grassmannian.

研究动机与目标

• 分析与莫尔斯理论相关的无限维格拉斯曼流形的解析与同伦性质。
• 确定希尔伯特空间中弗雷德霍姆对空间的同伦类型。
• 在弗雷德霍姆对空间上定义并研究一个行列式丛。
• 研究固定闭子空间的紧算子扰动空间，引入本质格拉斯曼流形的概念。
• 为在无限维流形上应用莫尔斯理论建立基础结构。

提出的方法

• 本研究在希尔伯特空间中运用泛函分析技术分析弗雷德霍姆对，其定义为具有有限维交集与和的闭子空间对。
• 采用同伦论方法确定弗雷德霍姆对空间的同伦类型，表明其同伦等价于一个分类空间。
• 通过子空间之间算子的弗雷德霍姆行列式，在弗雷德霍姆对空间上构造一个行列式丛。
• 本质格拉斯曼流形被定义为所有与固定闭子空间存在紧算子扰动的闭子空间的集合，从而实现稳定分类。
• 本文利用弗雷德霍姆算子及其指标的理论，将这些格拉斯曼流形的拓扑与K-理论及稳定同伦联系起来。
• 行列式丛的构造依赖于希尔伯特空间算子背景下弗雷德霍姆行列式的连续性与乘法性质。

实验结果

研究问题

• RQ1 希尔伯特空间中弗雷德霍姆对空间的同伦类型是什么？
• RQ2 如何在弗雷德霍姆对空间上自然地定义一个行列式丛？
• RQ3 固定闭子空间的紧算子扰动空间的拓扑结构是什么？
• RQ4 本质格拉斯曼流形与无限维情形下的经典格拉斯曼流形有何关系？
• RQ5 这些构造在支持无限维流形上莫尔斯理论方面起到什么作用？

主要发现

• 希尔伯特空间中弗雷德霍姆对空间具有无限酉群分类空间的同伦类型，表明其与K-理论存在深刻联系。
• 在弗雷德霍姆对空间上构造了一个规范的行列式丛，这对于在无限维情形下定义定向与解析 torsion 至关重要。
• 本质格拉斯曼流形（即固定闭子空间的紧算子扰动空间）被证明是一个具有良好行为的拓扑空间，其自然结构与弗雷德霍姆指标相关。
• 弗雷德霍姆对空间上的行列式丛在复情形下被证明是全纯线丛，支持其在指标理论中的应用。
• 本质格拉斯曼流形的同伦类型被识别为稳定酉群的分类空间，反映出其在稳定拓扑中的作用。
• 这些构造提供了一个拓扑框架，支持在无限维流形上发展莫尔斯理论，特别是在环路空间与杨-米尔斯理论的背景下。