Anti-associative dendriform algebras

技術的概要：反結合的デンドリフォルム代数

問題提起と動機
本論文は、「分割」された代数演算の演子論的枠組みを反結合的代数の文脈へ拡張する問題に取り組む。結合的演算の分割がデンドリフォルム代数（Loday によって導入された）をもたらし、Lie 許容構造の分割が pre-Lie 代数をもたらすのと同様に、著者は反結合的代数に対する同様の構造を調査する。

動機は、代数圏を関連付ける可換図式を完成させたいという欲求に由来する。具体的には、反結合的代数（$AAs$）、Jacobi-Jordan 代数（$J-J$）、および pre-Jacobi-Jordan 代数（$Pre-J-J$）の間の既知の関係性を拡張することを目的とする。デンドリフォルム代数が結合的代数と pre-Lie 代数を関連付ける図式の「左上」に位置するのと同様に、著者は反結合的の場合の図式を完成させる「反結合的デンドリフォルム代数」の圏（$AAs\text{-}Dend$）の存在を仮定する。

手法
本論文は構造的および演子論的アプローチを採用し、以下の手法を用いる：

1. 定義と検証：著者は、その和が反結合的となる 2 つの双線形演算（$\succ, \prec$）を備えたベクトル空間として、反結合的デンドリフォルム代数を定義する。具体的な恒等式は、誘導される代数構造が反結合的代数の圏内に存在することを要請することで導出される。
2. 双加群理論：本論文は、反結合的代数上の双加群の理論を用いて、直和（$A \oplus V$）上の新しい代数を構成する。これは、互換性のある双加群構造を通じて反結合的デンドリフォルム代数を特徴づけるために用いられる。
3. O-作用素と Rota-Baxter 作用素：著者は、Rota-Baxter 作用素の一般化として、反結合的代数上の O-作用素を導入する。この道具は、既存の反結合的代数から反結合的デンドリフォルム代数を構成するために用いられる。
4. Connes 上 cocycle：非退化な Connes 上 cocycle と反結合的デンドリフォルム構造の間の関係が、代数とその双対の直和上の二重構成の文脈で探求される。
5. 分類：本論文は、定義恒等式が構造定数に課す制約を分析することにより、複素数体上の低次元（2 次元）代数の分類を行う。

主要な貢献と結果

• 反結合的デンドリフォルム代数の定義：
  本論文は、演算が以下の条件を満たすベクトル空間 $(A, \succ, \prec)$ を反結合的デンドリフォルム代数として定義する：

  • $(x \succ y) \succ z = -x \succ (y \succ z)$
  • $x \prec (y \prec z) = -(x \prec y) \prec z$
  • $x \succ (y \prec z) = -(x \succ y) \prec z$
    ここで、総積 $x * y = x \succ y + x \prec z$ は反結合的（$a*(b*c) + (a*b)*c = 0$ を満たす）である。

• 可換図式の完成：
  定理 2.7 は、圏 $AAs\text{-}Dend$ が以下の可換図式を完成させることを証明する：
  $$\begin{array}{ccc} AAs\text{-}Dend & \to & Pre\text{-}J\text{-}J \\ \downarrow & & \downarrow \\ AAs & \to & J\text{-}J \end{array}$$
  ここで、縦方向の矢印は、それぞれ基底となる反結合的代数および関連する pre-Jacobi-Jordan 代数への忘却関手を表す。

• 双加群による特徴づけ：
  定理 2.8 は、反結合的代数 $(A, *)$ 上の双加群構造 $(A, L_\succ, R_\prec)$ の存在が、$A$ 上の反結合的デンドリフォルム代数構造と同値であることを確立する。

• O-作用素と Rota-Baxter 作用素：

  • 定理 3.3：反結合的代数の双加群に関連する任意の O-作用素 $T: V \to A$ が、$V$ 上に反結合的デンドリフォルム構造を誘導することを示す。
  • 定理 3.5：反結合的代数が互換性のある反結合的デンドリフォルム構造を許容するのは、その上に可逆な O-作用素が存在する場合に限ることを証明する。
  • 系 3.7：反結合的デンドリフォルム代数とそれ自身の直和が Rota-Baxter 作用素構造を許容することを示す。

• Connes 上 cocycle：
  定理 4.2 は、反結合的代数上の非退化な Connes 上 cocycle が、互換性のある反結合的デンドリフォルム構造の構成を可能にすることを確立する。これにより、Connes 上 cocycle の「二重構成」（$A \bowtie A^*$）がそのような構造の源となることを記述する命題 4.3 が導かれる。

• 2 次元代数の分類：
  定理 5.4 は、$\mathbb{C}$ 上の非自明な 2 次元反結合的デンドリフォルム代数の分類を提供する。非自明なケースは 2 つの族に分類される：

  1. $Rh_1$：$e_1 \prec e_1 = e_2$ によって定義される。
  2. $Rh_2[\lambda]$：$e_1 \succ e_1 = e_2$ および $e_1 \prec e_1 = \lambda e_2$（ただし $\lambda \in \mathbb{C}$）によって定義される。
     本論文はまた、可換な反結合的代数に関連する代数が 2-冪零であることを指摘する。

• 冪零性と商：
  本論文はこれらの代数に対する 2-冪零性の概念を導入し、零化子に関する特定の条件の下で、反結合的デンドリフォルム代数をその零化子で割った商が互換性のある反結合的デンドリフォルム構造を保持することを証明する（命題 5.6）。

意義と主張
本論文は、反結合的代数の多様性内において Loday のデンドリフォルム代数の自然な対応物として「反結合的デンドリフォルム代数」の体系的な研究を提供すると主張する。その主な意義は以下の点にある：

1. 統合：結合性の分割と並行する統合された枠組みを提供し、それによって演子論的アプローチを反結合性へ拡張する。
2. 構造的道具：O-作用素と Connes 上 cocycle を、これらの代数を構成し解釈するための効果的な道具として提供する。
3. 基礎的な分類：2 次元の場合の問題を解くことでこれらの代数の分類の基礎を築き、多様性の構造を理解するための基盤とする。

著者は明示的に、この研究が「反結合性の分割」に対処することを目的とし、可換図式 (3) を中心的な構造的結果として提示することを述べている。これは、反結合性に関連する代数の階層において欠けていたリンクとして $AAs\text{-}Dend$ 圏の存在を確認するものである。