pith. sign in

arxiv: 2605.16730 · v2 · pith:ID6FSNHHnew · submitted 2026-05-16 · 🧮 math.MG

An isometric immersion of a flat Klein bottle into Euclidean 3-space

Stepan Paul This is my paper

Pith reviewed 2026-05-25 06:10 UTC · model grok-4.3

classification 🧮 math.MG
keywords isometric immersionflat Klein bottlepiecewise linear mapEuclidean 3-spacepath isometrylocal injectivitypolyhedronangle defect
3
0 comments X

The pith

An explicit piecewise linear map provides an isometric immersion of the flat Klein bottle into Euclidean 3-space.

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

The paper constructs an explicit piecewise linear map from a flat Klein bottle to three-dimensional Euclidean space. This map is an isometric immersion, preserving the lengths of all paths while remaining locally injective. The resulting image is a self-intersecting polyhedron in which every vertex has zero angle defect. Such a construction matters because it gives a concrete, verifiable realization of the abstract flat Klein bottle in ordinary space, extending earlier results for tori and smooth Klein bottle immersions. The verification relies on checking sets of inequalities that ensure the path-isometry and local-injectivity properties hold.

Core claim

We present an explicit piecewise linear map from a flat Klein bottle into Euclidean 3-space that is an isometric immersion -- a path isometry that is locally injective. The image is a self-intersecting polyhedron with embedded vertex figures where each vertex has zero angle defect. The construction of the map enforces the path isometry property so long as certain numerically-verifiable inequalities are satisfied, and we show that checking the local injectivity property at each vertex via another set of inequalities suffices. This work generalizes features from known piecewise linear isometric embeddings of flat tori and known piecewise smooth path isometries of flat Klein bottles, and is the

What carries the argument

The explicit piecewise linear map from the flat Klein bottle, with path isometry enforced by numerically verifiable inequalities and local injectivity verified at each vertex by another set of inequalities.

Load-bearing premise

The numerically verifiable inequalities that enforce path isometry and local injectivity at vertices are satisfied by the chosen map.

What would settle it

Discovery of a pair of paths on the Klein bottle that have equal length but map to unequal lengths in R^3, or a point where the map is not locally injective.

Figures

Figures reproduced from arXiv: 2605.16730 by Stepan Paul.

