We prove that every bounded strictly $J$-convex region equipped with the Kobayashi metric is hyperbolic in the sense of Gromov. We apply this result to the study of the dynamics of pseudo-holomorphic maps.
In this paper we prove necessary and sufficient conditions for the Kobayashi metric on a convex domain to be Gromov hyperbolic. In particular we show that for convex domains with $C^\infty$ boundary being of finite type in the sense of D'Angelo is equivalent to the Gromov hyperbolicity of the Kobayashi metric. We also show that bounded domains which are locally convexifiable and have finite type in the sense of D'Angelo have Gromov hyperbolic Kobayashi metric. The proofs use ideas from the theory of the Hilbert metric.
The purpose of this article is to consider two themes both of which emanate from and involve the Kobayashi and the Carathéodory metric. First we study the biholomorphic invariant introduced by B. Fridman on strongly pseudoconvex domains, on weakly pseudoconvex domains of finite type in $\mathbf C^2$ and on convex finite type domains in $\mathbf C^n$ using the scaling method. Applications include an alternate proof of the Wong-Rosay theorem, a characterization of analytic polyhedra with noncompact automorphism group when the orbit accumulates at a singular boundary point and a description of th…
We construct an elementary counterexample to the criterion for Kobayashi hyperbolicity for a class of tube domains in ${\mathbb C}^2$ proposed by J.-J. Loeb.
Let $D=\{ρ< 0\}$ be a smooth relatively compact domain in an almost complex manifold $(M,J)$, where $ρ$ is a smooth defining function of $D$, strictly $J$-plurisubharmonic in a neighborhood of the closure $\overline{D}$ of $D$. We prove that $D$ has a connected boundary and is Gromov hyperbolic.
We prove that the Kobayashi distance near boundary of a pseudoconvex Reinhardt domain $D$ increases asymptotically at most like $-\log d_D+C$. Moreover, for boundary points from $\text{int}\bar{D}$ the growth does not exceed $1/2\log(-\log d_D)+C$. The lower estimate by $-1/2\log d_D+C$ is obtained under additional assumptions of $\mathcal C^1$-smoothness of a domain and a non-tangential convergence.
This note concerns tube domains in ${\mathbb C}^2$ with the envelope of holomorphy not equal to the entire space. We construct examples showing that for such domains the sufficient condition for Kobayashi hyperbolicity due to M. Jarnicki and P. Pflug cannot be replaced by its weaker "affine" variant, which is known to be a necessary condition for hyperbolicity. Thus, we arrive at the somewhat unexpected conclusion that the obstructions for a domain in the above class to be Kobayashi hyperbolic are not just "affine".
The Ricci curvature of the Bergman metric on a bounded domain $D\subset \mathbb{C}^n$ is strictly bounded above by $n+1$ and consequently $\log (K_D^{n+1}g_{B,D})$, where $K_D$ is the Bergman kernel for $D$ on the diagonal and $g_{B, D}$ is the Riemannian volume element of the Bergman metric on $D$, is the potential for a Kähler metric on $D$ known as the Kobayashi--Fuks metric. In this note we study the localization of this metric near holomorphic peak points and also show that this metric shares several properties with the Bergman metric on strongly pseudoconvex domains.
In this paper we give an local estimate for the Kobayashi distance on a bounded convex domain of finite type, which relates to a local pseudodistance near the boundary. The estimate is precise up to a bounded additive term. Also we conclude that the domain equipped with the Kobayashi distance is Gromov hyperbolic which gives another proof of the result of Zimmer.
In an earlier article the second author introduced three families of tube domains in ${\mathbf C}^2$ with holomorphic automorphism group isomorphic to ${\mathbf R}\ltimes{\mathbf R}^2$ and envelope of holomorphy equal to ${\mathbf C}^2$. In the present paper we show that every domain in each of these families is Kobayashi-hyperbolic.
Let D be a smooth relatively compact and strictly J-pseudoconvex domain in a four dimensional almost complex manifold (M,J). We give sharp estimates of the Kobayashi metric. Our approach is based on an asymptotic quantitative description of both the domain D and the almost complex structure J near a boundary point. Following Z.M.Balogh and M.Bonk, these sharp estimates provide the Gromov hyperbolicity of the domain D.
Let D be a J-pseudoconvex region in a smooth almost complex manifold (M,J) of real dimension four. We construct a local peak J-plurisubharmonic function at every boundary point p of finite D'Angelo type. As applications we give local estimates of the Kobayashi pseudometric, implying the local Kobayashi hyperbolicity of D at p. In case the point p is of D'Angelo type less than or equal to four, or the approach is nontangential, we provide sharp estimates of the Kobayashi pseudometric.
We give a necessary complex geometric condition for a bounded smooth convex domain in Cn, endowed with the Kobayashi distance, to be Gromov hyperbolic. More precisely, we prove that if a smooth bounded convex domain contains an analytic disk in its boundary, then the domain is not Gromov hyperbolic for the Kobayashi distance. We also provide examples of bounded smooth convex domains that are not strongly pseudoconvex but are Gromov hyperbolic.
We construct a convex and strongly pseudoconvex Kobayashi positive Finsler metric on a vector bundle $E$ under the assumption that the symmetric power of the dual $S^kE^*$ has a Griffiths negative $L^2$-metric for some $k$. The proof relies on the negativity of direct image bundles and the Minkowski inequality for norms. As a corollary, we show that given a strongly pseudoconvex Kobayashi positive Finsler metric, one can upgrade to a \textit{convex} Finsler metric with the same property. We also give an extremal characterization of Kobayashi curvature for Finsler metrics.
We deliver examples of non-Gromov hyperbolic tube domains with convex bases (equipped with the Kobayashi distance). This is shown by providing a criterion on non-Gromov hyperbolicity of (non-smooth) domains.The results show the similarity of geometry of the bases of non-Gromov hyperbolic tube domains with the geometry of non-Gromov hyperbolic convex domains. A connection between the Hilbert metric of a convex domain $Ω$ in $\mathbb R^n$ with the Kobayashi distance of the tube domain over the domain $Ω$ is also shown. Moreover, continuity properties up to the boundary of complex geodesics in tu…
The classical Brody's theorem asserts the equivalence between two notions of hyperbolicity for compact complex spaces, one named after Kobayashi and one expressed in terms of lack of non constant holomorphic entire functions (compactness is only used to prove the harder implication). We extend this theorem to Deligne-Mumford analytic stacks, by first providing definitions of what we think of Kobayashi and Brody hyperbolicity for such objects and then proving the equivalence of these concepts under an assumption of compactness.
After a study of the Kobayashi metrics on certain scaled domains, we show the stabilities of the infinitesimal Kobayashi metrics and the integrated distances in different scaling processes. As an application, we prove that bounded pseudo-convex domains of finite type where the Levi form of every boundary point has corank one are Gromov hyperbolic with respect to the Kobayashi metric. The results in this note generalize Zimmer's and Fiacchi's related works on Gromov hyperbolicity of weakly pseudo-convex domains.
Let $D \subset \mathbb{C}^n$ be a smoothly bounded pseudoconvex Levi corank one domain with defining function $r$, i.e., the Levi form $\partial \bar {\partial} r$ of the boundary $\partial D$ has at least $(n - 2)$ positive eigenvalues everywhere on $\partial D$. The main goal of this article is to obtain a lower bound for the Carathéodory, Kobayashi and the Bergman distance between a given pair of points $p, q \in D$ in terms of parameters that reflect the Levi geometry of $\partial D$ and the distance of these points to the boundary. Applications include an understanding of Fridman's invari…
In this paper we study the global geometry of the Kobayashi metric on "convex" sets. We provide new examples of non-Gromov hyperbolic domains in $\mathbb{C}^n$ of many kinds: pseudoconvex and non-pseudocon \newline -vex, bounded and unbounded. Our first aim is to prove that if $Ω$ is a bounded weakly linearly convex domain in $\mathbb{C}^n,\,n\geq 2,$ and $S$ is an affine complex hyperplane intersecting $Ω,$ then the domain $Ω\setminus S$ endowed with the Kobayashi metric is not Gromov hyperbolic (Theorem 1.3). Next we localize this result on Kobayashi hyperbolic convex domains. Namely, we sho…
This survey article mainly addresses to graduate students and young researchers in complex geometry willing to enter the beautiful word of connections between curvature and Kobayashi hyperbolicity. It is a detailed account of a recent breakthrough by Wu and Yau, shortly after generalized by Tosatti and Yang (and others), which sits on the crossroad between complex differential geometry and Kobayashi hyperbolicity. More specifically, an old conjecture by Kobayashi, stated at the very beginning of the theory, predicts that a compact hyperbolic manifold should have ample canonical bundle. Now, on…
In this paper we study the global geometry of the Kobayashi metric on domains in complex Euclidean space. We are particularly interested in developing necessary and sufficient conditions for the Kobayashi metric to be Gromov hyperbolic. For general domains, it has been suggested that a non-trivial complex affine disk in the boundary is an obstruction to Gromov hyperbolicity. This is known to be the case when the set in question is convex. In this paper we first extend this result to $\mathbb{C}$-convex sets with $C^1$-smooth boundary. We will then show that some boundary regularity is necessar…
We show that two smoothly bounded, strongly pseudoconvex domains which are diffeomorphic may be smoothly deformed into each other, with all intermediate domains being strongly pseudoconvex. This result relates to Lempert's ideas about Kobayashi extremal discs, and also has intrinsic interest.
In this paper, we prove that in any projective manifold, the complements of general hypersurfaces of sufficiently large degree are Kobayashi hyperbolic. We also provide an effective lower bound on the degree. This confirms a conjecture by S. Kobayashi in 1970. Our proof, based on the theory of jet differentials, is obtained by reducing the problem to the construction of a particular example with strong hyperbolicity properties. This approach relies the construction of higher order logarithmic connections allowing us to construct logarithmic Wronskians. These logarithmic Wronskians are the buil…
In this paper we prove that every quasi-projective base space $V$ of smooth family of minimal projective manifolds with maximal variation is pseudo Kobayashi hyperbolic, i.e. $V$ is Kobayashi hyperbolic modulo a proper subvariety $Z\subsetneq V$. In particular, $V$ is algebraically degenerate, that is, every nonconstant entire curve $f:\mathbb{C}\to V$ has image $f(\mathbb{C})$ which lies in that proper subvariety $Z\subsetneq V$. As a direct consequence, we prove the Brody hyperbolicity of moduli spaces of minimal projective manifolds, which answers a question by Viehweg-Zuo in 2003.
We construct an unbounded strictly pseudoconvex Kobayashi hyperbolic and complete domain in $\mathbb{C}^2$, which also possesses complete Bergman metric, but has no nonconstant bounded holomorphic functions.
We establish a lower estimate for the Kobayashi-Royden infinitesimal pseudometric on an almost complex manifold $(M,J)$ admitting a bounded strictly plurisubharmonic function. We apply this result to study the boundary behaviour of the metric on a strictly pseudoconvex domain in $M$ and to give a sufficient condition for the complete hyperbolicity of a domain in $(M,J)$. Finally we obtain the regularity up to the bounday of $J$-holomorphic discs attached to a totally real submanifold in $M$.
We give a parameter version of Graham-Kerzman approximation theorem for bounded holomorphic functions on strictly pseudoconvex domains. As an application, we present some uniform estimates for the boundary behaviour of the Kobayashi and Carathéodory pseudodistences on such domains.
Optimal bounds for the Kobayashi distance near $\mathcal C^2$-smooth boundary points
Institute of Mathematics and Informatics Bulgarian Academy of Sciences(保加利亚科学院数学与情报学研究所);Faculty of Information Sciences State University of Library Studies and Information Technologies(图书馆与信息技术国立大学信息科学学院);Institut de Mathématiques de Toulouse(图卢兹数学研究所;图卢兹大学;法国国家科学研究中心);UMR5219 Université de Toulouse;CNRS UPS
The Green-Griffiths-Lang conjecture stipulates that for every projective variety $X$ of general type over ${\mathbb C}$, there exists a proper algebraic subvariety of $X$ containing all non constant entire curves $f:{\mathbb C}\to X$. Using the formalism of directed varieties, we prove here that this assertion holds true in case $X$ satisfies a strong general type condition that is related to a certain jet-semistability property of the tangent bundle $T\_X$. We then use this fact to confirm a long-standing conjecture of Kobayashi (1970), according to which a very general algebraic hypersurface…
We construct new complete Einstein metrics on smoothly bounded strictly pseudoconvex domains in Stein manifolds. This is done by deforming the Kähler-Einstein metric of Cheng and Yau, the approach that generalizes the works of Roth and Biquard on the deformations of the complex hyperbolic metric on the unit ball. Recasting the problem into the question of vanishing of an $L^2$ cohomology and taking advantage of the asymptotic complex hyperbolicity of the Cheng-Yau metric, we establish the possibility of such a deformation when the dimension of the domain is larger than or equal to three.
Optimal Linear Dependence on Boundary Type for Local Gromov Hyperbolicity of the Kobayashi Metric
School of Science, Beijing University of Posts and Telecommunications(北京邮电大学理学院);Key Laboratory of Mathematics and Information Networks (Beijing University of Posts and Telecommunications), Ministry of Education, China(教育部数学与信息网络重点实验室(北京邮电大学))
In this short note, we prove that a complex Finsler vector bundle with positive Kobayashi curvature must be ample, which partially solves a problem of S. Kobayashi posed in 1975. As applications, a strongly pseudoconvex complex Finsler manifold with positive Kobayashi curvature must be biholomorphic to the complex projective space; we also show that all Schur polynomials are numerically positive for complex Finsler vector bundles with positive Kobayashi curvature.
We review some recent results on existence and regularity of Monge-Ampère exhaustions on the smoothly bounded strongly pseudoconvex domains, which admit at least one such exhaustion of sufficiently high regularity. A main consequence of our results is the fact that the Kobayashi pseudo-metric k on an appropriare open subset of each of the above domains is actually a smooth Finsler metric. The class of domains to which our result apply is very large. It includes for instance all smoothly bounded strongly pseudoconvex complete circular domains and all their sufficiently small deformations.
In this paper, we construct a pseudoconvex domain in $\mathbb C^3$ where the Kobayashi metric does not blow up at a rate of one over distance to the boundary in the normal direction.
We study extremal discs for the Kobayashi metric. Inspired by work of Lempert on strongly convex domains, we present results on strongly pseudoconvex domains. We also consider a useful biholomorphic invariant, inspired by the Kobayashi (and Carathéodory) metric, and prove several new results about biholomorphic equivalence of domains. Some useful results about automorphism groups of complex domains are also established.
In this paper we introduce a new class of domains in complex Euclidean space, called Goldilocks domains, and study their complex geometry. These domains are defined in terms of a lower bound on how fast the Kobayashi metric grows and an upper bound on how fast the Kobayashi distance grows as one approaches the boundary. Strongly pseudoconvex domains and weakly pseudoconvex domains of finite type always satisfy this Goldilocks condition, but we also present families of Goldilocks domains that have low boundary regularity or have boundary points of infinite type. We will show that the Kobayashi …
We provide several equivalent characterizations of Kobayashi hyperbolicity in unbounded convex domains in terms of peak and anti-peak functions at infinity, affine lines, Bergman metric and iteration theory.
We study the hyperbolicity of the log variety $(\mathbb{P}^n, X)$, where $X$ is a very general hypersurface of degree $d\geq 2n+1$ (which is the bound predicted by the Kobayashi conjecture). Using a positivity result for the sheaf of (twisted) logarithmic vector fields, which may be of independent interest, we show that any log-subvariety of $(\mathbb{P}^n, X)$ is of log-general type, give a new proof of the algebraic hyperbolicity of $(\mathbb{P}^n, X)$, and exclude the existence of maximal rank families of entire curves in the complement of the universal degree $d$ hypersurface. Moreover, we…
We refine estimates introduced by Balogh and Bonk, to show that the boundary extensions of isometries between smooth strongly pseudoconvex domains in $\C^n$ are conformal with respect to the sub-Riemannian metric induced by the Levi form. As a corollary we obtain an alternative proof of a result of Fefferman on smooth extensions of biholomorphic mappings between pseudoconvex domains. The proofs are inspired by Mostow's proof of his rigidity theorem and are based on the asymptotic hyperbolic character of the Kobayashi or Bergman metrics and on the Bonk-Schramm hyperbolic fillings.
This article considers isometries of the Kobayashi and Carathéod-ory metrics on domains in $ \mathbf{C}^n $ and the extent to which they behave like holomorphic mappings. First we prove a metric version of Poincaré's theorem about biholomorphic inequivalence of $ \mathbf{B}^n $, the unit ball in $ \mathbf{C}^n $ and $ Δ^n $, the unit polydisc in $ \mathbf{C}^n $ and then provide few examples which \textit{suggest} that $ \mathbf{B}^n $ cannot be mapped isometrically onto a product domain. In addition, we prove several results on continuous extension of isometries $ f : D_1 \rightarrow D_2 $ to…
We construct families of convex domains that are biholomorphic to bounded domains, but not bounded convex domains. This is accomplished by finding an obstruction related to the Gromov hyperbolicity of the Kobayashi metric.