[論文レビュー] Bohrification of local nets of observables

Joost Nuiten|arXiv (Cornell University)|Sep 7, 2011

Quantum Mechanics and Applications参考文献 23被引用数 6

ひとこと要約

この論文は、量子力学に既に適用されてきたボーリング化（Bohrification）を、時空上の可観測量のネットに応用することで、代数的量子場理論（AQFT）へと拡張する。可観測量のネットから、環付きトポスのプレシャーフを構成し、AQFTにおける因果的局所性が、局所的幾何的同型写像による下降条件を満たすボーリング化ネットに等価であることを示している。これにより、量子場理論における局所性のトポス論的特徴づけが得られる。

ABSTRACT

Recent results by Spitters et. al. suggest that quantum phase space can usefully be regarded as a ringed topos via a process called Bohrification. They show that quantum kinematics can then be interpreted as classical kinematics, internal to this ringed topos. We extend these ideas from quantum mechanics to algebraic quantum field theory: from a net of observables we construct a presheaf of quantum phase spaces. We can then naturally express the causal locality of the net as a descent condition on the corresponding presheaf of ringed toposes: we show that the net of observables is local, precisely when the presheaf of ringed toposes satisfies descent by a local geometric morphism.

研究の動機と目的

• 可観測量が時空上にネットとして整理された代数的量子場理論（AQFT）へ、ボーリング化を量子力学から一般化すること。
• AQFTにおける量子力学的運動論を、環付きトポス内での古典的運動論として定式化し、量子力学におけるボーリング化の成功を模倣すること。
• トポス論的下降を用いてAQFTにおける因果的局所性を特徴づけ、この重要な物理的原理の幾何学的・論理的再定式化を提供すること。

提案手法

• 時空上のC*-代数の可観測量のネットから、各代数に対してボーリング化手順を適用し、環付きトポスのプレシャーフを構成する。
• 可換部分代数の順序付き集合と関連するプレシャーフトポスを用いて、環付きトポスの構成を適用する。
• トポス内での内部Gelfand双対性を用いて、C*-代数のスペクトルを内部ロケールとして解釈し、位相空間を形成する。
• 局所的幾何的同型写像を用いて、プレシャーフの環付きトポスへの下降条件を定義し、因果的局所性と結びつける。
• ネットが因果的局所性を満たすための必要十分条件が、関連するプレシャーフの環付きトポスが局所的幾何的同型写像による下降を満たすことであることを示す。
• 境界場理論にこの枠組みを適用し、境界理論の局所性がボーリング化ネットの局所的下降に対応することを示す。

実験結果

リサーチクエスチョン

• RQ1 元々量子力学に開発されたボーリング化は、代数的量子場理論へと拡張可能か？
• RQ2 AQFTにおける因果的局所性の概念は、トポス論的下降を用いてどのように再定式化できるか？
• RQ3 量子力学における内部古典的運動論と類似した、QFTにおける量子力学的運動論のトポス論的特徴づけは存在するか？
• RQ4 時空上のボーリング化ネットが、元のネットが因果的局所性を満たす場合に限り、下降を満たすのか？
• RQ5 この枠組みは、チャーラル境界場理論に適用可能であり、それらの局所性を特徴づけられるか？

主な発見

• AQFTにおける可観測量のネットの因果的局所性は、関連するプレシャーフの環付きトポスが局所的幾何的同型写像による下降を満たすことと同値である。
• 時空上のボーリング化ネットのトポスは、時空の開集合上にプレシャーフとして構成され、各スターブがボーリング化C*-代数に対応する。
• この構成により、AQFTにおける量子力学的運動論が、環付きトポス内での古典的運動論として実現され、スピッターズらの量子力学における結果をQFTへ一般化する。
• ボーリング化ネットにおける下降条件は、因果的局所性という物理的要請を捉えており、この原理の幾何学的・論理的再定式化を提供する。
• 境界場理論においては、チャーラル境界理論の局所性が、関連するプレシャーフのトポスの局所的下降に対応することが特徴づけられる。
• この枠組みは、幾何学的・論理的・代数的構造を統合する、構成的でトポス論的な量子場理論の解釈を提供する。