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.
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 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.
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 $…
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 transvers…
In this paper, we examine holomorphic Segre preserving maps between the complexifications of real hypersurfaces in $\mathbb{C}^{n+1}$. In particular, we find several sufficient conditions ensuring that Segre transversality and total Segre nondegeneracy of the maps must hold.
Being motivated by the orthogonal maps studied in \cite{GN1}, orthogonal pairs between the projective spaces equipped with possibly degenerate Hermitian forms were introduced. In addition, orthogonal pairs are generalizations of holomorphic Segre maps between Segre families of real hyperquadrics. We showed that non-degenerate holomorphic orthogonal pairs also have certain rigidity properties under a necessary codimension restriction. As an application, we got a rigidity theorem for Segre maps related to Heisenberg hypersurfaces obtained by Zhang in \cite{Zh}.
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.
In this paper, we explore holomorphic Segre preserving maps. First, we investigate holomorphic Segre preserving maps sending the complexification $\mathcal{M}$ of a generic real analytic submanifold $M \subseteq \C^N$ of finite type at some point $p$ into the complexification $\mathcal{M}'$ of a generic real analytic submanifold $M' \subseteq \C^{N'}$, finitely nondegenerate at some point $p'$. We prove that for a fixed $M$ and $M'$, the germs at $(p,\bar{p})$ of Segre submersive holomorphic Segre preserving maps sending $(\M,(p,\bar{p}))$ into $(\M',(p', \bar{p}'))$ can be parametrized by the…
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.
Using the classical S.Lie method we obtain a complete description of infinitesimal symmetries of a holomorphic PDE system defining the Segre family of a real analytic hypersurface. This gives a new proof of some well known results of CR geometry.
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 \…
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'}$.
We show that biholomorphic automorphisms of a real analytic CR manifold can be considered as (pointwise) Lie symmetries of a holomorphic second order PDE system defining its Segre family. This allows to use general methods of the geometric PDE theory in order to study the CR geometry of real analytic manifolds.
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…
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.
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.
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 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.
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.
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.
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, convergence is proved e.g. under the assumption that the source is of finite type, the target does not contain a nontrivial holomorphic variety, and the mapping is finite. Finite determination (by jets of a predetermined order) of formal mappings between smooth generic submanifolds is also established.
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…
Segre sets are superfluous to verify that quotients of formal holomorphic maps that are real on a minimal generic submanifold of positive CR dimension must necessarily be constant.
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.
Invariants for Riemann surfaces covered by the disc and for hyperbolic manifolds in general involving minimizing the measure of the image over the homotopy and homology classes of closed curves and maps of the $k$-sphere into the manifold are investigated. The invariants are monotonic under holomorphic mappings and strictly monotonic under certain circumstances. Applications to holomorphic maps of annular regions in $\mathbb{C}$ and tubular neighborhoods of compact totally real submanifolds in general in $\mathbb{C}^n$, $n \geq 2$, are given. The contractibility of a hyperbolic domain with con…
We study Segre varieties associated to Levi-flat subsets in complex manifolds and apply them to establish local and global results on the integration of tangent holomorphic foliations.
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.
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…
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 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 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^…
Let f : (M,p)\to (M',p') be a formal (holomorphic) nondegenerate map, i.e. with formal holomorphic Jacobian J_f not identically vanishing, between two germs of real analytic generic submanifolds in \C^n, p'=f(p). Assuming the target manifold to be real algebraic, and the source manifold to be minimal at p\in M in the sense of Tumanov, we prove the convergence of the so-called reflection mapping associated to f. From this, we deduce the convergence of such mappings from minimal real analytic generic submanifolds onto real algebraic holomorphically nondegenerate ones, as well as related results …
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…
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).
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…
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…
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…
