SearcharxivSearch

arXiv subjects

Liyou Zhang

Publications and source records attributed to Liyou Zhang.

13 recordsLinked to original sources

Scalar Curvature, Volumes and the Bergman Kernel

Motivated by the works of Gromov and LeBrun in Riemannian geometry, we study the analogous phenomena in complex geometry. We first show that both $\int_M |S_C^-(g)|^ndV_g$ and ${\rm vol}_g(M)$ (normalized by $S_C(g)\ge -1$) are bounded below by $\frac{(n\pi)^n}{n!}\mathrm{CanVol}(M)$ for any Hermitian metric $g$ on a compact complex $n-$manifold $M$. Here $S_C$ denotes the Chern scalar curvature, $S_C^-=\max\{-S_C,0\}$ and ${\rm CanVol}(M)$ is the canonical volume of $M$, i.e., the volume of the canonical line bundle $K_M$. Moreover, if ${\rm vol}_g(M)=\frac{(n\pi)^n}{n!}\mathrm{CanVol}(M)$ holds for some K\"ahler metric with $S_C\ge -1$, then it has to be the K\"ahler-Einstein metric of negative scalar curvature. The completely new phenomenon is that if $M$ is a compact K\"{a}hler manifold such that $K_M$ is nef, then ${\rm MinVol}_C(M)=\mathcal{I}_C(M)=\mathcal I_C^-(M)=\frac{(n\pi)^n}{n!}\mathrm{CanVol}(M)$, where ${\rm MinVol}_C(M)$ is the infimum of ${\rm vol}_g(M)$ with $S_C(g)\ge -1$ and $\mathcal I_C^-(M)=\inf_g \int_M |S_C^-(g)|^ndV_g$, $\mathcal I_C(M)=\inf_g \int_M |S_C(g)|^ndV_g$. It remains unknown whether the nef condition is superfluous. The answer is positive when $M$ is obtained by blowing up a finite number of points from a projective manifold with big and nef canonical line bundle. The arguments are based on the asymptotic behaviour of the Bergman kernel of $mK_M$ as $m\rightarrow \infty$, the theory of K\"ahler-Ricci flow and singular K\"{a}hler-Einstein metric, as well as a very delicate gluing technique, using the Burns-Simanca metric.

math.DG

