Let $D\subset \C^n,$ $G\subset \C^m$ be pseudoconvex domains, let $A$ (resp. $B$) be an open subset of the boundary $\partial D$ (resp.
$\partial G$) and let $X$ be the 2-fold cross $((D\cup A)\times B)\cup (A\times(B\cup G)).$
Suppose in addition that the domain $D$ (resp. $G$) is {\it locally $\mathcal{C}^2$ smooth on $A$} (resp. $B$). We shall determine the "envelope of holomorphy" $\hat{X}$ of $X$ in the sense that any function continuous on $X$ and separately holomorphic on $(A\times G) \cup (D\times B)$ extends to a function continuous on $\hat{X}$ and holomorphic on the interior of $\hat{X}.$ A generalization of this result for an $N$-fold cross is also given.
We describe a part of the recent developments in the theory of separately holomorphic mappings between complex analytic spaces. Our description focuses on works using the technique of holomorphic discs.
We first exhibit counterexamples to some open questions related to a theorem of Sakai. Then we establish an extension theorem of Sakai type for separately holomorphic/meromorphic functions.
This paper has been withdrawn by the author(s) and included into the new version of "An extension theorem for separately holomorphic functions with singularities", math.CV/0104089.
We extend the theory of separately holomorphic mappings between complex analytic spaces. Our method is based on Poletsky theory of discs, Rosay Theorem on holomorphic discs and our recent joint-work with Pflug on cross theorems in dimension 1. It also relies on our new technique of conformal mappings and a generalization of Siciak's relative extremal function. Our approach illustrates the unified character: ``From local informations to global extensions". Moreover, it avoids systematically the use of the classical method of doubly orthogonal bases of Bergman type.
Using recent development in Poletsky theory of discs, we prove the following result: Let $X,$ $Y$ be two complex manifolds, let $Z$ be a complex analytic space which possesses the Hartogs extension property, let $A$ (resp. $B$) be a non locally pluripolar subset of $X$ (resp. $Y$). We show that every separately holomorphic mapping $f: W:=(A\times Y) \cup (X\times B)\longrightarrow Z$ extends to a holomorphic mapping $\hat{f}$ on $\hat{W}:=\left\lbrace(z,w)\in X\times Y:\ \widetildeω(z,A,X)+\widetildeω(w,B,Y)<1 \right\rbrace$ such that $\hat{f}=f$ on $W\cap \hat{W},$ where $\widetildeω(\cdot,A,…
Let $D_j\subset\Bbb C^{k_j}$ be a pseudoconvex domain and let $A_j\subset D_j$ be a locally pluripolar set, $j=1,...,N$. Put$$X:=\bigcup_{j=1}^N A_1\times...\times A_{j-1}\times D_j\times A_{j+1}\times...\times A_N\subset\Bbb C^{k_1+...+k_N}.$$Let $U$ be an open connected neighborhood of $X$ and let $M\varsubsetneq U$ be an analytic subset. Then there exists an analytic subset $\hat M$ of the `envelope of holomorphy' $\hat X$ of $X$ with $\hat M\cap X\subset M$ such that for every function $f$ separately holomorphic on $X\setminus M$ there exists an $\hat f$ holomorphic on $\hat X\setminus\hat…
Let $D_j\subset\Bbb C^{n_j}$ be a pseudoconvex domain and let $A_j\subset D_j$ be a locally pluriregular set, $j=1,...,N$. Put $$ X:=\bigcup_{j=1}^N A_1\times...\times A_{j-1}\times D_j\times A_{j+1}\times ...\times A_N\subset\Bbb C^{n_1}\times...\times\Bbb C^{n_N}=\Bbb C^n. $$ Let $U\subset\Bbb C^n$ be an open neighborhood of $X$ and let $M\subset U$ be a relatively closed subset of $U$. For $j\in\{1,...,N\}$ let $Σ_j$ be the set of all $(z',z'')\in(A_1\times...\times A_{j-1}) \times(A_{j+1}\times...\times A_N)$ for which the fiber $M_{(z',\cdot,z'')}:=\{z_j\in\Bbb C^{n_j}\: (z',z_j,z'')\in M…
It is shown that the Laurent series of a holomorphic function smooth up to the boundary on a Reinhardt domain in $\mathbb{C}^n$ converges unconditionally to the function in the Fréchet topology of the space of functions smooth up to the boundary.
Let $\mathbb{B}^2$ denote the open unit ball in $\mathbb{C}^2$, and let $p\in \mathbb{C}^2\setminus\overline{\mathbb{B}^2}$. We prove that if $f$ is an analytic function on the sphere $\partial\mathbb{B}^2$ that extends holomorphically in each variable separately and along each complex line through $p$, then $f$ is the trace of a holomorphic function in the ball.
In this paper we give some quantative characteristics of boundary asymptotic behavior of semigroups of holomorphic self-mappings of the unit disk including the limit curvature of their trajectories at the boundary Denjoy--Wolff point. This enable us to establish an asymptotic rigidity property for semigroups of parabolic type.
We give a parameter version of Graham-Kerzman approximation theorem for bounded holomorphic functions on strictly pseudoconvex domains. As an application, we present some uniform estimates for the boundary behaviour of the Kobayashi and Carathéodory pseudodistences on such domains.
In this paper, we prove a general Schwarz lemma at the boundary for holomorphic mappings from the polydisc to the unit ball in any dimensions. For the special case of one complex variable, the obtained results give the classic boundary Schwarz lemma.
In this paper we study holomorphic approximation using boundary value problems for $\bar\partial$ on an annulus in the Hilbert space setting. The associated boundary conditions for $\bar\partial$ are the mixed boundary problems on an annulus. We characterize pseudoconvexity and Runge type property of the domain by the vanishing of related $L^2$ cohomology groups.
We obtain a conceptually new differential geometric proof of P.F. Klembeck's result that the holomorphic sectional curvature of a strictly pseudoconvex domain approaches (in the boundary limit) the constant sectional curvature of the Bergman metric of the unit ball.
We prove a boundary version of the open mapping theorem for holomorphic maps between strongly pseudoconvex domains. That is, we prove that the local image of a holomorphic map $f:D\to D'$ close to a boundary regular contact point $p\in \de D$ where the Jacobian is bounded from zero along normal non-tangential directions has to eventually contain every cone (and more generally every admissible region) with vertex at $f(p)$.
We prove a theorem on separation of boundary null points for generators of continuous semigroups of holomorphic self-mappings of the unit disk in the complex plane. Our construction demonstrates the existence and importance of a particular role of the binary operation $\circ$ given by $1 / f \circ g = 1/f + 1/g$ on generators.
We survey a number of recent generalizations and sharpenings of Nehari's extension of Schwarz' lemma for holomorphic self-maps of the unit disk. In particular, we discuss the case of infinitely many critical points and its relation to the zero sets and invariant subspaces for Bergman spaces, as well as the case of equality at the boundary.
In 1955, Lehto showed that, for every measurable function $ψ$ on the unit circle $\mathbb T,$ there is function $f$ holomorphic in the unit disc $\mathbb D,$ having $ψ$ as radial limit a.e. on $\mathbb T.$ We consider an analogous boundary value problem, where the unit disc is replaced by a Stein domain on a complex manifold and radial approach to a boundary point $p$ is replaced by (asymptotically) total approach to $p.$
We prove a Fatou type theorem for bounded functions with d_J -bar differential of a controled growth on smoothly bounded domains in an almost complex manifold.
We consider the behaviour at a boundary point of an open subset $U\subset\mathbb{C}$ of distributions that are holomorphic on $U$ and belong to what are called negative Lipschitz classes. The result explains the significance for holomorphic functions of series of Wiener type involving Hausdorff contents of dimension between $0$ and $1$. We begin with a survey about function spaces and capacities that sets the problem in context and reviews the relevant general theory. The techniques used include the construction of a special partition of the identity that may be of independent interest.
We develop a new technique for studying the boundary limiting behavior of a holomorphic function on a domain $Ω$ -- both in one and several complex variables. The approach involves two new localized maximal functions. As a result of this methodology, theorems of Calderón type about local boundary behavior on a set of positive measure may be proved in a new and more natural way. We also study the question of nontangential boundedness (on a set of positive measure) versus admissible boundedness. Under suitable hypotheses, these two conditions are shown to be equivalent.
We present a result on existence of some kind of peak functions for $\C$-convex domains and for the symmetrized polydisc. Then we apply the latter result to show the equivariance of the set of peak points for $A(D)$ under proper holomorphic mappings. Additionally, we present a description of the set of peak points in the class of bounded pseudoconvex Reinhardt domains.
We establish some estimates of the the angular derivatives from below for holomorphic self-maps of the unit disk at one and two fixed points of the unit circle provided there is no fixed point inside the unit disk. The results complement Cowen-Pommerenke and Anderson-Vasil'ev type estimates in the case of univalent functions. We use the method of extremal length and propose a new semigroup approach to deriving inequalities for holomorphic self-maps of the disk which are not necessarily univalent using known inequalities for univalent functions. This approach allowed us to receive a new Osserma…
Real analytic functions on the boundary of the sphere which have separate holomorphic extension along the complex lines through a boundary point have holomorphic extension to the ball. This was proved in a previous preprint by an argument of CR geometry. We give here an elementary proof based on the expansion in holomorphic and antiholomorphic powers.
In this paper we prove a general result of the ``Hopf lemma'' type for CR mappings, with nonidentically vanishing Jacobians, between real hypersurfaces in C^n with smooth or real analytic boundaries. Applications of this result to finiteness and holomorphic extendibility of such mappings are also given. The novelty here is that we make no assumption on the nonflatness of the mapping or its Jacobian, nor do we assume that the hypersurfaces are pseudoconvex or minimally convex.
It is a classical theorem that if a function is integrable along the boundary of the unit circle, then the function is the nontangential limit of a holomorphic function on the open disc if and only if its Fourier coefficients for nonnegative integers are zero. In this article we generalize this result to higher complex dimensions by proving that for an integrable function on the unit sphere, it is ``boundary trace'' of a holomorphic function on the open unit ball if and only if two particular families of integral equations are satisfied. To do this, we use the theory of Hardy spaces as well as…
In this paper, we prove Huang et al.'s conjecture stated that if $f$ is a holomorphic function on $Δ^+:=\{z\in \mathbb C \colon |z|<1,~\mathrm{Im}(z)>0\}$ with $\mathcal{C}^\infty$-smooth extension up to $(-1,1)$ such that $f$ maps $(-1,1)$ into a cone $Γ_C:=\{z\in \mathbb C\colon |\mathrm{Im} (z)| \leq C|\mathrm{Re} (z)|\}$, for some positive number $C$, and $f$ vanishes to infinite order at $0$, then $f$ vanishes identically. In addition, some regularity properties of the Riemann mapping functions on the boundary and an example concerning Huang et al.'s conjecture are also given.
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.
In this paper, we give a general boundary Schwarz lemma for holomorphic mappings between unit balls in any dimensions. It is proved that if the mapping $f\in C^{1+α}$ at $z_0\in \partial \mathbb B^n$ with $f(z_0)=w_0\in \partial \mathbb B^N$ for any $n,N\geq 1$, then the Jacobian matrix $J_f(z_0)$ maps the tangent space $T_{z_0}(\partial \mathbb B^n)$ to $T_{w_0}(\partial \mathbb B^N)$, and the holomorphic tangent space $T^{(1,0)}_{z_0}(\partial \mathbb B^n)$ to $T^{(1,0)}_{w_0}(\partial \mathbb B^N)$ as well.
Let $X, Y$ be two complex manifolds, let $D\subset X,$ $ G\subset Y$ be two nonempty open sets, let $A$ (resp. $B$) be an open subset of $\partial D$ (resp. $\partial G$), and let $W$ be the 2-fold cross $((D\cup A)\times B)\cup (A\times(B\cup G)).$ Under a geometric condition on the boundary sets $A$ and $B,$ we show that every function locally bounded, separately continuous on $W,$ continuous on $A\times B,$ and separately holomorphic on $(A\times G) \cup (D\times B)$ "extends" to a function continuous on a "domain of holomorphy" $\hat{W}$ and holomorphic on the interior of $\hat{W}.$
Let X be a compact manifold with boundary and let L^k be a high power of a hermitian holomorphic line bundle over X. When X has no boundary, Demailly's holomorphic Morse inequalities give asymptotic bounds on the dimensions on the Dolbeault cohomology groups with values in L^k. We extend Demailly's inequalities to the case when X has a boundary by adding a boundary term expressed as a certain average of the curvature of the line bundle and the Levi curvature of the boundary. Examples are given that show that the inequalities are sharp and it is shown that they are compatible with hole filling.…
In this paper, we generalize a recent work of Liu et al. from the open unit ball $\mathbb B^n$ to more general bounded strongly pseudoconvex domains with $C^2$ boundary. It turns out that part of the main result in this paper is in some certain sense just a part of results in a work of Bracci and Zaitsev. However, the proofs are significantly different: the argument in this paper involves a simple growth estimate for the Carathéodory metric near the boundary of $C^2$ domains and the well-known Graham's estimate on the boundary behavior of the Carathéodory metric on strongly pseudoconvex domain…
We establish a Fatou-type Theorem for $J$-holomorphic mappings that are bounded in an appropriate sense and we prove the Blaschke condition for their zero sets. We also prove a Privalov-type uniqueness Theorem for pairs of $J$-holomorphic mappings.
Given a domain of holomorphy $D$ in $\mathbb{C}^N$, $N\geq 2$, we show that the set of holomorphic functions in $D$ whose cluster sets along any finite length paths to the boundary of $D$ is maximal, is residual, densely lineable and spaceable in the space $\mathcal{O}(D)$ of holomorphic functions in $D$. Besides, if $D$ is a strictly pseudoconvex domain in $\mathbb{C}^N$, and if a suitable family of smooth curves $γ(x,r)$, $x\in bD$, $r\in [0,1)$, ending at a point of $bD$ is given, then we exhibit a spaceable, densely lineable and residual subset of $\mathcal{O}(D)$, every element $f$ of whi…
We study the approximation of J-holomorphic maps continuous to the boundary from ma domain in the complex plane into an almost complex manifold by maps J-holomorphic to the boundary, giving partial results in the non-integrable case. For the integrable case, we study arcs in complex manifolds and establish the existence of neighborhoods biholomorphic to open sets in Euclidean space for several classes of arcs. As an application, we obtain $\mathcal{C}^k$ approximation of holomorphic maps continuous to the boundary into complex manifolds by maps holomorphic to the boundary, provided the boundar…
Functions that are holomorphic and Lipschitz in a smoothly bounded domain enjoy a gain in the order of Lipschitz regularity in the complex tangential directions near the boundary. We describe this gain explicitly in terms of the defining function near points of finite type in the boundary.
Given a bounded n-connected domain in the plane bounded by non-intersecting Jordan curves, and given one point on each boundary curve, L. Bieberbach proved that there exists a proper holomorphic mapping of the domain onto the unit disc that is an n-to-one branched covering with the properties that it extends continuously to the boundary and maps each boundary curve one-to-one onto the unit circle, and it maps each given point on the boundary to the point 1 in the unit circle. We modify a proof by H. Grunsky of Bieberbach's result to show that there is a rational function of 2n+2 complex variab…
Consider a compact surface $\mathscr{R}$ with distinguished points $z_1,\ldots,z_n$ and conformal maps $f_k$ from the unit disk into non-overlapping quasidisks on $\mathscr{R}$ taking $0$ to $z_k$. Let $Σ$ be the Riemann surface obtained by removing the closures of the images of $f_k$ from $\mathscr{R}$. We define forms which are meromorphic on $\mathscr{R}$ with poles only at $z_1,\ldots,z_n$, which we call Faber-Tietz forms. These are analogous to Faber polynomials in the sphere. We show that any $L^2$ holomorphic one-form on $Σ$ is uniquely expressible as a series of Faber-Tietz forms. This…
In our previous work, for a given Riemann surface $Y_0$ with marked handle, we investigated geometric properties of the set of marked once-holed tori $X$ allowing holomorphic mappings of $X$ into $Y_0$. It turned out that it is a closed domain with Lipschitz boundary. In the present paper we show that the boundary is never smooth. Also, we evaluate the critical extremal length for the existence of holomorphic mappings in terms of hyperbolic lengths.
Let D be a bounded, finitely connected domain in the complex plane without isolated points in the boundary and let f be a continuous function on the boundary bD. Let F be a continuous extension of f to the closure of D. We prove that f extends holomorphically through D if and only if the degree of F+h is nonnegative for every holomorphic function h on D such that F+h is bounded away from zero near bD.
The aim of this paper is to present an extension theorem for the functions separately holomorphic on generalized (N,k)-crosses with pluripolar singularities.
We show that each pseudoconvex domain $Ω\subset {\mathbb C}^n$ admits a holomorphic map $F$ to ${\mathbb C}^m$ with $|F|\le C_1 e^{C_2 \hatδ^{-6}}$, where $\hatδ$ is the minimum of the boundary distance and $(1+|z|^2)^{-1/2}$, such that every boundary point is a Casorati-Weierstrass point of $F$. Based on this fact, we introduce a new anti-hyperbolic concept --- universal dominability. We also show that for each $α>6$ and each pseudoconvex domain $Ω\subset {\mathbb C}^n$, there is a holomorphic function $f$ on $Ω$ with $|f|\le C_αe^{C_α' \hatδ^{-α}}$, such that every boundary point is a Picard…
In this paper we establish two boundary versions of the Schwarz lemma. The first is for general holomorphic self maps of bounded convex domains with $C^2$ boundary. This appears to be the first boundary Schwarz lemma for general holomorphic self maps that requires no strong pseudoconvexity or finite type assumptions. The second is for biholomorphisms of domains who have an invariant Kähler metric with bounded sectional curvature. This second result applies to holomorphic homogeneous regular domains and appears to be the first boundary Schwarz lemma that makes no assumptions on the regularity o…
Let D be a domain in C^n with smooth boundary, of finite 1-type at a point p in the boundary and such that the closure of D has a basis of Stein Runge neighborhoods. Assume that there exists an analytic disc which intersects the closure of D exactly at p. We construct proper holomorphic maps from any open Riemann surface S which are attached to the closure of D exactly at p.
We show that holomorphic functions of polynomial growth on domains with corners have distributional boundary values in an appropriate sense, provided the corners are generic CR manifolds. We prove an analog of the Bochner-Hartogs theorem for these boundary values for the simplest such domains, the product domains.
Let $D_j\subset\mathbb C^{n_j}$ be a pseudoconvex domain and let $A_j\subset D_j$ be a locally pluriregular set, $j=1,...,N$. Put $$ X:=\bigcup_{j=1}^N A_1\times...\times A_{j-1}\times D_j\times A_{j+1}\times...\times A_N. $$ Let $M\subset X$ be relatively closed. For any $j\in\{1,...,N\}$ let $Σ_j$ be the set of all $(z',z'')\in(A_1\times...\times A_{j-1})\times(A_{j+1}\times...\times A_N)$ such that the fiber $M_{(z',\cdot,z'')}:=\{z_j\in\mathbb C^{n_j}: (z',z_j,z'')\in M\}$ is not pluripolar. Assume that $Σ_1,...,Σ_N$ are pluripolar. Put ${multline*} X':=\bigcup_{j=1}^N\{(z',z_j,z'')\in(A_1…
Let $Ω_1,Ω_2$ be two disjoint open sets in $\mathbf C^n$ whose boundaries share a smooth real hypersurface $M$ as relatively open subsets. Assume that $Ω_i$ is equipped with a complex structure $J^i$ which is smooth up to $M$. Assume that the operator norm $\|J^2-J^1\|<2$ on $M$. Let $f$ be a continuous function on the union of $Ω_1,Ω_2, M$. If $f$ is holomorphic with respect to both structures in the open sets, then $f$ must be smooth on the union of $Ω_1$ with $M$. Although the result as stated is far more meaningful for integrable structures, our methods make it much more natural to deal wi…
We prove that in the extension theorem for separately holomorphic functions on an $N$-fold cross with singularities the case of analytic singularities follows from the case of pluripolar singularities.
Our first main result gives assumptions guaranteeing that proper holomorphic maps between Cartan type I bounded symmetric domains have simple block matrix shape, answering positively a question of Mok. The proof is based on the second main result establishing similar phenomenon for local CR maps between arbitrary boundary components of two bounded symmetric domains of the above type. Since boundary components other than Shilov boundaries are Levi-degenerate, our analysis is based on their $2$-nondegeneracy combining Levi forms with higher order tensors.
The aim of this study is to understand to what extent a 1-convex domain with Levi-flat boundary is capable of holomorphic functions with slow growth. This paper discusses a typical example of such domain, the space of all the geodesic segments on a hyperbolic compact Riemann surface. Our main finding is an integral formula that produces holomorphic functions on the domain from holomorphic differentials on the Riemann surface. This construction can be seen as a non-trivial example of $L^2$ jet extension of holomorphic functions with optimal constant. As its corollary, it is shown that the weigh…
Let $D$ be a bounded strongly convex domain with smooth boundary in $\mathbb C^N$. Let $(ϕ_t)$ be a continuous semigroup of holomorphic self-maps of $D$. We prove that if $p\in \partial D$ is an isolated boundary regular fixed point for $ϕ_{t_0}$ for some $t_0>0$, then $p$ is a boundary regular fixed point for $ϕ_t$ for all $t\geq 0$. Along the way we also study backward iteration sequences for elliptic holomorphic self-maps of $D$.
