Knotted Surfaces, Homological Norm and Extendable Subgroup

Basic Information

• Paper ID: 2511.03648
• Title: Knotted Surfaces, Homological Norm and Extendable Subgroup
• Author: Qiling Liu (Peking University)
• Classification: math.GN (General Topology)
• Publication Date/Venue: Published on October 24, 2025 in Topology and its Applications
• Paper Link: https://arxiv.org/abs/2511.03648
• DOI: https://doi.org/10.1016/j.topol.2025.109644

Abstract

This paper proves that for any genus g, there exists a genus-g surface K embedded in S⁴ such that the action of extendable automorphisms on H₁(K,Z) is finite. The proof method involves defining a norm on H₁(K,Z) and establishing its additivity properties.

Research Background and Motivation

Core Problem

The central question addressed is: For a p-manifold M embedded into the (p+2)-sphere via embedding i: M → S^(p+2), how many automorphisms of M can be extended to the entire space S^(p+2)? Specifically, for a genus-g orientable closed surface Fg embedded in S⁴, what is the structure of the extendable automorphism group E(i)?

Problem Significance

1. Fundamental Topological Question: Understanding how the symmetries of embedding spaces are constrained by the embedding method is a central problem in low-dimensional topology
2. Generalization of Knot Theory: This is the natural extension of classical knot theory from dimension 1 (knots in S³) to dimension 2 (surfaces in S⁴)
3. Essential Distinction Between Knotted and Unknotted: Reveals fundamental differences in symmetry between knotted embeddings and trivial embeddings

Limitations of Existing Methods

1. Known Results Primarily Address Tori: Reference 6 defines a norm for T² and proves the existence of embeddings with finite extendable groups, but does not generalize to higher-genus surfaces
2. Trivial Embeddings Fully Understood: Reference 4 completely determines the extendable group for trivial embeddings Fg → S⁴, computing MCG(Fg) : E(i) = 2^(2g-2)+2^(g-1)
3. Lack of Systematic Methods for Knotted Cases: For knotted higher-genus surfaces, effective tools for analyzing the structure of E(i) are lacking

Research Motivation

The motivation is to generalize the norm method from reference 6 (for T²) to surfaces of arbitrary genus, proving that the extendable group of knotted surfaces can be finite, forming a striking contrast with trivial embeddings.

Core Contributions

1. Main Theorem (Theorem 1.1): Proves that for any g ≥ 1, there exists a genus-g surface M = Fg embedded in S⁴ such that the image of extendable automorphisms in Aut(M,Z) = Sp(2g,Z) consists only of diagonal matrices with diagonal entries ±1
2. Norm Additivity Theorem (Theorem 3.1): Establishes the additivity property for connected sums: For Q = Q₁#Q₂ embedded in S^(n+2), we have ‖r‖Q = ‖r|{Q₁}‖{Q₁} + ‖r|{Q₂}‖_{Q₂}
3. Methodological Generalization: Extends the norm method from reference 6 (for tori T²) to surfaces of arbitrary genus Fg, providing new tools for studying high-dimensional knotted objects
4. Dimensional Lifting: Although the main results concern n=2 (surfaces in S⁴), the norm definition and additivity theorem hold for any n≥2, laying the foundation for higher-dimensional generalizations

Detailed Methodology

Task Definition

Given an n-manifold K via locally flat embedding i: K → S^(n+2), define:

• Exterior Space: X_K = S^(n+2) \ (interior of a regular neighborhood of K)
• Extendable Automorphism Group: E(i) = {h: M → M orientation-preserving automorphism | ∃h̃: S^(p+2) → S^(p+2) such that i∘h = h̃∘i}
• Objective: Construct special embeddings such that E(i) acts finitely on homology

Norm Construction

Preparatory Lemma (Lemma 2.1)

For a null-homologous locally flat embedding K: K → Y (Y is a simply-connected closed (n+2)-manifold), prove:

• ∂X_K ≅ K × S¹ (up to isotopy)
• The inclusion map H₁(K) → H₁(X_K) is trivial
• Any slope c × pt can be bounded by a locally flat surface in X_K

Proof Strategy:

1. K null-homologous ⇒ K has trivial normal bundle ⇒ ∂X_K has natural circle bundle structure p: ∂X_K → K
2. Use Poincaré duality and excision: H₁(X_K) ≅ Z, H₁(X_K, ∂X_K) = 0
3. Construct homomorphism α: H₁(∂X_K) → Z whose kernel is isomorphic to H₁(K) under p₊
4. Use general position to construct bounding surfaces

Norm Definition (Definition 2.2)

For r ∈ H₁(K,Z):

