Metrics for quandles

Kohei Iwamoto; Ryoya Kai; Yuya Kodama

REVIEW 2 major objections 3 minor 19 references

Metrics for quandles

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

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

Pith's one-line read For generalized Alexander quandles, the displacement-group metric on any connected component is quasi-isometric to the displacement group itself with a word metric.

desk verdict A genuinely new displacement-metric framework for quandles with a correct main theorem, undercut by a false corollary that the Section 5 examples rely on. read the letter →

arxiv 2505.07535 v1 pith:JVGC2AQX submitted 2025-05-12 math.GT math.DGmath.GRmath.MG

Kohei Iwamoto , Ryoya Kai , Yuya Kodama This is my paper · ORCID

classification math.GTmath.DGmath.GRmath.MG MSC 57K1220F6553C35

keywords quandlegeneralizedAlexanderdisplacementgroupSchreiergraphquasi-isometryinnerautomorphismwordmetricgeometrictheory

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

Quandles are algebraic structures that generalize conjugation in groups and arise in knot theory; this paper gives them metrics by letting their two natural symmetry groups act through Schreier graphs. The central claim is that for generalized Alexander quandles—groups with an operation twisted by an automorphism—the displacement-group metric on any connected component has the same large-scale geometry as the displacement group itself with a word metric, whenever that group is finitely generated. The payoff is a transfer principle: geometric group theory tools, like ends and quasi-isometry, now apply to such quandles. The paper also proves that the inner and displacement metrics can be genuinely different, and it produces quandles whose components are quasi-isometric to trees, Euclidean spaces, the hyperbolic plane, and 3-dimensional homogeneous spaces.

What carries the argument

The central object is the displacement group $\operatorname{Dis}(X)$, generated by symmetries $s_x s_y^{-1}$, together with the right-translation map $R$ sending $x \in P$ to $y \mapsto yx$ on $\mathrm{GAlex}(G,\sigma)$. For generalized Alexander quandles, $R$ identifies the identity component $P$ with $\operatorname{Dis}(X)$, so the displacement group acts freely and its metric on the quandle is exactly the word metric of $\operatorname{Dis}(X)$. The other ingredient is the Schreier graph: a graph whose vertices are quandle elements and whose edges come from applying generators of $\operatorname{Inn}(X)$ or $\operatorname{Dis}(X)$; the path metric on each connected component gives the inner or displacement metric, and the quasi-isometry class is independent of the chosen finite generating set.

What would settle it

Construct a group $G$ with automorphism $\sigma$ such that $\operatorname{Dis}(\mathrm{GAlex}(G,\sigma))$ is finitely generated but the identity component $P$ is not quasi-isometric to $\operatorname{Dis}(X)$ with a word metric—for instance, a component whose displacement Schreier graph has two ends while $\operatorname{Dis}(X)$ has one. Alternatively, exhibit a $\mathrm{GAlex}(G,\sigma)$ where $P$ is not normal or not closed under the quandle operation; that would invalidate Proposition 4.5 and Theorem 4.8.

Watch

Extended reading notes

Core claim

The paper's main theorem (Theorem 4.8) states: if $G$ is a group, $\sigma$ an automorphism, and $X := \mathrm{GAlex}(G,\sigma)$ is the generalized Alexander quandle with operation $x \rhd y := \sigma(xy^{-1})y$, then whenever the displacement group $\operatorname{Dis}(X)$ is finitely generated, every connected component of $X$ with the displacement metric is quasi-isometric to $\operatorname{Dis}(X)$ with a word metric. The proof identifies $\operatorname{Dis}(X)$ with the connected component $P$ of the identity: $P$ is a normal subgroup and a subquandle, right translation $R_x(y) = yx$ by $x \in P$ lies in $\operatorname{Dis}(X)$, and the map $R : P \to \operatorname{Dis}(X)$ is a group isomorphism. Because the action of $\operatorname{Dis}(X)$ on a component is free once $P$ is identified with the group, the displacement Schreier graph on that component is isometric to the Cayley graph of $\operatorname{Dis}(X)$, and the earlier quasi-isometry lemma then yields the result.

