pith. sign in

arxiv: 2605.30097 · v1 · pith:NJ4U3B4Enew · submitted 2026-05-28 · 🧮 math.CT · math.RA

Action accessibility in the variety of skew braces

Pith reviewed 2026-06-28 23:32 UTC · model grok-4.3

classification 🧮 math.CT math.RA
keywords skew bracesaction accessibilityHuq centraliserpost-Lie algebrassplit extensionsYang-Baxter equation
0
0 comments X

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.

The paper establishes that skew braces do not form an action accessible variety. This follows from showing that the Huq centraliser condition fails to hold in the category. The negative result directly implies that split extension classifiers cannot exist for skew braces. The same failure of action accessibility is shown for the variety of post-Lie algebras over any fixed field.

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

These are editorial extensions of the paper, not claims the author makes directly.

  • 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.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 0 minor

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)
  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

1 responses · 0 unresolved

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
  1. 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

0 steps flagged

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

0 free parameters · 1 axioms · 0 invented entities

Only the abstract is available; no explicit free parameters, axioms, or invented entities are stated.

axioms (1)
  • domain assumption Standard definition of action accessibility in a variety via Huq centralisers
    The proof strategy rests on this categorical notion being the correct test for the property.

pith-pipeline@v0.9.1-grok · 5606 in / 1047 out tokens · 20654 ms · 2026-06-28T23:32:12.001719+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

49 extracted references · 44 canonical work pages

  1. [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. [2]

    Agore, A

    A. Agore, A. Chirvasitu, On the category of hopf braces (2025). URLhttps://arxiv.org/abs/2503.06280

  3. [3]

    Angiono, C

    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. [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. [5]

    Bai, An introduction to pre-Lie algebras, in: Algebra and applications 1: Non- Associative Algebras and Categories, ISTE, London, 2020, pp

    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. [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. [7]

    Ballester-Bolinches, R

    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. [8]

    Ballester-Bolinches, R

    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. [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. [10]

    Bonatto, P

    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. [11]

    Borceux, G

    F. Borceux, G. Janelidze, G. M. Kelly, Internal object actions, Comment. Math. Univ. Carolin. 46 (2) (2005) 235–255

  12. [12]

    Bourn, A

    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. [13]

    Bourn, G

    D. Bourn, G. Janelidze, Characterization of protomodular varieties of universal al- gebras, Theory Appl. Categ. 11 (6) (2003) 143–147. 15

  14. [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/

  15. [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. [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. [17]

    Burde, K

    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. [18]

    Catino, I

    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. [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. [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. [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. [22]

    Colazzo, J

    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. [23]

    Curry, K

    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. [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. [25]

    Etingof, T

    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. [26]

    Facchini, M

    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. [27]

    URLhttps://www.gap-system.org

    The GAP Group, GAP – Groups, Algorithms, and Programming, Version 4.13.0 (2024). URLhttps://www.gap-system.org

  28. [28]

    García-Martínez, T

    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. [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. [30]

    Guarnieri, L

    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. [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. [32]

    Janelidze, L

    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. [33]

    Kozakai, C

    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. [34]

    Letourmy, L

    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. [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. [36]

    Mazzotta, B

    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. [37]

    Algebra 540 (2019) 156–167

    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. [38]

    Rathee, A

    N. Rathee, A. Udeep, Representations of skew braces, arXiv:2408.03766. URLhttps://arxiv.org/abs/2408.03766

  39. [39]

    Reimaa, T

    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. [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. [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. [42]

    Smoktunowicz, L

    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. [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. [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. [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. [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. [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. [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)

  49. [49]

    Zhu, The construction of braided tensor categories from Hopf braces, Linear Multilinear Algebra 70 (16) (2022) 3171–3188

    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