[论文解读] Adiabatic decomposition of the zeta-determinant of the Dirac Laplacian I. The case of an invertible tangential operator. With an appendix by Yoonweon Lee

Jinsung Park, Krzysztof P. Wojciechowski|ArXiv.org|Dec 18, 2001

Advanced Operator Algebra Research参考文献 12被引用 5

一句话总结

本文在边界切向算子可逆的假设下，为闭奇数维流形沿超曲面分裂时，狄拉克拉普拉斯算子的ζ-行列式提供了直接、初等的证明。关键结果表明，对数ζ-行列式可加性地分解为流形两部分的贡献，其模部分通过每个分量上狄拉克拉普拉斯算子的zeta函数实现清晰分解。

ABSTRACT

we discuss the decomposition of the zeta-determinant of the square of the Dirac operator into the contributions coming from the different parts of the manifold in the case of an invertible tangential operator.

研究动机与目标

• 为闭奇数维流形上狄拉克拉普拉斯算子的ζ-行列式的绝热分解提供一种新的、直接的、初等的证明。
• 通过将狄拉克拉普拉斯算子的zeta函数分解为两个子流形的贡献，解决ζ-行列式模部分的分解问题。
• 建立当切向算子可逆时，狄拉克拉普拉斯算子的zeta函数在s=0处关于分解的可加性。
• 为后续工作中处理切向算子不可逆的一般情形奠定基础框架。

提出的方法

• 证明采用绝热技术，分析在边界超曲面上度量退化时zeta函数与热核迹的行为。
• 作者采用边界狄拉克算子B的正特征空间上的投影算子Π>作为自伴椭圆边界条件。
• 通过涉及热核迹的积分表示分析zeta函数ζ_𝒟²(s)在s=0处的值：ζ_𝒟²(0) = lim_{s→0} (1/Γ(s)) ∫₀^∞ t^{s-1} (Tr e^{-t𝒟²} - dim ker 𝒟²) dt。
• 关键步骤在于利用杜哈梅尔原理和扰动的光滑性，证明不同边界条件下zeta函数之差受核维数控制。
• 证明依赖于存在常数c>0，使得当t较小时有|Tr e^{-t𝒟_P²} - Tr e^{-t𝒟_Πσ²}| ≤ c√t，从而保证zeta函数差值的收敛性。
• 附录计算了zeta函数的柱体贡献并证明其为零，这对主结果至关重要。

实验结果

研究问题

• RQ1 当边界处的切向算子可逆时，狄拉克拉普拉斯算子的ζ-行列式在流形分裂下如何分解？
• RQ2 在绝热极限下，ζ-行列式的模是否可表示为两个子流形贡献之和？
• RQ3 在不同边界条件下，狄拉克拉普拉斯算子的zeta函数在s=0处的行为如何，特别是当切向算子可逆时？
• RQ4 边界条件的扰动如何影响s=0处的zeta函数，且这种影响在绝热极限下是否可统一控制？
• RQ5 热核迹之差在建立s=0处zeta函数可加性中起什么作用？

主要发现

• 对于格拉斯曼流形Gr∞*类中的任意自伴椭圆边界条件P，狄拉克拉普拉斯算子在s=0处的zeta函数满足ζ_𝒟²(0) = -dim ker 𝒟²。
• 对于B的正特征空间上的投影算子Π>，zeta函数在s=0处的值为ζ_𝒟_Π>²(0) = -dim ker 𝒟_Π>²。
• 任意两个边界条件P与Πσ之间zeta函数的差值由其核维数之差决定：ζ_𝒟_P²(0) - ζ_𝒟_Πσ²(0) = dim ker 𝒟_Πσ² - dim ker 𝒟_P²。
• 当t较小时，热核迹之差|Tr e^{-t𝒟_P²} - Tr e^{-t𝒟_Πσ²}|被c√t控制，这保证了zeta函数积分的收敛性，并使差值在s→0极限下趋于零。
• 如附录所示，zeta函数的柱体贡献为零，这对zeta函数在分解下的可加性至关重要。
• 结果确认了ζ-行列式的模在流形分裂下可加性分解，而相位部分已由先前工作确定，从而完整实现了切向算子可逆情形下的绝热分解。