Showing papers in "arXiv: Complex Variables in 2006"

The weigthed Monge-Amp\`ere energy of quasiplurisubharmonic functions

Abstract: We study degenerate complex Monge-Amp\`ere equations on a compact K\"ahler manifold $(X,\omega)$. We show that the complex Monge-Amp\`ere operator $(\omega + dd^c \cdot)^n$ is well-defined on the class ${\mathcal E}(X,\omega)$ of $\omega$-plurisubharmonic functions with finite weighted Monge-Amp\`ere energy. The class ${\mathcal E}(X,\omega)$ is the largest class of $\omega$-psh functions on which the Monge-Amp\`ere operator is well-defined and the comparison principle is valid. It contains several functions whose gradient is not square integrable. We give a complete description of the range of the Monge-Amp\`ere operator $(\omega +dd^c \cdot)^n$ on ${\mathcal E}(X,\omega)$, as well as on some of its subclasses. We also study uniqueness properties, extending Calabi's result to this unbounded and degenerate situation, and we give applications to complex dynamics and to the existence of singular K\"ahler-Einstein metrics.

Polya-Schur master theorems for circular domains and their boundaries

Abstract: We characterize all linear operators on finite or infinite-dimensional polynomial spaces that preserve the property of having the zero set inside a prescribed region $\Omega\subseteq \mathbb{C}$ for arbitrary closed circular domains $\Omega$ (i.e., images of the closed unit disk under a M\"obius transformation) and their boundaries. This provides a natural framework for dealing with several long-standing fundamental problems, which we solve in a unified way. In particular, for $\Omega=\mathbb{R}$ our results settle open questions that go back to Laguerre and P\'olya-Schur.

On the Nevanlinna characteristic of f(z+\eta) and difference equations in the complex plane

Abstract: We investigate the growth of the Nevanlinna Characteristic of f(z+\eta) for a fixed \eta in this paper. In particular, we obtain a precise asymptotic relation between T(r,f(z+\eta) and T(r,f), which is only true for finite order meromorphic functions. We have also obtained the proximity function and pointwise estimates of f(z+\eta)/f(z) which is a version of discrete analogue of the logarithmic derivative of f(z). We apply these results to give growth estimates of meromorphic solutions to higher order linear difference equations. This also solves an old problem of Whittaker concerning a first order difference equation. We show by giving a number of examples that all these results are best possible in certain senses. Finally, we give a direct proof of a result by Ablowitz, Halburd and Herbst.

Classification of Levi degenerate homogeneous CR-manifolds in dimension 5

Abstract: In this paper we present new examples of homogeneous 2-nondegenerate CR-manifolds of dimension 5 and give, up to local CR-equivalence, a full classification of all CR-manifolds of this type.

Number variance of random zeros on complex manifolds

Abstract: We show that the variance of the number of simultaneous zeros of $m$ i.i.d. Gaussian random polynomials of degree $N$ in an open set $U \subset C^m$ with smooth boundary is asymptotic to $N^{m-1/2} u_{mm} Vol(\partial U)$, where $ u_{mm}$ is a universal constant depending only on the dimension $m$. We also give formulas for the variance of the volume of the set of simultaneous zeros in $U$ of $k

Pull-back of currents by holomorphic maps

Abstract: We define the pull-back operator, associated to a meromorphic transform, on several types of currents. We also give a simple proof to a version of a classical theorem on the extension of currents.

Zeros of random polynomials on C^m

Abstract: For a regular compact set $K$ in $C^m$ and a measure $\mu$ on $K$ satisfying the Bernstein-Markov inequality, we consider the ensemble $P_N$ of polynomials of degree $N$, endowed with the Gaussian probability measure induced by $L^2(\mu)$. We show that for large $N$, the simultaneous zeros of $m$ polynomials in $P_N$ tend to concentrate around the Silov boundary of $K$; more precisely, their expected distribution is asymptotic to $N^m \mu_{eq}$, where $\mu_{eq}$ is the equilibrium measure of $K$. For the case where $K$ is the unit ball, we give scaling asymptotics for the expected distribution of zeros as $N\to\infty$.

Analytic inversion of adjunction: L^2 extension theorems with gain

Abstract: We establish new results on weighted $L^2$ extension of holomorphic top forms with values in a holomorphic line bundle, from a smooth hypersurface cut out by a holomorphic function The weights we use are determined by certain functions that we call denominators We give a collection of examples of these denominators related to the divisor defined by the submanifold

Stratifications with respect to actions of real reductive groups

Abstract: We study the action of a real reductive group G on a real submanifold X of a K"ahler manifold Z. We suppose that the action of G extends holomorphically to an action of a complex reductive group and is Hamiltonian with respect to a compatible maximal compact subgroup of the complex reductive group. There is a corresponding gradient map obtained from a Cartan decomposition of G. We obtain a Morse like function on X. Associated to its critical points are various sets of semistable points which we study in great detail. In particular, we have G-stable submanifolds of X which are called pre-strata. In case that the gradient map is proper, the pre-strata form a decomposition of X and in case that X is compact they are the strata of a Morse type stratification of X. Our results are generalizations of results of Kirwan obtained in the case that X=Z is compact and the group itself is complex reductive.

Direct singularities and completely invariant domains of entire functions

Abstract: Let f be a transcendental entire function that omits a complex value a. We show that for every simply connected region D that does not contain a the full preimage of D is disconnected. We conjecture that the same holds if one only assumes that a is omitted locally. We were able to prove this conjecture under the additional assumption that f is of finite order. We include some auxilliary results on the singularities of the inverses of entire functions which are of independent interest.

A Takayama-type extension theorem

Abstract: We prove a theorem on the extension of holomorphic sections of powers of adjoint bundles from submanifolds of complex codimension 1 having non-trivial normal bundle. The first such result, due to Takayama, considers the case where the canonical bundle is twisted by a line bundle that is a sum of a big and nef line bundle and a ${\mathbb Q}$-divisor that has kawamata log terminal singularites on the submanifold from which extension occurs. In this paper we weaken the positivity assumptions on the twisting line bundle to what we believe to be the minimal positivity hypotheses. The main new idea is an $L^2$ extension theorem of Ohsawa-Takegoshi type, in which twisted canonical sections are extended from submanifolds with non-trivial normal bundle.

Calculation and Estimation of the Poisson kernel

Abstract: We provide a simple method for obtain boundary asymptotics of the Poisson kernel on a domain in $\RR^N$.

Pluripotential theory, semigroups and boundary behavior of infinitesimal generators in strongly convex domains

Abstract: We characterize infinitesimal generators of semigroups of holomorphic self-maps of strongly convex domains using the pluricomplex Green function and the pluricomplex Poisson kernel. Moreover, we study boundary regular fixed points of semigroups. Among other things, we characterize boundary regular fixed points both in terms of the boundary behavior of infinitesimal generators and in terms of pluripotential theory.

Manifolds of holomorphic mappings from strongly pseudoconvex domains

Abstract: Let D be a bounded strongly pseudoconvex domain in a Stein manifold S and let Y be a complex manifold. We prove that the graph of any continuous map from the closure of D to Y which is holomorphic in D admits a basis of open Stein neighborhoods in S x Y. Using this we show that many classical spaces of maps from the closure of D to Y which are holomorphic in D are infinite dimensional complex manifolds which are modeled on locally convex topological vector spaces (Banach, Hilbert or Frechet).

The Caratheodory and Kobayashi metrics and applications in complex analysis

Abstract: The Caratheodory and Kobayashi metrics have proved to be important tools in the function theory of several complex variables. But they are less familiar in the context of one complex variable. Our purpose here is to gather in one place the basic ideas about these important invariant metrics for domains in the plane and to provide some illuminating examples and applications.

A note on plurisubharmonic defining functions in C^2

Abstract: Let D be a smoothly bounded domain in C^2. Suppose that D admits a smooth defining function which is plurisubharmonic on the boundary of D. Then the Diederich-Fornaess exponent can be chosen arbitrarily close to 1, and the closure of D admits a Stein neighborhood basis.

Recent developments in applied pseudoanalytic function theory

Abstract: We present recently obtained results in the theory of pseudoanalytic functions and its applications to elliptic second-order equations. The operator (divpgrad+q) with p and q being real valued functions is factorized with the aid of Vekua type operators of a special form and as a consequence the elliptic equation (divpgrad+q)u=0, (1) reduces to a homogeneous Vekua equation describing generalized analytic (or pseudoanalytic) functions. As a tool for solving the Vekua equation we use the theory of Taylor and Laurent series in formal powers for pseudoanalytic functions developed by L. Bers. The series possess many important properties of the usual analytic power series. Their applications until recently were limited mainly because of the impossibility of their explicit construction in a general situation. We obtain an algorithm which in a really broad range of practical applications allows us to construct the formal powers and hence the pseudoanalytic Taylor series in explicit form precisely for the Vekua equation related to equation (1). In other words, in a bounded domain this gives us a complete (in C-norm) system of exact solutions of (1).

Approximation of holomorphic mappings on strongly pseudoconvex domains

Abstract: Let D be a relatively compact strongly pseudoconvex domain in a Stein manifold, and let Y be a complex manifold We prove that the set A(D,Y), consisting of all continuous maps from the closure of D to Y which are holomorphic in D, is a complex Banach manifold When D is the unit disc in C (or any other topologically trivial strongly pseudoconvex domain in a Stein manifold), A(D,Y) is locally modeled on the Banach space A(D,C^n)=A(D)^n with n=dim Y Analogous results hold for maps which are holomorphic in D and of class C^r up to the boundary for any positive integer r We also establish the Oka property for sections of continuous or smooth fiber bundles over the closure of D which are holomorphic over D and whose fiber enjoys the Convex approximation property The main analytic technique used in the paper is a method of gluing holomorphic sprays over Cartan pairs in Stein manifolds, with control up to the boundary, which was developed in our paper "Holomorphic curves in complex manifolds" (Duke Math J 139 (2007), no 2, 203--253)

Convergence of the Zipper algorithm for conformal mapping

Abstract: In the early 1980's an elementary algorithm for computing conformal maps was discovered by R. K\"uhnau and the first author. The algorithm is fast and accurate, but convergence was not known. Given points z_0,...,z_n in the plane, the algorithm computes an explicit conformal map of the unit disk onto a region bounded by a Jordan curve \gamma with z_0,...,z_n \in \gamma. We prove convergence for Jordan regions in the sense of uniformly close boundaries, and give corresponding uniform estimates on the closed region and the closed disc for the mapping functions and their inverses. Improved estimates are obtained if the data points lie on a C^1 curve or a K-quasicircle. The algorithm was discovered as an approximate method for conformal welding, however it can also be viewed as a discretization of the L\"owner differential equation.

Plurisubharmonic exhaustion functions and almost complex Stein structures

Abstract: We prove that a relatively compact pseudoconvex domain with smooth boundary in an almost complex manifold admits a bounded strictly plurisubharmonic exhaustion function. We use this result for the study of convexity and hyperbolicity properties of these domains and the contact geometry of their boundaries.

Boundary properties of Green functions in the plane

Abstract: We study the boundary properties of conformal maps, following Jones and Makarov. It is our intention to tie up their approach with the traditional method in conformal mapping. Also, we extend a weak form of the Jones-Makarov theorem to complex parameter values.

Regularisation of Currents with Mass Control and Singular Morse Inequalities

Abstract: Let $X$ be a compact complex, not necessarily K\"ahler, manifold of dimension $n$. We characterise the volume of any holomorphic line bundle $L\to X$ as the supremum of the Monge-Amp\`ere masses $\int_X T_{ac}^n$ over all closed positive currents $T$ in the first Chern class of $L$, where $T_{ac}$ is the absolutely continuous part in the Lebesgue decomposition. This result, new in the non-K\"ahler context, can be seen as holomorphic Morse inequalities for the cohomology of high tensor powers of line bundles endowed with arbitrarily singular Hermitian metrics. It gives, in particular, a new bigness criterion for line bundles in terms of existence of singular Hermitian metrics satisfying positivity conditions. The proof is based on the construction of a new regularisation for closed $(1, 1)$-currents with a control of the Monge-Amp\`ere masses of the approximating sequence. To this end, we prove a potential-theoretic result in one complex variable and study the growth of multiplier ideal sheaves associated with increasingly singular metrics.

Equilibrium points of logarithmic potentials induced by positive charge distributions. I. Generalized de Bruijn-Springer relations

Abstract: A notion of weighted multivariate majorization is defined as a preorder on sequences of vectors in Euclidean space induced by the Choquet ordering for atomic probability measures. We characterize this preorder both in terms of stochastic matrices and convex functions and use it to describe the distribution of equilibrium points of logarithmic potentials generated by discrete planar charge configurations. In the case of $n$ positive charges we prove that the equilibrium points satisfy $\binom{n}{2}$ weighted majorization relations and are uniquely determined by $n-1$ such relations. It is further shown that the Hausdorff geometry of the equilibrium points and the charged particles is controlled by the weighted standard deviation of the latter. By using finite-rank perturbations of compact normal Hilbert space operators we establish similar relations for infinite charge distributions. We also discuss a hierarchy of weighted de Bruijn-Springer relations and inertia laws, the existence of zeros of Borel series with positive $l^1$-coefficients, and an operator version of the Clunie-Eremenko-Rossi conjecture.

On planar webs with infinitesimal automorphisms

Abstract: We investigate the space of abelian relations of planar webs admitting infinitesimal automorphisms. As an application, we construct 4k-14 new algebraic families of global exceptionnal k-webs on the projective plane, for each k >4.

A Julia--Carath\'eodory theorem for hyperbolically monotone mappings in the Hilbert ball

Abstract: We establish a Julia--Caratheodory theorem and a boundary Schwarz--Wolff lemma for hyperbolically monotone mappings in the open unit ball of a complex Hilbert space

Degree Estimates for Polynomials Constant on a Hyperplane

Abstract: The study of proper rational mappings between balls in complex Euclidean spaces naturally leads to the relationship between the degree and imbedding dimension of such a mapping. The special case for monomial mappings is equivalent to the question discussed in this paper. Estimate the degree $d$ of a polynomial in $n$ real variables, assumed to have non-negative coefficients and to be constant on a hyperplane, in terms of the number $N$ of its terms. No such estimate is possible when $n=1$. The sharp bound $d\le 2N-3$ is known when $n=2$. This paper includes two main results. The first provides a bound, not sharp for $n\ge 3$, for all $n\ge 2$. This bound implies the more easily stated bound $d\le {4(2N-3)\over 3(2n-3)}$ for $n\ge 3$. The second result is a stabilization theorem; if $n$ is sufficiently large given $d$, then the sharp bound $d \le {N-1 \over n-1}$ holds. In this situation we determine all polynomials for which the bound is sharp.

Embedding subsets of tori Properly into $\CC^2$

Abstract: Let $\TT$ be a torus. We prove that all subsets of $\TT$ with finitely many boundary components (none of them being points) embed properly into $\CC^2$.

Difference independence of the Riemann zeta function

Abstract: It is proved that the Riemann zeta function does not satisfy any nontrivial algebraic difference equation whose coefficients are meromorphic functions $\phi$ with Nevanlinna characteristic satisfying $T(r, \phi)=o(r)$ as $r\to \infty$

Sub-Riemannian geometry of the coefficients of univalent functions

Abstract: We consider coefficient bodies $\mathcal M_n$ for univalent functions. Based on the L\"owner-Kufarev parametric representation we get a partially integrable Hamiltonian system in which the first integrals are Kirillov's operators for a representation of the Virasoro algebra. Then $\mathcal M_n$ are defined as sub-Riemannian manifolds. Given a Lie-Poisson bracket they form a grading of subspaces with the first subspace as a bracket-generating distribution of complex dimension two. With this sub-Riemannian structure we construct a new Hamiltonian system and calculate regular geodesics which turn to be horizontal. Lagrangian formulation is also given in the particular case $\mathcal M_3$.

Topological Triviality of Families of Singular Surfaces

Abstract: We study the topological triviality of families of singular surfaces in ${\mathbb C}^3$ parametrized by $\mathcal A$-finitely determined map germs. We prove that the constancy of the Milnor number of the double point locus characterizes the topological triviality of the family.