Hosting and Friendship of Knots on Minimal Genus Seifert Surfaces

Makoto Ozawa

arxiv: 2604.04657 · v1 · submitted 2026-04-06 · 🧮 math.GT

Hosting and Friendship of Knots on Minimal Genus Seifert Surfaces

Makoto Ozawa This is my paper

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

classification 🧮 math.GT

keywords knot theorySeifert surfacehosting relationtorus knotstrefoil knotminimal genusfriendshipslope classes

0 comments

The pith

No single knot hosts every other knot on its minimal genus Seifert surface.

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

The paper defines the hosting relation in which a knot J belongs to the set S(K) if J appears as a simple closed curve on a minimal genus Seifert surface of K. It proves that the family of torus knots hosts every non-trivial knot, yet no individual knot K has S(K) equal to all knot types. This distinction matters because it shows that universal hosting is a collective property of families rather than a feature of any one knot. The work also gives an explicit description of the hosting set for the trefoil using slope classes on its fiber surface and identifies concrete pairs that are or are not friends under the symmetric relation.

Core claim

For a knot K, let S(K) denote the set of knot types represented by simple closed curves on a minimal genus Seifert surface of K. The central result is that for every knot K there exists a knot J such that J is not in S(K), so that no knot is a universal host. This stands in contrast to the classical fact that every non-trivial knot is hosted by some torus knot. The paper further classifies the knots hosted by the trefoil in terms of primitive slope classes and exhibits explicit friendship examples such as 3_1 with 8_19 and non-friendship such as 3_1 with 4_1.

What carries the argument

The hosting set S(K) together with the directed relation K to J when J lies in S(K), whose symmetric part is called friendship.

If this is right

Every knot fails to host at least one other knot type on its minimal genus Seifert surfaces.
The family of torus knots collectively hosts every non-trivial knot.
Certain pairs of knots are friends and mutually appear on each other's minimal genus surfaces, while other pairs are not.
The hosting relation supplies a directed-graph framework for studying how knots interact through surface embeddings.

Where Pith is reading between the lines

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

The hosting relation may induce a graph on knots whose connectivity or degree properties could be investigated further.
It suggests possible links between surface embeddings of knots and questions in 3-manifold rigidity or decomposition.
Computing the hosting sets for additional small knots might uncover patterns or invariants that distinguish hosting behavior across knot families.

Load-bearing premise

The topological constructions that produce a knot J outside S(K) for any given K work without hidden restrictions on knot types or surface embeddings.

What would settle it

A knot K for which every knot type appears as a simple closed curve on at least one minimal genus Seifert surface of K.

read the original abstract

For a knot $K\subset S^3$, let $S(K)$ denote the set of knot types represented by simple closed curves on a minimal genus Seifert surface of $K$. We study the directed relation $K\to J$ defined by $J\in S(K)$, which we call the \emph{hosting relation}, and call its symmetric part friendship. This gives a new framework for describing how knots appear on minimal genus Seifert surfaces of other knots. A classical result of Lyon implies that the family of torus knots is a universal host family: every non-trivial knot is hosted by some torus knot. In contrast, a central result of this paper is that no knot is a universal host: for every knot $K$, there exists a knot $J$ such that \[ J\notin S(K). \] Thus universal hosting occurs at the level of families, but never at the level of a single knot. We also study explicit examples of hosting and friendship. In particular, we describe the hosting set of the trefoil in terms of primitive slope classes on its once-punctured torus fiber, and use this description to obtain concrete friendship and non-friendship phenomena. For example, we show that $3_1$ and $8_{19}$ are friends, whereas $3_1$ and $4_1$ are not. These results provide a framework for studying universal host phenomena, hosting, and friendship among knots on minimal genus Seifert surfaces, and suggest further connections with graph-theoretic, rigidity, and categorical aspects of knot theory.

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.

Desk Editor's Note private letter to a colleague

Ozawa defines hosting and friendship relations on minimal Seifert surfaces and proves no single knot is a universal host, while families can be.

read the letter

The main point to take away is that Ozawa defines hosting and friendship relations for knots based on which knot types appear as curves on minimal genus Seifert surfaces, and establishes that while certain families can be universal hosts, no single knot is. This is new in setting up these directed and symmetric relations as a way to study appearances on Seifert surfaces. It contrasts nicely with the known result that the torus knot family hosts all knots, by showing the individual version fails. The paper does well in providing a description of the hosting set for the trefoil knot using primitive slopes on its fiber surface, which allows specific friendship examples: the trefoil and 8_19 are friends, but the trefoil and the figure-eight knot are not. These give the framework some immediate content. The central theorem that for every knot K there is a J not hosted by it seems to rest on standard topological arguments about Seifert surfaces in S^3. The citation pattern is clean, referencing Lyon directly for the family case without overlap issues. No free parameters or invented entities appear in the setup. Where it could be softer is in verifying the existence claim for the non-hosted knot J without seeing the full construction details. The assumption that S(K) is well-defined for all knots holds in the usual setting, but any edge cases in surface minimality might need checking. Overall the soundness looks reasonable from the abstract. This paper is for knot theorists interested in Seifert surfaces and inter-knot relations. A reader working on embedding problems or surface invariants would get value from the new organizing tool and the examples. It shows clear thinking on its own terms and deserves serious peer review to go over the proofs. Recommendation: Engage with it in review; the result adds a useful distinction between family and individual hosting.

