[論文レビュー] The existence of intrinsic brackets on the cohomology of bialgebras

Martin Markl|arXiv (Cornell University)|Nov 20, 2004

Advanced Topics in Algebra被引用数 2

ひとこと要約

この論文は、コチェーン複体に強くホモトピー的リー構造が存在する場合、オペラッドまたはプロップの下でのバイアルゲブラのコホモロジーにリー代数の括弧が誘導されることを確立する。また、関連する量子マスター方程式が変形を記述し、長年の未解決問題を解消する。具体的には、ゲルステンハーバー＝シャックコホモロジーに、古典的ホッホシュィルト内在括弧を拡張するリー括弧を構成する。

ABSTRACT

We show that there exists a Lie a bracket on the cohomology of any type of (bi)algebras over an operad or a PROP, induced by a strongly homotopy Lie structure on the defining cochain complex, such that the associated quantum master equation captures deformations. This in particular implies the existence of a Lie bracket on the Gerstenhaber-Schack cohomology of a bialgebra that extends the classical intrinsic bracket on the Hochschild cohomology, giving an affirmative answer to an old question about the existence of such a bracket.

研究の動機と目的

• オペラッドまたはプロップの下でのバイアルゲブラのコホモロジーにリー括弧の存在を確立すること。
• 古典的ホッホシュィルト内在括弧を、バイアルゲブラのゲルステンハーバー＝シャックコホモロジーへ拡張すること。
• バイアルゲブラコホモロジーの文脈において、このような括弧の存在に関する未解決問題を解消すること。
• この括弧に関連する量子マスター方程式がバイアルゲブラの変形を記述できることを示すこと。
• バイアルゲブラ的構造における変形理論のためのホモトピー的枠組みを提供すること。

提案手法

• バイアルゲブラの定義コチェーン複体に強くホモトピー的リー（L∞）構造を用いる。
• 導来括弧構成法を用いて、L∞構造からコホモロジー上へのリー括弧を誘導する。
• オペラッドおよびプロップの枠組み内で、さまざまなタイプのバイアルゲブラへ一般化する。
• 形式的変形を特徴付ける変形理論的道具として、量子マスター方程式を用いる。
• ホモロジー代数の技法を用いて、チェーン複体からコホモロジーへの代数的構造の持ち上げを行う。

実験結果

リサーチクエスチョン

• RQ1 ゲルステンハーバー＝シャックコホモロジーに、古典的ホッホシュィルト内在括弧を拡張するリー括弧が存在するか？
• RQ2 コチェーン複体に強くホモトピー的リー構造が存在する場合、バイアルゲブラのコホモロジーにリー括弧が誘導されるか？
• RQ3 この括弧に関連する量子マスター方程式が、バイアルゲブラの変形を符号化できるか？
• RQ4 この構成は、任意のオペラッドまたはプロップの下でのバイアルゲブラへ一般化可能か？
• RQ5 コホモロジー括弧は、バイアルゲブラの変形理論において果たす役割は何か？

主な発見

• 任意のオペラッドまたはプロップの下でのバイアルゲブラのコホモロジーに、コチェーン複体上の強くホモトピー的リー構造から誘導されるリー括弧が存在する。
• この括弧に関連する量子マスター方程式は、バイアルゲブラの形式的変形を支配する。
• この構成により、ゲルステンハーバー＝シャックコホモロジーに内在する括弧の存在に関する長年の未解決問題に肯定的な答えが得られる。
• ゲルステンハーバー＝シャックコホモロジーの内在括弧は、古典的ホッホシュィルトコホモロジーの内在括弧を拡張する。
• この枠組みは、オペラッドまたはプロップによって定義されるバイアルゲブラに対して一様に適用可能であり、広範な適用可能性を示している。