We present a comprehensive survey on removability of compact plane sets with respect to various classes of holomorphic functions. We also discuss some applications and several open questions, some of which are new.
We study the subsets of metric spaces that are negligible for the infimal length of connecting curves; such sets are called metrically removable. In particular, we show that every totally disconnected set with finite Hausdorff measure of codimension 1 is metrically removable, which answers a question raised by Hakobyan and Herron. The metrically removable sets are shown to be related to other classes of "thin" sets that appeared in the literature. They are also related to the removability problems for classes of holomorphic functions with restrictions on the derivative.
This is an extensive (published) survey on CR geometry, whose major themes are: formal analytic reflection principle; generic properties of Systems of (CR) vector fields; pairs of foliations and conjugate reflection identities; Sussmann's orbit theorem; local and global aspects of holomorphic extension of CR functions; Tumanov's solution of Bishop's equation in Hoelder classes with optimal loss of smoothness; wedge-extendability on C^2,a generic submanifolds of C^n consisting of a single CR orbit; propagation of CR extendability and edge-of-the-wedge theorem; Painlevé problem; metrically thin …
Let $n\ge 2$ be an integer, and $B^{n}\subset \mathbb{C}^{n}$ the unit ball. Let $K\subset B^{n}$ be a compact subset such that $B^n\setminus K$ is connected, or $K=\{z=(z_1,\cdots, z_n)|z_1=z_2=0\}\subset \mathbb{C}^{n}$. By the theory of developing maps, we prove that a Kähler metric on $B^{n}\setminus K$ with constant holomorphic sectional curvature uniquely extends to $B^{n}$.
Let X be a (connected and reduced) complex space. A q-collar of X is a bounded domain whose boundary is a union of a strongly q-pseudoconvex, a strongly q-pseudoncave and two flat (i.e. locally zero sets of pluriharmonic functions) hypersurfaces. Finiteness and vanishing cohomology theorems obtained in math/0503490 and math/0701549 for semi q-coronae are generalized in this context and lead to results on extension problem and removable sets for sections of coherent sheaves and analytic subsets.
We give an example of a totally disconnected set E in R^3 which is not removable for quasiconformal homeomorphisms, i.e., there is a homeomorphism f of R^3 to itself which is quasiconformal off E, but not quasiconformal on all of R^3. The set E may be taken with Hausdorff dimension 2. The construction also gives a non-removable set for locally biLipschitz homeomorphisms.
We establish the holomorphic wedge extendability of CR functions, defined on an everywhere locally minimal generic submanifold M of C^n and having singularities contained in a submanifold N of codimension 1, 2 or 3, assuming some transversality conditions about the relative disposition of N with respect to the complex tangent bundle to M. The statements hold in arbitrary codimension and are obtained by applying the theory of normal deformations of analytic discs, due to A.E. Tumanov in 1994 and also the FBI propagation of singularities phenomenon enjoyed by CR functions, due to J.-M. Trepreau …
We consider a continuous function $f$ on a domain in $\mathbf C^n$ satisfying the inequality that $|\bar \partial f|\leq |f|$ off its zero set. The main conclusion is that the zero set of $f$ is a complex variety. We also obtain removable singularity theorem of Rado type for J-holomorphic maps. Let $Ω$ be an open subset in $\mathbf C$ and let $E$ be a closed polar subset of $Ω$. Let $u$ be a continuous map from $Ω$ into an almost complex manifold $(M,J)$ with $J$ of class $C^1$. We show that if $u$ is J-holomorphic on $Ω\setminus E$ then it is J-holomorphic on $Ω$.
In this article, we prove several results about the extension to the boundary of conformal immersions from an open subset $Ω$ of a Riemannian manifold $L$, into another Riemannian manifold $N$ of the same dimension. In dimension $n \geq 3$, and when the $(n-1)$-dimensional Hausdorff measure of $\partial Ω$ is zero, we completely classify the cases when $\partial Ω$ contains essential singular points, showing that $L$ and $N$ are conformally flat and making the link with the theory of Kleinian groups.
On the Ohsawa-Takegoshi $L^2$ extension theorem and removable singularities of plurisubharmonic functions
CAS Wu Wen-Tsun Key Laboratory of Mathematics and School of Mathematical Sciences, University of Science and Technology of China(中国科学技术大学数学科学学院、中国科学院吴文俊数学重点实验室)
Let $f(z) = z^2 + c$ be a quadratic polynomial, with c in the Mandelbrot set. Assume further that both fixed points of f are repelling, and that f is not renormalizable. Then we prove that the Julia set J of f is holomorphically removable in the sense that every homeomorphism of the complex plane to itself that is conformal off of J is in fact conformal on the entire complex plane. As a corollary, we deduce that the Mandelbrot Set is locally connected at such c.
We consider inductive limits of weighted spaces of holomorphic functions in the unit ball of $\mathbb C^n$. The relationship between sets of uniqueness, weakly sufficient sets and sampling sets in these spaces is studied. In particular, the equivalence of these sets, under general conditions of the weights, is obtained.
We study discrete fixed point sets of holomorphic self-maps of complex manifolds. The main attention is focused on the cardinality of this set and its configuration. As a consequence of one of our observations, a bounded domain in ${\Bbb C}^n$ with no non-trivial holomorphic retractions is constructed.
The new results concerning the continuity of holomorphically contractible systems treated as set functions with respect to non-monotonic sequences of sets are given. In particular, continuity properties of Kobayashi and Carathéodory pseudodistances, as well as Lempert and Green functions with respect to sequences of domains converging in Hausdorff metric are delivered.
In the present paper we give some explicit proofs for folklore theorems on holomorphic functions in several variables with values in a locally complete locally convex Hausdorff space $E$ over $\mathbb{C}$. Most of the literature on vector-valued holomorphic functions is either devoted to the case of one variable or to infinitely many variables whereas the case of (finitely many) several variables is only touched or is subject to stronger restrictions on the completeness of $E$ like sequential completeness. The main tool we use is Cauchy's integral formula for derivatives for an $E$-valued holo…
This paper studies the determining sets for analytic functions from the symmetrized bidisk into the open unit disk in $\mathbb C$. It relates the idea to the uniqueness of the solutions of a Nevanlinna-Pick interpolation problem. It also investigates when certain thin sets can be determining.
Let X be an analytic set defined by polynomials whose coefficients a_1,...,a_s are holomorphic functions. We formulate conditions such that for all sequences {a_(1,n)},...,{a_(s,n)} of holomorphic functions converging locally uniformly to a_1,...,a_s respectively the following holds true. If a_(1,n),...,a_(s,n) satisfy the conditions then the sequence of the sets {X_n} obtained by replacing a_j by a_(j,n) in the polynomials, converge to X.
We prove that if f is a holomorphic function on the open unit disc in C whose cluster set C(f) has finite linear measure and is such that the complement of C(f) has finitely many components, then the derivative of f belongs to the Hardy space H^1.
In this paper we construct open Stein neighbourhoods of compact sets of the form $A\cup K$ in a complex space, where $K$ is a compact holomorphically convex set, $A$ is a compact complex curve with boundary $bA$ of class $\mathscr C^2$ which may intersect $K$, and $A\cap K$ is $\mathscr O(A)$-convex.
It is shown that if a proper holomorphic map $f: \mathbb C^n \to \mathbb C^N$, $1<n\le N$, sends a pseudoconvex real analytic hypersurface of finite type into another such hypersurface, then any $n-1$ dimensional component of the critical locus of $f$ intersects both sides of $M$. We apply this result to the problem of boundary regularity of proper holomorphic mappings between bounded domains in $\mathbb C^n$.
In this article are improved and refined some of our results prior to our recent article from the journal "Russian Mathematics (Izvestiya VUZ. Matematika)" in 2015 at the expense of our latest results in 2016 on lower estimates of subharmonic functions by the logarithm module nonzero holomorphic function.
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 $m,n\geq 1$ are integers and $D$ be a domain in the $$ $\mathbb C^n$ or in the $m$-dimensional real space $\mathbb R^m$. We build positive subharmonic functions on $D$ vanishing on the boundary $\partial D$ of $D$. We use such (test) functions to study the distribution of zero sets of holomorphic functions $f$ on $D\subset \mathbb C^n$ with restrictions on the growth of $f$ near the boundary $\partial D$.
We study fixed point sets for holomorphic automorphisms (and endomorphisms) on complex manifolds. The main object of our interest is to determine the number and configuration of fixed points that forces an automorphism (endomorphism) to be the identity. These questions have been examined in a number of papers for a bounded domain in ${\Bbb C}^n$. Here we resolve the case for a general finite dimensional hyperbolic manifold. We also show that the results for non-hyperbolic manifolds are notably different.
We consider a problem of whether a property of holomorphic curves on a subset $X$ of the complex plane can be extended to the whole complex plane. In this paper, the property we consider is uniqueness of holomorphic curves. We introduce the propagation set. Simply speaking, $X$ is a propagation set if linear relation of holomorphic curves on the part of preimage of hyperplanes contained in $X$ can be extended to the whole complex plane. If the holomorphic curves are of infinite order, we prove the existence of a propagation set which is the union of a sequence of disks (In fact, the method app…
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.
Given a real analytic (or, more generally, semianalytic) set R in the n-dimensional complex space, there is, for every point p in the closure of R, a unique smallest complex analytic germ X_p that contains the germ R_p. We call the complex dimension of X_p the holomorphic closure dimension of R at p. We show that the holomorphic closure dimension of an irreducible R is constant on the complement of a closed proper analytic subset of R, and discuss the relationship between this dimension and the CR dimension of R.
In this paper we provide sufficient conditions for the graphs of holomorphic mappings on compact sets in complex manifolds to have Stein neighborhoods. We show that under these conditions the mappings have properties analogous to properties of holomorphic functions on compact sets in $\mathbb C^n$.
Let $D$ be a nonempty domain in $\mathbb C^n$. We give a scale of necessary conditions for the distribution of the zero set of holomorphic function $f$ on domain $D\subset {\mathbb C}^n$ under a restriction on its growth $|f|\leq \exp M$, where $M\not\equiv -\infty$ is a subharmonic function. If $n=1$, $D\neq \mathbb C$ is simply connected, and $M$ is continuous, then this conditions are sufficient.
Let $D$ be a domain in the complex plane $\mathbb C$. It follows from first part of our work that if a non-zero holomorphic function $f$ on $D$ vanishes on a sequence ${\sf Z}\subset D$ and satisfies $|f|\leq M$ on $D$, where $M$ is a subharmonic function on $D$, then the the distribution of ${\sf Z}$ is subordinated to the Riesz measure $ν_M$ of $M$ in a certain sense. Here we show that this result is "almost reversible".
Let $(ϕ_t)_{t \geq 0}$ be a semigroup of holomorphic functions in the unit disk $\mathbb{D}$ and $K$ a compact subset of $\mathbb{D}$. We investigate the conditions under which the backward orbit of $K$ under the semigroup exists. Subsequently, the geometric characteristics, as well as, potential theoretic quantities for the backward orbit of $K$ are examined. More specifically, results are obtained concerning the asymptotic behavior of its hyperbolic area and diameter, the harmonic measure and the capacity of the condenser that $K$ forms with the unit disk.
We consider convergence sets of formal power series of the form $f(z,t)=\sum_{n=0}^{\infty} f_n(z)t^n$, where $f_n(z)$ are holomorphic functions on a domain $Ω$ in $\mathbb{C}$. A subset $E$ of $Ω$ is said to be a convergence set in $Ω$ if there is a series $f(z,t)$ such that $E$ is exactly the set of points $z$ for which $f(z,t)$ converges as a power series in a single variable $t$ in some neighborhood of the origin. A $σ$-convex set is defined to be the union of a countable collection of polynomially convex compact subsets. We prove that a subset of $\mathbb{C}$ is a convergence set if and o…
We give conditions under which a germ of a holomorphic mapping in $\Bbb C^N$, mapping an irreducible real algebraic set into another of the same dimension, is actually algebraic. Let $A\subset \bC^N$ be an irreducible real algebraic set. Assume that there exists $\po \in A$ such that $A$ is a minimal, generic, holomorphically nondegenerate submanifold at $\po$. We show here that if $H$ is a germ at $p_1 \in A$ of a holomorphic mapping from $\bC^N$ into itself, with Jacobian $H$ not identically $0$, and $H(A)$ contained in a real algebraic set of the same dimension as $A$, then $H$ must extend …
We build measurable holomorphic motions for Julia sets of holomorphic families of endomorphisms of CP(k) under various equivalent notions of stability.
Let $D$ be a proper domain in the extended complex plane ${\mathbb C}_{\infty}:={\mathbb C}\cup \{\infty\}$, $M=M_+-M_-\not\equiv \pm \infty$ be a difference of non-trivial subharmonic functions $M_{\pm}\not\equiv \mp \infty$ on $D$, $\text{Hol}(D,M)$ be the class of holomorphic function $f$ on $D$ satisfying $|f|\leq \text{const}_f\exp M$ om $D$, ${\sf Z}\subset D$ be a sequence of points in $D$ without limits points in $D$. We give a complete description of the conditions under which the sequence $\sf Z$ is a sequence of all zeros for some nonzero function $f\in \text{Hol}(D,M)$.
Let {X_n} be a sequence of analytic sets converging to some analytic set X in the sense of holomorphic chains. We introduce a condition which implies that every irreducible component of X is the limit of a sequence of irreducible components of the sets from {X_n}. Next we apply the condition to approximate a holomorphic solution y=f(x) of a system Q(x,y)=0 of Nash equations by Nash solutions. Presented methods allow to construct an algorithm of approximation of the holomorphic solutions.
Let $M$ be a subharmonic function with Riesz measure $ν_M$ in a domain $D$ in the $n$-dimensional complex Euclidean space $\mathbb C^n$, and let $f$ be a nonzero function that is holomorphic in $D$, vanishes on a set ${\sf Z}\subset D$, and satisfies $|f| \leq \exp M$ on $D$. Then restrictions on the growth of $ν_M$ near the boundary of $D$ imply certain restrictions on the area/volume of $\sf Z$. We give a quantitative study of this phenomenon in the subharmonic framework.
The classical Painlevé theorem tells that sets of zero length are removable for bounded analytic functions, while (some) sets of positive length are not. For general $K$-quasiregular mappings in planar domains the corresponding critical dimension is $\frac{2}{K+1}$. We show that when $K>1$, unexpectedly one has improved removability. More precisely, we prove that sets $E$ of $σ$-finite Hausdorff $\frac{2}{K+1}$-measure are removable for bounded $K$-quasiregular mappings. On the other hand, $\dim(E) = \frac{2}{K+1}$ is not enough to guarantee this property. We also study absolute continuity pro…
We prove that the classical Oka property of a complex manifold Y, concerning the existence and homotopy classification of holomorphic mappings from Stein manifolds to Y, is equivalent to a Runge approximation property for holomorphic maps from compact convex sets in Euclidean spaces to Y.
Let $f$ be a nonzero holomorphic function in the unit ball $\mathbb B$ of the $n$-dimensional complex Euclidean space $\mathbb C^n$ such that the function $f$ vanishes on the set ${\sf Z}\subset \mathbb B$ and satisfies the constraint $|f|\leq \exp M$ on $\mathbb B$, where $M\not\equiv \pm \infty$ is $δ$-subharmonic function on $\mathbb B$ with Riesz charge $μ_M$. We give a scale of integral uniform constraints from above on the distribution of the set ${\sf Z}$ via the charge $ν_M$ in terms of $(2n-2)$-Hausdorff measure of the set $\sf Z$, as well as test convex radial functions and $ρ$-subsp…
Let $F\subset\Bbb C^n$ be a proper closed subset of $\Bbb C^n$ and $A\subset\Bbb C^n\setminus F$ at most countable ($n\geq 2$). We give conditions of $F$ and $A$, under which there exists a holomorphic immersion (or a proper holomorphic embedding) $ϕ:\Bbb C\to\Bbb C^n$ with $A\subsetϕ(\Bbb C)\subset\Bbb C^n\setminus F$.
We obtain various general conditions in terms of the balayage and Green's functions under which the sequence of points is the zero set for weighted spaces of holomorphic functions in a domain on the complex plane.
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 …
We investigate certain envelopes of open sets in dual Banach spaces which are related to extending holomorphic functions. We give a variety of examples of absolutely convex sets showing that the extension is in many cases not possible. We also establish connections to the study of iterated weak* sequential closures of convex sets in the dual of separable spaces.
In this paper, we consider local holomorphic mappings f: M\to M' between real algebraic CR generic manifolds (or more generally, real algebraic sets with singularities) in the complex euclidean spaces of different dimensions and we search necessary and sufficient conditions for f to be algebraic. These conditions appear to exclude two certain flatness of M and of M'. From the point of view of CR geometry, a real analytic CR manifold M can be flat in essentially to ways, being biholomorphic to a product M_1\times Δ^k, k\geq 1, by a polydisc (algebraic degeneracy), or to a product M_1\times I^l,…
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.
We prove that all Sierpiński spaces in ${\mathbb{S}}^n$, $n\geq 2$, are non-removable for (quasi)conformal maps, generalizing the result of the first named author arXiv:1809.05605. More precisely, we show that for any Sierpiński space $X\subset \mathbb{S}^n$ there exists a homeomorphism $f\colon \mathbb{S}^n\to \mathbb{S}^n$, conformal in $\mathbb{S}^n\setminus X$, that maps $X$ to a set of positive measure and is not globally (quasi)conformal. This is the first class of examples of non-removable sets in higher dimensions.
If $V$ is an analytic set in a pseudoconvex domain $Ω$, we show there is always a pseudoconvex domain $G \subseteq Ω$ that contains $V$ and has the property that every bounded holomorphic function on $V$ extends to a bounded holomorphic function on $G$ with the same norm. We find such a $G$ for some particular analytic sets. When $Ω$ is an operhedron we show there is a norm on holomorphic functions on $V$ that can always be preserved by extensions to $Ω$.
For a family of holomorphic functions on an arbitrary domain, we introduce Fatou and Julia like sets, and establish some of their interesting properties.
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…