Hopf braces and semi-abelian categories
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866918017940586496 |
|---|---|
| author | Gran, Marino Sciandra, Andrea |
| author_facet | Gran, Marino Sciandra, Andrea |
| contents | Hopf braces have been introduced as a Hopf-theoretic generalization of skew braces. Under the assumption of cocommutativity, these algebraic structures are equivalent to matched pairs of actions on Hopf algebras, that can be used to produce solutions of the quantum Yang-Baxter equation. We prove that the category of cocommutative Hopf braces is semi-abelian and strongly protomodular. In particular, this implies that the main homological lemmas known for groups, Lie algebras and other classical algebraic structures also hold for cocommutative Hopf braces. Abelian objects are commutative and cocommutative Hopf algebras, that form an abelian Birkhoff subcategory of the category of cocommutative Hopf braces. Moreover, we show that the full subcategories of "primitive Hopf braces" and of "skew braces" form an hereditary torsion theory in the category of cocommutative Hopf braces, and that "skew braces" are also a Birkhoff subcategory and a localization of the latter category. Finally, we describe central extensions and commutators for cocommutative Hopf braces. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2411_19238 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Hopf braces and semi-abelian categories Gran, Marino Sciandra, Andrea Rings and Algebras Category Theory Quantum Algebra Representation Theory Primary 18E13, 16T05, Secondary 18G50, 18E35, 18E40, 16T25 Hopf braces have been introduced as a Hopf-theoretic generalization of skew braces. Under the assumption of cocommutativity, these algebraic structures are equivalent to matched pairs of actions on Hopf algebras, that can be used to produce solutions of the quantum Yang-Baxter equation. We prove that the category of cocommutative Hopf braces is semi-abelian and strongly protomodular. In particular, this implies that the main homological lemmas known for groups, Lie algebras and other classical algebraic structures also hold for cocommutative Hopf braces. Abelian objects are commutative and cocommutative Hopf algebras, that form an abelian Birkhoff subcategory of the category of cocommutative Hopf braces. Moreover, we show that the full subcategories of "primitive Hopf braces" and of "skew braces" form an hereditary torsion theory in the category of cocommutative Hopf braces, and that "skew braces" are also a Birkhoff subcategory and a localization of the latter category. Finally, we describe central extensions and commutators for cocommutative Hopf braces. |
| title | Hopf braces and semi-abelian categories |
| topic | Rings and Algebras Category Theory Quantum Algebra Representation Theory Primary 18E13, 16T05, Secondary 18G50, 18E35, 18E40, 16T25 |
| url | https://arxiv.org/abs/2411.19238 |