[論文レビュー] Factorization Algebras for Bulk-Boundary Systems

Eugene Rabinovich|arXiv (Cornell University)|Nov 2, 2021

Algebraic structures and combinatorial models参考文献 44被引用数 4

ひとこと要約

この論文は、コスティェロとグウィリアムの摂動的量子ゲージ理論の要因代数フレームワークを境界を持つ多様体へと拡張し、ボリューム-境界系における量子観測量の要因代数を構成する。アティヤ・ボット型の双対性を用いて、古典的観測量モデルの間の準同型を確立し、量子化のための正規化と量子マスター方程式による境界条件付き場理論の量子化を可能にする。

ABSTRACT

Costello and Gwilliam have given both 1) a general definition of perturbative quantum gauge theory on a manifold M and 2) a construction of a factorization algebra of quantum observables assigned to every quantum gauge theory. In this dissertation, we extend these constructions to a certain general class of field theories on manifolds with boundary.

研究の動機と目的

• コスティェロとグウィリアムの摂動的量子ゲージ理論フレームワークを境界を持つ多様体上の場理論へ一般化すること。
• 閉多様体向けに既存のフレームワークを拡張し、ボリューム-境界系の量子観測量の要因代数を定義すること。
• コンパクトに台を持つ場と双対空間に基づく二つの古典的観測量モデルの同等性を、双対性定理を用いて確立すること。
• 正規化と量子マスター方程式を用いて、自由および相互作用型ボリューム-境界系の量子化手順を開発すること。
• 境界を持つ量子場理論の厳密な数学的基盤を提供すること。応用例としてBF理論とトポロジカル力学を含む。

提案手法

• 境界条件をラグランジュ的層 $\mathscr{L}$ を介して導入することで、要因代数フレームワークを境界を持つ多様体へ適応し、$\mathscr{L}$-条件付き場を定義する。
• $D$-加群理論を用いて局所的作用関数の記述と、特に境界条件下での押し出し・引き戻し操作を記述する。
• 特に境界付近において、コンパクトに台を持つコチェーン $\mathscr{E}_{\mathscr{L},c}[1](U)$ と双対空間 $\mathscr{E}_{\mathscr{L}}^\vee(U)$ の間の関係を、変形再び（deformation retraction）を用いて確立する。
• アティヤ・ボット補題を、$\mathscr{L}^\perp_c(V) \to \mathscr{E}_{\mathscr{L},c}[1](U^\prime)$ と $\mathscr{E}_{\mathscr{L}}^\vee(U^\prime) \to \mathscr{L}^\vee(V)$ の間の準同型として適用し、双対性を証明する。
• 発散を処理するための補正項を用いて、正規化群の流れと量子マスター方程式を用いて、量子要因代数を構成する。
• ダブルイング・トリックと正則化された熱核を用いて、境界条件下での伝播関数とパラメトリックスを定義する。

実験結果

リサーチクエスチョン

• RQ1 コスティェロとグウィリアムの要因代数フレームワークは、境界を持つ多様体上の場理論へどのように拡張できるか？
• RQ2 特に境界条件下において、ボリューム-境界系の古典的および量子観測量の正しい数学的定式化は何か？
• RQ3 コンパクトに台を持つ場に基づく観測量モデルと双対空間に基づくモデルは、いつ準同型となるか？また、その条件は何か？
• RQ4 境界条件下で、量子マスター方程式はどのように定式化され、解かれるか？
• RQ5 正規化と補正項は、このような系の整合的な量子要因代数を構成する際に果たす役割は何か？

主な発見

• 自然な写像 $ (\mathscr{E}_{\mathscr{L},c}(U)[1]^{{\widehat{\otimes}}_{\beta}k})_{S_k} \to \underline{CVS}((\mathscr{E}_{\mathscr{L}}(U))^{{\widehat{\otimes}}_{\beta}k},\mathbb{R})_{S_k} $ が微分可能ベクトル空間上の準同型であることを示し、二つの古典的観測量モデルの同等性を証明する。
• 十分に小さな近傍 $ U^\prime $ において、写像 $ \mathscr{E}_{\mathscr{L},c}[1](U^\prime) \to \mathscr{E}_{\mathscr{L}}^\vee(U^\prime) $ が準同型であることが、変形再びと双対性によって確立される。
• $ U^\prime = V \times [0,T^\prime) $ の場合、合成写像 $ \mathscr{L}^\perp_c(V) \to \mathscr{E}_{\mathscr{L},c}[1](U^\prime) \to \mathscr{E}_{\mathscr{L}}^\vee(U^\prime) \to \mathscr{L}^\vee(V) $ がアティヤ・ボットの準同型を実現する。
• 量子観測量の要因代数は、正規化と量子マスター方程式を用いて構成され、補正項によって整合性が保証される。
• 非負実数直線上の1次元BF理論において、量子化手順が明示的に検証され、パラメトリックスとフェ Feynman 図を用いて量子観測量が計算される。
• このフレームワークは、トポロジカル力学と自由なポissonシグマ模型を境界を持つ多様体上で正しく量子化でき、構成の強靭性を示している。