Pith. sign in

REVIEW 3 major objections 5 minor 1 cited by

Some characterizations of weak left braces

T0 review · 3 major / 5 minor · reviewed 2026-08-08 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Weak left braces have three equivalent descriptions: good inverse subsemigroups, Gamma functions, and affine structures.

desk verdict The Gamma-function dictionary is a real extension to weak left braces, but the affine-structure bijection is false as stated and the semilattice classification is missing its proof. read the letter →

arxiv 2502.05861 v2 pith:X4NF7WQA submitted 2025-02-09 math.GR math.QA

Shoufeng Wang This is my paper · ORCID
classification math.GRmath.QA MSC 20M1816T2516Y99
keywords weakleftbraceinversesemigroupCliffordGammafunctionaffinestructureYang-Baxterequationstrongsemilatticeskew
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

Weak left braces generalize skew left braces by allowing both operations to be inverse semigroups rather than groups; they were introduced to produce special degenerate set-theoretic solutions of the Yang-Baxter equation. The paper's central assertion is that these structures have complete dictionary-style descriptions. On a fixed Clifford semigroup $(S,+)$ (an inverse semigroup whose idempotents are central), weak left brace multiplications $\circ$ are in one-to-one correspondence with good inverse subsemigroups of the semidirect product $\mathrm{End}(S,+) \rtimes (S,+)$ and with Gamma functions $\gamma \colon S \to \mathrm{End}(S,+)$; dual weak left braces correspond to the Clifford-semigroup and dual-Gamma-function versions. On a fixed inverse semigroup $(S,\cdot)$, weak left brace additions $+$ correspond exactly to affine structures $\diamond$, with the construction $x+y = x(x \diamond y)$. Finally, symmetric, $\lambda$-homomorphic, and $\lambda$-anti-homomorphic weak left braces are all dual, are exactly strong semilattices of the corresponding skew left braces, and symmetric coincides with $\lambda$-anti-homomorphic.

What carries the argument

The object that carries the argument is the left translation map $\lambda_a(y) = -a + ay$ attached to each element of a weak left brace; it is always an endomorphism of the additive semigroup. These maps organize into the semidirect product $\mathrm{End}(S,+) \rtimes (S,+)$ with multiplication $(f,x)(g,y) = (fg, x + f(y))$, whose 'good' inverse subsemigroups---those projecting bijectively onto $S$ and satisfying closure conditions (G2)--(G4)---encode the whole brace via $a \circ b = a + f(b)$. The equivalent Gamma-function encoding is a map $\gamma \colon S \to \mathrm{End}(S,+)$ satisfying (F1)--(F4), with $x \circ y = x + \gamma_x(y)$; the affine-structure encoding is a binary operation $\diamond$ on an inverse semigroup satisfying (A1)--(A3), with $x + y = x(x \diamond y)$. The mutually inverse construction maps among these three data are the machinery that proves the characterizations.

What would settle it

Find a triple $(S,+,\cdot)$ satisfying the weak left brace axioms $x(y+z) = xy - x + xz$ and $xx^{-1} = -x + x$ for which $(S,+)$ is an inverse semigroup but not Clifford---equivalently, with a non-central idempotent. Such a triple would contradict the imported lemma that every weak left brace has Clifford addition and would invalidate the three-way characterizations; a computer search over small inverse semigroups could look for one.

Watch

Extended reading notes

Core claim

The paper establishes mutually inverse bijections. For a Clifford semigroup $(S,+)$, the map $\mathcal{S}$ sending a weak left brace $(S,+,\cdot)$ to $\mathcal{S}(S) = \{(\lambda_a,a) \mid a \in S\}$, with $\lambda_a(y) = -a + ay$, and the inverse map $\mathcal{B}$ sending a good inverse subsemigroup $H$ of $\mathrm{End}(S,+) \rtimes (S,+)$ to the brace with $a \circ b = a + f(b)$, where $(\pi_2|_H)^{-1}(a) = (f,a)$, are bijections between weak left braces and good inverse subsemigroups; using Clifford subsemigroups gives dual weak left braces. The same class of braces is parameterized by Gamma functions $\gamma$ satisfying (F1)--(F4), with $x \circ y = x + \gamma_x(y)$, and dual Gamma functions give dual weak left braces. On the multiplicative side, an affine structure $\diamond$ on an inverse semigroup $(S,\cdot)$---conditions (A1)--(A3)---yields a weak left brace via $x+y = x(x\diamond y)$, and the correspondence is bijective, with $a \diamond b = \lambda_{a^{-1}}(b)$ as the inverse. Finally, the paper proves that symmetric, $\lambda$-homomorphic, and $\lambda$-anti-homomorphic weak left braces are all dual weak left braces and exactly strong semilattices of symmetric, $\lambda$-homomorphic, and $\lambda$-anti-homomorphic skew left braces, respectively, and that symmetric weak left braces are precisely $\lambda$-anti-homomorphic ones.

