Pith. sign in

REVIEW 3 major objections 4 minor 21 references

Constructing topological biquandles via skew braces

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

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

Pith's one-line read A skew brace is a set carrying two compatible group laws, and this paper shows that every skew brace yields a biquandle; applying that recipe to the Heisenberg group on $R^3$ and to the Lie group $S^1\times R^2$ produces explicit…

desk verdict Correct computations and genuinely new explicit biquandle structures, but the novelty claim is overstated and the group on S^1 x R^2 is misidentified as SL(2,R). read the letter →

arxiv 2411.15614 v2 pith:BP75YMXR submitted 2024-11-23 math.GT

Zhiyun Cheng This is my paper · ORCID
classification math.GT MSC 57K1216T25
keywords topologicalbiquandleskewbraceYang-BaxterequationknotinvariantHeisenberggroupcoloringvirtualSL(2R)
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

The paper answers a question that had no concrete examples: are there topological biquandles that are neither discrete nor merely topological quandles with a trivial second operation? It claims yes, and builds them from skew braces, sets equipped with two compatible group operations. Applying the general brace-to-biquandle conversion to the Heisenberg group law on $R^3$ and to the $S^1\times R^2$ Lie group gives explicit continuous biquandle operations; the same recipe also covers all odd-dimensional Euclidean spaces. Since a topological biquandle's coloring spaces $J_X(K)$ are knot invariants, the examples yield new topological-space-valued invariants of knots, with the trefoil's coloring space computed in closed form.

What carries the argument

The machinery is Theorem 2.12, the skew-brace-to-biquandle translation: for a skew brace $(A,+,\circ)$, define $b\star a=-a+a\circ b$ and $a*b=(-a+a\circ b)'\circ a\circ b$. The Yang-Baxter equation for the map $r(a,b)=(b\star a,a*b)$ is inherited from known skew-brace theory, while the required bijectivity of the slice maps, the auxiliary map $S$, and the diagonal map $\tau(a)=-a'$ are verified by explicit inverse formulas. In the examples, every formula is built from continuous group operations on a manifold, so the biquandle axioms hold and continuity is automatic, which is what upgrades the construction to a topological biquandle.

What would settle it

Verify the set-theoretic Yang-Baxter equation directly for the displayed $r_2$ formula on $R^3$ at a randomly chosen triple; the calculation is finite algebra and any mismatch refutes the biquandle claim. A topological mismatch would also show up as a change in $J_Y(K)$ when the same knot is presented by two diagrams related by a Reidemeister move.

Watch

Extended reading notes

Core claim

The central claim is that the explicit formulas in Corollaries 3.2 and 3.7 define genuine topological biquandle structures. On $R^3$, take ordinary addition together with the Heisenberg product $(x_1,y_1,z_1)\circ(x_2,y_2,z_2)=(x_1+x_2,y_1+y_2,z_1+z_2+x_1y_2)$; this is a skew brace in both orders, and Theorem 2.12 converts it into the biquandles with the displayed maps $r_1$ and $r_2$. Because all the operations involved are continuous in the Euclidean topology, the resulting biquandles are topological. The same argument on $S^1\times R^2$, where $\circ$ is the semidirect product realizing the group $SL(2,R)$, yields two more topological biquandles. These structures are nontrivial in the paper's sense: the topology is the usual non-discrete one, and none of the biquandles collapses to a quandle, since a skew-brace biquandle is a quandle only when the brace is trivial.

Load-bearing premise

The load-bearing premise is that Theorem 2.12 applies without extra hypotheses and that the derived biquandle operations are automatically continuous whenever the two brace group operations are continuous.

Editorial extensions

If this is right

  • On each of $R^3$ and $S^1\times R^2$, there is one involutive and one non-involutive topological biquandle; because involutive solutions are invariant under crossing change, the non-involutive $r_2$ structures are the ones that can give nontrivial classical knot invariants.
  • The $R^3$ construction extends to $R^{2n+1}$ through the Heisenberg group $H_n$, so every odd-dimensional Euclidean space carries two topological biquandle structures.
  • For links, the coloring space $J_X(L)$ for $(R^3,r_2)$ is described by explicit equations involving crossing numbers $c_{ij}$, so the invariant records pairwise linking information.
  • For the trefoil with the $S^1\times C$ version of $r_2$, the coloring space is explicitly $\theta_1=\theta_2$ together with $(1-e^{-i\theta_1}+e^{-2i\theta_1})(\alpha_1-e^{-i\theta_1}\alpha_2)=0$, a concrete finite-dimensional space that can be compared with other knot invariants.

