[論文レビュー] Renormalisation and the Batalin-Vilkovisky formalism

Kevin J. Costello|ArXiv.org|Jun 11, 2007

Homotopy and Cohomology in Algebraic Topology参考文献 24被引用数 43

ひとこと要約

本稿では、Batalin-Vilkovisky形式主義を用い、熱核法および漸近展開を活用して、コンpakト多様体上の量子場理論の再規格化手順を提示する。これにより、有限な有効作用が定義され、ゲージ対称性を保存する形でChern-Simons理論の再規格化が達成され、リー代数値をとる多様体のコホロジー上に高次のループ $L_\infty$-構造が得られる。

ABSTRACT

This paper gives a way to renormalise certain quantum field theories on compact manifolds. Examples include Yang-Mills theory (in dimension 4 only), Chern-Simons theory and holomorphic Chern-Simons theory. The method is within the framework of the Batalin-Vilkovisky formalism. Chern-Simons theory is renormalised in a way respecting all symmetries (up to homotopy). This yields an invariant of smooth manifolds: a certain algebraic structure on the cohomology of the manifold tensored with a Lie algebra, which is a "higher loop" enrichment of the natural Lie-infinity structure.

研究の動機と目的

• Batalin-Vilkovisky枠組み内で、コンパクト多様体上の量子場理論の体系的再規格化手法を構築すること。
• 特にトポロジカル場理論としてのChern-Simons理論において、ゲージ対称性がホモトピー的に保存されるように再規格化すること。
• 切り捨てを伴う熱核積分の漸近展開を通じて、有限な有効作用を定義すること。
• 多様体のコホロジー上に、古典的な $L_\infty$ 構造を高次のループに一般化した不変な代数的構造を構築すること。
• 微分作用素と形式的指数写像を用いて、有限次元の経路積分の無限次元アナロジーを厳密に確立すること。

提案手法

• 正の楕円型第二順位微分作用素 $H = [Q, Q^{GF}]$ を満たす、奇性で自己随伴な微分作用素 $Q^{GF}$ を用いたゲージ固定条件を定義する。
• 伝播関数を $P(\varepsilon, \infty) = \int_\varepsilon^\infty (Q^{GF} \otimes 1) K_t \, dt$ と定義し、ここで $K_t$ は $H$ の熱核である。これは $\mathscr{E} \otimes \mathscr{E}$ の分布的完備化上で扱う。
• 関数の代数 $\mathscr{O}(\mathscr{E})$ 上の微分作用素を用いて、$Z(S, \hbar, a) = \lim_{\varepsilon \to 0} \exp(\hbar \partial_{P(\varepsilon, \infty)}) \exp(S / \hbar)(a)$ として、生成関数を表現する。
• フェ Feynman 図の積分に対して漸近解析を適用し、スケール階層に基づいて領域に分解することで、$\varepsilon \to 0$ における特異性を制御する。
• 熱核特異性に起因する対数的およびべき乗的項を含む、$\varepsilon$ に関する漸近関数の空間 $\mathscr{A}$ を用いて、発散を吸収する。
• フェ Feynman 図のパラメータ空間上の積分に対して、$\varepsilon$ と $T$ が小さい場合の漸近展開を確立し、カウンタータームの収束性と局所性を保証する。

実験結果

リサーチクエスチョン

• RQ1 Batalin-Vilkovisky形式主義を用いて、コンパクト多様体上の量子場理論に対して、有限かつ対称性を保存する再規格化をどのように定義できるか。
• RQ2 ゲージ対称性が非自明な理論、例えばChern-Simons理論において、有効作用の構造はどのようなものか。
• RQ3 短距離における熱核特異性は再規格化手続きにどのように影響を与え、どのように体系的に制御できるか。
• RQ4 再規格化された生成関数は、局所的カウンタータームを持つ $\hbar$ の形式的べき級数として表現可能か。
• RQ5 再規格化後に多様体のコホロジー上に現れる代数的構造は何か。また、これは古典的な $L_\infty$-構造をどのように高次のループに一般化するか。

主な発見

• 再規格化された有効作用 $\hbar \log Z(S, \hbar, a)$ は、$\mathscr{A}[[\hbar]]$ 内で $\varepsilon$ が小さい場合の漸近展開をもち、その係数は $\mathscr{E}$ 上の連続線形汎関数である。
• 伝播関数積分 $P(\varepsilon, \infty)$ の漸近展開は、スケール領域への分解によって制御され、$\varepsilon \to 0$ における有限な極限が得られる。
• 有効作用におけるカウンタータームは局所的汎関数であり、$M$ 上の密度に対する多微分作用素の積分として構成され、再規格化可能性が保証される。
• Chern-Simons理論に対しては、再規格化された理論が $H^\bullet(M, \mathfrak{g}) \otimes \Omega^\bullet(\Delta^d)$ 上に高次のループ $L_\infty$-構造をもたらし、古典的な $L_\infty$-代数を一般化する。
• BV形式主義と対称的ゲージ固定の使用により、元の理論のすべての対称性（ゲージ不変性を含む）がホモトピー的に保存される。
• この構成は、4次元Yang-Mills理論、任意次元のChern-Simons理論、およびホロモーフィックChern-Simons理論に対しても、指定された幾何的・解析的条件下で有効である。