Load-bearing premise

The proof that $\operatorname{Dis}(X)$ is isomorphic to the identity component $P$ of $\mathrm{GAlex}(G,\sigma)$ relies on the cited fact, not proved in this paper, that $P$ is a normal subgroup and a subquandle; if that fact failed, the identification of the displacement metric with the word metric would break and Theorem 4.8 would not follow.

Editorial extensions

If this is right

For a finitely generated generalized Alexander quandle, large-scale geometric questions about its components—ends, growth, hyperbolicity—reduce to the same questions about the displacement group.
All connected components of such a quandle share one quasi-isometry type for the displacement metric, because the quandle is homogeneous.
When the displacement group acts freely on a component, the displacement metric is isometric, not merely quasi-isometric, to the word metric of the displacement group.
The inner and displacement metrics are independent quasi-isometry invariants: the infinite dihedral quandle has one-ended inner components and two-ended displacement components.
Quandles built from triangle groups and knot orbifolds have components quasi-isometric to the Euclidean plane, hyperbolic plane, hyperbolic 3-space, and other 3-dimensional homogeneous spaces.

Reading between the lines

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

Editorial inference: the same identification should give a practical quasi-isometry invariant for homogeneous quandles with finitely generated displacement groups, since every homogeneous quandle is a quotient of a generalized Alexander quandle.
Editorial inference: for knot quandles of non-fibered knots, the displacement group is not finitely generated, so the displacement metric is unavailable; the inner metric remains defined and its quasi-isometry class may carry knot-type information worth studying.
Editorial inference: because the displacement group is isomorphic to the identity component $P$, coarse properties such as ends, growth, or hyperbolicity of $P$ are inherited by each quandle component; this suggests checking whether hyperbolicity of $\operatorname{Dis}(X)$ characterizes the hyperbolic-like quandle geometries appearing in the examples.

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.

Desk Editor's Note

read the letter

The thing to know: this paper introduces displacement Schreier graphs and metrics for quandles, and the central quasi-isometry theorem (Theorem 4.8) appears correct. But Corollary 4.6 is false, and the advertised examples in Section 5 depend on it. That is a real problem, though it is localized.

What is genuinely good: the framework is new. The inner and displacement graphs are natural generalizations of Cayley graphs, and the paper proves the expected quasi-isometry independence of generating set (Theorems 3.4 and 3.8). Theorem 3.12 gives a clean Milnor-Svarc-type statement when the displacement group acts freely, and Theorem 4.8 correctly extends this to generalized Alexander quandles by identifying the component with the displacement group via Proposition 4.5. Example 3.16 is a nice demonstration that inner and displacement metrics can differ, using the number of ends. The writing is clear and the citations to Winker, Joyce, and the Higashitani-Kamada-Kosaka-Kurihara work are appropriate.

The soft spot: Corollary 4.6 says that for an inner automorphism sigma(x) = g^{-1} x g, Dis(GAlex(G, sigma)) is isomorphic to the commutator subgroup of the normal closure of g. This is false. Take G = S_4 and g = (12)(34). The normal closure is the Klein four-group V4, whose commutator subgroup is trivial. But the displacement group is not trivial: Proposition 4.5 identifies it with the subgroup P generated by elements 1 ⊳ x ⊳^{-1} y, and with x = 1, y = (13), that element is (13)(24) ≠ 1. In fact Dis(X) ≅ V4 here. So the corollary fails badly. Propositions 5.4 and 5.6 explicitly use Corollary 4.6 to identify displacement groups of triangle-group and knot-group quandles, so those identifications are unsupported as written. The quasi-isometry conclusions of those examples may be salvageable with a corrected computation of P, but the paper as it stands is not.

