We investigate regularity of CR-mappings between real-analytic infinite type hypersurfaces in $\mathbb C^2$. We show that, under the Fuchsian type condition, all (respectively formal or smooth) CR-diffeomorphisms between them are automatically analytic. The Fuchsian condition appears to be in a certain sense optimal for the regularity problem.
In our recent work [25] we showed that $C^\infty$ CR-diffeomorphisms of real-analytic Levi-nonflat hypersurfaces in $\mathbb C^{2}$ are not analytic in general. This result raised again the question on the nature of CR-maps of real-analytic hypersurfaces. In this paper, we give a complete picture of what CR-maps actually are. First, we discover an analytic continuation phenomenon for CR-diffeomorphisms which we call the {\em sectorial analyticity property}. It appears to be the optimal regularity property for CR-diffeomorphisms in general. We emphasize that such type of extension never appeare…
We establish an injective correspondence $M\longrightarrow\mathcal E(M)$ between real-analytic nonminimal hypersurfaces $M\subset\mathbb{C}^{2}$, spherical at a generic point, and a class of second order complex ODEs with a meromorphic singularity. We apply this result to the proof of the bound $\mbox{dim}\,\mathfrak{hol}(M,p)\leq 5$ for the infinitesimal automorphism algebra of an \it arbitrary \rm germ $(M,p)\not\sim(S^3,p')$ of a real-analytic Levi nonflat hypersurface $M\subset\mathbb{C}^2$ (the Dimension Conjecture). This bound gives the first proof of the dimension gap $\mbox{dim}\,\math…
We prove smooth and analytic versions of the classical Schwarz reflection principle for transversal CR mappings between two CR manifolds of hypersurface type.
We provide regularity results for CR-maps between real hypersurfaces in complex spaces of different dimension with a Levi-degenerate target. We address both the real-analytic and the smooth case. Our results allow immediate applications to the study of proper holomorphic maps between Bounded Symmetric Domains.
We study regularity properties of CR maps in positive codimension valued in pseudoconvex manifolds which carry a nontrivial Levi foliation. We introduce an invariant which can be used to deduce that any sufficiently regular CR map from a minimal manifold into such a foliated target is either generically smooth or geometrically highly constrained, and to show generic smoothness of sufficiently regular CR transversal CR maps between pseudoconvex hypersurfaces. As an application, we discuss boundary regularity of proper holomorphic maps into bounded symmetric domains.
The purpose of this article is to study Lipschitz CR mappings from an $h$-extendible (or semi-regular) hypersurface in $\mbb C^n$. Under various assumptions on the target hypersurface, it is shown that such mappings must be smooth. A rigidity result for proper holomorphic mappings from strongly pseudoconvex domains is also proved.
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) hypersurface which has flat tangent cones and is supported everywhere by balls of uniform radius is $\C^1$. In the real analytic case the same conclusion holds under the weakened hypothesis that each tangent cone be a hypersurface. In particular, any convex real analytic hypersurface $X\subset\R^n$ is $\C^1$. Furthermore, if $X$ is real algebraic, strictly convex, and …
We introduce a class of embedded CR manifolds satisfying a geometric condition that we call weak $Y(q)$. For such manifolds, we show that dbar-b has closed range on $L^2$ and that the complex Green operator is continuous on $L^2$. Our methods involves building a weighted norm from a microlocal decomposition. We also prove that at any Sobolev level there is a weight such that the complex Green operator inverting the weighted Kohn Laplacian is continuous. Thus, we can solve the dbar-b equation in $C^\infty$.
Let $M$ be a connected real-analytic hypersurface in $\C^N$ and $§$ the unit real sphere in $\C^{N'}$, $N'> N\geq 2$. Assume that $M$ does not contain any complex-analytic hypersurface of $\C^N$ and that there exists at least one strongly pseudoconvex point on $M$. We show that any CR map $f\colon M\to §$ of class $C^{N'-N+1}$ extends holomorphically to a neighborhood of $M$ in $\C^N$.
We prove that if $M$ and $M'$ are algebraic hypersurfaces in $ C^ N$, i.e. both defined by the vanishing of real polynomials, then any sufficiently smooth CR mapping with Jacobian not identically zero extends holomorphically provided the hypersurfaces are holomorphically nondegenerate . Conversely, we prove that holomorphic nondegeneracy is necessary for this property of CR mappings to hold. For the case of unequal dimensions, we also prove that if $M$ is an algebraic hypersurface in $ C^N$ which does not contain any complex variety of positive codimension and $M'$ is the sphere in $ C^{N+1 }$…
We explore connections between geometric properties of the Levi foliation of a Levi-flat hypersurface M and holomorphic convexity of compact sets in M, or bounded in part by M. Applications include extendability of Cauchy-Riemann functions, solvability of the dibar_b-equation, approximability of holomorphic and CR functions, and global regularity of the dibar-Neumann operator.
Let $M\subset \mathbb C^n$ be a real analytic hypersurface, $M'\subset \mathbb C^N$ $(N\geq n)$ be a strongly pseudoconvex real algebraic hypersurface of the special form and $F$ be a meromorphic mapping in a neighborhood of a point $p\in M$ which is holomorphic in one side of $M$. Assuming some additional conditions for the mapping $F$ on the hypersurface $M$, we proved that $F$ has a holomorphic extension to $p$. This result may be used to show the regularity of CR mappings between real hypersurfaces of different dimensions.
It is shown that if a proper holomorphic map $f: \mathbb C^n \to \mathbb C^N$, $1<n\le N$, sends a pseudoconvex real analytic hypersurface of finite type into another such hypersurface, then any $n-1$ dimensional component of the critical locus of $f$ intersects both sides of $M$. We apply this result to the problem of boundary regularity of proper holomorphic mappings between bounded domains in $\mathbb C^n$.
It is here proved that if a pseudoconvex CR manifold $M$ of hypersurface type has a certain "type", that we quantify by a vanishing rate $F$ at a submanifold of CR dimension $0$, then $\Box_b$ "gains $f^2$ derivatives" where $f$ is defined by inversion of $F$. Indeed the estimate is more accurate and it involves the Levi form of $M$ and of additional weights, instead of $\Box_b$. Next a general tangential estimate, "twisted" by a pseudodifferential operator $Ψ$ is established. The combination of the two yields a general "$f$-estimate" twisted by $Ψ$. We apply the twisted estimate for $Ψ$ which…
The purpose of this paper is to establish sufficient conditions for closed range estimates on $(0,q)$-forms, for some fixed $q$, $1 \leq q \leq n-1$, for $\bar\partial_b$ in both $L^2$ and $L^2$-Sobolev spaces in embedded, not necessarily pseudoconvex CR manifolds of hypersurface type. The condition, named weak $Y(q)$, is both more general than previously established sufficient conditions and easier to check. Applications of our estimates include estimates for the Szegö projection as well as an argument that the harmonic forms have the same regularity as the complex Green operator. We use a mi…
Let $X$ be a Stein manifold of dimension at least 3. Given a compact codimension 2 real analytic submanifold $M$ of $X$, that is the boundary of a compact Levi-flat hypersurface $H$, we study the regularity of $H$. Suppose that the CR singularities of $M$ are an $\mathcal{O}(X)$-convex set. For example, suppose $M$ has only finitely many CR singularities, which is a generic condition. Then $H$ must in fact be a real analytic submanifold. If $M$ is real algebraic, it follows that $H$ is real algebraic and in fact extends past $M$, even near CR singularities. To prove these results we provide tw…
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 bi-Lipschitz equivalence and, with this approach, we obtain several applications on analytic sets. On regularity, we show that blow-spherical regularity of real analytic implies $C^1$ smoothness only in the case of real analytic curves. On multiplicity, we present a generalization for Gau-Lipman's Theorem about differential invariance of the multiplicity in the comple…
In this paper we prove that on a CR manifold of hypersurface type that satisfies the weak $Y(q)$ condition, the complex Green operator $G_q$ is exactly (globally) regular if and only if the Szegö projections $S_{q-1}, S_q$ and a third orthogonal projection $S'_{q+1}$ are exactly (globally) regular. The projection $S'_{q+1}$ is closely related to the Szegö projection $S_{q+1}$ and actually coincides with it if the space of harmonic $(0,q+1)$-forms is trivial. This result extends the important and by now classical result by H. Boas and E. Straube on the equivalence of the regularity of the $\bar…