Source author record

Kosuke Naokawa

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

10works
2topics
4close collaborators

Published work

10 publications

preprint2020arXiv

Curved foldings with common creases and crease patterns

Consider a curve ΓΓ in a domain DD in the plane R2\boldsymbol R^2. Thinking of DD as a piece of paper, one can make a curved folding PP in the Euclidean space R3\boldsymbol R^3. The singular set CC of PP as a space curve is called the crease of PP and the initially given plane curve ΓΓ is called the crease pattern of PP. 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.

preprint2020arXiv

Cuspidal edges with the same first fundamental forms along a knot

Letting CC be a compact CωC^ω-curve embedded in R3\boldsymbol R^3 (CωC^ω means real analyticity), we consider a CωC^ω-cuspidal edge ff along CC. When CC is non-closed, in the authors' previous works, the local existence of three distinct cuspidal edges along CC whose first fundamental forms coincide with that of ff was shown, under a certain reasonable assumption on ff. In this paper, if CC is closed, that is, CC is a knot, we show that there exist infinitely many cuspidal edges along CC having the same first fundamental form as that of ff such that their images are non-congruent to each other, in general.

preprint2020arXiv

Duality on generalized cuspidal edges preserving singular set images and first fundamental forms

In the second, fourth and fifth authors' previous work, a duality on generic real analytic cuspidal edges in the Euclidean 3-space R3\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 R3\boldsymbol R^3, including cuspidal cross caps, and 5/25/2-cuspidal edges. Moreover, we give several new geometric insights on this duality.

preprint2020arXiv

Isometric deformations of wave fronts at non-degenerate singular points

Cuspidal edges and swallowtails are typical non-degenerate singular points on wave fronts in the Euclidean 33-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.

preprint2020arXiv

On the existence of four or more curved foldings with common creases and crease patterns

Consider an oriented curve ΓΓ in a domain DD in the plane R2\boldsymbol R^2. Thinking of DD as a piece of paper, one can make a curved folding in the Euclidean space R3\boldsymbol R^3. This can be expressed as the image of an "origami map" Φ:D→R3Φ: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:=Φ(Γ)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 CC 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 NN of congruence classes of curved foldings with the same crease and crease pattern. As a consequence, if CC is a non-closed simple arc, then N=4N=4 if and only if both ΓΓ and CC do not admit any symmetries. On the other hand, when CC is a closed curve, there are infinitely many distinct possibilities for curved foldings with the same crease and crease pattern, in general.

preprint2016arXiv

Isometric realization of cross caps as formal power series and its applications

Two cross caps in Euclidean 33-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∞C^\infty cross cap ff, we give a method to find all cross caps which are formally isometric to ff. As an application, we give a countable family of intrinsic invariants of cross caps which recognizes formal isometry classes completely.

preprint2014arXiv

Intrinsic properties of surfaces with singularities

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 R3\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.

preprint2014arXiv

Isometric deformations of cuspidal edges

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.

preprint2012arXiv

Intrinsic Invariants of Cross Caps

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.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.