Pith. sign in

REVIEW 3 major objections 4 minor 30 references

On Simply Connected Quandles

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

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

Pith's one-line read The paper proves that a finite quandle is simply connected exactly when it is principal and its cohomology with coefficients in $\mathbb{Z}_p$ is trivial for every prime $p$.

desk verdict Useful reduction of simple connectivity to prime-size cocycles, but the main reduction depends on an unproved result from the author's preprint and the classification section has rough edges; worth refereeing seriously. read the letter →

arxiv 2504.19109 v1 pith:J5QK5J3D submitted 2025-04-27 math.GR math.GT

Marco Bonatto This is my paper · ORCID
classification math.GRmath.GT MSC 20N05
keywords quandlecoverscohomologysimplyconnectedquandlesprincipalabeliancocyclesnilpotentlatincore
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 establishes a shortcut for detecting simple connectivity in finite quandles. A quandle is an algebraic structure encoding conjugation-like symmetries and appears in knot theory; simply connected means it has no nontrivial covering quandles. The paper proves that for a finite quandle $Q$, being simply connected is equivalent to $Q$ being principal, meaning built from a group and one of its automorphisms, and having $H^2(Q,\mathbb{Z}_p)=\{1\}$ for every prime $p$, so only prime-sized abelian cocycles need to be checked. That reduces a question that looks group-valued and infinite to finitely many prime checks per quandle, and it yields a uniform algorithm that classifies simply connected quandles of order $p^n$ once groups of order $p^{n+1}$ and their automorphisms are known. The paper applies this to reproduce the classification for order $p^2$, to obtain the classification for order $p^3$ with $p>3$, and to classify simply connected nilpotent latin quandles and core quandles.

What carries the argument

The load-bearing mechanism is the theory of constant quandle cocycles: maps $\theta:Q\times Q\to \mathrm{Sym}(S)$ satisfying the cocycle condition $\theta_{xy,xz}\theta_{x,z}=\theta_{x,yz}\theta_{y,z}$ and $\theta_{x,x}=1$, which build covers $Q\times_\theta S$ with operation $(x,a)*(y,b)=(xy,\theta_{x,y}(b))$. The paper combines this with the imported theorem that connected covers of connected principal quandles are themselves principal and are abelian covers, i.e. cocycles with values in an abelian group $A$. The remaining step is the proposition that any nontrivial connected abelian cover of a finite quandle contains a connected cover of size $|Q|p$ for some prime $p$, so checking $\mathbb{Z}_p$-valued cocycles is enough.

What would settle it

Build a finite principal quandle $Q$ with $H^2(Q,\mathbb{Z}_p)=\{1\}$ for every prime $p$ and exhibit a connected cover of $Q$ that is not isomorphic to $Q$. Concretely, look for a connected cover of a connected principal quandle that is not an abelian principal cover; finding one would break the imported structural theorem that the prime-size reduction depends on.

Watch

Extended reading notes

Core claim

The central theorem states that for a finite quandle $Q$, the following are equivalent: $Q$ is simply connected; $Q$ is principal and $H^2(Q,\mathbb{Z}_p)=\{1\}$ for every prime $p$; and every connected cover of $Q$ is isomorphic to $Q$. The proof reduces arbitrary connected covers to abelian covers over connected principal quandles, then to covers with fiber $\mathbb{Z}_p$; if all such prime covers are trivial, no nontrivial cover can exist. For quandles of prime power order $p^n$, this becomes the more explicit criterion that $Q$ is simply connected exactly when it admits no connected cover of size $p^{n+1}$. These criteria are the engine behind the paper's classifications, and they fit together with a decomposition result showing that simple connectivity of principal quandles over nilpotent groups is controlled componentwise by the Sylow subgroups.

Load-bearing premise

The argument rests on the imported theorem that every connected cover of a connected principal quandle is itself principal and can be realized by an abelian cocycle; if that theorem had an exception, the reduction from arbitrary covers to $\mathbb{Z}_p$-valued cocycles in Theorem 3.4 would not be valid.

Editorial extensions

