pith. sign in

arxiv: 2506.15401 · v2 · submitted 2025-06-18 · 🧮 math.GT

On the classification of 2-plat 2-knots

Jumpei Yasuda This is my paper

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

classification 🧮 math.GT
keywords 2-plat 2-knotsclassificationnew invarianttorsion invariantinvertibility obstruction2-dimensional braidsplat closuredouble branched covers
0
0 comments X

The pith

A new invariant classifies 2-plat 2-knots and obstructs their invertibility.

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

The paper aims to classify 2-plat 2-knots, which are 2-spheres smoothly embedded in 4-space that arise as the plat closure of a 2-dimensional 2n-braid. Schubert's classification of 2-bridge 1-knots relied on double branched covers being lens spaces, but Montesinos showed that these covers do not distinguish 2-plat 2-knots. The authors therefore define a new invariant modeled on torsion invariants for classical knots. This invariant is independent of the choice of braid presentation, distinguishes the knots up to isotopy, and detects when a 2-knot cannot be inverted. A sympathetic reader cares because it supplies a practical tool for separating knotted spheres in four dimensions where standard 3-dimensional techniques stop working.

Core claim

We introduce a new invariant for 2-plat 2-knots. The invariant is well-defined for every such knot and independent of the 2-dimensional braid presentation. It classifies 2-plat 2-knots and serves as an obstruction to invertibility, functioning as an analogue of a torsion invariant.

What carries the argument

The new invariant, an analogue of a torsion invariant that remains unchanged under different choices of 2-dimensional braid presentation for a given 2-plat 2-knot.

If this is right

  • 2-plat 2-knots are completely classified by values of this single invariant.
  • A 2-knot is invertible only when the invariant satisfies a specific condition such as being trivial.
  • The classification proceeds even though double branched covers fail to separate these knots.
  • The invariant supplies an explicit obstruction that can be checked on any given 2-plat presentation.

Where Pith is reading between the lines

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

  • The same construction could be tested on 3-plat or higher 2-knots to see whether it continues to classify them.
  • The invariant may be compared with other 4-dimensional knot invariants such as those coming from Seifert hypersurfaces.
  • It offers a route to decide invertibility questions for explicit families of 2-knots that arise in braid form.

Load-bearing premise

The new invariant must be well-defined for every 2-plat 2-knot and independent of the choice of 2-dimensional braid presentation.

What would settle it

Two non-isotopic 2-plat 2-knots that receive the same value of the new invariant, or an invertible 2-plat 2-knot on which the invariant is non-trivial.

Figures

Figures reproduced from arXiv: 2506.15401 by Jumpei Yasuda.

Figure 1
Figure 1. Figure 1: A knot K is called n-plat if it is ambiently isotopic to the plat closure of some 2n-braid. Every 1-plat knot is trivial. 2-plat knots were first studied by Bankwitz and Schumann [3] as Viergeflechte (4-plats). 2-plat knots are also known as 2-bridge knots. In [21], Schubert introduced a normal form K(a/p) of 2- bridge knots using a rational number a/p ∈ Q. Throughout this paper, a fraction a/p ∈ Q is assu… view at source ↗
Figure 2
Figure 2. Figure 2: Details are provided in Sections 2.2 to 2.4. Then, [PITH_FULL_IMAGE:figures/full_fig_p001_2.png] view at source ↗
Figure 14
Figure 14. Figure 14: The half-twist along γ2 does not change the numbers of arches at A and D in ℓ ′ i . Hence, the numbers [PITH_FULL_IMAGE:figures/full_fig_p009_14.png] view at source ↗
read the original abstract

An $n$-plat 1-knot is one isotopic to the plat closure of some $2n$-braid, which is also called an $n$-bridge 1-knot. Schubert classified 2-bridge 1-knots by considering their double branched covers which are homeomorphic to lens spaces. A 2-knot is a 2-sphere smoothly embedded in 4-space or 4-sphere. An $n$-plat 2-knot is one isotopic to the plat closure of some 2-dimensional $2n$-braid. The aim of this paper is to classify 2-plat 2-knots. By a result of Montesinos, double branched covers do not distinguish 2-plat 2-knots. Thus, we introduce a new invariant to classify them. Our invariant serves as an analogue of a torsion invariant. Furthermore, it is an obstruction to invertibility of 2-knots.

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 / 0 minor

