Given $N$ a non generic smooth CR submanifold of $\C^L$, $N=\{(\n,h(\n))\}$ where $\n$ is generic in $\C^{L-n}$ and $h$ is a CR map from $\n$ into $\C^n$. We prove, using only elementary tools, that if $h$ is decomposable at $p'\in \n$ then any decomposable CR distribution on $N$ at $p=(p',h(p'))$ extends holomorphically to a complex transversal wedge. This gives an elementary proof of the well known equivalent for totally real non generic submanifolds, i.e if $N$ is a smooth totally real submanifold of $\C^L$ any continuous function on $N$ admits a holomorphic extension to a complex transverse wedge
We give a holomorphic extension result from non generic CR submanifold of $\C^L$ of positive CR dimension. We consider $N$ a non generic CR submanifold given by $N=\{\n,h(\n)\}$ where $\n$ is a generic submanifold of some $\C^{\ell}$ and $h$ is a CR map from $\n$ into $\C^n$. We prove that if $\n$ is a hypersurface then any CR distribution on $N$ extends holomorphically to a complex transversal wedge, we then generalize this result for arbitrary $\n$ in the case where the graphing function $h$ is decomposable at some $p'\in \n$. We show that any CR distribution on $N$ that is decomposable at $…
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.
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.
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 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 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 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.
The purpose of this paper is to organize some results on the local geometry of CR singular real-analytic manifolds that are images of CR manifolds via a CR map that is a diffeomorphism onto its image. We find a necessary (sufficient in dimension 2) condition for the diffeomorphism to extend to a finite holomorphic map. The multiplicity of this map is a biholomorphic invariant that is precisely the Moser invariant of the image when it is a Bishop surface with vanishing Bishop invariant. In higher dimensions, we study Levi-flat CR singular images and we prove that the set of CR singular points m…
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.
We establish results on holomorphic extension of CR-mappings of class $C^\infty$ between a real-analytic CR-submanifold of $\C^N$ and a real-algebraic CR-submanifold of $\C^{N'}$.
Let $M \subset {\mathbb{C}}^{n+1}$, $n \geq 2$, be a real codimension two CR singular real-analytic submanifold that is nondegenerate and holomorphically flat. We prove that every real-analytic function on $M$ that is CR outside the CR singularities extends to a holomorphic function in a neighborhood of $M$. Our motivation is to prove the following analogue of the Hartogs-Bochner theorem. Let $Ω\subset {\mathbb{C}}^n \times {\mathbb{R}}$, $n \geq 2$, be a bounded domain with a connected real-analytic boundary such that $\partial Ω$ has only nondegenerate CR singularities. We prove that if $f \…
Let H:(M,p)->(M',p') be a formal mapping between two germs of real-analytic generic submanifolds in C^N with nonvanishing Jacobian. Assuming M to be minimal at p and M' holomorphically nondegenerate at p', we prove the convergence of the mapping H. As a consequence, we obtain a new convergence result for arbitrary formal maps between real-analytic hypersurfaces when the target does not contain any holomorphic curve. In the case when both M and M' are hypersurfaces, we also prove the convergence of the associated reflection function when M is assumed to be only minimal. This allows us to derive…
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…
We classify holomorphic Pfaff systems (possibly non locally decomposable) on certain Hopf manifolds. As consequence, we prove some integrability results. We also prove that any holomorphic distribution on a general (non-resonance) Hopf manifold is integrable.
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.
Nirenberg and Spencer posed the question whether the germ of a compact complex submanifold in a complex manifold is determined by its infinitesimal neighborhood of finite order when the normal bundle is sufficiently positive. To study the problem for a larger class of submanifolds, including free rational curves, we reformulate the question in the setting of families of submanifolds and their infinitesimal neighborhoods. When the submanifolds have no nonzero vector fields, we prove that it is sufficient to consider only first-order neighborhoods to have an affirmative answer to the reformulate…
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.
We consider a smooth CR mapping $f$ from a real-analytic generic submanifold $M$ in $\bC^N$ into $\bC^N$. For $M$ of finite type and essentially finite at a point $p\in M$, and $f$ formally finite at $p$, we give a necessary and sufficient condition for $f$ to extend as a holomorphic mapping in some neighborhood of $p$. In a similar vein, we consider a formal holomorphic mapping $H$ and give a necessary and sufficient condition for $H$ to be convergent.
It is proved that a germ of a real analytic CR map from a smooth real-analytic minimal CR manifold M to an essentially finite real-algebraic generic submanifold M' of P^N of the same CR-dimension extends as a holomorphic correspondence along M. Applications are given for pseudoconcave submanifolds of P^N.
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…
This paper stresses the strong link between the existence of partial holomorphic connections on the normal bundle of a foliation seen as a quotient of the ambient tangent bundle and the extendability of a foliation to an infinitesimal neighborhood of a submanifold. We find the obstructions to extendability and thanks to the theory developed we obtain some new Khanedani-Lehmann-Suwa type index theorems.
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.
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.
In a setting of a complex manifold with a fixed positive line bundle and a submanifold, we consider the optimal Ohsawa-Takegoshi extension operator, sending a holomorphic section of the line bundle on the submanifold to the holomorphic extension of it on the ambient manifold with the minimal $L^2$-norm. We show that for a tower of submanifolds in the semiclassical setting, i.e. when we consider a large tensor power of the line bundle, the extension operators satisfy transitivity property modulo some small defect, which can be expressed through Toeplitz type operators. We calculate the first si…
CR singularities of real 4-submanifolds in complex 3-space are classified by using local holomorphic coordinate changes to transform the quadratic coefficients of the real analytic defining equation into a normal form. The quadratic coefficients determine an intersection index, which appears in global enumerative formulas for CR singularities of compact submanifolds.
We study semiclassical Gevrey pseudodifferential operators, acting on exponentially weighted spaces of entire holomorphic functions. The symbols of such operators are Gevrey functions defined on suitable I-Lagrangian submanifolds of the complexified phase space, which are extended almost holomorphically in the same Gevrey class, or in some larger space, to complex neighborhoods of these submanifolds. Using almost holomorphic extensions, we obtain uniformly bounded realizations of such operators on a natural scale of exponentially weighted spaces of holomorphic functions for all Gevrey indices,…
We establish basic results of complex function theory within certain algebras of holomorphic functions on coverings of Stein manifolds (such as algebras of Bohr's holomorphic almost periodic functions on tube domains or algebras of all fibrewise bounded holomorphic functions arising, e.g., in the corona problem for $H^\infty$). In particular, in this context we obtain results on holomorphic extension from complex submanifolds, properties of divisors, corona type theorems, holomorphic analogues of the Peter-Weyl approximation theorem, Hartogs type theorems, characterizations of uniqueness sets,…
We establish new results on weighted $L^2$ extension of holomorphic top forms with values in a holomorphic line bundle, from a smooth hypersurface cut out by a holomorphic function. The weights we use are determined by certain functions that we call denominators. We give a collection of examples of these denominators related to the divisor defined by the submanifold.
We show that any Dolbeault cohomology group $H^{p,q}(D)$, $p\ge0$, $q\ge1$, of an open subset $D$ of a closed finite codimensional complex Hilbert submanifold of $\ell_2$ is either zero or infinite dimensional. We also show that any continuous character of the algebra of holomorphic functions of a closed complex Hilbert submanifold $M$ of $\ell_2$ is induced by evaluation at a point of $M$. Lastly, we prove that any closed split infinite dimensional complex Banach submanifold of $\ell_1$ admits a nowhere critical holomorphic function.
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 develop complex function theory within certain algebras of holomorphic functions on coverings of Stein manifolds. This, in particular, includes the results on holomorphic extension from complex submanifolds, corona type theorems, properties of divisors, holomorphic analogs of the Peter-Weyl approximation theorem, Hartogs type theorems, characterization of uniqueness sets. The model examples of these algebras are: (1) Bohr's algebra of holomorphic almost periodic functions on tube domains; (2) algebra of all fibrewise bounded holomorphic functions (e.g., arising in the corona problem for $H^…
In this work we introduce a GSV type index for varieties invariant by holomorphic Pfaff systems (possibly non locally decomposables) on projective manifolds. We prove a non-negativity property for the index. As an application, we prove that the non-negativity of the GSV-index gives us an obstruction to the solution of the Poincaré problem for Pfaff systems on projectives spaces.
Real-analytic Levi-flat codimension two CR singular submanifolds are a natural generalization to ${\mathbb{C}}^m$, $m > 2$, of Bishop surfaces in ${\mathbb{C}}^2$. Such submanifolds for example arise as zero sets of mixed-holomorphic equations with one variable antiholomorphic. We classify the codimension two Levi-flat CR singular quadrics, and we notice that new types of submanifolds arise in dimension 3 or greater. In fact, the nondegenerate submanifolds, i.e. higher order purturbations of $z_m=\bar{z}_1z_2+\bar{z}_1^2$, have no analogue in dimension 2. We prove that the Levi-foliation exten…
Let $M\subset \mathbb{C}^{n+1}$ ($n\geq 2$) be a real analytic submanifold defined by an equation of the form: $w=|z|^2+O(|z|^3)$, where we use $(z,w)\in \mathbb{C}^{n}\times \mathbb{C}$ for the coordinates of $\mathbb{C}^{n+1}$. We first derive a pseudo-normal form for $M$ near 0. We then use it to prove that $(M,0)$ is holomorphically equivalent to the quadric $(M_\infty: w=|z|^2,0)$ if and only if it can be formally transformed to $(M_\infty,0)$. We also use it to give a necessary and sufficient condition when $(M,0)$ can be formally flattened. The result is due to Moser for the case of $n=…
We construct a family of integral kernels for solving the \bar\partial equation with C^k and Holder estimates in thin tubes around totally real submanifolds in complex Eulidean spaces (theorems 1.1 and 3.1). Combining this with the proof of a theorem of Serre we solve the d-equation with estimates for holomorphic forms in such tubes (theorem 5.1). We apply these techniques and a method of Moser to approximate C^k-diffeomorphisms between totally real submanifolds in C^n in the C^k-topology by biholomorphic mappings in tubes, by unimodular and symplectic biholomorphic mappings, and by holomorphi…
The Teichmuller space Teich(S) of a surface S in genus g>1 is a real submanifold of the quasifuchsian space QF(S). We show that the determinant of the Laplacian det'(Delta) on Teich(S) has a unique holomorphic extension to QF(S).
A relatively polynomially convex subset $V$ of a domain $Ω$ has the extension property if for every polynomial $p$ there is a bounded holomorphic function $ϕ$ on $Ω$ that agrees with $p$ on $V$ and whose $H^\infty$ norm on $Ω$ equals the sup-norm of $p$ on $V$. We show that if $Ω$ is either strictly convex or strongly linearly convex in ${\mathbb C}^2$, or the ball in any dimension, then the only sets that have the extension property are retracts. If $Ω$ is strongly linearly convex in any dimension and $V$ has the extension property, we show that $V$ is a totally geodesic submanifold. We show …
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.
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…
Moduli spaces of holomorphic disks in a complex manifold Z, with boundaries constrained to lie in a maximal totally real submanifold P, have recently been found to underlie a number of geometrically rich twistor correspondences. The purpose of this paper is to develop a general Fredholm regularity criterion for holomorphic curves-with-boundary, and then show how this applies, in particular, to various moduli problems of twistor-theoretic interest.
Let $X$ be a complex manifold and $L$ be a holomorphic line bundle on $X$. Assume that $L$ is semi-positive, namely $L$ admits a smooth Hermitian metric with semi-positive Chern curvature. Let $Y$ be a compact Kähler submanifold of $X$ such that the restriction of $L$ to $Y$ is topologically trivial. We investigate the obstruction for $L$ to be unitary flat on a neighborhood of $Y$ in $X$. As an application, for example, we show the existence of nef, big, and non semi-positive line bundle on a non-singular projective surface.
Let $Ω$ be a complex manifold, and let $X\subset Ω$ be an open submanifold whose closure $\bar X$ is a (not necessarily compact) submanifold with smooth boundary. Let $G$ be a complex Lie group, $Π$ be a differentiable principal $G$-bundle on $Ω$ and $J$ a formally integrable bundle almost complex structure on the restriction $\bar P:= Π|_{\bar X}$. We prove that, if the boundary of $\bar X$ is strictly pseudoconvex, $J$ extends to a holomorphic structure on the restriction of $Π$ to a neighborhood of $\bar X$ in $Ω$. This answers positively and generalizes a problem stated in the article "Bou…
Let $Y$ be a compact complex manifold embedded in a complex manifold with unitary flat normal bundle. Our interest is in a sort of the linearizability problem of a neighborhood of $Y$. As a higher-codimensional generalization of Ueda's result, we give a sufficient condition for the existence of a non-singular holomorphic foliation on a neighborhood of $Y$ which includes $Y$ as a leaf with unitary-linear holonomy. We apply this result to the existence problem of a smooth Hermitian metric with semi-positive curvature on a nef line bundle.
The first part of this article is devoted to the study families of totally real intersecting $n$-submanifolds of $(\Bbb C^n,0)$. We give some conditions which allow to straighten holomorphically the family. If this is not possible to do it formally, we construct a germ of complex analytic set at the origin which interesection with the family can be holomorphically staightened. The second part is devoted to the study real analytic $(n+r)$-submanifolds of $(\Bbb C^n,0)$ having a CR-singularity at the origin ($r$ is a nonnegative integer). We consider deformations of quadrics and we define genera…
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…
Let $M$ be a Kobayashi hyperbolic homogenous manifold. Let $\mathcal F$ be a holomorphic foliation on $M$ invariant under a transitive group $G$ of biholomorphisms. We prove that the leaves of $\mathcal F$ are the fibers of a holomorphic $G$-equivariant submersion $π\colon M \to N$ onto a $G$-homogeneous complex manifold $N$. We also show that if $\mathcal Q$ is an automorphism family of a hyperbolic convex (possibly unbounded) domain $D$ in $\mathbb C^n$, then the fixed point set of $\mathcal Q$ is either empty or a connected complex submanifold of $D$.
The Teichmueller space Teich(S) of a surface S in genus g>1 is a totally real submanifold of the quasifuchsian space QF(S). We show that the determinant of the Laplacian det'(Δ) on Teich(S) has a unique holomorphic extension to QF(S). To realize this holomorphic extension as the determinant of differential operators on S, we introduce a holomorphic family {Δ_{μ,ν}} of elliptic second order differential operators on S whose parameter space is the space of pairs of Beltrami differentials on S and which naturally extends the Laplace operators of hyperbolic metrics on S. We study the determinant o…
In this paper we prove that every smooth complete closed complex hypersurface in the open unit ball $\mathbb{B}_n$ of $\mathbb{C}^n$ $(n\ge 2)$ is a level set of a noncritical holomorphic function on $\mathbb{B}_n$ all of whose level sets are complete. This shows that $\mathbb{B}_n$ admits a nonsingular holomorphic foliation by smooth complete closed complex hypersurfaces and, what is the main point, that every hypersurface in $\mathbb{B}_n$ of this type can be embedded into such a foliation. We establish a more general result in which neither completeness nor smoothness of the given hypersurf…
We consider the only one known class of non-Kähler irreducible holomorphic symplectic manifolds, described in the works of D. Guan and the first author. Any such manifold $Q$ of dimension $2n-2$ is obtained as a finite degree $n^2$ cover of some non-Kähler manifold $W_F$ which we call the base of $Q$. We show that the algebraic reduction of $Q$ and its base is the projective space of dimension $n-1$. Besides, we give a partial classification of submanifolds in $Q$, describe the degeneracy locus of its algebraic reduction, and prove that the automorphism group of $Q$ satisfies the Jordan proper…
