Searcharxiv⌕ Search

arXiv subjects

Masaaki Umehara

Publications and source records attributed to Masaaki Umehara.

At least 19 recordsLinked to original sources

An index formula for hemispheres of a $C^2$-regular convex closed surface in Euclidean $3$-space

Carathéodory's conjecture has long been regarded as one of the central problems in the classical theory of convex surfaces. In this paper, we establish an index formula for hemispheres of convex closed surfaces under $C^2$-regularity. The proof is based on studying a vertical section of the null hypersurfaces in Lorentz--Minkowski $4$-space associated with the originally given convex surface. As a consequence, the conjecture is affirmatively solved in the $C^2$-case.

math.DG↗

Explicit analytic functions defining the images of wave-front singularities

We give explicit real-analytic functions whose zero sets characterize the images of the standard maps of wave-front singularities. Such functions are realizations of the main-analytic sets in the sense of Ishikawa-Koike-Shiota (1984). More concretely, a subset of Euclidean space is called a global main-analytic set if it can be described, up to a set of smaller Hausdorff dimension, as part of the zero set of a single real-analytic function, referred to as its main-analytic function. In this paper, we propose a general framework for constructing main-analytic functions by a method based on explicit resultant computations. In particular, we provide explicit formulas for the main-analytic functions associated with the standard maps of wave-front singularities of types A, D and E.

math.DG↗

Hopf differentials and curvature line flows on time-like CMC surfaces

We investigate the relationship between the Hopf differentials and the curvature line flows on time-like constant mean curvature (CMC) surfaces in Lorentzian 3-space forms. In particular, when the Hopf differential is non-degenerate, the index of a curvature line flow at an umbilic point depends precisely on the remainder of its order modulo four.

math.DG↗

Examples of entire zero-mean curvature graphs of mixed-type in Lorentz-Minkowski space via Konderak's formulas

Using Konderak's representation formula, we construct an entire zero-mean curvature graph of mixed-type in Lorentz-Minkowski 3-space over a space-like plane, which does not belong to the class of "Kobayashi surfaces". We also point out the existence of an entire zero-mean curvature graph of mixed-type in Lorentz-Minkowski space over a light-like plane. These examples suggest that entire mixed-type zero-mean curvature graphs contain an unexpectedly large number of interesting examples.

math.DG↗

Mannheim-d'Ocagne-Koenderink type formulas for asymptotic directions

We consider a surface embedded in the Euclidean 3-space and fix a tangential vector $v$ at a given point $p$ on the surface. In this paper, we first review a history of the formula obtained by Mannheim, d'Ocagne and Koenderink, which asserts that the Gaussian curvature of the surface at $p$ can be obtained if one knows "the normal curvature at $p$ with respect to $v$" and "the curvature of the contour line $L$ of the surface at $p$" with respect to the orthogonal projection induced by $v$. Unfortunately, this formula does not work when $v$ points in an asymptotic direction. When $v$ is just the case, we give anlogues of the formula, which include an invariant of cusp singular points of $L$.

math.DG↗

Deformations of swallowtails in a 3-dimensional space form

This is a continuation of the authors' earlier work on deformations of cuspidal edges. We give a representation formula for swallowtails in the Euclidean 3-space. Using this, we investigate map germs of generic swallowtails in 3-dimensional space from, and show some important properties of them. In particular, we give a representation formula giving all map germs of swallowtails in the Euclidean 3-space whose Gaussian curvatures are bounded from below by a positive constant or by a negative constant from above. Using this, we show that any swallowtails are deformed into a swallowtail of constant Gaussian curvature preserving the sign of their Gaussian curvatures.

math.DG↗

Null hypersurfaces as wave fronts in Lorentz-Minkowski space

In this paper, we show that ``$L$-complete null hypersurfaces'' (i.e. ruled hypersurfaces foliated by entirety of light-like lines) as wave fronts in the $(n+1)$-dimensional Lorentz-Minkowski space are canonically induced by hypersurfaces in the $n$-dimensional Euclidean space. As an application, we show that most of null wave fronts can be realized as restrictions of certain $L$-complete null wave fronts. Moreover, we determine $L$-complete null wave fronts whose singular sets are compact.

math.DG↗

Umbilics of surfaces in the Lorentz-Minkowski 3-space

In this paper, we prove several fundamental properties on umbilics of a space-like or time-like surface in the Lorentz-Minkowski space $L^3$. In particular, we show that the local behavior of the curvature line flows of the germ of a space-like surface in $L^3$ is essentially the same as that of a surface in Euclidean space. As a consequence, for each positive integer $m$, there exists a germ of a space-like surface with an isolated $C^{\infty}$-umbilic (resp. $C^1$-umbilic) of index $(3-m)/2$ (resp. $1+m/2$). We also show that the indices of isolated umbilics of time-like surfaces in $L^3$ that are not the accumulation points ofquasi-umbilics are always equal to zero. On the other hand, when quasi-umbilics accumulate, there exist countably many germs of time-like surfaces which admit an isolated umbilic with non-zero indices.

math.DG↗

Analytic extensions of constant mean curvature one geometric catenoids in de Sitter 3-space

We show that a certain simply-stated notion of "analytic completeness" of the image of a real analytic map implies the map admits no analytic extension. We also give a useful criterion for that notion of analytic completeness by defining arc-properness of continuous maps, which can be considered as a very weak version of properness. As an application, we judge the analytic completeness of a certain class of constant mean curvature surfaces (the so-called "G-catenoids") or their analytic extensions in the de Sitter 3-space.

math.DG↗

A generalization of Zakalyukin's lemma, and symmetries of surface singularities

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.

math.DG↗

Symmetries of cross caps

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.

math.DG↗

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

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.

math.DG↗

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

math.DG↗

Curved foldings with common creases and crease patterns

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.

math.DG↗

Cuspidal edges with the same first fundamental forms along a knot

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.

math.DG↗

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 $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.

math.DG↗

Hypersurfaces with Light-Like Points in a Lorentzian Manifold II

In the authors' previous work, it was shown that if a zero mean curvature $C^4$-differentiable hypersurface in an arbitrarily given Lorentzian manifold admits a degenerate light-like point, then the hypersurface contains a light-like geodesic segment passing through the point. The purpose of this paper is to point out that the same conclusion holds with just $C^3$-differentiability of the hypersurfaces.

math.DG↗