pith. sign in

arxiv: 2604.07724 · v1 · submitted 2026-04-09 · 🧮 math.GT

Chirality of torus-covering T²-links of degree three

Hohto Bekki , Teruhisa Kadokami , Inasa Nakamura This is my paper

Pith reviewed 2026-05-10 18:13 UTC · model grok-4.3

classification 🧮 math.GT
keywords torus-covering linksT2-linkschiralityquandle cocycle invariantstri-coloringsFox coloringssurface-links3-braids
0
0 comments X

The pith

The quandle cocycle invariant for tri-colorings is determined explicitly for every torus-covering T²-link of degree three.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

Torus-covering T²-links of degree three are surface-links in four-space obtained as unbranched three-fold coverings of the standard torus. Each such link is represented by a pair of commuting 3-braids (a, b) with ab = ba, written S₃(a,b). The authors check how well several invariants distinguish these links from their mirror images, including triple linking numbers, counts of Fox p-colorings, and the quandle cocycle invariant tied to tri-colorings. They compute the cocycle invariant in full for the tri-coloring case. A sympathetic reader cares because this supplies a concrete algebraic test for chirality in an infinite family of surface-links.

Core claim

For the torus-covering T²-link S₃(a,b) of degree three given by any commuting pair of 3-braids a and b, the quandle cocycle invariant associated with tri-colorings takes an explicit value that, together with the triple linking numbers and the number of Fox p-colorings, detects whether the link coincides with its mirror image.

What carries the argument

The quandle cocycle invariant associated with tri-colorings evaluated on the link S₃(a,b).

If this is right

  • Whenever the computed cocycle invariant of S₃(a,b) differs from that of its mirror, the link must be chiral.
  • The triple linking numbers supply an independent numerical test that rules out amphicheirality for some pairs (a,b).
  • The count of Fox p-colorings further restricts which links can be amphicheiral.
  • The full determination of the cocycle invariant gives a practical algorithm for checking chirality across the whole family.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same cocycle calculation may extend directly to higher-degree torus-covering links once the corresponding quandle is identified.
  • One could test the formula on the standard torus itself or on any known amphicheiral example to obtain a consistency check.
  • The braid-commutation condition ab = ba may connect this construction to other algebraic invariants of surface-links in four-space.

Load-bearing premise

Every torus-covering T²-link of degree three arises exactly from some commuting pair of 3-braids a and b with ab = ba.

What would settle it

An explicit computation of the invariant for one concrete pair (a,b) that yields a value different from the value obtained for the mirror link when independent geometric evidence shows the two links are the same.

Figures

Figures reproduced from arXiv: 2604.07724 by Hohto Bekki, Inasa Nakamura, Teruhisa Kadokami.

Figure 1
Figure 1. Figure 1: A positive triple point and a negative triple point of type (i, j, k). Theorem 4.1 ([13, Theorem 1.1]). Let (a, b) be pure n-braids which com￾mute (n ≥ 3). Then the triple linking numbers of F = Sn(a, b) are computed as Tlki,j,k(F) = −Lki,j (ˆa)Lkj,k( ˆb) + Lki,j ( ˆb)Lkj,k(ˆa). In particular,   Tlk1,2,3(F) Tlk2,3,1(F) Tlk3,1,2(F)   = −   Lk3,1(ˆa) Lk1,2(ˆa) Lk2,3(ˆa)   ×   Lk3,1( ˆb) Lk1,2( ˆb) … view at source ↗
Figure 2
Figure 2. Figure 2: The quandle coloring rule, where x, y ∈ X. We present the orientation of the over-sheet by its normal vector. The orientation of under-arcs or under-sheets is arbitrary. 5.2. Dihedral quandles. Let N ≥ 0 be an integer. A dihedral quandle RN is given by the set RN = Z/NZ with the binary operation x ∗ y = 2y − x, where x, y ∈ RN . For a dihedral quandle RN (N ̸= 0), we call an RN - coloring an N-coloring. Le… view at source ↗
Figure 3
Figure 3. Figure 3: We denote by X3(D) the set of triple points of D. Put Φf (F; C) = X τ∈X3(D) Wf (τ ; C). It is known that Φf (F; C) is invariant under Roseman moves for diagrams colored by X. We call Φf (F; C) the quandle cocycle invariant of F asso￾ciated with an X-coloring C and a 3-cocycle f. Since we consider a finite quandle X, the set of sheets B(D) is a finite set, so ColX(D) consists of a finite number of elements.… view at source ↗
Figure 4
Figure 4. Figure 4: Given C and x, the map C ∗ x exists uniquely. We call the color of the un￾bounded region the base color. For a 3-cocycle f and C and x, we define the weight W∗ f (τ ; C, x) at a crossing τ as in [PITH_FULL_IMAGE:figures/full_fig_p017_4.png] view at source ↗
read the original abstract