1. Define complexity x(r): the minimum x(F), where F is an immersion in X_K with ∂F = r × pt ∈ H₁(K × S¹)
2. Here x(F) = max(-χ(F), 0), where χ is the Euler characteristic
3. Define norm: ‖r‖_K = inf_n (x(nr)/n)

Norm Properties (Lemma 2.3)

Prove this is a seminorm:

1. Homogeneity: ‖nr‖_K = n‖r‖_K
   • Proof: x(nr) ≤ nx(r) ⇒ ‖nr‖_K ≤ n‖r‖_K
   • Converse: ‖r‖_K = inf_m (x(mr)/m) ≤ inf_m (x(nmr)/nm) = ‖nr‖_K/n
2. Triangle Inequality: ‖r₁ + r₂‖_K ≤ ‖r₁‖_K + ‖r₂‖_K
   • Proof: Take F₁, F₂ with ∂F_i = n_ir_i, then ∂(n₁F₂ + n₂F₁) = n₁n₂(r₁ + r₂)
   • x(n₁F₂ + n₂F₁)/(n₁n₂) = x(F₁)/n₁ + x(F₂)/n₂

Additivity Theorem Proof

Theorem Statement (Theorem 3.1): Let Q = Q₁#Q₂ be embedded in S^(n+2), where Q₁ and Q₂ are unlinked (separable by an (n+1)-sphere). Then for r = r₁ + r₂ ∈ H₁(Q,Z) = H₁(Q₁,Z) ⊕ H₁(Q₂,Z): $\|r\|_Q = \|r_1\|_{Q_1} + \|r_2\|_{Q_2}$

Proof Strategy:

1. One Direction (‖r‖_Q ≤ ‖r₁‖₁ + ‖r₂‖₂):
   • Take F₁, F₂ bounding n₁r₁ and n₂r₂ respectively
   • Construct n₁F₂ + n₂F₁ bounding n₁n₂r
   • Additivity of complexity yields the result
2. Other Direction (‖r‖_Q ≥ ‖r₁‖₁ + ‖r₂‖₂): This is the core difficulty, requiring sophisticated surgery arguments:
   Step a: Separate connected sum using S^(n+1)
   • Decompose Q into P₁ = Q₁ - D ⊂ D₁^(n+2) and P₂ = Q₂ - D ⊂ D₂^(n+2)
   • D is the connecting disk, c = ∂D = S^(n-1) embedded trivially in S^(n+1)
   • Alexander duality: π₁(S^(n+1) - c) = H₁(D_i^(n+2) - P_i) = Z, generated by circle d linking c
   
   Step b: Analyze curve types in F ∩ S^(n+1)
   • Type (1): Curves with endpoints on c
   • Type (2): Closed curves not linking c (null-homologous)
   • Type (3): Closed curves linking c (non-null-homologous)
   
   Step c: Handle Type (3)
   • Let Type (3) curves be m₁d, m₂d, ..., take common multiple md
   • Construct m-fold covering G → F such that Type (3) curves in G represent the same homology class w = md or -w
   • Have x(G) = mx(F), ∂G = mnr
   
   Step d: Surgery to eliminate curves
   • Type (1): Cut along curve, connect with arc in D, patch with 2-disk (x unchanged)
   • Type (2): Cut along curve, patch with disk in S^(n+1) not intersecting c (x unchanged)
   • Type (3)*: +w and -w appear in pairs (since r_i is null-homologous in D_i^(n+2) - P_i)
     • For each pair, cut along both curves
     • Connect in D_i^(n+2) - P_i using pipe along tubular neighborhood of P_i
     • x unchanged
   
   Step e: Obtain separated surfaces
   • G becomes G₁ ⊂ D₁^(n+2) and G₂ ⊂ D₂^(n+2)
   • ∂G_i = mnr_i, x(G) ≥ x(G₁) + x(G₂)
   • Therefore: ‖r‖_Q + ε ≥ x(G)/(mn) ≥ ‖r₁‖₁ + ‖r₂‖₂

Technical Innovations

1. Covering Technique: Constructing covering spaces to unify homology classes of Type (3) curves is the key to handling linked curves
2. Pair Elimination: Recognizing that +w and -w appear in pairs and eliminating them via pipe surgery while preserving complexity
3. Dimension Independence: The entire proof works for n≥2 without relying on low-dimensional special properties
4. Systematization of Norm Method: Applies Thurston norm ideas to codimension-2 embeddings, establishing a new research framework

Main Result Construction

Higher Genus Case (Lemma 4.2)

Using the additivity theorem, starting from the torus result in reference 6:

Result from 6: There exists T² embedded in S⁴ such that ‖Ax + By‖_K = a|A| + b|B|, where a,b can take infinitely many positive integer values

Generalization: For Fg = T²#T²#...#T² (g tori in connected sum):

• Take g tori K₁, ..., K_g, each with parameters (a_{2i-1}, a_{2i})
• By additivity theorem: $\|A_1x_1 + ... + A_{2g}x_{2g}\|_K = a_1|A_1| + ... + a_{2g}|A_{2g}|$ where x₁, ..., x_{2g} form a standard basis of H₁(Fg)

Main Theorem Proof (Theorem 1.1)

Key Observation: Choose distinct a_i values such that the norm is completely determined by the absolute values of components

Proof:

1. Extendable automorphisms h must preserve the norm: ‖h(r)‖_K = ‖r‖_K
2. Let the homological action matrix of h be A = (a_)
3. For basis element x_i, we have ‖Ax_i‖ = ‖∑j ax_j‖ = ∑j a_j|a|
4. While ‖x_i‖ = a_i
5. Norm preservation requires: ∑j a_j|a| = a_i
6. Since a_i are distinct and arbitrarily chosen, this forces A to be diagonal
7. Furthermore, diagonal entries must be ±1 (symplectic condition)

Special Case g=1: Since MCG(T²) = Aut(T²,Z) = SL(2,Z), we obtain that there exists T² embedded such that the matrices in E(i) can only be ±I

Experimental Setup

This is a pure mathematics theoretical paper with no experimental component. All results are obtained through rigorous mathematical proofs.

Experimental Results

Not applicable (pure theoretical work)

Related Work

Classical Results on Tori

1. Standard Embedding T^p → S^(p+2) (Reference 2):
   • Analyzes various classes of extendable diffeomorphisms
   • Proves Aut(T^p) : E(i) ≤ 2^p - 1
   • Reference 1 shows equality holds
2. Knotted Tori T^p ⊂ R^(p+2) (Reference 1):
   • Uses spin methods to estimate MCG(T^p) : E(i)
   • Provides upper bounds but not necessarily tight
3. Special Case T² in S⁴ (References 3,5):
   • Determines E(i) group structure for certain specific knotted T²

Surface Embeddings

4. Trivial Embedding Fg → S⁴ (Reference 4):
   • Completely determines E(i)
   • Computes MCG(Fg) : E(i) = 2^(2g-2) + 2^(g-1)
   • Provides classification criteria
5. Norm Method (Reference 6):
   • Defines Thurston-like norm on H₁(T²)
   • Proves existence of T² embeddings with finite E(i)
   • Direct inspiration for this work

Non-Extendable Maps

6. Existence Results (Reference 1):
   • For any g≥1, there exists f ∈ MCG_top(Fg) that cannot be homeomorphically extended on any smooth embedding i: Fg → R⁴

Advantages of This Work

• Dimensional Lifting: Generalizes from g=1 to arbitrary g
• Systematic Method: Establishes general framework for connected sums
• Constructive: Explicitly provides embeddings with desired properties
• Potential Generalization: Methods applicable to higher-dimensional cases

Conclusions and Discussion

Main Conclusions

1. Core Theorem: For any genus g, there exists Fg embedded in S⁴ whose extendable automorphisms have image in Sp(2g,Z) consisting only of diagonal matrices with entries ±1
2. Methodological Contribution: The norm additivity theorem provides powerful tools for studying embeddings of connected sums
3. Essential Role of Knotting: Demonstrates that knotted embeddings can dramatically restrict symmetry, contrasting sharply with trivial embeddings

Limitations

1. Homological Level Restrictions:
   • Norm methods only detect information in Aut(Fg,Z) = Sp(2g,Z)
   • For g>1, cannot directly obtain complete structure of E(i) in MCG(Fg)
   • Due to non-trivial Torelli group Ker(MCG(Fg) → Sp(2g,Z))
2. Indirectness of Construction:
   • Uses connected sum construction rather than "intrinsic" higher-genus knotted surfaces
   • Possibly suboptimal embeddings exist
3. Strength of Finiteness:
   • Only proves "finite action," not exact group structure
   • Weaker than reference 6's result for T² (E(i) ≅ Z/2Z × Z/2Z)

Future Directions

The paper proposes two important conjectures:

Conjecture 5.1 (Higher Genus Surfaces): There exists Fg embedded in S⁴ with finitely many extendable mapping classes (in MCG(Fg))

Challenges: Requires deep study of Torelli group action, possibly:

• Developing new invariants to detect Torelli group elements
• Studying geometric realization of Johnson homomorphism
• Exploiting curve complex geometry

