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

技术摘要：对偶括号三元组、霍普夫括号与霍普夫代数的匹配对

问题陈述
本文探讨了霍普夫括号（Hopf braces）的结构刻画，霍普夫括号是斜括号（skew braces）的霍普夫理论推广。一个霍普夫括号 $H = (H_1, H_2)$ 由同一对象上的两个霍普夫代数结构组成，它们共享一个共同的余代数，并通过特定的相容条件相互关联。该结构的一个关键特征是其不对称性：$H_1$ 和 $H_2$ 的角色不可互换。虽然先前的工作（特别是 [5]）确立了霍普夫括号与“括号三元组”（brace triples）之间的同构，其中变形霍普夫代数 $H_{new}$ 占据配对中的第二个位置（$H_2$），但逆问题仍未解决。作者旨在确定在何种条件下，一个变形霍普夫代数 $H_{new}$ 可以占据第一个位置（$H_1$），使得 $(H_{new}, H)$ 构成一个霍普夫括号。这需要一种新的代数框架来描述第一个分量的变形，而非第二个分量。

方法论
作者在一般的严格辫子幺半范畴 $\mathcal{C}$ 中开展工作。方法论通过以下步骤进行：

1. 对偶括号三元组的定义：作者引入了一个新范畴，即对偶括号三元组（opBT）范畴。该范畴中的一个对象是一个三元组 $(A, m_A, u_A)$，其中 $A$ 是一个霍普夫代数，$m_A: A \otimes A \to A$ 是一个态射，$u_A: A \to A$ 是一个自同态。这些满足一组公理，确保 $m_A$ 是一个余代数态射，$u_A$ 是一个对合余代数态射，并且 $m_A$、$A$ 的原始乘积以及反极 $\lambda_A$ 之间满足特定的相容条件。
2. 变形结构的构造：利用对偶括号三元组，作者在相同的底层对象 $A$ 上构造了一个新的霍普夫代数 $\tilde{A}$。新乘积 $\tilde{\mu}_A$ 通过涉及 $m_A$ 的卷积定义，新反极为 $u_A$。
3. 范畴联系的建立：本文定义了三个范畴之间的函子：
   • $cocHBr$：余交换霍普夫括号的范畴。
   • $coc-opBT$：余交换对偶括号三元组的范畴。
   • $MP(A)$：基于固定余交换霍普夫代数$A$ 的霍普夫代数匹配对的范畴。
4. 同构的证明：作者构造了显式函子 $P: coc-opBT \to cocHBr$ 和 $Q: cocHBr \to coc-opBT$。他们证明了这些函子互为逆映射，从而证明了这些范畴是同构的。他们进一步利用现有结果（定理 2.14）将匹配对与霍普夫括号联系起来，建立了三者之间的同构。

主要贡献与结果

• 对偶括号三元组的引入：本文定义了对偶括号三元组范畴，提供了态射 $m_A$ 和自同态 $u_A$ 将霍普夫代数 $A$ 变形为新霍普夫代数 $\tilde{A}$ 的必要代数条件，使得 $(\tilde{A}, A)$ 构成一个霍普夫括号。
• 定理 3.3：证明了如果 $(A, m_A, u_A)$ 是一个余交换对偶括号三元组，则构造的结构 $\tilde{A} = (A, \eta_A, \tilde{\mu}_A, \epsilon_A, \delta_A, u_A)$ 是一个有效的霍普夫代数。
• 定理 3.6：确立了配对 $(\tilde{A}, A)$ 构成一个余交换霍普夫括号。
• 定理 3.9：反之，给定一个余交换霍普夫括号 $H = (H_1, H_2)$，三元组 $(H_2, \Gamma_{H_1} \circ (\lambda_{H_2} \otimes H), \lambda_{H_1})$ 构成一个余交换对偶括号三元组。
• 定理 3.11（主要结果）：余交换霍普夫括号范畴（$cocHBr$）与余交换对偶括号三元组范畴（$coc-opBT$）是同构的。
• 推论 3.12：通过将主要结果与霍普夫括号和匹配对之间已知的同构相结合，本文得出结论：对于固定的余交换霍普夫代数 $A$，范畴 $cocHBr(A)$、$MP(A)$和$coc-opBT(A)$ 都是同构的。

意义
本文声称，对偶括号三元组的引入为刻画霍普夫括号范畴提供了一个新对象，特别是在余交换情形下。这一刻画具有重要意义，因为它为构造量子杨 - 巴克斯特方程（QYBE）的解开辟了“新途径”。由于已知霍普夫括号能生成 QYBE 的解（特别是当第一个结构为交换时生成对合解），因此通过对偶括号三元组构造霍普夫括号的能力提供了一种替代且系统的方法来生成这些解。这项工作统一了变形霍普夫括号第一个分量的视角与变形第二个分量的既定理论（通过括号三元组）以及匹配对理论，证明了在余交换条件下，这些看似不同的构造在范畴论上是等价的。