Non-Orientable 4-Genus in Knot Theory

• Non-orientable 4-genus is defined as the minimal first Betti number of a non-orientable surface in the 4-ball bounding a knot, capturing its topological complexity.
• Floer-theoretic techniques, including Heegaard Floer d-invariants and the Upsilon invariant, provide sharp lower bounds and demonstrate that this invariant can be arbitrarily large.
• Band-move constructions and classical invariants like the signature and Casson–Gordon invariants interlock to refine the geography of (e, b₁) pairs and enhance our understanding of knot concordance.

The non-orientable four-genus of a knot, denoted $\gamma_4(K)$, is the minimal first Betti number $b_1(F)$ of a non-orientable surface $F \subset B^4$ smoothly embedded in the 4-ball $B^4$ with boundary $\partial F = K \subset S^3$. This invariant quantifies the complexity of non-orientable surfaces bounding $K$ in four-dimensional topology and is fundamental for studying knot concordance, slicing obstructions, and the interplay between classical and modern gauge-theoretic invariants. The non-orientable 4-genus is strictly greater than zero for any non-slice knot and can be arbitrarily large, as shown by infinite families of knots.

1. Definition and Basic Properties

Given a smooth knot $K \subset S^3$, a non-orientable surface $F \subset B^4$ with $\partial F = K$ has first Betti number $b_1(F)$. The non-orientable 4-genus is defined by: $b_1(F)$0 If $b_1(F)$1 is slice (bounds a disk), then $b_1(F)$2, as the disk may be modified into a Möbius band with $b_1(F)$3 (Batson, 2012). The invariant satisfies $b_1(F)$4, where $b_1(F)$5 is the non-orientable genus in $b_1(F)$6 (Jabuka et al., 2019).

2. Fundamental Lower Bounds and Floer-Theoretic Techniques

The initial lower bounds for $b_1(F)$7 are provided by classical signature and quadratic form constraints. The Gordon–Litherland signature theorem gives: $b_1(F)$8 where $b_1(F)$9 is the normal Euler number of $F \subset B^4$0 (which satisfies $F \subset B^4$1) (Gilmer et al., 2010). Building on this, Batson employed Heegaard Floer correction terms $F \subset B^4$2: $F \subset B^4$3 This bound is sharp for many families and implies that $F \subset B^4$4 is unbounded across knots; for $F \subset B^4$5 one gets $F \subset B^4$6 (Batson, 2012). More generally, Floer-theoretic obstructions prove that there exist infinitely many knots with arbitrarily large non-orientable 4-genus (Sato, 2014).

Recent advances utilize the Upsilon invariant $F \subset B^4$7: $F \subset B^4$8 which often aligns with the signature for alternating and quasi-alternating knots, but in general yields nontrivial lower bounds (Sabloff, 2022, Jabuka et al., 2018).

3. Band-Move Constructions, Pinch Moves, and Exact Computations

Non-orientable surfaces in $F \subset B^4$9 are often constructed by sequences of non-orientable band moves, called pinch moves in the context of torus knots. For $B^4$0, repeated pinch moves reduce the knot to the unknot, each band increasing $B^4$1 by at most 1, so the minimal number of pinch moves $B^4$2 gives an upper bound $B^4$3 (Jabuka et al., 2018). Batson conjectured that this upper bound is often sharp, i.e., $B^4$4 for infinite subfamilies of torus knots, though explicit counterexamples exist (such as $B^4$5, where $B^4$6 despite $B^4$7) (Sabloff, 2022, Sinha, 16 Jul 2025).

Recent results established the exact values for infinite families of torus knots:

• $B^4$8, with non-orientable genus strictly less than the pinch-move number $B^4$9 (Sinha, 16 Jul 2025).
• $\partial F = K \subset S^3$0 by explicit surface construction matching the lower bound (Batson, 2012).

Counterexamples to Batson's conjecture demonstrate that $\partial F = K \subset S^3$1 can differ from the pinch-move norm by at most 1 in known cases (Sinha, 16 Jul 2025, Binns et al., 2021).

4. Geography Problem: $\partial F = K \subset S^3$2 Pairs

The relationship between the normal Euler number $\partial F = K \subset S^3$3 and the first Betti number $\partial F = K \subset S^3$4 leads to the geography problem: characterizing all possible pairs $\partial F = K \subset S^3$5 for non-orientable surfaces bounding a knot $\partial F = K \subset S^3$6 (Sabloff, 2022, Allen, 2020, Feller et al., 2020). Massey's parity constraint enforces $\partial F = K \subset S^3$7. The possible pairs lie in the intersection of "wedges" determined by signature and Upsilon inequalities: $\partial F = K \subset S^3$8 Heegaard Floer $\partial F = K \subset S^3$9-invariants for double branched covers further eliminate portions of the admissible region, refining the geography and producing strict inequalities for infinite families (Allen, 2020). In select subfamilies (notably "JVC-knots"), one can completely classify the realizable $K$0 pairs.

