[论文解读] Connes Integration Formula without singular traces

Fedor Sukochev, Dmitriy Zanin|arXiv (Cornell University)|Mar 16, 2021

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

一句话总结

本文建立了一种新的康奈斯积分公式版本，该公式在不依赖奇异迹或超滤子的前提下，推导出紧致黎曼流形上伪微分算子的渐近特征值行为。通过证明算子 $(1-\Delta_g)^{-d/4}M_f(1-\Delta_g)^{-d/4}$ 的精确弱施瓦茨范数估计，作者将可积函数类扩展至奥尔利茨空间 $L_M(X, \mathrm{vol}_g)$，并表明迹渐近性与黎曼体积积分一致，其依据为特征值衰减率。

ABSTRACT

A version of Connes Integration Formula which provides concrete asymptotics of the eigenvalues is given. This radically extending the class of quantum-integrable functions on compact Riemannian manifolds.

研究动机与目标

• 为康奈斯关于不使用超滤子或奇异迹推导非交换积分公式的开放问题提供解答。
• 将量子可积函数类从 $L^2$ 扩展至奥尔利茨空间 $L_M(X, \mathrm{vol}_g)$，其中 $M(t) = t\log(e+t)$。
• 为对称算子 $(1-\Delta_g)^{-d/4}M_f(1-\Delta_g)^{-d/4}$ 建立直接的渐近公式，使其能恢复黎曼体积积分。

提出的方法

• 证明对所有 $f \in L_M^{(2)}(X, \mathrm{vol}_g)$，有精确的弱施瓦茨范数估计 $\|M_f(1-\Delta_g)^{-d/4}\|_{2,\infty} \leq C_{X,g}\|f\|_{L_M^{(2)}}$，将索洛梅亚克的结果推广至紧致流形。
• 利用伯尔曼-索洛梅亚克谱渐近理论及拟巴拿赫理想范数的最新进展，分析该算子的奇异值行为。
• 在拟巴拿赫理想设定下应用伯尔曼-科普利安科-索洛梅亚克不等式，控制自伴算子中 $ABA_+$ 与 $AB_+A$ 之间的差异。
• 建立光滑函数逼近序列的奇异值函数 $\mu(t,T)$ 在 $\mathcal{L}_{1,\infty}$-范数下的收敛性。
• 利用 $[M_f, (1-\Delta_g)^{-d/4}] \in (\mathcal{L}_{2,\infty})_0$ 对于 $f \in L_M(X, \mathrm{vol}_g)$ 的事实，控制渐近展开中的误差项。
• 利用极限 $\lim_{t\to\infty} t \mu(t, T_+) = \frac{\mathrm{Vol}(\mathbb{S}^{d-1})}{d(2\pi)^d} \int_X f_+ \, d\mathrm{vol}_g$ 通过特征值衰减恢复积分。

实验结果

研究问题

• RQ1 能否仅通过特征值渐近性直接推导康奈斯积分公式，而无需引入奇异迹或超滤子？
• RQ2 在紧致黎曼流形上，函数 $f$ 的最大类是什么，使得算子 $(1-\Delta_g)^{-d/4}M_f(1-\Delta_g)^{-d/4}$ 的迹渐近性与黎曼体积积分一致？
• RQ3 弱施瓦茨范数估计 $\|M_f(1-\Delta_g)^{-d/4}\|_{2,\infty} \leq C_{X,g}\|f\|_{L_M^{(2)}}$ 是否在紧致流形上成立，从而将索洛梅亚克在环面上的结果推广？
• RQ4 该对称算子的特征值渐近行为能否用于定义 $L^2$ 之外函数的非交换积分？
• RQ5 当 $[A,B] \in (\mathcal{L}_{2,\infty})_0$ 时，$ABA$ 与 $AB_+A$ 的正部之间的差异是否属于 $(\mathcal{L}_{1,\infty})_0$ 理想？

主要发现

• 对称算子 $(1-\Delta_g)^{-d/4}M_f(1-\Delta_g)^{-d/4}$ 的特征值渐近行为满足：对所有实值函数 $f \in L_M(X, \mathrm{vol}_g)$，有 $\lim_{t\to\infty} t \mu(t, T_+) = \frac{\mathrm{Vol}(\mathbb{S}^{d-1})}{d(2\pi)^d} \int_X f_+ \, d\mathrm{vol}_g$。
• 该结果对负部同样成立：$\lim_{t\to\infty} t \mu(t, T_-) = \frac{\mathrm{Vol}(\mathbb{S}^{d-1})}{d(2\pi)^d} \int_X f_- \, d\mathrm{vol}_g$，从而完成对称公式。
• 可积函数类被扩展至 $L^2$ 之外，进入奥尔利茨空间 $L_M(X, \mathrm{vol}_g)$，其中 $M(t) = t\log(e+t)$，该空间严格大于 $L^2$。
• 对所有紧致 $d$-维黎曼流形，建立了弱施瓦茨范数估计 $\|M_f(1-\Delta_g)^{-d/4}\|_{2,\infty} \leq C_{X,g}\|f\|_{L_M^{(2)}}$。
• 当 $f \in L_M(X, \mathrm{vol}_g)$ 时，交换子 $[M_f, (1-\Delta_g)^{-d/4}]$ 属于拟巴拿赫理想 $(\mathcal{L}_{2,\infty})_0$，从而可应用谱逼近技术。
• 证明避免使用超滤子，转而采用直接谱分析及拟巴拿赫理想中的伯尔曼-索洛梅亚克不等式，从而构造性地推导出康奈斯公式。