Load-bearing premise

The whole dictionary rests on the imported lemma that the additive semigroup $(S,+)$ of every weak left brace is a Clifford semigroup---an inverse semigroup whose idempotents are central; if a weak left brace with a non-Clifford additive semigroup existed, the three-way equivalence would collapse.

Editorial extensions

If this is right

  • Classification of weak left braces on a Clifford semigroup reduces to classifying its endomorphisms and solving finite systems of equations; Example 3.15 carries this out for a five-element semigroup and finds exactly two braces.
  • Dual weak left braces are exactly the Clifford-subsemigroup and dual-Gamma-function cases, so the parameterization separates the dual and non-dual worlds cleanly.
  • For a fixed inverse semigroup, all possible weak left brace additions are precisely affine structures; when the multiplicative semigroup is a group, this recovers the skew left brace case.
  • Every symmetric, $\lambda$-homomorphic, or $\lambda$-anti-homomorphic weak left brace is a strong semilattice of skew left braces of the same type, so no such brace mixes different special types across its semilattice components.
  • Symmetric weak left braces and $\lambda$-anti-homomorphic weak left braces are the same class, matching the known coincidence for skew left braces.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The equivalence suggests a practical enumeration algorithm for finite weak left braces: enumerate Clifford semigroups, then solve the good-subsemigroup or Gamma-function conditions; the paper's five-element example demonstrates the steps for one semigroup, and scaling it up would test the dictionary's usefulness.
  • Because affine structures on inverse semigroups are in bijection with weak left braces, methods for computing affine structures on groups could be ported to inverse semigroups to generate new degenerate set-theoretic Yang-Baxter solutions directly, without first writing down the brace.
  • The coincidence symmetric = $\lambda$-anti-homomorphic, proved here through semilattice decomposition, suggests that a degenerate Yang-Baxter solution induced by a symmetric weak left brace is exactly one whose associated map $\lambda$ is an anti-homomorphism; checking this condition solution-by-solution would be a concrete test.
  • An open direction the paper does not pursue is whether the good-subsemigroup and Gamma-function bijections survive under weaker assumptions than Clifford, and whether the affine-structure side has analogues for dual weak left braces beyond the Clifford case.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 5 minor

Summary. The paper studies weak left braces, generalizations of skew left braces where the additive and multiplicative structures are inverse semigroups rather than groups. It proposes three characterizations: good inverse subsemigroups of the semidirect product End(S,+)⋊(S,+), Gamma functions on Clifford semigroups, and affine structures on inverse semigroups. The first two are developed through mutually inverse bijections in Propositions 3.7 and 3.13, combined in Theorem 3.14. The third is claimed in Theorem 3.20 as a bijection between all weak left braces on an inverse semigroup (S,·) and affine structures on (S,·). Section 4 introduces symmetric, λ-homomorphic and λ-anti-homomorphic weak left braces and asserts, via Proposition 4.9, that these are exactly strong semilattices of the corresponding skew left braces, with Proposition 4.10 concluding that symmetric weak left braces are precisely λ-anti-homomorphic ones.

Significance. The semigroup-theoretic dictionary for weak left braces is a natural extension of classical results for skew left braces, and the detailed proofs of Propositions 3.7 and 3.13, together with the worked Example 3.15, are valuable and appear correct. If the affine-structure characterization and the structural description of Section 4 were established, the paper would provide a useful toolkit for constructing and classifying weak left braces. However, Theorem 3.20 is not valid as stated because the map A is only defined for dual weak left braces while the claimed domain contains non-dual braces, and Proposition 4.9, on which the Section 4 conclusions rest, is stated without proof. These are load-bearing gaps that require substantive repair.

