No Arabic abstract
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.
In his groundbreaking work on classification of singularities with regard to right and stable equivalence of germs, Arnold has listed normal forms for all isolated hypersurface singularities over the complex numbers with either modality less than or equal to two or Milnor number less than or equal to 16. Moreover, he has described an algorithmic classifier, which determines the type of a given such singularity. In the present paper, we extend Arnolds work to a large class of singularities which is unbounded with regard to modality and Milnor number. We develop an algorithmic classifier, which determines a normal form for any singularity with corank less than or equal to two which is equivalent to a germ with non-degenerate Newton boundary in the sense of Kouchnirenko. In order to realize the classifier, we prove a normal form theorem: Suppose K is a mu-constant stratum of the jet space which contains a germ with a non-degenerate Newton boundary. We first observe that all germs in K are equivalent to some germ with the same fixed non-degenerate Newton boundary. We then prove that all right-equivalence classes of germs in K can be covered by a single normal form obtained from a regular basis of an appropriately chosen special fiber. All algorithms are implemented in the library arnold.lib for the computer algebra system Singular.
We prove that a class of one-dimensional maps with an arbitrary number of non-degenerate critical and singular points admits an induced Markov tower with exponential return time asymptotics. In particular the map has an absolutely continuous invariant probability measure with exponential decay of correlations for H{o}lder observations.
Let $A subset mathbb{R}^d$, $dge 2$, be a compact convex set and let $mu = varrho_0 dx$ be a probability measure on $A$ equivalent to the restriction of Lebesgue measure. Let $ u = varrho_1 dx$ be a probability measure on $B_r := {xcolon |x| le r}$ equivalent to the restriction of Lebesgue measure. We prove that there exists a mapping $T$ such that $ u = mu circ T^{-1}$ and $T = phi cdot {rm n}$, where $phicolon A to [0,r]$ is a continuous potential with convex sub-level sets and ${rm n}$ is the Gauss map of the corresponding level sets of $phi$. Moreover, $T$ is invertible and essentially unique. Our proof employs the optimal transportation techniques. We show that in the case of smooth $phi$ the level sets of $phi$ are driven by the Gauss curvature flow $dot{x}(s) = -s^{d-1} frac{varrho_1(s {rm n})}{varrho_0(x)} K(x) cdot {rm n}(x)$, where $K$ is the Gauss curvature. As a by-product one can reprove the existence of weak solutions of the classical Gauss curvature flow starting from a convex hypersurface.
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 characterize plane curve germes non-degenerate in Kouchnirenkos sense in terms of characteristics and intersection multiplicities of branches.