[論文レビュー] Coherence Without Commutative Diagrams, Lie-Hedra and Other Curiosities

Martin Markl, Steve Shnider|arXiv (Cornell University)|Dec 10, 1997

Advanced Algebra and Geometry被引用数 1

ひとこと要約

この論文は、可換図式に依存しない代数的構造の整合性を定義するためのコhomological枠組みを導入し、オペラッドコホモロジーを用いる。さまざまな構造における標準的量子化の存在を確立し、ドリンフェルトの擬量子ホップ代数とグルエヴィッチの一般化されたリーリングの両方が、それらの古典的極限の標準的量子化であることを証明する。

ABSTRACT

Abstract. The paper is devoted to the coherence problem for algebraic structures on a category. We describe coherence constraints in terms of the cohomology of the corresponding operad. Our approach enables us to introduce the concept of coherence even for structures which are not given by commutative diagrams. In the second part of the paper we discuss ‘quantizations ’ of various algebraic structures. We prove that there always exists the ‘canonical quantization ’ and show that the two prominent examples – Drinfel’d’s quasi-Hopf algebras and Gurevich’s generalized Lie algebras – are canonical quantizations of their ‘classical limits. ’ The second part (sections 6,7,8) can be read independently, though the abstract theory of the first part is necessary for the full understanding of the results. Keywords: Tel Aviv, coherence constraints, cohomology of operad, Lie-hedron Classification: 57P99, 18C10

研究の動機と目的

• 可換図式によって定義されない代数的構造の整合性の概念を一般化すること。
• オペラッドを用いて整合性制約を特徴付けるコホモロジー的特徴付けを提供すること。
• 代数的構造のための普遍的な量子化の構成を確立すること。
• 代表的な例（擬量子ホップ代数と一般化されたリーリング）が標準的量子化の例であることを示すこと。
• コホモロジー的枠組みを通じて、代数的構造の古典的および量子的バージョンを統一すること。

提案手法

• 代数的構造を記述するオペラッドのコホモロジーを用いて、整合性制約を定義する。
• 可換図式ではなく、オペラッドコホモロジーにおける消滅条件を通じて整合性を定義する。
• 古典的構造の普遍的上げとしての「標準的量子化」の概念を導入する。
• オペラッドコホモロジーの道具立てを用いて、標準的量子化の存在性と普遍性を証明する。
• 古典的極限と量子化写像を通じて、具体的な構造（擬量子ホップ代数と一般化されたリーリング）を分析する。
• コホモロジー的障害を通じて、量子化プロセスが構造的同一性を保存することを示す。

実験結果

リサーチクエスチョン

• RQ1 可換図式に依存しない代数的構造の整合性はどのように定義できるか？
• RQ2 オペラッドコホモロジーは、整合性制約を特徴付ける際に果たす役割は何か？
• RQ3 古典的代数的構造の「標準的」量子化を生み出す普遍的構成は存在するか？
• RQ4 ドリンフェルトの擬量子ホップ代数とグルエヴィッチの一般化されたリーリングは、標準的量子化の例であるか？
• RQ5 量子代数的構造の古典的極限は、普遍的なコホモロジー的上げを通じて回復可能か？

主な発見

• 代数的構造の整合性制約は、オペラッドのコホモロジーにおける特定のコホモロジー類の消滅を通じて定義可能である。
• この枠組みにより、可換図式が存在しない場合でも整合性を定義可能であり、古典的概念を一般化する。
• 任意の代数的構造に対して、オペラッドコホモロジーを用いた普遍的構成によって標準的量子化が存在する。
• ドリンフェルトの擬量子ホップ代数が、それらの古典的極限（通常のホップ代数）の標準的量子化であることが示された。
• グルエヴィッチの一般化されたリーリングは、古典的リーリングの標準的量子化として同定された。
• 標準的量子化プロセスは普遍的であり、古典的構造の一貫した変形を誘導する。