major comments (3)
  1. [Theorem 3.20, Proposition 3.19, Example 3.15] Theorem 3.20 is not valid as stated. The map A is defined in Proposition 3.19 only for dual weak left braces, yet WB◦ in Theorem 3.20 consists of all weak left braces with multiplicative semigroup (S,·). Non-dual weak left braces exist on inverse semigroups: Example 3.15 constructs a non-dual weak left brace (S,+,◦2) whose multiplicative semigroup is the Brandt semigroup B2. Therefore A is not defined on the claimed domain. Moreover, Example 3.21 concludes that the Brandt semigroup admits exactly one weak left brace, contradicting Example 3.15; the enumeration in Example 3.21 implicitly uses the particular Clifford addition of Table 1 rather than deriving the addition from the affine structure. The proof of Theorem 3.20 also invokes identity (3.14), which was derived under the dual hypothesis in Proposition 3.19. The theorem can be repaired by restricting to dual weak left braces, but as written the affine-structure characterization is false.
  2. [Proposition 4.9 and Lemma 4.8] Proposition 4.9 is the central structural result of Section 4, asserting that symmetric, λ-homomorphic and λ-anti-homomorphic weak left braces are exactly strong semilattices of the corresponding skew left braces. It is stated with the sentence 'it is not hard to prove' and no proof is given. Since this proposition is used to derive Proposition 4.10, the latter is unsupported. A full proof, or at least a detailed verification that the strong semilattice construction preserves each of the three properties and that the converse decomposes each such brace into its maximal subgroups, is required.
  3. [Proposition 4.7] The proof of Proposition 4.7, which establishes that every λ-anti-homomorphic weak left brace is dual, contains an unannotated and non-obvious algebraic step: after the display 'This implies that', the expression x^{-1}(x+(-x+xx)x) is replaced by x^{-1}(x-x)xx(x+(-x)x), and then by x^{-1}xx^{-1}xx(x+(-x)x). No cited identity from Lemma 2.3 or Lemma 2.4 justifies these replacements. As written, this step is not verifiable and needs to be expanded or corrected.
minor comments (5)
  1. [Throughout] There are several typos: 'ceratin' in the Abstract, 'subsemiroups' in the Section 2 heading, 'affine stricture' in Proposition 3.19, and 'an λ-anti-homomorphism' in Definition 4.5.
  2. [Proposition 3.1] The displayed definition of λ_x should read λ_x(y) = -x + xy; the current 'x ↦ -x+xy' uses x for both the parameter and the variable. Also, 'λ : (S,·) → End(S,+), λ ↦ λ_x' should be 'x ↦ λ_x'.
  3. [Definition 3.16] Axiom (A1) is written with quantifiers 'For all a ∈ S and e ∈ E(S,·)' but the formula involves b and c; the full quantification should be stated, for example 'for all a,b,c ∈ S'.
  4. [Example 3.21] The phrase 'all affine structures on (S,+)' should be 'on (S,·)'. Also, the discussion refers to Table 1 from Example 3.15 before the addition in Example 3.21 has been determined; this contributes to the erroneous uniqueness claim.
  5. [Proposition 3.7] In the last paragraph, the semidirect product is sometimes written End(S,+)×(S,+); the notation End(S,+)⋊(S,+) should be used consistently.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the dictionary theorems are proved by explicit inverse maps from the defining axioms, not by fitting or self-referential uniqueness.

full rationale

The paper's characterizations are direct equivalence proofs rather than circular reductions. Proposition 3.7 shows the maps S and B are mutually inverse using xy=x+λ_x(y) and condition (G3); Proposition 3.13 derives G(B(γ))=γ from (F1); both directions are verified algebraically from the definitions of weak left brace, good inverse subsemigroup, and Gamma function. Section 3.4 constructs an affine structure from a dual weak left brace and reconstructs the addition via x+′y=x(x⋄y); this is an algebraic identity (3.14), not a fitted parameter disguised as a prediction. The paper relies on external lemmas (Lemma 2.4 and Lemma 4.8) from Catino et al., not on the author's own conclusions, and those lemmas are used as hypotheses, not as a uniqueness theorem blocking alternatives. The self-references [12,15] appear only in the introductory survey and carry no load in the proofs. A possible domain mismatch in Theorem 3.20 (A is constructed only for dual weak left braces in Proposition 3.19) is a correctness concern for the stated bijection, but it is not an instance of the paper assuming what it proves; circularity is therefore absent.

