[论文解读] Attempts to define a Baum--Connes map via localization of categories for inverse semigroups

Bernhard Burgstaller|arXiv (Cornell University)|Jun 28, 2015

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

一句话总结

本文尝试通过使用三角范畴方法和局部化，将Meyer-Nest方法推广至幺半、可数逆半群的Baum–Connes猜想。它建立了Bott周期性、诱导函子等关键工具，并提出了一种新颖的$L^2(G)$-空间模型，但发现了诱导与限制函子之间对偶性的关键缺陷，导致狄拉克元素的存在性——从而也导致完整的Baum–Connes映射——取决于对诱导函子正确右伴随函子的未经验证假设。

ABSTRACT

Meyer and Nest showed that the Baum--Connes map is equivalent to a map on $K$-theory of two different crossed products. This approach is strongly categorial in method since its bases is to regard Kasparov's theory $KK^G$ as a triangulated category. We have tried to translate this approach to the realm of inverse semigroup equivariant $C^*$-algebras but can prove the existence of a Baum--Connes map only under some unverified additional assumptions which we however strongly motivate. Some of our results may be of independent interest, for example Bott periodicity, the definition of induction functors, the definition of a completely novel compatible $L^2(G)$-space, a Cuntz picture of $KK^G$, and the verification that $KK^G$ is a triangulated category.

研究动机与目标

• 通过范畴方法将Meyer-Nest框架在Baum–Connes猜想中从群推广至幺半、可数逆半群。
• 通过局部化在$KK^G$-理论中定义逆半群的狄拉克元素，类比于群的情形。
• 在$E$-连续性条件下，构建与$KK^G$-范畴结构相容的$\ell^2(G)$-$C^*$-代数模型。
• 使用Cuntz的态射图景方法，验证$KK^G$是逆半群的三角范畴。
• 为有限子逆半群定义诱导与限制函子，并分析其伴随关系。

提出的方法

• 通过将Baum–Connes映射建模为由$KK^G$中狄拉克态射的下降所诱导的$K$-理论映射，适配Meyer-Nest策略。
• 使用$KK^G$-态射的Cuntz图景（即$*$-同态）将$KK^G$确立为三角范畴。
• 在$E$-连续性条件下引入新的$L^2(G)$-空间模型，以支持狄拉克元素的构造。
• 在三角范畴中应用Brown的表示性定理，构造$KK^G(P, \mathbb{C})$中候选狄拉克元素。
• 使用${\mathcal{C}}{\mathcal{J}}$-单纯逼近构造，构建在$KK^H$-群上具有同构性质的候选态射$D$。
• 基于Neeman的理论结果，用正确的诱导函子右伴随函子替代经典限制函子，并在未经验证的假设下分析其性质。

实验结果

研究问题

• RQ1 能否通过三角范畴技术将Meyer-Nest方法在Baum–Connes猜想中从群推广至逆半群？
• RQ2 在适当假设下，$KK^G$中狄拉克元素的存在性是否可由${\mathcal{C}}{\mathcal{J}}$-单纯逼近推导得出？
• RQ3 对于有限子逆半群$H \subseteq G$，诱导函子$\mathrm{Ind}_H^G$的正确右伴随函子是什么？
• RQ4 在逆半群$C^*$-代数的背景下，如何构建与$KK^G$-理论相容的$L^2(G)$-空间？
• RQ5 经典恒等式$KK^G(\mathrm{Ind}_H^G A, B) \cong KK^H(A, \mathrm{Res}_G^H B)$在逆半群情形下在多大程度上成立？

主要发现

• 本文证明了对于幺半、可数逆半群$G$，其$KK^G$是三角范畴，使用了态射的Cuntz图景。
• 在逆半群的$KK^G$-理论背景下，验证了Bott周期性。
• 在$E$-连续性条件下构建了新的$L^2(G)$-空间模型，这对$KK^G$-范畴结构至关重要。
• 为有限子逆半群$H \subseteq G$定义了诱导函子$\mathrm{Ind}_H^G: KK^H \to KK^G$，并基于Neeman的结果将其中的右伴随函子识别为理论对象。
• 在对正确右伴随函子的假设未被验证的前提下，构造了候选狄拉克态射$D \in KK^G(P, \mathbb{C})$，若该假设成立，则可推出Baum–Connes映射的存在性。
• 经典对偶性$KK^G(\mathrm{Ind}_H^G A, B) \cong KK^H(A, \mathrm{Res}_G^H B)$在逆半群情形下不成立，且限制函子并非诱导函子的正确右伴随函子。