[论文解读] On the space of Fredholm operators

Liviu I. Nicolaescu|ArXiv.org|May 9, 2000

Advanced Operator Algebra Research参考文献 5被引用 40

一句话总结

本文证明了赋予Riesz拓扑的自伴Fredholm算子空间到拉格朗日子空间空间的图映射是一个弱同伦等价，从而确认Riesz拓扑对$KO^1$-理论具有分类作用。该研究解决了Floer型边界值问题族中的连续性问题，并厘清了K-理论中算子空间与辛几何之间的拓扑关系。

ABSTRACT

We describe two topologies on the space of unbounded Fredholm operators and we explain their K-theoretic relevance. In the process we also prove a very general result concerning the continuity of families of first order, elliptic boundary value problems.

研究动机与目标

• 为解决无界自伴Fredholm算子族中的连续性问题，特别是Floer型边界值问题中的问题。
• 比较自伴Fredholm算子空间上的间隙拓扑与Riesz拓扑，并评估其在$K$-理论中的相关性。
• 确定拉格朗日子空间空间中图的同伦是否蕴含对应算子的同伦。
• 建立自伴Fredholm算子空间上的Riesz拓扑是$KO^1$-理论的分类空间。
• 纠正并澄清先前工作[6]中关于通过图映射对Fredholm算子进行拓扑分类的疏漏。

提出的方法

• 引入Riesz映射$\Psi(A) = A(1+A^2)^{-1/2}$，将无界自伴算子与$[-\mathcal{BS}]$中的有界算子联系起来。
• 比较两种拓扑：间隙度量$\gamma(A_0,A_1) = \|({\bf i}+A_0)^{-1} - ({\bf i}+A_1)^{-1}\| + \|({\bf i}-A_0)^{-1} - ({\bf i}-A_1)^{-1}\|$与Riesz度量$\rho(A_0,A_1) = \|\Psi(A_0) - \Psi(A_1)\|$。
• 应用Stone-Weierstrass定理与$C^*$-代数上的函数演算，分析Riesz拓扑中的收敛性。
• 利用辛约化与Bott周期性，将Fredholm对拉格朗日子空间的空间与$KO^1$-理论联系起来。
• 采用一列在$H^1$-范数下逼近单位算子的酉算子$U_n$，证明Floer型族的连续性。
• 证明在Riesz拓扑下，图映射$\Gamma: \mathcal{F}_0 \to \mathcal{FL}_0$是连续的，并且是弱同伦等价。

实验结果

研究问题

• RQ1 自伴Fredholm算子空间上的Riesz拓扑是否足以对$KO^1$-理论进行分类？
• RQ2 拉格朗日子空间空间中Fredholm算子图的同伦是否蕴含算子空间中的同伦？
• RQ3 在Riesz拓扑下，Floer型边界值问题族是否连续？
• RQ4 自伴Fredholm算子空间上的间隙拓扑是否是$KO^1$-理论的分类空间？
• RQ5 在连续性与同伦等价方面，Riesz拓扑与间隙拓扑如何比较？

主要发现

• 从$({\mathcal{S}}, \rho)$到$({\mathcal{S}}, \gamma)$的恒等映射是连续的，表明Riesz拓扑强于间隙拓扑。
• Riesz映射$\Psi$是$\mathcal{F}_0$与$[\mathcal{BF}_0]$之间的同胚，且$[\mathcal{BF}_0]$是$KO^1$-理论的分类空间。
• 图映射$\Gamma: (\mathcal{F}_0, \rho) \to (\mathcal{FL}_0, \delta)$是弱同伦等价，确认Riesz拓扑对$KO^1$具有分类作用。
• 命题2.1表明，Floer型边界值问题族在$\rho$-拓扑下是连续的，从而解决了关键的技术问题。
• 赋予Riesz拓扑的$\mathcal{F}_0$是$KO^1$的分类空间，而间隙拓扑的状态尚不明确但可能性较大。
• 本文纠正了[6]中的错误，表明弱同伦等价在Riesz拓扑下成立，而非间隙拓扑下。