In this paper, we discuss the recognition problem for A_k-type singularities on wave fronts. We give computable and simple criteria of these singularities, which will play a fundamental role in generalizing the authors' previous work "the geometry of fronts" for surfaces. The crucial point to prove our criteria for A_k-singularities is to introduce a suitable parametrization of the singularities called the "k-th KRSUY-coordinates". Using them, we can directly construct a versal unfolding for a given singularity. As an application, we prove that a given nondegenerate singular point p on a real (resp. complex) hypersurface (as a wave front) in R^{n+1} (resp. C^{n+1}) is differentiably (resp. holomorphically) right-left equivalent to the A_{k+1}-type singular point if and only if the linear projection of the singular set around p into a generic hyperplane R^n (resp. C^n) is right-left equivalent to the A_k-type singular point in R^n (resp. C^{n}). Moreover, we show that the restriction of a C-infinity-map f:R^n --> R^n to its Morin singular set gives a wave front consisting of only A_k-type singularities. Furthermore, we shall give a relationship between the normal curvature map and the zig-zag numbers (the Maslov indices) of wave fronts.
We study singularities of Gauss maps of fronts and give characterizations of types of singularities of Gauss maps by geometric properties of fronts which are related to behavior of bounded principal curvatures. Moreover, we investigate relation between a kind of boundedness of Gaussian curvatures near cuspidal edges and types of singularities of Gauss maps of cuspidal edges. Further, we consider extended height functions on fronts with non-degenerate singular points.
This paper introduces pedal curves of spacelike frontals in the hyperbolic 2-space. We mainly investigate the singularities of these hyperbolic pedal curves of spacelike frontals for non-singular and singular dual curve germs. We then show that for non-singular dual curve germs, the singularities of a pedal curve are dependent on the singularities of the first hyperbolic Legendrian curvature germ and the location of the pedal point, while for singular dual curve germs, they depend upon the singularities of both hyperbolic Legendrian curvature germs and also the location of the pedal point. We …
It is well-known that the unit cotangent bundle of any Riemannian manifold has a canonical contact structure. A surface in a Riemannian 3-manifold is called a (wave) front if it is the projection of a Legendrian immersion into the unit cotangent bundle. We shall give easily-computable criteria for a singular point on a front to be a cuspidal edge or a swallowtail. Using this, we shall prove that generically flat fronts in the hyperbolic 3-space admit only cuspidal edges and swallowtails. Moreover, we will show that every complete flat front (which is not rotationally symmetric) has associated …
We study singularities and geometric properties of surfaces given by the singular loci of normal congruence of frontals with pure-frontal singular points. These surfaces consist of the normal ruled surface and focal surfaces of the initial frontal. For the normal ruled surface, we give characterizations of singularities in terms of geometric invariants of the initial frontal defined on the set of singular points. For focal surfaces, we show relation between certain singularities of them and geometric property of the given frontal. Moreover, we consider behavior of Gaussian curvature of focal s…
We give criteria for which a principal curvature becomes a bounded $C^\infty$-function at non-degenerate singular points of wave fronts by using geometric invariants. As applications, we study singularities of parallel surfaces and extended distance squared functions of wave fronts. Moreover, we relate these singularities to some geometric invariants of fronts.
We study focal surfaces of (wave) fronts associated to unbounded principal curvatures near non-degenerate singular points of initial fronts. We give characterizations of singularities of those focal surfaces in terms of types of singularities and geometrical properties of initial fronts. Moreover, we investigate behavior of the Gaussian curvature of the focal surface.
It is classically known that complete flat surfaces in Euclidean 3-space are cylinders over space curves. This implies that the study of global behaviour of flat surfaces requires the study of singular points as well. If a flat surface $f$ admits singularities but its Gauss map $ν$ can be smoothly extended across the singular set, $f$ is called a frontal. In addition, if the pair $(f,ν)$ gives an immersion, $f$ is called a front. A front $f$ is called flat if the Gauss map degenerates everywhere. The parallel surfaces and the focal surface of a flat front $f$ are also flat fronts. In this pape…
We investigate necessary and sufficient conditions for the extendibility and boundedness of Gaussian curvature, Mean curvature and principal curvatures near all types of singularities on fronts. We also study the convergence to infinite limits of these geometrical invariants and show how this is tightly related to a particular property of uniform approximation of fronts by parallel surfaces.
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.
We characterize singularities of focal surfaces of wave fronts in terms of differential geometric properties of the initial wave fronts. Moreover, we study relationships between geometric properties of focal surfaces and geometric invariants of the initial wave fronts.
We characterize the extendibility of the normal curvature on frontals and we give a representation formula of this type of frontals. Also we give representation formulas for wavefronts on all types of singularities and others sub classes of these. Some applications to asymptotic curves and lines of curvature on frontals are made.
In a previous work, the authors gave a definition of `front bundles'. Using this, we give a realization theorem for wave fronts in space forms, like as in the fundamental theorem of surface theory. As an application, we investigate the behavior of principal singular curvatures along A_2-singularities of hypersurfaces with non-negative sectional curvature in Euclidean space.
In this paper, we give a definition of coherent tangent bundles of space form type, which is a generalized notion of space forms. Then, we classify their realizations in the sphere as a wave front, which is a generalization of a theorem of O'Neill and Stiel: any isometric immersion of the n-sphere into the (n+1)-sphere of the same sectional curvature is totally geodesic.
In this paper we introduce the notion of the singular evolutoid set which is the set of all singular points of all evolutoids of a fixed smooth planar curve with at most cusp singularities. By the Gauss-Bonnet Theorem for Coherent Tangent Bundles over Surfaces with Boundary (Theorem 2.20 in [4]) applied to the extended front of evolutoids of a hedgehog we obtain an integral equality for smooth periodic curves.
In this paper, we investigate the geometric propagation and diffraction of singularities of solutions to the wave equation on manifolds with edge singularities.
Motivated by the importance and universal character of phase singularities which are clarified recently, we study the local structure of equi-phase loci near the dislocation locus of complex valued planar and spatial waves, from the viewpoint of singularity theory of differentiable mappings, initiated by H. Whitney and R. Thom. The classification of phase-singularities are reduced to the classification of planar curves by radial transformations due to the theory of A. du Plessis, T. Gaffney, and L. Wilson. Then fold singularities are classified into hyperbolic and elliptic singularities. We sh…
Wave maps (or Lorentzian-harmonic maps) from a $1+1$-dimensional Lorentz space into the $2$-sphere are associated to constant negative Gaussian curvature surfaces in Euclidean 3-space via the Gauss map, which is harmonic with respect to the metric induced by the second fundamental form. We give a method for constructing germs of Lorentzian-harmonic maps from their $k$-jets and use this construction to study the singularities of such maps. We also show how to construct pseudospherical surfaces with prescribed singularities using loop groups. We study the singularities of pseudospherical surface…
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…
In the previous paper (arXiv:0804.0701), the authors gave criteria for A_{k+1}-type singularities on wave fronts. Using them, we show in this paper that there is a duality between singular points and inflection points on wave fronts in the projective space. As an application, we show that the algebraic sum of 2-inflection points (i.e. godron points) on an immersed surface in the real projective space is equal to the Euler number of M_-. Here M^2 is a compact orientable 2-manifold, and M_-$is the open subset of M^2 where the Hessian of f takes negative values. This is a generalization of Bleeck…
In this note we present a description of wave front evolving from an algebraic hypersurface by means of a pull-back of the discriminantal loci of a tame polynomial via a polynomial mapping. As an application we give examples of wave fronts which define free/almost free divisors near the focal point.
