[論文レビュー] An introduction to the Batalin-Vilkovisky formalism

Domenico Fiorenza|ArXiv.org|Feb 4, 2004

Quantum chaos and dynamical systems参考文献 3被引用数 30

ひとこと要約

本稿は、リー代数の対称性を伴うガウス積分の摂動展開を扱う枠組みとして、バタリン＝ヴィルコヴィチ（BV）形式主義を導入する。古典的および量子的マスター方程式の解とリー代数の表現との間の対応を確立し、トレースがゼロである表現が、発散が生じないベクトル場を介して量子的マスター方程式が満たされることを示す。

ABSTRACT

The aim of these notes is to introduce the quantum master equation $\{S,S\}-2i\hbarΔS=0$, and to show its relations to the theory of Lie algebras representations and to perturbative expansions of Gaussian integrals. The relations of the classical master equation $\{S,S\}=0$ with the BRST formalisms are also described. Being an introduction, only finite-dimensional examples will be considered.

研究の動機と目的

• BV形式主義の代数的および幾何的基礎に馴染みのない研究者向けに、その理解しやすい導入を提供すること。
• 対称性の文脈において、古典的マスター方程式 {S,S} = 0 と BRST形式主義との関係を明確にすること。
• トレースがゼロであるリー代数の表現から、量子的マスター方程式の解がどのように生じるかを示すこと。
• BV構造を用いて、ガウス積分の摂動展開を体系的に導出する方法を示すこと。
• BVの解とリー代数の表現（ホモトピーを含む）との間の対応を確立すること。

提案手法

• 有限次元の例を用いて、BV形式主義を説明し、奇性シンプレクティックスーパemanifold の役割に焦点を当てる。
• 量子的マスター方程式：2iℏΔS − {S,S} = 0 を導入し、S = S₀ + ℏS₁ の場合に ΔS₁ = 0 に簡略化すること。
• 超場形式を用いて、実積分を閉形式およびサイクル変形を用いて複素多様体に拡張すること。
• リー代数の表現から BV作用 S = S₀ + ℏS₁ を構成し、S₁ = xᵢ⁺δxⁱ で、δ を関数空間上の微分作用素とする。
• ベクトル場 δ の発散を計算し、ΔS₁ = 0 を満たす条件を特定し、表現のトレースのゼロ性および随伴表現と関連付ける。
• 反括弧 {⋅,⋅} および BVラプラシアン Δ を用いてマスター方程式を定義し、ホモロジー代数の観点からその解を分析する。

実験結果

リサーチクエスチョン

• RQ1 Batalin-Vilkovisky形式主義は、対称性を伴うガウス積分の摂動展開とどのように関係するか？
• RQ2 古典的および量子的マスター方程式の解の背後にある代数的構造は何か？
• RQ3 BVの解から、リー代数の表現（ホモトピーを含む）はどのように生じるか？
• RQ4 S = S₀ + ℏS₁ が量子的マスター方程式を満たすための条件は何か？
• RQ5 ベクトル場 δ の発散が ΔS₁ = 0 を保証するために果たす役割は何か？

主な発見

• S が反場に関して1次式であるとき、古典的マスター方程式 {S,S} = 0 の解はリー代数の表現に対応する。
• 量子的マスター方程式 ΔS₁ = 0 が成り立つのは、ベクトル場 δ の発散がゼロである、すなわち Tr(ad_g) + Tr(ρ_g) = 0 であるときかつそのときに限る。
• 随伴表現および与えられた表現の両方がトレースがゼロであるとき、関数 S = S₀ + ℏS₁ は量子的マスター方程式を満たす。
• BV形式主義により、反場の構成を用いて e^(iS₀/ℏ) を Δ-閉関数に拡張できる。
• 複素化された多様体におけるサイクル変形は、形式が閉じているため積分値を保存し、摂動展開が可能になる。
• 微分作用素 δ = ad_{S₁} は関数上に次数1の微分作用素として作用し、底面空間への制限によりコホモロジー複体を定義する。