We show that for any real-analytic submanifold M in C^N there is a proper real-analytic subvariety V contained in M such that for any point p in M\V, any real-analytic submanifold M' in C^N, and any point p' in M', the germs of the submanifolds M and M' at p and p' respectively are formally equivalent if and only if they are biholomorphically equivalent. More general results for k-equivalences are also stated and proved.
In this paper, we study formal mappings between smooth generic submanifolds in multidimensional complex space and establish results on finite determination, convergence and local biholomorphic and algebraic equivalence. Our finite determination result gives sufficient conditions to guarantee that a formal map as above is uniquely determined by its jet at a point of a preassigned order. For real-analytic generic submanifolds, we prove convergence of formal mappings under appropriate assumptions and also give natural geometric conditions to assure that if two germs of such submanifolds are forma…
We consider (small) algebraic deformations of germs of real-algebraic CR submanifolds in complex space and study the biholomorphic equivalence problem for such deformations. We show that two algebraic deformations of minimal holomorphically nondegenerate real-algebraic CR submanifolds are holomorphically equivalent if and only if they are algebraically equivalent.
It is shown that a germ of a holomorphic mapping sending a real-analytic generic submanifold of finite type into another is determined by its projection on the Segre variety of the target manifold. A necessary and sufficient condition is given for a germ of a mapping into the Segre variety of the target manifold to be the projection of a holomorphic mapping sending the source manifold into the target. An application to the biholomorphic equivalence problem is also given.
In this paper we study the structure of complex points of codimension 2 real submanifolds in complex $n$ dimensional manifolds. We show that the local structure of a complex point up to isotopy only depends on their type (either elliptic or hyperbolic). We also show that any such submanifold can be smoothly isotoped into a submanifold that has 2-strictly pseudoconvex neighborhood basis.
In this notes, we characterize discrete subgroups of PU(2,1), holomorphic isometric group of complex hyperbolic space, which have an invariant totally geodesic submanifold.
Let E be a generic real submanifold of an almost complex manifold. The geometry of Bishop discs attached to E is studied in terms of the Levi form of E.
In this paper I survey some recent results on finite determination, convergence, and approximation of formal mappings between real submanifolds in complex spaces. A number of conjectures are also given.
We give an invariant nondegeneracy condition for CR--maps between generic submanifolds in different dimensions and use it to prove a reflection principle for these maps.
We prove that a germ of a holomorphic map $f$ between $C^n$ and $C^{n'}$ sending one real-algebraic submanifold $M\subset C^n$ into another $M'\subset C^{n'}$ is algebraic provided $M'$ contains no complex-analytic discs and $M$ is generic and minimal. We also propose an algorithm for finding complex-analytic discs in a real submanifold.
Let $M$ be a pseudoconvex, oriented, bounded and closed CR submanifold of $\mathbb{C}^{n}$ of hypersurface type. Our main result says that when a certain $1$-form on $M$ is exact on the null space of the Levi form, then the complex Green operator on $M$ satisfies Sobolev estimates. This happens in particular when $M$ admits a set of plurisubharmonic defining functions or when $M$ is strictly pseudoconvex except for the points on a simply connected complex submanifold.
In this paper we present some linear algebra behind quadratic parts of quadratically flat complex points of codimension two real submanifold in a complex manifold. Assuming some extra nondegenericity and using the result of Hong, complete normal form descriptions can be given, and in low dimensions, we obtain a complete classification without any extra assumptions.
We show that a holomorphic mapping sending one generic submanifold into another of the same dimension is CR transversal to the target submanifold provided that the source manifold is of finite type and the map is of generic full rank. This result and its corollaries completely resolve two questions posed by Linda P. Rothschild and the first author in a paper from 2006.
Let A be a domain of the boundary of a strictly pseudoconvex domain Ωof C^n and M a smooth, closed, maximally complex submanifold of A. We find a subdomain \widetilde A of Ω, depending only on Ωand A, and a complex subvariety W of \widetilde A such that bW\cap A = M. Moreover, a generalization to analytic sets of depth at least 4 is given.
We study a germ of real analytic n-dimensional submanifold of C n that has a complex tangent space of maximal dimension at a CR singularity. Under some assumptions , we show its equivalence to a normal form under a local biholomorphism at the singularity. We also show that if a real submanifold is formally equivalent to a quadric, it is actually holomorphically equivalent to it, if a small divisors condition is satisfied. Finally, we investigate the existence of a complex submanifold of positive dimension in C n that intersects a real submanifold along two totally and real analytic submanifold…
The Umehara algebra is studied with motivation on the problem of the non-existence of common complex submanifolds. In this paper, we prove some new results in Umehara algebra and obtain some applications. In particular, if a complex manifolds admits a holomorphic polynomial isometric immersion to one indefinite complex space form, then it cannot admits a holomorphic isometric immersion to another indefinite complex space form of different type. Other consequences include the non-existence of the common complex submanifolds for indefinite complex projective space or hyperbolic space and a compl…
Two Kahler manifolds are called relatives if they admit a common Kahler submanifold with the same induced metrics. In this paper, we show that a Hartogs domain over an irreducible bounded symmetric domain equipped with the Bergman metric is not a relative to the complex Euclidean space. This generalizes the results in [5, 4] and the novelty here is that the Bergman kernel of the Hartogs domain is not necessarily Nash algebraic.
In this paper we introduce the concept of inflexible $CR$ submanifolds. These are $CR$ submanifolds of some complex Euclidean space such that any compactly supported $CR$ deformation is again globally $CR$ embeddable into some complex Euclidean space. Our main result is that any $2$-pseudoconcave quadratic $CR$ submanifold of type $(n,d)$ in $\mathbb{C}^{n+d}$ is inflexible.
We define a new local invariant (called degeneracy) associated to a triple (M,M',H), where M and M' are real submanifolds of C^N and C^N', respectively, and H: M->M' is either a holomorphic map, a formal holomorphic map, or a smooth CR-map. We use this invariant to find sufficient conditions under which finite jet dependence, convergence and algebraicity results hold.
Let $(X,ω)$ be a compact $n$-dimensional Kähler manifold on which the integral of $ω^n$ is $1$. Let $K$ be an immersed real $\mathcal{C}^3$ submanifold of $X$ such that the tangent space at any point of $K$ is not contained in any complex hyperplane of the (real) tangent space at that point of $X.$ Let $μ$ be a probability measure compactly supported on $K$ with $L^p$ density for some $p>1.$ We prove that the complex Monge-Ampère equation $(dd^c φ+ ω)^n=μ$ has a Hölder continuous solution.
Let $M$ be a closed complex submanifold in ${\mathbb C}^N$ with the complete Kähler metric induced by the Euclidean metric. Several finiteness theorems on the $L^p$ Bergman space of holomorphic sections of a given Hermitian line bundle $L$ over $M$ and the associated $L^2$ cohomology groups are obtained. Some infiniteness theorems are also given in order to test the accuracy of finiteness theorems. As applications we obtain some rigidity results concerning growth of curvatures.
We prove that the local (pseudo)group of biholomorphisms stabilizing a minimal, finitely nondegenerate real algebraic submanifold in C^n is a real algebraic local Lie group (the works of S.M. Baouendi, P. Ebenfelt, L.-P. Rothschild and D. Zaitsev published in this direction restrict, without understandable reason, to the isotropy group of a fixed central point). We deduce necessary conditions for the local algebraizability of real analytic rigid tubes of arbitrary codimension in C^n. Without using the Elie Cartan equivalence algorithm, we explain the up to now only known example Im w = e^(|z^2…
The purpose of this article is threefold. The first is to construct a Nevanlina theory for meromorphic mappings from a polydisc to a compact complex manifold. In particular, we give a simple proof of Lemma on logarithmic derivative for nonzero meromorphic functions on $\mathbb{C}^l.$ The second is to improve the definition of the non-integrated defect relation of H. Fujimoto \cite{F2} and to show two theorems on the new non-integrated defect relation of meromorphic maps from a closed submanifold of $\mathbb{C}^l$ to a compact complex manifold. The third is to give a unicity theorem for meromor…
In this article, we solve the equivalence problem for 2--nondegenerate CR geometries that have (at every point) a homogeneous space $G/H$ as a maximally symmetric model for $G$ simple real Lie group of CR automorphisms. This completes the classification of real submanifolds in complex space that are maximally symmetric models with a real simple CR automorphism group. In particular, we construct (local) embeddings of these models into complex space.
We survey the history as well as recent progress in the Yang problem concerning the existence of complete bounded complex submanifolds of the complex Euclidean spaces. We also point out some open questions on the topic.
On a real analytic 5-dimensional CR-generic submanifold M^5 in C^4 of codimension 3, hence of CR dimension 1, which enjoys the generically satisfied nondegeneracy condition that Lie brackets up to length 3 of T^{1,0}M generate CTM, a canonical Cartan connection is constructed after reduction to a certain partially explicit e-structure of the concerned local biholomorphic equivalence problem. More advanced explorations of the incoming differential invariants due to the first and to the third authors already appeared in January 2014, hence the purpose is to show, while studying this specific Cla…
This paper shows that an arbitrary generic submanifold in a complex manifold can be deformed into a 1-parameter family of generic submanifolds satisfying strong nondegeneracy conditions. The proofs use a careful analysis of the jet spaces of embeddings satisfying certain nondegeneracy properties, and also make use of the Thom transversality theorem, as well as the stratification of real-algebraic sets. Optimal results on the order of nondegeneracy are given.
In this paper we establish some general results on local behavior of holomorphic functions along complex submanifolds of $\Co^{N}$. As a corollary, we present multi-dimensional generalizations of an important result of Coman and Poletsky on Bernstein type inequalities on transcendental curves in $\Co^{2}$.
We consider CR submersive mappings between generic submanifolds in complex space. We show that, under suitable conditions on the manifolds, there is an integer k such that any jet of the CR mapping at a given point is a rational function of its k-jet at that point. As a consequence, it is shown that the stability group of a (suitably nondegenerate) real-analytic generic submanifold is a real algebraic Lie group. Moreover, it is shown that a formal equivalence between two such real-analytic submanifolds is necessarily convergent.
We study a germ of real analytic $n$-dimensional submanifold of ${\mathbf C}^n$ that has a complex tangent space of maximal dimension at a CR singularity. Under the condition that its complexification admits the maximum number of deck transformations, we study its transformation to a normal form under the action of local (possibly formal) biholomorphisms at the singularity. We first conjugate formally its associated reversible map $σ$ to suitable normal forms and show that all these normal forms can be divergent. If the singularity is {\it abelian}, we show, under some assumptions on the linea…
We establish compactness estimates for $\overline{\partial}_{b}$ on a compact pseudoconvex CR-submanifold of $\mathbb{C}^{n}$ of hypersurface type that satisfies property(P). When the submanifold is orientable, these estimates were proved by A.~Raich via microlocal methods. Our proof deduces the estimates from (a slight extension, when $q>1$, of) those known on hypersurfaces via the fact that locally, CR-submanifolds of hypersurface type are CR-equivalent to a hypersurface. The relationship between two potential theoretic conditions is also clarified.
Complete hyperbolicity of small Euclidean balls with respect to a C^1-smooth almost complex structure standard at origin is improved to give a complete hyperbolicity of strictly pseudoconvex domains. More precise (and lower) regularity assumptions on almost complex structure are made also for another results.
Iterated Segre mappings of real analytic generic submanifolds in complex space have been an essential tool in the study of holomorphic, formal, and CR mappings between such manifolds. In this paper we present a theory of iterated Segre mappings for smooth or formal submanifolds. In particular, we characterize finite type in terms of the rank of the iterated Segre mappings. The approach given here is new, simplifies proofs, and extends results previously known for the real analytic case.
Local CR-generic submanifolds of C^N are in one-to-one correspondence with their respective graphing functions, but it is well known that (despite their importance) the Cartan-Hachtroudi-Chern-Moser invariants and coframes for Levi nondegenerate hypersurfaces M in C^(n+1) have been fully computed in CR dimension n >= 2 only in special cases which show off a tremendous collapse of computational complexity in comparison to the general case. One of the goals of this Part V is to set up systematic initial data that are essentially explicit in terms of the concerned graphing functions, for the six …
We construct examples of $C^\infty$ smooth submanifolds in ${\Bbb C}^n$ and ${\Bbb R}^n$ of codimension 2 and 1, which intersect every complex, respectively real, analytic curve in a discrete set. The examples are realized either as compact tori or as properly imbedded Euclidean spaces, and are the graphs of quasianalytic functions. In the complex case, these submanifolds contain real $n$-dimensional tori or Euclidean spaces that are not pluripolar while the intersection with any complex analytic disk is polar.
We prove that pseudo-holomorphic discs attached to a maximal totally real submanifold inherit their regularity from the regularity of the submanifold and of the almost complex structure. The proof is based on the computation of an explicit lower bound for the Kobayashi metric in almost complex manifolds, which also yields explicit estimates of Hölderian norms of such discs.
We study a germ of real analytic n-dimensional submanifold of $C^n$ that has a complex tangent space of maximal dimension at a CR singularity. Under the condition that its complexification admits the maximum number of deck transformations, we first classify holomorphically its quadratic CR singularity. We then study its transformation to a normal form under the action of local (possibly formal) biholomorphisms at the singularity. We first conjugate formally its associated reversible map $σ$ to suitable normal forms and show that all these normal forms can be divergent. We then construct a uniq…
This paper proves the non-existence of common Kähler submanifolds of the complex Euclidean space and the symmetrized polydisc endowed with their canonical metrics.
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, we give a necessary and sufficient condition guaranteeing that its image is smooth and the mapping is transversal to the image.
For the first obstruction to extending a holomorphic vector bundle from a submanifold of a complex manifold found by Griffiths we give an explicit formula in terms of the Atiyah class of the bundle.
We show that an indefinite Euclidean complex space is not a relative of an indefinite non-flat complex space form. We further study whether two compact Fubini-Study spaces are relatives or not.
We introduce a notion of semi-legendrian real submanifold in a complex manifold of dimension 3 and prove that real submanifolds of $\mathbb{C}^2$ can be uniquely lifted to $\mathbb{C}^3$. Then we deduce a complex duality between real submanifolds of $\mathbb{P}^2(\mathbb{C})$.
We show the intersection of a compact almost complex subvariety of dimension $4$ and a compact almost complex submanifold of codimension $2$ is a $J$-holomorphic curve. This is a generalization of positivity of intersections for $J$-holomorphic curves in almost complex $4$-manifolds to higher dimensions. As an application, we discuss pseudoholomorphic sections of a complex line bundle. We introduce a method to produce $J$-holomorphic curves using the differential geometry of almost Hermitian manifolds. When our main result is applied to pseudoholomorphic maps, we prove the singularity subset o…