Proportion matters: the false corollary is load-bearing for the examples, not for Theorem 4.8. The main theorem does not invoke Corollary 4.6 and its proof via Proposition 4.5 appears solid. So this is a correctable mathematical error rather than a broken central idea.

Recommendation: send it to peer review. A serious referee can verify the counterexample, ask the authors to replace Corollary 4.6 with the correct description of P for inner automorphisms, and check whether the examples survive. The displacement-metric framework deserves the referee time.

Referee Report

2 major / 3 minor

Summary. The manuscript introduces two metrics on a quandle X arising from the Schreier graphs of the right actions of the inner automorphism group Inn(X) and the displacement group Dis(X). It proves that the quasi-isometry class of each metric on a connected component is independent of the finite generating set (Theorems 3.4 and 3.8), that a free action of a finitely generated Dis(X) yields a quasi-isometry between the component and Dis(X) with a word metric (Theorem 3.12), and that a connected component of a generalized Alexander quandle with a displacement metric is quasi-isometric to its displacement group when the latter is finitely generated (Theorem 4.8). Section 5 offers examples with components quasi-isometric to trees, Euclidean spaces, the hyperbolic plane, and 3-dimensional homogeneous spaces. The paper also gives an explicit quandle (the infinite dihedral quandle) where the inner and displacement metrics are not quasi-isometric.

Significance. The main conceptual contribution is a systematic quasi-isometric geometry for quandles, in analogy with the Milnor–Švarc lemma for group actions. The proofs of Theorems 3.4, 3.8, 3.12, and 4.8 are, as far as I can verify, complete and correct; the construction of R∞ as a pair of non-quasi-isometric metrics is a clean and instructive example. Theorem 4.8, if correct, reduces the large-scale geometry of a generalized Alexander quandle to that of its displacement group. The paper is generally well written and cites its external dependencies appropriately. However, the false Corollary 4.6 affects the advertised examples in Section 5, so the current version is not yet publishable.

major comments (2)

[Corollary 4.6] Corollary 4.6 is false. Take G = S_4, g = (12)(34), and σ(x) = g^{-1} x g. Then the normal closure N = ⟨⟨g⟩⟩_G is the Klein four-group V_4, which is abelian, so [N,N] = 1. However, Proposition 4.5 gives Dis(GAlex(G,σ)) ≅ P, where P is the connected component of 1; the element p = 1 ⊳ 1 ⊳^{-1} (13), computed by the formula in Proposition 4.5, equals (13)(24) ≠ 1. Hence P, and therefore Dis(X), is nontrivial; in fact P = V_4 in this example. The asserted isomorphism Dis(GAlex(G,σ)) ≅ [N,N] therefore fails. The error appears to lie in the claimed identification of P with [N,N], specifically in the assertion that [x,y] = 1·[α,β] for x,y ∈ N and the associated α,β; that step is not established and is contradicted by this example.
[Propositions 5.4 and 5.6] The displacement-group identifications in Propositions 5.4(1) and 5.6(1) are obtained by applying Corollary 4.6. Because that corollary is false, these identifications are unsupported as written. The quasi-isometry claims in those propositions may still be true, but they require a correct computation of Dis(X) or a suitable substitute argument and cannot be justified by the current text.

minor comments (3)

[Theorem 3.16 proof] The generating set for Dis(R∞) is written as U = {s0 s1} in the proof; this should be U = {s1 s0^{-1}} (or s0^{-1} s1, depending on convention) to match Example 2.5(3) and Lemma 3.15.
[Proposition 5.1 proof] The sentence 'if γ is a simple loop in the Schreier graph, then its length is at most 1' is confusing in an undirected simple graph, which has no 1-cycles; the intended statement is that no nontrivial simple cycle exists, so that the graph is a tree. Please rephrase.
[Section 4, before Lemma 4.4] The proof of Theorem 4.8 relies on the cited fact [6, Proposition 3.1] that the connected component P of 1 is a subquandle and a normal subgroup of G. Please include a proof or a precise statement of this external result, since it is load-bearing for the main theorem.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity found; Theorem 4.8 is derived from in-paper lemmas and independent external results.

