[論文レビュー] Lectures on Batalin-Vilkovisky formalism and its applications in topological quantum field theory

Pavel Mnëv|arXiv (Cornell University)|Jul 25, 2017

Black Holes and Theoretical Physics参考文献 30被引用数 19

ひとこと要約

この論文は、トポロジカル量子場理論（TQFT）における摂動的経路積分のためのバタリン＝ヴィルコビッチ（BV）形式主義について、数学的に厳密な包括的紹介を提供している。特に、チャーン=サイモンズ理論のようなゲージ理論に焦点を当てている。BV形式主義—AKSZ構成とファイバーBV統合を介して—フェルミン図の重みの代数的起源を説明し、ゲージ不変性を保証する。主な結果として、摂動的チャーン=サイモンズの分配関数のフレーミング依存性、およびジャコビ恒等式による境界寄与の図式的キャンセルが得られる。

ABSTRACT

Lecture notes for the course "Batalin-Vilkovisky formalism and applications in topological quantum field theory" given at the University of Notre Dame in the Fall 2016 for a mathematical audience. In these lectures we give a slow introduction to the perturbative path integral for gauge theories in Batalin-Vilkovisky formalism and the associated mathematical concepts.

研究の動機と目的

• 物理学的背景のない大学院生および研究者を対象に、自己完結的で数学的な視点に立ったバタリン＝ヴィルコビッチ形式主義の紹介を行うこと。
• 無限次元場理論の代理として有限次元モデルを用いて、特にトポロジカル場理論を対象とするゲージ理論の摂動的経路積分による量子化を説明すること。
• チャーン=サイモンズ理論におけるフェルミン図の重みの代数的起源を、BV形式主義を通じて明確にすること。
• BVストークス定理と正準変換が、摂動的分配関数がゲージ固定の選択に依存しないことを保証する役割を果たすことを確立すること。
• AKSZ構成が、チャーン=サイモンズ理論および関連理論における摂動的振幅のコン pact な形を統一的かつ解釈可能に説明すること。

提案手法

• 経路積分に対して有限次元モデルのアプローチを採用し、スーパーマニフォールドと階数付き微分幾何学を用いてBVフレームワークを形式化すること。
• BV形式主義の導入の前触れとして、Faddeev-Popov法を用いてゴースト場とBRST対称性を導入すること。
• 微分的階数付き多様体（Q多様体）と奇的シンプレクティック構造を用いて、古典的および量子的マスター方程式を定義すること。
• ファイバーBV統合とBVラプラシアン技術を用いて、ゲージ固定を扱い、モジュライ空間上の有効作用を導出すること。
• AKSZ構成を用いて、高次カテゴリカルおよび幾何的視点からチャーン=サイモンズ作用とその摂動的展開を導出すること。
• BV積分のストークス定理を適用して、ゲージ不変性と摂動的展開における量子的マスター方程式の満たし方を証明すること。

実験結果

リサーチクエスチョン

• RQ1 特にトポロジカル場理論において、バックグラウンド計量が存在しない状況下で、ゲージ理論の摂動的経路積分をどのように厳密に定義できるか。
• RQ2 フェルミン図の振幅におけるゲージ固定依存性のキャンセルの背後にある代数的メカニズムは何か。
• RQ3 なぜ摂動的チャーン=サイモンズの分配関数が3次元多様体のフレーミングに依存するのか。これは無限次元的境界寄与とどのように関係しているか。
• RQ4 BV形式主義は、特にプロパゲーターを(p,q)-形式に分解した場合に、なぜチャーン=サイモンズ理論におけるフェルミン重みのコンパクトで対称的な形を説明できるのか。
• RQ5 AKSZ構成は、トポロジカル場理論の摂動的展開を統一的かつ簡略化する役割を果たすか。

主な発見

• 摂動的チャーン=サイモンズの分配関数は、プロパゲーターの(p,q)-型分解によって決定される重みを持つ三枝フェルミン図の和として与えられ、Faddeev-Popovの奇跡を説明するコンパクトな表現を与える。
• 分配関数は、配置空間内の隠れた境界ストラトムに起因してフレーミングに依存する。これは有限次元BVモデルには存在しないが、場理論では顕在する現象である。
• BVストークス定理により、摂動的経路積分のゲージ不変性が保証され、図式的キャンセルはジャコビ恒等式とグラフ組合せ論に起因する。
• コhomology上の有効作用は量子的マスター方程式を満たし、コンパクト化された配置空間におけるストークス定理により証明される。これは、部分多様体上に観測量を持つ理論へ一般化可能である。
• AKSZ構成は、チャーン=サイモンズ作用とその摂動的振幅の幾何的起源を提供し、プロパゲーターの(2,0)、(1,1)、(0,2)成分の分解の起源を説明する。
• サイクル的dgLaに基づくチャーン=サイモンズ理論の有限次元BV積分モデルは、BVストークス定理によりゲージ不変な結果をもたらし、無限次元的境界効果の類似物が存在しない。