[論文レビュー] Homologies of Algebraic Structures via Braidings and Quantum Shuffles

Victoria Lebed|arXiv (Cornell University)|Apr 15, 2012

Homotopy and Cohomology in Algebraic Topology参考文献 18被引用数 4

ひとこと要約

本稿は、前バーティング空間と量子コシャッフル余乗法を用いて、ラック、結合代数、ライブニッツ代数などの代数的構造のための統一されたホモロジー理論を提示する。各代数的構造の定義関係を符号する構造的前バーティングを構成し、一般化されたバーティングホモロジー枠組みを適用することで、ホッフシュルト、チェバリ＝アイルバーグ、ラックホモロジーといった既知のホモロジー理論を回復・一般化するとともに、バーティング加群による係数拡張を可能にする。

ABSTRACT

In this paper we construct "structural" pre-braidings characterizing different algebraic structures: a rack, an associative algebra, a Leibniz algebra and their representations. Some of these pre-braidings seem original. On the other hand, we propose a general homology theory for pre-braided vector spaces and braided modules, based on the quantum co-shuffle comultiplication. Applied to the structural pre-braidings above, it gives a generalization and a unification of many known homology theories. All the constructions are categorified, resulting in particular in their super- and co-versions. Loday's hyper-boundaries, as well as certain homology operations are efficiently treated using the "shuffle" tools.

研究の動機と目的

• 異なるホモロジー理論（例えば、結合代数、ライブニッツ代数、ラック）を一つの枠組みで統一すること。
• 代数的構造に対応するチェーン複体を定義するための標準的で組合せ論的な手続きの欠如に対処すること。
• 量子シャッフル技術を用いて、ローディのハイパーバウンダリーとホモロジー作用素を体系的に一般化すること。
• バーティングホモロジーをカテゴリファイし、理論のスーパー版およびコ版を生み出すこと。
• バーティング加群と双加群を用いた、係数付きホモロジーを構築する体系的な方法を提供すること。

提案手法

• 本稿は、代数的構造の定義関係を符号する前バーティング写像 σ: V⊗V → V⊗V を構成し、その σ がヤン＝バキーエクイション（YBE）を満たすことが、構造が適切に定義されていることと同値であることを示す。
• 量子コシャッフル余乗法を用いた前バーティング空間の一般ホモロジー理論を導入し、テンソル代数 T(V) 上の双微分形式を生成する。
• グラフィカル計算と単体的構造を用いて理論を精緻化し、V 上のコアソシエイティブかつ σ-余可換な余乗法 Δ から退化が生じることを示す。
• 著者らは、符号付きのテンソル縮約の和として定義されるバーティング微分 d_n および d'_n を定義し、σ、ε、ζ、およびコシャッフル写像を含む。符号はバーティング符号則に従う。
• 係数はバーティング加群と双加群を用いて組み込み、微分はバーティング c 及びその逆写像を用いて定義され、加群作用と整合的であることを保証する。
• 枠組みは古典的複体を一般化する： Koszul、バーレン、チェバリ＝アイルバーグ、およびラック複体は、前バーティングおよび特性を適切に選べば特別な場合として回復される。

実験結果

リサーチクエスチョン

• RQ1 ラック、結合代数、ライブニッツ代数といった多様な代数的構造に対して、一様な代数的枠組みでチェーン複体を統一的に構成できるか？
• RQ2 ヤン＝バキーエクイションは、前バーティング写像を用いて代数的構造の定義関係を特徴づけられるか？
• RQ3 Loday のハイパーバウンダリーとホモロジー作用素は、どの程度まで量子シャッフルおよびコシャッフル構造から体系的に導出可能か？
• RQ4 特に前バーティング代数上の双加群に対して、バーティング設定における係数付きホモロジーをどの程度まで一般化できるか？
• RQ5 カテゴリファイケーションは、バーティングホモロジーをスーパー版およびコ版に拡張する役割を果たすが、構造的一致性を保つ仕組みは何か？

主な発見

• 本稿は、前バーティング σ と二つの特性 ε、ζ を用いた量子コシャッフル余乗法を用いて、前バーティングベクトル空間の一般バーティングホモロジー理論を構築し、テンソル代数 T(V) 上の双微分形式を生成する。
• σ におけるヤン＝バキーエクイションは、代数的構造の定義関係と同値である：結合代数では結合律、ラックでは自己分配律、ライブニッツ代数ではライブニッツ恒等式。
• 理論は古典的ホモロジー理論を回復する：結合代数に対してはホッフシュルトホモロジー、リー代数に対してはチェバリ＝アイルバーグホモロジー、自己分配的系に対してはラックホモロジー。
• バーティング加群と双加群を用いた係数付きホモロジーは一般化され、微分はバーティング c 及びその逆写像を用いて定義され、係数拡張のための統一的枠組みを提供する。
• この枠組みは自然にカテゴリファイされ、バーティングホモロジーのスーパー版およびコ版を生み出し、微分恒等式の検証を簡略化する図式的・グラフィカルな計算を可能にする。
• この構成は、シャッフル計算を通じて Loday のハイパーバウンダリーとホモロジー作用素を一般化し、異なる代数的構造にわたる作用素の均一な取り扱いを可能にする。