We prove analogs of Thom's transversality theorem and Whitney's theorem on immersions for pseudo-holomorphic discs. We also prove that pseudo-holomorphic discs form a manifold.
In this paper, we establish general stratawise higher jet evaluation transversality of $J$-holomorphic curves for a generic choice of almost complex structures $J$ tame to a given symplectic manifold $(M,ω)$. Using this transversality result, we prove that there exists a subset $\CJ_ω^{ram} \subset \CJ_ω$ of second category such that for every $J \in \CJ_ω^{ram}$, the dimension of the moduli space of (somewhere injective) $J$-holomorphic curves with a given ramification profile goes down by $2n$ or $2(n-1)$ depending on whether the ramification degree goes up by one or a new ramification point…
In this paper, we consider holomorphic mappings between real hypersurfaces in different dimensional complex spaces. We give a number of conditions that imply that such mappings are transversal to the target hypersurface at most points.
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 $M_\ell$ be a smooth Levi-nondegenerate hypersurface of signature $\ell$ in $\mathbf C^n$ with $ n\ge 3$, and write $H_\ell^N$ for the standard hyperquadric of the same signature in $\mathbf C^N$ with $N-n< \frac{n-1}{2}$. Let $F$ be a holomorphic map sending $M_\ell$ into $H_\ell^N$. Assume $F$ does not send a neighborhood of $M_\ell$ in $\mathbf C^n$ into $H_\ell^N$. We show that $F$ is necessarily CR transversal to $M_\ell$ at any point. Equivalently, we show that $F$ is a local CR embedding from $M_\ell$ into $H_\ell^N$.
We study the classification of singularities of holomorphic foliations and non-integrable one-forms under the hypothesis of transversality with real hypersurfaces.
We establish Thom's jet transversality theorem for regular maps from an affine algebraic manifold to an algebraic manifold satisfying a suitable flexibility condition. It can be considered as the algebraic version of Forstnerič's jet transversality theorem for holomorphic maps from a Stein manifold to an Oka manifold. Our jet transversality theorem implies genericity theorems for regular maps of maximal ranks. As an application, it follows that every connected compact locally flexible manifold is the image of a holomorphic submersion from an affine space. We also show that every algebraically …
We consider holomorphic mappings $H$ between a smooth real hypersurface $M\subset \bC^{n+1}$ and another $M'\subset \bC^{N+1}$ with $N\geq n$. We provide conditions guaranteeing that $H$ is transversal to $M'$ along all of $M$. In the strictly pseudoconvex case, this is well known and follows from the classical Hopf boundary lemma. In the equidimensional case ($N=n$), transversality holds for maps of full generic rank provided that the source is of finite type in view of recent results by the authors (see also a previous paper by the first author and L. Rothschild). In the positive codimension…
We study the classification of the pairs $(N, \,X)$ where $N$ is a Stein surface and $X$ is a complete holomorphic vector field with isolated singularities on $N$. We describe the role of transverse sections in the classification of $X$ and give necessary and sufficient conditions on $X$ in order to have $N$ biholomorphic to $\mathbb C^2$. As a sample of our results, we prove that $N$ is biholomorphic to $\mathbb C^2$ if $H^2(N,\mathbb Z)=0$, $X$ has a finite number of singularities and exhibits a non-nilpotent singularity with three separatrices or, equivalently, a singularity with first jet …
We obtain results on approximation of holomorphic maps by algebraic maps, jet transversality theorems for holomorphic and algebraic maps, and the homotopy principle for holomorphic submersions of Stein manifolds to certain algebraic manifolds.
We prove here new results about transversality and related geometric properties of a holomorphic, formal, or CR mapping, sending one generic submanifold of $\bC^N$ into another. One of our main results is that a finite mapping is transversal to the target manifold provided this manifold is of finite type. For the case of hypersurfaces, transversality in this context was proved by Baouendi and the second author in 1990. The general case of generic manifolds of higher codimension, which we treat in this paper, had remained an open problem since then. Applications of this result include a suffici…
We prove a result on removing singularities of almost complex structures pulled back by a non-diffeomorphic map. As an application we prove the existence of global J-holomorphic discs with boundaries attached to real tori.
We prove that every $J$-holomorphic variational vector field can be realized as derivation $\frac{d}{dt}_{|t=0}f_t$ where $(f_t)$ is a one parametric family of $J$-holomorphic discs. Furthermore, we discuss properness of an extremal $J$-holomorphic disc in a bounded pseudoconvex domain.
The main purpose of this article is to present a generalization of Forelli's theorem for the functions holomorphic along a general pencil of holomorphic discs. This generalizes the main result of \cite{JKS13} and the original Forelli's theorem, and furthermore, answers one of the problems posed in \cite{Chirka06}.
We provide a local approximation result of non-holomorphic discs with small d-bar by pseudoholomorphic ones. As an application, we provide a certain gluing construction.
We prove that for any complex manifold X, the set of all holomorphic maps from the unit disc to X whose images are everywhere dense in X forms a dense subset in the space of all holomorphic maps from the disc to X. We show by an example that this need not hold for maps from the disc to complex spaces with singularities.
Let D be a convex domain with smooth boundary in complex space and let f be a continuous function on the boundary of D. Suppose that f holomorphically extends to the extremal discs tangent to a convex subdomain of D. We prove that f holomorphically extends to D. The result partially answers a conjecture by Globevnik and Stout of 1991.
We give a description of complex geodesics and we study the structure of stationary discs in some non-convex domains for which complex geodesics are not unique.
Let $(ϕ_t)$ be a semigroup of holomorphic self-maps of~$\mathbb D$. In this note, we use an abstract approach to define the Königs function of $(ϕ_t)$ and "holomorphic models" and show how to deduce the existence and properties of the infinitesimal generator of $(ϕ_t)$ from this construction.
Let U be the open unit disc in C and let B be the open unit ball in C^2. We prove that every discrete subset of B is contained in the range f(U) of a complete, proper holomorphic embedding f:U-->B. Here the completeness of f means that for any path p:[0,1)-->U such that |p(t)|-->1 as t-->1, the path t--> f(p(t)) from [0,1) to B has infinite length.
We show how to extend some holomorphic bundles with fifer C^2 and base an open set in C, to bundles on the Riemann Sphere, by an extremely simple technique. In particular, it applies to examples of non-Stein bundles constructed by Skoda and Demailly. It gives an example on C, with polynomial transition automorphisms.
We show that the open unit ball $\mathbb{B}^n$ of $\mathbb{C}^n$ $(n>1)$ admits a nonsingular holomorphic foliation by complete properly embedded holomorphic discs.
We give in \mathbb{R}^6 a real analytic almost complex structure J, a real analytic hypersurface M and a vector v in the Levi null set at 0 of M, such that there is no germ of J-holomorphic disc f included in M with f(0)=0 and \frac{\partial f}{\partial x}(0)=v, although the Levi form of M has constant rank. Then for any hypersurface M and any complex structure J, we give necessary conditions under which there exists such a germ of disc.
We construct a family of small analytic discs attached to Levi non-degenerate hypersurfaces in $\mathbb{C}^{n+1}$, which is globally biholomorphically invariant. We then apply this technique to study unique determination problems along Levi non-degenerate hypersurfaces that are merely of class $\mathcal{C}^4$. This method gives 2-jet determination results for germs of biholomorphisms, CR diffeomorphisms, as well as in the almost complex setting.
Classic complex analysis is built on structural function $K=1$ only associated with Cauchy-Riemann equations, subsequently various generalizations of Cauchy-Riemann equations start to break this situation. The goal of this article is to show that only structural function $K=Const$ such that Liouville's theorem is held, otherwise, it's not valid any more on complex domain based on structural holomorphic, the correction should be $w=Φ{{e}^{-K}}$, where $Φ=Const$. Those theories in complex analysis which keep constant are unable to be held as constant in the framework of structural holomorphic. S…
We introduce three quantities related to orbits of non-elliptic continuous semigroups of holomorphic self-maps of the unit disc, the total speed, the orthogonal speed and the tangential speed and show how they are related and what can be inferred from those.
We introduce Hausdorff operators over the unit disc and give conditions for boundedness of such operator in Bloch, Bergman, and Hardy spaces on the disc. Identity approximation by Hausdorff operators is also considered.
In this paper we construct a properly embedded holomorphic disc in the unit ball $\mathbb{B}^2$ of $\mathbb{C}^2$ having a surprising combination of properties: on the one hand, it has finite area and hence is the zero set of a bounded holomorphic function on $\mathbb{B}^2$; on the other hand, its boundary curve is everywhere dense in the sphere $b\mathbb{B}^2$.
We give three necessary and sufficient conditions so that a parabolic holomorphic semigroup $(ϕ_t)$ in the unit disc is of finite shift. One is in terms of the asymptotic behavior of speeds of convergence, the second one is related to the hyperbolic metric of its Koenigs domain $Ω$ and the latter one deals with Euclidean properties of $Ω$.
It is shown that discrete analogs of z^c and log(z) have the same asymptotic behavior as their smooth counterparts. These discrete maps are described in terms of special solutions of discrete Painleve-II equations, asymptotics of these solutions providing the behaviour of discrete z^c and log(z) at infinity.
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 show that the tangential speed of a parabolic semigroup of holomorphic self-maps in the unit disc is asymptotically bounded from above by (1/2)logt, proving a conjecture by Bracci. In order to show the proof we need a result of "asymptotical monotonicity" of the tangential speed for proper pairs of parabolic semigroups with positive hyperbolic step.
For a holomorphic one-form $\mathbfξ$ on a weakly 1-complete manifold $X$ with certain properties, we discussed the connectivity of the pair $(\hat{X}, F^{-1}(z))$, where $π: \hat{X} \to X$ is a covering map and $dF=π^*\mathbfξ$. We also discussed the criteria about when such a manifold $X$ admits a proper holomorphic mapping onto a Riemann surface.
Let $(φ_t)$, $(ϕ_t)$ be two one-parameter semigroups of holomorphic self-maps of the unit disc $\mathbb D\subset \mathbb C$. Let $f:\mathbb D \to \mathbb D$ be a homeomorphism. We prove that, if $f \circ ϕ_t=φ_t \circ f$ for all $t\geq 0$, then $f$ extends to a homeomorphism of $\bar{\mathbb D}$ outside exceptional maximal contact arcs (in particular, for elliptic semigroups, $f$ extends to a homeomorphism of $\bar{\mathbb D}$). Using this result, we study topological invariants for one-parameter semigroups of holomorphic self-maps of the unit disc.
It has been an open problem for about ten years whether every trajectory of a parabolic one-parameter semigroup in the unit disk tends to the Denjoy-Wolff point with a definite (and common for all trajectories) slope. In this paper, we give the negative answer to this question.
We obtain an explicit parametrization of stationary discs glued to some Levi non-degenerate hypersurfaces. These discs form a family which is invariant under the action of biholomorphisms. We use this parametrization to construct a local circular representation of these hypersurfaces. As a corollary, we get the uniqueness of biholomorphisms with given 1-jet at some convenient point.
We prove that the space of surjective holomorphic maps from a compact complex manifold to a compact Kähler manifold with trivial canonical class and finite fundamental group is discrete.