[論文レビュー] Curved cooperads and homotopy unital A-infty-algebras

Volodymyr Lyubashenko|arXiv (Cornell University)|Mar 14, 2014

Advanced Topics in Algebra被引用数 3

ひとこと要約

本稿は、ホモトピー的ユニタリ A-infinity 代数をモデル化する枠組みとして曲率項を組み込んだ曲率付きコオペラッドを導入する。これは、古典的な A-infinity 理論に曲率項を組み込むことで拡張されたものであり、コバービルダリティを用いて曲率付きコオペラッドと曲率付き代数の双対性を確立する。特に、曲率付きコオペラッドのコバー構成により曲率付き A-infinity 代数が得られることを示し、古典的なコバー双対性を曲率付き設定に一般化する。

ABSTRACT

We provide bar and cobar constructions as functors acting between various categories of curved operads and curved cooperads. Cobar and bar constructions are adjoint to each other. Given a twisting cochain between a curved augmented cooperad C with an extra grading and a curved operad O we construct a couple of adjoint functors between the category of curved O-modules and the category of curved C-comodules. The important feature is that the curved operad O is not necessarily augmented.

研究の動機と目的

• 古典的なコオペラッドと代数の間のコバー双対性を、A-infinity 構造における曲率項を含める形に拡張すること。
• ホモトピー的ユニタリ A-infinity 代数をモデル化するのに適した新しい代数的構造として、曲率付きコオペラッドを定義し、その性質を調査すること。
• コバー構成を用いて曲率付きコオペラッドと曲率付き A-infinity 代数の間の双対性を確立すること。
• A-infinity 構造に非自明な曲率を組み込むことができるホモトピー的枠組みを提供すること。
• 曲率付きコモノイドおよび曲率付き代数を扱えるように、標準的なコバー構成を一般化すること。

提案手法

• 本稿は、コオペラッド公理の曲率付き版を用いて曲率付きコオペラッドを定義し、コマルチプライケーションに曲率項を組み込む。
• 曲率付きコオペラッドのコバー構成を導入し、これにより曲率付き A-infinity 代数が得られることを示す。
• バー・コバー双対性の枠組みを用い、修正されたコマルチプライケーションおよび微分構造を用いて曲率を組み込むように適合させる。
• 重要な方程式には、重みベクトル w の作用と、微分を定義するための射影写像 pr の使用が含まれる。
• 曲率付きコマルチプライケーションに従って微分の二重作用がゼロになることを確認することで、コバー構成が曲率付き A-infinity 関係を満たすことを検証する。
• 図式的推論と、方程式 (LABEL:dia-cooperad-4-OOOOO) などの代数的恒等式を用いて、曲率の整合性を検証する。

実験結果

リサーチクエスチョン

• RQ1 A-infinity 構造における曲率項を含む古典的コバー双対性は、どのように拡張可能か？
• RQ2 コバー構成を用いて曲率付き A-infinity 代数構造を実現するためには、コオペラッドが満たすべき公理は何か？
• RQ3 曲率の存在がコバー複体の微分およびその二重作用ゼロ性に与える影響は何か？
• RQ4 曲率付きコオペラッドのコバー構成は、整合的に定義された曲率付き A-infinity 代数を生成できるか？
• RQ5 重みパラメータ w および射影写像 pr は、曲率付き A-infinity 関係の整合性を保証するために果たす役割は何か？

主な発見

• 曲率付きコオペラッドのコバー構成により、曲率付き A-infinity 代数が得られ、古典的双対性が曲率付き設定に拡張される。
• 重み w と ξT を含む定義式に埋め込まれた曲率整合性のおかげで、コバー複体の微分は二重作用ゼロを満たす。
• wξT(0,1,0) と wξT(0,0,1) を含む方程式により、射影写像 pr による下で曲率付き A-infinity 関係が満たされる。
• 本フレームワークにより、曲率付きコオペラッドを用いたホモトピー的ユニタリ A-infinity 代数のモデル化が可能となり、ホモトピー代数のための新たな代数的道具が得られる。
• 重みベクトルとコマルチプライケーション構造の使用により、高次代数的構造における曲率の体系的取り扱いが可能になる。
• 本稿は、方程式 (LABEL:dia-cooperad-4-OOOOO) から導かれるような代数的恒等式に従って、曲率付きコバー構成が整合的かつ閉じていることを確立する。