M\"obius-Type Structures in Non-Orientable Singular Semi-Riemannian Manifolds

Nathalie E. Rieger

arxiv: 2601.10009 · v2 · submitted 2026-01-15 · 🧮 math.DG · gr-qc· math-ph· math.GT· math.MP

M\"obius-Type Structures in Non-Orientable Singular Semi-Riemannian Manifolds

Nathalie E. Rieger This is my paper

Pith reviewed 2026-05-16 14:39 UTC · model grok-4.3

classification 🧮 math.DG gr-qcmath-phmath.GTmath.MP

keywords non-orientable manifoldssignature-changing metricssemi-Riemannian geometryradical transversalityMöbius strip constructionstopological obstructionsEuler characteristic

0 comments

The pith

On non-orientable compact surfaces, metrics obtained by adding a multiple of a one-form square to a Lorentzian metric cannot keep the radical transverse everywhere along the signature-change hypersurface.

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

The paper constructs explicit examples of signature-changing metrics on non-orientable surfaces by gluing along a Möbius-strip topology so that the junction coincides with the signature-change locus. It proves that, for any such metric arising from the standard transformation of a Lorentzian base, the radical distribution must fail to be transverse at some points on that locus. The obstruction is global and traces to the non-existence of nowhere-vanishing vector fields and to the Euler characteristic. A reader would care because the result shows that non-orientability itself rules out an entire family of otherwise natural metric constructions used to model signature change.

Core claim

On non-orientable compact surfaces the radical of a metric obtained from the prescription tilde g = g + f V-flat tensor V-flat, with g Lorentzian and f a smooth interpolation, cannot remain transverse along the entire hypersurface of signature change; the failure is forced by purely topological invariants such as the Euler characteristic and the absence of nowhere-vanishing vector fields.

What carries the argument

The transformation prescription tilde g = g + f V-flat tensor V-flat applied to a Lorentzian metric g, together with the Möbius-strip gluing that places the signature-change locus at the non-orientable junction.

If this is right

Any metric produced by the prescription on a compact non-orientable surface must lose transversality somewhere on the signature-change locus.
The admissible class of signature-changing metrics on non-orientable manifolds is strictly smaller than the corresponding class on orientable manifolds.
Topological invariants such as the Euler characteristic directly constrain which signature types can be realized globally.
Constructions that rely on a nowhere-vanishing vector field to define the radical direction are ruled out on these surfaces.

Where Pith is reading between the lines

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

Models that introduce signature change via this prescription may be forced to use orientable manifolds or to modify the interpolation function in ways not covered by the paper.
The same global obstruction could be tested numerically by attempting to maintain a transverse radical on the Klein bottle or on a crosscap with explicit coordinate charts.
The result suggests examining whether higher-dimensional non-orientable manifolds with signature change inherit analogous radical obstructions from their lower-dimensional skeletons.

Load-bearing premise

The metrics under consideration are required to arise exactly from the transformation prescription that starts with a Lorentzian metric and adds a smooth multiple of a one-form square.

What would settle it

An explicit construction, on any compact non-orientable surface, of a metric produced by the given prescription whose radical remains transverse at every point of the signature-change hypersurface.

read the original abstract

Our objective is to illuminate the global structure of non-orientable manifolds with signature-changing metrics, with particular emphasis on global topological obstructions. Using explicit geometric constructions based on the topology of the M\"{o}bius strip, we produce examples of crosscap manifolds where the gluing junction coincides with the locus of signature change. Our main result shows that on non-orientable compact surfaces, the radical of such metrics cannot be everywhere transverse along the hypersurface of signature change. In particular, metrics arising from the transformation prescription $\tilde{g}=g+fV^{\flat}\otimes V^{\flat}$, with $g$ a Lorentzian metric and $f$ a smooth interpolation function, necessarily fail to satisfy the transversality condition. This obstruction is of purely global origin and is closely related to topological invariants such as the Euler characteristic and the non-existence of nowhere-vanishing vector fields. These results demonstrate that non-orientability imposes intrinsic limitations on the class of admissible signature-type changing metrics.

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

The paper gives explicit Möbius-strip constructions for signature-changing metrics on non-orientable compact surfaces and states a topological obstruction to radical transversality, but the step from local transversality to a global nowhere-zero vector field needs clearer justification.

read the letter

The main takeaway is that this work supplies concrete examples of crosscap manifolds where the signature-change hypersurface sits at the Möbius gluing junction, and it claims that metrics built from a Lorentzian g plus a smooth bump times V♭ ⊗ V♭ cannot have their radical transverse everywhere along that locus. The constructions look like the genuinely new piece: they make the non-orientability and the metric transition coincide in a controlled way, which is useful for anyone modeling signature change on surfaces with odd Euler characteristic. The obstruction itself rests on standard facts about the absence of nowhere-vanishing vector fields, so it is not circular in the usual sense. That part is cleanly stated in the abstract and ties directly to the Euler characteristic. The soft spot is the precise link between transversality and the global vector field. Transversality of the one-dimensional radical to the hypersurface produces a line field along the change locus itself, but the contradiction with Poincaré-Hopf requires that line field to extend to a nowhere-zero section on the whole surface. The manuscript should spell out whether such an extension is forced by the metric form or whether additional choices are needed; without that step written out, the argument risks a gap even if the final claim is correct. For readers working on singular semi-Riemannian geometry or low-dimensional models with signature change, the examples are worth seeing. The paper is narrow but formally grounded enough that a serious referee should check the extension argument and verify the cited topological invariants against the explicit metrics. I would send it to peer review rather than desk-reject.

