The following result is proved: Let $D$ and $D'$ be bounded domains in $\mathbb C^n$, $\partial D$ is smooth, real-analytic, simply connected, and $\partial D'$ is connected, smooth, real-algebraic. Then there exists a proper holomorphic correspondence $f:D\to D'$ if and only if $\partial D$ and $\partial D'$ a locally CR-equivalent. This leads to a characterization of the equivalence relationship between bounded domains in $\mathbb C^n$ modulo proper holomorphic correspondences in terms of CR-equivalence of their boundaries.
We study the analytic continuation problem for a germ of a biholomorphic mapping from a non-minimal real hypersurface $M\subset\CC{n}$ into a real hyperquadric $\mathcal Q\subset\CP{n}$ and prove that under certain non-degeneracy conditions any such germ extends locally biholomorphically along any path lying in the complement $U\setminus X$ of the complex hypersurface $X$ contained in $M$ for an appropriate neighborhood $U\supset X$. Using the monodromy representation for the multiple-valued mapping obtained by the analytic continuation we establish a connection between nonminimal real hypersu…
We study the regularity results of holomorphic correspondences. As an application, we combine it with certain recently developed methods to obtain the extension theorem for proper holomorphic mappings between domains with real analytic boundaries in the complex 2-space.
Given a set E in a complex space and a point p in E, there is a unique smallest complex-analytic germ containing the germ of E at p, called the holomorphic closure of E at p. We study the holomorphic closure of semialgebraic arc-symmetric sets. Our main application concerns CR-continuation of semialgebraic arc-analytic mappings: A mapping f on a real-analytic CR manifold M which is semialgebraic arc-analytic and CR on a non-empty open subset of M is CR on the whole M.
Let $X$ be a complex manifold and $f\colon X\to \C^p$ a holomorphic mapping defining a complete intersection. We prove that the iterated Mellin transform of the residue integral associated to $f$ has an analytic continuation to a neighborhood of the origin in $\C^p$.
We provide a necessary condition for the existence of a 3-point holomorphic interpolant $F:\mathbb{D}\longrightarrowΩ_n$, $n\geq 2$. Our condition is inequivalent to the necessary conditions hitherto known for this problem. The condition generically involves a single inequality and is reminiscent of the Schwarz lemma. We combine some of the ideas and techniques used in our result on the $\mathcal{O}(\mathbb{D},Ω_n)$-interpolation problem to establish a Schwarz lemma -- which may be of independent interest -- for holomorphic correspondences from $\mathbb{D}$ to a general planar domain $Ω\Subset…
Let $B_{R}$ be the ball in the euclidean space $\mathbb{R}^{n}$ with center 0 and radius $R$ and let $f$ be a complex-valued, infinitely differentiable function on $B_{R}.$ We show that the Laplace-Fourier series of $f$ has a holomorphic extension which converges compactly in the Lie ball $\hat {B_{R}}$ in the complex space $\mathbb{C}^{n}$ when one assumes a natural estimate for the Laplace-Fourier coefficients.
Let $M, M'$ be smooth, real analytic hypersurfaces of finite type in ${\mbf C^n}$ and $\h f$ a holomorphic correspondence (not necessarily proper) that is defined on one side of $M$, extends continuously up to $M$ and maps $M$ to $M'$. It is shown that $\h f$ must extend across $M$ as a locally proper holomorphic correspondence. This is a version for correspondences of the Diederich--Pinchuk extension result for CR maps.
We consider a Stein manifold $M$ of dimension $\geq 2$ and a compact subset $K\subset M$ such that $M'=M\backslash K$ is connected. Let $S$ be a compact differential manifold, and let $M_S$, resp. $M'_S$ stand for the complex manifold of maps $S\to M$, resp. $S\to M'$, of some specified regularity, that are homotopic to constant. We prove that any holomorphic function on $M'_S$ continues analytically to $M_S$ (perhaps as a multivalued function).
We study two notions of topological entropy of correspondences introduced by Friedland and Dinh-Sibony. Upper bounds are known for both. We identify a class of holomorphic correspondences whose entropy in the sense of Dinh-Sibony equals the known upper bound. This provides an exact computation of the entropy for rational semigroups. We also explore a connection between these two notions of entropy.
This paper studies recurrence phenomena in iterative holomorphic dynamics of certain multi-valued maps. In particular, we prove an analogue of the Poincaré recurrence theorem for meromorphic correspondences with respect to certain dynamically interesting measures associated with them. Meromorphic correspondences present a significant measure-theoretic obstacle: the image of a Borel set under a meromorphic correspondence need not be Borel. We manage this issue using the Measurable Projection Theorem, which is an aspect of descriptive set theory. We also prove a result concerning invariance prop…
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 study the dynamics of holomorphic correspondences $f$ on a compact Riemann surface $X$ in the case, so far not well understood, where $f$ and $f^{-1}$ have the same topological degree. Under a mild and necessary condition that we call non weak modularity, $f$ admits two canonical probability measures $μ^+$ and $μ^-$ which are invariant by $f^*$ and $f_*$ respectively. If the critical values of $f$ (resp. $f^{-1}$) are not periodic, the backward (resp. forward) orbit of any point $a \in X$ equidistributes towards $μ^+$ (resp. $μ^-$), uniformly in $a$ and exponentially fast.
In this paper, we continue exploration of the dynamical and parameter planes of one-parameter families of Schwarz reflections that was initiated in \cite{LLMM1,LLMM2}. Namely, we consider a family of quadrature domains obtained by restricting the Chebyshev cubic polynomial to various univalent discs. Then we perform a quasiconformal surgery that turns these reflections to parabolic rational maps (which is the crucial technical ingredient of our theory). It induces a straightening map between the parameter plane of Schwarz reflections and the parabolic Tricorn. We describe various properties of…
In this paper, we present a new technique for studying the dynamics of a finitely generated rational semigroup. Such a semigroup can be associated naturally to a certain holomorphic correspondence on $\mathbb{P}^1$. Then, results on the iterative dynamics of such a correspondence can be applied to the study of the rational semigroup. We focus on a certain invariant measure for the aforementioned correspondence---known as the equilibrium measure. This confers some advantages over many of the known techniques for studying the dynamics of rational semigroups. We use the equilibrium measure to ana…
The present paper is a continuation of our work [11], where we introduced a fractional operator calculus related to a fractional $ψ-$Fueter operator in the one-dimensional Riemann-Liouville derivative sense in each direction of the quaternionic structure, that depends on an additional vector of complex parameters with fractional real parts. This allowed us also to study a pair of lower order fractional operators and prove the associated analogues of both Stokes and Borel-Pompieu formulas for holomorphic functions in two complex variables.
This paper deals with the question of analytic continuation of holonomy germs of holomorphic foliations. We prove that for a quasi-minimal Riccati foliation of the complex projective plane, any holonomy germ of the foliation between complex projective lines can be analytically continued along a generic Brownian path.
We use the method of pseudoanalytic continuation to obtain a characterization of spaces of holomorphic functions with boundary values in Besov spaces in terms of polynomial approximations.
Let $G$ be a real semisimple Lie group, $K$ its maximal complex subgroup, and $G_C$ its complexification. It is known that all the $K$-finite matrix elements on $G$ admit holomorphic continuation to branching functions on $G_C$ having singularities at the a prescribed divisor. We propose a geometric explanation of this phenomenon. The note also contsins a general survey of holomorphic continuations of infinite-dimensional representations.
Given a holomorphic family of pairs $\{(X_t,E_t)\}$, where each $E_t$ is holomorphic vector bundle over compact complex manifold $X_t$. For small enough $t$, we get a correspondence between the Dolbeault complex of $E_t$-valued $(p,q)$-forms on $X_t$ and the one of $E_0$-valued $(p,q)$-forms on $X_0$.
We prove the Kobayashi-Hitchin correspondence and the approximate Kobayashi-Hitchin correspondence for twisted holomorphic vector bundles on compact Kähler manifolds. More precisely, if $X$ is a compact manifold and $g$ is a Gauduchon metric on $X$, a twisted holomorphic vector bundle on $X$ is $g-$polystable if and only if it is $g-$Hermite-Einstein, and if $X$ is a compact Kähler manifold and $g$ is a Kähler metric on $X$, then a twisted holomorphic vector bundle on $X$ is $g-$semistable if and only if it is approximate $g-$Hermite-Einstein.
Similarly to the Bers simultaneous uniformization, the product of the $p$-Weil-Petersson Teichmüller spaces for $p \geq 1$ provides the coordinates for the space of $p$-Weil-Petersson embeddings $γ$ of the real line $\mathbb R$ into the complex plane $\mathbb C$. We prove the biholomorphic correspondence from this space to the $p$-Besov space of $u=\log γ'$ on $\mathbb R$ for $p>1$. From this fundamental result, several consequences follow immediately which clarify the analytic structures concerning parameter spaces of $p$-Weil-Petersson curves. In particular, it follows that the correspondenc…
We show that conformally compact, globally hyperbolic, Lorentzian Einstein-Weyl 3-manifolds are in natural one-to-one correspondence with orientation-reversing diffeomorphisms of the 2-sphere. The proof hinges on a holomorphic-disk analog of Hitchin's mini-twistor correspondence.
This paper is motivated by Brolin's theorem. The phenomenon we wish to demonstrate is as follows: if $F$ is a holomorphic correspondence on $\mathbb{P}^1$, then (under certain conditions) $F$ admits a measure $μ_F$ such that, for any point $z$ drawn from a "large" open subset of $\mathbb{P}^1$, $μ_F$ is the weak*-limit of the normalised sums of point masses carried by the pre-images of $z$ under the iterates of $F$. Let ${}^\dagger{F}$ denote the transpose of $F$. Under the condition $d_{top}(F) > d_{top}({}^\dagger{F})$, where $d_{top}$ denotes the topological degree, the above phenomemon was…
We prove a very general Kobayashi-Hitchin correspondence on arbitrary compact Hermitian manifolds. This correspondence refers to moduli spaces of "universal holomorphic oriented pairs". Most of the classical moduli problems in complex geometry (e. g. holomorphic bundles with reductive structure groups, holomorphic pairs, holomorphic Higgs pairs, Witten triples, arbitrary quiver moduli problems) are special cases of this universal classification problem. Our Kobayashi-Hitchin correspondence relates the complex geometric concept "polystable oriented holomorphic pair" to the existence of a reduct…
Holomorphic functions are amazing because their values in an ever so small disk in the complex plane completely determine the function values at arbitrary points in their maximum possible domain. The process of extending such a function beyond its initial domain is called analytic continuation. We attempt to make this theoretic result tractable by computers. In the present article, we first prove that any algorithm for analytic continuation can generally not depend on finitely many function values only, without closer inspection of the function itself. We then derive a computable local bound o…
In this paper we study the problem of analytic extension of germs of holonomy of algebraic foliations. More precisely we prove that for a Riccati foliation associated to a branched projective structure over a finite type surface which is non-elementary and parabolic, all the germs of holonomy between a fiber and a holomorphic section of the bundle are led to singularities by almost every developed geodesic ray. We study in detail the distribution of these singularities and prove in particular that they are included and dense in the limit set and uncountable, giving another negative answer to a…
In this paper, we develop holomorphic Jacobi structures. Holomorphic Jacobi manifolds are in one-to-one correspondence with certain homogeneous holomorphic Poisson manifolds. Furthermore, holomorphic Poisson manifolds can be looked at as special cases of holomorphic Jacobi manifolds. We show that holomorphic Jacobi structures yield a much richer framework than that of holomorphic Poisson structures. We also discuss the relationship between holomorphic Jacobi structures, generalized contact bundles and Jacobi-Nijenhuis structures.
We discuss the analytic continuation of the Hadamard product of two holomorphic functions under assumptions pertaining to Ecalle's Resurgence Theory, proving that if both factors are endlessly continuable with prescribed sets of singular points $A$ and $B$, then so is their Hadamard product with respect to the set $\{0\}\cup A \cdot B$. In this generalization of the classical Hadamard Theorem, all the branches of the multivalued analytic continuation of the Hadamard product are considered.
Let X be a complex analytic space. A short analytic arc is a holomorphic map of the closed unit disc to X such that only the origin is mapped to a singular point. In contrast with the space of formal arcs studied by Nash, the moduli space of short analytic arcs usually has infinitely many connected components. We describe these for surface singularities, in terms of certain conjugacy classes of the fundamental group of the link. For quotient singularities (in any dimension), this gives a concrete realization of the McKay correspondence. Our results also give new connections between a surface c…
For a smoothly bounded strictly pseudoconvex domain, we describe the boundary singularity of weighted Bergman kernels with respect to weights behaving like a power (possibly fractional) of a defining function, and, more generally, of the reproducing kernels of Sobolev spaces of holomorphic functions of any real order. This generalizes the classical result of Fefferman for the unweighted Bergman kernel. Finally, we also exhibit a holomorphic continuation of the kernels with respect to the Sobolev parameter to the entire complex plane. Our main tool are the generalized Toeplitz operators of Bout…
