[論文レビュー] The global quantum duality principle: theory, examples, and applications

Giovanna Fabio|arXiv (Cornell University)|Mar 3, 2003

Quantum Mechanics and Applications参考文献 34被引用数 14

ひとこと要約

この論文は、環 R 上の捩れなしホップ代数の圏における二つの随伴函手を用いて、グローバルな量子双対性原理を確立し、量子関数代数（QFA）と量子制限普遍包あくり代数（QrUEA）をパrameter ℏ において特徴づける圏論的枠組みを提供する。主な結果は、剰余特徴がゼロであるとき、双対ポアソン群と双対リ代数双対体の上での QFA と QrUEA の間の同値性であり、ドリンフェルトの局所的量子双対性原理をグローバルかつ代数的状況に一般化したものである。

ABSTRACT

Let R be an integral domain, h non-zero in R such that R/hR is a field, and HA the category of torsionless (or flat) Hopf algebras over R. We call any H in HA "quantized function algebra" (=QFA), resp. "quantized (restricted) universal enveloping algebra" (=QrUEA), at h if H/hH is the function algebra of a connected Poisson group, resp. the (restricted, if R/hR has positive characteristic) universal enveloping algebra of a (restricted) Lie bialgebra. We establish an "inner" Galois' correspondence on HA, via the definition of two endofunctors, ()^\vee and ()', of HA such that: (a) the image of ()^\vee, resp. of ()', is the full subcategory of all QrUEAs, resp. all QFAs, at h; (b) if R/hR has zero characteristic, the restriction of ()^\vee to QFAs and of ()' to QrUEAs yield equivalences inverse to each other; (c) if R/hR has zero characteristic, starting from a QFA over a Poisson group, resp. from a QrUEA over a (restricted) Lie bialgebra, the functor ()^\vee, resp. ()', gives a QrUEA, resp. a QFA, over the dual Lie bialgebra, resp. the dual Poisson group. In particular, (a) yields a recipe to produce quantum groups of both types (QFAs or QrUEAs), (b) gives a characterization of them within HA, and (c) gives a "global" version of the "quantum duality principle" after Drinfeld. We then apply our result to Hopf algebras defined over a field k and extended to the polynomial ring k[h]: this yields quantum groups, hence "classical" geometrical symmetries of Poisson type (via specialization) associated to the "generalized symmetry" encoded by the original Hopf algebra over k. Both the main result and the above mentioned application are illustrated via several examples of many different kinds, which are studied in full detail.

研究の動機と目的

• ドリンフェルトの局所的・形式的双対性をグローバルなホップ代数への一般化する、代数的でグローバルな量子双対性原理の定式化を目的とする。
• 環 R 上の捩れなしホップ代数の圏内で、量子関数代数（QFA）と量子制限普遍包あくり代数（QrUEA）を特徴づけること。
• 剰余特徴がゼロのとき、QFA と双対リ代数双対体上の QrUEA の間の圏論的双対性を確立すること。
• 体上のホップ代数の自明な変形にこの枠組みを適用し、ℏ = 0 での特殊化により、古典的ポアソン群およびリ代数双対体構造を導出すること。

提案手法

• 環 R 上の捩れなしホップ代数の圏に二つの自己函手 ( )∨ と ( )′ を定義し、QFA を QrUEA に、逆に QrUEA を QFA に写像する。
• 関手 ( )∨ の像が ℏ における QrUEA の完全部分圏であること、同様に ( )′ の像が ℏ における QFAs の完全部分圏であることの証明。
• 環 R/ℏR の剰余特徴がゼロであるとき、( )∨ と ( )′ の QFA および QrUEA への制限が、互いに逆の同値関手をなすことを確立。
• 半古典的極限とスペクトル構成を用いて、ホップ代数の双対性がポアソン群の双対性およびリ代数双対体の双対性と関連することを示す。
• 体 ℤ 上のホップ代数 H に対して ℤ[ℏ] ⊗ₖ H の形をしたホップ代数にこの枠組みを適用し、古典的ポアソン群またはリ代数双対体の対称性を持つ量子群を生成する。
• 量子 SL₂、量子ハイゼンベルク群、形式的微分同相のホップ代数といった詳細な例を通じて理論を具体化する。

実験結果

リサーチクエスチョン

• RQ1 QFA および QrUEA の両方のタイプの量子群を、統一的な代数的枠組み内で体系的に構成する方法は何か？
• RQ2 環 R 上の捩れなしホップ代数の中で、QFAs と QrUEAs を特徴づける圏論的条件は何か？
• RQ3 グローバルな量子双対性原理は、双対ポアソン群と双対リ代数双対体のホップ代数的構造をどのように関連付けるか？
• RQ4 剰余特徴は、双対性同値の有効性を決定づける役割を果たすか？
• RQ5 ホップ代数の自明な変形に、双対性原理を拡張でき、量子的対称性から古典的対称性を導出できるか？

主な発見

• 関手 ( )∨ と ( )′ は QFAs と QrUEAs の間の双対性を確立し、それぞれの像は ℏ における QrUEAs および QFAs の完全部分圏に丁度一致する。
• R/ℏR の剰余特徴がゼロであるとき、( )∨ と ( )′ がそれぞれ QFAs および QrUEAs に制限された場合、互いに逆の同値関手をなす。
• ポアソン群 G 上の QFA に対して、関手 ( )∨ は双対リ代数双対体 𝔤* 上の QrUEA を生成する。逆も同様であり、これは量子双対性原理のグローバル版を提供する。
• 双対性は、生成子 αₙ をその双対 ̂αₙ に写像することによって誘導される、Poisson代数の同型写像 Φ: (ℋ∨)′ ≅ ℋ′ によって実現され、ℋ′ は双対生成子の自由Poisson代数である。
• 双対群の単位元における余接空間上のリコブラケットは同型ではない — δ•(xₙ) = ∑(ℓ+1)xₗ ∧ xₙ₋ₗ と δ*(xₙ) = (n−2)xₙ₋₁ ∧ x₁ — これにより、双対群が代数的群として同型でないことが示される。
• 結晶双対性原理は、コンネス＝クライマーおよびフアッシーの例を含む、広範な次数付きホップ代数のクラスに適用可能であり、ℋ^dif は一般パターンの代表例である。