Normal-Euler excess for disjoint nonorientable surfaces in a closed $4$-manifold

Abstract: Let (M) be a closed connected oriented topological (4)-manifold. We prove that if (F_1,\dots,F_r\subset M) are pairwise disjoint connected locally flat topologically embedded nonorientable surfaces with nonorientable genera (g_i), same-sign twisted normal Euler numbers (e_i), and ( [F_1]+\cdots+[F_r]=0\in H_2(M;\F_2), ) then the normal-Euler excess ( \sum_{i=1}^r \bigl(\abs{e_i}-2g_i\bigr) ) is bounded above by a constant depending only on (M). Thus same-sign mod-(2)-null families of disjoint nonorientable surfaces in a fixed ambient (4)-manifold have uniformly bounded total excess over Massey's (S^4) bound. The proof combines a tubing construction with the signature and Euler-characteristic formulas for (2)-fold branched covers. As corollaries, every closed oriented topological (4)-manifold contains only finitely many pairwise disjoint locally flat topologically embedded copies of (\RP^2) with (\abs{e}>2), and only finitely many pairwise disjoint tubular neighborhoods modeled on real (2)-plane bundles over (\RP^2) whose total spaces are orientable and whose twisted Euler numbers have absolute value greater than (2). When (M) is a homology (4)-sphere, the ambient error term vanishes, and the theorem recovers Massey's sharp inequality (\abs{e(F)}\le 2g(F)) for nonorientable surfaces in (S^4).

• The paper introduces a uniform bound on the aggregate excess of twisted normal Euler numbers for disjoint nonorientable surfaces in closed 4-manifolds.
• It employs a clever combination of tubing constructions, branched double cover techniques, and signature formulas to relate surface and manifold invariants.
• The results yield finiteness theorems for disjoint embeddings and offer quantitative control over singularity models in geometric analysis.

Normal-Euler Excess Bounds for Disjoint Nonorientable Surfaces in Closed $4$-Manifolds

Introduction

The paper "Normal-Euler excess for disjoint nonorientable surfaces in a closed $4$-manifold" (2604.03812) establishes a uniform upper bound on the aggregate deviation of twisted normal Euler numbers from Massey's classical topological bound for disjoint families of nonorientable surfaces embedded in closed, oriented topological $4$-manifolds. The central technical achievement is an ambient-manifold generalization of Massey's inequality for the normal Euler number of nonorientable surfaces in $S^4$, replacing the sharp pointwise bound with a strong "excess" bound for mod-2-homologically null, same-sign families of disjoint embeddings.

Background and Main Result

Let $M$ be a closed, connected, oriented topological $4$-manifold, and consider pairwise disjoint, connected, locally flat, topologically embedded nonorientable surfaces $F_1, \dots, F_r \subset M$. The normal Euler number $e(F_i)$ of each $F_i$ is defined using twisted local coefficients determined by the first Stiefel–Whitney class, generalizing the self-intersection number to the nonorientable category.

The foundational result of Massey asserts that for any smoothly embedded, connected nonorientable surface $F\subset S^4$ of nonorientable genus $4$0, the twisted normal Euler number satisfies $4$1. This bound is sharp, and every possible value in the range occurs. However, such sharp inequalities fail in general when $4$2 is arbitrary. The present paper replaces this pointwise bound with the following family bound: For any set of pairwise disjoint, same normal Euler sign, mod-2-homologically null embeddings $4$3, the normal-Euler excess

$4$4

is bounded above by an explicit constant depending only on $4$5.

This is formalized as:

Theorem (Main):

Suppose $4$6 in $4$7 and $4$8 all have the same sign. Then

$4$9

where $4$0 is the signature and $4$1 the Euler characteristic of $4$2.

This bound is uniform—it depends only on the topology of $4$3, not on the particular surfaces or their genera.

Methodology

The proof leverages a confluence of geometric, homological, and covering space techniques:

