[論文レビュー] Complete Computation of DeWitt-Seeley-Gilkey Coefficient E_4 for Nonminimal Operator on Curved Manifolds

V. P. Gusynin, Vladimir V. Kornyak|ArXiv.org|Sep 24, 1999

Numerical methods in inverse problems参考文献 1被引用数 7

ひとこと要約

本稿では、PC上で記号計算を用いて、ゲージ場を伴う曲がった多様体上の非最小微分作用素に対する4次DeWitt-Seeley-Gilkey係数 $ E_4 $ の完全な解析的計算を提示する。結果は一般次元 $ n $ に対して導出され、$ n = 4 $ に対して明示的に評価されており、この文脈における $ E_4 $ の最初の閉形式表現を提供するものであり、曲がった時空における量子場理論における熱核漸近展開において極めて重要である。

ABSTRACT

Asymptotic heat kernel expansion for nonminimal differential operators on curved manifolds in the presence of gauge fields is considered. The complete expressions for the fourth coefficient E_4 in the heat kernel expansion for such operators are presented for the first time. The expressions were computed for general case of manifolds of arbitrary dimension n and also for the most important case n=4. The calculations have been carried out on PC with the help of a program written in C.

研究の動機と目的

• 曲がった多様体上の非最小微分作用素の熱核漸近展開における4番目の係数 $ E_4 $ の完全な解析的表現を導出すること。
• 特にゲージ場と曲率にカップリングされた作用素に対して、既知の熱核係数を $ E_3 $ を超えて拡張すること。
• 任意の次元 $ n $ における $ E_4 $ の明示的で閉形式の表現を提供すること、および物理的に重要な場合である $ n = 4 $ の場合の明示的表現を提供すること。
• この目的を達成するために、PC上で実装されたカスタムCプログラムによる体系的な記号計算アプローチを用いること。

提案手法

• 曲率不変量とゲージ場のカップリングの代数的複雑性を扱うために、カスタムCプログラムを用いた記号計算。
• 非最小な2階微分作用素に適用するDeWitt-Seeley-Gilkey熱核展開形式主義の応用。
• 一般の曲率テンソル、リッチスカラー、リーマンテンソル、およびゲージ場強度を計算に組み込む。
• 4次までの曲率不変量を収縮・簡略化するために、テンソリアルおよび微分幾何学的技術の使用。
• リッチ曲率、リーマンテンソル、ゲージ場強度テンソルを含む局所不変量の観点から $ E_4 $ の導出。
• 代数的簡略化と対称性の考察を用いた結果の検証およびコンパクト化。

実験結果

リサーチクエスチョン

• RQ1 曲がった多様体上の非最小作用素に対する熱核係数 $ E_4 $ の完全な解析的形は何か？
• RQ2 曲率およびゲージ場の不変量は、任意の次元における $ E_4 $ にどのように寄与するか？
• RQ3 物理的に主要な関心を有する4次元の場合の $ E_4 $ の明示的表現は何か？
• RQ4 このような高次曲率不変量は、計算代数を用いてどのように体系的に計算・簡略化できるか？
• RQ5 $ E_4 $ の構造は、局所幾何学的およびゲージ理論的不変量の観点からどのように構成されるか？

主な発見

• 本稿では、ゲージ場を伴う曲がった多様体上の非最小微分作用素に対する熱核係数 $ E_4 $ の最初の完全な閉形式表現を提示する。
• 結果は一般次元 $ n $ に対して導出されており、明示的な簡略化とコンパクトな形が提供されている。
• 特に $ n = 4 $ の場合、$ E_4 $ の表現は4次までの関連する曲率およびゲージ場の不変量をすべて含む形で明示的に計算されており、その有効性が示されている。
• 計算はカスタムCプログラムを用いて実行されており、高次熱核係数の記号計算の実現可能性を示している。
• 最終的な表現は、曲がった時空における量子場理論への応用に適したコンパクトで不変形式で提示されている。
• 本研究は、有効作用法計算や異常研究における高次熱核計算の基盤的ツールを提供する。