Pith. sign in

REVIEW 3 major objections 5 minor 1 cited by

Characterizations of knot groups and knot symmetric quandles of surface-links

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

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

Pith's one-line read A group is the knot group of a surface-link exactly when it has a $(2m,n)$-presentation with inverses satisfying the weak $\partial$-condition and the right abelianization; the same holds for knot symmetric quandles.

desk verdict A believable and natural extension of the surface-link group characterization to non-orientable surfaces and to symmetric quandles, but the application section has a few gaps that need fixing before the paper is fully trustworthy. read the letter →

arxiv 2412.20081 v2 pith:XKUZW6CW submitted 2024-12-28 math.GT

Jumpei Yasuda This is my paper · ORCID
classification math.GT MSC 57K4557K10
keywords surface-linksknotgroupssymmetricquandlesplatclosurebraidedsurfacesHildensubgroupnon-orientabledihedral
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

This paper proves a complete algebraic characterization of which groups and which symmetric quandles arise as invariants of surface-links, including non-orientable ones. A group $G$ is the knot group of a surface-link with $c$ orientable and $d$ non-orientable components and Euler characteristic $\chi$ exactly when $G$ has a presentation of an even braided form---$2m$ generators, $n$ braid relations, and $m$ inverse-pairing relations---satisfying a weak product condition on the braids, with $\chi=2m-n$ and abelianization $\mathbb{Z}^c\oplus(\mathbb{Z}/2)^d$. The same statement, with quandle operations and a good involution replacing the group law, characterizes knot symmetric quandles; the involution pairs the orientable components and fixes the non-orientable ones. The proof works through plat closures of braided surfaces, so each algebraic presentation corresponds to an explicit geometric construction. This matters because it turns a geometric existence question into a checkable presentation condition, and it yields that every dihedral quandle with any good involution occurs as the knot symmetric quandle of some surface-link.

What carries the argument

The load-bearing construction is the plat closure of an adequate braided surface. A braided surface of degree $2m$ has a braid system $(\beta_1,\dots,\beta_n)$ with $\beta_i=b_i^{-1}\sigma_1^{\varepsilon_i}b_i$; the plat closure caps it off with $m$ wickets, and adequacy means the boundary braid lies in the Hilden subgroup $K_{2m}$ of the braid group, the subgroup generated by adequate braids. The weak $\partial$-condition is precisely the requirement that the product $\prod_{i=1}^n b_i^{-1}\sigma_1^{\varepsilon_i}b_i$ belongs to $K_{2m}$, which makes the closure exist. For such a closure, the knot group and knot symmetric quandle have the $(2m,n)$-presentation with inverses, the Euler characteristic is $\chi=2m-n$ because the $n$ branch points are subtracted from the $2m$-sheeted cover, and Alexander duality identifies the first homology of the complement with $\mathbb{Z}^c\oplus(\mathbb{Z}/2)^d$.

What would settle it

Take an explicit braided-surface presentation whose braid product lies in the Hilden subgroup, such as the $(4,2)$-presentation used in the paper to realize the dihedral quandle with the antipodal map, build its plat closure, and compute the knot symmetric quandle directly from the complement. The theorem predicts exactly the dihedral quandle with the antipodal involution on a surface-link with two non-orientable components and Euler characteristic 2; any mismatch in the quandle, component count, or Euler characteristic would falsify the characterization.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.3: a group $G$ is the knot group of a $(c,d)$-component surface-link with Euler characteristic $\chi$ if and only if, for some $m,n\ge 0$, $G$ has a $(2m,n)$-presentation with inverses satisfying the weak $\partial$-condition, $\chi=2m-n$, and $G/[G,G]$ is isomorphic to $\mathbb{Z}^c\oplus(\mathbb{Z}/2)^d$. The $c$ free factors of the abelianization record the orientable components, while the $d$ copies of $\mathbb{Z}/2$ record the non-orientable ones. Theorem 1.4 is the symmetric-quandle analogue: $(Q,\rho)$ is the knot symmetric quandle of such a surface-link exactly when it has such a presentation, $\chi=2m-n$, and $Q$ has $2c+d$ connected components, with $\rho$ swapping $c$ pairs of them and fixing the other $d$. The orientable-only case is recovered by strengthening the weak $\partial$-condition to the $\partial$-condition. As an application, every dihedral quandle $R_n$ with any of its good involutions---the identity, the antipodal map, or the half-antipodal maps---is realized as the knot symmetric quandle of some surface-link.