A torus-covering $T^2$-link of degree $n$ is a surface-link consisting of tori, in the form of an unbranched covering of degree $n$ over the standard torus. We focus on a torus-covering $T^2$-link of degree 3, which is determined by a pair $(a,b)$ of 3-braids satisfying $ab=ba$, denoted by $\mathcal{S}_3(a,b)$. We investigate to what extent the chirality of $\mathcal{S}_3(a,b)$ is detected by invariants such as the triple linking numbers, the number of Fox $p$-colorings, and the quandle cocycle invariant associated with $p$-colorings. In particular, we determine the quandle cocycle invariant for $\mathcal{S}_3(a,b)$ associated with tri-colorings.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The manuscript studies torus-covering T²-links of degree 3, parametrized by commuting pairs of 3-braids (a,b) with ab=ba and denoted S₃(a,b). It examines the detection of chirality via triple linking numbers, the number of Fox p-colorings, and the quandle cocycle invariant associated with p-colorings, with the central result being an explicit determination of the quandle cocycle invariant for tri-colorings on this family.

Significance. The explicit computation of the quandle cocycle invariant supplies concrete, usable data for distinguishing chiral and amphichiral examples within a well-parametrized class of surface-links. This strengthens the toolkit of invariants available for surface-knot classification and may support future enumeration or recognition results in geometric topology.

minor comments (3)
  1. [§2] §2 (Definition of S₃(a,b)): the commuting condition ab=ba is stated but the precise embedding into the torus-covering construction is not illustrated with a low-degree example; adding one would clarify the parametrization for readers.
  2. [§4] §4 (Quandle cocycle computation): the final formula for the invariant is given in terms of the braid pair, but the intermediate step counting the contributions from each tri-coloring class is only sketched; a short table of representative colorings for the smallest pairs would make the derivation easier to verify.
  3. [References] References: several standard citations on quandle cocycle invariants (e.g., Carter–Kamada–Satoh) are present, but the manuscript does not compare its results with the known values for the corresponding torus-links in S³; a brief remark would situate the new data.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive evaluation of our manuscript and for recommending minor revision. We appreciate the recognition that the explicit computation of the quandle cocycle invariant provides concrete data for distinguishing chiral and amphichiral torus-covering T²-links. No specific major comments were provided in the report, so we note the recommendation and will make any minor editorial adjustments in the revised version.

Circularity Check

0 steps flagged

No significant circularity in derivation chain

full rationale

The paper defines the family of torus-covering T^2-links of degree 3 directly via commuting pairs of 3-braids denoted S_3(a,b) with ab=ba, then applies standard invariants (triple linking numbers, Fox p-colorings, quandle cocycle invariants for tri-colorings) to compute their values on this family. This constitutes direct computation from the given parametrization rather than any derivation that reduces a claimed result to its own inputs by construction. No self-definitional equations, fitted parameters presented as predictions, or load-bearing self-citations appear in the abstract or described claims. The work is self-contained as an application of existing invariant machinery to a parametrized class of objects.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The construction rests on standard definitions from braid groups and quandle cohomology; no new free parameters, ad-hoc axioms, or invented entities are introduced in the abstract.

