[論文レビュー] Elementary proof of symmetry of the off-diagonal Seeley-DeWitt (and related Hadamard) coefficients

Wojciech Kamiński|arXiv (Cornell University)|Apr 7, 2019

Mathematics and Applications参考文献 17被引用数 5

ひとこと要約

本稿では、任意の符号性をもつ滑らかな多様体上での非対角成分のセスク・シンメトリーを、解析接続や熱核漸近展開に依存せずに、初等的で直接的な証明が提示されている。共変微分方程式と測地線に沿った随伴作用素の性質を用いて、$ f_n^{SD}(x,x') = f_n^{SD}(x',x)^\tanh $ が成り立つことが示され、リーマン幾何やローレンツ幾何で知られている結果を、任意の非退化計量の符号性へ一般化している。

ABSTRACT

We will prove in an elementary way that off-diagonal Seeley-DeWitt and Hadamard coefficients are (sesqui-)symmetric for smooth manifolds of arbitrary signature.

研究の動機と目的

• 解析接続や熱核漸近展開に依存せずに、非対角成分のセスク・シンメトリーを初等的かつ直接的に証明すること。
• リーマン的またはローレンツ的符号性を超えて、任意の非退化計量の符号性へ対称性を一般化すること。
• ハダマール係数およびデ・ウィット＝シュヴィンガー係数の対称性が、セスク・デ・ウィット係数の対称性の結果として導かれるようにすること。
• 曲がった時空上の量子場理論におけるこの基本的性質について、文献に初等的証明が欠落している問題を解決すること。
• 対称性が、係数を支配する微分方程式と作用素の随伴構造から内因的に生じることを示すこと。

提案手法

• 点 $ x $ と $ x' $ を結ぶアフィンパラメータ化された測地線に沿って、セスク・デ・ウィット係数 $ f_n^{SD} $ の再帰的ハダマール輸送方程式を導出する。
• クライン＝ゴルドン作用素 $ \mathrm{KG} $ の形式的ヒルベルト性を用い、$ A^\nu $ が反ヒルベルト的で $ B $ がヒルベルト的であることを保証することで、随伴構造との整合性を確保する。
• 輸送方程式に随伴作用素を適用し、$ f_n^{SD}(x,x') $ の随伴が同じ再帰的関係を満たすことを示し、$ f_n^{SD}(x,x') = f_n^{SD}(x',x)^\tanh $ を導出する。
• 共変微分と測地線正規座標を用いて、導出におけるテンソル的およびゲージ共変的整合性を維持する。
• ヴァン・ヴリック＝モレット行列式の平方根 $ \Delta^{1/2} $ が自己随伴であり、$ (\Delta^{1/2})^* = \Delta^{1/2} $ を満たすという事実を用い、対称性の確立に不可欠な役割を果たす。
• 局所的テイラー展開（ボレル型構成）を用いて、測地線に沿ったジェットデータに対する係数の滑らかさを保証し、再帰的導出を支援する。

実験結果

リサーチクエスチョン

• RQ1 セスク・デ・ウィット係数のセスク・シンメトリーは、解析接続や熱核法に依存せずに証明可能か？
• RQ2 対称性 $ f_n^{SD}(x,x') = f_n^{SD}(x',x)^\tanh $ は、任意の計量符号性をもつ多様体に対しても成り立つか？
• RQ3 ハダマール係数およびデ・ウィット＝シュヴィンガー係数の対称性は、セスク・デ・ウィット係数の対称性の直接的結果か？
• RQ4 セスク・デ・ウィット係数の再帰的輸送方程式が、直接的な微分操作によって随伴対称性を保存することが示せるか？
• RQ5 接続 $ A^\nu $ およびポテンシャル $ B $ の随伴構造が、係数の対称性を保証するために果たす役割は何か？

主な発見

• すべての $ n \geq 0 $ に対して、セスク・デ・ウィット係数 $ f_n^{SD}(x,x') $ は、任意の滑らかな多様体および任意の符号性において、セスク・シンメトリー性 $ f_n^{SD}(x,x') = f_n^{SD}(x',x)^\tanh $ を満たす。
• 証明は初等的かつ自己完結的であり、ハダマール輸送の再帰的微分方程式と作用素 $ \mathrm{KG} $ の随伴構造にのみ依存しており、正則性やウィック回転の仮定を必要としない。
• ハダマール係数の対称性は、直接的に導かれる。なぜなら、それらが $ f_n^{SD} $ の線形結合であるため、同じ対称性を継承するからである。
• デ・ウィット＝シュヴィンガー係数に対しても対称性が継承され、正則化手続きへの応用が裏付けられる。
• 計量が正定値でない場合でもこの結果は成り立つため、擬リーマン的および他の符号性への拡張が可能である。
• 証明により、対称性が幾何的性質そのものではなく、微分方程式と随伴構造から直接生じることを示した。