Load-bearing premise

The result depends on the construction that builds every surface-link by capping off a braided surface with wickets, and on the claim that this construction always yields the stated group and quandle presentations; if that construction missed any non-orientable surface, the characterization would not follow.

Editorial extensions

If this is right

  • Any group satisfying the three algebraic conditions is guaranteed to arise from an actual surface-link, so the theorem converts a geometric realizability question into a presentation check.
  • The symmetric-quandle version gives a complete realizability test for quandles with involutions, including the half-antipodal cases that force non-orientable components.
  • Because the abelianization fixes the component type, the first homology of the complement determines exactly how many components of a realized surface-link are orientable and how many are not.
  • The dihedral-quandle application shows that the full knot quandle alone does not separate all surface-links; the good involution carries the extra distinguishing information, as stated in Corollary 4.6.
  • The infinite family of 2-component $P^2$-irreducible $P^2$-links in Theorem 5.3 shows that the characterization is not empty and produces many non-orientable examples beyond the two previously tabulated ones.

Reading between the lines

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

  • The finiteness of the presentation form suggests that surface-link groups of bounded complexity could be enumerated by searching braid tuples whose product lies in $K_{2m}$, giving data analogous to classical braid enumeration for links.
  • Because the weak $\partial$-condition is a membership test in the Hilden subgroup, the characterization suggests viewing surface-link groups as exactly the groups carrying an adequate even presentation with prescribed abelianization, which may connect to algorithms for recognizing such groups among finitely presented ones.
  • A natural testable extension is to apply Theorem 1.4 to other families of symmetric quandles, not just dihedral ones, by writing down presentations whose braid product lies in $K_{2m}$; the half-antipodal realization shows the criterion is flexible enough to handle involutions with mixed fixed-point behavior.
  • The identity-involution criterion for reducible projective-plane knots could be turned into an obstruction: any surface-knot whose knot symmetric quandle has a non-identity good involution is irreducible, so computing symmetric quandles offers a route toward the classical conjecture on projective-plane knots.
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 / 5 minor

Summary. The paper gives algebraic characterizations of knot groups and knot symmetric quandles of surface-links, including non-orientable ones. The main results, Theorems 1.3 and 1.4, state that a group (or symmetric quandle) is realized by a (c,d)-component surface-link with Euler characteristic χ if and only if it admits a (2m,n)-presentation with inverses satisfying a weak ∂-condition, with χ = 2m−n, and with an abelianization (or component structure) of the form Z^c ⊕ (Z/2)^d. The proofs use plat closures of braided surfaces, the Hilden subgroup, and prior results of the author. As an application, the paper shows that every dihedral quandle with any good involution is realizable as the knot symmetric quandle of a surface-link, and it constructs an infinite family of 2-component P2-irreducible P2-links.

Significance. If the main theorems are correct, they extend the classical González-Acuña–Kamada characterization of knot groups of orientable surface-links to all surface-links, and they provide the first algebraic characterization of knot symmetric quandles for non-orientable surface-links. The application to dihedral quandles is attractive and gives new realizations of symmetric quandles. The use of plat presentations, rather than closed 2-dimensional braids, is well suited to the non-orientable setting. The paper draws on substantial prior work of the author and others, and the central strategy is plausible; however, several load-bearing steps in the sufficiency directions need to be made precise before the results can be accepted.