axioms (2)
  • standard math 3-braids a and b satisfy ab = ba to define a consistent torus-covering link
    Invoked in the definition of S_3(a,b) in the abstract.
  • standard math Quandle cocycle invariants are well-defined algebraic objects associated to colorings
    Used without further justification for the tri-coloring case.

pith-pipeline@v0.9.0 · 5451 in / 1409 out tokens · 92779 ms · 2026-05-10T18:13:17.275347+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

14 extracted references · 14 canonical work pages

  1. [1]

    Asami, S

    S. Asami, S. Satoh, An infinite family of non-invertible surfaces in 4space,Bull. Lond. Math. Soc.37, No. 2 (2005) 285-296

    work page 2005

  2. [2]

    Carter, D

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

    work page 2003

  3. [3]

    Carter, S

    J.S. Carter, S. Kamada, M. Saito,Surfaces in 4-space, Encyclopaedia of Mathematical Sciences 142, Low-Dimensional Topology III, Berlin, Springer-Verlag, 2004

    work page 2004

  4. [4]

    Crowell, R.H

    R.H. Crowell, R.H. Fox,Introduction to Knot Theory, Ginn and Co., Boston, 1963

    work page 1963

  5. [5]

    Elhamdadi, S

    M. Elhamdadi, S. Nelson,Quandles — an introduction to the algebra of knots, Student Mathematical Library, 74. American Mathematical Society, Providence, RI, 2015

    work page 2015

  6. [6]

    R. H. Fox, A quick trip through knot theory, inTopology of 3-Manifoldsed. M. K. Fort, Jr. (Prentice-Hall, Englewood Cliffs, NJ, 1962), pp. 120–167

    work page 1962

  7. [7]

    Lang,Algebraic number theory, Graduate Texts in Mathematics, 110

    S. Lang,Algebraic number theory, Graduate Texts in Mathematics, 110. New York etc.: Springer-Verlag, XIII, 1986

    work page 1986

  8. [8]

    Joyce, A classical invariants of knots, the knot quandle,J

    D. Joyce, A classical invariants of knots, the knot quandle,J. Pure Appl. Algebra23 (1982) 137–160

    work page 1982

  9. [9]

    Kawauchi,A Survey of Knot Theory, Birkh¨ auser Verlag, Basel, 1996

    A. Kawauchi,A Survey of Knot Theory, Birkh¨ auser Verlag, Basel, 1996

    work page 1996

  10. [10]

    G. S. Kopp and J. C. Lagarias, Ray class groups and ray class fields for orders of number fields,Essent. Number Theory4(2025), no. 1, 1–65

    work page 2025

  11. [11]

    Mochizuki, Some calculations of cohomology groups of finite Alexander quandles, J

    T. Mochizuki, Some calculations of cohomology groups of finite Alexander quandles, J. Pure Appl. Algebra179(2003) 287–330

    work page 2003

  12. [12]

    Nakamura, Surface links which are coverings over the standard torus,Algebr

    I. Nakamura, Surface links which are coverings over the standard torus,Algebr. Geom. Topol.11(2011) 1497–1540

    work page 2011

  13. [13]

    Nakamura, Triple linking numbers and triple point numbers of certainT 2-links, Topology Appl.159(2012) 1439–1447

    I. Nakamura, Triple linking numbers and triple point numbers of certainT 2-links, Topology Appl.159(2012) 1439–1447

    work page 2012

  14. [14]

    Nakamura, Unknotting numbers and triple point cancelling numbers of torus- covering knots,J

    I. Nakamura, Unknotting numbers and triple point cancelling numbers of torus- covering knots,J. Knot Theory Ramifications22(2013) 1350010. 24 Department of Mathematics, Information Science and Engineering, Saga University, 1 Honjomachi, Saga, 840-8502, Japan. Email address:bekki@cc.saga-u.ac.jp School of Mechanical Engineering, College of Science and Engi...

    work page 2013