A preorder on the set of links defined via orbifolds

Basic Information

• Paper ID: 2510.12372
• Title: A preorder on the set of links defined via orbifolds
• Authors: Michel Boileau, Teruaki Kitano, Yuta Nozaki
• Classification: math.GT (Geometric Topology)
• Submission Date: October 14, 2025
• Paper Link: https://arxiv.org/abs/2510.12372v1

Abstract

This paper defines a preorder relation on the set of links via π-orbifold groups (π-orbifold group). For a link $L$ in the 3-sphere, its π-orbifold group $G^{\text{orb}}(L)$ is defined as a quotient of the link group. When there exists a surjective homomorphism $G^{\text{orb}}(L) \twoheadrightarrow G^{\text{orb}}(L')$, we write $L \succeq L'$ and explore the relationship between two links. The paper proves that if $L \succeq L'$ and $L$ is a Montesinos link with $r$ rational tangles ($r \geq 3$), then $L'$ is either a Montesinos link with at most $r+1$ rational tangles or a certain connected sum. Furthermore, it is shown that if $L$ is a small link, then there are only finitely many links $L'$ satisfying $L \succeq L'$. Conversely, if $L$ has determinant zero, then $L \succeq L'$ for every 2-bridge link $L'$.

Research Background and Motivation

Problem Background

In geometric topology, studying domination relations between links is an important problem. Traditionally, link $K_1$ dominates link $K_2$ (denoted $K_1 \geq K_2$) is defined as the existence of a surjective homomorphism $G(K_1) \twoheadrightarrow G(K_2)$, where $G(K)$ is the link group. However, this relation has limitations in certain cases.

Research Motivation

1. Extension of domination relations: Traditional domination relations do not extend well to links, since there exist infinitely many distinct hyperbolic links with isomorphic link groups.
2. Application of orbifold groups: The π-orbifold group $G^{\text{orb}}(L)$ is the quotient of the link group $G(L)$ by the normal subgroup generated by squares of all meridians, and it is closely related to the 2-fold branched cover of the link.
3. Characterization of geometric structures: Through π-orbifold groups, one can better understand the geometric and topological properties of links.

Limitations of Existing Methods

• Traditional link group domination relations do not form a partial order in the link case
• Lack of systematic study of special types of links (such as Montesinos links, small links)
• The connection between symmetric sum constructions and domination relations remains unclear

Core Contributions

1. Definition of new preorder relation: A preorder relation $\succeq$ on the set of links is defined via surjective homomorphisms of π-orbifold groups
2. Classification theorem: For prime links with at least three bridges, the π-orbifold group uniquely determines the link type
3. Characterization of Montesinos links: Complete classification of Montesinos links under the preorder relation is provided
4. Finiteness of small links: It is proved that small links π-dominate only finitely many links
5. Constraints on tree-like links: Strong constraints are given for tree-like links
6. Application to symmetric sums: Results are applied to the study of symmetric sum constructions

Detailed Methods

Task Definition

Study the properties of the preorder relation $\succeq$ on the set of links in the 3-sphere $S^3$ defined via surjective homomorphisms of π-orbifold groups.

Core Definitions

Definition 1.1 (π-domination): Link $L_1$ π-dominates link $L_2$, denoted $L_1 \succeq L_2$, if there exists a surjective homomorphism $\phi: G^{\text{orb}}(L_1) \twoheadrightarrow G^{\text{orb}}(L_2)$.

π-orbifold group: For a link $L$, the π-orbifold group is $G^{\text{orb}}(L) = G(L)/N$, where $N$ is the normal subgroup of $G(L)$ generated by the squares of all meridians.

Key Technical Tools

1. Orbifold theorem: Thurston's orbifold theorem is used to analyze the geometric structure of 3-dimensional orbifolds
2. JSJ decomposition: JSJ decomposition is employed to study the geometric structure of 3-manifolds
3. Seifert fibrations: Properties of Seifert fibered 3-manifolds are analyzed
4. 2-fold branched covers: The 2-fold branched cover $\Sigma_2(L)$ of $L$ is used to study link properties

Main Theorems

Theorem 1.5: Let $L$ and $L'$ be two links with $L \succeq L'$. Then:

1. If $L$ is the unknot, then $L'$ is the unknot
2. If $L$ is a 2-bridge link, then $L'$ is a 2-bridge link or the unknot
3. If $L$ is a Montesinos link with $r$ rational tangles ($r \geq 3$), then $L'$ is the unknot, a 2-bridge link, a Montesinos link with $r' \leq r+1$ rational tangles, or a certain connected sum
4. If $L$ is a Seifert link with nonzero determinant, then $L'$ satisfies similar constraints

Experimental Setup

Theoretical Verification Methods

This paper is primarily theoretical research, verifying results through rigorous mathematical proofs:

1. Application of orbifold theory: Using the geometrization theorem for 3-dimensional orbifolds
2. Algebraic topology tools: Utilizing fundamental groups, homology groups, and other algebraic invariants
3. Geometric analysis: Analyzing through geometric invariants such as volume and bridge number

Concrete Examples

• Torus knots: π-domination relations for $(p,q)$-torus knots
• Montesinos knots: Specific examples of Montesinos knots
• 2-bridge links: Classification and properties of 2-bridge links

Main Results

Core Theorem Results

Theorem 1.8 (Tree-like links): Let $L$ be a tree-like link with nonzero determinant. For a link $L'$ that is not the unknot, if $L \succeq L'$, then each prime factor in the connected sum decomposition of the 2-fold branched cover $\Sigma_2(L')$ has at least one Seifert fibered JSJ piece.

Theorem 1.11 (Finiteness of small links): Let $L$ be a small link. Then:

1. If $L \succeq L'$, then $L'$ is a small link
2. $L$ π-dominates only finitely many links in $S^3$

Important Corollaries

Corollary 1.7: If $K$ is a Montesinos knot and $K \succeq K'$, then $b(K) \geq b(K')$, where $b(K)$ denotes the bridge number of knot $K$.

Proposition 5.5: A link $L \subset S^3$ π-dominates all 2-bridge links if and only if $\det L = 0$.

Application Results

Applications to symmetric sums:

• If $K$ is a knot with a symmetric sum representation with partial knot $K_D$, then $K \succeq K_D$
• For small knots, the partial knots in their symmetric sum representations can only be of finitely many types

Related Work

Traditional Domination Relations

• Jonathan Simon's research on surjective homomorphisms of knot groups
• Cappell-Shaneson's meridian rank conjecture
• Studies on domination relations for 2-bridge knots

Orbifold Theory

• Thurston's geometrization theorem for 3-dimensional orbifolds
• Boileau-Porti's geometrization of cyclic 3-orbifolds
• Research on orbifold fundamental groups

Symmetric Sum Constructions

• Kinoshita-Terasaka's symmetric sum construction
• Lamm's generalization of multiple symmetric tangle replacements
• Relationship between ribbon knots and symmetric sums

Conclusions and Discussion

Main Conclusions

1. Establishment of preorder relation: Successfully establishes a preorder relation on the set of links based on π-orbifold groups
2. Classification results: Provides complete classification of Montesinos links, small links, and tree-like links under the preorder relation
3. Finiteness results: Proves that the π-domination relation for small links has finiteness properties
4. Geometric constraints: Gives relationships between π-domination relations and geometric invariants such as bridge number and volume

Limitations

1. Computational complexity: Computing π-orbifold groups may be quite complex in practical applications
2. General cases: Results for general hyperbolic links are relatively limited
3. Algorithm implementation: Lacks effective algorithms to determine whether a π-domination relation exists between two links

Future Directions

Open problems:

• Problem 1.9: Do tree-like links π-dominate only tree-like links?
• Problem 1.10: Do links with nonzero determinant π-dominate only finitely many links?
• Problem 8.4: Does $L \succeq L'$ imply $b(L) \geq b(L')$?
• Problem 8.11: Does $L_1 \succeq L_2$ imply $\text{vol}(O(L_1)) \geq \text{vol}(O(L_2))$?