full rationale

The paper's main derivation is self-contained relative to its cited background. Theorem 3.12 is a general consequence of Proposition 3.11, proved by direct isometry between a free displacement-group orbit and the group with word metric. Proposition 4.5 proves Dis(GAlex(G, sigma)) is isomorphic to P directly: Lemma 4.4 shows right translations by elements of P lie in Dis, and the converse inclusion is shown by computing R_g = s_x s_y^{-1} for g = 1 ⊳ x ⊳^{-1} y. The only imported structural facts are [6, Proposition 3.1] (P is a normal subgroup and subquandle), [7, Lemma 3.1] (finite analogue of Lemma 4.4, used only as a model with the proof generalized), and standard results such as Milnor-Svarc and Proposition 2.4; none of these are authored by the present paper's authors, so there is no self-citation loop. No parameter is fitted and no 'prediction' is used as an input. The known falsehood of Corollary 4.6 is a mathematical error affecting the Section 5 examples; it does not make the derivation circular. Theorem 4.8 does not invoke Corollary 4.6 and its proof is independent of that corollary.

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

No free parameters are fitted. The paper's new metric construction relies on standard or cited background facts; the most load-bearing external premise is that the component of the identity in a generalized Alexander quandle is a normal subgroup and a subquandle. A false internal corollary (Corollary 4.6) is flagged separately, not as an axiom.

assumptions (4)

domain assumption The connected component P of the identity in GAlex(G, sigma) is a normal subgroup of G and a subquandle [6, Proposition 3.1].
Used in Lemma 4.4 and Proposition 4.5 to identify Dis(X) with right translations by P. Cited to Higashitani et al. and not proved in this paper.
standard math Standard displacement group properties from [9, Proposition 2.1]: Inn(X) and Dis(X) are normal in Aut(X), Dis(X) is generated by products of point symmetries with total exponent zero, and the two group actions have the same orbits.
Used throughout Section 3 and in Lemma 4.4 to characterize generators of the displacement group.
standard math Milnor-Svarc lemma: a group acting properly discontinuously and cocompactly on a metric space is quasi-isometric to that space.
Used in Section 5 to pass from quasi-isometry to groups to quasi-isometry to universal covers.
domain assumption Properly discontinuous cocompact actions of triangle groups and orbifold groups on the relevant 2- and 3-dimensional spaces (Poincare polyhedron theorem and geometric orbifold classification).
Used in Propositions 5.4 and 5.6 and Remark 5.8; cited to [17], [4], and [18].

how reviews work

0 comments

Cite this review

Pith. "Pith review of Metrics for quandles." pith.science (2026). https://pith.science/paper/JVGC2AQX

@misc{pith2026250507535,
  author       = {Pith},
  title        = {Pith review of: Metrics for quandles},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/JVGC2AQX}},
  note         = {Machine review of arXiv:2505.07535}
}

read the original abstract

A quandle is an algebraic system originating in knot theory, which can be regarded as a generalization of the conjugation of groups. This structure naturally defines two subgroups of its automorphism group, which are called the inner automorphism group and the displacement group, and they act on the quandle from the right. For a quandle with such groups being finitely generated, we investigate the graph structures induced from the actions, and induced metric spaces. The graph structures are defined by the notion of the Schreier graph, which is a natural generalization of the Cayley graph for a group. In particular, the metric associated with the displacement group for an important class of quandles, namely, generalized Alexander quandles, is studied in detail. We show that such a metric space is quasi-isometric to the displacement group with a word metric. Finally, we provide some examples quasi-isometric to typical metric spaces.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

19 extracted references · 9 canonical work pages

[1]

Advances in Mathematics 178(2), 177–243 (2003)

Andruskiewitsch, N., Gra˜ na, M.: From racks to pointed Hopf alge bras. Advances in Mathematics 178(2), 177–243 (2003). DOI 10.1016/S0001-8708(02)00071-3

