[論文レビュー] An explicit formula for the deformation quantization of Lie bialgebras

Boris Shoikhet|ArXiv.org|Feb 3, 2004

Algebraic structures and combinatorial models参考文献 9被引用数 4

ひとこと要約

本稿では、コンツェビッチの空間のコンパクト化に基づく3次元トポロジカル量子場理論（TQFT）を構築し、コンパクト化された空間上でストークスの定理を用いてフォーマリティ型方程式を導出することで、複素数体上の任意の有限次元リーバイア algebra に対する変形量子化の明示的公式を提示する。主な貢献は、リーバイア algebra から量子群への普遍的量子化写像を構成することであり、これは [EK] でしか非明示的解決法にとどまらなかった問題に対して、構成的解決を提供する。

ABSTRACT

A model of 3-dimensional topological quantum field theory is rigorously constructed. The results are applied to an explicit formula for deformation quantization of any finite-dimensional Lie bialgebra over the field of complex numbers. This gives an explicit construction of "quantum groups" from any Lie bialgebra, which was proven without explicit formulas in [EK].

研究の動機と目的

• 本稿の目的は、従来は抽象的にしか知られていなかった、リーバイア代数の明示的変形量子化公式を構築することにある。
• （余）結合的バイアリュエラ代数のゲルステンハーバー＝シュック複体 $K_{GS}^{\bullet}(A)$ に $L_{\infty}$ 構造を定義する、より広範なプログラムの一部を実現することにある。
• 本稿の目的には、コンツェビッチの $K(m,n)$ および $K(m,n;s)$ 空間のコンパクト化を用いて、3次元トポロジカル量子場理論を厳密に構築することを含む。
• 本稿の目的には、$K_{GS}^{\bullet}(S(V^{*}))$ に対して、$L_{\infty}$ 構造の完全な知識がなくても十分な明示的量子化を可能にするフォーマリティ型方程式を導出することにある。
• 本稿の目的には、コンパクト化された空間の境界作用素がリービツィング則を満たさないという問題に取り組み、より複雑な代数的構造へと導くことにある。

提案手法

• 本構成は、コンツェビッチ空間 $K(m,n)$ および拡張された空間 $K(m,n;s)$ のコンパクト化から出発し、これらが変形パラメータの幾何をモデル化するために用いられる。
• 本稿では、これらのコンパクト化された空間上でストークスの定理を用いて、$L_{\infty}$ 構造が既知でないにもかかわらず、一般化されたフォーマリティ方程式を導出する。
• 本稿では、コンパクト化された空間上の境界作用素を定義し、その作用素が標準的拡張の下で境界成分の崩壊によりリービツィング則を満たさないことを分析する。
• 本手法では、余次元1以上およびそれ以上のストラトゥムに整礎ベクトル空間および作用素を関連させ、崩壊の下での整合性条件を満たす。
• 主な技術的特徴として、自由な可換で余可換なバイアリュエラ代数 $S(V^{*})$ のゲルステンハーバー＝シュック複体に対するスターシェフ型コンパクト化を用いることが挙げられ、これは結合的変形理論におけるスターシェフの多面体に類似している。
• 本構成は、特に境界ストラトゥムおよびその積分解構造を有するコーナーを持つ多様体の幾何的・位相的性質に依存する。

実験結果

リサーチクエスチョン

• RQ1 任意の有限次元リーバイア代数について、$\mathbb{C}$ 上で、[EK] の非明示的手法を避ける明示的変形量子化公式を構築することは可能か？
• RQ2 3次元トポロジカル量子場理論は、$S(V^{*})$ のゲルステンハーバー＝シュック複体のフォーマリティ実現に果たす役割は何か？
• RQ3 コンパクト化されたコンツェビッチ空間の境界作用素におけるリービツィング則の不満たし方は、その背後にある代数的構造にどのように影響するか？
• RQ4 ストークスの定理をコンパクト化された空間に適用することで、量子群の変形を記述する一般化されたモーラー＝カルタン方程式を導出可能か？
• RQ5 $L_{\infty}$ 構造の完全な知識がなくても、$K_{GS}^{\bullet}(S(V^{*}))$ に対してフォーマリティ型方程式を定義することは可能か？

主な発見

• 本稿では、コンツェビッチ空間 $K(m,n)$ および $K(m,n;s)$ のコンパクト化を用いて3次元トポロジカル量子場理論を構築し、これが量子化の幾何的基盤を提供する。
• ストークスの定理をコンパクト化された空間に適用することで、任意の有限次元リーバイア代数について、$\mathbb{C}$ 上の明示的変形量子化公式が導出される。
• 得られたフォーマリティ型方程式は、既知の $L_{\infty}$ 構造が存在しないことから、古典的意味でのフォーマリティではないが、量子化写像を定義するには十分である。
• コンパクト化された空間上の境界作用素は、標準的拡張の下で境界成分の崩壊によりリービツィング則を満たさないため、より複雑な代数的構造へと導く。
• 本構成により、得られる代数的構造におけるジャコビ恒等式が、$\partial^2 = 0$ が特定の成分を modulo として満たすことに起因することが明らかとなり、$Q^2 = 0$ ではなく $Q^3 = 0$ のような高次ホモトピー構造が想定される。
• 本手法により、リーバイア代数から量子群への普遍的量子化写像が成功裏に構成され、変形量子化における長年の未解決問題に対する構成的解決が得られた。