In-Depth Evaluation

Strengths

1. Theoretical innovation: Proposes a new preorder relation, providing new research tools for link theory
2. Systematic study: Provides systematic classification results for multiple important categories of links
3. Technical depth: Comprehensively employs orbifold theory, algebraic topology, and geometric analysis
4. Application value: Demonstrates application value in concrete problems such as symmetric sum constructions

Weaknesses

1. Computational feasibility: Practical computation and verification of theoretical results may be quite difficult
2. Generality: Results for general hyperbolic links are relatively limited
3. Open problems: Multiple important but difficult open problems are raised

Impact

1. Theoretical contribution: Provides new research directions for knot and link theory
2. Methodological significance: Demonstrates the powerful application of orbifold theory in low-dimensional topology
3. Foundation for further research: Lays the foundation for further research in related fields

Applicable Scenarios

1. Theoretical research: Applicable to theoretical classification studies of knots and links
2. Geometric topology: Has application value in the study of geometrization of 3-manifolds and orbifolds
3. Algebraic topology: Has reference value in the study of fundamental groups and orbifold fundamental groups

References

The paper cites 38 important references, covering:

• Foundational literature on orbifold theory (Boileau-Porti, Cooper-Hodgson-Kerckhoff, etc.)
• Related work on geometrization of 3-manifolds (Morgan-Tian, Kleiner-Lott, etc.)
• Classical results in knot and link theory (Burde-Zieschang, Kawauchi, etc.)
• Related research on symmetric sum constructions (Kinoshita-Terasaka, Lamm, etc.)

This paper has significant theoretical value in geometric topology. By introducing the preorder relation via π-orbifold groups, it provides new tools and perspectives for link classification. Although there are some computational challenges, its theoretical depth and systematicity make it an important contribution to the field.