doi:10.1016/s0001-8708(02)00071-3 2003
[2]

and extended ed edn

Burde, G., Zieschang, H.: Knots, 2nd rev. and extended ed edn. No. 5 in De Gruyter Studies in Mathematics. Walter de Gruyter, Berlin ; New York (2003)

work page 2003
[3]

Journal of Knot Theory and Its Ramiﬁcations 28(03), 1950028 (2019)

Crans, A.S., Mellor, B., Shanahan, P.D., Hoste, J.: Finite n-quandles of torus and two-bridge links. Journal of Knot Theory and Its Ramiﬁcations 28(03), 1950028 (2019). DOI 10.1142/S0218216519500287

work page doi:10.1142/s0218216519500287 2019
[4]

Revista Matem´ atica de la Unive rsidad Complutense de Madrid 1(1-3), 67–99 (1988)

Dunbar, W.D.: Geometric orbifolds. Revista Matem´ atica de la Unive rsidad Complutense de Madrid 1(1-3), 67–99 (1988)

work page 1988
[5]

Fundamenta Mathematicae 225(1), 103– 167 (2014)

Eisermann, M.: Quandle coverings and their Galois correspondenc e. Fundamenta Mathematicae 225(1), 103– 167 (2014). DOI 10.4064/fm225-1-7

doi:10.4064/fm225-1-7 2014
[6]

URL https://arxiv.org/abs/2406.01074

Higashitani, A., Kamada, S., Kosaka, J., Kurihara, H.: Classiﬁcation of generalized alexander quandles (2024). URL https://arxiv.org/abs/2406.01074

arXiv 2024
[7]

European Journal of Mathematics 10(3), 41 (2024)

Higashitani, A., Kurihara, H.: Generalized Alexander quandles of ﬁn ite groups and their characterizations. European Journal of Mathematics 10(3), 41 (2024). DOI 10.1007/s40879-024-00753-1

work page doi:10.1007/s40879-024-00753-1 2024
[8]

M athematics of Computation 88(317), 1427–1448 (2018)

Hoste, J., Shanahan, P.D.: An enumeration process for racks. M athematics of Computation 88(317), 1427–1448 (2018). DOI 10.1090/mcom/3374

work page doi:10.1090/mcom/3374 2018

Show all 19 references

[9]

Journal of Pure and Applied Algebra 220(2), 735–758 (2016)

Hulpke, A., Stanovsk´ y, D., Vojtˇ echovsk´ y, P.: Connected quandles and transitive groups. Journal of Pure and Applied Algebra 220(2), 735–758 (2016). DOI 10.1016/j.jpaa.2015.07.014

2016 doi
[10]

Jo urnal of Pure and Applied Algebra 23(1), 37–65 (1982)

Joyce, D.: A classifying invariant of knots, the knot quandle. Jo urnal of Pure and Applied Algebra 23(1), 37–65 (1982). DOI 10.1016/0022-4049(82)90077-9

1982 doi
[11]

Springer Monographs in Mathematics

Kamada, S.: Surface-Knots in 4-Space. Springer Monographs in Mathematics. Springer Singapore, Singapore (2017). DOI 10.1007/978-981-10-4091-7

2017 doi
[12]

Birkh¨ auser Verlag, Ba sel ; Boston (1996)

Kawauchi, A.: A Survey of Knot Theory. Birkh¨ auser Verlag, Ba sel ; Boston (1996)

1996
[13]

Universit ext

L¨ oh, C.: Geometric Group Theory: An Introduction. Universit ext. Springer, Cham, Switzerland (2017). DOI 10.1007/978-3-319-72254-2

2017 doi
[14]

I: General Theory

Loos, O.: Symmetric Spaces. I: General Theory. W. A. Benjam in, Inc., New York-Amsterdam (1969)

1969
[15]

Topology and its Applicatio ns 294, 107662 (2021)

Mellor, B., Smith, R.: N-quandles of links. Topology and its Applicatio ns 294, 107662 (2021). DOI 10.1016/j. topol.2021.107662