major comments (3)
  1. [Section 2.4, proof of Theorem 1.3 (if part)] The proof asserts that because ∏ b_i^{-1} σ_1^{ε_i} b_i ∈ K_{2m}, the braided surface S with braid system (b_i^{-1} σ_1^{ε_i} b_i) can be chosen to be adequate. This requires that every element of K_{2m} is an adequate 2m-braid. The cited Brendle–Hatcher statement, as quoted in Section 2.3, says only that K_{2m} is the subgroup generated by adequate 2m-braids; that does not, by itself, imply that a product of conjugates of σ_1 is adequate. The proof needs the stronger fact that the set of adequate 2m-braids is a subgroup of B_{2m} and equals K_{2m}, or an explicit construction of an adequate braided surface with the given boundary braid. This gap affects the if-part of Theorem 1.4 as well.
  2. [Section 3.4, proof of Theorem 1.4] The proof of Theorem 1.4 is only an outline. In the if-part, the existence of an adequate braided surface S with X(eS) isomorphic to (Q,ρ) is asserted without addressing the adequacy issue noted above, and the step 'By the condition (3), eS is (c,d)-component' is not justified in the text; it should be argued explicitly, for example by invoking the structure of connected components of knot symmetric quandles established in the only-if part. Since Theorem 1.4 is one of the two main theorems, the proof should be written out in full rather than left as a rephrasing of Theorem 1.3.
  3. [Section 4, Propositions 4.4 and 4.5] Propositions 4.4 and 4.5 give symmetric quandle presentations for dihedral quandles with the identity and half-antipodal good involutions, but their proofs are omitted with the note that they are similar to Proposition 4.3. These propositions are used in Cases 3–5 of the proof of Theorem 1.5, so they are load-bearing for the application. Since the proof of Proposition 4.3 is already quite involved, the reader cannot easily verify the omitted claims. Please include the proofs or provide a detailed derivation of the presentations.
minor comments (5)
  1. [Section 2.3] The phrase 'a configuration of m wicket' should read 'a configuration of m wickets', and several typos such as 'equivalene', 'similaly', and 'Hurewitz' appear throughout the paper.
  2. [Section 2.4, proof of Theorem 1.3 (if part)] The variable g is used in the final sentence of the proof ('F is (c,d)-component and genus g') but is not defined. If g denotes the total genus in the sense that χ = 2(c+d) − g, this should be stated explicitly.
  3. [Section 2.4, proof of Theorem 1.3 (if part)] The inference that H_1(R^4\F) ≅ Z^c ⊕ (Z/2)^d forces F to have exactly c orientable and d non-orientable components is left implicit. This follows from Alexander duality and the structure of H^2 of a closed surface, but the proof should cite it explicitly.
  4. [Section 4.1] The section heading contains the typo 'Thoerem' instead of 'Theorem'. In Case 2, the notation 'x1 = x(x3 x2)^k_2' is garbled and should be rewritten with clear subscripts.
  5. [Section 4, proof of Proposition 4.3] The list of 16 relations contains an apparent typo/OCR artifact ('yy =← −y x−1'), and the subsequent simplification of the 14 relations to the dihedral quandle is very terse. Please clarify the notation and the steps of the computation.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the characterization is derived from independent structural results on plat closures, not from the target statement itself.

full rationale

The paper's central characterization (Theorems 1.3 and 1.4) is not circular. The target statements are not assumed as inputs. The only-if directions derive the algebraic conditions from the geometry of surface-links, using the author's earlier plat-closure theorem and the cited presentation results for plat closures. The if-directions construct a braided surface and its plat closure from a given algebraic presentation, relying on Rudolph's braid-system classification and Brendle-Hatcher's description of the Hilden subgroup. These are external structural facts, not reformulations of the conclusion being proved. The heavy dependence on the author's prior work ([22] and [23]) is self-citation that is load-bearing, but it is not circular: those prior results concern the existence and algebraic presentation of plat closures, and they do not contain or presuppose the characterization of knot groups or knot symmetric quandles proved here. The brief if-part outline for Theorem 1.4 is terse, but it explicitly reuses the argument from Theorem 1.3, which is already given in detail, so the brevity is a presentation choice rather than a circular step. No fitted parameter is renamed as a prediction, no uniqueness claim is imported solely from the authors' prior work, and no known result is merely relabeled. The possible concern that membership in K2m only guarantees generation by adequate braids, rather than adequacy of the product, concerns the strength of a cited external theorem and the rigor of an inference, not circularity. Overall, the derivation chain is independent of its conclusion. Score 0.

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

No numerical constants are fitted to data. The integers m and n in Theorems 1.3 and 1.4 are existential quantifiers; the parameters k and m in Theorem 1.5 are construction choices (e.g., k=n/2, gcd(k,m)=1), not fitted values. The paper introduces algebraic definitions (weak ∂-condition, (2m,n)-presentation with inverses) but no new entities in the sense of the ledger; all objects are standard mathematical ones.

