Ribbonness on Boundary Surface-Link, Revised

Basic Information

• Paper ID: 2507.18154
• Title: Ribbonness on Boundary Surface-Link, Revised
• Author: Akio Kawauchi (Osaka Central Advanced Mathematical Institute, Osaka Metropolitan University)
• Classification: math.GT (Geometric Topology)
• Publication Date: October 15, 2025 (arXiv Version 4)
• Paper Link: https://arxiv.org/abs/2507.18154

Abstract

This paper provides a corrected proof of the author's earlier results. The research demonstrates that if a surface-link obtained through surgery along a pairwise nontrivial fusion 1-handle system is a ribbon surface-link, then the boundary surface-link in the 4-sphere is also a ribbon surface-link. As a corollary, a surface-knot obtained from the antiparallel surface-link of a nonribbon surface-knot through surgery along a nontrivial fusion 1-handle is a nonribbon surface-knot. This result affirmatively answers Cochran's conjecture concerning nonribbon sphere-knots.

Research Background and Motivation

Core Problem

This paper investigates a fundamental problem in 4-dimensional geometric topology: how to determine whether a surface-link in the 4-sphere is a ribbon surface-link. A ribbon surface-link is a special surface-link constructed from a trivial S²-link through surgery along a 1-handle system.

Significance of the Problem

1. Theoretical Significance: Ribbonness is an important concept in 4-dimensional topology, closely related to the complexity and constructibility of surface-knots
2. Classification Problem: Understanding which surface-links are ribbon is crucial for the classification of surface-links
3. Historical Problem: Resolves Cochran's important conjecture from 1983 concerning nonribbon sphere-knots

Limitations of Existing Research

The author provided an incorrect result in previous work 9, Theorem 1.4, which requires correction. Reference 11 provides counterexamples demonstrating problems with the original proof.

Research Motivation

The primary motivations for this paper are:

1. Correcting errors in the author's earlier work
2. Providing a correct and complete proof
3. Resolving Cochran's conjecture, an important open problem

Core Contributions

1. Corrected the Main Theorem: Provides a correct proof of the characterization theorem for ribbonness of boundary surface-links
2. Resolved Cochran's Conjecture: Proves that surface-knots obtained from the antiparallel surface-link of a nonribbon surface-knot through nontrivial fusion 1-handle surgery remain nonribbon
3. Refined the Theoretical Framework: Introduces the concept of "pairwise nontrivial" fusion 1-handle systems, making the theorem statement more precise
4. Provided Detailed Technical Appendix: Improved the theoretical foundations of moving operations on SUPH systems

Detailed Methodology

Core Concept Definitions

Surface-Links and Ribbon Surface-Links

• Surface-Link: A closed, oriented (possibly disconnected) smooth embedding of a surface F in the 4-sphere S⁴
• Ribbon Surface-Link: A surface-link O(h) obtained from a trivial S²-link O through surgery along a 1-handle system h

Boundary Surface-Link

A surface-link F is a boundary surface-link if there exists a system of disjoint compact connected oriented 3-manifolds V = {V₁, V₂, ..., Vᵣ} such that ∂Vᵢ = Fᵢ.

Fusion 1-Handle System

A 1-handle system h is called a fusion 1-handle system if F(h) has r-s (≥1) connected components, where s is the number of 1-handles.

Pairwise Nontriviality

A fusion 1-handle system hᴸ is called pairwise nontrivial if:

1. Each hⱼᴸ is nontrivial
2. Each hⱼᴸ is disjoint from all 3-spheres except the two 3-spheres to which hⱼᴸ is attached

Main Theorems

Theorem 1.1: Let F be a boundary surface-link with r (≥2) components in S⁴. If the surface-link F(h) obtained through surgery along a pairwise nontrivial fusion 1-handle system h is a ribbon surface-link, then the surface-link F is a ribbon surface-link, and h is a ribbon 1-handle system on F.

Theorem 1.2: Let P(F) be the antiparallel surface-link of a nonribbon surface-knot F, and let P(F)(h) be the surface-knot obtained from P(F) through surgery along a fusion 1-handle h. According to whether h is a trivial or nontrivial 1-handle, the surface-knot P(F)(h) is respectively a trivial or nonribbon surface-knot.

Proof Strategy

Proof Strategy for Theorem 1.1

1. Induction: First prove the case r=2, then extend to the general case
2. SUPH System Analysis: Utilize properties of SUPH (Surgery on Unknotted Punctured Handlebody) systems
3. Homeomorphism Construction: Establish relationships between different SUPH systems through constructing orientation-preserving homeomorphisms of S⁴
4. Handle Moves: Employ SUPH-moves to simplify complex handle structures

