Compatible Lie conformal bialgebras

技術要約：適合的リー共形バイアルジェブラ (Compatible Lie Conformal Bialgebras)

問題提起
本論文は、適合的リー・バイアルジェブラの理論を共形の設定へと拡張することを目的としている。適合的リー代数（2つの括弧の線形結合が依然としてリー括弧であるもの）およびそれに関連するバイアルジェブラ構造、マニン・トリプル、およびヤン・バクスター方程式は確立されているが、形式的パラメータ $\lambda$ と平行移動演算子 $\partial$ を伴うリー共形代数のような共形類似体には、特有の構造的課題が存在する。具体的には、著者らは「適合的リー共形バイアルジェブラ」をどのように定義し、特徴付けるかを調査している。これには、同一の $C[\partial]$-加群上で、2つの適合的リー共形括弧と2つの適合的共形余括弧が必要であり、これらの構造のいかなる同時線形結合もリー共形バイアルジェブラを形成しなければならない。この複雑さは、共形sesquilinearity（半線型性）を維持し、共形双対加群を扱い、かつ通常のリー代数の理論とは異なる、テンソル置換内における平行移動演算子 $\partial$ の配置を正確に追跡する必要があることに起因する。

手法
著者らは構造的な代数的アプローチを用い、定義から等価性、および具体的な特徴付けへと体系的に理論を構築している：

1. 基礎的な定義: 適合的リー共形代数（CLCA）とその表現を導入し、「適合的ヤコビ恒等式」を確立する。また、半直積を構成するためのメカニズムとして、CLCAの適合的ペア（matched pairs）を定義する。
2. 双対理論: 有限自由CLCAと適合的リー共形余 coalgebra（CLCC）との間の、共形双対を介した双対性を確立する。これには、適合的余括弧の定義、および適合的バイアルジェブラの双対が適合的バイアルジェブラ構造を保持することの証明が含まれる。
3. 等価性の証明: 有限ランクの $C[\partial]$-加群に対して、著者らは以下の3つの基本構造間の等価性を証明する：
   • 適合的リー共形バイアルジェブラ。
   • 標準的な適合的共形マニン・トリプル（非退化な不変対称双線型形式を伴う）。
   • 適合的リー共形代数の適合的ペア。
4. 境界解析 (Coboundary Analysis): 余括弧がテンソル $r \in A \otimes A$ から導かれる境界の場合において、結果として得られる構造が適合的バイアルジェブラとなるための必要十分条件を導出する。これには、$r$ の対称部分の分析、および3つの異なる共形ヤン・バクスター条件の導出が含まれる。
5. 比較分析: 著者らは「適合的共形古典ヤン・バクスター方程式（CYBE）」を導入し、その解と適合的バイアルジェブラを必要とする条件を比較し、明示的な例を用いてこれらの概念の境界を画定する。

主要な貢献と結果

• 適合的リー共形バイアルジェブラの定義: 本論文は、適合的ヤコビ、余ヤコビ、および余サイクル恒等式を満たす、三つ組 $(A, [\cdot_\lambda\cdot]_1, [\cdot_\lambda\cdot]_2, \delta_1, \delta_2)$ としてこれらの構造を正式に定義する。
• 構造的等価性: 定理 5.13 および系 5.14 は、有限ランクの加群に対して、適合的リー共形バイアルジェブラが標準的な適合的共形マニン・トリプルおよび適合的リー共形代数の適合的ペアと等価であることを確立している。これは、通常のリー共形バイアルジェブラに関する Liberati の対応関係を一般化したものである。
• 境界による特徴付け (定理 6.6): テンソル $r$ によって定義される境界適合的リー共形バイアルジェブラを著者らは特徴付けている。条件は以下の通りである：
  1. $r$ の対称部分 ($r + r_{21}$) は、両方の括弧に対して不変であること。
  2. $r$ は第1の括弧に対する共形ヤン・バクスター条件 $(a_\lambda [[r, r]]_1)_1 |_{\lambda=-\partial^{\otimes 3}} = 0$ を満たすこと。
  3. $r$ は第2の括弧に対する共形ヤン・バクスター条件 $(a_\lambda [[r, r]]_2)_2 |_{\lambda=-\partial^{\otimes 3}} = 0$ を満たすこと。
  4. $r$ は適合的共形ヤン・バクスター条件 $(a_\lambda [[r, r]]_1)_2 + (a_\lambda [[r, r]]_2)_1 = 0$ を満たすこと。
• 適合的 CYBE との関係: 本論文は、$[[r, r]]_1 \equiv 0$ かつ $[[r, r]]_2 \equiv 0 \pmod{\partial^{\otimes 3}}$ によって定義される適合的共形 CYBE を導入する。
  • 結果: 適合的共形 CYBE のすべての解は、定理 6.6 の3つの条件を満たす。
  • 反例: 逆は必ずしも真ではない。例 6.11 は、個々のヤン・バクスター条件（各括弧に対するもの）が適合的条件 (6.19) を含意しないことを示している。例 6.12 は、定理 6.6 の3つの条件すべてが、$r$ が適合的共形 CYBE の解ではない（項 $[[r, r]]_i$ は非ゼロであるが、評価時に相殺される）場合でも成立し得ることを示している。

意義
本論文は、バイアルジェブラ、マニン・トリプル、およびヤン・バクスター方程式の間の古典的な対応関係を、適合的共形の設定へと拡張することを主張している。これらの構造を厳密に定義し、その等価性を証明することで、本研究は、適合的括弧および $r$-行列から新しいリー共形バイアルジェブラ構造を構築するための統一的な代数的枠組みを提供する。著者らは、これらの結果が、有限な例の将来的な分類、適合的共形ヤン・バクスター方程式の明示的な解の研究、および頂点代数理論や可積分系への潜在的な接続のための基礎を築くものであると述べている。論文は、共形理論においてはテンソル積における平行移動演算子 $\partial$ の慎重な扱いが必要であり、そのニュアンスが通常のリー代数の結果の直接的な翻訳を妨げていることを強調している。