If this is right

  • For a finite connected quandle of order $p^n$, the whole simple-connectivity question collapses to checking $H^2(Q,\mathbb{Z}_p)=\{1\}$, equivalently to ruling out connected covers of size $p^{n+1}$.
  • Simple connectivity of a finite principal quandle over a nilpotent group is determined componentwise: $Q(G,f)$ is simply connected if and only if every $Q(S_p,f|_{S_p})$ is, so the p-local factors can be checked independently.
  • Among finite nilpotent involutory latin quandles, the simply connected ones are exactly the core quandles $\mathrm{Core}(\mathbb{Z}_m)$ with $m$ odd; among all finite core quandles, $\mathrm{Core}(G)$ is simply connected if and only if $G$ is cyclic of odd order.
  • The classifications for sizes $p^2$ and $p^3$ with $p>3$ are obtained by one uniform algorithm that, given groups of order $p^{n+1}$ and their automorphisms, decides simple connectivity for every quandle of order $p^n$.

Reading between the lines

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

  • If the prime-size criterion is right, extending the classification to $p^4$ and beyond is a finite bookkeeping exercise: the missing ingredient is only a complete list of groups of order $p^5$ with automorphism data.
  • The split cocycles constructed from quandle homomorphisms into twisted-conjugation or core quandles give a systematic factory of quandle cocycles, so the same construction may yield new computable cocycle invariants for knots.
  • The theorem that simple connectivity of nilpotent principal quandles is detected on Sylow components suggests a divide-and-conquer strategy: for finite nilpotent quandles, simple connectivity is a local, prime-by-prime phenomenon that can be checked independently on each p-part.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

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 proposes an alternative characterization of finite simply connected quandles: a finite quandle Q is simply connected if and only if it is principal and H^2(Q, Z_p) is trivial for every prime p (Theorem 3.4), equivalently if every connected cover of Q is isomorphic to Q. The author specializes this to connected quandles of prime power order, obtaining a criterion in terms of the absence of connected covers of size p^{n+1} (Theorem 3.12), and derives a group-theoretic algorithm for testing simple connectivity of quandles of size p^n. This is applied to classify simply connected quandles of size p^2 and p^3 for p > 3, using classifications of connected quandles from Hou and Bianco–Bonatto and of groups of order p^4 from Girnat. The paper also introduces split cocycles and uses them to classify simply connected quandles inside nilpotent latin quandles and core quandles (Theorem 4.7 and Corollary 4.8).

Significance. If the main characterization is correct, it is a genuinely useful reduction: simple connectivity of a finite quandle becomes a finite check of prime-size abelian cocycles, and for prime-power quandles it becomes a check of p^{n+1}-sized connected covers. The p^3 classification appears to be new, and the p^2 classification re-derives a known result with a different method. The paper is generally well structured and the central arguments (Theorems 3.4, 3.12, 3.13) are coherent reductions to previously established results. However, the central reduction depends on an imported theorem from an unpublished preprint (Theorem 2.12, cited as [BS19, Theorem 7.5]) that is stated without proof, and the classification section relies on several asserted case checks that are not fully written out (Lemmas 3.17–3.19 and Lemma 5.2). These are load-bearing for the paper's claims, so the result is best regarded as conditional until those gaps are closed.

major comments (3)
  1. [Theorem 3.4 and Theorem 3.12] The proofs of (ii)⇒(i) in Theorem 3.4 and (iii)⇒(i) in Theorem 3.12, as well as Proposition 3.9 and Lemma 3.11, all rely on Theorem 2.12, stated as [BS19, Theorem 7.5], which asserts that every connected cover of a connected principal quandle is itself principal and is an abelian cover. This theorem is imported from an unpublished preprint and no proof, precise statement beyond the one-line summary, or independent verification is supplied. Because the reduction to Z_p-valued cocycles and the p^{n+1} cover test both stand or fall with this premise, the paper should either prove Theorem 2.12 in an appendix, or cite a published, accessible source where it is proved, or rigorously justify why the preprint can be relied upon.
  2. [Appendix, Lemma 5.2] Lemma 5.2 is stated as 'easily proved by looking at the description of the automorphisms' and its four cases are the basis for restricting which groups can carry covers in Lemmas 3.17–3.19. Since these restrictions are load-bearing for the p^3 classification, the authors should provide the actual verification, even if only in condensed form, rather than leaving it as an exercise to the reader.
  3. [Lemmas 3.17–3.19] In each of these lemmas, the final step is the phrase 'comparing up to conjugation' with the tables, but the comparison itself is not carried out. For instance, in Lemma 3.17 the displayed automorphism g_{Fix(g)} is asserted to be conjugate to one of D(b,c), G(b), H(b,c) under certain determinant conditions, but no conjugacy argument is given. The classification of simply connected quandles of size p^3 depends directly on these comparisons, so at least one representative comparison should be written out in full and the general criterion (e.g., rational canonical form or determinant/eigenvalue conditions) should be stated precisely.
