[論文レビュー] Quantum backgrounds and QFT

Jae-Suk Park, John Terilla+1 more|arXiv (Cornell University)|May 17, 2006

Homotopy and Cohomology in Algebraic Topology参考文献 13被引用数 6

ひとこと要約

本稿は、量子場理論（QFT）の数学的枠組みとして量子背景を導入し、作用関数の変形を捉える関手 QFT を定義する。モジュリ空間が滑らかで形式的である場合、そのモジュリ空間上のバンドルに平坦な量子スーパーパラレル移動を構成し、それによって相関関数の背後にある代数的構造を記述するとともに、チェーンレベルに一般化する。

ABSTRACT

We introduce the concept of a quantum background and a functor QFT. In the case that the QFT moduli space is smooth formal, we construct a flat quantum superconnection on a bundle over QFT which defines algebraic structures relevant to correlation functions in quantum field theory. We go further and identify chain level generalizations of correlation functions which should be present in all quantum field theories.

研究の動機と目的

• 量子背景を用いて、QFTの局所的変形を厳密に代数的枠組みで理解するためのフレームワークを提供すること。
• 導来ファンクター的アプローチにより、QFTにおける相関関数をチェーンレベルの構造へ一般化すること。
• 量子マスターエンジンの解のモジュリ空間が滑らかで形式的である場合、その空間上に平坦な量子スーパーパラレル移動を構成すること。
• 量子背景と古典的変形理論の関係、特に $L_{γ}$代数とFrobenius多様体の文脈における関係を探索すること。
• シンプレクティック場理論と量子化された変形理論への応用を提案し、$\hbar$-依存構造を用いて古典的モジュリ空間を豊かにすること。

提案手法

• 量子背景を四つ組 $(P, m, N, \varphi)$ として定義する。ここで $P$ は $k[[\hbar]]$-代数に値をとる次数付き非可換代数、$m \in P$ は次数1で $m^2 = 0$ を満たし、$N$ は $P$-加群、$\varphi \in N$ は $m\varphi = 0$ を満たす。
• 各 $k[[\hbar]]$-代数 $A$ に対して、量子マスターエンジン $mU\varphi = 0$ の解 $U \in P \otimes A$ の集合を割り商として与える関手 $\mathbf{QFT}_B$ を導入する。
• 標準的な変形理論を $\hbar$ を含む形に拡張することで、$\mathbf{QFT}_B$ が微分付き代数 $R$ とそのバーチャル解 $U$ により（プロ、ホモトピー的に）表現可能であることを証明する。
• モジュリ空間上のバンドルに平坦な量子スーパーパラレル移動 $\nabla = d_{\text{dR}} + A^1 + A^2 + \cdots$ を構成し、$\hbar$-接続方程式 $\nabla(fe) = \hbar(df)e + (-1)^{|f|}f\nabla(e)$ と $\nabla^2 = 0$ を満たすようにする。
• $\nabla^1 = d_{\text{dR}} + A^1$ が平坦かつ torsion-free な接続を定め、特別な座標系では $A^1$ がコホモロジー $H$ 上の可換かつ結合的代数構造の族を符号化することを示す。
• 特別な座標系においてスーパーパラレル移動が $\hbar$-に依存しなくなり、平坦性条件が $d_{\text{dR}}A = 0$ と $A^2 = 0$ に分解されることを予想し、これにより $H$ に計量を持たないFrobenius多様体構造が誘導されることを示唆する。

実験結果

リサーチクエスチョン

• RQ1 量子マスターエンジンを保ちつつ、QFTを体系的に変形する方法は何か？
• RQ2 チェーンレベルで変形された際、QFTにおける相関関数の背後にある代数的構造は何か？
• RQ3 量子マスターエンジンの解のモジュリ空間が平坦な量子スーパーパラレル移動を許容する条件は何か？
• RQ4 量子スーパーパラレル移動は、量子背景のコホモロジー上にFrobenius多様体構造を符号化できるか？
• RQ5 量子背景を用いて、$\hbar$-依存不変量を含む古典的変形理論をどのように豊かにできるか？

主な発見

• $\mathbf{QFT}_B$ は、量子マスターエンジン $mU\varphi = 0$ のバーチャル解 $U$ を持つ微分付き代数 $R$ により（プロ、ホモトピー的に）表現可能である。
• モジュリ空間が滑らかで形式的（すなわち $R$ の微分が消える）場合、そのモジュリ空間上のバンドルに平坦な量子スーパーパラレル移動 $\nabla$ が構成され、$\nabla^2 = 0$ を満たす。
• 接続1-形式 $\nabla^1 = d_{\text{dR}} + A^1$ は平坦かつ torsion-free な接続を定め、$A^1$ はコホモロジー $H$ 上の可換かつ結合的代数構造の族を符号化する。
• 特別な座標系ではスーパーパラレル移動が $\hbar$-に依存せず、平坦性条件が $d_{\text{dR}}A = 0$ と $A^2 = 0$ に分解される。これにより $H$ に計量を持たないFrobenius多様体構造が誘導されることが示唆される。
• 複体 $C_t$ のコホモロジー $H_t$ は、$C_\infty$ 構造を備えた可換かつ結合的代数であり、元の複体と quasi-isomorphic である。
• この枠組みは、量子背景を用いて、特に量子スーパーパラレル移動の最小モデルを通じて、古典的変形理論における $\hbar$-豊か化不変量を構成できる可能性を示唆している。