Reading between the lines

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

  • The paper checks continuity example-by-example rather than stating a general lemma; a natural general theorem would say that any skew brace whose two group laws are continuous group operations on a topological space yields a topological biquandle, and this would encompass both families presented here.
  • Any Lie group that admits a second continuous group law making the pair a skew brace becomes a source of topological biquandles, so the $R^{2n+1}$ and $S^1\times R^2$ examples are likely the first members of a much larger family.
  • A direct next check would be to compute $J_X$ for the unknot and the Hopf link under the $r_2$ structures; the paper computes only the trefoil, and those two calibrating computations would show how discriminating the new invariants are.
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 / 4 minor

Summary. The paper constructs new examples of topological biquandles using skew braces. After recalling the definition of a biquandle and a skew brace, it states a theorem (Theorem 2.12) asserting that every skew brace (A,+,∘) yields a biquandle with operations b ⋆ a = -a + a ∘ b and a ∗ b = (-a + a ∘ b)' ∘ a ∘ b. The paper then verifies that the Heisenberg group (R^3,+,∘) and its opposite brace (R^3,∘,+) are skew braces, and it derives two explicit biquandle structures r1 and r2 on R^3. It similarly verifies that (S^1×R^2,+,∘) and (S^1×R^2,∘,+) are skew braces, where the second group is a semidirect product, and obtains two biquandle structures on S^1×R^2. The paper also discusses a coloring invariant J_X(K) for knots and gives the explicit coloring space for the trefoil using the S^1×C example.

Significance. If the constructions are correct, the paper provides explicit, non-discrete, non-quandle topological biquandle structures on R^3 and S^1×R^2, which is a useful contribution because few such explicit examples are in the literature. The brace verifications in Theorems 3.1 and 3.6 are direct and checkable, and the formulas for r1 and r2 are explicit enough to be used in further work. The paper also correctly emphasizes that topological biquandle colorings give topological-space-valued knot invariants via the fixed-point space J_X(K). However, the claim that no concrete nontrivial topological biquandles were previously known is not accurate, and one of the groups used is misidentified.

major comments (3)
  1. [Introduction, §1] The statement 'at present we have no concrete nontrivial examples of topological biquandle' is incorrect. Example 2.4 in the paper itself defines Alexander biquandles on any Z[t^{±1},s^{±1}]-module. Taking X = R with the usual topology and letting t and s act as multiplication by 2 gives a biquandle with operations a ∗ b = 2a - 3b and b ⋆ a = 2b. These operations are continuous, the topology is non-discrete, and for s ≠ 1 the structure is not a quandle in the sense used in the paper (b ⋆ a is not the trivial projection). Thus concrete nontrivial topological biquandles already exist. The author should correct this claim or define 'nontrivial' more restrictively.
  2. [Theorem 2.12] Theorem 2.12 is the engine of the paper, since Corollaries 3.2 and 3.7 are obtained by substituting the two brace structures into its formulas. The proof, however, is a sketch: the Yang-Baxter equation is delegated to [11, Theorem 3.1], [20, Theorem 4.1], and [5, Theorem 2], while the S-map and diagonal conditions are only stated, not fully derived. Because the examples collapse if the cited theorem uses a different map r or covers only set-theoretic solutions, the paper should either provide a complete proof of Theorem 2.12 (including the full YBE identity) or state the precise theorem from the references and explicitly verify that it yields the same operations b ⋆ a = -a + a ∘ b and a ∗ b = (-a + a ∘ b)' ∘ a ∘ b, together with the S-map condition and the diagonal formula S(a,a) = (-a',-a').
  3. [§3.2, Theorem 3.6] The group (S^1×R^2,∘) with the operation (e^{iθ_1},x_1,y_1) ∘ (e^{iθ_2},x_2,y_2) = (e^{i(θ_1+θ_2)}, x_2 cos θ_1 - y_2 sin θ_1 + x_1, x_2 sin θ_1 + y_2 cos θ_1 + y_1) is the Euclidean group SE(2) = SO(2) ⋉ R^2, not SL(2,R). The inverse formula given in the paper is the inverse in SE(2). SL(2,R) is a simple Lie group and is not isomorphic to this solvable semidirect product. This misidentification should be corrected; it does not affect the skew brace verification, but it is a substantive mathematical error in the text.
