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.
We introduce two invariants called the secondary cuspidal curvature and the bias on $5/2$-cuspidal edges, and investigate their basic properties. While the secondary cuspidal curvature is an analog of the cuspidal curvature of (ordinary) cuspidal edges, there are no invariants corresponding to the bias. We prove that the product (called the secondary product curvature) of the secondary cuspidal curvature and the limiting normal curvature is an intrinsic invariant. Using this intrinsity, we show that any real analytic $5/2$-cuspidal edges with non-vanishing limiting normal curvature admits non-…
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 geometr…
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 the…
In trying to generalize Bianchi's Bäcklund transformation of quadrics to Bäcklund transformations of isometric deformations of other (classes of) surfaces, we investigate basic features of the isometric deformation of surfaces via the Bäcklund transformation with isometric correspondence of leaves of a general nature (independent of the shape of the seed).
We consider the isometric deformation problem for oriented non simply connected immersed minimal surfaces $f:M \to S^{4}$. We prove that the space of all isometric minimal immersions of $M$ into $S^{4}$ with the same normal curvature function is, within congruences, either finite or a circle. Furthermore, we show that for any compact immersed minimal surface in $S^{4}$ with nontrivial normal bundle there are at most finitely many noncongruent immersed minimal surfaces in $S^{4}$ isometric to it with the same normal curvature function.
It was shown by Ramanathan \cite{R} that any compact oriented non-simply-connected minimal surface in the three-dimensional round sphere admits at most a finite set of pairwise noncongruent minimal isometric immersions. Here we show that this result extends to isotropic surfaces in spheres of arbitrary dimension. The case of non-compact isotropic surfaces in space forms is also addressed.
A connected regular surface in Lorentz-Minkowski 3-space is called a mixed type surface if the spacelike, timelike and lightlike point sets are all non-empty. Lightlike points on mixed type surfaces may be regarded as singular points of the induced metrics. In this paper, we introduce the L-Gauss map around non-degenerate lightlike points, and show the fundamental theorem of surface theory for mixed type surfaces at non-degenerate lightlike points. As an application, we prove that a real analytic mixed type surface admits non-trivial isometric deformations around generic lightlike points.
We classify hypersurfaces of rank two of Euclidean space $\R^{n+1}$ that admit genuine isometric deformations in $\R^{n+2}$. That an isometric immersion $\hat f\colon\,M^n\to\R^{n+2}$ is a genuine isometric deformation of a hypersurface $f\colon\, M^n\to\R^{n+1}$ means that $\hat f$ is nowhere a composition $\hat f=\hat F\circ f$, where $\hat F\colon\,V\subset \R^{n+1}\to\R^{n+2}$ is an isometric immersion of an open subset $V$ containing $f(M)$.
The aim of the paper is to investigate the rigidity and the deformability of pseudoholomorphic curves in the nearly K{ä}hler sphere $\mathbb{S}^6,$ among minimal surfaces in spheres. Under various assumptions we describe the moduli space of all noncongruent minimal surfaces $f\colon M\to\mathbb{S}^n$ that are isometric to a pseudoholomorphic curve in $\mathbb{S}^6.$ Moreover, we prove a Schur type theorem (see \cite[p. 36]{Chnew}) for minimal surfaces in spheres.
We study the geometry of the cuspidal edge $M$ in $\mathbb R^3$ derived from its contact with planes and lines (referred to as flat geometry). The contact of $M$ with planes is measured by the singularities of the height functions on $M$. We classify submersions on a model of $M$ by diffeomorphisms and recover the contact of $M$ with planes from that classification. The contact of $M$ with lines is measured by the singularities of orthogonal projections of $M$. We list the generic singularities of the projections and obtain the generic deformations of the apparent contour (profile) when the di…
Quad-surfaces are polyhedral surfaces with quadrilateral faces and the combinatorics of the square grid. A generic quad-surface is rigid. T-hedra is a class of flexible quad-surfaces introduced by Graf and Sauer in 1931. Particular examples of T-hedra are the celebrated Miura fold, discrete surfaces of revolution, and discrete molding surfaces. We provide an explicit parametrization of the isometric deformation of a T-hedron. T-hedra have a smooth analog, T-surfaces. For these we provide a synthetic and an analytic description, both similar to the corresponding descriptions of T-hedra. We also…
The height functions of K^(1/4)-flow translators in Euclidean space R^3 solve the unimodular Hessian equation. We explicitly and geometrically determine the moduli space of all helicoidal K^(1/4)-flow translators, which are generated from planar curves by the action of helicoidal groups.
This paper is devoted to a deep analysis of the process known as Cheeger deformation, applied to manifolds with isometric group actions. Here, we provide new curvature estimates near singular orbits and present several applications. As the main result, we answer a question raised by a seminal result of Searle--Wilhelm about lifting positive Ricci curvature from the quotient of an isometric action. To answer this question, we develop techniques that can be used to provide a substantially streamlined version of a classical result of Lawson and Yau, generalize a curvature condition of Chavéz, Der…
Concerning the problem of classifying complete submanifolds of Euclidean space with codimension two admitting genuine isometric deformations, until now the only known examples with the maximal possible rank four are the real Kaehler minimal submanifolds classified by Dajczer-Gromoll \cite{dg3} in parametric form. These submanifolds behave like minimal surfaces, namely, if simple connected either they admit a nontrivial one-parameter associated family of isometric deformations or are holomorphic. In this paper, we characterize a new class of complete minimal genuinely deformable Euclidean subma…
The number of constant mean curvature isometric immersions of a surface
在经典曲面理论中，只有很少的已知曲面例子允许非平凡等距变形，更少的是非单连通的。本文研究具有常中曲率H的定向非单连通曲面的浸入x：M \to R ^[3]的等距变形问题。我们证明了M的所有具有常数中曲率H的等距浸入的空间是R^3的模同余，有限或圆。当它是一个圆时，对于浸入x，M中的每个周期都有消失的力，当H不为0时，也有消失的扭矩。本文将极小曲面的刚性结果推广到常中曲率曲面。此外，我们确定封闭的向量值1-形式的周期给力和扭矩。
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 …
In this paper, we study the weighted Fermat-Frechet problem for a $\frac{N (N+1)}{2}-$tuple of positive real numbers determining $N$-simplexes in the $N$ dimensional $K$-Space ($N$-dimensional Euclidean space $\mathbb{R}^{N}$ if $K=0,$ the $N$-dimensional open hemisphere of radius $\frac{1}{\sqrt{K}}$ ($\mathbb{S}_{\frac{1}{\sqrt{K}}}^{N}$) if $K >0$ and the Lobachevsky space $\mathbb{H}_{K}^{N}$ of constant curvature $K$ if $K<0$). The (weighted) Fermat-Frechet problem is a new generalization of the (weighted) Fermat problem for $N$-simplexes. We control the number of solutions (weighted Ferm…
We study the moduli space of congruence classes of isometric surfaces with the same mean curvature in 4-dimensional space forms. Having the same mean curvature means that there exists a parallel vector bundle isometry between the normal bundles that preserves the mean curvature vector fields. We prove that if both Gauss lifts of a compact surface to the twistor bundle are not vertically harmonic, then there exist at most three nontrivial congruence classes. We show that surfaces with a vertically harmonic Gauss lift possess a holomorphic quadratic differential, yielding thus a Hopf-type theore…
Consider a compact Riemannian manifold M of dimension n whose boundary \partial M is totally geodesic and is isometric to the standard sphere S^{n-1}. A natural conjecture of Min-Oo asserts that if the scalar curvature of M is at least n(n-1), then M is isometric to the hemisphere S_+^n equipped with its standard metric. This conjecture is inspired by the positive mass theorem in general relativity, and has been verified in many special cases. In this paper, we construct counterexamples to Min-Oo's conjecture in dimension n \geq 3.
A Laguerre geometric local characterization is given of L-minimal surfaces and Laguerre deformations (T-transforms) of L-minimal isothermic surfaces in terms of the holomorphicity of a quartic and a quadratic differential. This is used to prove that, via their Laguerre Gauss maps, the T-transforms of L-minimal isothermic surfaces have constant mean curvature in some translate of hyperbolic 3-space or de Sitter 3-space in Minkowski 4-space, or have mean curvature zero in some translate of a time-oriented lightcone in Minkowski 4-space. As an application, we show that various instances of the La…
We consider isometric immersions in arbitrary codimension of three-dimensional strongly pseudoconvex pseudo-hermitian CR manifolds into the Euclidean space $\mathbb{R}^n$ and generalize in a natural way the notion of associated family. We show that the existence of such deformations turns out to be very restrictive and we give a complete classification.
We study infinitesimal conformal deformations of a triangulated surface in Euclidean space and investigate the change in its extrinsic geometry. A deformation of vertices is conformal if it preserves length cross-ratios. On one hand, conformal deformations generalize deformations preserving edge lengths. On the other hand, there is a one-to-one correspondence between infinitesimal conformal deformations in space and infinitesimal isometric deformations of the stereographic image on the sphere. The space of infinitesimal conformal deformations can be parametrized in terms of the change in dihed…
We investigate octonion product deformations coming from the parallelizable torsion of the 7-sphere $S^7$, obtaining a family of geometries from solutions of the Lagrangian formalism movement equations. This can be achieved by analyzing the spontaneous compactification $M_4\times S^7$, where $M_4$ is a Lorentzian $4$-dimensional manifold. Besides the usual Riemannian geometry and two others proposed by Cartan and Schouten, solutions in geometries with torsion and more general seven-dimensional spaces are obtained. Such formalism may by subsequently derived over the 7-sphere $S^7$, locally give…
We study proper, isometric actions of nonsolvable discrete groups Gamma on the 3-dimensional Minkowski space R^{2,1} as limits of actions on the 3-dimensional anti-de Sitter space AdS^3. To each such action is associated a deformation of a hyperbolic surface group Gamma_0 inside O(2,1). When Gamma_0 is convex cocompact, we prove that Gamma acts properly on R^{2,1} if and only if this group-level deformation is realized by a deformation of the quotient surface that everywhere contracts distances at a uniform rate. We give two applications in this case. (1) Tameness: A complete flat spacetime is…
