A simple construction of Heat Kernels and conformal anomalies via Fedosov deformation quantization

技术摘要：通过 Fedosov 形变量子化构建热核与共形反常性的简易方法

问题陈述
计算热核展开及其相关的 Seeley–DeWitt 系数是量子场论、谱几何以及共形反常研究中的核心任务。虽然现有的方法（如 DeWitt 的递归设想、Gilkey 的不变理论方法以及协变傅里叶变换）已发展成熟，但仍面临显著的技术障碍。具体而言，对于高阶或任意阶微分算子（特别是高于二阶的算子），其显式计算会迅速变得极其复杂。这些困难通常源于协变导数的非交换性、在弯曲空间中缺乏显式的协变傅里叶变换，或者为了在平直空间之上进行曲率展开而不得不牺牲协变性。作者指出，需要一种既能保持显式广义协变性，又能为任意微分算子提供系统、高效且闭合形式展开的框架。

方法论：Fedosov 形变量子化
本文提出了一种基于 Fedosov 形变量子化的新颖方法来解决热核问题。其核心思想是通过将微分算子的符号嵌入到一个更大的几何结构——Weyl 丛中，从而将问题“平坦化”，在此结构中协变导数可以被替换为平坦联络。

1. 符号提升与平坦联络：

   • 微分算子 $\hat{f}(x, \nabla)$ 与切丛 $T^*X$ 上的符号 $f(x, p)$ 相关联。
   • 这些符号被“提升”为 Weyl 丛 $W_X$ 的截面 $F(x; y, p)$，该丛是时空流形 $X$ 上的结合代数（Weyl 代数）丛。
   • 在这一丛上构造了一个 Fedosov 联络 $D = d + A$，使得 $D F = 0$。该联络有效地平坦化了纤维几何，从而允许在纤维层面上使用标准的 Moyal–Weyl 星积（继承自平直空间）。
   • 提升后的 $F$ 通过要求其协变常数（$DF=0$）且在 $y=0$ 时还原为原始符号 $f$ 来唯一确定。这通过一个收缩同伦过程进行迭代求解。

2. 星积与迹：

   • 微分算子的复合对应于其提升符号的星积：$\hat{f} \circ \hat{g} \leftrightarrow F \star G$。
   • 热核算符 $e^{-t\hat{f}}$ 的迹通过提升符号的星指数（star-exponential）的迹来计算：
     $$\text{Tr}(e^{-t\hat{f}}) = \int_X d^dx \sqrt{g} \int \frac{d^dp}{(2\pi)^d} \left( e^{-t F} \right)_\star \Big|_{y=0}$$
   • 至关重要的一点是，即使基流形是弯曲的，在该公式中动量空间（$p$-空间）仍然是平坦的。这使得动量积分可以精确执行（通常作为高斯积分或其推广），而无需进行弯曲空间的傅里叶变换。

3. 展开策略：

   • 星指数 $e^{-t F}_\star$ 按形变参数 $\hbar$ 的幂次进行展开。
   • 所得表达式是关于 $t$（适当时间）的级数，其系数是曲率张量和符号分量的多项式。
   • 该展开是系统的：Fedosov 机制通过迭代生成必要的项；热核的短时展开直接对应于迭代的阶数。

主要贡献与结果

• 广义协变性与高效性： 该方法在所有阶段都是完全协变的。它避免了其他方法所需的图表复杂性或微分方程求解。其迭代过程是算法化的，便于高效实现。
• 任意阶算子： 该方法适用于任意阶 $\ell$ 的微分算子，而不局限于 Laplace 型（二阶）算子。星积形式自然地处理了高阶导数的非交换性。
• 闭合形式表达式： 该方法给出了 Seeley–DeWitt 系数 $a_k$ 和积分系数 $A_k$ 的闭合形式表达式。
• 不同维度的共形反常：
  • 4D： 作者复现了共形耦合标量场的标准结果，恢复了已知的 Type-A 和 Type-B 反常系数（$a=1/360, c=1/120$）。
  • 6D： 该方法计算了共形耦合标量场的反常系数，恢复了已知的 Type-A 系数（$a=1/9072$）和三个 Type-B 系数（$c_1, c_2, c_3$）。
  • 8D（新结果）： 本文展示了对八维空间中共形耦合标量场共形反常的新计算。这包括 Type-A 系数（$a$）和十个与特定局部共形不变基相关的 Type-B 系数（$c_i$）。作者根据应力张量两点函数的已知性质以及欧拉密度归一化验证了这些结果。

意义与主张
作者声称，这种方法提供了一个“简易工具”，用于通过其符号来乘积微分算子，解决了在展开高阶算子时保持协变性这一长期存在的难题。其意义在于：

1. 系统化计算： 它提供了一个统一的框架，用于计算任何阶微分算子的热核系数，而无需改变基本机制。
2. 新结果： 对八维空间中全套反常系数的计算是一个全新的结果，证明了该方法在传统方法难以处理的高维情况下的可扩展性。
3. 数学严谨性： 该构造依赖于形变量子化（Fedosov, Feigin-Felder-Shoikhet）的既有成果，确保了迹公式在数学上的完备性。切丛上的迹测度简化为标准的 $\sqrt{g}$，避免了额外的复杂性。

论文结论指出，该方法是实用的，仅需迭代代数运算而非求解复杂的微分方程，并建议未来将其应用于高自旋算子、非极小算子以及非交换场论。