Referee Report

2 major / 2 minor

Summary. The paper defines S(K) as the set of knot types realized by simple closed curves on a minimal genus Seifert surface for a knot K in S^3. It introduces the directed hosting relation K → J when J ∈ S(K) and its symmetric part as friendship. Building on Lyon's theorem that the torus knots form a universal host family, the central result is that no individual knot is a universal host: for every K there exists J ∉ S(K). The paper also computes the hosting set for the trefoil via primitive slope classes on its once-punctured torus fiber and exhibits concrete friendship (3_1 and 8_19) and non-friendship (3_1 and 4_1) pairs.

Significance. If the existence result holds, the work supplies a new directed relation on the set of knots together with a clear distinction between family-level and individual-level universal hosting. The explicit description of the trefoil's hosting set and the friendship examples provide concrete data that could support further graph-theoretic or rigidity-theoretic investigations of knot embeddings on surfaces.

major comments (2)

[Definition of S(K) and statement of the main theorem] The central claim that no knot is a universal host rests on the assertion that S(K) is well-defined and that the topological argument producing a J outside S(K) applies uniformly. The manuscript should specify whether S(K) is independent of the choice of minimal-genus Seifert surface (which is not unique) and whether the existence construction requires any restrictions on the knot type of K or on the embedding.
[Section on the trefoil hosting set] The description of the hosting set of the trefoil in terms of primitive slope classes on the once-punctured torus fiber is used to obtain the friendship and non-friendship examples. The manuscript should include an explicit enumeration or generating set for these classes together with the precise correspondence to the knot types that appear, so that the claims for 3_1, 8_19 and 4_1 can be verified directly.

minor comments (2)

[Abstract] The abstract refers to 'primitive slope classes' without a short definition or reference; a parenthetical gloss would help readers outside geometric topology.
[Examples section] The friendship/non-friendship examples would be clearer if accompanied by a diagram showing the relevant curves on the Seifert surface.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading of our manuscript and for providing constructive feedback. We address each of the major comments below, indicating the changes we plan to make in the revised version.

read point-by-point responses

Referee: [Definition of S(K) and statement of the main theorem] The central claim that no knot is a universal host rests on the assertion that S(K) is well-defined and that the topological argument producing a J outside S(K) applies uniformly. The manuscript should specify whether S(K) is independent of the choice of minimal-genus Seifert surface (which is not unique) and whether the existence construction requires any restrictions on the knot type of K or on the embedding.

Authors: We agree that additional clarification is warranted. In the revised manuscript we will explicitly define S(K) with respect to an arbitrary but fixed minimal-genus Seifert surface for K and state that the hosting relation is understood relative to that choice. The existence proof constructs, for any such surface, a knot J that cannot be realized by a simple closed curve on it; the argument uses only the general properties of minimal-genus Seifert surfaces in S^3 and imposes no further restrictions on the knot type of K or on the embedding. We will insert a short clarifying paragraph immediately after the definition of S(K) and adjust the statement of the main theorem to reflect this precision. revision: yes
Referee: [Section on the trefoil hosting set] The description of the hosting set of the trefoil in terms of primitive slope classes on the once-punctured torus fiber is used to obtain the friendship and non-friendship examples. The manuscript should include an explicit enumeration or generating set for these classes together with the precise correspondence to the knot types that appear, so that the claims for 3_1, 8_19 and 4_1 can be verified directly.

Authors: We accept this recommendation. The revised version will contain an explicit generating set for the primitive slope classes on the once-punctured torus fiber of the trefoil, together with a table that lists each relevant class and the knot type it realizes. This will make the verification of the friendship between 3_1 and 8_19 and the non-friendship between 3_1 and 4_1 immediate. The material will be added to the section that computes the hosting set of the trefoil. revision: yes

Circularity Check

0 steps flagged

No circularity; central non-universality claim is independent of the cited classical result

full rationale

