[论文解读] Constructing Hopf braces

A. L. Agore|arXiv (Cornell University)|Jul 10, 2017

Algebraic structures and combinatorial models参考文献 6被引用 4

一句话总结

本文提出了两种构建余交换霍普夫括号的新方法：一种是利用余交换霍普夫代数的匹配对，另一种是通过范畴论工具（如极限和等化子）。关键贡献在于证明了任意一对余交换霍普夫代数通过其张量积余代数可诱导出一个余交换霍普夫括号，推广了已知构造方法，并确立了霍普夫括号范畴的完备性。

ABSTRACT

We investigate Hopf braces, a concept recently introduced by Angiono, Galindo and Vendramin in connection to the quantum Yang-Baxter equation. More precisely, we propose two methods for constructing Hopf braces. The first one uses matched pairs of Hopf algebras while the second one relies on category theoretic tools.

研究动机与目标

• 开发系统化方法，用于构造新的余交换霍普夫括号示例。
• 利用如匹配对等代数结构，推广已知的杨-巴克斯顿方程解的构造方法。
• 通过范畴论中的极限和等化子，建立霍普夫括号范畴的完备性。
• 证明匹配对的群或李代数可在其群代数或通用包络代数上诱导出霍普夫括号。
• 证明双射1-上循环的范畴是完备的，从而扩展霍普夫括号理论中的已知等价关系。

提出的方法

• 利用余交换霍普夫代数的匹配对，在张量积余代数上构造新的余交换霍普夫括号。
• 应用范畴论工具，包括极限和等化子，证明霍普夫括号范畴的完备性。
• 通过同一底层面余代数上两种霍普夫代数结构的相容性来定义霍普夫括号结构。
• 采用斯威德勒记法表示余乘法，并在构造中应用辫子方程相容性条件。
• 利用等化子的普遍性质，将两个霍普夫括号同态的等化子构造为子霍普夫括号。
• 通过[3]中的已知结果，建立霍普夫括号范畴与双射1-上循环范畴之间的等价关系。

实验结果

研究问题

• RQ1 能否利用余交换霍普夫代数的匹配对系统地构造新的余交换霍普夫括号？
• RQ2 范畴论构造（如极限和等化子）如何应用于证明霍普夫括号范畴的完备性？
• RQ3 每个群或李代数的匹配对是否都能在其群代数或通用包络代数的张量积上诱导出余交换霍普夫括号？
• RQ4 双射1-上循环的范畴是否完备？它与霍普夫括号范畴有何关系？
• RQ5 霍普夫括号范畴与双射1-上循环范畴之间的确切关系是什么？

主要发现

• 任意一对余交换霍普夫代数 $A$ 和 $H$ 可在张量积余代数 $A \bigotimes H$ 上诱导出一个余交换霍普夫括号。
• 余交换霍普夫括号的范畴是完备的，即其包含所有小极限，包括积与等化子。
• 两个霍普夫括号同态的等化子是一个子霍普夫代数，其继承了两种霍普夫代数结构，从而构成一个子霍普夫括号。
• 双射1-上循环的范畴是完备的，因为其通过定理3.4中定义的函子 $F$ 与霍普夫括号范畴等价。
• 霍普夫括号范畴与双射1-上循环范畴等价，扩展了[3, 定理1.12]的结果。
• 从群和李代数的匹配对构造了显式示例，得到群代数和通用包络代数上的霍普夫括号。