pith. sign in

arxiv: 2505.22282 · v2 · submitted 2025-05-28 · 🧮 math.GT

Uniqueness of free 2-periodicities of links

Ken'ichi Yoshida This is my paper

Pith reviewed 2026-05-19 13:21 UTC · model grok-4.3

classification 🧮 math.GT
keywords linksknotsreal projective spacedouble cover2-periodicityisotopy3-manifoldsantipodal action
0
0 comments X

The pith

If two links in RP^3 have isotopic preimages in S^3 under the double covering map, then the links are isotopic in RP^3.

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

The paper proves that free 2-periodic links in real projective 3-space are uniquely recovered up to isotopy from their preimages in the 3-sphere. When two such links in RP^3 lift to isotopic links in S^3 via the antipodal double cover, the original links must themselves be isotopic. This reduces the classification problem for these periodic objects in the quotient manifold to the corresponding problem for ordinary links in the cover. A reader would care because it removes ambiguity when moving between the two spaces and lets isotopy invariants defined on S^3 transfer directly to RP^3.

Core claim

The central claim is that if two links in RP^3 admit free 2-periodic lifts to S^3 and those lifts are isotopic in S^3, then the two links are isotopic in RP^3.

What carries the argument

The double covering map S^3 to RP^3 induced by the antipodal map, which sends a free 2-periodic link in S^3 to a link in the quotient RP^3.

If this is right

  • Isotopy questions about free 2-periodic links in RP^3 reduce to isotopy questions about their lifts in S^3.
  • Any invariant of links in S^3 that respects the antipodal action descends to an invariant of the corresponding links in RP^3.
  • Two free 2-periodic links in RP^3 that are not isotopic must have non-isotopic preimages in S^3.
  • The result supplies a criterion for deciding when two links in RP^3 belong to the same isotopy class by checking their covers.

Where Pith is reading between the lines

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

  • The uniqueness may allow knot tables or computational enumerations for links in RP^3 to be built by enumerating symmetric links in S^3 instead.
  • Similar uniqueness statements could be tested for other free periodicities or for links in other quotient manifolds obtained from S^3.
  • The result suggests that certain 3-manifold invariants sensitive to the fundamental group of RP^3 might be computable via the cover without additional correction terms.

Load-bearing premise

The links must admit free 2-periodic lifts to S^3 under the antipodal action.

What would settle it

An explicit pair of non-isotopic links in RP^3 whose preimages under the double cover are isotopic in S^3 would falsify the uniqueness statement.

read the original abstract

We show that if two links in the real projective 3-space $\mathbb{RP}^{3}$ have isotopic preimages in the 3-sphere $S^{3}$ by the double covering map, then they are themselves isotopic in $\mathbb{RP}^{3}$.

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

1 major / 1 minor

Summary. The manuscript proves that if two links in RP^3 have isotopic preimages in S^3 under the double covering map, then the links themselves are isotopic in RP^3. This is presented as a uniqueness result for free 2-periodic links.

Significance. If correct, the result would allow classification and invariant computations for links in RP^3 to be reduced to the more standard setting of Z/2-equivariant links in S^3. The clean, parameter-free statement is a strength.

major comments (1)
  1. The central claim requires that an isotopy between the preimages ˜L1 and ˜L2 in S^3 descends to RP^3. Any such isotopy must be made Z/2-equivariant under the antipodal action (or replaced by an equivariant isotopy). The proof must explicitly construct or invoke such an averaging/equivariant isotopy argument; without it the implication does not follow in general.
minor comments (1)
  1. The abstract would be clearer if it briefly noted that the isotopy is taken to be equivariant or is averaged to become so.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and for highlighting this key technical point about equivariance. We address the comment below and will revise the manuscript accordingly.

read point-by-point responses

  1. Referee: The central claim requires that an isotopy between the preimages ˜L1 and ˜L2 in S^3 descends to RP^3. Any such isotopy must be made Z/2-equivariant under the antipodal action (or replaced by an equivariant isotopy). The proof must explicitly construct or invoke such an averaging/equivariant isotopy argument; without it the implication does not follow in general.

    Authors: We agree that a general isotopy in S^3 between the Z/2-invariant preimages need not itself be equivariant, and that an explicit construction is needed for the isotopy to descend to RP^3. In the revised manuscript we will add a short paragraph (or subsection) detailing the standard averaging argument: given any isotopy H_t : S^3 × I → S^3 between the two preimages, define the averaged map (H_t + antipodal ∘ H_t ∘ antipodal)/2; the resulting isotopy is Z/2-equivariant, fixes the preimages setwise, and therefore projects to an isotopy of the original links in RP^3. This addition makes the descent step fully rigorous without altering the overall argument. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper claims a uniqueness result: isotopic preimages under the double cover S^3 → RP^3 imply the links are isotopic in RP^3, assuming free 2-periodic lifts. No equations, self-definitions, fitted parameters renamed as predictions, or load-bearing self-citations are exhibited in the abstract or described structure. The argument relies on standard properties of covering maps and isotopies in 3-manifold topology, which are independent of the target claim and externally verifiable. No reduction of the result to its own inputs by construction occurs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Only the abstract is available, so the ledger reflects standard background assumptions in 3-manifold topology rather than paper-specific details.

