[论文解读] Spectral Asymmetry, Zeta Functions and the Noncommutative Residue

Raphaël Ponge|ArXiv.org|Oct 8, 2003

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

一句话总结

本文改进了 Wodzicki 的 zeta 函数方法，用于研究紧流形上奇类椭圆伪微分算子的谱非对称性，证明了在特定拓扑与阶数条件下，zeta 函数在整数点处的取值对谱切割具有局部独立性。主要贡献在于为狄拉克算子的谱非对称性给出了几何表达式，从而为引力中的爱因斯坦-希尔伯特作用量提供了新的谱解释。

ABSTRACT

In this paper we study the spectral asymmetry of (possibly nonselfadjoint) elliptic PsiDO's in terms of the difference of zeta functions coming from different cuttings. Refining previous formulas of Wodzicki in the case of odd class elliptic PsiDO's, our main results have several consequence concerning the local independence with respect to the cutting, the regularity at integer points of eta functions and a geometric expression for the spectral asymmetry of Dirac operators which, in particular, yields a new spectral interpretation of the Einstein-Hilbert action in gravity.

研究动机与目标

• 使用不同谱切割的 zeta 函数研究非自伴椭圆伪微分算子的谱非对称性。
• 在奇类椭圆 ΨDO 情况下，改进 Wodzicki 的 zeta 函数差值公式。
• 在特定几何与阶数条件下，建立 zeta 函数在整数点处的取值对谱切割的局部独立性。
• 为狄拉克算子的谱非对称性提供几何表达式，将其与引力中的爱因斯坦-希尔伯特作用量联系起来。
• 将 zeta 函数的正则性与独立性性质扩展到局部水平（点态密度）下的奇类算子。

提出的方法

• 通过分析不同谱切割 $ L_{\theta} $ 和 $ L_{\theta'} $ 对应的 zeta 函数差值来研究谱非对称性。
• 应用 Wodzicki 的扇形投影 $ \tilde{\theta},\theta' (P) $，其通过在区域 $ \theta < \arg \lambda < \theta' $ 上的围道积分定义，以分离谱分量。
• 利用非交换余项 $ \operatorname{Res} $，将 zeta 函数差值的余项与扇形投影的迹联系起来。
• 分析扇形投影 $ \Pi_{\theta,\theta'}(P) $ 的符号，以推导 zeta 函数的局部性质。
• 应用泛函分析结果，包括 Dunford-Schwartz 谱理论与 Schatten 算子类性质，以建立根向量系的完备性。
• 将局部 zeta 函数 $ \zeta_{\theta}(P;0)(x) $ 定义为密度，其积分即为全局 zeta 函数，从而实现点态分析。

实验结果

研究问题

• RQ1 在何种条件下，zeta 函数 $ \zeta_{\theta}(P;s) $ 在整数点处的正则取值对谱切割 $ L_{\theta} $ 是独立的？
• RQ2 奇类椭圆 ΨDO 的谱非对称性如何与非交换余项及 zeta 函数差值相关联？
• RQ3 狄拉克算子的谱非对称性能否通过非交换余项实现几何表达？
• RQ4 在何种条件下，奇类算子的 $ \zeta_{\theta}(P;s) $ 在整数点处具有正则性？
• RQ5 奇类算子的局部 zeta 函数密度 $ \zeta_{\theta}(P;0)(x) $ 是否对谱切割保持独立？

主要发现

• 当 $ \dim M $ 为奇数且 $ \operatorname{ord} P $ 为偶数时，$ \zeta_{\theta}(P;s) $ 在每个整数点处正则，且其取值对谱切割 $ L_{\theta} $ 独立。
• 当 $ \dim M $ 为偶数，$ \operatorname{ord} P $ 为奇数，且主符号位于两个对称开锥之并 $ \Lambda_{\theta,\theta'} \cup \Lambda_{\theta+\pi,\theta'+\pi} $ 内时，差值 $ \zeta_{\theta}(P;s) - \zeta_{\theta'}(P;s) $ 满足 $ \operatorname{ord} P \cdot \lim_{s \to k} (\zeta_{\theta}(P;s) - \zeta_{\theta'}(P;s)) = i\pi \operatorname{Res} P^{-k} $，对任意整数 $ k $ 成立。
• 在定理 5.1 或定理 5.2 的条件下，每一点 $ x \in M $ 处的局部 zeta 函数正则值 $ \zeta_{\theta}(P;0)(x) $ 对谱切割 $ L_{\theta} $ 独立。
• 对于自伴奇类算子，扇形投影 $ \Pi_{\theta,\theta'}(P) $ 是到对应于谱在扇形 $ \theta < \arg \lambda < \theta' $ 内的谱子空间的正交投影。
• 当 $ P $ 为正规算子时，$ \Pi_{\theta,\theta'}(P) $ 投影到特征空间的希尔伯特直和 $ \oplus_{\lambda \in \operatorname{Sp} P \cap \Lambda_{\theta,\theta'}} \ker(P - \lambda) $。
• 狄拉克算子的谱非对称性通过非交换余项实现几何表达，从而为引力中的爱因斯坦-希尔伯特作用量提供了新的谱解释。