[論文レビュー] Heat Kernel Renormalization on Manifolds with Boundary

Benjamin I. Albert|arXiv (Cornell University)|Sep 7, 2016

Geometric Analysis and Curvature Flows参考文献 9被引用数 3

ひとこと要約

この論文は、境界を持つ多様体へ、コステロの熱核正則化に基づく帰納的位置空間の正則化手順を拡張し、局所的カウンタータームと有効場理論構築のための厳密な枠組みを確立する。主な貢献は、境界付近での熱核漸近展開とテイラー展開を用いた、境界が存在する場合でも有効な局所的カウンタータームを体系的に構成する帰納的手法の確立である。これは、多様体の二重化においてリーマン計量が滑らかでない場合でも成立する。

ABSTRACT

In the monograph Renormalization and Effective Field Theory, Costello made two major advances towards the mathematical formulation of quantum field theory. Firstly, he developed an inductive position space renormalization procedure for constructing effective field theories that is based on heat kernel regularization of the propagator. Secondly, he gave a rigorous formulation of quantum gauge theory within effective field theory that makes use of the BV formalism. In this work, we extend Costello's inductive renormalization procedure from manifolds without boundary to a class of manifolds with boundary. In addition, we reorganize the presentation of the preexisting material, filling in details and strengthening the results.

研究の動機と目的

• 境界のない多様体に対して当初定式化されたコステロの帰納的正則化手順を、境界を持つ多様体のクラスへ一般化すること。
• 熱核正則化を用いて境界の存在下でも局所的カウンタータームを厳密に構成すること。
• コステロの専門書から、特に有界領域におけるフェ Feynman 図の展開とウィックの定理に関する基礎的資料を再編集・強化すること。
• 境界付きリーマン多様体の滑らかな二重化が滑らかな計量をもつための条件を確立すること。
• 反復的正則化と誤差評価を用いて、曲がった境界付き多様体上での有効場理論の枠組みを構築すること。

提案手法

• 位置空間におけるフェ Feynman 重みとカウンタータームを定義するためのコアメカニズムとして、伝播関数の熱核正則化を用いる。
• エネルギー区間制限された場の有限次元部分空間上でウィックの定理を適用し、半直線および有界区間へと拡張する。
• 発散寄与を境界付近から分離するために、スパニングツリー座標と場の汎関数のテイラー展開を用いる。
• 局所的計算をグローバルなものへ拡張するために多様体の二重化を導入し、計量テンソルの法線微分を用いて拡張された計量の滑らかさを分析する。
• 熱核および場の汎関数の漸近展開における誤差をバウンディングすることで、カウンタータームの帰納的構成を実装する。
• 境界が完全測地的であり、曲率の奇数次法線微分が消えるという条件を用いて、二重計量の滑らかさを保証する。

実験結果

リサーチクエスチョン

• RQ1 コステロの帰納的正則化手順を、境界のない多様体から境界付き多様体へどのように拡張できるか？
• RQ2 境界付きリーマン多様体の滑らかな二重化が滑らかな計量をもつための条件は何か？
• RQ3 境界の存在下で、熱核漸近展開を用いて局所的カウンタータームを体系的に構成する方法は何か？
• RQ4 場の汎関数のテイラー展開が、境界付近での発散寄与を分離する際に果たす役割は何か？
• RQ5 どのような幾何的条件下で、曲がった境界付き多様体上にグローバルカウンタータームを構築できるか？

主な発見

• 平坦な境界付き多様体上において、熱核漸近展開と場の汎関数のテイラー展開を用いた、体系的な帰納的カウンターターム構成が達成された。
• 境界付きリーマン多様体の滑らかな二重化が滑らかな計量をもつための必要十分条件は、境界が完全測地的であり、曲率テンソルのすべての奇数次法線微分が消えることである。
• 条件 $ abla^{2k+1}_{ abla_{ ext{inward}}} ext{Ricci} = 0$ が $k \to \frac{1}{2}$ のとき、計量テンソル成分の奇数次法線微分が消えることに等価である。
• 熱核をその漸近級数に置き換え、テイラー展開による誤差バウンディングを用いることで、曲がった境界付き多様体上での有効場理論の構築が可能になる。
• この枠組みにより、コステロの元来の構成が境界を含むように一般化され、境界付き多様体上での量子場理論における正則化への厳密な道筋が提供された。
• 本論文は、平行な曲率テンソルの仮定が、二重化可能性のための十分条件ではあるが必要条件ではないことを特定し、測地的距離の二乗のテイラー展開による一般化を提案した。