minor comments (4)
  1. [Abstract and Introduction] There are several typos and language slips, e.g., 'alternatively characterization' should be 'alternative characterization', 'resuls' should be 'results', and 'an alternatively characterization' appears in the introduction. A careful proofreading pass is needed.
  2. [Lemma 3.17 proof] In the G(b) case of Lemma 3.17, the text reads 'b^2 = v1u2 = 1 (mod p)', but v1 is not among the variables introduced in (9) for automorphisms of G3; this appears to be a typo, likely for u1v2 or a similar product. Please correct the notation and ensure all variables are defined.
  3. [Section 3.3 and Tables] The symbol ~H(q) in Table 5 is used before the parameters b0 and b1 are explained in the table itself; consider adding a sentence before the table clarifying that q = x^2 + b1 x + b0 is the characteristic polynomial of the displayed matrix.
  4. [Throughout] The SmallQuandle entries (e.g., SmallQuandle(8,1) and SmallQuandle(27,1) in the [RIG] database) are used as counterexamples but the reference [RIG] is a software package without a version or access date. Please give a formal citation with version and retrieval information.

Circularity Check

0 steps flagged · score 2.0 of 10

No circular derivation: the prime-size cocycle criterion is an independent reduction, though it relies on the author's prior Theorem 2.12 and earlier classification tables.

full rationale

I walked the derivation chain of Theorems 3.4 and 3.12. The central reduction (ii)=> (i) in Theorem 3.4 is: any connected cover E of a finite connected principal quandle Q is, by [BS19, Theorem 7.5] (= Theorem 2.12), an abelian cover Q x_theta A; then Proposition 2.11 produces a connected cover of size |Q|p; triviality of H^2(Q,Z_p) rules it out. Theorem 2.12 is a self-citation, but it is not the target result: its assumptions are 'connected principal quandle' and 'connected cover', not simple connectivity or trivial prime cocycles, so it is parameter-free independent support rather than a circular premise. The p^2 and p^3 classifications use the connected-quandle classifications of [Hou12] and [BB21] and the group/automorphism data of [Gir18] as input tables; this is legitimate use of prior data, not a renaming of the paper's own conclusion. The p^2 case is explicitly said to be already known in [GIV17]. Propositions 2.3, 2.4, 2.11, 3.2, and the split-cocycle lemmas are proved in the text from the definitions. If Theorem 2.12 were false, Theorems 3.4 and 3.12 would fail, but that is a correctness risk, not circularity: no equation in the paper is equivalent by construction to an input, and no fitted parameter is renamed as a prediction. The self-citations are mildly load-bearing but independent, so the paper is not circular.

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

No free parameters are fitted from data; this is a pure algebra paper. The mathematical burden is carried by five imported results: cover-cohomology dictionary, the BS19 principal-cover theorem, the Hou12/BB21 connected quandle lists, the Gir18 p^4 automorphism data, and the cyclic affine simple-connectivity theorem. The BS19 theorem and the BB21 tables are self-citations and are the main reason the circularity burden is not zero.

assumptions (5)
  • domain assumption Covers of a quandle Q correspond to extensions Q ×_theta S built from constant cocycles theta, and simple connectivity is equivalent to H^2(Q,S)=1 for all sets S.
    Imported from Eis14 and BV18; used throughout Section 2 and in Theorem 3.4. This is the standard dictionary between quandle cohomology and covering theory.
  • domain assumption Every connected cover of a connected principal quandle is itself principal and is an abelian cover (BS19, Theorem 7.5).
    This is the load-bearing bridge in Theorem 3.4 and Theorem 3.12 that reduces arbitrary covers to abelian cocycle extensions. It is cited from the author's prior paper and not proved here.
  • domain assumption The lists of connected quandles of order p^2 and p^3 in Hou12 and BB21 are complete and correct.
    Section 3.3 classifies simply connected quandles of size p^2 and p^3 by combining Theorem 3.12 with these tables. The BB21 table is from the same author's earlier work.
  • domain assumption The classification of groups of order p^4 and the automorphism descriptions in Gir18 are correct.
    Appendix 5 reproduces the automorphism formulas for G3, G4, G6, G7, G8, G9, G10, G12, G13, G14 from Gir18; Lemmas 3.17-3.19 assume these descriptions in full.
  • domain assumption Connected affine quandles over cyclic groups are simply connected (BV18, Theorem 1.1).
    Used in Proposition 3.15 and in the base cases of the classifications of size p^2 and p^3.