2021
[16]

Purcell, J.: Hyperbolic Knot Theory, Graduate Studies in Mathematics , vol. 209. American Mathematical Society, Providence, Rhode Island (2020). DOI 10.1090/gsm/209

2020 doi
[17]

Ratcliﬀe, J.G.: Foundations of Hyperbolic Manifolds, third edition e dn. No. 149 in Graduate Texts in Mathe- matics. Springer, Cham, Switzerland (2019). DOI 10.1007/978-3- 030-31597-9

2019 doi
[18]

Bulletin of the London Mathematical Society 15(5), 401–487 (1983)

Scott, P.: The Geometries of 3-Manifolds. Bulletin of the London Mathematical Society 15(5), 401–487 (1983). DOI 10.1112/blms/15.5.401

1983 doi
[19]

ProQuest LLC, Ann Arbor, MI (1984) (K

Winker, S.K.: QUANDLES, KNOT INV ARIANTS, AND THE N-FOLD BRA NCHED COVER. ProQuest LLC, Ann Arbor, MI (1984) (K. Iwamoto) Graduate School of Science and Engineering, Ri tsumeikan University, Nojihigashi 1-1-1, Kusatsu, Shiga, 525-8577, Japan Email address : ra0061ir@ed.ritsume...

1984

Pith tools

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

[1] [1]

Advances in Mathematics 178(2), 177–243 (2003)

Andruskiewitsch, N., Gra˜ na, M.: From racks to pointed Hopf alge bras. Advances in Mathematics 178(2), 177–243 (2003). DOI 10.1016/S0001-8708(02)00071-3

doi:10.1016/s0001-8708(02)00071-3 2003

[2] [2]

and extended ed edn

Burde, G., Zieschang, H.: Knots, 2nd rev. and extended ed edn. No. 5 in De Gruyter Studies in Mathematics. Walter de Gruyter, Berlin ; New York (2003)

work page 2003

[3] [3]

Journal of Knot Theory and Its Ramiﬁcations 28(03), 1950028 (2019)

Crans, A.S., Mellor, B., Shanahan, P.D., Hoste, J.: Finite n-quandles of torus and two-bridge links. Journal of Knot Theory and Its Ramiﬁcations 28(03), 1950028 (2019). DOI 10.1142/S0218216519500287

work page doi:10.1142/s0218216519500287 2019

[4] [4]

Revista Matem´ atica de la Unive rsidad Complutense de Madrid 1(1-3), 67–99 (1988)

Dunbar, W.D.: Geometric orbifolds. Revista Matem´ atica de la Unive rsidad Complutense de Madrid 1(1-3), 67–99 (1988)

work page 1988

[5] [5]

Fundamenta Mathematicae 225(1), 103– 167 (2014)

Eisermann, M.: Quandle coverings and their Galois correspondenc e. Fundamenta Mathematicae 225(1), 103– 167 (2014). DOI 10.4064/fm225-1-7

doi:10.4064/fm225-1-7 2014

[6] [6]

URL https://arxiv.org/abs/2406.01074

Higashitani, A., Kamada, S., Kosaka, J., Kurihara, H.: Classiﬁcation of generalized alexander quandles (2024). URL https://arxiv.org/abs/2406.01074

arXiv 2024

[7] [7]

European Journal of Mathematics 10(3), 41 (2024)

Higashitani, A., Kurihara, H.: Generalized Alexander quandles of ﬁn ite groups and their characterizations. European Journal of Mathematics 10(3), 41 (2024). DOI 10.1007/s40879-024-00753-1

work page doi:10.1007/s40879-024-00753-1 2024

[8] [8]

M athematics of Computation 88(317), 1427–1448 (2018)

Hoste, J., Shanahan, P.D.: An enumeration process for racks. M athematics of Computation 88(317), 1427–1448 (2018). DOI 10.1090/mcom/3374

work page doi:10.1090/mcom/3374 2018