Difference $2$-algebras and difference $A_\infty$-algebras

技術的概要：差分 2-代数と差分 $A_\infty$-代数の差異

問題設定
本論文は、$d(ab) = d(a)b + ad(b) + d(a)d(b)$を満たす前方差分および後方差分演算子の代数的抽象である差分演算子の概念を、より高次の代数構造へ一般化する必要性に取り組む。通常の結合代数（差分代数）上の差分演算子とそのコホモロジー理論は確立されているが、それらの圏化された構造（結合 2-代数）およびホモトピー的構造（$A_\infty$-代数）への拡張は、体系的に発展させられていない。中心的な問題は、これらの高次構造上の差分演算子を定義し、それらに対する圏論的枠組みを確立するとともに、圏化された（2-代数）とホモトピー化された（$A_\infty$）差分代数のバージョン間の関係を解明することである。

手法
著者は、圏論的代数、作用素論的理論、およびホモトピー理論の組み合わせを採用する。手法は以下の手順で進行する。

1. 差分演算子の圏化: 本論文はまず「差分結合 2-代数」を定義する。これは、双線形関手と自然な結合子を持つ 2-ベクトル空間である結合 2-代数に、線形関手 $D$ と、差分演算子の恒等式を圏化する自然同型を備えたものである。整合性条件は、結合子と差分演算子の自然同型を含む可換図式を通じて強制される。
2. Maurer-Cartan 要素によるホモトピー化: $A_\infty$-代数上の差分演算子を定義するために、著者は Maurer-Cartan characterization を利用する。$A_\infty$-構造から Voronov の導出括弧構成を通じて $L_\infty$-代数を構成し、その導出 $L_\infty$-代数の Maurer-Cartan 要素として差分演算子を定義する。
3. 2-項構造への制限: 本研究は、基礎となる次数付きベクトル空間が次数 0 と 1 に集中する「2-項」構造に焦点を当てる。これにより、高次演算と整合性法則の明示的な代数的記述が可能となる。
4. 同値性の証明: 本論文は、差分結合 2-代数の圏と 2-項差分 $A_\infty$-代数の圏の間の関手を構成し、それらが同値であることを証明する。
5. 特徴付けと構成: 本論文は、コホモロジー的データ（3-コサイクル）と交差モジュールを用いて、特定の部分圏（骨格型と厳密型）を特徴付ける。さらに、差分代数上の「ホモトピーまでの 2-項双加群」を導入し、半直積を通じて新たな例を構成する。

主要な貢献と結果

• 差分結合 2-代数の定義: 本論文は、結合 2-代数上の差分演算子の概念を導入し、$((C, \bullet, A), D, \mathcal{D})$ という組として表記する。ここで $D$ は線形関手、$\mathcal{D}$ は整合性法則を満たす自然同型である（定義 3.1）。これらの対象の集合は圏 $\text{DiffAss}_2$ を形成する。
• 差分 $A_\infty$-代数の定義: Maurer-Cartan 特徴付けを用いて、著者は $A_\infty$-代数上の差分演算子を、対応する $L_\infty$-代数の導出括弧を含む特定の無限和条件を満たす要素 $D$ として定義する（定義 4.6）。
• 同値定理: 主要な結果（定理 4.10）は、$\text{DiffAss}_2$（差分結合 2-代数）と $\text{2TermDiff}A_\infty$（2-項差分 $A_\infty$-代数）の間の圏の同値性を確立する。これは、既知の結合 2-代数と 2-項 $A_\infty$-代数の間の同値性を、差分演算子の文脈へ一般化するものである。
• 特殊な場合の特徴付け:
  • 骨格型: 微分 $\delta=0$ である骨格型 2-項差分 $A_\infty$-代数は、差分代数、その上の双加群、および 3-コサイクルからなる三つ組と一対一に対応することが示される（定理 5.1）。
  • 厳密型: 結合子 $\mu=0$ かつ差分演算子成分 $d_2=0$ である厳密な 2-項差分 $A_\infty$-代数は、差分代数の交差モジュールと双射的に対応することが示される（定理 5.4）。
• ホモトピーまでの 2-項双加群: 本論文は、ホモトピーまでの表現を一般化する「差分代数上のホモトピーまでの 2-項双加群」を定義する。差分代数とそのような双加群との半直積が 2-項差分 $A_\infty$-代数を生成することを証明し（命題 5.8）、それがさらに差分結合 2-代数に対応することを示す（命題 5.9）。

意義と主張
本論文は、高次代数的文脈における差分演算子を研究するための統一的枠組みを提供すると主張する。圏化された（2-代数）とホモトピー化された（$A_\infty$）の視点の間の同値性を確立することにより、この研究は、圏化（結合 2-代数）とホモトピー理論（$A_\infty$-代数）によって導入された柔軟性が、差分演算子を備えた場合に同値な構造を生み出すことを示している。

著者は明示的に、この仕事がリー 2-代数および $L_\infty$-代数に関する Baez と Crans の結果、および Rota-Baxter 演算子に関する Zhang と Liu の結果を、差分演算子の設定へ拡張していると述べている。それぞれ 3-コサイクルおよび交差モジュールを介した骨格型および厳密な場合の特徴付けは、これらの高次構造を構築・分析するための具体的な代数的道具を提供する。ホモトピーまでの 2-項双加群を介した半直積の構成は、非自明な差分 $A_\infty$-代数の例を生成する方法を提供する。

本論文は実験的な応用や特定の物理モデルを主張するものではなく、差分演算子、コホモロジー、および高次圏論の代数的理論への基礎的な貢献として位置づけられている。