5. Link to Other Knot Invariants and Non-Orientable Sliceness

$K$1 is often strictly larger than the orientable slice genus $K$2. For torus knots, Seifert and Kronheimer–Mrowka proved $K$3, but the non-orientable genus can grow much faster, with the gap $K$4 (where $K$5 is the crosscap number) arbitrarily large for $K$6 with even $K$7 and odd $K$8 (Jabuka et al., 2019). For double-twist knots $K$9, explicit constructions show all possible values $K \subset S^3$0 occur, with thorough tables for small $K \subset S^3$1 (Hoste et al., 2022).

The classical invariants, particularly the signature and Arf invariant, obstruct non-orientable sliceness. If $K \subset S^3$2, then $K \subset S^3$3, forbidding Möbius band fillings (Gilmer et al., 2010).

6. Modern Obstructions: Linking Forms, $K \subset S^3$4-invariants, and Casson-Gordon Theory

The Murakami–Yasuhara criterion uses the linking form $K \subset S^3$5 on the double branched cover $K \subset S^3$6 to obstruct Möbius band fillings: for $K \subset S^3$7, the generator $K \subset S^3$8 must have $K \subset S^3$9 (Gilmer et al., 2010, Hoste et al., 2022). Casson–Gordon invariants provide further linear lower bounds by examining characters on $F \subset B^4$0, producing infinite families of knots with arbitrarily large non-orientable ribbon genus (Gilmer et al., 2010).

Heegaard Floer $F \subset B^4$1-invariants for (–1)-surgery or for $F \subset B^4$2 obstruct small non-orientable genus for both smooth and ribbon cases (Batson, 2012, Allen, 2020).

7. Extensions, Equivariant and Topological Variants

Generalization to punctured 4-manifolds and periodic settings reveals further phenomena. For any closed, simply-connected spin 4-manifold $F \subset B^4$3, the null-homologous non-orientable 4-genus $F \subset B^4$4 is unbounded; explicit lower bounds involve knot and manifold signatures (Sato, 2014). In the topological (locally-flat) category, the non-orientable genus can be smaller due to Freedman’s machinery, which allows capping curves with disks absent smooth constraints. For locally-flat Möbius bands, subtle number-theoretic criteria control fillability (Feller et al., 2020).

Equivariant non-orientable 4-genus $F \subset B^4$5 for periodic knots can exceed the classical $F \subset B^4$6, reflecting symmetry constraints (Grove et al., 2021).

---

Table: Lower Bounds for $F \subset B^4$7

Bound Type	Formula/Condition	Reference
Signature/Euler number (Gordon–Litherland)	$F \subset B^4$8	(Gilmer et al., 2010)
Signature plus $F \subset B^4$9-invariant (Batson)	$\partial F = K$0	(Batson, 2012)
Arf, signature congruence (Yasuhara, Gilmer–Livingston)	$\partial F = K$1 need $\partial F = K$2	(Gilmer et al., 2010)
Upsilon invariant (Ozsváth–Stipsicz–Szabó)	$\partial F = K$3	(Jabuka et al., 2018)
Casson–Gordon invariants	$\partial F = K$4	(Gilmer et al., 2010)

---

8. Summary and Research Directions

The non-orientable 4-genus of knots is deeply sensitive to smooth topology, Floer-theoretic invariants, and number-theoretic subtleties. It is unbounded across knots, with sharp lower and upper bounds now accessible via Floer homology. All known constructions and obstructions (band-moves, linking forms, $\partial F = K$5-invariants, Upsilon) interlock to yield a comprehensive, yet intricate, picture for classes such as torus and double-twist knots.

Current research includes:

• Classification of $\partial F = K$6 geography for wider knot families (Allen, 2020, Sabloff, 2022).
• Systematic identification of counterexamples to genus bounds (Sinha, 16 Jul 2025).
• Extension to equivariant and locally-flat categories (Grove et al., 2021, Feller et al., 2020).
• Application of higher gauge-theoretic and Floer-theoretic obstructions.

Open questions remain about the precise geography, sharpness of genus bounds for broader classes, and the full reach of gauge-theoretic invariants in detecting non-orientable slicing complexity.