Key Lemma 2.1

Let F be a surface-link with 2-handle D×I. Assume that the surface-link F(D×I) obtained through surgery along D×I is a ribbon surface-link given by a sphere-handle system (O,h). If D'×I is a SUPH-move of D×I along an S²-knot S in SUPH system U, then F(D'×I) is also a ribbon surface-link.

Technical Innovations

1. Refinement of SUPH System Theory

Introduces concepts of multiple fusion and multiple split SUPH systems, establishing duality relationships between them.

2. Pairwise Nontriviality Concept

Precisely defines "pairwise nontrivial" fusion 1-handle systems, which is the key condition for the theorem to hold.

3. Uniqueness of O²-Handle Pairs

Utilizes the uniqueness property of O²-handle pairs to simplify technical difficulties in the proof.

4. Inductive Proof Structure

Employs induction from the case r=2 to the general case, allowing complex higher-dimensional situations to be reduced to simpler cases.

Experimental Setup

This is a pure theoretical mathematics paper and does not involve numerical or computational experiments. All results are obtained through rigorous mathematical proofs.

Main Results

Significance of Theorem 1.1

This theorem provides a sufficient condition for determining whether a boundary surface-link is ribbon. This is a "downward" result: if a surface-link obtained through certain surgery is ribbon, then the original surface-link is also ribbon.

Theorem 1.2 Resolves Cochran's Conjecture

Cochran conjectured in 1983 that if F is a nonribbon S²-knot and h is any sufficiently complex fusion 1-handle, then P(F;h) must be a nonribbon S²-knot. This paper completely resolves this conjecture.

Technical Results

• Proposition 3.1: If a 1-handle on a trivial S²-link produces a trivial S²-link, then the 1-handle is trivial
• Proposition 3.2: For any two SUPH systems of a ribbon surface-link, a multiple fusion SUPH system of one can be transformed via an orientation-preserving homeomorphism into a multiple fusion SUPH system of the other

Related Work

Historical Development

1. Cochran (1983): Proposed an important conjecture concerning ribbon knots in S⁴
2. Hosokawa and Kawauchi (1979): Established foundational theory of unknotted surfaces in 4-space
3. Kawauchi's Series of Works: Made systematic contributions to ribbon surface-link theory

Relationship to Related Work

• Corrects erroneous results from the author's 9
• Refines proofs in 10
• Resolves Cochran's conjecture from 1
• Utilizes results on one-relator subgroups from 13

Conclusions and Discussion

Main Conclusions

1. Successfully corrected the characterization theorem for ribbonness of boundary surface-links
2. Completely resolved Cochran's conjecture concerning nonribbon sphere-knots
3. Provided important theoretical tools for studying surface-links in 4-dimensional topology

Theoretical Significance

• Deepens understanding of surface-link structures in 4-dimensional space
• Provides new characterization methods for surface-link classification problems
• Establishes profound connections between boundary surface-links and ribbon surface-links

Future Directions

1. Explore ribbonness characterization for more general classes of surface-links
2. Investigate relationships between ribbonness and other topological invariants
3. Develop effective algorithms for computing ribbonness of surface-links

In-Depth Evaluation

Strengths

1. Mathematical Rigor: Proofs are complete and rigorous, correcting errors in previous work
2. Theoretical Importance: Resolves an important conjecture in the field with milestone significance
3. Technical Innovation: Develops SUPH system theory and introduces new technical tools
4. Clear Structure: Well-organized paper with clear hierarchical progression from basic concepts to complex proofs

Limitations

1. Technical Complexity: Proofs involve extensive technical details, making them difficult for non-specialists
2. Limited Application Scope: Results are primarily theoretical with limited direct applications
3. Computational Aspects: Does not provide effective methods for practically computing ribbonness of surface-links

Impact

1. Academic Contribution: Significant impact in geometric topology
2. Theory Refinement: Completes important components of surface-link theory in 4-dimensional topology
3. Foundation for Future Research: Establishes foundation for further research in related fields

Applicable Scenarios

• Theoretical research in 4-dimensional geometric topology
• Classification problems for surface-links and surface-knots
• Research on topological invariants related to ribbonness

References

The paper cites 13 important references, including:

• Cochran (1983) on pioneering work concerning ribbon knots in S⁴
• Gluck (1962) on classical results of S² embeddings in the 4-sphere
• Magnus et al. on standard textbooks in combinatorial group theory
• The author's series of works on surface-link theory

This paper resolves an important problem in 4-dimensional topology through rigorous mathematical proof. It not only corrects erroneous results from previous work but also successfully resolves Cochran's conjecture, a long-standing open problem, making significant contributions to the development of geometric topology.