[论文解读] Heat asymptotics with spectral boundary conditions II

Peter Gilkey, Klaus Kirsten|ArXiv.org|Jul 11, 2000

Advanced Mathematical Modeling in Engineering被引用 7

一句话总结

本文计算了在紧致黎曼流形边界上具有谱边界条件的狄拉克型算子的第三项热迹系数 $ a_3 $。通过不变几何分解与热核的渐近分析，推导出 $ a_3 $ 的显式公式，其表达式涉及曲率、第二基本形式以及算子的主符号，扩展了对 $ a_0, a_1, a_2 $ 的先前结果，并为指标理论与量子场论应用提供了关键组成部分。

ABSTRACT

Let $P$ be an operator of Dirac type on a compact Riemannian manifold with smooth boundary. We impose spectral boundary conditions and study the asymptotics of the heat trace of the associated operator of Laplace type.

研究动机与目标

• 确定在谱边界条件下，狄拉克型算子的热迹渐近展开中第三项热迹系数 $ a_3 $。
• 将热不变量的不变几何计算方法扩展至 $ a_2 $ 以上，完成至 $ t^{(3-m)/2} $ 阶的局部不变量集合。
• 给出 $ a_3 $ 关于曲率、第二基本形式及算子主符号的公式，适用于维度 $ m \geq 4 $ 的流形。
• 与先前关于 $ a_0, a_1, a_2 $ 的结果保持一致，并通过 zeta 函数的留数分析验证计算结果。
• 通过提供谱边界值问题的完整局部不变量，支持一阶量子引力与超引力理论的应用。

提出的方法

• 使用热迹的渐近展开 $ \operatorname{Tr}_{L^2}\{Fe^{-tD_{\mathcal{B}}}\} \sim \sum_{k=0}^{\infty} a_k t^{(k-m)/2} $，当 $ t \downarrow 0 $ 时，其中 $ D_{\mathcal{B}} $ 为在谱边界条件下定义的拉普拉斯型算子。
• 应用不变几何技术，将 $ a_3 $ 表示为曲率不变量、第二基本形式 $ L_{ab} $ 以及算子主符号 $ \gamma^\mu $ 的函数。
• 在边界附近使用局部法坐标系，令 $ x^m $ 为测地距离，冻结 $ x^m = 0 $ 处的系数以定义切向算子 $ B $。
• 构造一个自伴切向算子 $ A = (B + B^*)/2 + \Theta $，其中谱边界条件被定义为投影到 $ A $ 的非负特征空间上。
• 使用连接 $ {}^D\nabla $ 和曲率 $ R_{ijkl} $ 的结构方程，并定义 $ \hat{\psi} = \gamma_m^{-1}\psi $，$ \tau = R_{ijji} $，以及 $ \rho_{ij} = R_{ikkj} $。
• 对与热核相关的 zeta 函数执行详细的留数计算，利用 $ \zeta_N(s) $ 和 $ \zeta_{S^1 \times N}(s) $ 通过解析续延与围道平移验证 $ a_3 $ 系数。

实验结果

研究问题

• RQ1 在谱边界条件下，热迹渐近展开中第三项热核系数 $ a_3 $ 的显式不变表达式是什么？
• RQ2 曲率、第二基本形式以及算子主符号如何以几何一致且局部的方式贡献于 $ a_3 $？
• RQ3 是否可通过 zeta 函数留数分析与已知 $ a_0, a_1, a_2 $ 系数的一致性检查来验证 $ a_3 $ 的计算？
• RQ4 由 $ B $ 与边界自伴变换 $ \Theta $ 构造的自伴切向算子 $ A $ 在定义谱边界条件及其不变量方面起什么作用？
• RQ5 维度 $ m \geq 4 $ 如何影响 $ a_3 $ 系数的结构以及渐近展开的有效性？

主要发现

• 系数 $ a_3(F, D, \mathcal{B}) $ 被计算为体项与边界项之和，其中边界项涉及 $ \operatorname{Tr}\{F \cdot \hat{\psi} \} $，$ L_{aa} $，以及曲率不变量。
• 边界项中包含一项与 $ \left(1 - \frac{3}{4}\pi\beta(m)\right) $ 成正比的项，其中 $ \beta(m) = \Gamma(m/2)\Gamma(1/2)^{-1}\Gamma((m+1)/2)^{-1} $。
• 系数 $ a_3 $ 以黎曼曲率张量 $ R_{ijkl} $、第二基本形式 $ L_{ab} $ 以及算子的零阶部分 $ \psi $ 的不变形式表达。
• 通过 zeta 函数的留数分析验证了计算结果，其中 $ \Gamma((m-2)/2)\operatorname{Res}_{s=(m-2)/2} A_{-1}(s) = \frac{1}{2}a_0^{(N)} - \frac{1}{12}a_0^{(N)} $，确认了结果的一致性。
• 结果 $ a_3 $ 与先前对 $ a_0, a_1, a_2 $ 的计算一致，且展开式中 $ d_{12} $ 的值与早期工作相符。
• 最终的 $ a_3 $ 公式通过几何分解、zeta 函数正则化与围道积分的结合推导得出，明确包含了来自 $ A_0(s), A_1(s), A_2(s) $ 的留数贡献。