[論文レビュー] Heat-Kernel Asymptotics with Generalized Boundary Conditions

Ivan G. Avramidi, Giampiero Esposito|arXiv (Cornell University)|Jan 7, 1997

Numerical methods in inverse problems参考文献 22被引用数 16

ひとこと要約

本稿では、境界上に一般化された境界条件（法線および接線微分を含む）を満たすラプラシアン型作用素のヒートカーネル漸近展開を体系的に計算する手法を開発する。共形スケーリング下での再帰関係を導出し、次元に依存しない普遍関数を同定することで、著者らは初めて $A_{3/2}$ および $A_2$ 係数の明示的公式を獲得し、新たな幾何的不変量を明らかにするとともに、異なる境界条件におけるヒートカーネルを関連付ける一般化された公式を提示する。

ABSTRACT

The quantization of gauge fields and gravitation on manifolds with boundary makes it necessary to study boundary conditions which involve both normal and tangential derivatives of the quantized field. The resulting one-loop divergences can be studied by means of the asymptotic expansion of the heat kernel, and a particular case of their general structure is here analyzed in detail. The interior and boundary contributions to heat-kernel coefficients are written as linear combinations of all geometric invariants of the problem. The behaviour of the differential operator and of the heat kernel under conformal rescalings of the background metric leads to recurrence relations which, jointly with the boundary conditions, may determine these linear combinations. Remarkably, they are expressed in terms of universal functions, independent of the dimension of the background and invariant under conformal rescalings, and new geometric invariants contribute to heat-kernel asymptotics. Such technique is applied to the evaluation of the A(1) coefficient when the matrices occurring in the boundary operator commute with each other. Under these assumptions, the form of the A(3/2) and A(2) coefficients is obtained for the first time, and new equations among universal functions are derived. A generalized formula, relating asymptotic heat kernels with different boundary conditions, is also obtained.

研究の動機と目的

• 多様体の境界上に一般化された境界条件（法線および接線微分を含む）を満たすラプラシアン型作用素のヒートカーネル漸近展開を分析すること。
• このような条件下でのヒートカーネル係数 $A_{1/2}, A_1, A_{3/2}, A_2$ の構造を特定すること。
• 曲率、外的曲率、バンドル曲率を含む幾何的不変量の線形結合が係数に現れる様子を同定すること。
• 計量の共形スケーリングから生じる再帰関係を導出し、幾何的不変量の係数を制約し、時空次元に依存しない普遍関数を明らかにすること。
• 異なる境界条件におけるヒートカーネルを関連付ける一般化された公式を確立すること。これは、ディリクレ型およびロビン型に対する既存の結果を拡張するものである。

提案手法

• 著者らは、$\zeta$-関数正則化を用いたヒートカーネル法により、境界を持つ多様体上における量子場理論の1ループ発散を計算する。
• 滑らかなリーマン多様体 $M$ の境界 $\partial M$ を持つ上で、$P = -g^{ab}\nabla_a\nabla_b - E$ というラプラシアン型作用素を考察する。これは接続を持つベクトルバンドルと結合されている。
• 境界条件は、場およびその法線微分に作用する一般化された一階微分作用素 $\mathcal{B}$ として定式化され、法線および接線微分の混合を許容する。
• 計量の共形スケーリングにより、ヒートカーネル展開における幾何的不変量の係数を制約する再帰関係が得られる。
• 係数 $A_k(f,P,\mathcal{B})$ は、共形スケーリングに対して不変な普遍関数によって定まる係数を持つ幾何的不変量の線形結合として表現される。
• この手法を用いて、境界作用素の行列が可換であるという仮定の下で、$A_{3/2}$ および $A_2$ 係数を明示的に計算する。

実験結果

リサーチクエスチョン

• RQ1 ヒートカーネル係数 $A_{3/2}$ および $A_2$ は、法線および接線微分を含む一般化された境界条件にどのように依存するか？
• RQ2 共形不変性は、ヒートカーネル展開における幾何的不変量の係数を制約する役割を果たすか？
• RQ3 標準的なディリクレ型やロビン型とは対照的に、一般化された境界条件下での漸近展開において新たに現れる幾何的不変量は何か？
• RQ4 異なる境界条件におけるヒートカーネルを関連付ける普遍的な公式を導出できるか？これは既知の結果を一般化するものである。
• RQ5 可換な境界作用素行列を仮定した非最小作用素に対して、$A_2$ 係数の明示的形は何か？

主な発見

• 一般化された境界条件下で、$A_{3/2}$ 係数が初めて閉形式で得られ、$E$, $R$, $R^i{}_{NiN}$, $K^2$, $K_{ij}K^{ij}$, $SK$, $S^2$ およびそれらの法線微分からの寄与が含まれる。
• 境界作用素の行列が可換であるという仮定の下で、$A_2$ 係数が明示的に計算され、境界項に21種類の異なる幾何的不変量が現れる。
• 係数は幾何的不変量の線形結合として表現され、その係数は時空次元に依存せず、共形スケーリングに対して不変な普遍関数によって与えられる。
• 共形不変性から導かれる新たな再帰関係が得られ、係数内の不変量の線形結合を制約する。
• 異なる境界条件におけるヒートカーネルを関連付ける一般化された公式が得られ、ディリクレ型およびロビン型の既存の結果を拡張する。
• この手法により、境界を持つ多様体上における量子場理論の1ループ発散を正しく記述するには、外的曲率、内的曲率、バンドル曲率を完全に考慮する必要があることが確認された。これは、一般の境界条件に対して完全なアンサンブルを想定しない場合でも同様である。