pith. sign in

arxiv: 2604.06514 · v1 · submitted 2026-04-07 · 🧮 math.GT

Structure and unique factorization in concordance groups of links

Kouki Sato , Akira Yasuhara This is my paper

Pith reviewed 2026-05-10 17:43 UTC · model grok-4.3

classification 🧮 math.GT
keywords link concordancemarked linksconcordance groupsunique factorizationprime decompositionnormal formknot concordance
0
0 comments X

The pith

The complements of the knot concordance group in two marked-component link concordance groups are each isomorphic to Z^∞ ⊕ (Z/2Z)^∞ and admit unique prime factorizations.

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

Donald and Owens introduced two groups of links with one marked component, up to concordance. Each group contains the usual knot concordance group as a direct summand. The paper determines the structure of the remaining part of each group after removing that summand. It proves both remaining parts are the direct sum of countably infinitely many copies of the integers with countably infinitely many copies of the integers modulo two. The paper defines prime elements inside these groups and proves every element factors uniquely into primes, supplying a canonical normal form for the entire group.

Core claim

Both complements are isomorphic to Z^∞ ⊕ (Z/2Z)^∞. We introduce a notion of prime element and establish a unique prime decomposition theorem. This yields a canonical normal form, providing a complete description of the group structure.

What carries the argument

Prime elements in the marked link concordance groups, which generate every class under unique factorization together with the knot summand.

If this is right

  • Every marked link has a unique normal form consisting of a finite product of primes multiplied by a knot concordance class.
  • The groups contain infinitely many linearly independent elements of infinite order lying outside the knot summand.
  • The groups also contain infinitely many independent elements of order exactly two lying outside the knot summand.
  • The entire group structure is now classified up to isomorphism by counting the exponents of each prime and the knot part.

Where Pith is reading between the lines

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

  • The unique factorization may reduce the problem of deciding concordance between two marked links to checking finitely many prime factors.
  • The decomposition suggests these groups behave like unique factorization domains, which could guide the search for new concordance invariants that detect individual primes.
  • Geometric constructions realizing the generating primes would immediately yield explicit generators for the infinite-rank free and torsion summands.

Load-bearing premise

The knot concordance group sits as a direct summand in each of the two larger groups, and the complement can be isolated and studied independently using the definitions and tools from Donald and Owens.

What would settle it

A specific marked link whose concordance class either has torsion of order other than two or cannot be expressed as a finite product of the primes times an element of the knot concordance group.

Figures

Figures reproduced from arXiv: 2604.06514 by Akira Yasuhara, Kouki Sato.