Summary. The paper aims to classify 2-plat 2-knots (2-spheres in 4-space isotopic to the plat closure of a 2-dimensional 2n-braid). It recalls Schubert's classification of 2-bridge 1-knots via lens spaces and notes Montesinos' result that double branched covers fail to distinguish 2-plat 2-knots. The authors introduce a new invariant, described as a torsion analogue, that is claimed to classify these knots and additionally obstruct invertibility.

Significance. A well-defined, presentation-independent invariant that distinguishes 2-plat 2-knots would extend the classical bridge-number classification to dimension 4 and supply a concrete obstruction to invertibility. Such a result would be of interest to 4-dimensional knot theorists working on branched covers and symmetries, provided the invariance is fully established.

major comments (1)
  1. [Definition and invariance of the new invariant] The central claim that the new torsion-analogue invariant classifies 2-plat 2-knots rests on its independence from the choice of 2-dimensional braid presentation whose plat closure yields the knot. The manuscript must explicitly verify invariance under the complete set of 2-braid relations and the 4-dimensional plat-closure moves; any verification limited to generators or omitting a relation would leave the classification statement unsupported.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for identifying the need to strengthen the presentation of our new invariant. We address the major comment below and will revise the manuscript to provide the requested explicit verification.

read point-by-point responses

  1. Referee: The central claim that the new torsion-analogue invariant classifies 2-plat 2-knots rests on its independence from the choice of 2-dimensional braid presentation whose plat closure yields the knot. The manuscript must explicitly verify invariance under the complete set of 2-braid relations and the 4-dimensional plat-closure moves; any verification limited to generators or omitting a relation would leave the classification statement unsupported.

    Authors: We agree that a fully explicit, relation-by-relation verification is required to rigorously support the classification statement. The original manuscript defines the invariant via a 2-dimensional braid presentation and shows that it is unchanged under the standard generators together with selected plat-closure operations, but it does not contain a complete, exhaustive check against every 2-braid relation and every 4-dimensional plat move. In the revised version we will add a dedicated subsection that systematically verifies invariance under the full set of relations (including all braid relations and any 2-dimensional specifics) and under the complete collection of plat-closure moves in dimension 4. This will make the well-definedness of the invariant transparent and will thereby substantiate the classification theorem. revision: yes

Circularity Check

0 steps flagged

No significant circularity; new invariant introduced via external citation

full rationale

The paper cites Montesinos' external result that double branched covers fail to distinguish 2-plat 2-knots, then introduces a new torsion-analogue invariant to serve as a classification tool. No derivation step reduces a claimed prediction or uniqueness statement to a fitted parameter, self-citation chain, or definitional tautology within the paper itself. The central claim rests on an independent construction whose invariance is asserted after noting the Montesinos result, rendering the work self-contained against external benchmarks rather than circular.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The claim rests on the cited Montesinos result that double branched covers fail to distinguish the knots and on the existence of a new invariant whose explicit definition is not supplied in the abstract.

axioms (1)
  • domain assumption Double branched covers do not distinguish 2-plat 2-knots (Montesinos)
    Invoked in the abstract to explain why a new invariant is needed.

pith-pipeline@v0.9.0 · 5685 in / 1256 out tokens · 43455 ms · 2026-05-19T09:19:00.300374+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