The paper defines S(K) as the set of knot types on a minimal-genus Seifert surface of K and proves that for every K there exists J with J not in S(K). This is contrasted with Lyon's independent classical theorem that the torus-knot family is a universal host family. No step reduces the new existence claim to a definition, a fitted parameter, or a self-citation chain; the topological arguments establishing the existence of J outside S(K) are presented as external to the definition of S(K) itself. The derivation therefore remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Only the abstract is available; the ledger is therefore minimal and records only background assumptions visible in the abstract.

axioms (1)

standard math Standard definitions and properties of Seifert surfaces and knot types in S^3
The hosting relation is defined using classical Seifert surface theory.

pith-pipeline@v0.9.0 · 5582 in / 1117 out tokens · 37229 ms · 2026-05-10T19:24:45.480133+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem 1.3. For every knot K, there exists a knot J such that J ∉ S(K). In particular, no knot is a universal host.

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

9 extracted references · 9 canonical work pages

[1]

H. C. Lyon, Torus knots in the complements of links and surfaces,Michigan Math. J.27(1980), no. 1, 39–46

work page 1980
[2]

Morimoto, On the additivity ofh-genus of knots,Osaka J

K. Morimoto, On the additivity ofh-genus of knots,Osaka J. Math.31(1994), 137–145

work page 1994
[3]

K. L. Baker,Knots on Once-Punctured Torus Fibers, Ph.D. dissertation, The Uni- versity of Texas at Austin, 2004

work page 2004
[4]

P. R. Cromwell, Homogeneous links,J. London Math. Soc. (2)39(1989), 535–552

work page 1989
[5]

Johnson, R

J. Johnson, R. Pelayo, and R. Wilson, The coarse geometry of the Kakimizu complex, Algebr. Geom. Topol.14(2014), no. 5, 2549–2560. 22 MAKOTO OZAWA

work page 2014
[6]

Scharlemann and J

M. Scharlemann and J. Schultens, The tunnel number of the sum ofnknots is at leastn,Topology38(1999), no. 2, 265–270

work page 1999
[7]

Schubert, Knoten mit zwei Br”ucken,Math

H. Schubert, Knoten mit zwei Br”ucken,Math. Z.65(1956), 133–170

work page 1956
[8]

R. T. Wilson, Knots with infinitely many incompressible Seifert surfaces,J. Knot Theory Ramifications17(2008), no. 5, 537–551

work page 2008
[9]

Yamada, Canonical forms of the knots in the genus one fiber surfaces,Bull

Y. Yamada, Canonical forms of the knots in the genus one fiber surfaces,Bull. Univ. Electro-Comm.22(2010), no. 1, 25–31. Department of Natural Sciences, F aculty of Arts and Sciences, Komazawa University, 1-23-1 Komazawa, Setagaya-ku, Tokyo, 154-8525, Japan Email address:w3c@komazawa-u.ac.jp

work page 2010

[1] [1]

H. C. Lyon, Torus knots in the complements of links and surfaces,Michigan Math. J.27(1980), no. 1, 39–46

work page 1980

[2] [2]

Morimoto, On the additivity ofh-genus of knots,Osaka J

K. Morimoto, On the additivity ofh-genus of knots,Osaka J. Math.31(1994), 137–145

work page 1994

[3] [3]

K. L. Baker,Knots on Once-Punctured Torus Fibers, Ph.D. dissertation, The Uni- versity of Texas at Austin, 2004

work page 2004

[4] [4]

P. R. Cromwell, Homogeneous links,J. London Math. Soc. (2)39(1989), 535–552

work page 1989

[5] [5]

Johnson, R

J. Johnson, R. Pelayo, and R. Wilson, The coarse geometry of the Kakimizu complex, Algebr. Geom. Topol.14(2014), no. 5, 2549–2560. 22 MAKOTO OZAWA

work page 2014

[6] [6]

Scharlemann and J

M. Scharlemann and J. Schultens, The tunnel number of the sum ofnknots is at leastn,Topology38(1999), no. 2, 265–270

work page 1999

[7] [7]

Schubert, Knoten mit zwei Br”ucken,Math

H. Schubert, Knoten mit zwei Br”ucken,Math. Z.65(1956), 133–170

work page 1956

[8] [8]

R. T. Wilson, Knots with infinitely many incompressible Seifert surfaces,J. Knot Theory Ramifications17(2008), no. 5, 537–551

work page 2008

[9] [9]

Yamada, Canonical forms of the knots in the genus one fiber surfaces,Bull

Y. Yamada, Canonical forms of the knots in the genus one fiber surfaces,Bull. Univ. Electro-Comm.22(2010), no. 1, 25–31. Department of Natural Sciences, F aculty of Arts and Sciences, Komazawa University, 1-23-1 Komazawa, Setagaya-ku, Tokyo, 154-8525, Japan Email address:w3c@komazawa-u.ac.jp

work page 2010