Addendum/Corrigendum to "On solubility of skew left braces and solutions of the Yang-Baxter equation"

この論文は、ヤン・バクスター方程式（YBE）の非退化解とスキュー左ブレース（skew left braces）の可解性に関する先行研究（Adv. Math. 455 (2024)）における定理 C の証明に存在した誤りを修正し、概念を再定義する「付録/訂正（Addendum/Corrigendum）」です。

以下に、この論文の技術的な要約を問題提起、手法、主要な貢献、結果、そして意義の観点から詳述します。

1. 問題提起

先行研究 [1] では、YBE の非退化解の分類文脈において、スキューブレースの可解性を拡張した「解の可解性（solubility of solutions）」が導入されました。その中核となる定理 C は、「あるスキューブレースが可解であることと、その対応する解が可解であることは同値である」と主張していました。

しかし、著者らは後続の研究 [9] において、定理 C の証明に「解の準同型（homomorphism of solutions）」の定義に依存する軽微な見落とし（誤り）があったことを発見しました。具体的には、従来の「解の可解性」の定義では、解の分解性（indecomposability）と構造ブレースのイデアル構造の間の対応が完全には保証されておらず、証明の論理が破綻していました。この誤りを修正し、定理 C を正当な形で再構築することが本論文の目的です。

2. 手法と新概念の導入

誤りを修正するために、著者らは「解の準同型」の概念を拡張し、新しいクラスを導入しました。

• i-準同型（i-homomorphism）の導入:
  従来の準同型に加え、解 $(X, r)$ から $(Y, s)$ への写像 $f$ に対して、核（kernel）の特定の同値類 $X_0$ が存在し、任意の同値類 $Z$ に対して $r(X_0, Z) = Z \times X_0$ および $r(Z, X_0) = X_0 \times Z$ を満たすものを「i-準同型」と定義しました。この $X_0$ を「i-核（i-kernel）」と呼びます。
• i-単純性（i-simplicity）の定義:
  解が i-準同型に対して自明な i-核しか持たない場合、その解を「i-単純」と定義しました。
• 構造ブレースへの対応:
  i-準同型の i-核は、対応する構造ブレース（structure skew brace）$G_X$ において、強左イデアル（strong left ideal）およびイデアルを生成することが示されました。これにより、解の構造とブレースの代数的構造（イデアル系列）の間に厳密な対応関係が確立されました。

3. 主要な貢献と結果

A. 分解不可能性の新たな特徴付け

従来の「単純解（simple solution）」は分解不可能解（indecomposable solution）を完全に特徴付けるものではありませんでした（単純だが分解可能、あるいはその逆のケースが存在する）。

• 命題 3.3: 解 $(X, r)$ が分解不可能であることと、それが「i-単純」であることは同値であることが証明されました。これにより、i-準同型は分解不可能解を特徴付ける適切なツールであることが示されました。

B. 可解な解の再定義と定理 C の修復

i-準同型を用いて「解の可解性」を再定義しました（定義 4.1）。これは、i-準同型の列を通じて解を分解し、その核が構造ブレースの可換イデアルに含まれるような構造を持つ解を指します。

• 定理 4.2: 「可解な解」は、その対応する構造ブレース $G_X$ が可解であることを示します。
• 定理 C の再証明（相関 4.3）: 修正された定義により、以下の 4 つの条件が同値であることが証明されました。
  1. スキューブレース $B$ が可解である。
  2. $B$ に付随する解 $(B, r_B)$ が可解な解である。
  3. 付随する構造ブレース $G(B, r_B)$ が可解である。
  4. 付随する置換ブレース $G(B, r_B)$ が可解である。
     これにより、先行研究の定理 C が正しい形で回復しました。

C. 逆命題の条件付け

「構造ブレースが可解なら、対応する解も可解か？」という逆命題は一般には成り立たないことが例 4.7 で示されました（単純だが可解でない解の存在）。しかし、以下の十分条件が与えられました。

• 定理 4.4: 構造ブレース $G_X$ が可解であり、かつある $x \in X$ に対して $\iota(x)$ が $G_X$ の可換イデアルに含まれる場合、解 $(X, r)$ は可解です。
• 相関 4.5: 特に、$\lambda_x = \rho_x = \text{id}_X$ となる要素 $x$ が存在する場合（すなわち、$x$ が恒等写像として振る舞う場合）、その解は可解となります。これは多重置換解（multipermutation solutions）の文脈で重要です。

4. 意義と結論

この論文は、YBE の解の分類理論における重要な基礎を修正・強化しました。

1. 理論的整合性の回復: 先行研究の証明の欠陥を特定し、i-準同型という新しい概念を導入することで、解の可解性とブレースの可解性の間の論理的な橋渡しを確実なものにしました。
2. 分解可能性の理解の深化: 「i-単純性」を通じて、分解不可能解を代数的に特徴付ける新しい枠組みを提供しました。これは、単純解の概念では捉えきれなかった構造を明らかにします。
3. 構造ブレースとの対応の明確化: i-核が構造ブレースのイデアルを生成することを示すことで、解の集合論的性質とブレースの環論的性質（イデアル系列）を密接に結びつけました。
4. 今後の研究への道筋: 可解な解と多重置換解（multipermutation solutions）の関係性について、新しい条件（定理 4.4）を提供し、より広範な解のクラスにおける可解性の研究を可能にしました。

総じて、この論文はスキューブレースとヤン・バクスター方程式の交差する領域において、定義の厳密さと定理の正当性を確保し、今後の分類研究の基盤を強化する重要な貢献です。