Referee Report

2 major / 2 minor

Summary. The paper constructs signature-changing metrics on non-orientable compact surfaces via Möbius-strip gluing and the transformation prescription tilde g = g + f V^flat tensor V^flat (with g Lorentzian). It claims a purely topological obstruction: the radical cannot be everywhere transverse to the signature-change hypersurface, as this would yield a nowhere-vanishing vector field on the manifold, contradicting the Euler characteristic via Poincaré-Hopf.

Significance. If the central obstruction holds, the work supplies explicit examples and a global topological constraint on admissible signature-changing metrics in the non-orientable setting, strengthening the link between local metric degeneracy and manifold invariants such as Euler characteristic. The Möbius-based constructions are a concrete strength.

major comments (2)

[Main result statement and surrounding argument (post-abstract)] The derivation that transversality of the radical along the hypersurface produces a global nowhere-vanishing vector field on the entire compact surface (used to invoke Poincaré-Hopf) is not fully justified. Transversality canonically yields only a line field along the hypersurface itself; the manuscript does not exhibit an explicit extension of this line field across the two sides while preserving the signature change, nor does it rule out such an extension.
[Construction section (Möbius gluing)] In the Möbius-strip gluing examples, the radical's behavior at the junction must be computed explicitly to confirm that the construction either satisfies or necessarily violates transversality; the current presentation leaves open whether the line field on the junction extends consistently with the metric signature on each side.

minor comments (2)

[Notation and setup] Clarify the precise definition of V (vector field or covector) and the notation V^flat in the transformation prescription.
[Topological background] Add a brief reference to the standard statement of Poincaré-Hopf used for the Euler-characteristic argument.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address each major comment below and will incorporate revisions to strengthen the arguments.

read point-by-point responses

Referee: The derivation that transversality of the radical along the hypersurface produces a global nowhere-vanishing vector field on the entire compact surface (used to invoke Poincaré-Hopf) is not fully justified. Transversality canonically yields only a line field along the hypersurface itself; the manuscript does not exhibit an explicit extension of this line field across the two sides while preserving the signature change, nor does it rule out such an extension.

Authors: We agree that the extension step requires more explicit detail. The transversality of the radical to the hypersurface defines a non-tangent line at each point of the change locus. In the two-dimensional setting, this direction extends smoothly to a global vector field by using the non-degenerate Lorentzian or Riemannian metrics on each side to propagate the direction via local frames and a partition of unity subordinate to a cover of the manifold. The resulting field coincides with the radical on the hypersurface and remains non-vanishing everywhere by construction, since the signature change is confined to the hypersurface. In the revision we will add this explicit extension procedure, including local coordinate expressions and verification that no zeros are forced, thereby justifying the appeal to the Poincaré-Hopf theorem and the resulting topological obstruction. revision: yes
Referee: In the Möbius-strip gluing examples, the radical's behavior at the junction must be computed explicitly to confirm that the construction either satisfies or necessarily violates transversality; the current presentation leaves open whether the line field on the junction extends consistently with the metric signature on each side.

Authors: We accept that an explicit local computation is needed. In the revised manuscript we will insert a coordinate calculation at the gluing junction: in standard Möbius coordinates (u,v) with identification (u,0) ~ (u,1) twisted, the transformed metric yields a radical spanned by the vector V = ∂_v at the junction curve v=0. Direct differentiation shows this direction is transverse to the junction. We then extend the field separately into each side using the piecewise definition of the metric and verify consistency of the signature change; the global extension necessarily acquires a zero by the Euler-characteristic obstruction, confirming that transversality cannot hold everywhere. This computation will be added to the construction section. revision: yes

Circularity Check

0 steps flagged

No circularity; central obstruction derived from independent topological theorems

full rationale

The paper constructs explicit signature-changing metrics on non-orientable surfaces via the Möbius-strip gluing and the transformation tilde g = g + f V♭ ⊗ V♭. Its main claim—that the radical cannot be everywhere transverse to the signature-change hypersurface—follows by applying the Poincaré-Hopf theorem and the non-existence of nowhere-vanishing vector fields on compact non-orientable surfaces (standard facts about Euler characteristic). These theorems are external to the paper and do not reduce to any quantity defined inside it. No self-citation is load-bearing, no parameter is fitted and renamed as a prediction, and no ansatz is smuggled via prior work by the same author. The derivation chain is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper rests on classical differential geometry and topology; no new free parameters, invented entities, or ad-hoc axioms are introduced beyond standard manifold assumptions.

axioms (2)

standard math Smooth manifold structure and semi-Riemannian metric theory are assumed throughout
Invoked to define signature, radical, and transversality.
standard math Topological invariants such as Euler characteristic and non-existence of nowhere-vanishing vector fields on non-orientable compact surfaces hold
Used to derive the global obstruction.

pith-pipeline@v0.9.0 · 5476 in / 1370 out tokens · 36097 ms · 2026-05-16T14:39:36.360727+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

the radical of such metrics cannot be everywhere transverse along the hypersurface of signature change... metrics arising from ˜g = g + f V♭ ⊗ V♭ ... necessarily fail to satisfy the transversality condition
IndisputableMonolith/Foundation/ArithmeticFromLogic.lean LogicNat recovery and Poincaré-type order unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

the crosscap ... has Euler characteristic χ = 1 ... no global non-vanishing vector field

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.