minor comments (4)
  1. [§3.2, proof of Theorem 3.6] In the displayed computation of (a_1+a_2) ∘ a'_1 ∘ (a_1+a_3), the first coordinate line has a misplaced parenthesis: the expression should be written as (e^{iθ_2}, -x_1 cos θ_1 cos(θ_1+θ_2) - ... + x_1 + x_2, (-x_1 cos θ_1 - y_1 sin θ_1) sin(θ_1+θ_2) + ... + y_1 + y_2). As typeset, the closing parenthesis after 'x_1 + x_2,' is missing, making the computation hard to follow.
  2. [Corollaries 3.2 and 3.7] The corollaries state the biquandle structures via the maps r1 and r2, but they do not explicitly display the binary operations ∗ and ⋆. Writing out (x_1,y_1,z_1) ∗ (x_2,y_2,z_2) and (x_2,y_2,z_2) ⋆ (x_1,y_1,z_1) would make the continuity of the operations and the non-quandle property immediately visible to the reader.
  3. [Definition 2.7] The definition of a topological biquandle requires only that the two operations be continuous, not that the map r be a homeomorphism. This is fine for the coloring invariant, but the paper could state explicitly that continuity of r follows from continuity of ∗ and ⋆, and that no additional topological transfer lemma is needed because the examples are given by explicit continuous formulas.
  4. [Introduction] The phrase 'the biquandle is not a quandle' is ambiguous. A biquandle is a quandle in the sense of Example 2.4 when one of the operations is the trivial projection b ⋆ a = b. The paper should define 'nontrivial' precisely, especially in light of the Alexander biquandle examples, to avoid the false novelty claim.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; the new examples are direct applications of an externally proved skew-brace-to-biquandle theorem.

full rationale

The paper's derivation chain is: (i) Theorem 2.12 converts a skew brace into a biquandle, with the Yang-Baxter verification delegated to [11, Theorem 3.1], [20, Theorem 4.1], and [5, Theorem 2]; (ii) Theorems 3.1 and 3.6 verify, by direct computation, that (R^3,+,o), (R^3,o,+), (S^1 x R^2,+,o), and (S^1 x R^2,o,+) are skew braces; (iii) Corollaries 3.2 and 3.7 substitute these brace structures into the formulas of Theorem 2.12. None of these steps is circular: no parameter is fitted, no target result is used as an input, and the cited Yang-Baxter results are external prior work with no author overlap with the present paper. The author's self-citations ([6], [7]) appear only as contextual references and are not load-bearing for the construction. The topological part is also not circular: the displayed operations are compositions of continuous polynomial or trigonometric maps, so continuity and the required bijective slices are visible from the formulas. The reviewer's concern that Theorem 2.12's verification is partly outsourced to citations is a correctness or completeness issue, not a circularity issue, because independent published proofs are legitimate evidence under the stated rules. Therefore the paper exhibits no construction-by-definition, no fitted-input-called-prediction, and no self-citation chain forcing the result.

Assumptions & free parameters 0 free parameters · 3 assumptions · 0 invented entities

No free parameters and no invented entities: the paper introduces no fitted constants and no new postulated algebraic or geometric objects beyond instances of the existing notions of skew brace, biquandle, and topological biquandle. The full weight rests on the cited brace-to-biquandle theorem and on direct brace verifications, both of which I partially re-checked. The one asserted fact that is false, the identification of the Euclidean motion group with SL(2,R), is not used in the brace or biquandle computations.

assumptions (3)
  • domain assumption Theorem 2.12 (from [11], [20], [5]): every skew brace (A,+,o) determines a biquandle via b * a = -a + a o b and a * b = (-a + a o b)' o a o b.
    This is the bridge from skew braces to biquandles. The Yang-Baxter part is cited rather than proved; the paper sketches only the bijectivity of the slices and the S-map in Section 2.3.
  • domain assumption The displayed operations define topological groups: the Heisenberg group on R^3 and the affine motion group on S^1 x R^2 (labeled SL(2,R) in the paper).
    Associativity and continuity are verified by direct computation in Theorems 3.1 and 3.6. The SL(2,R) label is incorrect (the group is SE(2)), but the explicit group laws themselves are correct.
  • domain assumption Continuity of the group operations transfers to the derived biquandle operations, so no topology-specific axiom beyond continuity is needed.
    This transfer is implicit in Corollaries 3.2 and 3.7; the paper never states the general lemma that a topological skew brace gives a topological biquandle.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Constructing topological biquandles via skew braces." pith.science (2026). https://pith.science/paper/BP75YMXR

@misc{pith2026241115614,
  author       = {Pith},
  title        = {Pith review of: Constructing topological biquandles via skew braces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/BP75YMXR}},
  note         = {Machine review of arXiv:2411.15614}
}
read the original abstract

In this short note, we construct some nontrivial examples of topological biquandle. The key ingredient of the construction is the notion of skew brace.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

