A simple construction of Heat Kernels and conformal anomalies via Fedosov deformation quantization

技術要約：フェドソフ・変形量子化による熱核および共形アノマリーの簡便な構成

問題提起
熱核展開（Heat Kernel expansion）とその関連するシーリー・ドウィット（Seeley–DeWitt）係数の計算は、量子場理論、スペクトル幾何学、および共形アノマリーの研究における中心的な課題である。既存の手法（ドウィットの再帰的仮定、ギルキーの不変論的手法、あるいは共変フーリエ変換など）は高度に発達しているものの、重大な技術的障壁に直面している。具体的には、高次の計算や、任意の次数の微分演算子（特に2次より高い次数）の場合、計算が急速に複雑化する。これらの困難は、共変微分の非可換性、曲がった空間における共変フーリエ変換の欠如、あるいは平坦な空間に対する曲率展開のために共変性を犠牲にする必要性などに起因している。著者らは、一般共変性を維持しつつ、任意の微分演算子に対して系統的、効率的、かつ閉じた形式の展開を提供する枠組みの必要性を指摘している。

手法：フェドソフ変形量子化
本論文は、熱核問題を解決するために、フェドソフ変形量子化に基づく新しいアプローチを提案している。核心となるアイデアは、微分演算子のシンボルを、共変微分を平坦な接続に置き換えることができる、より大きな幾何学的構造である「ワイル束（Weyl bundle）」へと埋め込むことで、問題を「平坦化」することにある。

1. シンボルのリフトと平坦接続:

   • 微分演算子 $\hat{f}(x, \nabla)$ は、余接束 $T^*X$ 上のシンボル $f(x, p)$ と関連付けられる。
   • これらのシンボルは、時空多様体 $X$ 上の結合的代数（ワイル代数）の束であるワイル束 $W_X$ の切断 $F(x; y, p)$ へと「リフト」される。
   • 束の上にフェドソフ接続 $D = d + A$ が構築され、$DF = 0$ を満たすように設計される。この接続は、ファイバーの幾何学を実質的に平坦化し、ファイバーごとに標準的なモヤル・ワイル・スター積（平坦空間から継承されたもの）の使用を可能にする。
   • リフト $F$ は、$DF = 0$ かつ $y=0$ において元のシンボル $f$ に帰着するという要請によって一意に決定される。これは収縮ホモトピーを用いて反復的に解かれる。

2. スター積とトレース:

   • 微分演算子の合成は、リフトされたシンボルのスター積 $\hat{f} \circ \hat{g} \leftrightarrow F \star G$ に対応する。
   • 熱核演算子 $e^{-t\hat{f}}$ のトレースは、リフトされたシンボルのスター指数関数 $e^{-t F}$ のトレースを通じて計算される：
     $$\text{Tr}(e^{-t\hat{f}}) = \int_X d^dx \sqrt{g} \int \frac{d^dp}{(2\pi)^d} \left( e^{-t F} \right)_\star \Big|_{y=0}$$
   • 決定的なことに、この定式化では、基底多様体が曲がっている場合でも、運動量空間（$p$-空間）は平坦なままである。これにより、曲がった空間のフーリエ変換を必要とせずに、運動量積分を正確に（多くの場合、ガウス積分やその一般化として）実行できる。

3. 展開戦略:

   • スター指数関数 $e^{-t F}_\star$ は、変形パラメータ $\hbar$ のべき乗で展開される。
   • 得られる式は、固有時間 $t$ に関する級数であり、その係数は曲率テンソルとシンボルの成分の多項式となる。
   • この展開は系統的である。フェドソフの機構が反復的に必要な項を生成し、熱核の短時間展開は、反復の次数と直接対応している。

主な貢献と結果

• 一般共変性と効率性: このアプローチはすべての段階において完全に共変である。他の手法で必要とされる図式的複雑さや微分方程式の求解を回避している。反復プロセスはアルゴリズム的であり、効率的な実装が可能である。
• 任意の次数の演算子: 本手法は、ラプラス型（2次）演算子だけでなく、任意の次数 $\ell$ の微分演算子に適用可能である。スター積の定式化は、高次微分の非可換性を自然に扱う。
• 閉じた形式の表現: 本手法は、シーリー・ドウィット係数 $a_k$ および積分された係数 $A_k$ の閉じた形式の表現を与える。
• 様々な次元における共形アノマリー:
  • 4次元: 著者らは、共形結合スカラー場の標準的な結果を再現し、既知のType-AおよびType-Bアノマリー係数（$a=1/360, c=1/120$）を回収している。
  • 6次元: 本手法は、共形結合スカラー場のアノマリー係数を計算し、既知のType-A係数（$a=1/9072$）および3つのType-B係数（$c_1, c_2, c_3$）を回収している。
  • 8次元（新知見）: 本論文は、8次元における共形結合スカラー場の共形アノマリーに関する新しい計算を提示している。これには、特定の局所共形不変量の基底に関連するType-A係数（$a$）および10個のType-B係数（$c_i$）が含まれる。著者らは、これらの結果を応力テンソルの2点関数およびオイラー密度正規化の既知の性質と照合して検証している。

意義と主張
著者らは、このアプローチが微分演算子をそのシンボルを通じて乗算するための「簡便な道具（simple gadget）」を提供し、高次演算子を展開する際に共変性を維持するという長年の困難を解決すると主張している。その意義は以下の点にある：

1. 系統的な計算: 基本的な機構を変更することなく、任意の次数の微分演算子の熱核係数を計算するための統一された枠組みを提供する。
2. 新しい結果: 8次元における一連の全アノマリー係数の計算は真に新しい結果であり、伝統的な手法が困難となる高次元への本手法の拡張性を示している。
3. 数学的厳密性: この構成は、変形量子化（Fedosov、Feigin-Felder-Shoikhet）の確立された結果に基づいており、トレース公式が数学的に健全であることを保証している。余接束上のトレース測度は標準的な $\sqrt{g}$ に簡略化され、追加の複雑さを回避している。

結論として、本アプローチは複雑な微分方程式を解くことではなく、反復的な代数的操作のみを必要とする実用的なものであると述べており、高スピン演算子、非最小演算子、および非可換場理論への将来的な応用を示唆している。