[Paper Review] Structural properties of bounded one-sided surfaces in link spaces

Loretta Bartolini|arXiv (Cornell University)|Jan 13, 2011

Geometric and Algebraic Topology3 references3 citations

TL;DR

This paper introduces the Möbius band tree—a graphical framework to analyze genus growth in geometrically incompressible, one-sided surfaces within torus bundles and link spaces. By encoding boundary slope changes and Möbius band compressions, the method reveals structural trends in genus not captured by continued fractions, and establishes a uniqueness result for boundary incompressible forms when no irreducible polygonal discs exist in the core.

ABSTRACT

Various structural properties are developed for non-orientable surfaces in link spaces. The Möbius band tree is described to represent genus growth of one-sided surfaces in solid tori. The structure of the Tree allows various insights into the change of genus under boundary slope, which are not possible using the existing continued fractions algorithm. A restriction under which geometrically incompressible, boundary compressible one-sided surfaces have a unique boundary incompressible form away from the boundary is established.

Motivation & Objective

• To develop a structural framework for understanding genus growth in non-orientable, geometrically incompressible one-sided surfaces in link spaces.
• To overcome limitations of the continued fractions algorithm in detecting trends in genus under boundary slope changes.
• To characterize the behavior of Möbius band compressions and their impact on surface topology in torus × I and solid tori.
• To establish conditions under which boundary incompressible restrictions of such surfaces are unique in the core of a link space.
• To identify combinatorial and topological obstructions—specifically embedded polygonal discs—that prevent uniqueness of boundary incompressible forms.

Proposed method

• Constructs the Möbius band tree as a graph where vertices represent boundary slopes (2p, q) with (2p, q) = 1 and q odd, and edges connect slopes with intersection number ±2.
• Uses the tree to encode how genus changes under Möbius band compressions, providing a visual and algebraic tool for tracking genus evolution.
• Applies the structure to torus × I bundles, showing that genus behavior in the solid torus case generalizes to the bundle setting when the inner boundary is fixed.
• Introduces the concept of irreducible polygonal discs (especially quadrilateral discs) that can cause non-uniqueness in boundary incompressible restrictions.
• Employs homological techniques in once-punctured torus bundles to detect the absence of such discs, using the matrix action of the monodromy on H₁(K).
• Derives a condition on the monodromy matrix A ∈ SL(2, Z) for the existence of embedded quadrilateral discs: |(ax+by)y − (cx+dy)x| = 0, 1, −1 must have solutions for some (x, y) ∈ Z².

Experimental results

Research questions

• RQ1 How can genus growth of one-sided surfaces under boundary slope changes be systematically analyzed beyond the continued fractions algorithm?
• RQ2 What structural role do Möbius band compressions play in the topology of geometrically incompressible one-sided surfaces in torus bundles?
• RQ3 Under what conditions is the boundary incompressible restriction of a geometrically incompressible one-sided surface unique in the core of a link space?
• RQ4 What topological obstructions—specifically embedded polygonal discs—can lead to non-uniqueness in boundary incompressible forms?
• RQ5 For which monodromy matrices in once-punctured torus bundles do no irreducible embedded polygonal discs exist, ensuring uniqueness of boundary incompressible forms?

Key findings

• The Möbius band tree provides a graphical and algebraic representation of genus growth under boundary slope changes, revealing trends not visible via the continued fractions algorithm.
• A unique boundary incompressible restriction exists in the core of a link space if no irreducible polygonal discs are present, as established in Proposition 4.4.
• In once-punctured torus bundles with monodromy matrix A ≡ I mod 2 and trace(A) ≠ ±2, no embedded polygonal discs exist, ensuring uniqueness of boundary incompressible forms.
• The existence of an embedded quadrilateral disc is equivalent to the solvability of |(ax+by)y − (cx+dy)x| = 0, 1, −1 for some (x, y) ∈ Z², providing a homological criterion.
• When such discs exist, non-uniqueness of boundary incompressible restrictions can occur, but this is not generic and depends on specific combinatorial conditions.
• The framework demonstrates that Möbius band compressions can be systematically tracked via the tree structure, enabling analysis of surface isotopy classes in link spaces.