Figure 1
Figure 1. Figure 1: The image of a piecewise linear isometric immersion of a flat Klein [PITH_FULL_IMAGE:figures/full_fig_p002_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: (a) The image of the piecewise smooth path isometry of a flat Klein [PITH_FULL_IMAGE:figures/full_fig_p006_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: The abstract CW-surface S. X W A B C D Y Z [PITH_FULL_IMAGE:figures/full_fig_p007_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: The image of a rectangular zee-bridge in [PITH_FULL_IMAGE:figures/full_fig_p007_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: The CW-surface S with the length structure induced by ϕ when (2) is satisfied. The lengths of edges on the boundary are labelled. of (1), α + |AC| + γ = β + |BD| + δ and |BC| = p 1 + (|AC| + α − β) 2. (2) In this case, we say that ϕ is a rectangular zee-bridge. In particular, when ϕ is rectangular, the angle sums at a, b, c, d are each π, and the angles at w, x, y, z are each π 2 . Proof. The proof relies … view at source ↗
Figure 6
Figure 6. Figure 6: The CW-surface J with edge identifications indicated by arrowheads. 4 Tube Joints Suppose P and Q are equilateral planar n-gons of side length 1 in R 3 with cyclically numbered vertices [P1, . . . , P2n] and [Q1, . . . , Q2n] respectively, and let ˆs and tˆ be normal vectors to the planes containing P and Q respectively. In this case, we call F = (P, Q, s, ˆ tˆ) a tube frame. Let J be the abstract CW-surfa… view at source ↗
Figure 7
Figure 7. Figure 7: The image of a tube joint (with self-intersections). The two octagons [PITH_FULL_IMAGE:figures/full_fig_p012_7.png] view at source ↗
Figure 8
Figure 8. Figure 8: Some n-stars. P0 Pn/2 Q0 Qn/2 sˆ tˆ (a) P0 Pn/2 Q0 Qn/2 sˆ tˆ (b) [PITH_FULL_IMAGE:figures/full_fig_p015_8.png] view at source ↗
Figure 9
Figure 9. Figure 9: (a) An n-star vee tube frame. (b) An n-star bend tube frame. Given an n-star P in R 2 and a specified normal vector ˆs to the plane con￾taining P, we say the pair (P, sˆ) is right-handed if ˆs has the same direction as −−→ P˜Pi × −−−−→ P˜Pi+1 and left-handed if ˆs has the opposite direction. We denote by −P the n-star P with the vertices renumbered as −P = [P2n−1, . . . , P1, P0]. Note that (P, sˆ) and (−P… view at source ↗
Figure 9
Figure 9. Figure 9: (a) An n-star vee tube frame. (b) An n-star bend tube frame. P0 Q0 Q2 P2 Q4 P4 Q6 P6 Q8 P8 Q10 P10 Q1 P1 Q3 P3 Q5 P5 Q7 P7 Q9 P9 Q11 P11 (a) (b) [PITH_FULL_IMAGE:figures/full_fig_p016_9.png] view at source ↗
Figure 10
Figure 10. Figure 10: (a) A coaxial 6-star tube frame F projected onto a plane orthogonal to ˆs. (b) A flat tube joint for F projected onto the same plane. −−−−→ P˜Pn/2 is π 2 , Pn/2 lies in the xy-plane; by similar logic so does Qn/2. Thus restricting the reflection ρ across the xy-plane to the plane containing P is re￾flection across the line through P˜ and Pn/2, and it is then clear that ρ(Pn/2+j ) = Pn/2 − j for all j. Sim… view at source ↗
Figure 11
Figure 11. Figure 11: (a) The image of the tube joint ΦV ,⃗α,⃗γ from Theorem 4.7. The self￾intersection is highlighted in maroon; the triangular faces are obscursed. (b) The domain J for ΦV ,⃗α,⃗γ with the CW-surface and length structure shown. In both images, adjacent coplanar faces and collinear edges have been merged. injective at an interior point x of an edge e; we will show that ϕ is also not locally injective at an endp… view at source ↗
Figure 12
Figure 12. Figure 12: The topological annulus A with the top and bottom edges identified as shown. Proof. Since the image of fi is a strictly convex polygon, every point in ϕ(fi) has the form ϕ(u) + Ai⃗vi + Bi ⃗wi for some Ai , Bi ≥ 0 for i = 1, 2. Furthermore, if Ai , Bi ≥ 0, then there exists ϵ > 0 small enough so that ϕ(u) + ϵ(Ai⃗vi + Bi ⃗wi) lies in ϕ( ¯fi). Thus there exists y ∈ ϕ(f1) ∩ ϕ(f2) \ {ϕ(u)} if and only if there… view at source ↗
Figure 12
Figure 12. Figure 12: The topological annulus A with the top and bottom edges identified as shown. The final condition of Lemma 5.4 gives us a convenient algorithmic way of checking local injectivity through verifying inequalities. Theorem 5.5. Let V = V6,4, π 3 ,π, 3π 2 , and let ⃗α, ⃗γ be the parameter sets generated by α3 = 3.1, γ3 = 2.5 at 3. Then ΦV ,⃗α,⃗γ is locally injective. The proof requires going through each interi… view at source ↗
Figure 13
Figure 13. Figure 13: Theorem 0.2, which we prove below, states that [PITH_FULL_IMAGE:figures/full_fig_p023_13.png] view at source ↗
Figure 13
Figure 13. Figure 13: (a) The image of the straight joint Φ1 from the proof of Theorem 0.2 with n = 8, ϕ = 4.5, α0 = 1 and γ0 = 2. (b) The embedded flat torus obtained by gluing two such straight joints together. (c) The domain J with the CW￾surface and length structures shown; adjacent coplanar faces and collinear edges have been merged. Side of the rectangle are identified as shown. The edges of the CW-surface can be thought… view at source ↗
Figure 14
Figure 14. Figure 14: The cycle of tube frames [F 1 , . . . F6 ] described the construction of ∇. Here n = 6, L0 = 2, L1 = 4, and ψ = 4.7 as in Theorem 0.1. The normal vectors ˆs j are shown, each pair (P j , sˆ) is right-handed, and the vertex of P j with index 0 is at the top of each n-star. under the induced length structure and locally injective on each glued copy of the domain J, so ∇ is an isometric immersion of a flat K… view at source ↗
Figure 15
Figure 15. Figure 15: The domain of the map ∇ from Theorem 0.1 with edge identifications and the CW-surface and length structure shown. 26 [PITH_FULL_IMAGE:figures/full_fig_p026_15.png] view at source ↗
Figure 16
Figure 16. Figure 16: (a) The image of the tube joint Φj for even j from the proof of Theorem 0.1. (b) The domain J j of Φj with the CW-surface and induced length structure shown; adjacent coplanar faces have been merged. [6] Peter R Cromwell. Polyhedra. Cambridge University Press, 1997. [7] Soto Hisakawa, Shizuo Kaji, and Ryo Kawai. Polyhedra of constant gaus￾sian curvature, 2025. [8] Nicolaas H Kuiper. On C1-isometric imbedd… view at source ↗
Figure 17
Figure 17. Figure 17: (a) Here we have zoomed in on a piece of the CW-surface [PITH_FULL_IMAGE:figures/full_fig_p028_17.png] view at source ↗
Figure 17
Figure 17. Figure 17: (a) Here we have zoomed in on a piece of the CW-surface [PITH_FULL_IMAGE:figures/full_fig_p029_17.png] view at source ↗
read the original abstract

We present an explicit piecewise linear map from a flat Klein bottle (i.e. one that is locally isometric to the Euclidean plane) into Euclidean 3-space an that is an isometric immersion -- a path isometry that is locally injective. The image is a self-intersecting polyhedron with embedded vertex figures where each vertex has zero angle defect. The construction of the map enforces the path isometry property so long as certain numerically-verifiable inequalities are satisfied, and we show that checking the local injectivity property at each vertex via another set of inequalities suffices. This work generalizes features from known piecewise linear isometric embeddings of flat tori and known piecewise smooth path isometries of flat Klein bottles, and apparently is the first explicit isometric immersion of a flat Klein bottle into $\mathbb{R}^3$.

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.

Referee Report

2 major / 2 minor

Summary. The paper presents an explicit piecewise linear map from a flat Klein bottle into Euclidean 3-space that is claimed to be an isometric immersion (a path isometry that is locally injective). The image is a self-intersecting polyhedron with embedded vertex figures and zero angle defect at each vertex. The construction enforces path isometry when a first collection of inequalities holds and local injectivity at vertices when a second collection holds; both are described as numerically verifiable. The work generalizes features from known PL isometric embeddings of flat tori and piecewise smooth path isometries of Klein bottles, and claims to be the first explicit isometric immersion of a flat Klein bottle into R^3.

Significance. If the inequalities can be shown to hold rigorously, the result would supply the first explicit isometric immersion of a flat Klein bottle into R^3. This would extend the known repertoire of PL constructions for flat tori and smooth immersions for Klein bottles, providing a concrete polyhedral model with zero angle defect whose path-isometry and local-injectivity properties are controlled by explicit (if numerically checked) conditions.

major comments (2)
  1. [Abstract / construction of the map] Abstract and construction description: the central claim that the map is a path isometry rests on a collection of inequalities being satisfied, yet the manuscript supplies only the statement that they are 'numerically verifiable' without interval-arithmetic bounds, exact rational comparisons, or an analytic proof that the chosen parameters place every quantity strictly on the correct side of its threshold. This verification step is load-bearing for the immersion property.
  2. [Local injectivity at vertices] Local-injectivity argument: the claim that checking a second collection of inequalities at each vertex suffices for local injectivity likewise relies on numerical verification. In a PL setting, local injectivity fails if any two adjacent triangles in a vertex star overlap by an arbitrarily small angle; a floating-point check near equality therefore leaves open the possibility that the reported map is not an immersion.
minor comments (2)
  1. [Abstract] Abstract contains a typographical error: 'into Euclidean 3-space an that is' should read 'into Euclidean 3-space and that is'.
  2. [Introduction / abstract] The phrase 'apparently is the first' is informal; a precise statement of the novelty relative to the cited torus and smooth-Klein-bottle constructions would strengthen the introduction.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for identifying the load-bearing role of the inequality verifications. We agree that numerical checks alone are insufficient for a rigorous proof and will strengthen the manuscript with exact verification methods.

read point-by-point responses

  1. Referee: [Abstract / construction of the map] Abstract and construction description: the central claim that the map is a path isometry rests on a collection of inequalities being satisfied, yet the manuscript supplies only the statement that they are 'numerically verifiable' without interval-arithmetic bounds, exact rational comparisons, or an analytic proof that the chosen parameters place every quantity strictly on the correct side of its threshold. This verification step is load-bearing for the immersion property.

    Authors: We agree that the current presentation relies on numerical verification and that this is insufficient for a complete proof. In the revised manuscript we will replace the numerical checks with explicit interval-arithmetic bounds (or exact rational comparisons) that certify every inequality holds strictly. These bounds will be stated and justified in a new subsection on the verification of path-isometry conditions. revision: yes

  2. Referee: [Local injectivity at vertices] Local-injectivity argument: the claim that checking a second collection of inequalities at each vertex suffices for local injectivity likewise relies on numerical verification. In a PL setting, local injectivity fails if any two adjacent triangles in a vertex star overlap by an arbitrarily small angle; a floating-point check near equality therefore leaves open the possibility that the reported map is not an immersion.

    Authors: We accept the referee's observation that floating-point checks near equality are inconclusive. The revision will supply rigorous (interval or exact-arithmetic) verification of the local-injectivity inequalities. We will also expand the surrounding argument to explain why the listed inequalities are sufficient to preclude arbitrarily small overlaps in the vertex stars. revision: yes

Circularity Check

0 steps flagged

Explicit construction with independent inequality checks; no circularity

full rationale

The paper defines an explicit piecewise-linear map from the flat Klein bottle and states that path-isometry holds whenever a listed collection of inequalities is satisfied while local injectivity at vertices holds under a second collection. These inequalities are presented as numerically verifiable design constraints rather than fitted parameters or self-referential definitions. No step equates the claimed immersion to its own inputs by construction, invokes a self-citation as the sole justification for a uniqueness theorem, or renames a known result. The central claim therefore remains a direct geometric construction whose verification steps stand outside the result itself.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the background assumption that a flat Klein bottle carries a metric locally isometric to the plane and that piecewise-linear maps can realize isometric immersions when local edge and vertex conditions hold; no free parameters or invented entities are identifiable from the abstract alone.

axioms (2)
  • domain assumption A flat Klein bottle admits a metric that is locally isometric to the Euclidean plane.
    This is the defining property of the flat Klein bottle used throughout the abstract.
  • domain assumption A piecewise linear map is an isometric immersion when path lengths are preserved and local injectivity holds at vertices via verifiable inequalities.
    This is the standard criterion invoked for the construction to succeed.

pith-pipeline@v0.9.0 · 5654 in / 1346 out tokens · 46463 ms · 2026-05-25T06:10:06.640776+00:00 · methodology

Review history (2 revisions) →

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

14 extracted references · 14 canonical work pages

  1. [1]

    Flat tori in three-dimensional space and convex integration.Proceedings of the National Academy of Sciences, 109(19):7218–7223, 2012

    Vincent Borrelli, Sa¨ ıd Jabrane, Francis Lazarus, and Boris Thibert. Flat tori in three-dimensional space and convex integration.Proceedings of the National Academy of Sciences, 109(19):7218–7223, 2012

    work page 2012

  2. [2]

    Oberwolfach Report, 1978

    Ulrich Brehm. Oberwolfach Report, 1978. 27

    work page 1978

  3. [3]

    American Mathematical Society Providence, 2001

    Dmitri Burago, Yuri Burago, and Sergei Ivanov.A course in metric geom- etry, volume 33. American Mathematical Society Providence, 2001

    work page 2001

  4. [4]

    Polyhedral realizations of developments.Vestnik Leningrad

    Yuriy Dmitrievich Burago and Viktor Abramovich Zalgaller. Polyhedral realizations of developments.Vestnik Leningrad. Univ, 15:66–80, 1960

    work page 1960

  5. [5]

    Isometric piecewise-linear embeddings of two-dimensional manifolds with a polyhe- dral metric intoR 3.Algebra i Analiz, 7(3):76–95, 1995

    Yuriy Dmitrievich Burago and Viktor Abramovich Zalgaller. Isometric piecewise-linear embeddings of two-dimensional manifolds with a polyhe- dral metric intoR 3.Algebra i Analiz, 7(3):76–95, 1995

    work page 1995

  6. [6]

    Cambridge University Press, 1997

    Peter R Cromwell.Polyhedra. Cambridge University Press, 1997

    work page 1997

  7. [7]

    Polyhedra of constant gaus- sian curvature, 2025

    Soto Hisakawa, Shizuo Kaji, and Ryo Kawai. Polyhedra of constant gaus- sian curvature, 2025. arXiv:2512.19106

    work page arXiv 2025

  8. [8]

    On C1-isometric imbeddings

    Nicolaas H Kuiper. On C1-isometric imbeddings. I. InIndagationes Math- ematicae (Proceedings), volume 58, pages 545–556. Elsevier, 1955

    work page 1955

  9. [9]

    Springer, 2000

    John M Lee.Introduction to topological manifolds. Springer, 2000

    work page 2000

  10. [10]

    C1 isometric imbeddings.Annals of mathematics, pages 383– 396, 1954

    John Nash. C1 isometric imbeddings.Annals of mathematics, pages 383– 396, 1954

    work page 1954

  11. [11]

    The flat Klein bottle rendered in curved-crease origami

    Stepan Paul. The flat Klein bottle rendered in curved-crease origami. In David Swart, Frank Farris, and Eve Torrence, editors,Proceedings of Bridges 2021: Mathematics, Art, Music, Architecture, Culture, pages 47– 54, Phoenix, Arizona, 2021. Tessellations Publishing

    work page 2021

  12. [12]

    A piecewise-linear isometrically immersed flat Klein bottle in Euclidean 3-space, 2025

    Stepan Paul. A piecewise-linear isometrically immersed flat Klein bottle in Euclidean 3-space, 2025. arXiv:2504.08826

    work page arXiv 2025

  13. [13]

    Flat Klein bottle

    Stepan Paul. Flat Klein bottle. Folded Paper, 2026. Maison Poincar´ e, Paris

    work page 2026

  14. [14]

    An explicit PL-embedding of the square flat torus into E3.Journal of Computational Geometry, 11(1):615–628, 2020

    Tanessi Quintanar. An explicit PL-embedding of the square flat torus into E3.Journal of Computational Geometry, 11(1):615–628, 2020. A Appendix: Local Injectivity Proof Proof of Theorem 5.5.As in the theorem, letV=V 6,4, π 3 ,π, 3π 2 , and let⃗ α, ⃗ γbe the parameter sets generated byα 3 = 3.1, γ3 = 2.5 at 3. We will show that Φ = ΦV,⃗ α,⃗ γis locally inj...

    work page 2020