[论文解读] Spectral geometry of functional metrics on noncommutative tori

Asghar Ghorbanpour, Masoud Khalkhali|arXiv (Cornell University)|Nov 9, 2018

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

一句话总结

本文通过自伴元的光滑函数定义非交换环面上的功能度量，并利用 $h$-微分算子发展其谱几何。推导出第二项热迹密度的显式公式，计算了共形平坦度量与扭积度量在所有维数下的标量曲率和总标量曲率，并为非交换2-环面上的一般功能度量证明了高斯-博内定理——解决了非交换曲率理论中长期存在的、超越共形度量的理论空白。

ABSTRACT

We introduce a new family of metrics, called functional metrics, on noncommutative tori and study their spectral geometry. We define a class of Laplace type operators for these metrics and study their spectral invariants obtained from the heat trace asymptotics. A formula for the second density of the heat trace is obtained. In particular, the scalar curvature density and the total scalar curvature of functional metrics are explicitly computed in all dimensions for certain classes of metrics including conformally flat metrics and twisted product of flat metrics. Finally a Gauss-Bonnet type theorem for a noncommutative two torus equipped with a general functional metric is proved.

研究动机与目标

• 将谱几何从非交换环面上的共形平坦度量扩展至此前主导研究的范围之外。
• 基于非交换环面代数中自伴元的光滑函数，定义一类新度量——功能度量。
• 在所有维数下计算这些度量的谱不变量，如标量曲率和总标量曲率。
• 为配备一般功能度量的非交换2-环面建立高斯-博内型定理，推广先前结果。

提出的方法

• 通过自伴元 $h$ 和在 $h$ 的谱上取正值的矩阵值函数 $g_{ij}(h)$ 定义功能度量，构建类似度量的结构。
• 通过使用 $g_{ij}(h)$ 变形函数与1-形式上的内积，构造拉普拉斯型 $h$-微分算子，确保其与标准拉普拉斯算子反酉等价。
• 应用康奈斯在非交换环面上的伪微分演算，分析这些算子的热迹渐近展开。
• 利用算子的缩并形式与牛顿差商处理符号演算，并推导谱密度。
• 借助重排引理与 $T$-函数计算热迹的第二密度，从而实现曲率计算。
• 运用爱因斯坦求和约定与矩阵恒等式（包括卡莱-哈密顿定理）简化标量曲率与总曲率的表达式。

实验结果

研究问题

• RQ1 能否在非交换环面上对非共形度量计算谱不变量（如标量曲率）？
• RQ2 拉普拉斯型算子关联的功能度量的热迹第二密度的显式形式是什么？
• RQ3 对于配备一般功能度量（非仅共形平坦）的非交换2-环面，高斯-博内定理是否成立？
• RQ4 在高维中，功能度量（包括扭积与共形平坦情形）的标量曲率与总标量曲率行为如何？
• RQ5 能否通过算子理论工具系统地将非交换环面的谱几何扩展至共形度量之外？

主要发现

• 为拉普拉斯型 $h$-微分算子推导出热迹第二密度的公式，将先前结果推广至非共形度量。
• 在所有维数下显式计算了共形平坦与扭积功能度量的标量曲率密度与总标量曲率。
• 对于非交换2-环面，由于曲率矩阵的反对称性，所有功能度量的总标量曲率恒为零，从而导出高斯-博内型定理。
• 高斯-博内定理的证明依赖于矩阵恒等式与导出函数 $\alpha(t_0,t_1)$ 的反对称性，其在迹下为零。
• 该方法成功计算了一大类度量的曲率不变量，包括对角元非恒定的情形，将已知结果推广至所有维数。
• 通过使用 $T$-函数与缩并形式符号，即使在高维中缺乏统一化定理的条件下，也能系统计算谱不变量。