arXiv subjects
Publications and source records attributed to Dan Coman.
We study the asymptotics of Fubini-Study currents and zeros of random holomorphic sections associated to a sequence of singular Hermitian line bundles on a compact normal Kaehler complex space.
Let $L$ be a holomorphic line bundle over a compact Kähler manifold $X$ endowed with a singular Hermitian metric $h$ with curvature current $c_1(L,h)\geq0$. In certain cases when the wedge product $c_1(L,h)^k$ is a well defined current for some positive integer $k\leq\dim X$, we prove that $c_1(L,h)^k$ can be approximated by averages of currents of integration over the common zero sets of $k$-tuples of holomorphic sections over $X$ of the high powers $L^p:=L^{\otimes p}$. In the second part of the paper we study the convergence of the Fubini-Study currents and the equidistribution of zeros of $L^2$-holomorphic sections of the adjoint bundles $L^p\otimes K_X$, where $L$ is a holomorphic line bundle over a complex manifold $X$ endowed with a singular Hermitian metric $h$ with positive curvature current. As an application, we obtain an approximation theorem for the current $c_1(L,h)^k$ using currents of integration over the common zero sets of $k$-tuples of sections of $L^p\otimes K_X$.
We discuss positive closed currents and Fubini-Study currents on orbifolds, as well as Bergman kernels of singular Hermitian orbifold line bundles. We prove that the Fubini-Study currents associated to high powers of a semipositive singular line bundle converge weakly to the curvature current on the set where the curvature is strictly positive, generalizing a well-known theorem of Tian. We include applications to the asymptotic distribution of zeros of random holomorphic sections.
Let $T$ be a positive closed current of unit mass on the complex projective space $\mathbb P^n$. For certain values $α<1$, we prove geometric properties of the set of points in $\mathbb P^n$ where the Lelong number of $T$ exceeds $α$. We also consider the case of positive closed currents of bidimension (1,1) on multiprojective spaces.
Let L be a holomorphic line bundle with a positively curved singular Hermitian metric over a complex manifold X. One can define naturally the sequence of Fubini-Study currents associated to the space of square integrable holomorphic sections of the p-th tensor powers of L. Assuming that the singular set of the metric is contained in a compact analytic subset of X and that the logarithm of the Bergman kernel function associated to the p-th tensor power of L (defined outside the singular set) grows like o(p) as p tends to infinity, we prove the following: 1) the k-th power of the Fubini-Study currents converge weakly on the whole X to the k-th power of the curvature current of L. 2) the expectations of the common zeros of a random k-tuple of square integrable holomorphic sections converge weakly in the sense of currents to to the k-th power of the curvature current of L. Here k is so that the codimension of the singular set of the metric is greater or equal as k. Our weak asymptotic condition on the Bergman kernel function is known to hold in many cases, as it is a consequence of its asymptotic expansion. We also prove it here in a quite general setting. We then show that many important geometric situations (singular metrics on big line bundles, Kaehler-Einstein metrics on Zariski-open sets, artihmetic quotients) fit into our framework.
We define $F$-polynomials as linear combinations of dilations by some frequencies of an entire function $F$. In this paper we use Pade interpolation of holomorphic functions in the unit disk by $F$-polynomials to obtain explicitly approximating $F$-polynomials with sharp estimates on their coefficients. We show that when frequencies lie in a compact set $K\subset\mathbb C$ then optimal choices for the frequencies of interpolating polynomials are similar to Fekete points. Moreover, the minimal norms of the interpolating operators form a sequence whose rate of growth is determined by the transfinite diameter of $K$. In case of the Laplace transforms of measures on $K$, we show that the coefficients of interpolating polynomials stay bounded provided that the frequencies are Fekete points. Finally, we give a sufficient condition for measures on the unit circle which ensures that the sums of the absolute values of the coefficients of interpolating polynomials stay bounded.
Let $α\in(0,1)\setminus{\Bbb Q}$ and $K=\{(e^z,e^{αz}):\,|z|\leq1\}\subset{\Bbb C}^2$. If $P$ is a polynomial of degree $n$ in ${\Bbb C}^2$, normalized by $\|P\|_K=1$, we obtain sharp estimates for $\|P\|_{Δ^2}$ in terms of $n$, where $Δ^2$ is the closed unit bidisk. For most $α$, we show that $\sup_P\|P\|_{Δ^2}\leq\exp(Cn^2\log n)$. However, for $α$ in a subset ${\mathcal S}$ of the Liouville numbers, $\sup_P\|P\|_{Δ^2}$ has bigger order of growth. We give a precise characterization of the set ${\mathcal S}$ and study its properties.
Suppose that $X$ is an analytic subvariety of a Stein manifold $M$ and that $φ$ is a plurisubharmonic (psh) function on $X$ which is dominated by a continuous psh exhaustion function $u$ of $M$. Given any number $c>1$, we show that $φ$ admits a psh extension to $M$ which is dominated by $cu$ on $M$. We use this result to prove that any $ω$-psh function on a subvariety of the complex projective space is the restriction of a global $ω$-psh function, where $ω$ is the Fubini-Study Kähler form.
Given a compact Kähler manifold $X$, a quasiplurisubharmonic function is called a Green function with pole at $p\in X$ if its Monge-Ampère measure is supported at $p$. We study in this paper the existence and properties of such functions, in connection to their singularity at $p$. A full characterization is obtained in concrete cases, such as (multi)projective spaces.
Let $(X,ω)$ be a compact Kähler manifold. We introduce and study the largest set $DMA(X,ω)$ of $ω$-plurisubharmonic (psh) functions on which the complex Monge-Ampère operator is well defined. It is much larger than the corresponding local domain of definition, though still a proper subset of the set $PSH(X,\om)$ of all $\om$-psh functions. We prove that certain twisted Monge-Ampère operators are well defined for all $ω$-psh functions. As a consequence, any $\om$-psh function with slightly attenuated singularities has finite weighted Monge-Ampère energy.
Suppose that $h$ and $g$ belong to the algebra $\B$ generated by the rational functions and an entire function $f$ of finite order on ${\Bbb C}^n$ and that $h/g$ has algebraic polar variety. We show that either $h/g\in\B$ or $f=q_1e^p+q_2$, where $p$ is a polynomial and $q_1,q_2$ are rational functions. In the latter case, $h/g$ belongs to the algebra generated by the rational functions, $e^p$ and $e^{-p}$.
In this paper we study the consequences of overinterpolation, i.e., the situation when a function can be interpolated by polynomial, or rational, or algebraic functions in more points that normally expected. We show that in many cases such a function has specific forms.
Let $T$ be a positive closed current of bidimension (1,1) and unit mass on the complex projective space ${\Bbb P}^n$. We prove that the set $V_α(T)$ of points where $T$ has Lelong number larger than $α$ is contained in a complex line if $α\geq2/3$, and $|V_α(T)\setminus L|\leq1$ for some complex line $L$ if $1/2\leqα<2/3$. We also prove that in dimension 2 and if $2/5\leqα<1/2$, then $|V_α(T)\setminus C|\leq1$ for some conic $C$.
In this paper we obtain estimates for certain transcendence measures of an entire function $f$. Using these estimates, we prove Bernstein, doubling and Markov inequalities for a polynomial $P(z,w)$ in ${\Bbb C}^2$ along the graph of $f$. These inequalities provide, in turn, estimates for the number of zeros of the function $P(z,f(z))$ in the disk of radius $r$, in terms of the degree of $P$ and of $r$. Our estimates hold for arbitrary entire functions $f$ of finite order, and for a subsequence $\{n_j\}$ of degrees of polynomials. But for special classes of functions, including the Riemann $ζ$-function, they hold for all degrees and are asymptotically best possible. From this theory we derive lower estimates for a certain algebraic measure of a set of values $f(E)$, in terms of the size of the set $E$.
We construct examples of $C^\infty$ smooth submanifolds in ${\Bbb C}^n$ and ${\Bbb R}^n$ of codimension 2 and 1, which intersect every complex, respectively real, analytic curve in a discrete set. The examples are realized either as compact tori or as properly imbedded Euclidean spaces, and are the graphs of quasianalytic functions. In the complex case, these submanifolds contain real $n$-dimensional tori or Euclidean spaces that are not pluripolar while the intersection with any complex analytic disk is polar.
We show that the graph $$Γ_f=\{(z,f(z))\in{\Bbb C}^2: z\in S\}$$ in ${\Bbb C}^2$ of a function $f$ on the unit circle $S$ which is either continuous and quasianalytic in the sense of Bernstein or $C^\infty$ and quasianalytic in the sense of Denjoy is pluripolar.
Let $f$ be a polynomial automorphism of ${\Bbb C}^k$ of degree $λ$, whose rational extension to ${\Bbb P}^k$ maps the hyperplane at infinity to a single point. Given any positive closed current $S$ on ${\Bbb P}^k$ of bidegree (1,1), we show that the sequence $λ^{-n}(f^n)^\star S$ converges in the sense of currents on ${\Bbb P}^k$ to a linear combination of the Green current $T_+$ of $f$ and the current of integration along the hyperplane at infinity. We give an interpretation of the coefficients in terms of generalized Lelong numbers with respect to an invariant dynamical current for $f^{-1}$.