Assumptions & free parameters 0 free parameters · 5 assumptions · 4 invented entities

No numerical fitting is involved; the ledger records imported semigroup-theory facts and the previous weak-brace lemmas that the proofs depend on. The new definitions are all tied to weak left braces, giving them independent evidence via the Yang-Baxter connection.

assumptions (5)
  • standard math A semigroup is inverse iff it is regular and idempotents commute (Lemma 2.1).
    Used in Proposition 3.4 and throughout to recognize inverse semigroups.
  • standard math In a Clifford semigroup, idempotents are central (Lemma 2.2).
    Basis for the definition of good subsemigroups and Gamma functions.
  • domain assumption The additive semigroup of any weak left brace is Clifford (Lemma 2.4).
    Imported from [6, Theorem 8] and [8, Lemma 2]; underpins all constructions in Section 3.
  • domain assumption Every dual weak left brace is a strong semilattice of skew left braces (Lemma 4.8).
    Imported from [8, Theorem 1]; used in Proposition 4.9 to decompose the special classes.
  • standard math Standard inverse semigroup identities (e.g., -(a+b) = -b - a).
    Used throughout proofs without mention (Lemma 2.3).
invented entities (4)
  • good inverse subsemigroup independent evidence
    purpose: Selects a subsemigroup H of End(S,+)⋊(S,+) that yields a weak left brace (S,+,∘).
    Corresponds bijectively to weak left braces, which are known to produce Yang-Baxter solutions.
  • Gamma function independent evidence
    purpose: A map γ: S -> End(S,+) satisfying (F1)-(F4); defines a weak left brace.
    Bijective to weak left braces by Theorem 3.14.
  • dual Gamma function independent evidence
    purpose: Adds automorphism condition (D1)-(D3) to force dual weak left braces.
    Bijective to dual weak left braces, which generate specific degenerate solutions.
  • affine structure independent evidence
    purpose: Binary operation ⋄ on an inverse semigroup satisfying (A1)-(A3); reconstructs weak left braces.
    Theorem 3.20 gives a bijection with weak left braces.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Some characterizations of weak left braces." pith.science (2026). https://pith.science/paper/X4NF7WQA

@misc{pith2026250205861,
  author       = {Pith},
  title        = {Pith review of: Some characterizations of weak left braces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/X4NF7WQA}},
  note         = {Machine review of arXiv:2502.05861}
}
abstract

As generalizations of skew left braces, weak left braces were introduced recently by Catino, Mazzotta, Miccoli and Stefanelli to study ceratin special degenerate set-theoretical solutions of the Yang-Baxter equation. In this note, as analogues of the notions of regular subgroups of holomorph of groups, Gamma functions on groups and affine and semi-affine structures on groups, we propose the notions of good inverse subsemigroups and Gamma functions associated to Clifford semigroups and affine structures on inverse semigroups, respectively, by which weak left braces are characterized. Moreover, symmetric, $\lambda$-homomorphic and $\lambda$-anti-homomorphic weak left braces are introduced and the algebraic structures of these weak left braces are given.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Set-theoretic solutions of the Yang-Baxter equation from inverse braces

    math.QA 2026-07 conditional novelty 6.0 of 10

    Inverse braces that satisfy two idempotent identities (I) and (II) yield set-theoretic solutions of the Yang-Baxter equation, and matched-product and semilattice constructions preserve those identities.

Reference graph

Works this paper leans on

