[論文レビュー] Independence Conditions for Nets of Local Algebras as Sheaf Conditions

Sander Wolters, Hans Halvorson|arXiv (Cornell University)|Sep 22, 2013

Advanced Algebra and Logic参考文献 32被引用数 4

ひとこと要約

この論文はトポス理論を用いて代数的量子場理論を再定式化し、局所的演算子代数のネットが、運動論的独立性の要件を満たす場合に限り、層の条件を満たすことを示している。C*-代数的層条件とC*-独立性の間の対応を確立し、環付きトポスにおけるネットの函手的構造が、圏論的層公理を通じて物理的独立性を符号化していることを示している。

ABSTRACT

We apply constructions from topos-theoretic approaches to quantum theory to algebraic quantum field theory. Thus a net of operator algebras is reformulated as a functor that maps regions of spacetime into a category of ringed topoi. We ask whether this functor is a sheaf, a question which is related to the net satisfying certain kinematical independence conditions. In addition, we consider a C*-algebraic version of Nuiten's recent sheaf condition, and demonstrate how it relates to C*-independence of the underlying net of operator algebras.

研究の動機と目的

• 代数的量子場理論における局所的演算子代数のネットを、環付きトポスの圏への函手として再定式化すること。
• このような函手が層条件を満たすのはどのような場合かを調査し、物理的独立性の性質と関連付けること。
• ニュイテンの層条件のC*-代数的版を構築し、局所的代数のC*-独立性と関連付けること。
• 内部C*-代数がコプレシェーブトポスにおいて可換C*-代数として、トポスの内部論理から見て動作することを示すこと。
• 運動論的独立性がトポスにおける層論的公理を通じて符号化される圏論的枠組みを確立すること。

提案手法

• 時空領域 O をそれぞれトポス $\mathcal{T}_O = \mathrm{Sh}(X)$ として表現する。ここに $X$ は位相空間であり、$\mathcal{T}_O$ は $X$ 上の層のトポスである。
• 各局所的C*-代数 $A(O)$ をトポス $\mathcal{T}_O$ 内の内部ユニタル可換C*-代数 $\underline{A(O)}$ に関連付ける。
• 反変函手 $\mathcal{V}(X)^{\mathrm{op}} \to \mathbf{RingSp}$ を構成し、時空領域を内部環を持つトポスへ写像する。
• 包含関係 $O_1 \subseteq O_2$ に対して、幾何的同型 $I^*: \mathcal{T}_{O_2} \to \mathcal{T}_{O_1}$ と内部 $\ast$-準同型 $\underline{i}: I^\ast \underline{A(O_1)} \to \underline{A(O_2)}$ を用いる。
• トポス $\mathcal{E}$ 内部で、ノルム、対合、完備性、可換性の公理（コーシー近似を用いて）を用いてC*-代数を定義する。
• 局所的データが被覆上で一意に貼り合わされるという普遍性を用いて、層条件を記述する。

実験結果

リサーチクエスチョン

• RQ1 時空領域上の局所的C*-代数のネットが、トポス的枠組みにおいて層条件を満たすのはどのような条件下か？
• RQ2 運動論的独立性条件（例えば、空間的分離）は、ネット函手の層性とどのように関係するか？
• RQ3 C*-代数的層条件を、トポス内での内部C*-代数の公理のみを用いて定式化できるか？
• RQ4 コプレシェーブトポス $[\mathcal{C}_A, \mathbf{Set}]$ は、量子系における古典的のような内部論理を実現するために果たす役割は何か？
• RQ5 内部C*-代数の完備性は、層条件および物理的因果関係とどのように関係するか？

主な発見

• 局所的C*-代数のネットがトポス的枠組みにおいて層条件を満たすのは、必要な運動論的独立性条件を満たす場合に限り、かつそのときに限る。
• トポス $[\mathcal{C}_A, \mathbf{Set}]$ 内部の内部C*-代数 $\underline{A}$ は、内部的視点から元のC*-代数 A と同型である。
• ネット函手 $O \mapsto A(O)$ の層条件は、空間的分離された領域に付随する代数のC*-独立性と同値である。
• 内部C*-代数の完備性は、トポスの内部論理におけるコーシー近似および収束公理を用いて表現される。
• 内部C*-代数のノルム公理（特に乗法的性質および $\|a\|^2 = \|a a^*\|$）は、有理数上の述語を用いて完全に形式化されている。
• 包含関係 $O_1 \subseteq O_2$ に対して、幾何的同型 $I^*: \mathcal{T}_{O_2} \to \mathcal{T}_{O_1}$ は、引き戻しと内部準同型を介して、代数の包含 $A(O_1) \subseteq A(O_2)$ を符号化している。