Affinization of dendriform $\md$-bialgebras, Lie bialgebras and solutions of classical Yang-Baxter equation

技術要約：デンドリフォームD-バイアリゼブラ、リエ・バイアリゼブラ、および古典的ヤン・バクスター方程式の親和化

問題提起
本論文は、デンドリフォーム代数、プレ・リエ代数、結合代数、およびリエ代数を結ぶよく知られた可換図式を、バイアリゼブラのレベルへと昇華させる際の課題に対処している。デンドリフォーム代数がプレ・リエ代数および結合代数（そしてそれはリエ代数を誘導する）を誘導することは確立されているが、対応するバイアリゼブラ構造は自然には一致しない。具体的には、プレ・リエ・バイアリゼブラは一般にリエ・バイアリゼブラ構造を持たず、デンドリフォームD-バイアリゼブラは本質的に反対称無限小（ASI）バイアリゼブラ構造を持つわけではない。さらに、本論文は、異なる代数構造間におけるヤン・バクスター方程式の解（具体的には、デンドリフォーム・ヤン・バクスター方程式（DYBE）、プレ・リエ・ヤン・バクスター方程式（PLYBE）、結合ヤン・バクスター方程式（AYBE）、および古典的ヤン・バクスター方程式（CYBE））の対応関係を明確にすることを目的としている。

手法
著者は、デンドリフォーム構造からリエ・バイアリゼブラを構成するために、主に2つの手法を用いている。

1. パーム代数とのテンソル積： 本論文では、デンドリフォーム代数（またはプレ・リエ代数）と「パーム代数」（積が $b_1(b_2b_3) = (b_1b_2)b_3 = (b_2b_1)b_3$ を満たす代数）とのテンソル積を利用する。二次的なパーム代数（反対称な不変非退化双線型形式を備えたもの）を導入することにより、著者は誘導された結合代数およびリエ代数を構成する。
2. 親和化（Affinization）： 本論文は、デンドリフォームD-バイアリゼブラの親和化を調査している。これには、ローラン多項式（より一般には、二次的な $\mathbb{Z}$-次数付きパーム代数）のベクトル空間上の代数構造を定義することが含まれる。著者は、この親和化プロセスから生じる無限次元構造を扱うために、余代数およびバイアリゼブラの「完備化」されたバージョンを定義している。

この手法は、以下の要素間の相互作用に大きく依存している：

• デンドリフォームD-バイアリゼブラ： 特定の適合条件を持つデンドリフォーム代数とデンドリフォーム余代数を組み合わせた構造。
• 二次的パーム代数： 代数的構造をバイアリゼブラ構造へと持ち上げるための「架け橋」として使用される。
• O-演算子： ヤン・バクスター方程式の解の演算子形式として機能する、双モジュールに関連する線形写像。

主要な貢献と結果

1. バイアリゼブラ構成の統一（定理 5.3）：
   本論文は、デンドリフォームD-バイアリゼブラからリエ・バイアリゼブラを構成するための2つの異なる経路が、同一の結果をもたらすことを証明している：

• 経路 A： デンドリフォームD-バイアリゼブラ $\to$ プレ・リエ・バイアリゼブラ $\to$ （二次的パーム代数とのテンソル積）$\to$ リエ・バイアリゼブラ。
• 経路 B： デンドリフォームD-バイアリゼブラ $\to$ （二次的パーム代数とのテンソル積）$\to$ ASIバイアリゼブラ $\to$ （誘導されたリエ括弧）$\to$ リエ・バイアリゼブラ。
  著者は、これら2つのアプローチを通じて得られるリエ・バイアリゼブラが同一であることを示し、代数の可換図式をバイアリゼブラのレベルへと効果的に昇華させている。

2. 親和化の特性付け（定理 4.13）：
   本論文は、有限次元デンドリフォームD-バイアリゼブラと二次的な $\mathbb{Z}$-次数付きパーム代数とのテンソル積が、自然に完備されたASIバイアリゼブラを形成することを確立している。逆に、パーム代数が特定の二次的な $\mathbb{Z}$-次数付きパーム代数（ローラン多項式に関連するもの）である場合、得られる構造が完備されたASIバイアリゼブラとなるための必要十分条件は、元の構造がデンドリフォームD-バイアリゼブラであることである。これは、オペラドのコーシュル双対性に依存しない、親和化によるデンドリフォームD-バイアリゼブラの特性付けを提供している。

3. ヤン・バクスター解の対応：
   本論文は、様々なヤン・バクスター方程式の解の対応関係を詳述している：

• デンドリフォーム代数におけるDYBEの対称解は、（パーム代数とのテンソル積を介して）誘導された結合代数における反対称解を誘導する。
• このAYBEの反対称解は、さらに、誘導されたリエ代数における反対称解であるCYBEを誘導する。
• 本論文は、これらの誘導された解が、等価な三角形バイアリゼブラ構造（三角形デンドリフォームD-バイアリゼブラ、三角形ASIバイアリゼブラ、および三角形リエ・バイアリゼブラ）を生成することを証明している。

4. O-演算子の対応：
   本研究は、これらの構造間におけるO-演算子の関係を明確にしている。デンドリフォーム代数に関連するO-演算子が、誘導されたプレ・リエ代数および（テンソル積を介した）誘導されたリエ代数に関連するO-演算子に対応することを示している。具体的には、誘導されたリエ代数のO-演算子は、元のO-演算子と、パーム代数の二次形式から導出される写像とのテンソル積である。

意義
本論文は、デンドリフォームD-バイアリゼブラからリエ・バイアリゼブラおよび三角形バイアリゼブラ構造を構築するための体系的な枠組みを提供すると主張している。代数の可換図式をバイアリゼブラのレベルへと昇華させる際の困難を解決することにより、本研究は、親和化およびパーム代数とのテンソル積というメカニズムを通じて、デンドリフォーム代数、プレ・リエ代数、およびリエ・バイアリゼブラの理論を結合している。

その意義は以下の点にある：

• 構造的統一： リエ・バイアリゼブラをデンドリフォーム源から構築するための異なる構成方法が等価であることを示している。
• 無限次元への拡張： デンドリフォームD-バイアリゼブラの親和化を通じて、無限次元の反対称無限小バイアリゼブラを構築する方法を提供し、Novikov代数やパーム代数に関する従来の結果を拡張している。
• 解の転送： DYBE、PLYBE、AYBE、およびCYBEの解の間の厳密な対応関係を確立し、ある代数的文脈における解が他の文脈における解を生成することを可能にしている。
• 三角形構造： 三角形構造（因子分解問題や可積分系に関連するもの）が、これらの代数的範疇間でどのように保存され、変換されるかを示している。

本研究は、代数学および数理物理学の分野における理論的発展として提示されており、特に様々なバイアリゼブラの型と、それに関連する各種ヤン・バクスター方程式との構造的関係を対象としている。