21 extracted references · 20 canonical work pages · cited by 1 Pith paper

  1. [1]

    Bardakov, M

    V. Bardakov, M. Neshchadim, M. Yadav, On λ-homomorphic skew braces, J. Pure App. Algebra 226 (2022) 106961

    work page 2022

  2. [2]

    Bardakov, M

    V. Bardakov, M. Neshchadim, M. Yadav, Symmetric skew braces and brace systems, Forum Mathematicum 35 (2023) 713–738

    work page 2023

  3. [3]

    R. J. Baxter, Partition function of the eight-vertex lattice mod el, Ann. Phys. 70 (1972) 193–228

    work page 1972

  4. [4]

    Campedel, A

    E. Campedel, A. Caranti, I. Del Corso, Hopf-Galois structures on extensions of degree p2q and skew braces of order p2q: the cyclic Sylow p-subgroup case, J. Algebra 556 (2020) 1165–1210

    work page 2020

  5. [5]

    Caranti, Bi-skew braces and regular subgroups of the holomo rph, J

    A. Caranti, Bi-skew braces and regular subgroups of the holomo rph, J. Algebra 562 (2020) 647–665

    work page 2020

  6. [6]

    Catino, M

    F. Catino, M. Mazzotta, M. M. Miccoli, P. Stefanelli, Set-theoret ic solutions of the Yang-Baxter equation associated to weak braces, Semigroup Forum 104 (2022) 228–255

    work page 2022

  7. [7]

    Catino, M

    F. Catino, M. Mazzotta, P. Stefanelli, Rota-Baxter operators on Clifford semigroups and the Yang-Baxter equation, J. Algebra 622 (2023) 587–613

    work page 2023

  8. [8]

    Catino, M

    F. Catino, M. Mazzotta, P. Stefanelli, Solutions of the Yang-Bax ter equation and strong semi- lattices of skew braces, Mediterr. J. Math. 21 (2024) 67, 22pp

    work page 2024

Show all 21 references
  1. [9]

    Ced´ o, E

    F. Ced´ o, E. Jespers, J. Okni´ nski, Braces and the Yang-Baxter equation, Commun. Math. Phys. 327 (1) (2014) 101–116

    2014

  2. [10]

    Childs, Bi-skew braces and Hopf Galois structures, N .Y

    Lindsay N. Childs, Bi-skew braces and Hopf Galois structures, N .Y. J. Math. 25 (2019) 574–588

    2019

  3. [11]

    V. G. Drinfeld, On some unsolved problems in quantum group theo ry, in: P. P. Kulish (Ed.), Quantum Groups, in: Lecture Notes in Mathematics, vol. 1510, Spr inger, Berlin, Heidelberg, 1992, pp. 1–8

    1992

  4. [12]

    X. Q. Gong, S. F. Wang, Post Clifford semigroups, the Yang-Bax ter equation, relative Rota– Baxter Clifford semigroups and dual weak left braces, (2024) arXiv:2407.19722v2

    2024 arXiv

  5. [13]

    Guarnieri, L

    L. Guarnieri, L. Vendramin, Skew braces and Yang-Baxter equ ation, Math. Comp. 86 (2017) 2519–2534

    2017

  6. [14]

    J. M. Howie, Fundamentals of Semigroup Theory, London Mathe matical Society Monographs. New Series, vol. 12, The Clarendon Press, Oxford University Press , New York, 1995, Oxford Science Publications

    1995

  7. [15]

    Q. X. Liu, S. F. Wang, Set-theoretic solutions of the Yang-Bax ter equation and regular ∗- semibraces, (2024) arXiv:2407.12533v1

    2024 arXiv

  8. [16]

    Mazzotta, B

    M. Mazzotta, B. Rybolowicz, P. Stefanelli, Deformed solutions o f the Yang-Baxter equa- tion associated to dual weak braces, Annali di Matematica Pura ed Applicata (1923-) (2024) https://doi.org/10.1007/s10231-024-01502-7

    2024 doi

  9. [17]

    Rump, Braces, radical rings, and the quantum Yang-Baxte r equation, J

    W. Rump, Braces, radical rings, and the quantum Yang-Baxte r equation, J. Algebra 307 (2007) 153–170

    2007

  10. [18]

    Rump, Construction of finite braces, Ann

    W. Rump, Construction of finite braces, Ann. Comb. 23 (2019) 391–416

    2019

  11. [19]

    Rump, Affine structures of decomposable solvable groups, J

    W. Rump, Affine structures of decomposable solvable groups, J . Algebra 556 (2020) 725–749,

    2020

  12. [20]

    Stefanelli, Semi-affine structures on groups and semi-brace s, J

    P. Stefanelli, Semi-affine structures on groups and semi-brace s, J. Pure App. Algebra 227 (2023) 107383

    2023

  13. [21]

    C. N. Yang, Some exact results for the many-body problem in on e dimension with repulsive delta-function interaction, Phys. Rev. Lett. 19 (1967) 1312–13 15. School of Mathematics, Yunnan Normal University, Kunming, Yunnan 650500, China Email address : wsf1004@163.com

    1967

Pith tools

Reviewed August 8, 2026 · model on record in the stance chip above.