[论文解读] Induction for Banach algebras, groupoids and KK^ban

Walther Paravicini|ArXiv.org|Feb 24, 2009

Advanced Operator Algebra Research参考文献 15被引用 4

一句话总结

本文建立了Banach代数和群胚在广义态射下的Lafforgue的$<math xmlns='http://www.w3.org/1998/Math/MathML'>\operatorname{KK}^{\operatorname{ban}}</math>$-理论的函子性，证明了拓扑空间中局部紧致Hausdorff群胚的Morita等价性蕴含其$L^1$-代数的Morita等价性，且带有Banach代数系数的Bost猜想在群胚等价下保持不变。关键结果是一个连接诱导Banach代数的$\operatorname{K}$-理论的交换图，表明Bost猜想对某一 grupoid 成立当且仅当对任意等价的grupoid 成立。

ABSTRACT

Given two equivalent locally compact Hausdorff groupoids, the Bost conjecture with Banach algebra coefficients is true for one if and only if it is true for the other. This also holds for the Bost conjecture with C*-coefficients. To show these results, the functoriality of Lafforgue's KK-theory for Banach algebras and groupoids with respect to generalised morphisms of groupoids is established. It is also shown that equivalent groupoids have Morita equivalent L^1-algebras (with Banach algebra coefficients).

研究动机与目标

• 在广义态射下建立Banach代数和群胚的$\operatorname{KK}^{\operatorname{ban}}$-理论的函子性。
• 将L1-代数的Morita等价性推广至群胚代数的任意无条件完备化。
• 证明带有Banach代数系数的Bost猜想在局部紧致Hausdorff群胚等价下保持不变。
• 通过诱导与下降构造一个连接拓扑$K$-理论与Banach代数$K$-理论的交换图。
• 将已知的关于Bost猜想的结果扩展至Banach代数系数，填补了文献中的空白。

提出的方法

• 系统发展群胚Banach代数及其无条件完备化$\mathcal{A}(\mathcal{G})$的理论。
• 为$\mathcal{H}$-Banach代数$B$引入诱导函子$\operatorname{Ind}_\mathcal{H}^\mathcal{G} B$，以构造$\mathcal{G}$-Banach代数。
• 通过Morita等价性证明$\mathcal{A}(\mathcal{H}, B) \sim_{\text{M}} \mathcal{A}(\mathcal{G}, \operatorname{Ind}_\mathcal{H}^\mathcal{G} B)$。
• 在交换图的证明中，利用截断函数和投影将$\mathcal{A}(\mathcal{H}, \mathcal{C}_0(X|_{\mathcal{H}^{(0)}}))$与$\mathcal{A}(\mathcal{L}, \mathcal{C}_0(X))$关联起来。
• 通过在两个变量中应用$\operatorname{KK}^{\operatorname{ban}}$-理论的函子性，验证关键交换图的交换性。
• 利用$C^*$-代数的Bost汇编图通过$\operatorname{K}^{\operatorname{top}2,\operatorname{ban}}$的事实，将结果扩展至$C^*$-系数。

实验结果

研究问题

• RQ1 带有Banach代数系数的Bost猜想在群胚等价下是否保持不变？
• RQ2 Banach代数的$\operatorname{KK}^{\operatorname{ban}}$-理论能否在群胚的广义态射下实现函子性？
• RQ3 等价群胚的$L^1$-代数之间的Morita等价性是否可推广至一般无条件完备化？
• RQ4 在群胚的Banach代数$K$-理论中，诱导与下降如何相互作用？
• RQ5 能否通过截断函数和投影提升来建立$K$-理论图的交换性？

主要发现

• 由于$\operatorname{KK}^{\operatorname{ban}}$-理论在等价下的不变性，带有Banach代数系数的Bost猜想对群胚$\mathcal{G}$成立当且仅当对任意等价群胚$\mathcal{H}$成立。
• 诱导的$\mathcal{G}$-Banach代数$\operatorname{Ind}_\mathcal{H}^\mathcal{G} B$在$\mathcal{A}(\mathcal{H}, B)$与$\mathcal{A}(\mathcal{G}, \operatorname{Ind}_\mathcal{H}^\mathcal{G} B)$之间诱导出Morita等价性，从而导致同构的$K$-理论。
• 通过Morita等价性沿拉回与上推，建立了连接$\operatorname{K}^{\operatorname{top}2,\operatorname{ban}}_*(\mathcal{H}, B)$、$\operatorname{K}_*(\mathcal{A}(\mathcal{H}, B))$与$\operatorname{K}_*(\mathcal{A}(\mathcal{G}, \operatorname{Ind}_\mathcal{H}^\mathcal{G} B))$的交换图。
• 图中左竖直箭头是同构，这是由于$\operatorname{KK}^{\operatorname{ban}}$-理论在群胚等价下的不变性。
• 带有$C^*$-代数系数的Bost猜想也因通过Banach代数版本而保持在群胚等价下不变。
• 证明依赖于将截断函数从$X|_{\mathcal{H}^{(0)}}$扩展至$X$，并证明相关投影在包含映射$\varphi_{{\mathcal{C}}_0(X)}$下保持不变。