[論文レビュー] Functional Integration for Quantum Field Theory

J. LaChapelle|arXiv (Cornell University)|Oct 16, 2006

Mathematical and Theoretical Analysis参考文献 2被引用数 5

ひとこと要約

本稿は、もともと1次元の経路に限られていたCartier-DeWitt-Morette関数値積分枠組みを、d次元時空領域に定義された場に一般化することで、量子場理論への応用を拡張している。主な貢献は、場の無限次元バナッハ空間への厳密かつ最小限の拡張であり、フーリエ-スティルチェス変換と測度論的積分を用いて、量子場理論における経路積分の定式化を可能にした点にある。応用例としてガウス型関数値と自己共分散構造が取り上げられている。

ABSTRACT

The functional integration scheme for path integrals advanced by Cartier and DeWitt-Morette is extended to the case of fields. The extended scheme is then applied to quantum field theory. Several aspects of the construction are discussed.

研究の動機と目的

• CartierとDeWitt-Moretteの厳密な関数値積分枠組みを、量子場理論における1次元の経路からd次元の場配置へ拡張すること。
• 標準的なヒューリスティック的手法を超えて、量子場理論における経路積分の体系的かつ数学的に整合性のある定式化の欠如を解消すること。
• 構造的明瞭性を保ちつつ場論的配置を扱えるように、CDMスキームの最小限で一般化可能な拡張を確立すること。
• 今後の研究の基盤を築くこと。具体的には、シンプレクティック幾何学、フェルミオン場、正規化、ゲージ対称性を同一体系の厳密な枠組み内で扱えるようにすること。

提案手法

• バナッハ空間 $\mathfrak{f}: \mathbb{D} \to \mathbb{M}$ 上での関数値積分を定義することで、CDMスキームをd次元領域 $\mathbb{D} \subseteq \mathbb{R}^d$ に一般化する。
• 双対空間 $\mathfrak{B}'$ と複素Borel測度 $\mu$ を用いて、有界線形汎関数を保証する測度論的積分子 $\mathcal{D}_{\Theta,Z}\mathfrak{b}$ を導入する。
• 測度 $\mu$ のフーリエ-スティルチェス変換を用いて、関数値 $F_{\mu}(\mathfrak{b};s)$ の積分を定義し、関係式 $\int_{\mathfrak{B}} F_{\mu} \mathcal{D}_{\Theta,Z}\mathfrak{b} = \int_{\mathfrak{B}'} Z(\mathfrak{b}^\prime;s) d\mu(\mathfrak{b}^\prime)$ を得る。
• ガウス型関数値に適用するため、$\Theta$ と $Z$ を二次形式 $Q$ 及びその双対逆 $W$ の指数関数として指定し、$\mathcal{F}\omega_s(\mathfrak{b}^\prime) = \exp(-\pi s W(\mathfrak{b}^\prime))$ を得る。
• 線形写像 $M$ によるプッシュバックとヤコビアン行列式を用いて変換則を導出し、$\int_{\mathfrak{B}} F_{\mu}(M(\mathfrak{b})) (\mathrm{Det} M'_{(\mathfrak{b})}) \mathcal{D}_{\overline{\Theta},\overline{Z}}\mathfrak{b} = \int_{\mathfrak{B}} F_{\nu}(\mathfrak{b}) \mathcal{D}_{\Theta,Z}\mathfrak{b}$ が成り立つことを示す。
• ベクトル場 $\mathfrak{v}$ に対する部分積分を確立し、$\int_{\mathfrak{B}} \mathrm{i}_{\mathfrak{v}} d[F_{\mu}] \mathcal{D}_{\Theta,Z}\mathfrak{b} = -\int_{\mathfrak{B}} F_{\mu} d[\mathrm{i}_{\mathfrak{v}} \mathcal{D}_{\Theta,Z}\mathfrak{b}]$ を得る。発散がゼロである場合、$\int_{\mathbb{D}} \left[ \int_{\mathfrak{B}} \frac{\delta F_{\mu}}{\delta \mathfrak{b}(d)} \mathcal{D}_{\Theta,Z}\mathfrak{b} \right] \mathfrak{v}^i(d) d\tau(d) = 0$ が成り立つ。

実験結果

リサーチクエスチョン

• RQ1 Cartier-DeWitt-Morette関数値積分スキームを、1次元の経路から量子場理論におけるd次元の場配置へ厳密に拡張する方法は何か？
• RQ2 CDMフレームワークを場論的経路積分に一般化するにあたり、測度論的およびフーリエ解析的基盤を保ちつつ必要な最小限の構造的修正は何か？
• RQ3 線形変換および場空間の微分同相写像が、拡張されたスキーム下での関数値測度および積分にどのように影響を与えるか？
• RQ4 フーリエ-スティルチェス変換は、場論的文脈におけるガウス測度およびその積分を特徴付ける役割を果たすか？
• RQ5 部分積分および対称性制約は、拡張された枠組み内で一貫して定式化可能か？その結果、Ward型の恒等式や保存則が導けるか？

主な発見

• 拡張されたCDMスキームは、可積分関数値のバナッハ空間 $\mathcal{F}(\mathfrak{B})$ 上の有界線形汎関数として定義され、積分作用素は $\left| \int_{\mathfrak{B}} F_{\mu} \mathcal{D}_{\Theta,Z}\mathfrak{b} \right| \leq \|F_{\mu}\| $ を満たし、収束性と安定性を保証する。
• ガウス型関数値では、積分子は $\mathcal{F}\omega_s(\mathfrak{b}^\prime) = \exp(-\pi s W(\mathfrak{b}^\prime))$ で完全に特徴づけられ、ここで $W$ は双対空間上の二次形式 $Q$ の逆である。
• 線形写像 $M: \mathfrak{B} \to \mathfrak{B}$ に対して、変換された積分は $\int_{\mathfrak{B}} F_{\mu}(M(\mathfrak{b})) (\mathrm{Det} M'_{(\mathfrak{b})}) \mathcal{D}_{\overline{\Theta},\overline{Z}}\mathfrak{b} = \int_{\mathfrak{B}} F_{\nu}(\mathfrak{b}) \mathcal{D}_{\Theta,Z}\mathfrak{b}$ を満たし、測度の変換が一貫していることが示された。
• 部分積分は厳密に確立された：$\int_{\mathfrak{B}} \mathrm{i}_{\mathfrak{v}} d[F_{\mu}] \mathcal{D}_{\Theta,Z}\mathfrak{b} = -\int_{\mathfrak{B}} F_{\mu} d[\mathrm{i}_{\mathfrak{v}} \mathcal{D}_{\Theta,Z}\mathfrak{b}]$ であり、発散がゼロのとき $\int_{\mathbb{D}} \left[ \int_{\mathfrak{B}} \frac{\delta F_{\mu}}{\delta \mathfrak{b}(d)} \mathcal{D}_{\Theta,Z}\mathfrak{b} \right] \mathfrak{v}^i(d) d\tau(d) = 0$ が成り立つ。
• プッシュバックおよび双対空間の同型写像の下でもCDM構造が保存され、測度 $\mu$ は $\nu = R_* \mu$ としてプッシュフォワードにより変換され、場空間の微分同相写像全体にわたって一貫性が保たれる。
• 提案手法は最小限かつ体系的であり、今後フェルミオン場、正規化、トポロジカル場理論への一般化が、さらなる発展によって可能となる可能性を秘めている。