[论文解读] On a theorem of Kucerovsky for half-closed chains

Jens Kaad, Walter D. van Suijlekom|University of Southern Denmark Research Portal (University of Southern Denmark)|Sep 26, 2017

Advanced Operator Algebra Research参考文献 10被引用 7

一句话总结

本文通过引入一种局域化程序，将Kucerovsky定理从自伴情形推广至非自伴情形，实现了对无界Kasparov积的识别。该程序将半闭链转化为无界模形式循环。通过利用与正元 $x$ 相关的模自同构进行扭曲，作者提供了无需显式引用对称无界算子的共轭定义域的内部Kasparov积的可验证准则，从而实现了在非完备、非紧致非交换几何中的计算。

ABSTRACT

Kucerovsky's theorem provides a method for recognizing the interior Kasparov product of selfadjoint unbounded cycles. In this paper we extend Kucerovsky's theorem to the non-selfadjoint setting by replacing unbounded Kasparov modules with Hilsum's half-closed chains. On our way we show that any half-closed chain gives rise to a multitude of twisted selfadjoint unbounded cycles via a localization procedure. These unbounded modular cycles allow us to provide verifiable criteria avoiding any reference to domains of adjoints of symmetric unbounded operators.

研究动机与目标

• 将Kucerovsky定理从原本适用于自伴无界Kasparov模的情形，推广至Hilsum的半闭链的非自伴设定。
• 通过构造一种局域化程序，解决非自伴算子中对共轭定义域描述的困难，从而从半闭链构造出自伴无界循环。
• 提供无需显式引用对称无界算子共轭定义域的内部Kasparov积的可验证准则。
• 建立一个框架，用于在非完备、非紧致非交换几何（如恰当黎曼纤维丛所诱导的几何）中计算无界Kasparov积。

提出的方法

• 引入一种局域化程序，将一个对称正规无界算子 $D$ 映射为一个本质上自伴算子 $xDx^*$，其中 $x$ 是一个有界共轭可施行算子。
• 通过局域化映射 $D \mapsto xDx^*$，从单个半闭链构造出大量无界模形式循环，其中 $x$ 的选取满足 $\|d(x^*)\phi(x)\|_\infty < 1$。
• 利用涉及模自同构 $\sigma(a) = (xx^*)a(xx^*)^{-1}$ 的扭曲交换子条件，描述局域化循环中交换子的形变。
• 对局域化后的自伴循环应用Baaj-Julg有界变换，以恢复$KK$-理论中的元素，并将其与原始半闭链关联。
• 定义一个局域化子集 $\Lambda \subseteq \mathscr{A}$，满足局域正则性条件及统一有界性 $\kappa_x \leq \kappa$，以控制扭曲积的正则性。
• 通过Herglotz公式对有界变换进行积分表示，将正则性条件表达为$C^*$-商代数 $\mathbb{L}(E)/\mathbb{K}(E)$ 中的 $L^2$-内积与范数形式。

实验结果

研究问题

• RQ1 Kucerovsky定理——用于识别无界Kasparov积——能否从自伴无界Kasparov模情形推广至半闭链的非自伴设定？
• RQ2 如何在不显式计算对称无界算子共轭定义域的前提下，从半闭链构造出自伴无界循环？
• RQ3 局域化元素 $x$ 需满足何种条件，以确保局域化循环中扭曲交换子条件有界且与Kasparov积相容？
• RQ4 在非完备几何中，如何在不依赖共轭定义域的前提下验证有界变换中的正则性条件？
• RQ5 模自同构 $\sigma(a) = (xx^*)a(xx^*)^{-1}$ 在无界设定中Kasparov积的因式分解中起何种作用？

主要发现

• 局域化程序通过 $D \mapsto xDx^*$ 将半闭链转化为自伴无界模形式循环，其中 $x$ 是满足 $\|d(x^*)\phi(x)\|_\infty < 1$ 的有界共轭可施行算子，从而可应用自伴算子的工具。
• 作者通过局域化构造出一族扭曲自伴无界循环，每个对应于不同的 $x$，并证明这些循环与无界Kasparov积相容。
• 证明了一个关键恒等式：$\sum_{j=1}^4 Q_j(\lambda,\mu,x)(T_x\xi) = 2\cdot\text{Re}\big{\langle}T_x\xi, S_x(\lambda)S_1(\mu)|_{E_x}T_x\xi\big{\rangle}$，该恒等式将积的正则性与类预解算子的行为联系起来。
• 在局域正则性条件与统一有界性 $\kappa_x \leq \kappa$ 下，$C^*$-商代数 $\mathbb{L}(E)/\mathbb{K}(E)$ 中的正则性条件成立，从而有 $\phi(a)^*\big{(}(F_{D_1}^*\widehat{\otimes}1)F_D^* + F_D(F_{D_1}\widehat{\otimes}1)\big{)}\phi(a) \geq -4\kappa\cdot\phi(a^*a)$。
• 本文证明，即使在缺乏自伴性的情况下，内部Kasparov积仍可通过局域化子集 $\Lambda$ 与统一有界性 $\kappa$ 的准则加以识别。
• 该方法成功避免了对共轭定义域的显式计算，转而通过 $xx^*$ 的扭曲实现替代，且所得准则在如恰当黎曼纤维丛等几何设定中可验证。