Singularities of the asymptotic completion of developable Möbius strips (Q2393581)

A \(C^\infty\) map \(F(s,u)=\gamma (s)+u\xi(s)\) \((s \in \mathbb{R},|u|<\varepsilon)\) with \(\varepsilon\) sufficiently small, is called a ruled Möbius strip if \(F\) is an immersion into \(\mathbb{R}^3\). The vectors \(\gamma'(s)\) and \(\xi(s)\) are linearly independent for each \(s\in \mathbb{R}\). In this situation, \(\gamma\) is called the generating curve or directrix of \(F\) and \(\xi\) is called the ruling vector field of \(F\). The ruled strip \(F\) is called developable if \(F\) is flat (i.e., of zero Gaussian curvature). Let \(F(s,u)=\gamma(s)+u\xi(s)\) \((s\in \mathbb{R}, |u|<\varepsilon)\) be a ruled Möbius strip. Then, a \(C^\infty\) map \(\widetilde{F}(s,u)=\gamma(s)+u\xi(s)\) \((s,u\in \mathbb{R})\) is called the asymptotic completion (or a-completion) of \(F\). Let `\(\sim\)' be the equivalence relation which regards two points \((s,u)\) and \((s+l,-u)\) as the point in \(\mathbb{R}^2\), where \(l\) is the period of the closed curve \(\gamma(s)\). If \(M:=\mathbb{R}^2/_\sim\), then \(\widetilde{F}\) can be regarded as a \(C^\infty\) map of \(M\) into \(\mathbb{R}^3\). In the paper the author proves: Theorem 1. The asymptotic completion \(F:M\rightarrow \mathbb{R}^3\) of a developable Möbius strip \(F(s,u)=\gamma(s)+u\xi(s)\) has at least one singular point other than cuspidal edge singularities on \(M\). Moreover, if the strip is generated by a closed geodesic, then the number of such singular points is at least three. Theorem 2. The asymptotic completion \(\widetilde{F}:M\rightarrow \mathbb{R}^3\) of a rectifying Möbius strip \(F(s,u)=\gamma(s)+u\xi(s)\) whose generating curve \(\gamma(s)\) is a closed geodesic has at least three singular points other than cuspidal edge singularities on \(M\). These lower bounds are both sharp.