[论文解读] The suspended free loop space of a symmetric space

Marcel Bökstedt, Iver Ottosen|arXiv (Cornell University)|Nov 3, 2005

Geometric Analysis and Curvature Flows参考文献 12被引用 3

一句话总结

本论文为秩一对称空间 $M = \mathbb{C}P^n$、$\mathbb{H}P^n$ 和 $\mathbb{O}P^2$ 的自由循环空间 $\Lambda M_+$ 的悬停谱建立了稳定的分裂，证明其同伦等价于 $M_+$ 的悬停谱与单位切球丛上无限多个陈类空间的楔和。该结果通过莫尔斯理论与等变同伦论扩展了齐勒的同调分裂结果，证实了先前关于循环空间模 2 上同调的猜想。

ABSTRACT

Let M be one of the projective spaces CP^n, HP^n for n>1 or the Cayley projective plane OP^2, and let LM denote the free loop space on M. Using Morse theory methods, we prove that the suspension spectrum of (LM)_+ is homotopy equivalent to the suspension spectrum of M_+ wedge a family of Thom spaces of explicit vector bundles over the tangent sphere bundle of M.

研究动机与目标

• 证明秩一对称空间的自由循环空间 $\Lambda M_+$ 的悬停谱的稳定分裂。
• 证实先前工作中提出的猜想：$\Lambda M$ 的模 2 上同调可分裂为陈类空间上同调的直和。
• 将齐勒的同调分裂结果推广至谱层次，实现同伦等价而非仅群层次的同构。
• 明确分裂中出现的陈类空间，特别是关于 $M$ 的切丛单位球丛上的陈类空间。
• 验证谱分裂与斯廷罗德代数作用及稳定同伦运算的相容性。

提出的方法

• 对自由循环空间 $\Lambda M$ 应用莫尔斯理论，使用能量泛函及等距群的作用。
• 利用等变微分拓扑，将 $\Lambda M$ 的子空间识别为与对称空间结构相关的齐性空间。
• 通过分析表示环余核中的障碍，构造这些齐性空间的等变分裂。
• 证明对于 $\mathbb{C}P^n$、$\mathbb{H}P^n$ 和 $\mathbb{O}P^2$，障碍消失，从而在悬停后实现稳定分裂。
• 将分裂中的直和项识别为在 $M$ 的单位球丛上拉回切丛的迭代惠特尼和的陈类空间。
• 利用余纤维序列与陈类空间的同伦等价，将早期工作的上同调结果以谱序列形式重写。

实验结果

研究问题

• RQ1 秩一对称空间的自由循环空间 $\Lambda M_+$ 的悬停谱是否允许稳定分裂？
• RQ2 在 $\Lambda M$ 的模 2 上同调中观察到的分裂能否提升为谱的分裂？
• RQ3 在 $\Sigma(\Lambda M_+)$ 的分裂中出现的显式陈类空间是什么？
• RQ4 分裂是否与斯廷罗德代数作用及其他上同调运算相容？
• RQ5 表示环中障碍存在的条件是什么，以使此类分裂成立？

主要发现

• 对于 $M = \mathbb{C}P^n$，存在同伦等价 $\Sigma(\Lambda \mathbb{C}P^n)_+ \simeq \Sigma \mathbb{C}P^n_+ \vee \bigvee_{m=1}^\infty \Sigma \mathrm{Th}(\xi_m)$，其中 $\xi_m$ 是切丛单位球丛上的向量丛。
• 对于 $M = \mathbb{H}P^n$，分裂涉及包含切丛与与 $S^3$ 的伴随表示相关的三维丛 $\eta$ 的陈类空间。
• 对于 $M = \mathbb{O}P^2$，分裂成立是由于在球丛上定义的七维丛 $\eta$ 的史蒂菲尔-惠特尼类为零。
• 谱分裂与斯廷罗德代数作用相容，此结论通过与文献 [4] 中早期上同调结果的比较得到确认。
• 分裂的障碍位于表示环之间映射的余核中，且在所考虑的对称空间上消失。
• 该结果意味着所有广义同调理论均存在稳定分裂，其结论强于齐勒的同调层次分裂。