Related papers: On the real-analyticity of rigid spherical hypersu…

We prove that the image of a real analytic Riemannian manifold under a smooth Riemannian submersion is necessarily real analytic.

We develop a classification theory for real-analytic hypersurfaces in $\mathbb C^2$ in the case when the hypersurface is of {\em infinite type} at the reference point. This is the remaining, not yet understood case in $\mathbb C^2$ in the…

A Levi nondegenerate real analytic hypersurface M of C^2 represented in local coordinates (z, w) in C^2 by a complex defining equation of the form w = Theta (z, \bar z, \bar w) which satisfies an appropriate reality condition, is spherical…

We study the real analyticity of a CR mapping on the hypersurface $\h$ defined by $\h=\{z\in\C^n,\Re(z_n)+|z'|^2=0\}$ in model almost complex manifolds. We make use of a method of prolongation for the tangential Cauchy-Riemann equations and…

We prove that a real-valued function (that is not assumed to be continuous) on a real analytic manifold is analytic whenever all its restrictions to analytic submanifolds homeomorphic to the 2-sphere are analytic. This is a real analog for…

We prove that if two real-analytic hypersurfaces in $\mathbb C^2$ are equivalent formally, then they are also $C^\infty$ CR-equivalent at the respective point. As a corollary, we prove that all formal equivalences between real-algebraic…

We provide an explicit description of all rigid hypersurfaces that are equivalent to a Heisenberg sphere. These hypersurfaces are determined by 4 real parameters. The defining equations of the rigid spheres can also be viewed as the…

In our earlier work \cite{KZ}, we introduced an analytic regularizability theory for smooth strictly pseudoconvex hypersurfaces in complex space. That is, we found a necessary and sufficient condition for a hypersurface to be CR-equivalent…

Dahmen and Schmeding have obtained the result that although the smooth Lie group $G$ of real analytic diffeomorphisms $\mathbb S^{\,1.}\to\mathbb S^{\,1.}$ has a compatible analytic manifold structure, it does not make $G$ a real analytic…

We show that if the Segre varieties of a strictly pseudoconvex hypersurface in $\mathbb{C}^2$ are extremal discs for the Kobayashi metric, then that hypersurface has to be locally spherical. In particular, this gives yet another…

We classify all real hypersurfaces with constant principal curvatures in the complex hyperbolic plane.

We classify 'primitive normal compactifications' of C^2 (i.e. normal analytic surfaces containing C^2 for which the curve at infinity is irreducible), compute the moduli space of these surfaces and their groups of auomorphisms. In…

In this paper we consider a Novikov equation, recently shown to describe pseudospherical surfaces, to extend some recent results of regularity of its solutions. By making use of the global well-posedness in Sobolev spaces, for analytic…

We prove that a meromorphic mapping, which sends a peace of a real analytic strictly pseudoconvex hypersurface in $\cc^2$ to a compact subset of $\cc^N$ which doesn't contain germs of non-constant complex curves is continuous from the…

This article is devoted to studying multiplicity and regularity of real analytic sets. We present an equivalence for real analytic sets, named blow-spherical equivalence, which generalizes differential equivalence and subanalytic…

We characterize embedded $\C^1$ hypersurfaces of $\R^n$ as the only locally closed sets with continuously varying flat tangent cones whose measure-theoretic-multiplicity is at most $m<3/2$. It follows then that any (topological)…

First, we classify proper biharmonic Hopf real hypersurfaces in $\mathbb{C}P^2$. Next, we classify proper biharmonic real hypersurfaces with two distinct principal curvatures in $\mathbb{C}P^n$, where $n\geq 2$. Finally, we prove that…

We derive a sharp cusp count for finite volume complex hyperbolic surfaces which admit smooth toroidal compactifications. We use this result, and the techniques developed in [DiC12], to study the geometry of cusped complex hyperbolic…

It is shown that a formal mapping between two real-analytic hypersurfaces in complex space is convergent provided that neither hypersurface contains a nontrivial holomorphic variety. For higher codimensional generic submanifolds,…

We give some results concerning the smoothness of the image of a real-analytic submanifold in complex space under the action of a finite holomorphic mapping. For instance, if the submanifold is not contained in a proper complex subvariety,…