REVIEW 1 major objections 5 minor 11 references
Opposite skew left braces and applications
T0 review · 1 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read For every skew left brace, the opposite brace's Yang-Baxter solution is the two-sided inverse of the original solution.
desk verdict Useful opposite-brace construction, but the printed R_B is missing an inverse, so Theorem 4.1 fails as written; the fix is a typo-level correction. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central construction is the opposite brace B′ = (B, ·′, ◦), defined by x ·′ y = yx. Because the brace relation is invariant under reversal of the dot product, B′ is again a skew left brace, and the paper proves Theorem 4.1 by composing R_B and R_{B′} componentwise. For the field-theoretic results, the key translation is that quasi-ideals of B become circle-stable subgroups of B′, which by Childs's theorem correspond to sub-Hopf algebras and hence to realizable intermediate fields; the regular, G-stable subgroup N′ = Cent_{Perm(G)}(N) provides the associated Hopf-Galois structure.
What would settle it
Take any finite skew left brace and compute R_{B′} and R_B; if R_{B′}R_B(x, y) ≠ (x, y) for some pair, then Theorem 4.1 is false. For the field-theoretic claim, pick a Galois extension with group G, a regular G-stable N, and a quasi-ideal I of B(N); if the corresponding fixed field is not realizable for the Hopf-Galois structure attached to N′, Lemma 5.3 would be refuted.
Extended reading notes
Core claim
For any skew left brace B, the opposite brace B′ (same set, same circle operation, dot product reversed) satisfies R_{B′}R_B = R_BR_{B′} = id on B × B, so the Yang-Baxter solution from the opposite brace is the inverse of the solution from the original brace. Furthermore, when B = B(N) comes from a regular, G-stable subgroup N of Perm(G), quasi-ideals of B correspond bijectively to intermediate fields realizable with respect to the Hopf-Galois structure attached to N′ = Cent_{Perm(G)}(N); ·-quasi-ideals pick out fields that are additionally Hopf-Galois, ◦-quasi-ideals pick out fields that are classically Galois, and ideals require both. This gives a complete brace-side description of which intermediate fields appear in the Hopf-Galois correspondence for the opposite structure.
Load-bearing premise
The field-theoretic conclusions rest on two cited facts: realizable intermediate fields correspond exactly to circle-stable subgroups of the brace, and the centralizer N′ of a regular G-stable permutation group is itself regular and G-stable; if either of these fails, the quasi-ideal correspondence and its Galois refinements would break.
Editorial extensions
If this is right
- For every non-involutive set-theoretic solution arising from a skew left brace, the inverse solution is now explicitly given by the opposite brace, not just known to exist abstractly.
- Group-like elements of the Hopf algebra H_N can be read directly from the second projection of R_B: y is group-like exactly when pr_2 R_B(x, y) = x for all x.
- Quasi-ideals of a brace give a complete classification of the intermediate fields realizable by the opposite Hopf-Galois structure, and the three specializations of quasi-ideal encode whether the field extension is Hopf-Galois, classically Galois, or both.
- The self-opposite question (B ≅ B′) leads to a concrete necessary condition in terms of the counts of L-pairs and R-pairs, providing a tool to rule out self-oppositeness.
- Since B″ = B, applying the opposite construction twice recovers the original brace, giving a symmetry between a Hopf-Galois structure and its opposite that can be exploited in both directions.
Reading between the lines
- The opposite construction likely extends to other algebraic structures with a brace-like distributive law, yielding explicit inverses for broader classes of Yang-Baxter solutions.
- The L-pair/R-pair count is a cheap invariant; testing a wider family of braces may reveal whether equal counts are also sufficient for self-oppositeness, not just necessary.
- The quasi-ideal classification suggests a duality: realizable fields for the opposite structure are governed by the original brace's quasi-ideals, so computations on one brace directly describe the other Hopf-Galois structure.
- Because R_{B′} is as easy to compute as R_B, the explicit inverse could make computer searches over finite non-degenerate solutions more efficient, since inverse pairs are now generated in closed form.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces the opposite skew left brace B' of a skew left brace B by reversing the dot product while keeping the circle operation, and studies its applications. The central result is Theorem 4.1, which claims that the Yang-Baxter solution associated to B' is the two-sided inverse of the solution associated to B. The authors use this to identify group-like elements in the corresponding Hopf algebra (Corollary 4.3) and to relate quasi-ideals, ·-quasi-ideals, ◦-quasi-ideals, and ideals of B to realizable intermediate fields, Hopf-Galois intermediate extensions, and classical Galois intermediate extensions (Section 5). They also discuss self-opposite braces in Section 6 and give explicit D4 and S3 examples throughout.
Significance. If the intended statements hold, the paper gives a clean and useful construction: the opposite brace is a compact way to invert the non-involutive solution of the Yang-Baxter equation, with consequences for Hopf-Galois theory. The authors are careful to connect their brace-theoretic statements to the existing results of Childs, Greither-Pareigis, and Koch-Kohl-Truman-Underwood, and the D4 example is worked out in enough detail to be independently checkable. The paper is well written and the applications are natural. However, there is a load-bearing error in the printed definition of the solution RB and in the proof of Theorem 4.1 that must be corrected before the paper can be accepted; the intended theorem is true, but the manuscript as written contains a false formula and an invalid proof.
major comments (1)
- [Section 2.2, definition of RB, and Theorem 4.1] The displayed formula RB(x, y) = (x^{-1}(x◦y), x^{-1}(x◦y) ◦ x ◦ y) is missing a circle inverse on the second factor. The second component should be \overline{x^{-1}(x◦y)} ◦ x ◦ y, where the overline denotes inverse in (B, ◦). With the printed formula, Examples 2.6 and 2.7 do not match the general definition (for the trivial brace the formula gives (y, yxy), whereas Example 2.6 gives (y, y^{-1}xy)), and Theorem 4.1 is false: for the trivial brace on S3 with x = e and y = (123), one computes RB(e, y) = (y, y^2) and then RB'(y, y^2) = (e, y^2), so RB'RB(e, y) ≠ (e, y). The proof of Theorem 4.1 repeats the same omission: the reductions a ◦ (a ◦ x ◦ y) = x ◦ y and x ◦ x ◦ y = y assume a ◦ a = 1_B and x ◦ x = 1_B in the circle group, which is not a brace identity and fails in the trivial brace on any nonabelian group. With the corrected definition, the intended cancellations become a ◦ \overline{a} = 1_B and \overline{x} ◦ x = 1_B, and the theorem follows directly; the examples in Section 2.2 and the computations in Example 4.2 are also consistent with the corrected formula. This is a central, load-bearing issue: Theorem 4.1 and Corollary 4.3 depend on it, so the manuscript must be revised.
minor comments (5)
- [Example 2.8] The parameter range is written as "0 ≤ π ≤ 1" but should be "0 ≤ ℓ ≤ 1" to match the notation ηiπj ∘ ηkπℓ.
- [Lemma 3.3] The proofs are said to be trivial and omitted; a one-line justification for each of the three claims would improve readability and avoid any doubt about the direction of the homomorphism in part (3).
- [Theorem 4.1 proof] The notation for the circle inverse (the overbar) is easy to confuse with the dot inverse, especially in the displayed composition formula; using an explicit symbol such as \overline{a} everywhere, as the conventions suggest, would prevent the kind of misreading that occurs in the current text.
- [Example 5.9] The sentence "It is also an ideal since I=4" should read "since |I| = 4" or "since I has order 4".
- [Section 5] The notation LI for the fixed field of a subgroup/sub-Hopf algebra I is introduced informally; defining it explicitly (e.g., LI = {ℓ ∈ L : i(ℓ) = ℓ for all i ∈ I}) would remove ambiguity.
Circularity Check
No circularity: Theorem 4.1 is a direct algebraic verification and the Hopf-Galois applications cite independent external theorems.
full rationale
The derivation chain is self-contained with respect to the paper's central algebraic claims. Theorem 4.1 is attempted by direct manipulation of the defining formula R_B(x,y)=(x^{-1}(x∘y), x^{-1}(x∘y)∘x∘y) together with the definition of B' as the brace obtained by reversing the dot product; no step assumes the inverse conclusion or fits a parameter. The Hopf-Galois translations in Sections 5 and 6 rest on Childs's circle-stable subgroup correspondence [Chi18, Theorem 4.3], Greither-Pareigis regularity and stability facts [GP87, Lemmas 2.4.1 and 2.4.2], and the KKTU19 reformulation of GP87 §5; these are external theorems with proofs of their own, not restatements of this paper's claims. The authors do cite their own earlier work, notably KKTU19 and TT19, but those citations are used as supporting lemmas with independent content: TT19 supplies concrete examples, and KKTU19 is explicitly described as a reformulation of GP87. Thus they are not load-bearing self-citations of the kind that would make the argument circular. There is no empirical fit, no definition of a central object in terms of the claimed conclusion, and no renaming of a known result as a new derivation. The proof of Theorem 4.1 may contain an algebraic gap, but a gap is a correctness issue rather than a circularity issue. Accordingly, the paper receives a score of 0.
Assumptions & free parameters
assumptions (5)
- domain assumption Finite skew left braces correspond to regular, G-stable subgroups N of Perm(G), and hence to Hopf-Galois structures on a Galois extension with group G.
- domain assumption The map R_B(x,y) = (x^{-1}(x∘y), (circle inverse of x^{-1}(x∘y)) ∘ x ∘ y) is a non-degenerate set-theoretic solution of the Yang-Baxter equation for every skew left brace B.
- domain assumption Circle-stable subgroups of the brace B(N') correspond bijectively to sub-Hopf algebras of H_{N'}, hence to realizable intermediate fields.
- domain assumption The centralizer N' = Cent_{Perm(G)}(N) of a regular G-stable subgroup N is again regular and G-stable, and B(N') is isomorphic to B(N)'.
- standard math Group-like elements of a group algebra L[N] over a field are exactly the elements of N, so the group-likes of H_N are N ∩ ρ(G).
Cite this review
Pith. "Pith review of Opposite skew left braces and applications." pith.science (2026). https://pith.science/paper/4T5SN2JD
@misc{pith2026190802682,
author = {Pith},
title = {Pith review of: Opposite skew left braces and applications},
year = {2026},
howpublished = {\url{https://pith.science/paper/4T5SN2JD}},
note = {Machine review of arXiv:1908.02682}
}
abstract
Given a skew left brace $\mathfrak{B}$, we introduce the notion of an "opposite" skew left brace $\mathfrak{B}'$, which is closely related to the concept of the opposite of a group, and provide several applications. Skew left braces are closely linked with both solutions to the Yang-Baxter Equation and Hopf-Galois structures on Galois field extensions. We show that the set-theoretic solution to the YBE given by $\mathfrak{B}'$ is the inverse to the solution given by $\mathfrak{B}$; this allows us to identify the group-like elements in the Hopf algebra providing the Hopf-Galois structure using only these solutions. We also show how left ideals of $\mathfrak{B}'$ correspond to the realizable intermediate fields of a certain Hopf-Galois extension of a Galois extension.
Reference graph
Works this paper leans on
-
[1]
David Bachiller, Counterexample to a conjecture about braces, J. Algebra 453 (2016), 160--176. 3465351
work page 2016
-
[2]
Lindsay N. Childs, Taming wild extensions: H opf algebras and local G alois module theory , Mathematical Surveys and Monographs, vol. 80, American Mathematical Society, Providence, RI, 2000. 1767499 (2001e:11116)
work page 2000
-
[3]
, Skew braces and the G alois correspondence for H opf G alois structures , J. Algebra 511 (2018), 270--291. 3834774
work page 2018
-
[4]
Cornelius Greither and Bodo Pareigis, Hopf G alois theory for separable field extensions , J. Algebra 106 (1987), no. 1, 239--258. 878476 (88i:12006)
work page 1987
-
[5]
L. Guarnieri and L. Vendramin, Skew braces and the Y ang- B axter equation , Math. Comp. 86 (2017), no. 307, 2519--2534. 3647970
work page 2017
-
[6]
Alan Koch, Timothy Kohl, Paul J. Truman, and Robert Underwood, Normality and short exact sequences of H opf- G alois structures , Comm. Algebra 47 (2019), no. 5, 2086--2101. 3977722
work page 2019
-
[7]
Wolfgang Rump, Braces, radical rings, and the quantum Y ang- B axter equation , J. Algebra 307 (2007), no. 1, 153--170. 2278047
work page 2007
-
[8]
Agata Smoktunowicz and Leandro Vendramin, On skew braces (with an appendix by N . B yott and L . V endramin) , J. Comb. Algebra 2 (2018), no. 1, 47--86. 3763907
work page 2018
Show all 11 references
-
[9]
Truman, Canonical nonclassical H opf- G alois module structure of nonabelian G alois extensions , Comm
Paul J. Truman, Canonical nonclassical H opf- G alois module structure of nonabelian G alois extensions , Comm. Algebra 44 (2016), no. 3, 1119--1130. 3463133
2016
-
[10]
Algebra 46 (2018), no
, Commuting H opf- G alois structures on a separable extension , Comm. Algebra 46 (2018), no. 4, 1420--1427. 3780516
2018
-
[11]
Truman, The structure of H opf algebras giving H opf- G alois structures on quaternionic extensions , New York J
Stuart Taylor and Paul J. Truman, The structure of H opf algebras giving H opf- G alois structures on quaternionic extensions , New York J. Math. 25 (2019), 219--237. 3933762
2019
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.