[論文レビュー] Quantization via Linear homotopy types

Urs Schreiber|arXiv (Cornell University)|Feb 27, 2014

Homotopy and Cohomology in Algebraic Topology参考文献 115被引用数 12

ひとこと要約

この論文は、線形ホモトピー型理論を用いて、局所的プリ量子場理論の非摂動的コhomological量子化を提案し、安定 $Π$-圏における2次積分変換を形式化する。量子異常キャンセレーションが、主積分変換の境界としてこのような量子化を実現することに対応することを示し、型理論的基礎において幾何的量子化、モチーフ、ホログラフィー原理を統一する。

ABSTRACT

In the foundational logical framework of homotopy-type theory we discuss a natural formalization of secondary integral transforms in stable geometric homotopy theory. We observe that this yields a process of non-perturbative cohomological quantization of local pre-quantum field theory; and show that quantum anomaly cancellation amounts to realizing this as the boundary of a field theory that is given by genuine (primary) integral transforms, hence by linear polynomial functors. Recalling that traditional linear logic has semantics in symmetric monoidal categories and serves to formalize quantum mechanics, what we consider is its refinement to linear homotopy-type theory with semantics in stable infinity-categories of bundles of stable homotopy types (generalized cohomology theories) formalizing Lagrangian quantum field theory, following Nuiten and closely related to recent work by Haugseng and Hopkins-Lurie. For the reader interested in technical problems of quantization we provide non-perturbative quantization of Poisson manifolds and of the superstring; and find insight into quantum anomaly cancellation, the holographic principle and motivic structures in quantization. For the reader inclined to the interpretation of quantum mechanics we exhibit quantum superposition and interference as existential quantification in linear homotopy-type theory. For the reader inclined to foundations we provide a refinement of the proposal by Lawvere for a formal foundation of physics, lifted from classical continuum mechanics to local Lagrangian quantum gauge field theory.

研究の動機と目的

• ホモトピー型理論を用いて、局所的プリ量子場理論の非摂動的コhomological量子化を形式化すること。
• 幾何的量子化と経路積分量子化を、一つの論理的枠組みに統合すること。
• 量子異常キャンセレーションが、2次積分変換を主積分変換の境界として実現することに対応することを示すこと。
• 代数的幾何におけるモチーフ的構造と、非可換モチーフおよびKK理論への自然な写像を通じて、量子化を結びつけること。
• 局所的ラグランジュ量子ゲージ場理論の基礎的枠組みを提供すること。古典的力学を型理論を介して量子場理論へ拡張する。

提案手法

• コhesiveホモトピー型理論におけるプリ量子幾何の形式化。一般化コホモロジー理論の安定 $∞$-圏を用いる。
• 安定 $∞$-圏における意味論を持つ線形ホモトピー型理論の導入。線形論理を精緻化し、ラグランジュ量子場理論をモデル化する。
• ℕ-圏における対応に沿ったプル・テンソル・プッシュによる2次積分変換を用いて、量子化関手を定義する。
• 境界場理論と異常キャンセレーションのモデル化として、線形多項式関手による主積分変換を実装する。
• ダガー構造とファイバーごとの内積を用いて、量子操作と状態伝搬を形式化する。
• 指向型の量子状態のTannaka双対性を適用し、場理論におけるブレインとドメインウォールを記述する。

実験結果

リサーチクエスチョン

• RQ1 ポincare多様体の非摂動的量子化は、型理論的基盤内でどのように形式化可能か？
• RQ2 量子異常キャンセレーションは、主積分変換理論の境界として、どのように対応するか？
• RQ3 代数的幾何におけるモチーフ的構造は、安定 $∞$-圏における量子化とどのように関係するか？
• RQ4 量子重ね合わせと干渉は、線形ホモトピー型理論における存在記号化として解釈可能か？
• RQ5 ホログラフィー原理は、2次積分変換の境界実現からどのように生じるか？

主な発見

• 局所的プリ量子場理論の量子化は、安定 $∞$-圏における2次積分変換として形式化され、対応から $E$-加群への関手をもたらす。
• 量子異常キャンセレーションは、2次変換が主変換の境界として現れる条件として特徴づけられる。すなわち、線形多項式関手としてのものである。
• この構成により、ねじれ一般コホモロジーにおける指数理論を通じて、シンプレクティック多様体の幾何的量子化が実現され、コhesiveホモトピー型を介して場理論へ拡張される。
• プリ量子積分核から非可換モチーフへの自然な写像が確立され、この枠組みがモチーブコホモロジーと結びつく。
• ホログラフィー原理は、高次元TQFTのバルク理論が主積分変換によって与えられる境界場理論として実現される。
• 量子重ね合わせと干渉は、線形ホモトピー型理論における存在記号化に対応することが示され、量子現象の論理的基盤が提供される。