[论文解读] Localisations of half-closed modules and the unbounded Kasparov product

Koen van den Dungen|arXiv (Cornell University)|Jun 18, 2020

Theoretical and Computational Physics被引用 4

一句话总结

本文通过为半闭模引入一种新颖的局部化程序，提出了一种类正定性条件，将库切罗夫斯基定理由有界 Kasparov 乘积推广至无界 Kasparov 乘积，从而适用于非自伴算子。该方法以局部正定性替代原始的全局正定性条件，使该理论可应用于非紧或不完备流形上的对称非自伴算子，并给出了半闭模表示两个其他模的 Kasparov 乘积的充分条件。

ABSTRACT

In the context of the Kasparov product in unbounded KK-theory, a well-known theorem by Kucerovsky provides sufficient conditions for an unbounded Kasparov module to represent the (internal) Kasparov product of two other unbounded Kasparov modules. In this article, we discuss several improved and generalised variants of Kucerovsky's theorem. First, we provide a generalisation which relaxes the positivity condition, by replacing the lower bound by a relative lower bound. Second, we also discuss Kucerovsky's theorem in the context of half-closed modules, which generalise unbounded Kasparov modules to symmetric (rather than self-adjoint) operators. In order to deal with the positivity condition for such non-self-adjoint operators, we introduce a fairly general localisation procedure, which (using a suitable approximate unit) provides a 'localised representative' for the KK-class of a half-closed module. Using this localisation procedure, we then prove several variants of Kucerovsky's theorem for half-closed modules. A distinct advantage of the localised approach, also in the special case of self-adjoint operators (i.e., for unbounded Kasparov modules), is that the (global) positivity condition in Kucerovsky's original theorem is replaced by a (less restrictive) 'local' positivity condition, which is closer in spirit to the well-known Connes-Skandalis theorem in the bounded picture of KK-theory.

研究动机与目标

• 通过半闭模将库切罗夫斯基定理由有界 Kasparov 乘积推广至非自伴算子，适用于非自伴算子的无界 Kasparov 乘积。
• 通过引入相对下界和局部正定性条件，放松库切罗夫斯基原始定理中的全局正定性条件。
• 开发一种使用逼近单位的一般化局部化程序，为半闭模的 KK-类提供一个局部代表。
• 构建一个适用于几何例子（如开流形子丛上的竖直椭圆算子）的理论框架。
• 证明局部正定性条件在自伴情形下也比原始全局正定性条件更具灵活性和更广泛的应用性。

提出的方法

• 通过合适的逼近单位引入局部化程序，为半闭模的 KK-类定义一个局部代表。
• 以局部正定性条件替代库切罗夫斯基定理中的全局正定性条件，并通过截断算子序列 $u_n$ 在一个稠密核上验证该条件。
• 利用有界变换和图范数估计，确保换位子 $[\mathcal{S}, \mathcal{T}]$ 是可闭的，且其闭包在 $u_n$ 的像上受控。
• 应用估计式 $\| [\mathcal{S}, \mathcal{T}] u_n \eta \| \leq C_n \| u_n \eta \|_{\mathcal{D}}$ 控制换位子在定义域上的增长。
• 利用不等式 $\pm \langle u_n \psi | \overline{[\mathcal{S}, \mathcal{T}]} u_n \psi \rangle \leq c_n \langle u_n \psi | (1 + \mathcal{D}^*\mathcal{D})^{1/2} u_n \psi \rangle$ 控制对称形式的有界性。
• 依赖 $\mathcal{F}$ 在 $\operatorname{Dom}(\mathcal{D})$ 中的核性质及范数收敛性论证，传递极限并验证乘积条件。

实验结果

研究问题

• RQ1 库切罗夫斯基定理能否推广至允许非自伴算子的半闭模？
• RQ2 库切罗夫斯基定理中的全局正定性条件如何被局部正定性条件所替代？
• RQ3 使用逼近单位的局部化程序在为半闭模的 KK-类定义代表时起什么作用？
• RQ4 局部正定性条件能否用于验证非紧流形上竖直椭圆算子等几何设定中的 Kasparov 乘积？
• RQ5 在自伴情形下，局部正定性条件是否比原始全局正定性条件更具灵活性和更广泛的应用性？

主要发现

• 本文建立了局部正定性条件，替代了库切罗夫斯基定理中的全局正定性条件，使其适用于非自伴算子。
• 通过逼近单位 $\{u_n\}$ 的局部化程序，可构造出半闭模 KK-类的局部代表。
• 证明了换位子 $[\mathcal{S}, \mathcal{T}]$ 是可闭的，其范数可通过估计式 $\| [\mathcal{S}, \mathcal{T}] u_n \eta \| \leq C_n \| u_n \eta \|_{\mathcal{D}}$ 控制。
• 证明显示 $u_n \cdot \operatorname{Dom}(\mathcal{D}) \subset \operatorname{Dom}(\overline{[\mathcal{S}, \mathcal{T}]})$，确保了乘积所需的定义域相容性。
• 不等式 $\pm \langle u_n \psi | \overline{[\mathcal{S}, \mathcal{T}]} u_n \psi \rangle \leq c_n \langle u_n \psi | (1 + \mathcal{D}^*\mathcal{D})^{1/2} u_n \psi \rangle$ 确认了对称形式的有界性。
• 结果将无界 Kasparov 乘积的适用范围扩展至几何例子，如不完备流形上的狄拉克型算子和子丛上的竖直椭圆算子。