arXiv subjects
Publications and source records attributed to Kosuke Naokawa.
Zakalyukin's lemma asserts that the coincidence of the images of two wave front germs implies the right equivalence of corresponding map germs under a certain genericity assumption. The purpose of this paper is to give an improvement of this lemma for frontals. Moreover, we give several applications for singularities on surfaces.
It is well-known that cross caps on surfaces in the Euclidean 3-space can be expressed in Bruce-West's normal form, which is a special local coordinate system centered at the singular point. In this paper, we show a certain kind of uniqueness of such a coordinate system. In particular, the functions associated with this coordinate system produce new invariants on cross cap singular points. Using them, we classify the possible symmetries on cross caps.
Consider an oriented curve $Γ$ in a domain $D$ in the plane $\boldsymbol R^2$. Thinking of $D$ as a piece of paper, one can make a curved folding in the Euclidean space $\boldsymbol R^3$. This can be expressed as the image of an "origami map" $Φ:D\to \boldsymbol R^3$ such that $Γ$ is the singular set of $Φ$, the word "origami" coming from the Japanese term for paper folding. We call the singular set image $C:=Φ(Γ)$ the crease of $Φ$ and the singular set $Γ$ the crease pattern of $Φ$. We are interested in the number of origami maps whose creases and crease patterns are $C$ and $Γ$, respectively. Two such possibilities have been known. In the authors' previous work, two other new possibilities and an explicit example with four such non-congruent distinct curved foldings were established. In this paper, we determine the possibility of the number $N$ of congruence classes of curved foldings with the same crease and crease pattern. As a consequence, if $C$ is a non-closed simple arc, then $N=4$ if and only if both $Γ$ and $C$ do not admit any symmetries. On the other hand, when $C$ is a closed curve, there are infinitely many distinct possibilities for curved foldings with the same crease and crease pattern, in general.
In the second, fourth and fifth authors' previous work, a duality on generic real analytic cuspidal edges in the Euclidean 3-space $\boldsymbol R^3$ preserving their singular set images and first fundamental forms, was given. Here, we call this an `isometric duality'. When the singular set image has no symmetries and does not lie in a plane, the dual cuspidal edge is not congruent to the original one. In this paper, we show that this duality extends to generalized cuspidal edges in $\boldsymbol R^3$, including cuspidal cross caps, and $5/2$-cuspidal edges. Moreover, we give several new geometric insights on this duality.
Consider a curve $Γ$ in a domain $D$ in the plane $\boldsymbol R^2$. Thinking of $D$ as a piece of paper, one can make a curved folding $P$ in the Euclidean space $\boldsymbol R^3$. The singular set $C$ of $P$ as a space curve is called the crease of $P$ and the initially given plane curve $Γ$ is called the crease pattern of $P$. In this paper, we show that in general there are four distinct non-congruent curved foldings with a given pair consisting of a crease and crease pattern. Two of these possibilities were already known, but it seems that the other two possibilities (i.e. four possibilities in total) are presented here for the first time.
Letting $C$ be a compact $C^ω$-curve embedded in $\boldsymbol R^3$ ($C^ω$ means real analyticity), we consider a $C^ω$-cuspidal edge $f$ along $C$. When $C$ is non-closed, in the authors' previous works, the local existence of three distinct cuspidal edges along $C$ whose first fundamental forms coincide with that of $f$ was shown, under a certain reasonable assumption on $f$. In this paper, if $C$ is closed, that is, $C$ is a knot, we show that there exist infinitely many cuspidal edges along $C$ having the same first fundamental form as that of $f$ such that their images are non-congruent to each other, in general.
Cuspidal edges and swallowtails are typical non-degenerate singular points on wave fronts in the Euclidean $3$-space. Their first fundamental forms belong to a class of positive semi-definite metrics called "Kossowski metrics". A point where a Kossowski metric is not positive definite is called a singular point or a semi-definite point of the metric. Kossowski proved that real analytic Kossowski metric germs at their non-parabolic singular points(the definition of "non-parabolic singular point" is stated in the introduction here) can be realized as wave front germs (Kossowski's realization theorem). On the other hand, in a previous work with K. Saji, the third and the fourth authors introduced the notion of "coherent tangent bundle". Moreover, the authors, with M. Hasegawa and K. Saji, proved that a Kossowski metric canonically induces an associated coherent tangent bundle. In this paper, we shall explain Kossowski's realization theorem from the viewpoint of coherent tangent bundles. Moreover, as refinements of it, we give a criterion that a given Kossowski metric can be realized as the induced metric of a germ of cuspidal edge (resp. swallowtail or cuspidal cross cap). Several applications of these criteria are given. Also, some remaining problems on isometric deformations of singularities of analytic maps are given at the end of this paper.
Two cross caps in Euclidean $3$-space are said to be formally isometric if their Taylor expansions of the first fundamental forms coincide by taking a suitable local coordinate system. For a given $C^\infty$ cross cap $f$, we give a method to find all cross caps which are formally isometric to $f$. As an application, we give a countable family of intrinsic invariants of cross caps which recognizes formal isometry classes completely.
In this paper, we give two classes of positive semi-definite metrics on 2-manifolds. The one is called a class of Kossowski metrics and the other is called a class of Whitney metrics: The pull-back metrics of wave fronts which admit only cuspidal edges and swallowtails in $\boldsymbol{R}^3$ are Kossowski metrics, and the pull-back metrics of surfaces consisting only of cross cap singularities are Whitney metrics. Since the singular sets of Kossowski metrics are the union of regular curves on the domains of definitions, and Whitney metrics admit only isolated singularities, these two classes of metrics are disjoint. In this paper, we give several characterizations of intrinsic invariants of cuspidal edges and cross caps in these classes of metrics. Moreover, we prove Gauss-Bonnet type formulas for Kossowski metrics and for Whitney metrics on compact 2-manifolds.
Along cuspidal edge singularities on a given surface in Euclidean 3-space, which can be parametrized by a regular space curve, a unit normal vector field $ν$ is well-defined as a smooth vector field of the surface. A cuspidal edge singular point is called generic if the osculating plane of the cuspidal edge (as a regular space curve) is not orthogonal to $ν$. This genericity is equivalent to the condition that its limiting normal curvature $κ_ν$ takes a non-zero value. In this paper, we show that a given generic (real analytic) cuspidal edge can be isometrically deformed preserving $κ_ν$ into a cuspidal edge whose singular set lies in a plane. Such a limiting cuspidal edge is uniquely determined from the initial germ of the cuspidal edge.
It is classically known that generic smooth maps of R^2 into R^3 admit only cross cap singularities. This suggests that the class of cross caps might be an important object in differential geometry. We show that the standard cross cap (u,uv,v^2) has non-trivial isometric deformations with infinite dimensional freedom. Since there are several geometric invariants for cross caps, the existence of isometric deformations suggests that one can ask which invariants of cross caps are intrinsic. In this paper, we show that there are three fundamental intrinsic invariants for cross caps. The existence of extrinsic invariants is also shown.
We prove that the asymptotic completion of a developable Möbius strip in Euclidean three-space must have at least one singular point other than cuspidal edge singularities. Moreover, if the strip contains a closed geodesic, then the number of such singular points is at least three. These lower bounds are both sharp.