[論文レビュー] Introduction to Graded Geometry, Batalin-Vilkovisky Formalism and their Applications

Jian Qiu, Maxim Zabzine|arXiv (Cornell University)|May 13, 2011

Geometric and Algebraic Topology参考文献 16被引用数 7

ひとこと要約

本稿は、有限次元において、奇数フーリエ変換と代数的積分を用いて、重み付き幾何学およびバタリン＝ヴィルコフスキー（BV）形式主義の自己完備な入門を提供する。主な貢献は、コンツェビッチの定理の新規なBVに基づく証明であり、グラフ複体と形式的ハミルトニアンベクトル場のシェバレフ＝エイレンベルク複体の間の同型を確立する。

ABSTRACT

These notes are intended to provide a self-contained introduction to the basic ideas of finite dimensional Batalin-Vilkovisky (BV) formalism and its applications. A brief exposition of super- and graded geometries is also given. The BV-formalism is introduced through an odd Fourier transform and the algebraic aspects of integration theory are stressed. As a main application we consider the perturbation theory for certain finite dimensional integrals within BV-formalism. As an illustration we present a proof of the isomorphism between the graph complex and the Chevalley-Eilenberg complex of formal Hamiltonian vectors fields. We briefly discuss how these ideas can be extended to the infinite dimensional setting. These notes should be accessible to both physicists and mathematicians.

研究の動機と目的

• 物理学者および数学者向けに、数学的に厳密でありながらもアクセス可能な重み付き幾何学およびBV形式主義の入門を提供すること。
• BVフレームワークにおける積分の代数的構造を明確にし、ストークスの定理をコycle条件として強調すること。
• 非自明な応用を通じて、有限次元設定におけるBV形式主義の力を示すこと：コンツェビッチの定理の証明。
• これらのアイデアを無限次元量子場理論へと拡張する基盤を築くこと。
• グラフコサイクルのコhomology類がプロパゲーターの選択に依存しないこと（ホッジ分解に依存）を示し、それらが根本的なフロベニウス代数構造にのみ依存することを示すこと。

提案手法

• 局所座標を用いて超および重み付き幾何学を導入し、$β$-重み付き線形代数と重み付き多様体に焦点を当てる。
• 奇数フーリエ変換を、奇数余接 bundle 上のBV構造を定義する中心的道具として開発する。
• 代数的積分論を用いてBV経路積分を定義し、ストークスの定理をコycle条件として導出する。
• $ℝ^n$ および $⊕_{i=1}^N ℝ^{2n}$ 上の有限次元積分に対する摂動論を適用し、それらをフェニマン図に結びつける。
• BV作用から導かれる微分作用素 $δ_{Gph} = -\frac{1}{2}\sum_{pq} s^q s^{pq} S^p_q$ を用いてグラフコチェーンを構成する。
• ホッジ分解によるプロパゲーターの変更が、グラフコサイクルにのみコバウンダリーの変更をもたらすことを示し、コhomological不変性を証明する。

実験結果

リサーチクエスチョン

• RQ1 代数的および幾何的道具を用いて、有限次元設定におけるバタリン＝ヴィルコフスキー形式主義を体系的に展開する方法は何か？
• RQ2 奇数フーリエ変換がBV積分を定義し、ストークスの定理を導出する際に果たす正確な役割は何か？
• RQ3 BV形式主義は、有限次元積分の摂動展開の組合せ論をどのように捉えているか？
• RQ4 グラフコサイクルのコhomology類がプロパゲーターの選択に依存しないことを保証する代数的メカニズムは何か？
• RQ5 グラフ複体と形式的ハミルトニアンベクトル場のシェバレフ＝エイレンベルク複体の間の同型は、純粋にBV原理から導けるか？

主な発見

• BV形式主義は、経路積分が奇数余接 bundle 上のコycle条件として解釈される自然な代数的積分の枠組みを提供する。
• 有限次元積分の摂動展開は、フェニマン図を用いて体系的に記述され、BV作用が相互作用頂点を符号化する。
• 微分作用素 $\delta_{Gph} = -\frac{1}{2}\sum_{pq} s^q s^{pq} S^p_q$ はグラフコチェーン複体を生成し、そのコhomology類はホッジ分解に依存しない。
• ホッジ分解の変更に伴うプロパゲーター $K_{IJ}$ の変化は $D$-正確であり、これによりグラフコサイクルの変化はコバウンダリーに限定される。
• 本稿はコンツェビッチの定理の新規な証明を提示する：グラフ複体は、形式的ハミルトニアンベクトル場のシェバレフ＝エイレンベルク複体に同型であり、これは直接的にBV構造から導出される。
• 構成は任意の非可換微分 graded フロベニウス代数に対して普遍的であり、グラフコサイクルのコhomology類がフロベニウス代数の代数的データによって完全に決定されることを示している。