how reviews work

0 comments
Cite this review

Pith. "Pith review of On Simply Connected Quandles." pith.science (2026). https://pith.science/paper/J5QK5J3D

@misc{pith2026250419109,
  author       = {Pith},
  title        = {Pith review of: On Simply Connected Quandles},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/J5QK5J3D}},
  note         = {Machine review of arXiv:2504.19109}
}
abstract

In this paper we provide an alternative characterization of finite simply connected quandles involving only cocycles with values in abelian groups of prime size. As a corollary of such a characterization and the classification of connected quandles of size $p^2$ and $p^3$ we obtain a classification of simply connected quandles of size $p^2$ (already obtained with a different method in \cite{VV}) and $p^3$ for $p>3$ using a method that works for quandles of size $p^n$ for arbitrary $n$. We also classify the simply connected quandles within two subclasses of finite involutory quandles: nilpotent latin quandles and core quandles.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

30 extracted references · 26 canonical work pages

  1. [1]

    Nicol \'a s Andruskiewitsch and Mat \' as Gra \ n a, From racks to pointed H opf algebras , Adv. Math. 178 (2003), no. 2, 177--243. 1994219 (2004i:16046)

    work page 2003

  2. [2]

    Giuliano Bianco and Marco Bonatto, On connected quandles of prime power order, Beitr \"a ge zur Algebra und Geometrie / Contributions to Algebra and Geometry 62 (2021), 555–586

    work page 2021

  3. [3]

    2, 177--192

    Marco Bonatto and Stefano Fioravanti, Mal’cev classes of left quasigroups and quandles, Quasigroups and related systems 46 (2021), no. 2, 177--192

    work page 2021

  4. [4]

    1, 145 -- 175

    Marco Bonatto, Connected quandles of size pq and 4p , Osaka Journal of Mathematics 59 (2022), no. 1, 145 -- 175

    work page 2022

  5. [5]

    02, 2250021

    , Medial and semimedial left quasigroups, Journal of Algebra and Its Applications 21 (2022), no. 02, 2250021

    work page 2022

  6. [6]

    , Nilpotent left quasigroups , arXiv e-prints (2022), arXiv:2204.04448

    arXiv 2022

  7. [7]

    , Two Galois connections for left quasigroups , arXiv e-prints (2023), arXiv:2311.14574

    work page Pith review arXiv 2023

  8. [8]

    Bruck, A survey of binary systems, Ergebnisse der Mathematik und ihrer Grenzgebiete, Springer Verlag, 1958

    R.H. Bruck, A survey of binary systems, Ergebnisse der Mathematik und ihrer Grenzgebiete, Springer Verlag, 1958

    work page 1958

