×

On Brody and entire curves. (English) Zbl 1159.32015

Let \(X\) be a compact complex manifold. Using chains of holomorphic discs, one can define on \(X\) a pseudo-distance \(d_X\) named after Kobayashi. By definition \(X\) is Kobayshi hyperbolic if \(d_X\) is a distance (i.e., \(x\neq y \Rightarrow d_X(x,y)>0\)).
The pseudo-distance \(d_X\) can be reconstructed from infinitesimal data: one can define a seminorm on \(TX\), the Kobayashi-Royden pseudo-metric, such that \(d_X\) is recovered from \(|\cdot |\) in the usual way by taking the infimum of the length of curves.
A fundamental result of R. Brody [Trans. Am. Math. Soc. 235, 213–219 (1978; Zbl 0416.32013)] asserts that \(X\) is Kobayashi hyperbolic iff there is no non-constant entire curve \(f: \mathbb{C} \rightarrow X\) with bounded derivative (a so called Brody curve) iff the Kobayashi-Royden pseudo-metric is nondegenerate (i.e., it is a norm: \(v\in T_xX \setminus \{0\} \Rightarrow |v|_x >0\)). In particular, if \(|\cdot |_x\) is degenerate for some \(x\in X\), then there is a Brody curve somewhere in \(X\).
The beautiful paper under review addresses the following question: if \(|\cdot |_x\) is degenerate for a point \(x\in X\), can we find a Brody curve passing through \(x\), or at least such that \(x\in \overline{f(\mathbb{C}})\)?
A related problem is the following. If \(f:\mathbb{C} \rightarrow X\) is a non-constant entire curve, and we apply the construction in the proof of Brody lemma to the restrictions of \(f\) to larger and larger discs, we get a non-constant Brody curve \(\varphi: \mathbb{C} \rightarrow X\) with \(\varphi(\mathbb{C}) \subset \overline{f(\mathbb{C}})\). It is natural to ask if varying \(\varphi\), one can in fact cover all of \( \overline{f(\mathbb{C})}\) or not.
Both statements are answered in the negative in the paper under review, by means of two extremely interesting examples.
In the first example (discussed in §3), the author constructs an abelian surface \(T\) with two open subsets \(\Omega _2 \subset \Omega_1 \subset T\) having the following properties: a) \(\Omega_2 \) is not dense in \(\Omega_1\) and \(\Omega_1 \) is not dense in \(T\); b) there is an entire curve in \(\Omega_1\) whose image is dense in \(\Omega_1\) (one can impose that this curve passes through any fixed point of \(\Omega_1\) with prescribed tangent); c) \(\Omega_2\) is covered by non-constant Brody curves contained in \(\Omega_2\); d) any non-constant Brody curve contained in \(\Omega_1\) is in fact contained in \(\Omega_2\) (together with its closure). This shows that the answer to the second problem mentioned above is negative: if we start with an entire curve sweeping all \(\Omega_1\) and apply Brody’s construction, in the process of reparametrizing and passing to a subsequence the curve gets confined to \(\Omega_2\). The abelian surface \(T\) is a product of two elliptic curves and the construction of \(\Omega_1\) and \(\Omega_2\) boils down to finding entire functions with some special properties. This is accomplished through very ingeneous explicit arguments and by application of the Arakelyan approximation theorem [see e.g., J. P. Rosay and W. Rudin, Am. Math. Mon. 96, No. 5, 432–434 (1989; Zbl 0678.30025)].
The second example is given by a \(3\)-fold \(X\) which is the blow-up of an abelian \(3\)-fold \(A\) along a smooth curve \(C\subset A\). Since affine maps \(\mathbb{C} \rightarrow A\) lift to \(X\), the Kobayashi-Royden pseudo-metric vanishes identically on any such \(X\). On the other hand, if \(A\) and \(C\) are carefully chosen, any non-constant Brody curve in \(X\) is contained in the exceptional divisor \(E\). In particular for any \(x\in X \setminus E\), we have \(|\cdot |_x\equiv 0\), but there is no non-constant Brody curve through \(x\). This provides a negative answer to both problems mentioned above. The proof is this time very geometrical, and proceeds roughly as follows. In §§5.2–5.3 the author proves the following: given any \(A,C \) and \(X\) as above, and a non-constant affine map \(f: \mathbb{C} \rightarrow A\), denote by \(B\) the (real) closure of \(f(\mathbb{C})\) in \(A\); if \(B\) and \(C\) intersect transversally at some point, then \(f\) cannot lift to a non-constant Brody curve in \(X\). Next, some properties of real subtori in abelian \(3\)-folds are established (§§5.4–5.5), which are of independent interest. As a result of this analysis the author proves the existence of \(A_0\) and \(C_0\) with the following property: given a 1-parameter subgroup \(P\) of \(A_0\) and a point \(p\in A_0\), let \(B\) denote the (real) closure of the translate of \(P\) through \(p\); then \(B\) intersects \(C_0\) transversally at some point (Prop. 7). The proof is then completed as follows (§5.1). Let \(\pi: X_0\rightarrow A_0\) be the blow-up map. If \(\widehat{f}: \mathbb{C} \rightarrow X_0\) is a Brody curve, then \(f=\pi\circ \widehat{f}\) is Brody as well, therefore affine. Let \(B\) be the (real) closure of \(f(\mathbb{C})\). By Prop. 7, \(B\) and \(C_0\) intersect transversally at some point. Therefore, \(f\) must be constant and \(\widehat{f}(\mathbb{C}) \subset E\).
§6 contains some remarks related to the analogy with diophantine geometry. If the second example can be constructed over a number field, then the proper analogue of infinite sequences of rational points might be arbitrary entire curves, not necessarily with bounded derivative.
As the author notices (Question 1 p.26) the following remains open: if \(X\) is a compact complex manifold and for some \(x\in X \) the Kobayashi-Royden pseudometric \(|\cdot|_x\) is degenerate, is there a non-constant entire curve \(f: \mathbb{C} \rightarrow X\) with \(x\in f(\mathbb{C})\)?
Questions of a similar nature are addressed also in a recent paper by J. Duval [Invent. Math. 173, No. 2, 305–314 (2008; Zbl 1155.32017)].

