[論文レビュー] Shifted geometric quantization

Pavel Safronov|arXiv (Cornell University)|Jan 1, 2017

Homotopy and Cohomology in Algebraic Topology参考文献 32被引用数 5

ひとこと要約

本論文は、シフトされたシンプレクティック構造を入力として用いる、幾何学的量子化のカテゴリフィケーション拡張であるシフト幾何的量子化を導入する。これは標準的量子化を、ベクトル空間の代わりに高階カテゴリカル構造を用いることで一般化したものであり、(-1)-シフトの場合にバタリン＝ヴィルコヴィチ（BV）形式主義が自然に回復され、主要な結果となる。

ABSTRACT

Geometric quantization attaches vector spaces to symplectic manifolds equipped with extra data. In this talk I will discuss how higher, or categorified, geometric quantization looks like. The input this time will be a shifted symplectic space. As an example, in shift (-1) one discovers BV quantization.

研究の動機と目的

• シフトされたシンプレクティック空間を入力として用いることで、幾何学的量子化を高階、あるいはカテゴリフィケーション化された構造へと拡張すること。
• 導来代数幾何学および高階圏の文脈において、従来の幾何学的量子化がどのように一般化されるかを理解すること。
• シフトされたシンプレクティック構造が、量子場理論およびゲージ理論をどのようにエンコードするかを特定すること。
• (-1)-シフトの場合に、構成が自然にバタリン＝ヴィルコヴィチ（BV）形式主義を回復することを示すこと。これは現代の理論物理学における量子化の基盤たる形式主義である。

提案手法

• 空間上のシフトされたシンプレクティック構造を定義するために、導来代数幾何学の枠組みを用いる。
• 高階圏的手法を適用し、シフトされたシンプレクティック空間に高階ベクトル空間（例：圏や∞-圏）を割り当てる。
• 標準的幾何学的量子化手順（例：極化や前量子線形束）を、シフトおよびカテゴリフィケーション化された設定へと適応する。
• 導来スタックとシフトされたシンプレクティック形式の理論を用いて、前量子データを一般化する。
• 次数nにおけるシンプレクティック構造の概念を用い、(∞,1)-圏的設定における対応する量子化手順を定義する。
• シフト-1の場合に、構成がBV複体を導き、それによって摂動的量子場理論と関連付けることを示す。

実験結果

リサーチクエスチョン

• RQ1 シフトされたシンプレクティック幾何学を用いて、幾何学的量子化を高階カテゴリカル構造へとどのように一般化できるか？
• RQ2 シフトされたシンプレクティック構造が、量子場理論をどのようにエンコードするか？
• RQ3 (-1)-シフトの場合に、なぜバタリン＝ヴィルコヴィチ形式主義が自然に回復されるのか？
• RQ4 シフトされた設定における量子化の出力として、どのような高階代数的構造が生じるか？
• RQ5 シフト幾何的量子化と、数学的物理における既存の形式主義との関係は何か？

主な発見

• シフト幾何的量子化は、シフトされたシンプレクティック空間に高階カテゴリカル対象（例：圏）を割り当てることで、標準的幾何学的量子化を一般化する。
• (-1)-シフトの場合の構成は、バタリン＝ヴィルコヴィチ（BV）形式主義を再現し、カテゴリフィケーション化された量子化とゲージ理論との間に深い関係を確立する。
• 導来代数幾何学を用いて、次数nにおけるシンプレクティック形式を備えた導来スタック上に前量子データを定義する。
• 量子化の出力はベクトル空間ではなく、モジュールの圏や∞-圏といった高階構造であり、入力のカテゴリフィケーション化された性質を反映している。
• この枠組みは、対称性と制約を持つ場の理論を、高階幾何的手法を用いて体系的に量子化するための方法を提供する。