$L^1$-Stability for complex Monge-Amp\`ere equations

We first establish the weak stability results for solutions of complex Monge-Amp\`ere equations in relative full mass classes, extending the results known to hold in the full mass class. Building on weak stability, we then prove the $\mathcal{C}^{k,\alpha}$ stability of solutions to complex Monge-Amp\`ere equations on quasi-projective varieties. As an application, we study the limit of the singular Ricci-flat metrics on $\mathbb{Q}$-Calabi-Yau projective varieties, inspired by Tosatti's work on Calabi-Yau projective manifolds.

math.CV

On the $p-$Bergman theory

In this paper we attempt to develop a general $p-$Bergman theory on bounded domains in $\mathbb C^n$. To indicate the basic difference between $L^p$ and $L^2$ cases, we show that the $p-$Bergman kernel $K_p(z)$ is not real-analytic on some bounded complete Reinhardt domains when $p\ge 4$ is an even number. By the calculus of variations we get a fundamental reproducing formula. This together with certain techniques from nonlinear analysis of the $p-$Laplacian yield a number of results, e.g., the off-diagonal $p-$Bergman kernel $K_p(z,\cdot)$ is Hölder continuous of order $\frac12$ for $p>1$ and of order $\frac1{2(n+2)}$ for $p=1$. We also show that the $p-$Bergman metric $B_p(z;X)$ tends to the Carathéodory metric $C(z;X)$ as $p\rightarrow \infty$ and the generalized Levi form $i\partial\bar{\partial}\log K_p(z;X)$ is no less than $B_p(z;X)^2$ for $p\ge 2$ and $ C(z;X)^2$ for $p\le 2.$ Stability of $K_p(z,w)$ or $B_p(z;X)$ as $p$ varies, boundary behavior of $K_p(z)$, as well as basic facts on the $p-$Bergman prjection, are also investigated.

math.CV

Linear invariants of complex manifolds and their plurisubharmonic variations

For a bounded domain $D$ and a real number $p>0$, we denote by $A^p(D)$ the space of $L^p$ integrable holomorphic functions on $D$, equipped with the $L^p$- pseudonorm. We prove that two bounded hyperconvex domains $D_1\subset \mc^n$ and $D_2\subset \mc^m$ are biholomorphic (in particular $n=m$) if there is a linear isometry between $A^p(D_1)$ and $A^p(D_2)$ for some $0 2, p\neq 2,4,\cdots$, provided that the $p$-Bergman kernels on $D_1$ and $D_2$ are exhaustive. With this as a motivation, we show that, for all $p>0$, the $p$-Bergman kernel on a strongly pseudoconvex domain with $\mathcal C^2$ boundary or a simply connected homogeneous regular domain is exhaustive. These results shows that spaces of pluricanonical sections of complex manifolds equipped with canonical pseudonorms are important invariants of complex manifolds. The second part of the present work devotes to studying variations of these invariants. We show that the direct image sheaf of the twisted relative $m$-pluricanonical bundle associated to a holomorphic family of Stein manifolds or compact Kähler manifolds is positively curved, with respect to the canonical singular Finsler metric.

math.CV

New characterizations of plurisubharmonic functions and positivity of direct image sheaves

We give new characterizations of plurisubharmonic functions and Griffiths positivity of holomorphic vector bundles with singular Finsler metrics. As applications, we present a different method to prove plurisubharmonic variation of generalized Bergman kernel metrics and Griffiths positivity of the direct images of twisted relative canonical bundles associated to holomorphic families of Kähler manifolds.

math.CV

Properties of squeezing functions and geometry of bounded domains

In this article we continue the study of properties of squeezing functions and geometry of bounded domains. The limit of squeezing functions of a sequence of bounded domains is studied. We give comparisons of intrinsic positive forms and metrics on bounded domains in terms of squeezing functions. To study the boundary behavior of squeezing functions, we introduce the notions of (intrinsic) ball pinching radius, and give boundary estimate of squeezing functions in terms of these datum. Finally, we use these results to study geometric and analytic properties of some interesting domains, including planar domains, Cartan-Hartogs domains, and a strongly pseudoconvex Reinhardt domain which is not convex. As a corollary, all Cartan-Hartogs domains are homogenous regular, i.e., their squeezing functions admit positive lower bounds.

math.CV

Properties of squeezing functions and global transformations of bounded domains

The central purpose of the present paper is to study boundary behavior of squeezing functions on bounded domains. We prove that the squeezing function of a strongly pseudoconvex domain tends to 1 near the boundary. In fact, such an estimate is proved for the squeezing function on any domain near its globally strongly convex boundary points. We also study the stability of squeezing functions on a sequence of bounded domains, and give comparisons of intrinsic measures and metrics on bounded domains in terms of squeezing functions. As applications, we give new and simple proofs of several well known results about geometry of strongly pseudoconvex domains, and prove that all Cartan-Hartogs domains are homogenous regular. Finally, some related problems that ask for further study are proposed.

math.CV

On Some Properties of Squeezing Functions of Bounded Domains

The main purpose of the present paper is to introduce the notion of squeezing functions of bounded domains and study some properties of them. The relation to geometric and analytic structures of bounded domains will be investigated. Existence of related extremal maps and continuity of squeezing functions are proved. Holomorphic homogeneous regular domains are exactly domains whose squeezing functions have positive lower bounds. Completeness of certain intrinsic metrics and pseudoconvexity of holomorphic homogeneous regular domains are proved by alternative method. In dimension one case, we get a neat description of boundary behavior of squeezing functions of finitely connected planar domains. This leads to a necessary and sufficient conditions for a finitely connected planar domain to be a holomorphic homogeneous regular domain. Consequently, we can recover some important results in complex analysis. For annuli, we obtain some interesting properties of their squeezing functions. We finally exhibit some examples of bounded domains whose squeezing functions can be given explicitly.

math.CV

Complete Einstein-Kähler Metric and Holomorphic Sectional Curvature on $Y_{II}(r,p;K)$

The explicit complete Einstein-Kähler metric on the second type Cartan-Hartogs domain $Y_{II}(r,p;K)$ is obtained in this paper when the parameter $K$ equals $\frac p2+\frac 1{p+1}$. The estimate of holomorphic sectional curvature under this metric is also given which intervenes between $-2K$ and $-\frac{2K}p$ and it is a sharp estimate. In the meantime we also prove that the complete Einstein-Kähler metric is equivalent to the Bergman metric on $Y_{II}(r,p;K)$ when $K=\frac p2+\frac 1{p+1}$.

math.CV