[论文解读] Dense domains, symmetric operators and spectral triples

Iain Forsyth, Bram Mesland+1 more|arXiv (Cornell University)|Jun 7, 2013

Spectral Theory in Mathematical Physics参考文献 13被引用 15

一句话总结

本文表明，对无界 Kasparov 模块的弱化定义——特别是那些代数不保持狄拉克算子定义域的情形——即使其预解算子是紧的，也无法产生良定义的弗雷德霍姆模。通过在单位区间和单位圆盘上对对称算子进行自伴扩张，作者构造了显式反例，表明有界变换 $ F = \mathcal{D}(1+\mathcal{D}^2)^{-1/2} $ 与 $ a $ 的换乘子 $[F, a]$ 不是紧算子，从而否定了文献中关于此类结构可产生 $ K $-同调类的主张。

ABSTRACT

This article is about erroneous attempts to weaken the standard definition of unbounded Kasparov module (or spectral triple). We present counterexamples to claims in the literature that Fredholm modules can be obtained from these weaker variations of spectral triple. Our counterexamples are constructed using self-adjoint extensions of symmetric operators.

研究动机与目标

• 挑战文献中关于弱化无界 Kasparov 模块定义可产生弗雷德霍姆模的主张的有效性。
• 确定谱三元组的有界变换定义弗雷德霍姆模所需的确切定义域条件。
• 纠正 [4, 第164–165页] 和 [3, 定理1.2, 1.3, 6.2] 中关于 $ K $-同调类与自伴扩张无关的错误主张。
• 证明当代数不保持 $ \mathcal{D} $ 的定义域时，即使 $ \mathcal{D} $ 具有紧预解算子，$[F, a]$ 的紧性也会失效。

提出的方法

• 利用单位区间和单位圆盘上具有有限与无限亏征指数的对称算子的自伴扩张构造反例。
• 分析有界变换 $ F = \mathcal{D}(1+\mathcal{D}^2)^{-1/2} $，并计算 $ a \in C^\infty(\mathbb{D}) $ 的换乘子 $[F, a]$。
• 运用谱论和预解算子的积分表示，研究 $[F, a]$ 的紧性，特别关注项 $ \mathcal{D}[(1+\mathcal{D}^2)^{-1/2}, a] $。
• 通过希尔伯特空间中向量序列的范数估计，证明 $ \|\zeta_n\| \geq \frac{1}{4\pi^2} $ 在极限下成立，从而表明其非紧性。
• 通过证明其作用在有界序列上无收敛子列，证明 $ P_+ r e^{-i\theta} P_- $ 不是紧算子。
• 利用 Baaj-Julg 和 [7] 中的柯西积分公式与预解算子恒等式，说明在标准证明框架中保持定义域的必要性。

实验结果

研究问题

• RQ1 当代数仅保持 $ \mathcal{D} $ 定义域的稠密子空间时，弱化谱三元组定义是否仍可通过有界变换产生弗雷德霍姆模？
• RQ2 若对称算子的自伴扩张具有紧预解算子，但换乘子 $[F, a]$ 不是紧算子，是否仍可产生弗雷德霍姆模？
• RQ3 如 [3] 所声称，谱三元组的 $ K $-同调类是否与自伴扩张的选择无关？
• RQ4 当 $ a $ 不保持 $ \mathrm{dom}(\mathcal{D}) $ 时，为何标准 Baaj-Julg 证明中 $[F, a]$ 的紧性会失效？
• RQ5 在有界变换中，$ \mathcal{D} $ 的定义域在确保换乘子 $[F, a]$ 紧性方面起什么作用？

主要发现

• 对于单位圆盘上的自伴扩张 $ \mathcal{D}_P $，尽管 $ \mathcal{D}_P $ 具有紧预解算子，换乘子 $[F, re^{-i\theta}]$ 仍不是紧算子。
• 通过换乘子矩阵元定义的序列 $ \{\zeta_n\} $ 满足 $ \liminf_{n\to\infty} \|\zeta_n\|^2 \geq \frac{1}{4\pi^2} $，证明其不收敛于零。
• 由于对所有 $ k $ 有 $ \langle \zeta_n | k,+ \rangle \to 0 $，但 $ \|\zeta_n\| \not\to 0 $，故 $ \{\zeta_n\} $ 不存在范数收敛子列，与紧性矛盾。
• 算子 $ P_+ r e^{-i\theta} P_- $ 不是紧算子，因其与一个紧算子的差为非紧算子。
• [4, 命题17.11.3] 中声称条件 (1’) 蕴含弗雷德霍姆模的断言是错误的，单位区间上的反例已予以证明。
• [3] 中声称谱三元组的 $ K $-同调类与自伴扩张无关的断言不成立，因为不同扩张会产生非等价的弗雷德霍姆模。