arxiv: 2604.03812 · v1 · submitted 2026-04-04 · 🧮 math.GT · math.DG

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

Bennett Chow , Michael Freedman This is my paper

Pith reviewed 2026-05-13 17:00 UTC · model grok-4.3

classification 🧮 math.GT math.DG

keywords nonorientable surfaces4-manifoldsnormal Euler numberlocally flat embeddingshomology mod 2branched coversMassey inequality

0 comments

The pith

In any closed oriented 4-manifold, the total normal-Euler excess of disjoint nonorientable surfaces with same-sign twisted Euler numbers summing to zero mod 2 is bounded by a constant depending only on the manifold.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves that for a fixed closed connected oriented topological 4-manifold M, any finite collection of pairwise disjoint locally flat embedded nonorientable surfaces whose twisted normal Euler numbers all have the same sign and whose homology classes sum to zero in H2 with F2 coefficients has a uniformly bounded sum of |ei| minus twice the nonorientable genus. This bound depends only on M itself. A reader cares because it extends the classical Massey bound from the 4-sphere to arbitrary 4-manifolds and immediately yields finiteness theorems for surfaces carrying large excess. The argument proceeds by tubing the surfaces into a single surface and then applying signature and Euler characteristic identities on the associated 2-fold branched cover.

Core claim

Let M be a closed connected oriented topological 4-manifold. If F1,…,Fr⊂M are pairwise disjoint connected locally flat topologically embedded nonorientable surfaces with nonorientable genera gi, same-sign twisted normal Euler numbers ei, and [F1]+⋯+[Fr]=0 in H2(M;F2), then the normal-Euler excess ∑(|ei|−2gi) is bounded above by a constant depending only on M.

What carries the argument

Tubing construction combined with signature and Euler-characteristic formulas for 2-fold branched covers

If this is right

Every closed oriented topological 4-manifold contains only finitely many pairwise disjoint locally flat embedded copies of RP2 with |e|>2.
Every closed oriented topological 4-manifold contains only finitely many pairwise disjoint orientable tubular neighborhoods of RP2 whose twisted Euler numbers satisfy |e|>2.
When M is a homology 4-sphere the bound reduces exactly to Massey's inequality |e(F)|≤2g(F) for a single nonorientable surface in S4.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same-sign hypothesis is essential; without it, opposite signs could cancel and permit arbitrarily large total excess even in a fixed manifold.
Explicit constants for concrete manifolds such as CP2 or S2×S2 could in principle be extracted by computing the signature of the branched covers arising from maximal families.
The same tubing-plus-branched-cover technique may adapt to give bounds for immersed or singular nonorientable surfaces under controlled self-intersection assumptions.

Load-bearing premise

The surfaces are locally flat topologically embedded and their twisted normal Euler numbers all have the same sign.

What would settle it

An explicit sequence, in some fixed closed 4-manifold, of pairwise disjoint locally flat nonorientable surfaces with same-sign ei, mod-2 null total class, and sum(|ei|−2gi) growing without bound.

read the original 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\).

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This extends Massey's S^4 bound to a uniform excess limit depending only on any fixed closed 4-manifold for same-sign mod-2-null families of disjoint nonorientable surfaces.

read the letter

The main result is a bound on the total normal-Euler excess sum(|e_i| - 2g_i) that depends only on the ambient closed oriented 4-manifold M. The surfaces must be pairwise disjoint, locally flat, connected, nonorientable, with same-sign twisted normal Euler numbers and total mod-2 homology class zero. This produces finiteness statements for RP^2 embeddings with |e| > 2 and for certain orientable bundles over RP^2 inside any fixed M. When M is a homology sphere the bound reduces exactly to Massey's sharp inequality |e| ≤ 2g. That is the concrete new content. The argument proceeds by tubing the surfaces together while preserving the mod-2 null condition, then applying the standard signature and Euler-characteristic formulas for the resulting 2-fold branched cover. The method is standard and the recovery of the S^4 case serves as an independent check. The corollaries follow directly. The same-sign hypothesis on the e_i is required; the abstract notes that the bound can fail without it, so that restriction is explicit rather than hidden. Local flatness is the usual assumption for topological embeddings in this setting and introduces no extra circularity. The branched-cover formulas invoked are independently established, so the logic does not loop back on itself. This is aimed at 4-manifold topologists who work on surface embeddings, normal Euler numbers, or finiteness results in fixed ambient manifolds. Anyone tracking extensions of Massey-type inequalities or applications of branched covers will extract usable statements. The claim is new, the technique is appropriate, and the outline is consistent. I would send it for peer review.

Referee Report

0 major / 3 minor

Summary. The manuscript proves that for a closed connected oriented topological 4-manifold M, any collection of pairwise disjoint connected locally flat topologically embedded nonorientable surfaces F_i with nonorientable genera g_i, same-sign twisted normal Euler numbers e_i, and [F_1] + ⋯ + [F_r] = 0 in H_2(M; F_2) satisfies an upper bound on the normal-Euler excess ∑(|e_i| − 2g_i) that depends only on M. The argument proceeds by a tubing construction that merges the surfaces into a single surface while preserving the mod-2 null-homology condition, followed by application of the signature and Euler-characteristic formulas for the associated 2-fold branched cover. Corollaries include finiteness of RP^2 embeddings with |e| > 2 and of certain orientable tubular neighborhoods over RP^2, together with recovery of Massey's sharp bound |e(F)| ≤ 2g(F) when M is a homology 4-sphere.

