[论文解读] Convex polytopes and the index of Wiener-Hopf operators

Alexander Alldridge|arXiv (Cornell University)|Feb 18, 2011

Advanced Operator Algebra Research参考文献 6被引用 3

一句话总结

本文建立了与凸多面体锥相关的威纳-霍普夫 C*-代数的 K-理论与多面体本身的胞射同调之间的深刻联系。通过利用符号映射构造代数的滤子，并将阿蒂yah-赫兹布鲁赫谱序列的 E¹ 项识别为多面体的胞射复形，作者证明了该代数是 KK-收缩的，且其紧算子模的商代数与实直线上连续函数在无穷远处消失的代数 KK-等价。

ABSTRACT

We study the C$^*$-algebra of Wiener-Hopf operators $A_Ω$ on a cone $Ω$ with polyhedral base $P$. As is known, a sequence of symbol maps may be defined, and their kernels give a filtration by ideals of $A_Ω$, with liminary subquotients. One may define $K$-group valued 'index maps' between the subquotients. These form the $E^1$ term of the Atiyah-Hirzebruch type spectral sequence induced by the filtration. We show that this $E^1$ term may, as a complex, be identified with the cellular complex of $P$, considered as CW complex by taking convex faces as cells. It follows that $A_Ω$ is $KK$-contractible, and that $A_Ω/\mathbb K$ and $S$ are $KK$-equivalent. Moreover, the isomorphism class of $A_Ω$ is a complete invariant for the combinatorial type of $P$.

研究动机与目标

• 理解与凸多面体锥相关的威纳-霍普夫 C*-代数的 K-理论和 KK-分类。
• 通过由符号映射诱导的滤子及其子商代数，分析这些代数的结构。
• 确定代数的同构类是否能完全分类其底层多面体的组合类型。
• 建立紧算子模的商代数与代数 C₀(ℝ) 的 KK-等价性。

提出的方法

• 通过符号映射定义威纳-霍普夫 C*-代数 $A_{\text{Ω}}$ 的滤子，其核构成理想，且子商代数为极限型（liminary）。
• 将与该滤子相关的阿蒂yah-赫兹布鲁赫谱序列的 E¹ 项识别为多面体 $P$ 的胞射复形，当 $P$ 视为以凸面为胞胞复形的 CW 复形时。
• 利用多面体 $P$ 是收缩的这一事实，证明其胞射复形是正合的，从而推出谱序列在 $E^2 = 0$ 处崩溃。
• 应用谱序列计算 K-理论，得出 $K_*(A_{\text{Ω}}) = 0$ 且 $K_*(A_{\text{Ω}}/\text{K}) = K_*(\text{C}_0(\text{ℝ}))$。
• 利用泛系数定理（UCT）和归纳类范畴的成员资格，得出 KK-收缩性和 KK-等价性。
• 通过 $f$-向量和指标映射，确立 $A_{\text{Ω}}$ 的同构类是多面体 $P$ 组合类型的完整不变量。

实验结果

研究问题

• RQ1 威纳-霍普夫代数 $A_{\text{Ω}}$ 在多面体底面 $P$ 的锥上的 K-理论如何与 $P$ 的拓扑相关？
• RQ2 由符号滤子诱导的谱序列的 $E^1$ 项能否被识别为多面体 $P$ 的胞射复形？
• RQ3 代数 $A_{\text{Ω}}$ 是否是 KK-收缩的？这对它的 KK-类意味着什么？
• RQ4 代数 $A_{\text{Ω}}$ 的同构类是否能完全分类多面体 $P$ 的组合类型？
• RQ5 $A_{\text{Ω}}/\text{K}$ 的 KK-类是什么？它与 $C_0(\text{ℝ})$ 有何关系？

主要发现

• 当多面体 $P$ 视为以凸面为胞胞复形的 CW 复形时，威纳-霍普夫代数 $A_{\text{Ω}}$ 的阿蒂yah-赫兹布鲁赫谱序列的 $E^1$ 项同构于 $P$ 的胞射复形。
• 谱序列在 $E^2 = 0$ 处崩溃，意味着 $K_*(A_{\text{Ω}}) = 0$ 且 $K_*(A_{\text{Ω}}/\text{K}) = K_*(\text{C}_0(\text{ℝ}))$。
• C*-代数 $A_{\text{Ω}}$ 是 KK-收缩的，即它与零代数 KK-等价。
• 商代数 $A_{\text{Ω}}/\text{K}$ 与 $S = \text{C}_0(\text{ℝ})$ KK-等价。
• 代数 $A_{\text{Ω}}$ 的同构类是多面体 $P$ 组合类型的完整不变量，由 $f$-向量和指标映射确定。
• 指标映射 $K_1(A_{\text{Ω}}/\text{K}) \to \text{Z}$ 是同构，确认弗雷德霍姆指标完全分类了 $K_1$-群。