27 extracted references · 27 canonical work pages

  1. [1]

    Theorie der Z ¨opfe

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

    work page 1925

  2. [2]

    Zur Isotopie zweidimensionaler Fl ¨achen im R4

    Emil Artin. Zur Isotopie zweidimensionaler Fl ¨achen im R4. Abh. Math. Sem. Univ. Hamburg, 4(1):174–177, 1925

    work page 1925

  3. [3]

    ¨uber viergeflechte

    Carl Bankwitz and Hans Georg Schumann. ¨uber viergeflechte. Abh. Math. Sem. Univ. Hamburg, 10(1):263–284, 1934

    work page 1934

  4. [4]

    Knots, volume 5 of De Gruyter Studies in Mathematics

    Gerhard Burde and Heiner Zieschang. Knots, volume 5 of De Gruyter Studies in Mathematics. Walter de Gruyter & Co., Berlin, 1985

    work page 1985

  5. [5]

    J. H. Conway. An enumeration of knots and links, and some of their algebraic properties. In Computational Problems in Abstract Algebra (Proc. Conf., Oxford, 1967), pages 329–358. Pergamon, Oxford-New York-Toronto, Ont., 1970

    work page 1967

  6. [6]

    Richard I. Hartley. On two-bridged knot polynomials. J. Austral. Math. Soc. Ser. A, 28(2):241–249, 1979

    work page 1979

  7. [7]

    A note on Alexander polynomials of 2-bridge links

    Jim Hoste. A note on Alexander polynomials of 2-bridge links. J. Knot Theory Ramifications, 29(8):1971003, 7, 2020

    work page 2020

  8. [8]

    Braid and Knot Theory in Dimension Four, volume 95 of Mathematical Surveys and Monographs

    Seiichi Kamada. Braid and Knot Theory in Dimension Four, volume 95 of Mathematical Surveys and Monographs. American Math- ematical Society, Providence, RI, 2002

    work page 2002

  9. [9]

    Surface-Knots in 4-Space

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

    work page 2017

  10. [10]

    Polynomial invariants of 2-bridge links through 20 crossings

    Taizo Kanenobu and Toshio Sumi. Polynomial invariants of 2-bridge links through 20 crossings. 20:125–145, 1992

    work page 1992

  11. [11]

    Classification of a family of ribbon 2-knots with trivial Alexander polynomial

    Taizo Kanenobu and Toshio Sumi. Classification of a family of ribbon 2-knots with trivial Alexander polynomial. Commun. Korean Math. Soc., 33(2):591–604, 2018

    work page 2018

  12. [12]

    Classification of ribbon 2-knots of 1-fusion with length up to six.Topology Appl., 301:Paper No

    Taizo Kanenobu and Kota Takahashi. Classification of ribbon 2-knots of 1-fusion with length up to six.Topology Appl., 301:Paper No. 107521, 12, 2021

    work page 2021

  13. [13]

    Kau ffman and Sofia Lambropoulou

    Louis H. Kau ffman and Sofia Lambropoulou. On the classification of rational tangles. Adv. in Appl. Math., 33(2):199–237, 2004

    work page 2004

  14. [14]

    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

    work page 1961

  15. [15]

    On ribbon 2-knots of 1-fusion

    Yoshihiko Marumoto. On ribbon 2-knots of 1-fusion. Math. Sem. Notes Kobe Univ., 5(1):59–68, 1977

    work page 1977

  16. [16]

    W. S. Massey. Proof of a conjecture of Whitney. Pacific J. Math., 31:143–156, 1969

    work page 1969

  17. [17]

    The branched cyclic coverings of 2 bridge knots and links

    Jerome Minkus. The branched cyclic coverings of 2 bridge knots and links. Mem. Amer. Math. Soc., 35(255):iv+68, 1982

    work page 1982

  18. [18]

    The topological structure of 4-manifolds with e ffective torus actions

    Peter Sie Pao. The topological structure of 4-manifolds with e ffective torus actions. I. Trans. Amer. Math. Soc., 227:279–317, 1977

    work page 1977

  19. [19]

    Die Lehre von den Kettenbr¨ uchen

    Oskar Perron. Die Lehre von den Kettenbr¨ uchen. Bd I. Elementare Kettenbr¨ uche. B. G. Teubner Verlagsgesellschaft, Stuttgart, 1954. 3te Aufl

    work page 1954

  20. [20]

    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

    work page 1983

  21. [21]

    Schubert

    H. Schubert. ¨Uber eine numerische knoteninvariante. Math. Z., (61):245–288, 1954

    work page 1954

  22. [22]

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

    work page 1990

  23. [23]

    On simply knotted spheres in R4

    Takeshi Yajima. On simply knotted spheres in R4. Osaka Journal of Mathematics, 1(2):133 – 152, 1964

    work page 1964

  24. [24]

    On ribbon 2-knots

    Takaaki Yanagawa. On ribbon 2-knots. The 3-manifold bounded by the 2-knots. Osaka Math. J., 6:447–464, 1969

    work page 1969

  25. [25]

    A plat form presentation for surface-links

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

    work page 2021

  26. [26]

    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

    work page 2024

  27. [27]

    Ribbon 2-knots with distinct ribbon types

    Tomoyuki Yasuda. Ribbon 2-knots with distinct ribbon types. J. Knot Theory Ramifications, 18(11):1509–1523, 2009. Department of Mathematics, Graduate School of Science, Osaka Metropolitan University, Osaka 558-8585, JAPAN Email address: j.yasuda@omu.ac.jp 14 JUMPEI Y ASUDA AND JUMPEI Y ASUDA a/p Ribbon type ∆(t) 0/1 R(0, 0) (Trivial 2-knot) ([1]) ≈ 0 1 2/...

    work page 2009