axioms (1)
  • standard math Standard properties of the double covering map S^3 to RP^3 and isotopy of links in covering spaces.
    The theorem relies on covering-space theory and equivariant isotopy, which are established background results.

pith-pipeline@v0.9.0 · 5549 in / 1110 out tokens · 39840 ms · 2026-05-19T13:21:37.770616+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

36 extracted references · 36 canonical work pages

  1. [1]

    Baker, J

    Kenneth L. Baker, J. Elisenda Grigsby, and Matthew Hedden. Grid diagrams for lens spaces and combinatorial knot Floer homology.Int. Math. Res. Not., 2008:rnn024, 2008

    work page 2008

  2. [2]

    Uniqueness of free actions onS 3 respecting a knot.Canad

    Michel Boileau and Erica Flapan. Uniqueness of free actions onS 3 respecting a knot.Canad. J. Math., 39(4):969–982, 1987

    work page 1987

  3. [3]

    Diff´ eotopies des espaces lenticulaires.Topology, 22(3):305–314, 1983

    Francis Bonahon. Diff´ eotopies des espaces lenticulaires.Topology, 22(3):305–314, 1983

    work page 1983

  4. [4]

    Involutions of alternating links.Proc

    Keegan Boyle. Involutions of alternating links.Proc. Amer. Math. Soc., 149(7):3113–3128, 2021

    work page 2021

  5. [5]

    Obstructions to free periodicity and symmetric L-space knots.arXiv preprint arXiv:2310.01705, 2023

    Keegan Boyle and Nicholas Rouse. Obstructions to free periodicity and symmetric L-space knots.arXiv preprint arXiv:2310.01705, 2023

    work page arXiv 2023

  6. [6]

    Freely 2-periodic knots have two canonical components

    Keegan Boyle and Nicholas Rouse. Freely 2-periodic knots have two canonical components. arXiv preprint arXiv:2403.07157, 2024

    work page arXiv 2024

  7. [7]

    Types of symmetries of knots.arXiv preprint arXiv:2306.04812, 2023

    Keegan Boyle, Nicholas Rouse, and Ben Williams. Types of symmetries of knots.arXiv preprint arXiv:2306.04812, 2023

    work page arXiv 2023

  8. [8]

    Bredon and John W

    Glen E. Bredon and John W. Wood. Non-orientable surfaces in orientable 3-manifolds.Invent. Math., 7(2):83–110, 1969

    work page 1969

  9. [9]

    JSJ-decompositions of knot and link complements in the 3-sphere.Enseign

    Ryan Budney. JSJ-decompositions of knot and link complements in the 3-sphere.Enseign. Math., 52(2):319–359, 2006. 10 KEN’ICHI YOSHIDA

    work page 2006

  10. [10]

    Diffeomorphic vs isotopic links in lens spaces

    Alessia Cattabriga and Enrico Manfredi. Diffeomorphic vs isotopic links in lens spaces. Mediterr. J. Math., 15(4):172, 2018

    work page 2018

  11. [11]

    On knots and links in lens spaces.Topology Appl., 160(2):430–442, 2013

    Alessia Cattabriga, Enrico Manfredi, and Michele Mulazzani. On knots and links in lens spaces.Topology Appl., 160(2):430–442, 2013

    work page 2013

  12. [12]

    A new criterion for knots with free periods.Ann

    Nafaa Chbili. A new criterion for knots with free periods.Ann. Fac. Sci. Toulouse Math., 12(4):465–477, 2003

    work page 2003

  13. [13]

    On knots with cyclic symmetries.Symmetry, 16(11):1418, 2024

    Nafaa Chbili. On knots with cyclic symmetries.Symmetry, 16(11):1418, 2024

    work page 2024

  14. [14]

    Costa and Cam Van Quach Hongler

    Antonio F. Costa and Cam Van Quach Hongler. Periodicity and free periodicity of alternating knots.Topology Appl., 339:108582, 2023

    work page 2023

  15. [15]

    Equivariant Ricci flow with surgery and applica- tions to finite group actions on geometric 3–manifolds.Geometry & Topology, 13(2):1129– 1173, 2009

    Jonathan Dinkelbach and Bernhard Leeb. Equivariant Ricci flow with surgery and applica- tions to finite group actions on geometric 3–manifolds.Geometry & Topology, 13(2):1129– 1173, 2009

    work page 2009

  16. [16]

    Drobotukhina

    Yulia V. Drobotukhina. An analogue of the Jones polynomial for links inRP 3 and a gener- alization of the Kauffman–Murasugi theorem.Algebra i Analiz, 2(3):171–191, 1990

    work page 1990

  17. [17]

    Klein bottles in lens spaces.Involve, 16(4):621–636, 2023

    Hansj¨ org Geiges and Norman Thies. Klein bottles in lens spaces.Involve, 16(4):621–636, 2023

    work page 2023

  18. [18]

    Knots with free period.Canad

    Richard Hartley. Knots with free period.Canad. J. Math., 33(1):91–102, 1981

    work page 1981

  19. [19]

    Notes on basic 3-manifold topology, 2007.https://pi.math.cornell.edu/ ~hatcher/3M/3Mdownloads.html

    Allen Hatcher. Notes on basic 3-manifold topology, 2007.https://pi.math.cornell.edu/ ~hatcher/3M/3Mdownloads.html

    work page 2007

  20. [20]

    Involutions and isotopies of lens spaces

    Craig Hodgson and Joachim Hyam Rubinstein. Involutions and isotopies of lens spaces. In Knot Theory and Manifolds: Proceedings of a Conference held in Vancouver, Canada, June 2–4, 1983, pages 60–96. Springer, 1985

    work page 1983

  21. [21]

    Jaco and Peter B

    William H. Jaco and Peter B. Shalen. Seifert fibered spaces in 3-manifolds.Mem. Amer. Math. Soc., 21(220), 1979

    work page 1979

  22. [22]

    Springer, 1979

    Klaus Johannson.Homotopy equivalences of 3-manifolds with boundaries, volume 761 of Lecture Notes in Mathematics. Springer, 1979

    work page 1979

  23. [23]

    Geschlossene Fl¨ achen in dreidimensionalen Mannigfaltigkeiten.Jahres- bericht der Deutschen Mathematiker-Vereinigung, 38:248–259, 1929

    Hellmuth Kneser. Geschlossene Fl¨ achen in dreidimensionalen Mannigfaltigkeiten.Jahres- bericht der Deutschen Mathematiker-Vereinigung, 38:248–259, 1929

    work page 1929

  24. [24]

    Matsumoto, and Ken’ichi Yoshida

    Yuka Kotorii, Sonia Mahmoudi, Elisabetta A. Matsumoto, and Ken’ichi Yoshida. On the iso- topies of tangles in periodic 3-manifolds using finite covers.arXiv preprint arXiv:2505.20940, 2025

    work page arXiv 2025

  25. [25]

    George R. Livesay. Fixed point free involutions on the 3-sphere.Ann. of Math., 72(3):603–611, 1960

    work page 1960

  26. [26]

    Lift in the 3-sphere of knots and links in lens spaces.J

    Enrico Manfredi. Lift in the 3-sphere of knots and links in lens spaces.J. Knot Theory Ramifications, 23(5):1450022, 2014

    work page 2014

  27. [27]

    A unique decomposition theorem for 3-manifolds.Amer

    John Milnor. A unique decomposition theorem for 3-manifolds.Amer. J. Math., 84(1):1–7, 1962

    work page 1962

  28. [28]

    Geometry of knots in real projective 3-space.J

    Rama Mishra and Visakh Narayanan. Geometry of knots in real projective 3-space.J. Knot Theory Ramifications, 32(10):2350068, 2023

    work page 2023

  29. [29]

    Ram´ ırez Alfons´ ın, and Iv´ an Rasskin

    Luis Montejano, Jorge L. Ram´ ırez Alfons´ ın, and Iv´ an Rasskin. Self-dual maps III: projective links.J. Knot Theory Ramifications, 32(10):2350066, 2023

    work page 2023

  30. [30]

    Mostow.Strong rigidity of locally symmetric spaces, volume 78 ofAnn

    George D. Mostow.Strong rigidity of locally symmetric spaces, volume 78 ofAnn. of Math. Studies. Princeton Univ. Press, 1973

    work page 1973

  31. [31]

    An explicit relation between knot groups in lens spaces and those inS 3.J

    Yuta Nozaki. An explicit relation between knot groups in lens spaces and those inS 3.J. Knot Theory Ramifications, 27(8):1850045, 2018

    work page 2018

  32. [32]

    Strong rigidity ofQ-rank 1 lattices.Invent

    Gopal Prasad. Strong rigidity ofQ-rank 1 lattices.Invent. Math., 21(4):255–286, 1973

    work page 1973

  33. [33]

    Uniqueness of symmetries of knots.Math

    Makoto Sakuma. Uniqueness of symmetries of knots.Math. Z., 192:225–242, 1986

    work page 1986

  34. [34]

    Thurston

    William P. Thurston. Three dimensional manifolds, Kleinian groups and hyperbolic geometry. Bull. Amer. Math. Soc., 6(3):357–381, 1982

    work page 1982

  35. [35]

    On irreducible 3-manifolds which are sufficiently large.Ann

    Friedhelm Waldhausen. On irreducible 3-manifolds which are sufficiently large.Ann. of Math., 87(1):56–88, 1968

    work page 1968

  36. [36]

    Links in the spherical 3-manifold obtained from the quaternion group and their lifts.J

    Ken’ichi Yoshida. Links in the spherical 3-manifold obtained from the quaternion group and their lifts.J. Knot Theory Ramifications, 34(12):2550058, 2025. International Institute for Sustainability with Knotted Chiral Meta Matter (WPI- SKCM2), Hiroshima University, 1-3-1 Kagamiyama, Higashi-Hiroshima, Hiroshima 739- 8531, Japan Email address:kncysd@hirosh...

    work page 2025