[论文解读] Operator algebras and topology

Thomas Schick|ArXiv.org|Sep 13, 2002

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

一句话总结

本文引入算子代数技术——特别是C*-代数和Baum-Connes猜想——作为高维流形拓扑的强大工具。它建立了指标理论、L²-不变量与正数量曲率等几何问题之间的联系，证明了Baum-Connes猜想蕴含Novikov猜想和稳定Gromov-Lawson-Rosenberg猜想，同时推进了对具有挠元的辫群和群的Atiyah猜想的研究。

ABSTRACT

These notes cover the contents of three survey lectures held at the ICTP Trieste Summer school on High dimensional manifold theory 2001. They introduce techniques coming from the theory of operator algebras. We will focus on the basic definitions and properties, and on their relevance to the geometry and topology of manifolds. An central pillar of work in the theory of C*-algebras is the Baum-Connes conjecture. It implies the Novikov conjecture. In the first talk, the Baum-Connes conjecture will be explained and put into our context. One application of the Baum-Connes conjecture is to the positive scalar curvature question. It implies the so called ``stable Gromov-Lawson-Rosenberg conjecture''. The unstable version of this conjecture said that, given a closed spin manifolds M, a certain obstruction, living in a certain (topological) K-theory group, vanishes if and only M admits a Riemannian metric with positive scalar curvature. It turns out that this is wrong, and counterexamples will be presented in the second talk. The third talk introduces $L^2$-cohomology, $L^2$-Betti numbers and other $L^2$-invariants. These invariants, their basic properties, and the central questions about them are introduced.

研究动机与目标

• 将高维流形理论与算子代数技术（尤其是C*-代数和K-理论）相连接。
• 阐明Baum-Connes猜想在推导拓扑学中主要猜想（如Novikov猜想和稳定Gromov-Lawson-Rosenberg猜想）中的作用。
• 通过逼近技术和群完备化方法，研究具有挠元的群及辫群的Atiyah猜想的有效性。
• 引入并分析L²-Betti数和L²上同调作为流形与群作用的不变量。
• 阐明在算子代数背景下代数K-理论与拓扑K-理论之间的关系，及其在几何中的应用。

提出的方法

• 以Atiyah-Singer指标定理为基础，通过余切丛数据定义椭圆微分算子及其符号。
• 应用相对K-理论，将椭圆微分算子的符号关联到$K^0(DT^*M, ST^*M)$中的元素，从而建立分析与拓扑之间的联系。
• 将Baum-Connes猜想引入为群的约化C*-代数的K-理论与该群的正规作用分类空间的等变K-理论之间的同构。
• 利用有限商群$\Gamma/\Gamma_k$对算子核进行逼近，证明$\dim_\Gamma(\ker A) = \lim_{k\to\infty} \dim_{\Gamma/\Gamma_k}(\ker A_k)$。
• 通过完全非离散完备化的Galois上同调，证明辫群及其无挠有限扩张属于类$\mathcal{D}$，从而支持这些群的Atiyah猜想。
• 应用$L^2$-不变量理论，包括$L^2$-Betti数和$L^2$-指标定理，研究谱性质与拓扑障碍。

实验结果

研究问题

• RQ1 Baum-Connes猜想如何与Novikov猜想及正数量曲率问题相关联？
• RQ2 L²-上同调与L²-Betti数在检测流形与群作用的拓扑不变量方面起什么作用？
• RQ3 Atiyah猜想对哪些类群成立，特别是对具有挠元的群？
• RQ4 能否将$L^2$-不变量通过有限商群逼近的方法推广至代数系数之外？
• RQ5 在辫群及其扩张的Atiyah猜想与零因子猜想背景下，类$\mathcal{D}$具有何种意义？

主要发现

• Baum-Connes猜想蕴含Novikov猜想，揭示了非交换几何与高维拓扑之间深刻的联系。
• 稳定Gromov-Lawson-Rosenberg猜想由Baum-Connes猜想推出，为正数量曲率度量提供了K-理论障碍。
• 存在不稳定Gromov-Lawson-Rosenberg猜想的反例，表明K-理论障碍的消失不足以保证正数量曲率的存在。
• 辫群$B_n$属于类$\mathcal{D}$，即Atiyah猜想对$B_n$成立，原因在于存在嵌套的、无挠的、正规的子群且交集为平凡。
• 逼近结果$\dim_\Gamma(\ker A) = \lim_{k\to\infty} \dim_{\Gamma/\Gamma_k}(\ker A_k)$在代数系数下成立，支持了Atiyah猜想在极限情况下的有效性。
• 对于具有挠元的群，若$Fin^{-1}(\Gamma)$是离散的，则环$D_K\Gamma$是半单阿廷环，从而即使在存在挠元的情况下，也能推广Atiyah猜想。