[論文レビュー] A categorical approach to quantum moment maps

Pavel Safronov|arXiv (Cornell University)|Jan 25, 2019

Quantum Computing Algorithms and Architecture被引用数 4

ひとこと要約

本稿は、量子マニン対および三つ組を用いた量子モーメント写像のカテゴリカル枠組みを導入し、量子群およびリー代数の作用を統一的に扱う。量子モーメント写像をルのものおよびヴァラゴノロ＝ヴァッセロートの構成を一般化する形で定義し、古典的極限においてそれらが古典的モーメント写像に退化することを示し、シフトされたシンプレクティック構造を通じて融合操作および準ポワンソン幾何学と整合することを確立する。

ABSTRACT

We introduce quantum versions of Manin pairs and Manin triples and define quantum moment maps in this context. This provides a framework that incorporates quantum moment maps for actions of Lie algebras and quantum groups for any quantum parameter. We also show how our quantum moment maps degenerate to known classical versions of moment maps and describe their fusion.

研究の動機と目的

• 量子群およびリー代数の作用を統合する、量子モーメント写像の包括的なカテゴリカル枠組みを構築すること。
• 量子マニン対および三つ組の文脈において、ルやヴァラゴノロ＝ヴァッセロートの既知の構成を一般化する量子モーメント写像を定義すること。
• 量子モーメント写像が古典的極限において、アレクセエフ＝コスマン＝シュバルツバッハのものなど、既知の古典的モーメント写像方程式に退化することを示すこと。
• 量子モーメント写像が融合操作およびシフトされたポワンソン幾何学と整合することを確立すること。
• 形式的変形量子化およびコイデアル部分代数を用いて、モーメント写像理論の体系的な量子変形を提供すること。

提案手法

• 古典的ポワンソン＝リー群構造のカテゴリカル一般化として、量子マニン対および三つ組を導入する。
• ホップ代数作用および反転写像を含む、ねじれられた共変性条件を満たす代数写像 μ: H′ → A として、量子モーメント写像を定義する。
• パrameter ℏ を用いた形式的変形量子化を用いて量子構造をモデル化し、Aℏ は形式的冪級数環上の平坦な ℋ-代数である。
• ∞-圏におけるラグランジュ的対応を通じて、シフトされたシンプレクティックおよびポワンソン構造の理論を応用し、モーメント写像をカテゴリカルに解釈する。
• 量子 R-行列を記述するための、coquasitriangular 構造 r = ε⊗ε + ℏr を用い、ℏ の1次まででモーメント写像方程式を導出する。
• 古典的極限 (ℏ → 0) を用いて、量子モーメント写像がアレクセエフ＝コスマン＝シュバルツバッハのモーメント写像方程式を、ℏ の1次で回復することを示す。

実験結果

リサーチクエスチョン

• RQ1 量子群およびリー代数の作用に対して、統一的なカテゴリカル枠組みの中で、量子モーメント写像を体系的に定義する方法は何か？
• RQ2 ℏ → 0 の極限において、量子モーメント写像と古典的モーメント写像の関係は何か？
• RQ3 量子モーメント写像は、準ポワンソン群およびその二重群の理論とどのように関係するか？
• RQ4 シフトされたシンプレクティック幾何学におけるラグランジュ的対応を用いて、量子モーメント写像の融合をカテゴリカルに記述できるか？
• RQ5 コイデアル部分代数およびcoquasitriangular 構造は、一貫性のある量子モーメント写像を定義するために果たす役割は何か？

主な発見

• 量子マニン対および三つ組を用いた量子モーメント写像は、ルの構成およびヴァラゴノロ＝ヴァッセロートの構成を、一つの枠組みで一般化する。
• 量子モーメント写像方程式の古典的極限において、ℏ の1次でアレクセエフ＝コスマン＝シュバルツバッハのモーメント写像方程式が回復される。
• 写像 r₂: 𝔤* → 𝔡 が単射ラグランジュ埋め込みであることが示され、これにより標準的な r-行列構造と整合性が保証される。
• μ* を ℏ を法として上げる量子モーメント写像 μℏ: ℱ → Aℏ が存在することは、μ が古典的モーメント写像であることを示し、古典的幾何学と整合することを確立する。
• 𝒪(D/G) 上のコアクションはポワンソン括弧と整合するが、その括弧は 𝒪(D) 上の括弧によって一意に定まる。
• 構成により、量子モーメント写像構造が古典的極限においても保存されることを示し、既存の古典的理論と整合することを確認する。