Action accessibility in the variety of skew braces
Pith reviewed 2026-06-28 23:32 UTC · model grok-4.3
The pith
The variety of skew braces is not action accessible.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The variety of skew braces is not action accessible, established by verifying that the Huq centraliser does not satisfy the necessary condition in this variety; an identical conclusion holds for post-Lie algebras.
What carries the argument
The Huq centraliser, the categorical notion whose failure demonstrates the absence of action accessibility.
If this is right
- Split extension classifiers do not exist in the category of skew braces.
- Split extension classifiers do not exist in the category of post-Lie algebras over a fixed field.
- Questions about the existence of such classifiers, raised in the context of the Yang-Baxter equation, receive a negative answer.
Where Pith is reading between the lines
- Categorical methods relying on action accessibility may require modification when applied to structures tied to the Yang-Baxter equation.
- The Huq centraliser test could be checked in other varieties related to braid group representations to identify similar failures.
Load-bearing premise
Failure of the Huq centraliser condition is sufficient to conclude that the variety is not action accessible.
What would settle it
An explicit construction of a split extension classifier in the category of skew braces, or a proof that the Huq centraliser condition holds throughout the variety, would disprove the result.
read the original abstract
In this paper, we answer negatively to a question posed in the context of the 2025 Oberwolfach Mini-Workshop ``The Yang-Baxter Equation and Representations of Braid Groups'' regarding the existence of split extensions classifiers in the category of skew braces. To this end, we show that the variety of skew braces is not action accessible by investigating the categorical notion of centraliser in the sense of Huq. In light of their intrinsic relationship with skew braces, an analogous result is proven for the variety of post-Lie algebras over a fixed field.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript claims that the variety of skew braces is not action accessible, shown by investigating the categorical notion of the Huq centraliser; this answers negatively a question from the 2025 Oberwolfach Mini-Workshop on the existence of split extension classifiers in the category of skew braces. An analogous result is proven for the variety of post-Lie algebras over a fixed field.
Significance. If the central claim holds, the result is significant for the categorical algebra of structures tied to the Yang-Baxter equation, as it supplies a negative answer to the existence of split extension classifiers and clarifies action accessibility properties in these varieties.
major comments (1)
- [Abstract] Abstract, paragraph on method: the claim that failure of the Huq centraliser condition establishes non-action accessibility is load-bearing, yet the precise implication (i.e., why the computed centraliser behaviour entails the non-existence of split extension classifiers) is not made explicit; the full derivation is unavailable for verification.
Simulated Author's Rebuttal
We thank the referee for their comment. We address the concern regarding the abstract below and will revise the manuscript to improve clarity on the relevant implication.
read point-by-point responses
-
Referee: [Abstract] Abstract, paragraph on method: the claim that failure of the Huq centraliser condition establishes non-action accessibility is load-bearing, yet the precise implication (i.e., why the computed centraliser behaviour entails the non-existence of split extension classifiers) is not made explicit; the full derivation is unavailable for verification.
Authors: We agree that the abstract assumes familiarity with the relevant equivalences in categorical algebra and does not spell out the chain of implications. In a variety of algebras, action accessibility is equivalent to the existence of split extension classifiers; the Huq centraliser condition provides a necessary criterion whose failure implies the non-existence of such classifiers. The manuscript establishes the failure of this condition for skew braces (and analogously for post-Lie algebras) via explicit computation, which yields the negative answer to the Oberwolfach question. The full derivation appears in Sections 3–4 of the paper. To address the referee’s point we will revise the abstract to include one additional sentence making this logical connection explicit. revision: yes
Circularity Check
No circularity: direct proof via external Huq centraliser
full rationale
The derivation shows non-action accessibility of skew braces by computing the Huq centraliser and verifying its failure, using the standard external definition of that notion in semi-abelian categories. No equations reduce by construction to fitted inputs, no self-citations are load-bearing for the central implication, and the argument does not rename or smuggle ansatzes. The result is a standard categorical verification against an independent benchmark (Huq's centraliser), hence self-contained with score 0.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Standard definition of action accessibility in a variety via Huq centralisers
Reference graph
Works this paper leans on
-
[1]
E. Acri, M. Bonatto, Skew braces of sizep2qI: Abelian type, Algebra Colloq. 29 (2) (2022) 297–320. URLhttps://doi.org/10.1142/S1005386722000244
- [2]
-
[3]
I. Angiono, C. Galindo, L. Vendramin, Hopf braces and Yang-Baxter operators, Proc. Amer. Math. Soc. 145 (5) (2017) 1981–1995. URLhttps://doi.org/10.1090/proc/13395
-
[4]
Bachiller, Classification of braces of orderp 3, J
D. Bachiller, Classification of braces of orderp 3, J. Pure Appl. Algebra 219 (8) (2015) 3568–3603. URLhttps://doi.org/10.1016/j.jpaa.2014.12.013
-
[5]
C. Bai, An introduction to pre-Lie algebras, in: Algebra and applications 1: Non- Associative Algebras and Categories, ISTE, London, 2020, pp. 245–273. URLhttps://doi.org/10.1002/9781119818175.ch7
-
[6]
C. Bai, L. Guo, Y. Sheng, R. Tang, Post-groups, (Lie-)Butcher groups and the Yang-Baxter equation, Math. Ann. 388 (3) (2024) 3127–3167. URLhttps://doi.org/10.1007/s00208-023-02592-z
-
[7]
A. Ballester-Bolinches, R. Esteban-Romero, M. Ferrara, V. Pérez-Calabuig, M. Trombetti, Central nilpotency of left skew braces and solutions of the Yang- Baxter equation, Pacific J. Math. 335 (1) (2025) 1–32. URLhttps://doi.org/10.2140/pjm.2025.335.1
-
[8]
A. Ballester-Bolinches, R. Esteban-Romero, P. Jiménez-Seral, V. Pérez-Calabuig, Soluble skew left braces and soluble solutions of the Yang-Baxter equation, Adv. Math. 455 (2024) Paper No. 109880, 27. URLhttps://doi.org/10.1016/j.aim.2024.109880
-
[9]
V. G. Bardakov, M. V. Neshchadim, M. K. Yadav, Computing skew left braces of small orders, Internat. J. Algebra Comput. 30 (4) (2020) 839–851. URLhttps://doi.org/10.1142/S0218196720500216
-
[10]
M. Bonatto, P. Jedlička, Central nilpotency of skew braces, J. Algebra Appl. 22 (12) (2023) Paper No. 2350255, 16. URLhttps://doi.org/10.1142/S0219498823502559
-
[11]
Borceux, G
F. Borceux, G. Janelidze, G. M. Kelly, Internal object actions, Comment. Math. Univ. Carolin. 46 (2) (2005) 235–255
2005
-
[12]
D. Bourn, A. Facchini, M. Pompili, Aspects of the category SKB of skew braces, Comm. Algebra 51 (5) (2023) 2129–2143. URLhttps://doi.org/10.1080/00927872.2022.2151609
-
[13]
Bourn, G
D. Bourn, G. Janelidze, Characterization of protomodular varieties of universal al- gebras, Theory Appl. Categ. 11 (6) (2003) 143–147. 15
2003
-
[14]
Bourn, G
D. Bourn, G. Janelidze, Centralizers in action accessible categories, Cah. Topol. Géom. Différ. Catég. 50 (3) (2009) 211–232. URLhttps://www.numdam.org/item/CTGDC_2009__50_3_211_0/
2009
-
[15]
J. Brox, X. García-Martínez, M. Mancini, T. Van der Linden, C. Vienne, Weak representability of actions of non-associative algebras, J. Algebra 669 (2025) 401– 444. URLhttps://doi.org/10.1016/j.jalgebra.2025.02.007
-
[16]
Burde, Simple left-symmetric algebras with solvable Lie algebra, Manuscripta Math
D. Burde, Simple left-symmetric algebras with solvable Lie algebra, Manuscripta Math. 95 (3) (1998) 397–411. URLhttps://doi.org/10.1007/s002290050037
-
[17]
D. Burde, K. Dekimpe, M. Monadjem, Post-Lie algebra structures for perfect Lie algebras, Comm. Algebra 52 (10) (2024) 4255–4267. URLhttps://doi.org/10.1080/00927872.2024.2344638
-
[18]
F. Catino, I. Colazzo, P. Stefanelli, Skew left braces with non-trivial annihilator, J. Algebra Appl. 18 (2) (2019) 1950033, 23. URLhttps://doi.org/10.1142/S0219498819500336
-
[19]
F. Cedó, E. Jespers, J. Okniński, Braces and the Yang-Baxter equation, Comm. Math. Phys. 327 (1) (2014) 101–116. URLhttps://doi.org/10.1007/s00220-014-1935-y
-
[20]
F. Cedó, A. Smoktunowicz, L. Vendramin, Skew left braces of nilpotent type, Proc. Lond. Math. Soc. (3) 118 (6) (2019) 1367–1392. URLhttps://doi.org/10.1112/plms.12209
-
[21]
A. S. Cigoli, S. Mantovani, Action accessibility via centralizers, J. Pure Appl. Alge- bra 216 (8-9) (2012) 1852–1865. URLhttps://doi.org/10.1016/j.jpaa.2012.02.023
-
[22]
I. Colazzo, J. Plavnik, E. Rowell, L. Vendramin, Mini-workshop: The Yang—Baxter Equation and Representations of Braid Groups, Oberwolfach Rep. 2 (no. 4) (2025) pp. 2633–2672. URLhttps://ems.press/journals/owr/articles/14299580
-
[23]
C. Curry, K. Ebrahimi-Fard, H. Munthe-Kaas, What is a post-lie algebra and why is it useful in geometric integration, in: F. A. Radu, K. Kumar, I. Berre, J. M. Nordbotten, I. S. Pop (eds.), Numerical Mathematics and Advanced Applications ENUMATH 2017, Springer International Publishing, Cham, 2019, pp. 429–437. URLhttps://doi.org/10.1007/978-3-319-96415-7_38
-
[24]
V. G. Drinfeld, On some unsolved problems in quantum group theory, in: Quantum groups (Leningrad, 1990), vol. 1510 of Lecture Notes in Math., Springer, Berlin, 1992, pp. 1–8. URLhttps://doi.org/10.1007/BFb0101175 16
-
[25]
P. Etingof, T. Schedler, A. Soloviev, Set-theoretical solutions to the quantum Yang- Baxter equation, Duke Math. J. 100 (2) (1999) 169–209. URLhttps://doi.org/10.1215/S0012-7094-99-10007-X
-
[26]
A. Facchini, M. Pompili, Semidirect products of digroups and skew braces, Bull. Belg. Math. Soc. Simon Stevin 31 (1) (2024) 40–53. URLhttps://doi.org/10.36045/j.bbms.230825
-
[27]
URLhttps://www.gap-system.org
The GAP Group, GAP – Groups, Algorithms, and Programming, Version 4.13.0 (2024). URLhttps://www.gap-system.org
2024
-
[28]
X. García-Martínez, T. Van der Linden, A characterisation of Lie algebras amongst anti-commutative algebras, J. Pure Appl. Algebra 223 (11) (2019) 4857–4870. URLhttps://doi.org/10.1016/j.jpaa.2019.02.018
-
[29]
M. Gran, A. Sciandra, Hopf braces and semi-abelian categories, J. Algebra 690 (2026) 266–303. URLhttps://doi.org/10.1016/j.jalgebra.2025.10.048
-
[30]
L. Guarnieri, L. Vendramin, Skew braces and the Yang-Baxter equation, Math. Comp. 86 (307) (2017) 2519–2534. URLhttps://doi.org/10.1090/mcom/3161
-
[31]
S. A. Huq, Commutator, nilpotency, and solvability in categories, Quart. J. Math. Oxford Ser. (2) 19 (1968) 363–389. URLhttps://doi.org/10.1093/qmath/19.1.363
-
[32]
G. Janelidze, L. Márki, W. Tholen, Semi-abelian categories, J. Pure Appl. Algebra 168 (2) (2002) 367–386. URLhttps://doi.org/10.1016/S0022-4049(01)00103-7
-
[33]
Y. Kozakai, C. Tsang, Representation theory of skew braces, Int. J. Group Theory 14 (3) (2025) 149–164. URLhttps://doi.org/10.22108/ijgt.2024.142261.1913
-
[34]
T. Letourmy, L. Vendramin, Schur covers of skew braces, J. Algebra 644 (2024) 609–654. URLhttps://doi.org/10.1016/j.jalgebra.2024.01.021
-
[35]
J.-H. Lu, M. Yan, Y.-C. Zhu, On the set-theoretical Yang-Baxter equation, Duke Math. J. 104 (1) (2000) 1–18. URLhttps://doi.org/10.1215/S0012-7094-00-10411-5
-
[36]
M. Mazzotta, B. Rybołowicz, P. Stefanelli, Deformed solutions of the Yang-Baxter equation associated to dual weak braces, Ann. Mat. Pura Appl. (4) 204 (2) (2025) 711–731. URLhttps://doi.org/10.1007/s10231-024-01502-7
-
[37]
T.Nasybullov, Connectionsbetweenpropertiesoftheadditiveandthemultiplicative groups of a two-sided skew brace, J. Algebra 540 (2019) 156–167. URLhttps://doi.org/10.1016/j.jalgebra.2019.05.005 17
- [38]
-
[39]
U. Reimaa, T. Van der Linden, C. Vienne, Associativity and the cosmash product in operadic varieties of algebras, Illinois J. Math. 67 (3) (2023) 563–598. URLhttps://doi.org/10.1215/00192082-10678862
-
[40]
Rump, Braces, radical rings, and the quantum Yang-Baxter equation, J
W. Rump, Braces, radical rings, and the quantum Yang-Baxter equation, J. Algebra 307 (1) (2007) 153–170. URLhttps://doi.org/10.1016/j.jalgebra.2006.03.040
-
[41]
Smoktunowicz, On Engel groups, nilpotent groups, rings, braces and the Yang- Baxter equation, Trans
A. Smoktunowicz, On Engel groups, nilpotent groups, rings, braces and the Yang- Baxter equation, Trans. Amer. Math. Soc. 370 (9) (2018) 6535–6564. URLhttps://doi.org/10.1090/tran/7179
-
[42]
A. Smoktunowicz, L. Vendramin, On skew braces (with an appendix by N. Byott and L. Vendramin), J. Comb. Algebra 2 (1) (2018) 47–86. URLhttps://doi.org/10.4171/JCA/2-1-3
-
[43]
Soloviev, Non-unitary set-theoretical solutions to the quantum Yang-Baxter equation, Math
A. Soloviev, Non-unitary set-theoretical solutions to the quantum Yang-Baxter equation, Math. Res. Lett. 7 (5-6) (2000) 577–596. URLhttps://doi.org/10.4310/MRL.2000.v7.n5.a4
-
[44]
Trappeniers, On two-sided skew braces, J
S. Trappeniers, On two-sided skew braces, J. Algebra 631 (2023) 267–286. URLhttps://doi.org/10.1016/j.jalgebra.2023.05.003
-
[45]
Trappeniers, A Lazard correspondence for post-Lie rings and skew braces, arXiv:2406.02475
S. Trappeniers, A Lazard correspondence for post-Lie rings and skew braces, arXiv:2406.02475. URLhttps://arxiv.org/abs/2406.02475
-
[46]
C. S. Y. Tsang, On Grün’s lemma for perfect skew braces, J. Math. Soc. Japan 78 (2). URLhttps://doi.org/10.2969/jmsj/94549454
-
[47]
Vallette, Homology of generalized partition posets, J
B. Vallette, Homology of generalized partition posets, J. Pure Appl. Algebra 208 (2) (2007) 699–725. URLhttps://doi.org/10.1016/j.jpaa.2006.03.012
-
[48]
Vendramin, O
L. Vendramin, O. Konovalov, YangBaxter, Combinatorial Solutions for the Yang-Baxter equation, Version 0.10.4,https://gap-packages.github.io/ YangBaxter, GAP package (Mar 2024)
2024
-
[49]
H. Zhu, The construction of braided tensor categories from Hopf braces, Linear Multilinear Algebra 70 (16) (2022) 3171–3188. URLhttps://doi.org/10.1080/03081087.2020.1828249 18
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.