21 extracted references · 20 canonical work pages

  1. [1]

    Andruskiewitsch and M

    N. Andruskiewitsch and M. Gra ˜ na,From racks to pointed Hopf algebras , Adv . Math.178 (2003), no. 2, 177–243

    work page 2003

  2. [2]

    Blanchet, N

    C. Blanchet, N. Geer, B. Patureau-Mirand, and N. Resheti khin, Holonomy braidings, biquandles and quantum invariants of links with SL2(C) flat connections , Selecta Math. (N.S.) 26 (2020), no. 2, Paper No. 19, 58

    work page 2020

  3. [3]

    J. S. Carter, D. Jelsovsky, S. Kamada, L. Langford, and M. Saito, Quandle cohomology and state-sum invariants of knotted curves and surfaces, Trans. Amer. Math. Soc. 355 (2003), no. 10, 3947–3989

    work page 2003

  4. [4]

    J. S. Carter, A. Crans, M. Elhamdadi, E. Karadayi, and M. S aito, Cohomology of Frobenius algebras and the Yang-Baxter equation, Commun. Contemp. Math. 10 (2008), no. 1, 791–814

    work page 2008

  5. [5]

    Chang and S

    M. Chang and S. Nelson, Skew brace enhancements and virtual links , Commun. Korean Math. Soc. 39 (2024), no. 1, 247–257

    work page 2024

  6. [6]

    Cheng, The chord index, its definitions, applications, and general izations, Canad

    Z. Cheng, The chord index, its definitions, applications, and general izations, Canad. J. Math. 73 (2021), no. 3, 597–621

    work page 2021

  7. [7]

    Cheng, M

    Z. Cheng, M. Elhamdadi, and B. Shekhtman, On the classification of topological quandles , Topology Appl. 248 (2018), 64–74

    work page 2018

  8. [8]

    Elhamdadi and E

    M. Elhamdadi and E. Moutuou, Foundations of topological racks and quandles , J. Knot Theory Ramifications 25 (2016), no. 3, 1640002, 17

    work page 2016

Show all 21 references
  1. [9]

    Elhamdadi, M

    M. Elhamdadi, M. Saito, and E. Zappala, Continuous cohomology of topological quandles , J. Knot Theory Ramifications 28 (2019), no. 6, 1950036, 22

    2019

  2. [10]

    R. Fenn, M. Jordan-Santana, and L. Kauffman, Biquandles and virtual links , Topology Appl. 145 (2004), no. 1-3, 157– 175

    2004

  3. [11]

    Guarnieri and L

    L. Guarnieri and L. V endramin, Skew braces and the Yang-Baxter equation, Math. Comp. 86 (2017), no. 307, 2519–2534

    2017

  4. [12]

    Horvat, The topological biquandle of a link , Pacific J

    E. Horvat, The topological biquandle of a link , Pacific J. Math. 302 (2019), no. 2, 627–644

    2019

  5. [13]

    Ishikawa, Knot quandles vs

    K. Ishikawa, Knot quandles vs. knot biquandles , Internat. J. Math. 31 (2020), no. 2, 2050015, 15

    2020

  6. [14]

    Ishikawa and K

    K. Ishikawa and K. Tanaka, Quandle colorings vs. biquandle colorings , Topology Appl. 345 (2024), Paper No. 108832, 25

    2024

  7. [15]

    Joyce, A classifying invariant of knots, the knot quandle , J

    D. Joyce, A classifying invariant of knots, the knot quandle , J. Pure Appl. Algebra 23 (1982), no. 1, 37–65

    1982

  8. [16]

    Kauffman and D

    L. Kauffman and D. Radford, Bi-oriented quantum algebras, and a generalized Alexander polynomial for virtual links , Contemp. Math., vol. 318, Amer. Math. Soc., Providence, RI, 2003

    2003

  9. [17]

    Matveev, Distributive groupoids in knot theory , Mat

    S. Matveev, Distributive groupoids in knot theory , Mat. Sb. (N.S.) 119(161) (1982), no. 1, 78–88, 160. CONSTRUCTING TOPOLOGICAL BIQUANDLES VIA SKEW BRACES 9

    1982

  10. [18]

    Rubinsztein, T opological quandles and invariants of links, J

    R. Rubinsztein, T opological quandles and invariants of links, J. Knot Theory Ramifications 16 (2007), no. 6, 789–808

    2007

  11. [19]

    Rump, Braces, radical rings, and the quantum Yang-Baxter equatio n, J

    W . Rump, Braces, radical rings, and the quantum Yang-Baxter equatio n, J. Algebra 307 (2007), no. 1, 153–170

    2007

  12. [20]

    Smoktunowicz and L

    A. Smoktunowicz and L. V endramin, On skew braces (with an appendix by N. Byott and L. Vendramin) , J. Comb. Algebra 2 (2018), no. 1, 47–86

    2018

  13. [21]

    Tsvelikhovskiy, Nontrivial topological quandles, Arnold Math

    B. Tsvelikhovskiy, Nontrivial topological quandles, Arnold Math. J. 8 (2022), no. 3-4, 535–542. SCHOOL OF MATHEMATICAL SCIENCES , B EIJING NORMAL UNIVERSITY , B EIJING 100875, C HINA Email address: czy@bnu.edu.cn

    2022

Pith tools

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