Figure 1
Figure 1. Figure 1: Marked oriented links Wn and Bn By ignoring the orientations on the unmarked component of a marked oriented link, we have the natural epimorphism ρ : Le0 −→ L0. We also regard ρ as a map from the [PITH_FULL_IMAGE:figures/full_fig_p003_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Surfaces F bounded by marked components and a basis a1, a2 of H1(F) ｛ n … -1/n 1/n -1/n 1/n … ( ｛ -n)-full twists [PITH_FULL_IMAGE:figures/full_fig_p009_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: A planar surface in S 3 ×[0, 1] from Cn,1(W) to a twist knot Kn Next, let us consider the assertion for Bn in Proposition 1.5. Let B = O ∪ K1 ∪ K2 be the Borromean rings with marked component O and Pn ⊂ S 1 × D2 a pattern with winding number n. Set Pn(B) := O ∪ Pn(K1) ∪ P ∗ n (K2), where P ∗ n is the mirror of Pn. Then we see Cn,1(B) = Bn, and the assertion for Bn in Proposition 1.5 is a consequence of the… view at source ↗
Figure 4
Figure 4. Figure 4: An isotopy from B to −B∗ Proof of Proposition 1.5. Since Wn = Cn,1(W), Bn = Cn,1(B) and w(Cn,1) = n, Proposi￾tion 1.5 immediately follows from Propositions 3.1 and 3.7. □ Proof of Theorem 1.2. This immediately follows from Theorem 2.6 and Proposition 1.5. □ Proof of Theorem 1.7. By Theorem 2.6, we have a direct decomposition Ker ρ = (Ker ρ ∩ Le∞) ⊕ (Ker ρ ∩ Le2) such that • Ker ρ ∩ Le∞ is an free abelian g… view at source ↗
read the original abstract

Donald and Owens introduced two link concordance groups with a marked component and showed that they contain the knot concordance group as a direct summand with infinitely generated complements. While not explicitly posed by Donald and Owens, the problem of determining the structure of these complements arises naturally from their work. In this paper, we completely resolve this problem by proving that both complements are isomorphic to $\mathbb{Z}^{\infty} \oplus (\mathbb{Z}/2\mathbb{Z})^{\infty}$. Moreover, we introduce a notion of prime element and establish a unique prime decomposition theorem. This yields a canonical normal form, providing a complete description of the group structure.

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

2 major / 2 minor

Summary. The manuscript resolves the open problem of determining the structure of the complements of the knot concordance group inside the two link concordance groups with a marked component introduced by Donald and Owens. It proves that both complements are isomorphic to ℤ^∞ ⊕ (ℤ/2ℤ)^∞, introduces a notion of prime element in these groups, and establishes a unique prime decomposition theorem yielding a canonical normal form.

Significance. If the proofs are correct, the result supplies a complete algebraic description of these groups, including explicit generators, relations, and a normal form. This completes the structural analysis begun by Donald and Owens and provides a concrete tool for studying concordance classes of links with a marked component. The unique factorization theorem is a notable strengthening that goes beyond mere isomorphism type.

major comments (2)
  1. [§4, Theorem 4.3] §4, Theorem 4.3: the claim that the constructed elements generate the full complement and are linearly independent over ℤ and ℤ/2ℤ rests on the detection properties of the invariants; an explicit verification that no additional relations exist among the infinite families would strengthen the argument.
  2. [§6, Theorem 6.1] §6, Theorem 6.1: the uniqueness part of the prime decomposition requires that the group be cancellative and that primes are irreducible in a strong sense; the proof sketch should confirm that the chosen notion of primality precludes non-unique factorizations arising from the torsion summand.
minor comments (2)
  1. [Introduction] The two variants of the marked-component concordance groups are distinguished only by a short sentence in the introduction; a brief table or diagram contrasting their definitions would improve readability.
  2. [§3] Notation for the infinite direct sums is introduced without a preliminary remark on the indexing sets; adding a sentence clarifying the countable indexing would prevent minor confusion.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading, positive assessment, and constructive suggestions. We address each major comment below and will incorporate clarifications in the revised manuscript to strengthen the exposition.

read point-by-point responses

  1. Referee: [§4, Theorem 4.3] §4, Theorem 4.3: the claim that the constructed elements generate the full complement and are linearly independent over ℤ and ℤ/2ℤ rests on the detection properties of the invariants; an explicit verification that no additional relations exist among the infinite families would strengthen the argument.

    Authors: We appreciate the suggestion to make the independence argument more explicit. In the proof of Theorem 4.3, generation of the complement follows from the construction via connected sums with the given families, while linear independence over ℤ and ℤ/2ℤ is deduced from the additivity of the invariants together with their detection properties on each family. To address the referee's point directly, we will insert a short paragraph in the revised version that explicitly verifies the absence of additional relations: for any finite linear combination with integer (or mod-2) coefficients, applying the relevant invariants to the combination yields a system of equations forcing all coefficients to vanish, confirming that the families remain independent even when taken together. revision: yes

  2. Referee: [§6, Theorem 6.1] §6, Theorem 6.1: the uniqueness part of the prime decomposition requires that the group be cancellative and that primes are irreducible in a strong sense; the proof sketch should confirm that the chosen notion of primality precludes non-unique factorizations arising from the torsion summand.

    Authors: The referee correctly identifies the key algebraic requirements. The group is cancellative because it is an abelian group (specifically, a direct sum of a free abelian group and a 2-torsion group). We will expand the proof of Theorem 6.1 in the revision to include a brief lemma establishing cancellativity and to verify that the chosen definition of primality—an element p is prime if it is non-unit and p divides ab implies p divides a or b—prevents non-unique factorizations involving the torsion summand. In particular, we will note that torsion elements have order dividing 2 and thus cannot be absorbed into or interchanged with free generators without violating the order or the divisibility condition, ensuring that the unique decomposition respects the direct-sum decomposition. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper cites Donald and Owens for the definition of the two link concordance groups and the fact that the knot concordance group is a direct summand, then supplies an independent proof that the complements are isomorphic to Z^∞ ⊕ (Z/2Z)^∞ via explicit generators, detecting invariants, and a uniqueness theorem for the newly introduced prime elements. No derivation step reduces by construction to a fitted parameter, self-referential definition, or load-bearing self-citation; the central structural result and normal form are established by direct argument within the manuscript.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The paper relies on the standard axioms of group theory and the domain-specific definitions of link concordance introduced by Donald and Owens; it introduces the new concept of prime elements whose independent evidence is the uniqueness theorem itself.

axioms (2)
  • domain assumption The knot concordance group is a direct summand of each marked link concordance group
    Invoked in the abstract as the starting point from Donald-Owens; the complement is then analyzed separately.
  • standard math Standard properties of abelian groups and direct sums hold in the concordance setting
    Used implicitly to state the isomorphism type Z^∞ ⊕ (Z/2Z)^∞.
invented entities (1)
  • prime element in the concordance group no independent evidence
    purpose: To formulate and prove the unique decomposition theorem
    New notion introduced by the authors; no external falsifiable prediction is stated in the abstract.

pith-pipeline@v0.9.0 · 5389 in / 1426 out tokens · 34545 ms · 2026-05-10T17:43:01.400051+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

5 extracted references · 5 canonical work pages

  1. [1]

    Donald and B

    A. Donald and B. Owens,Concordance groups of links, Alg. Geom. Topol.12, 2069–2093 (2012). https://doi.org/10.2140/agt.2012.12.2069

    work page doi:10.2140/agt.2012.12.2069 2069

  2. [2]

    J. H. Przytycki and A. Yasuhara,Linking numbers in rational homology 3-spheres, cyclic branched covers and infinite cyclic covers, Trans. Amer Math. Soc.365, 3669–3685 (2004). https://doi.org/10.1090/S0002-9947-04-03423-3

    work page doi:10.1090/s0002-9947-04-03423-3 2004

  3. [3]

    Goeritz,Knoten und quadratische Formen, Math

    L. Goeritz,Knoten und quadratische Formen, Math. Z.36, 647– 654 (1933). https://doi.org/10.1007/BF01188642

    work page doi:10.1007/bf01188642 1933

  4. [4]

    C. McA. Gordon and R. A. Litherland,On the signature of a link, Invent. Math.47, 53–69 (1978). https://doi.org/10.1007/BF01609479

    work page doi:10.1007/bf01609479 1978

  5. [5]

    Yasuhara,Connecting lemmas and representing homology classes of simply connected 4-manifolds, Tokyo J

    A. Yasuhara,Connecting lemmas and representing homology classes of simply connected 4-manifolds, Tokyo J. Math.19, no. 1, 245–261 (1996). https://doi.org/10.3836/tjm/1270043232 Department of Mathematics, Meijo University, 1-501 Shiogamaguchi, Tempaku-ku, Nagoya 468-8502, Japan Email address:satokou@meijo-u.ac.jp F aculty of Commerce, W aseda University, 1...

    work page doi:10.3836/tjm/1270043232 1996