[论文解读] $C^*$-algebras of $b$-pseudodifferential operators and an $\R^k$-equivariant index theorem

Richard Melrose, Victor Nistor|ArXiv.org|Oct 23, 1996

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

一句话总结

本文確立了與具有角的流形上 b-偽微分算子相關的 C*-代數的 K-理論不變量，並證明了在 R^k 作用下不變的算子的 R^k-等變指標定理。該研究將這些結果與 η-不變量聯繫起來，為具有群對稱性的奇異空間上的指標理論提供了 K-理論框架。

ABSTRACT

We compute $K$-theory invariants of algebras of pseudodifferential operators on manifolds with corners and prove an equivariant index theorem for operators invariant with respect to an action of $\R^k.$ We discuss the relation between our results and the $η$-invariant.

研究动机与目标

• 計算具有角的流形上 b-偽微分算子 C*-代數的 K-理論不變量。
• 為在 R^k 群作用下不變的算子發展 R^k-等變指標定理。
• 明確導出的 K-理論不變量與指標理論中 η-不變量之間的關係。
• 將指標理論推廣至具有邊界與角結構的奇異幾何設置。
• 為非緊或分層空間上的等變指標問題提供泛函分析與 K-理論框架。

提出的方法

• 使用符號微分法與算子範數，在具有角的流形上構造 b-偽微分算子的 C*-代數。
• 應用 K-理論技術，計算相關 C*-代數的 K-群，專注於邊界與角 strata 的結構。
• 利用 R^k 在流形上的作用，定義算子代數上的 R^k-等變結構。
• 從交叉積 C*-代數的 K-理論到商空間的 K-理論，建立一個拓撲指標映射。
• 透過 K-理論同構，將分析指標與拓撲指標關聯，證明等變指標定理。
• 透過非緊設置下的譜非對稱性與 zeta-正則化跡，將 η-不變量與指標公式關聯。

实验结果

研究问题

• RQ1 具有角的流形上 b-偽微分算子 C*-代數的 K-理論不變量是什麼？
• RQ2 如何為 b-偽微分算子形式化並證明 R^k-等變指標定理？
• RQ3 η-不變量與 R^k-不變 b-偽微分算子的指標之間的精確關係是什麼？
• RQ4 角與邊界的存在如何影響偽微分算子的 K-理論與指標理論？
• RQ5 R^k-不變算子的分析指標能否透過交叉積的 K-理論中的拓撲不變量來計算？

主要发现

• 具有角的流形上 b-偽微分算子 C*-代數的 K-理論，以邊界與角 strata 的 K-理論來表達。
• 建立了 R^k-等變指標定理，表明 R^k-不變 b-偽微分算子的分析指標等於其在交叉積代數 K-理論中的拓撲指標。
• η-不變量自然地作為指標公式中的修正項出現，反映了非緊設置下的譜非對稱性。
• 指標定理將經典的 Atiyah-Singer 指標定理推廣至具有角的流形與非緊群作用的設置。
• K-理論計算揭示了一個類似 Mayer-Vietoris 的正合序列，捕捉了流形的分層結構。
• 這些結果為等變設置下 η-不變量提供了 K-理論解釋，即分析指標與拓撲指標之間的差異。