Significance. If the result holds, it supplies a uniform bound on total excess for same-sign mod-2-null families of disjoint nonorientable surfaces, extending Massey's S^4 inequality to arbitrary closed oriented topological 4-manifolds via standard techniques. The corollaries on finiteness of high-excess RP^2 embeddings and bundles are immediate consequences with clear topological utility. The independent consistency check obtained by specializing to homology spheres strengthens the claim. The argument relies on independently established branched-cover formulas rather than ad-hoc constructions.

minor comments (3)

[Abstract] Abstract, line 3: the parenthetical notation H_2(M; F_2) should be written uniformly as H_2(M; F_2) or H_2(M; ℤ/2) throughout the manuscript to avoid any ambiguity with field coefficients.
[Proof outline] The tubing construction is sketched in the abstract but the precise manner in which the twisted normal Euler numbers combine under tubing (including sign preservation) would benefit from an explicit local model or reference to a standard lemma in §2 or §3.
[Corollaries] Corollary statements on finiteness of RP^2 copies and tubular neighborhoods would be strengthened by a single sentence indicating how the constant depending only on M is obtained from the branched-cover invariants.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of the manuscript, the clear summary of the main result, and the recommendation for minor revision. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation uses independent standard invariants

full rationale

The central argument proceeds by tubing the given disjoint surfaces into a single nonorientable surface while preserving the mod-2 null-homology condition, then invoking the signature theorem and Euler-characteristic formulas on the associated 2-fold branched cover. These formulas are classical, independently established results in topological 4-manifold theory and are not derived from or fitted to the present theorem. The recovery of Massey's bound on homology spheres functions as an external consistency check rather than a self-referential step. No self-definitional equations, fitted-input predictions, load-bearing self-citations, or ansatz smuggling appear in the derivation chain.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The proof rests on standard topological constructions and invariants without introducing new free parameters or postulated entities.

axioms (1)

standard math Formulas for signature and Euler characteristic of 2-fold branched covers of 4-manifolds
Invoked after the tubing construction to obtain the excess bound.

pith-pipeline@v0.9.0 · 5603 in / 1289 out tokens · 51010 ms · 2026-05-13T17:00:39.636858+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

12 extracted references · 12 canonical work pages

[1]

B. Chow, M. Freedman, H. Shin, and Y. Zhang,Curvature growth of some4- dimensional gradient Ricci soliton singularity models, Adv. Math.372(2020), 107303, 17 pp

work page 2020
[2]

B. Chow, M. Freedman, H. Shin, and Y. Zhang,A partial generalization of Hantzsche’s theorem and a correction, arXiv:2505.03823v2, 2026

work page arXiv 2026
[3]

B. Chow, B. Kotschwar, and O. Munteanu,Ricci solitons in dimensions4and higher, Math. Surv. Monogr.293, Amer. Math. Soc. (2025)

work page 2025
[4]

R. H. Fox,Covering spaces with singularities, inAlgebraic Geometry and Topology. A Symposium in Honor of S. Lefschetz, Princeton Univ. Press, Princeton, NJ, 1957, pp. 243–257

work page 1957
[5]

Freedman and F

M. Freedman and F. Quinn,Topology of4-manifolds, Princeton Mathematical Series 39, Princeton University Press, Princeton, NJ, 1990

work page 1990
[6]

Geske, A

C. Geske, A. Kjuchukova, and J. L. Shaneson,Signatures of topological branched covers, Int. Math. Res. Not. IMRN 2021, no. 6, 4605–4624

work page 2021
[7]

Hantzsche,Einlagerung von Mannigfaltigkeiten in euklidische R¨ aume, Math

W. Hantzsche,Einlagerung von Mannigfaltigkeiten in euklidische R¨ aume, Math. Z. 43(1938), 38–58

work page 1938
[8]

Hatcher, Allen.Algebraic topology.Cambridge University Press, Cambridge, 2002

work page 2002
[9]

Illman,Smooth equivariant triangulations ofG-manifolds forGa finite group, Math

S. Illman,Smooth equivariant triangulations ofG-manifolds forGa finite group, Math. Ann.233(1978), 199–220

work page 1978
[10]

Kasprowski, M

D. Kasprowski, M. Powell, A. Ray, and P. Teichner,Embedding surfaces in4- manifolds, Geom. Topol.28(2024), no. 5, 2399–2482

work page 2024
[11]

Lee and S

R. Lee and S. H. Weintraub,On the homology of double branched covers, Proc. Amer. Math. Soc.123(1995), no. 4, 1263–1266

work page 1995
[12]

W. S. Massey,Proof of a conjecture of Whitney, Pacific J. Math.31(1969), no. 1, 143–156. Department of Mathematics, University of California, San Diego, Califor- nia 92093, USA. Department of Mathematics, Harvard University, CMSA, Cambridge, Mas- sachusetts 02139, USA

work page 1969