Show all 30 references
  1. [9]

    Marco Bonatto and David Stanovsk \'y , A Universal algebraic approach to rack coverings , arXiv e-prints (2019), arXiv:1910.09317

    2019 arXiv

  2. [10]

    Valeriy Bardakov and Mahender Singh, Quandle cohomology, extensions and automorphisms, Journal of Algebra 585 (2021), 558--591

    2021

  3. [11]

    Marco Bonatto and David Stanovsk \'y , Commutator theory for racks and quandles , J. Math. Soc. Japan 73 (2021), 41--75

    2021

  4. [12]

    Marco Bonatto and Filippo Spaggiari, On Core Quandles , arXiv e-prints (2025), arXiv:2503.01790

    2025 arXiv

  5. [13]

    Knot Theory Ramifications 27 (2018), no

    Marco Bonatto and Petr Vojt e chovsk\' y , Simply connected L atin quandles , J. Knot Theory Ramifications 27 (2018), no. 11, 1843006, 32. 3868935

    2018

  6. [14]

    Carter J

    Gra \ n a M. Carter J. S., Elhamdadi M. and Saito M., Cocycle knot invariants from quandle modules and generalized quandle homology, Osaka J. Math. 42 (2005), no. 3, 499--541

    2005

  7. [15]

    W. Edwin Clark, Masahico Saito, and Leandro Vendramin, Quandle coloring and cocycle invariants of composite knots and abelian extensions, Journal of Knot Theory and Its Ramifications 25 (2016), no. 05, 1650024

    2016

  8. [16]

    Michael Eisermann, Quandle coverings and their G alois correspondence , Fund. Math. 225 (2014), no. 1, 103--168. 3205568

    2014

  9. [17]

    Algebra 242 (2001), no

    Pavel Etingof, Alexander Soloviev, and Robert Guralnick, Indecomposable set-theoretical solutions to the quantum Y ang- B axter equation on a set with a prime number of elements , J. Algebra 242 (2001), no. 2, 709--719. 1848966 (2002e:20049)

    2001

  10. [18]

    Pavel Etingof, Travis Schedler, and Alexandre Soloviev, Set-theoretical solutions to the quantum Y ang- B axter equation , Duke Math. J. 100 (1999), no. 2, 169--209. 1722951 (2001c:16076)

    1999

  11. [19]

    125, Cambridge University Press, Cambridge, 1987

    Ralph Freese and Ralph McKenzie, Commutator theory for congruence modular varieties, London Mathematical Society Lecture Note Series, vol. 125, Cambridge University Press, Cambridge, 1987. 909290

    1987

  12. [20]

    Boris Girnat , Die Klassifikation der Gruppen bis zur Ordnung p\^5 , arXiv e-prints (2018), arXiv:1806.07462

    2018 arXiv

  13. [21]

    Knot Theory Ramifications 286 (2017), no

    Agustín García Iglesias and Leandro Vendramin, An explicit description of the second cohomology group of a quandle, J. Knot Theory Ramifications 286 (2017), no. 3, 1041--1063. 3868935

    2017

  14. [22]

    Gra\ n a, I

    M. Gra\ n a, I. Heckenberger, and L. Vendramin, Nichols algebras of group type with many quadratic relations, Adv. Math. 227 (2011), no. 5, 1956--1989. 2803792

    2011

  15. [23]

    Knot Theory Ramifications 21 (2012), no

    Xiang-Dong Hou, Finite modules over Z[t,t^ -1 ] , J. Knot Theory Ramifications 21 (2012), no. 8, 1250079, 28. 2925432

    2012

  16. [24]

    Pure Appl

    David Joyce, A classifying invariant of knots, the knot quandle, J. Pure Appl. Algebra 23 (1982), no. 1, 37--65. 638121 (83m:57007)

    1982

  17. [25]

    Algebra 443 (2015), 300--334

    P r emysl Jedli c ka, Agata Pilitowska, David Stanovsk\' y , and Anna Zamojska-Dzienio, The structure of medial quandles, J. Algebra 443 (2015), 300--334. 3400403

    2015

  18. [26]

    P r emysl Jedli c ka, Agata Pilitowska, David Stanovsk \`y , and Anna Zamojska-Dzienio, Subquandles of affine quandles, Journal of Algebra 510 (2018), 259--288

    2018

  19. [27]

    S. V. Matveev, Distributive groupoids in knot theory, Mat. Sb. (N.S.) 119(161) (1982), no. 1, 78--88, 160. 672410

    1982

  20. [28]

    H. O. Pflugfelder, Quasigroups and loops: Introduction, Heldermann Verlag, Berlin, 1990

    1990

  21. [29]

    Mat \' as Gra \ n a and Leandro Vendramin, Rig, a GAP package for racks, quandles and Nichols algebras

  22. [30]

    Sims, Computation with finitely presented groups, Encyclopedia of Mathematics and its Applications, vol

    Charles C. Sims, Computation with finitely presented groups, Encyclopedia of Mathematics and its Applications, vol. 48, Cambridge University Press, Cambridge, 1994. 1267733 (95f:20053)

    1994

Pith tools

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