[論文レビュー] 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 の正の固有空間への射影 Π> を、自己共役な楕円的境界条件として採用する。
• 熱核トレースを用いた積分表現を介して、s=0 における zeta 関数 ζ_𝒟²(s) を分析する：ζ_𝒟²(0) = lim_{s→0} (1/Γ(s)) ∫₀^∞ t^{s-1} (Tr e^{-t𝒟²} - dim ker 𝒟²) dt。
• 鍵となるステップは、ドゥハメルの原理と摂動の滑らかさを用いて、異なる境界条件間の zeta 関数の差が核の次元に支配されることを示すことである。
• 証明は、十分に小さい t に対して |Tr e^{-t𝒟_P²} - Tr e^{-t𝒟_Πσ²}| ≤ c√t を満たす正の定数 c>0 の存在に依存しており、これにより zeta 関数の差の収束が保証される。
• 付録では、円筒寄与の zeta 関数への寄与を計算し、それが消えることを示しており、これが主結果の根幹をなす。

実験結果

リサーチクエスチョン

• RQ1 境界上の接続作用素が可逆であるとき、多様体の分解に伴い、ディラックラプラシアンの ζ-行列式はどのように分解されるか？
• RQ2 断熱極限において、ζ-行列式の絶対値は、二つの部分多様体に起因する寄与の和として表現可能か？
• RQ3 特に接続作用素が可逆である場合、異なる境界条件におけるディラックラプラシアンの zeta 関数は s=0 でどのように振る舞うか？
• RQ4 境界条件の摂動は s=0 における zeta 関数にどのように影響を与え、断熱極限において一様に制御可能か？
• RQ5 熱核トレースの差が、s=0 における zeta 関数の加法性を確立するために果たす役割は何か？

主な発見

• 任意の自己共役な楕円的境界条件 P が Gr∞* 級に属する場合、ディラックラプラシアンの zeta 関数は s=0 で ζ_𝒟²(0) = -dim ker 𝒟² を満たす。
• B の正の固有空間への射影 Π> に対して、zeta 関数は s=0 で ζ_𝒟_Π>²(0) = -dim ker 𝒟_Π>² と与えられる。
• 任意の二つの境界条件 P と Πσ 間の zeta 関数の差は、それらの核の次元の差に等しい：ζ_𝒟_P²(0) - ζ_𝒟_Πσ²(0) = dim ker 𝒟_Πσ² - dim ker 𝒟_P²。
• 熱核トレースの差 |Tr e^{-t𝒟_P²} - Tr e^{-t𝒟_Πσ²}| は、十分に小さい t に対して c√t で有界であり、これにより zeta 関数の積分の収束と s→0 における差の消滅が保証される。
• 付録で示されるように、zeta 関数への円筒寄与は消える。これは、分解に沿った zeta 関数の加法性にとって不可欠である。
• この結果により、ζ-行列式の絶対値が多様体の分割に沿って加法的に分解されることを確認した。位相は既に先行研究で知られていたため、接続作用素が可逆な場合の断熱的分解が完全に完成した。