assumptions (6)
  • domain assumption Every surface-link is ambiently isotopic to the plat closure of an adequate braided surface (Prop 2.4, citing [22]).
    Used in the only-if parts of Theorems 1.3 and 1.4 to move from a surface-link to a plat presentation; this is the author's own prior theorem, cited but not reproved.
  • standard math Brendle-Hatcher: the Hilden subgroup K_{2m} is generated by adequate 2m-braids ([3]).
    Used to identify the weak ∂-condition with adequacy of the boundary braid in Propositions 2.5 and 3.8 and in the if-part of Theorem 1.3.
  • standard math Rudolph's theorem: an n-tuple of m-braids is a braid system of some braided surface iff each entry is a conjugate of σ_1 or σ_1^{-1} (Prop 2.2, [19]).
    Used to construct the braided surface S from the given braid system in the if-parts of Theorems 1.3 and 1.4.
  • domain assumption Alexander duality: H_1(R^4∖F) ≅ Z^c ⊕ (Z/2)^d for a (c,d)-component surface-link F.
    Used in condition (3) of Theorem 1.3 and its proof; also invoked implicitly in the if-part to conclude the constructed plat closure has the claimed numbers of orientable and non-orientable components.
  • standard math Kamada-Oshiro classification of good involutions of dihedral quandles ([15]).
    Used in Theorem 1.5 to split the proof into cases (identity, antipodal, half-antipodal).
  • standard math Oshiro's identification of the double of R_{2n+1} with (R_{4n+2}, ρ_A).
    Used in Case 1 of Theorem 1.5 to identify the knot symmetric quandle X(F) with (R_n, ρ_A).

how reviews work

0 comments
Cite this review

Pith. "Pith review of Characterizations of knot groups and knot symmetric quandles of surface-links." pith.science (2026). https://pith.science/paper/XKUZW6CW

@misc{pith2026241220081,
  author       = {Pith},
  title        = {Pith review of: Characterizations of knot groups and knot symmetric quandles of surface-links},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/XKUZW6CW}},
  note         = {Machine review of arXiv:2412.20081}
}
read the original abstract

The knot group is the fundamental group of a knot or link complement. A necessary and sufficient conditions for a group to be realized as the knot group of some link was provided. This result was shown using the closed braid method. Gonz\'alez-Acu\~na and Kamada independently extended this characterization to the knot groups of orientable surface-links. Kamada applied the closed 2-dimensional braid method to show this result. In this paper, we generalize these results to characterize the knot groups of surface-links, including non-orientable ones. We use a plat presentation for surface-links to prove it. Furthermore, we show a similar characterization for the knot symmetric quandles of surface-links. As an application, we show that every dihedral quandle with an arbitrarily good involution can be realized as the knot symmetric quandle of a surface-link.

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. Associated groups of symmetric quandles

    math.GT 2025-05 accept novelty 6.0 of 10

    Symmetric quandle associated groups are characterized: the underlying quandle's group is a central extension of the symmetric one with a free abelian kernel, and embeddability is equivalent.

Reference graph

Works this paper leans on

25 extracted references · 16 canonical work pages · cited by 1 Pith paper

  1. [1]

    Alexander

    James W. Alexander. A lemma on systems of knotted curves. Proceedings of the National Academy of Sciences of the United States of America, 9(3):93–95, 1923

    work page 1923

  2. [2]

    Theorie der Z ¨opfe

    Emil Artin. Theorie der Z ¨opfe. Abh. Math. Sem. Univ. Hamburg, 4(1):47–72, 1925

    1925

  3. [3]

    Configuration spaces of rings and wickets

    Tara Brendle and Allen Hatcher. Configuration spaces of rings and wickets. Commentarii Mathematici Helvetici, 88, 05 2008

    work page 2008

  4. [4]

    Dhanwani, Hitesh Raundal, and Mahender Singh

    Neeraj K. Dhanwani, Hitesh Raundal, and Mahender Singh. Presentations of Dehn quandles. J. Algebra, 636:207–247, 2023

    work page 2023

  5. [5]

    Racks and links in codimension two

    Roger Fenn and Colin Rourke. Racks and links in codimension two. J. Knot Theory Ramifications, 1(4):343–406, 1992

    work page 1992

  6. [6]

    Gonz ´alez-Acu˜na

    F. Gonz ´alez-Acu˜na. A characterization of 2-knot groups. Rev. Mat. Iberoamericana, 10(2):221–228, 1994

    work page 1994

  7. [7]

    On the knot quandle of a fibered knot, finiteness and equivalence of knot quandles

    Ayumu Inoue. On the knot quandle of a fibered knot, finiteness and equivalence of knot quandles. Topology Appl., 265:106811, 8, 2019

    work page 2019

  8. [8]

    D. Joyce. A classifying invariants of knots. J. Pure. Appl. Alg., 23:37–65, 1982

    work page 1982