MSC:

32Q45 Hyperbolic and Kobayashi hyperbolic manifolds
32A22 Nevanlinna theory; growth estimates; other inequalities of several complex variables
14K12 Subvarieties of abelian varieties
PDFBibTeX XMLCite
Full Text: DOI Link

References:

[1] N. U. Arakeljan -“Approximation complexe et propriétés des fonctions analytiques”, in Actes du Congrès International des Mathématiciens (Nice, 1970), Tome 2, vol. 2, Gauthier-Villars, 1971, p. 595-600. · Zbl 0234.30029
[2] A. Bloch -“Sur les systèmes de fonctions uniformes satisfaisant à l”equation d’une variété algébrique dont l’irrégularité dépasse la dimen-sion”, J. Math. Pures Appl. 5 (1926), p. 19-66. · JFM 52.0373.04
[3] R. Brody -“Compact manifolds in hyperbolicity”, Trans. Amer. Math. Soc. 235 (1978), p. 213-219. · Zbl 0416.32013
[4] BULLETIN DE LA SOCIÉTÉ MATHÉMATIQUE DE FRANCE
[5] F. Campana -“Orbifolds, special varieties and classification theory”, Ann. Inst. Fourier (Grenoble) 54 (2004), p. 499-630. · Zbl 1062.14014
[6] G. Faltings -“Endlichkeitssätze für abelsche Varietäten über Zahlkör-pern”, Invent. Math. 73 (1983), p. 349-366. · Zbl 0588.14026
[7] Y. Kawamata -“On Bloch”s conjecture”, Invent. Math. 57 (1980), p. 97-100. · Zbl 0569.32012
[8] S. Kobayashi -Hyperbolic complex spaces, Grundlehren der Mathema-tischen Wissenschaften, vol. 318, Springer, 1998. · Zbl 0917.32019
[9] S. Lang -Introduction to complex hyperbolic spaces, Springer, 1987. · Zbl 0628.32001
[10] , Number theory. III, Encyclopaedia of Mathematical Sciences, vol. 60, Springer, 1991, Diophantine geometry. · Zbl 0744.14012
[11] H. L. Royden -“Remarks on the Kobayashi metric”, in Several com-plex variables, II (Proc. Internat. Conf., Univ. Maryland, College Park, Md., 1970), Lecture Notes in Math., vol. 185, Springer, 1971, p. 125-137. Lecture Notes in Math., Vol. 185. · Zbl 0218.32012
[12] P. Vojta -Diophantine approximations and value distribution theory, Lecture Notes in Mathematics, vol. 1239, Springer, 1987. · Zbl 0609.14011
[13] L. Zalcman -“Normal families: new perspectives”, Bull. Amer. Math. Soc. (N.S.) 35 (1998), p. 215-230. · Zbl 1037.30021
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.