Opposite brace triples, Hopf braces and matched pairs of Hopf algebras

技術的サマリー：反対 Brace 三重項、Hopf ブレース、および Hopf 代数のマッチドペア

問題提起
本論文は、スキューブレースの Hopf 論的一般化である Hopf ブレースの構造的特徴付けに取り組む。Hopf ブレース $H = (H_1, H_2)$ は、共通の余代数を共有する同一の対象上の 2 つの Hopf 代数構造からなり、特定の整合性条件によって結びつけられている。この構造の決定的な特徴はその非対称性であり、$H_1$ と $H_2$ の役割は交換不可能である。先行研究（特に [5]）は、変形された Hopf 代数 $H_{new}$ がペアの 2 番目の位置（$H_2$）を占める「ブレース三重項」と Hopf ブレースとの間の同型を確立したが、逆問題は未解決のまま残されていた。著者らは、変形された Hopf 代数 $H_{new}$ が Hopf ブレース $(H_{new}, H)$ を構成するように、第 1 の位置（$H_1$）を占めるための条件を決定しようとする。これには、第 2 成分ではなく第 1 成分の変形を記述するための新たな代数的枠組みが必要となる。

手法
著者らは、一般的な厳密な編みモノイド圏 $\mathcal{C}$ の中で作業を行う。手法は以下の手順で進行する：

1. 反対 Brace 三重項の定義：著者らは、反対 Brace 三重項（$opBT$）の圏という新たな圏を導入する。この圏の対象は、Hopf 代数 $A$、射 $m_A: A \otimes A \to A$、および自己準同型 $u_A: A \to A$ からなる三重項 $(A, m_A, u_A)$ である。これらは、$m_A$ が余代数射であり、$u_A$ が対合的な余代数射であり、かつ $m_A$、$A$ の原始積、および反写像 $\lambda_A$ の間で特定の整合性条件が満たされることを保証する公理系を満たす。
2. 変形構造の構成：反対 Brace 三重項を用いて、著者らは同一の基礎対象 $A$ 上の新しい Hopf 代数 $\tilde{A}$ を構成する。新しい積 $\tilde{\mu}_A$ は $m_A$ を用いた畳み込みによって定義され、新しい反写像は $u_A$ となる。
3. 圏的リンクの確立：本論文は、3 つの圏間の関手を定義する：
   • $cocHBr$：余可換 Hopf ブレースの圏。
   • $coc-opBT$：余可換反対 Brace 三重項の圏。
   • $MP(A)$：固定された余可換 Hopf 代数 $A$ 上の Hopf 代数のマッチドペアの圏。
4. 同型の証明：著者らは、明示的な関手 $P: coc-opBT \to cocHBr$ および $Q: cocHBr \to coc-opBT$ を構成する。これら関手が互いに逆であることを示すことで、これらの圏が同型であることを証明する。さらに、既存の結果（定理 2.14）を用いてマッチドペアと Hopf ブレースを結びつけることで、3 者間の同型を確立する。

主要な貢献と結果

• 反対 Brace 三重項の導入：本論文は、反対 Brace 三重項の圏を定義し、射 $m_A$ と自己準同型 $u_A$ が Hopf 代数 $A$ を、$(\tilde{A}, A)$ が Hopf ブレースとなるような新しい Hopf 代数 $\tilde{A}$ に変形するための必要な代数的条件を提供する。
• 定理 3.3：$(A, m_A, u_A)$ が余可換反対 Brace 三重項であれば、構成された構造 $\tilde{A} = (A, \eta_A, \tilde{\mu}_A, \epsilon_A, \delta_A, u_A)$ が有効な Hopf 代数となることが証明される。
• 定理 3.6：対 $(\tilde{A}, A)$ が余可換 Hopf ブレースを形成することが確立される。
• 定理 3.9：逆に、余可換 Hopf ブレース $H = (H_1, H_2)$ が与えられたとき、三重項 $(H_2, \Gamma_{H_1} \circ (\lambda_{H_2} \otimes H), \lambda_{H_1})$ は余可換反対 Brace 三重項を構成する。
• 定理 3.11（主要結果）：余可換 Hopf ブレースの圏（$cocHBr$）と余可換反対 Brace 三重項の圏（$coc-opBT$）は同型である。
• 系 3.12：主要結果と Hopf ブレースおよびマッチドペア間の既知の同型を組み合わせることで、固定された余可換 Hopf 代数 $A$ に対して、圏 $cocHBr(A)$、$MP(A)$、および$coc-opBT(A)$ はすべて同型であるという結論に至る。

重要性
本論文は、反対 Brace 三重項の導入が、特に余可換の文脈において Hopf ブレースの圏を特徴付けるための新たな対象を提供すると主張する。この特徴付けは、量子ヤン・バクスター方程式（QYBE）の解の構築に対する「新たな道筋」を開くという点で重要である。Hopf ブレースは QYBE の解（特に第 1 の構造が可換な場合の対合的解）を生成することが知られているため、反対 Brace 三重項を介して Hopf ブレースを構築する能力は、これらの解を生成するための代替的かつ体系的な方法を提供する。この研究は、Hopf ブレースの第 1 成分の変形という視点と、ブレース三重項を介した第 2 成分の変形の確立された理論、およびマッチドペアの理論を統合し、一見異なるこれらの構成が余可換性の下で圏論的に等価であることを示している。