Show all 25 references
  1. [9]

    Non-orientable surfaces in 4-space

    Seiichi Kamada. Non-orientable surfaces in 4-space. Osaka J. Math., 26(2):367–385, 1989

    1989

  2. [10]

    A characterization of groups of closed orientable surfaces in 4-space

    Seiichi Kamada. A characterization of groups of closed orientable surfaces in 4-space. Topology, 33(1):113–122, 1994

    1994

  3. [11]

    On braid monodromies of non-simple braided surfaces

    Seiichi Kamada. On braid monodromies of non-simple braided surfaces. Math. Proc. Cambridge Philos. Soc., 120(2):237–245, 1996

    1996

  4. [12]

    Quandles with good involutions, their homologies and knot invariants

    Seiichi Kamada. Quandles with good involutions, their homologies and knot invariants. Intelligence of Low Dimensional Topology 2006, pages 101–108, 01 2007

    2006

  5. [13]

    Quandles and symmetric quandles for higher dimensional knots

    Seiichi Kamada. Quandles and symmetric quandles for higher dimensional knots. In Knots in Poland III. Part III , volume 103 of Banach Center Publ., pages 145–158. Polish Acad. Sci. Inst. Math., Warsaw, 2014

    2014

  6. [14]

    Surface-Knots in 4-Space

    Seiichi Kamada. Surface-Knots in 4-Space. Springer Monographs in Mathematics. Springer, 2017

    2017

  7. [15]

    Homology groups of symmetric quandles and cocycle invariants of links and surface-links.Trans

    Seiichi Kamada and Kanako Oshiro. Homology groups of symmetric quandles and cocycle invariants of links and surface-links.Trans. Amer. Math. Soc., 362(10):5501–5527, 2010

    2010

  8. [16]

    On the Alexander polynomials of 2-spheres in a 4-sphere

    Shin’ichi Kinoshita. On the Alexander polynomials of 2-spheres in a 4-sphere. Ann. of Math. (2), 74:518–531, 1961

    1961

  9. [17]

    S. Matveev. Distributive groupoids in knot theory. Math. USSR-Sb, 47:73–83, 1984

    1984

  10. [18]

    Quandles versus symmetric quandles for oriented links

    Kanako Oshiro. Quandles versus symmetric quandles for oriented links. arXiv:2010.09983, 2020

    2010 arXiv

  11. [19]

    Braided surfaces and Seifert ribbons for closed braids

    Lee Rudolph. Braided surfaces and Seifert ribbons for closed braids. Comment. Math. Helv., 58(1):1–37, 1983

    1983

  12. [20]

    2-knots with the same knot group but different knot quandles

    Kokoro Tanaka and Yuta Taniguchi. 2-knots with the same knot group but different knot quandles. arXiv:2308.07782, 2023

    2023 arXiv

  13. [21]

    O.Ya. Viro. Lecture given at osaka city university. September 1990

    1990

  14. [22]

    A plat form presentation for surface-links

    Jumpei Yasuda. A plat form presentation for surface-links. to appear in Osaka J. Math., 2021

    2021

  15. [23]

    Computation of the knot symmetric quandle and its application to the plat index of surface-links

    Jumpei Yasuda. Computation of the knot symmetric quandle and its application to the plat index of surface-links. J. Knot Theory Ramifications, 33(03):2450005, 2024

    2024

  16. [24]

    An enumeration of surfaces in four-space

    Katsuyuki Yoshikawa. An enumeration of surfaces in four-space. Osaka Journal of Mathematics, 31(3):497 – 522, 1994

    1994

  17. [25]

    E. C. Zeeman. Twisting spun knots. Trans. Amer. Math. Soc., 115:471–495, 1965. Department of Mathematics, Graduate School of Science, Osaka University, Toyonaka, Osaka 560-0043, Japan Email address: u444951d@ecs.osaka-u.ac.jp

    1965

Pith tools

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