• Tubing Construction: The pairwise disjoint surfaces are joined via ambient 1-handle addition into a connected nonorientable surface $4$4. Additivity properties hold for genus and normal Euler number, and the mod-2-homology class is preserved.
• Branched Double Cover Argument: The null-homology condition enables the construction of a canonical connected double branched cover $4$5, branched singularly over $4$6. Signature and Euler characteristic formulas for $4$7 are derived.
• Signature Formula: The deviation of the Euler number is controlled via the signature defect of the branched cover: $4$8
• Homological Bounds: Using universal coefficient theorems and comparison of Betti numbers under branched covers, $4$9 is estimated in terms of the topology of $S^4$0 and $S^4$1.
• Linear Algebraic Lemma: A combinatorial result ensures the existence of large mod-2-null subfamilies among any sufficiently large collection of (possibly nontrivial) embeddings.

Corollaries and Consequences

Two substantial finiteness results are derived:

• Finiteness of Disjoint $S^4$2 with Large Euler Number: For any $S^4$3 as above, there exist only finitely many pairwise disjoint, embedded copies of $S^4$4 with twisted normal Euler number $S^4$5. This quantitatively restricts the possible proliferation of such surfaces in general $S^4$6-manifolds.
• Restriction on Disjoint Orientable Plane-Bundle Neighborhoods: $S^4$7 contains only finitely many pairwise disjoint tubular neighborhoods modeled on orientable total spaces of real $S^4$8-plane bundles over $S^4$9 with twisted Euler number $M$0.

The proof methodology underlines that, while individual surfaces may exhibit excesses violating Massey's bound when $M$1, the total amount of such violations in mod-2-null, disjoint, same-sign families is universally bounded.

The ambient orientability hypothesis is shown essential for finiteness: for instance, in $M$2, infinitely many pairwise disjoint, embedded $M$3 neighborhoods are possible.

Technical Implications

The result provides a universal obstruction for embedding large numbers of nonorientable surfaces with a prescribed sign of normal Euler number and mod-2-homological constraints. It implies, for Ricci flow and singularity analysis in $M$4-manifolds, that the topological accumulation of certain singularity models constructed from such neighborhoods—relevant, for example, in the study of $M$5-dimensional shrinking soliton singularities—is prohibited on purely topological grounds.

An explicit bound is produced, offering sharp quantitative control in practical applications where mod-2 homology and orientability play a key role. This has immediate bearing on the structure of singular sets in geometric analysis.

The construction also clarifies the effect of ambient $M$6-manifold invariants on possible embeddings: all topology enters through the signature, the first Betti number, and the Euler characteristic.

Future Directions

The analysis introduces several avenues for further investigation:

• Extent of Finiteness Beyond Nonorientable Cases: Whether analogous uniform bounds hold in broader settings, such as for orientable surfaces with constraints on self-intersection or other ambient geometric structures.
• Sharpness in Specific Families of $M$7-Manifolds: Determination of cases where the universal bound is optimal and under what circumstances larger families of surfaces approach the extremal bound.
• Applications to Differential Topology and Geometric Flows: Further exploitation of these bounds in the study of the structure of singularity models and moduli spaces in geometric analysis on $M$8-manifolds.
• Relation to Exploratory Examples and Counterexamples: Construction of new examples illuminating the tightness and limitations of the theorem, especially in nonorientable or disconnected boundary cases.

Conclusion

This paper establishes a significant and technically robust extension of the classical Massey inequality for normal Euler numbers to families of disjoint, locally flat, nonorientable surfaces embedded in arbitrary closed, oriented topological $M$9-manifolds. The derived uniform excess bound, which depends solely on ambient manifold invariants, yields strong finiteness and structural theorems constraining the topology of embedded nonorientable surface families. The methodology is notable for synthesizing homological, covering space, and signature calculations, and the results open several lines of further inquiry in low-dimensional topology and geometric analysis.