Conjecture 5.2 (Higher Dimensional Generalization): There exists T^p embedded in S^(p+2) with finitely many extendable classes in MCG(T^p) or SL(p,Z)

Possible Approaches:

• Norm definition in this work applies to arbitrary p
• Requires extending additivity theorem to connected sums of higher-dimensional tori
• May need new topological surgery techniques

In-Depth Evaluation

Strengths

1. Theoretical Depth:
   • Systematizes and generalizes the pioneering work of reference 6
   • Additivity theorem proof is technically sophisticated with rigorous surgery arguments
   • Connects multiple branches of topology (knot theory, differential topology, geometric topology)
2. Methodological Innovation:
   • Covering technique elegantly handles complexity of linked curves
   • Pair elimination idea potentially applicable to other problems
   • Norm method demonstrates power of algebraic topology tools
3. Result Significance:
   • First systematic treatment of extendability for higher-genus surfaces
   • Provides new research framework for the field
   • Opens multiple research directions
4. Writing Quality:
   • Clear structure with rigorous logic
   • Effective use of diagrams (Figure 1) to illustrate surgery process
   • Comprehensive literature review and motivation

Weaknesses

1. Result Completeness:
   • Does not fully resolve MCG(Fg)-level problems (for g>1)
   • "Finite" conclusion is weaker compared to trivial embedding index MCG(Fg) : E(i) = 2^(2g-2)+2^(g-1)
   • Does not provide exact structure of E(i)
2. Naturality of Construction:
   • Connected sum construction may not be optimal
   • Do indecomposable higher-genus knotted surfaces with similar properties exist?
3. Technical Details:
   • Proof of Lemma 2.1 "general position argument" could be more detailed
   • Specific implementation of "pipe connection" in surgery could be more explicit
   • Non-degeneracy conditions for norm insufficiently discussed
4. Generalization Obstacles:
   • Conjectures 5.1 and 5.2 posed without proposed attack strategies
   • Geometric realization of Torelli group is a well-known difficult problem

Impact

1. Field Contribution:
   • Moderately High: Generalizes important results but doesn't completely solve core problems
   • Provides new research tools for 4-dimensional topology
   • May inspire research on other codimension-2 embedding problems
2. Practical Value:
   • Pure Theory: Fundamental mathematics research with no direct applications
   • Potential connections to theoretical physics (topological field theory)
3. Reproducibility:
   • Fully Reproducible: All proofs are constructive
   • Norm calculations are algorithmically implementable in principle
   • Specific embedding constructions require advanced differential topology techniques
4. Follow-up Research:
   • Reference 8 already studies extendability of finite-order automorphisms
   • Methods potentially applicable to other symmetry problems
   • Geometric realization of Torelli group remains important open direction

Applicable Scenarios

1. Theoretical Research:
   • Low-dimensional topologists studying surfaces in 4-manifolds
   • Higher-dimensional generalizations of knot theory
   • Geometric realization of mapping class groups
2. Related Fields:
   • Symplectic geometry (Sp(2g,Z) actions)
   • Differential topology (smooth embedding classification)
   • Algebraic topology (geometric applications of homology theory)
3. Potential Applications:
   • Symmetry analysis in topological quantum field theory
   • Construction of higher-dimensional knot invariants
   • Symmetry classification of manifolds

References

The paper cites 9 key references, core ones including:

1. 1 Ding-Liu-Wang-Yao (2012): Systematic study of spin methods and extendability
2. 4 Hirose (2002): Complete results for trivial embeddings Fg → S⁴
3. 6 Liu-Ni-Sun-Wang (2013): Pioneering norm method work, directly generalized here
4. 9 Thurston (1986): Original Thurston norm definition, theoretical foundation

These references form the theoretical basis and direct motivation for this work.

Overall Assessment

This is a solid theoretical topology paper that successfully generalizes the norm method from tori to higher-genus surfaces. The main contribution is Theorem 3.1 (Additivity Theorem), a technically sophisticated result with potential broad applications. While Theorem 1.1's conclusion (finite action) falls short of the ideal goal (complete determination of E(i)), given the problem's difficulty and Torelli group complexity, this represents significant progress in the field.

The methodological value may exceed the concrete results: norm additivity provides a systematic framework for studying connected sums, and surgery techniques (particularly covering and pair elimination) demonstrate the depth of geometric topology. For the low-dimensional topology community, this is essential reading, especially for researchers interested in 4-dimensional embedding problems.

Recommended for: Low-dimensional topologists, knot theorists, mapping class group researchers; requires strong background in algebraic and differential topology.