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 }$ , then extendability holds for all CR mappings with certain minimal a priori regularity.
Theorem A. Let $M$ and $M'$ be two algebraic hypersurfaces in $C^N$ and assume that $M$ is connected and holomorphically nondegenerate. If $H$ is a smooth CR mapping from $M$ to $M'$ with $ Jac H \not\equiv 0$, where $Jac H$ is the Jacobian determinant of $H$, then $H$ extends holomorphically in an open neighborhood of $M$ in $ C^N$.
A recent example given by Ebenfelt shows that the conclusion of Theorem A need not hold if $M$ is real analytic, but not algebraic.
Theorem B. Let $M$ be a connected real analytic hypersurface in $C^N$ which is holomorphically degenerate at some point $p_1$. Let $p_0 \in M$ and suppose there exists a germ at $p_0$ of a smooth CR function on $M$ which does not extend holomorphically to any full neighborhood of $p_0$ in $C^N$. Then there exists a germ at $p_0$ of a smooth CR diffeomorphism from $M$ into itself, fixing $p_0$, which does not extend holomorphically to any neighborhood of $p_0$ in $C^N$.
Theorem C. Let $M\subset C^N$ be an algebraic hypersurface. Assume that there is no nontrivial complex analytic variety contained in $M$ through $p_0 \in M$, and let $m=m_{p_0}$ be the D'Angelo type. If $H: M \to S^{2N+1}\subset C^{N+1}$ is a CR map of class $C^m$, where $S^{2N+1}$ denotes the boundary of the unit ball in $C^{N+1 }$, then $H$ admits a holomorphic extension in a neighborhood of $p_0$.
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.
We study various classes of real hypersurfaces that are not embeddable into more special hypersurfaces in higher dimension, such as spheres, real algebraic compact strongly pseudoconvex hypersurfaces or compact pseudoconvex hypersurfaces of finite type. We conclude by stating some open problems.
We show that there are strictly pseudoconvex, real algebraic hypersurfaces in $\bC^{n+1}$ that cannot be locally embedded into a sphere in $\bC^{N+1}$ for any $N$. In fact, we show that there are strictly pseudoconvex, real algebraic hypersurfaces in $\bC^{n+1}$ that cannot be locally embedded into any compact, strictly pseudoconvex, real algebraic hypersurface.
The relationship between interpolation and separation properties of hypersurfaces in Bargmann-Fock spaces over $\mathbb{C} ^n$ is not well-understood except for $n=1$. We present four examples of smooth affine algebraic hypersurfaces that are not uniformly flat, and show that exactly two of them are interpolating.
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.
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.
Since the great work on holomorphic curves into algebraic varieties intersecting hypersurfaces in general position established by Ru in 2009, recently there has been some developments on the second main theorem into algebraic varieties intersecting moving hypersurfaces targets. The main purpose of this paper is to give some interesting improvements of Ru's second main theorem for moving hypersurfaces targets located in subgeneral position with index.
We study the holomorphic embedding problem from a compact strongly pseudoconvex real algebraic hypersurface into a sphere of higher dimension. We construct a family of compact strongly pseudoconvex hypersurfaces $M_ε$ in $\mathbb{C}^2,$ and prove that for any integer $N$, there is a number $ε(N)$ with $0<ε(N)<1$ such that for any $ε$ with $0<ε<ε(N)$, $M_ε$ can not be locally holomorphically embedded into the unit sphere $\mathbb{S}^{2N-1}$ in $\mathbb{C}^N.$
In [Ann. of Math. 169 (2009)], Min Ru proved a second main theorem for algebraically nondegenerate holomorphic curves in complex projective varieties intersecting fixed hypersurface targets. In this paper, by introducing a new proof method for the case of projective varieties, we generalize this result to moving hypersurface targets.
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$.
In this paper, a non-integrated defect relation for meromorphic maps from complete Kähler manifolds $M$ into smooth projective algebraic varieties $V$ intersecting hypersurfaces located in $k$-subgeneral position is proved. The novelty of this result lies in that both the upper bound and the truncation level of our defect relation depend only on $k$, $\dim_{\,\mathbb{C}}(V)$ and the degrees of the hypersurfaces considered. In addition, this defect relation recovers Hirotaka Fujimoto [Theorem 1.1; MR0884636 (88m:32049); Japan. J. Math. (N.S.) 11 (1985), no. 2, 233-264.] when subjected to the sa…
In this paper, we prove some difference analogue of second main theorems of meromorphic mapping from Cm into an algebraic variety V intersecting a finite set of fixed hypersurfaces in subgeneral position. As an application, we prove a result on algebraically degenerate of holomorphic curves intersecting hypersurfaces and difference analogue of Picard's theorem on holomorphic curves. Furthermore, we obtain a second main theorem of meromorphic mappings intersecting hypersurfaces in N-subgeneral position for Veronese embedding in Pn(C) and a uniqueness theorem sharing hypersurfaces.
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$.
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 …
Given a projective symplectic manifold $M$ and a non-singular hypersurface $X \subset M$, the symplectic form of $M$ induces a foliation of rank 1 on $X$, called the characteristic foliation. We study the question when the characteristic foliation is algebraic, namely, all the leaves are algebraic curves. Our main result is that the characteristic foliation of $X$ is not algebraic if $X$ is of general type. For the proof, we first establish an étale version of Reeb stability theorem in foliation theory and then combine it with the positivity of the direct image sheaves associated to families o…
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.
We study the regularity of infinitesimal CR automorphisms of abstract CR structures which possess a certain microlocal extension and show that there are smooth multipliers, completely determined by the CR structure, such that if $X$ is such an infinitesimal CR automorphism, then $λX$ is smooth for all multipliers $λ$. As an application, we study the regularity of infinitesimal automorphisms of certain embedded hypersurfaces of infinite type.
It is proved that the germ of a holomorphic map from a real analytic hypersurface M in C^n into a strictly pseudoconvex compact real algebraic hypersurface M' in C^N, 1 < n < N extends holomorphically along any path on M.
In this work we study analytic Levi-flat hypersurfaces in complex algebraic surfaces. First, we show that if this foliation admits chaotic dynamics (i.e. if it does not admit a transverse invariant measure), then the connected components of the complement of the hypersurface are modifications of Stein domains. This allows us to extend the CR foliation to a singular algebraic foliation on the ambient complex surface. We apply this result to prove, by contradiction, that analytic Levi-flat hypersurfaces admitting a transverse affine structure in a complex algebraic surface have a transverse inva…
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.
Based on a new generalization of Cauchy-Riemann system presented in this paper, we introduce a class of quaternion-valued functions of a quaternionic variable, which are called algebraic regular functions. The set of algebraic regular functions is not only a real associative algebra, but also respect the composition of functions. Using algebraic regular functions as transition maps, we introduce a class of four-manifolds called the regular four-manifolds.
We study singular real-analytic Levi-flat hypersurfaces in complex projective space. We define the rank of an algebraic Levi-flat hypersurface and study the connections between rank, degree, and the type and size of the singularity. In particular, we study degenerate singularities of algebraic Levi-flat hypersurfaces. We then give necessary and sufficient conditions for a Levi-flat hypersurface to be a pullback of a real-analytic curve in $\mathbb{C}$ via a meromorphic function. Among other examples, we construct a nonalgebraic semianalytic Levi-flat hypersurface with compact leaves that is a …
We consider smooth, complex quasi-projective varieties $U$ which admit a compactification with a boundary which is an arrangement of smooth algebraic hypersurfaces. If the hypersurfaces intersect locally like hyperplanes, and the relative interiors of the hypersurfaces are Stein manifolds, we prove that the cohomology of certain local systems on $U$ vanishes. As an application, we show that complements of linear, toric, and elliptic arrangements are both duality and abelian duality spaces.
In this paper, we provide {\em effective} results on the non-embeddability of real-analytic hypersurfaces into a hyperquadric. We show that, for any $N >n \geq 1$, the defining functions $φ(z,\bar z,u)$ of all real-analytic hypersurfaces $M=\{v=φ(z,\bar z,u)\}\subset\mathbb C^{n+1}$ containing Levi-nondegenerate points and locally transversally holomorphically embeddable into some hyperquadric $\mathcal Q\subset\mathbb C^{N+1}$ satisfy an {\em universal} algebraic partial differential equation $D(φ)=0$, where the algebraic-differential operator $D=D(n,N)$ depends on $n, N$ only. To the best of…
In this work, it is established that for a generic projective hypersurface $H\subset\mathbb{P}^n(\mathbb{C})$ of degree $d\geq(5n)^2\,n^{n}$, any holomorphic entire curve $f\colon\mathbb{C}\to\mathbb{P}^n(\mathbb{C})\setminus H$ has its image contained in a proper algebraic subvariety $Z\subsetneq\mathbb{P}^{n}(\mathbb{C})$, that does not depend on the curve $f$. Here generic means that the coefficients of the defining equation of $H$ have to lie outside of a proper algebraic subvariety of the projective space of coefficients of homogeneous polynomials of degree $d$ (that parametrizes the alge…
A local uniqueness property of holomorphic functions on real-analytic nowhere minimal CR submanifolds of higher codimension is investigated. A sufficient condition called almost minimality is given and studied. A weaker necessary condition, being contained a possibly singular real-analytic Levi-flat hypersurface is studied and characterized. This question is completely resolved for algebraic submanifolds of codimension 2 and a sufficient condition for noncontainment is given for non algebraic submanifolds. As a consequence, an example of a submanifold of codimension 2, not biholomorphically eq…
To every Gorenstein algebra $A$ of finite dimension greater than 1 over a field ${\Bbb F}$ of characteristic zero, and a projection $π$ on its maximal ideal ${\mathfrak m}$ with range equal to the annihilator $\hbox{Ann}({\mathfrak m})$ of ${\mathfrak m}$, one can associate a certain algebraic hypersurface $S_π\subset{\mathfrak m}$. Such hypersurfaces possess remarkable properties. They can be used, for instance, to help decide whether two given Gorenstein algebras are isomorphic, which for ${\Bbb F}={\Bbb C}$ leads to interesting consequences in singularity theory. Also, for ${\Bbb F}={\Bbb R…
Let $n=2,3,4,5$ and let $X$ be a smooth complex projective hypersurface of $\mathbb P^{n+1}$. In this paper we find an effective lower bound for the degree of $X$, such that every holomorphic entire curve in $X$ must satisfy an algebraic differential equation of order $k=n=\dim X$, and also similar bounds for order $k>n$. Moreover, for every integer $n\ge 2$, we show that there are no such algebraic differential equations of order $k<n$ for a smooth hypersurface in $\mathbb P^{n+1}$.
Let $H \subset {\mathbb P}^n$ be a real-analytic subvariety of codimension one induced by a real-analytic curve in the Grassmannian $G(n+1,n)$. Assuming $H$ has a global defining function, we prove $H$ is Levi-flat, the closure of its smooth points of top dimension is a union of complex hyperplanes, and its singular set is either of dimension $2n-2$ or dimension $2n-4$. If the singular set is of dimension $2n-4$, then we show the hypersurface is algebraic and the Levi-foliation extends to a singular holomorphic foliation of ${\mathbb P}^n$ with a meromorphic (rational of degree 1) first integr…
The main goal of this work is to prove that every entire curve in a smooth hypersurface of degree greater than or equal to 97 in the complex projective space of dimension 4 must satisfy an algebraic differential equation of order 3. A logarithmic version of this result is given proving that every entire curve in the complement of a smooth surface of degree greater than or equal to 92 in the complex projective space of dimension 3 must satisfy an algebraic differential equation of order 3.
This article discusses the recent transcendental techniques used in the proofs of the following three conjectures. (1)~The plurigenera of a compact projective algebraic manifold are invariant under holomorphic deformation. (2)~There exists no smooth Leviflat hypersurface in the complex projective plane. (3)~A generic hypersurface of sufficiently high degree in the complex projective space is hyperbolic in the sense that there is no nonconstant holomorphic map from the complex Euclidean line to it.
