# Rational connectedness and order of non-degenerate meromorphic maps from \({{\mathbb C}}^n\)

- 389 Downloads

## Abstract

We show that an *n*-dimensional compact Kähler manifold *X* admitting a non-degenerate meromorphic map \(f:{\mathbb C}^n\rightarrow X\) of order Open image in new window is rationally connected.

## Keywords

Rational connectedness Order of a non-degenerate meromorphic map## Mathematics Subject Classification

32A22 14E08 32H04 14J40 32Q45## 1 Introduction

The purpose of this paper is the following result.

**Theorem 1.1**

Let *X* be a compact Kähler manifold of fixed dimension *n*. Let \(f:{\mathbb C}^n\dasharrow X\) be a non-degenerate meromorphic map of order Open image in new window (see the next section for the definition of Open image in new window ). Then *X* is rationally connected, hence projective.

(Here a meromorphic map \(f:{\mathbb C}^n\dasharrow X\) is called *non-degenerate* if there is a point *v* such that *f* is defined in *v* and Open image in new window is surjective.)

This result belongs to a series of similar statements relating the existence and growth of maps from \({\mathbb C}^n\) to algebro-geometric properties of the target space *X*. These statements are better expressed by introducing the following invariant \(\rho (X)\), which suggests many questions, some of which are raised in the last section.

**Definition 1.2**

Let *X* be an *n*-dimension connected compact complex manifold. Define Open image in new window . It is understood that Open image in new window , and that Open image in new window if there exists no non-degenerate meromorphic map \(f:{\mathbb {C}}^n\rightarrow X\).

The invariant \(\rho \) is easily seen to be bimeromorphic, preserved by finite étale covers, and *increasing* (i.e., \(\rho (X)\geqslant \rho (Y)\) if there exists a dominant meromorphic map \(g:X\rightarrow Y\)). It is obvious that \(\rho (X)=0\) if *X* is unirational, because Open image in new window for every rational map *f*.

Kobayashi and Ochiai proved that the existence of a non-degenerate meromorphic map from \({\mathbb C}^n\) to a projective manifold *X* implies that *X* is not of general type [9]. Thus Open image in new window if *X* is of general type. It is proved in [4], more generally, that *X* is ‘special’ if there exists a non-degenerate meromorphic map Open image in new window . In particular, *X* must be special if Open image in new window .

If *X* is Kähler and \(K_X\) is pseudo-effective of numerical dimension \(\nu \in \{0,1,\dots , n\}\), then Open image in new window [6]. This implies the previous result of Kobayashi–Ochiai (since *X* is of general type if and only if \(\nu =n\)). Using [2], it also implies that if *X* is projective, then *X* is uniruled if \(\rho (X)<2\).

If \(h^0\bigl (X,\mathrm{Sym}^k(\mathrm{\Omega }^p_X)\bigr )\ne 0\), for some \(k,p>0\), then \(\rho (X)\geqslant 2\) [11]. The Kähler condition is not required here. If, in addition, *X* is assumed to be a Kähler surface, then the condition \(h^0\bigl (X,\mathrm{Sym}^k(\mathrm{\Omega }^p_X)\bigr )=0\) for all *p*, *k* implies that *X* is rational. Thus, if *X* is a Kähler surface and if \(\rho (X)<2\), then *X* must be rational [11]. On the other hand, some Hopf (thus non-rational, non-Kähler) surfaces have \(\rho (X)= 1\) [11].

Mumford conjectured that for a projective manifold (of arbitrary dimension) the condition “\(h^0\bigl (X,\mathrm{Sym}^k(\mathrm{\Omega }^p_X)\bigr )\ne 0\) for some \(k,p>0\)” is equivalent to *X* being not rationally connected. However, it is still unknown whether this conjecture holds.

The present result generalizes these two results from [6, 11], avoiding the deep methods of [6]. The estimate Open image in new window is optimal, since for an Abelian variety *A* we have \(\rho _\tau =2\) for the universal covering map \(\tau :{\mathbb C}^g\rightarrow A\).

All these results provide lower bounds for \(\rho (X)\) deduced from the geometry of *X*. Producing upper bounds for \(\rho (X)\) (i.e., the existence of non-degenerate *f*) turns out to be a completely open topic, except in the trivial case of *X* unirational or a torus.

The case of rationally connected vs unirational manifolds when \(n\geqslant 3\) is of great interest. For example, what is \(\rho (X)\) if *X* is a ‘general’ smooth quartic in \({\mathbb {P}}^4\)? If \(\rho (X)>0\), then *X* is not unirational. More generally, are there projective manifolds *X* such that \(\rho (X)\in (0,2)\)? Such a manifold *X* would necessarily be rationally connected, but not unirational. See the last section for some more questions.

## 2 Characteristic function and order of a non-degenerate meromorphic map

We start with some preparations. Let *X* be a compact complex manifold and let Open image in new window be a meromorphic map. The map *f* is said to be (differentiably) *non-degenerate* if there is a point \(p\in {\mathbb C}^n\) such that *f* is holomorphic at *p* and Open image in new window is surjective.

*X*. The characteristic function of

*f*(with respect to \(\omega \)) is defined asHere \(B_t=\{z\in {\mathbb C}^n:\Vert z\Vert <t\}\). Observe that the integral over \(B_t\) is well defined even if

*f*is only meromorphic, not necessarily holomorphic.

*X*, then (by the compactness of

*X*) there are constants \(C_1,C_2>0\) such thatand, consequently,The characteristic function Open image in new window is a very fine tool for measuring the growth of a map. A coarser invariant is the

*order*Open image in new window which is defined aswhere \(\omega \) is a positive (1, 1)-form on

*X*. Due to inequalities (1) this number Open image in new window is independent of the choice of the positive (1, 1)-form \(\omega \) used in the definition of Open image in new window .

The well-known Crofton’s formula (see e.g. [8]) implies that Open image in new window equals the average of Open image in new window taken over all complex lines \(L\subset {\mathbb C}^n\). This permits to extend many properties of characteristic functions from the case of entire curves to the higher-dimensional domains. For instance, let \(\tau :X'\rightarrow X\) be a bimeromorphic holomorphic map between compact complex manifolds. Then Open image in new window is again a non-degenerate meromorphic map, and Open image in new window .

Now let \(\alpha :X\rightarrow Y\) be a dominant holomorphic map. Then it follows directly from the definitions that Open image in new window (if \(\omega _X\geqslant \alpha ^*(\omega _Y)\)) and, consequently, Open image in new window .

## 3 Rational connectedness

As usual, a compact complex manifold *X* (usually Kähler) is called *rationally connected* (RC) if every two points can be linked by a (possibly singular) irreducible rational curve. (Equivalently in the Kähler case: can be linked by a chain of rational curves). Unirational manifolds are RC. There are unirational threefolds which are not rational, e.g. smooth cubic hypersurfaces in \({\mathbb P}_4\). However, it is not known whether there exist RC manifolds which are not unirational, although it is expected that these should exist (the case of ‘general’ quartics in \({\mathbb P}_4\) being one of the first open cases) .

Rationally connected compact Kähler manifolds are projective (since \(h^{2,0}=0\), using Kodaira’s criterion).

Let *X* be a compact connected Kähler manifold. Then there exists an “almost holomorphic” rational dominant map Open image in new window (called the *RC-reduction*, or *rational quotient* [3], or the *MRC-fibration* [10] if *X* is projective), such that the fibers are RC, and maximal with this property.

When *X* is projective, it is known (by [7]) that the base *Y* is not uniruled. In fact, [7] shows that if Open image in new window is a surjective meromorphic map with fibres and base *Y* which are both RC, then *X* is RC if it is compact Kähler (remark first that \(h^{2,0}(X)=0\), and that *X* is thus projective). The base *Y* of the RC-reduction Open image in new window is not uniruled also when *X* is compact Kähler. Let indeed \(r:Y\dasharrow Z\) be the RC-reduction of *Y*. The fibres of Open image in new window are thus RC, and so \(Y=Z\), which means that *Y* is not uniruled.

Due to [2] a projective manifold is uniruled if and only if \(K_X\) is not pseudo-effective. Based on this, another recent criterion is the following (see [5]): *Let* *X* *be a compact Kähler manifold. Then* *X* *is rationally connected if and only if there is no pseudo-effective invertible subsheaf* \(F\subset \mathrm{\Omega }^p_X (\)for some \(p\in {\mathbb N})\).

The proof consists in observing that *X* is not RC precisely if its RC-reduction Open image in new window has \(\dim Y=p>0\). Define then \(F=\rho ^*(K_Y)\), which is pseudo-effective since *Y* is not uniruled.

It is conjectured that a compact Kähler (or equivalently, projective) manifold *X* is RC if (and only if) there is no \({\mathbb Q}\)-effective (instead of pseudo-effective) invertible subsheaf \(F\subset \mathrm{\Omega }^p_X\) (for some \(p\in {\mathbb N}\)). By means of the RC-reduction as above, this conjecture is equivalent to the ‘non-vanishing conjecture’, claiming that if \(K_X\) is pseudo-effective, it is \({\mathbb Q}\)-effective.

## 4 Pseudo-effective line bundles

A singular hermitian metric *h* on a complex line bundle is given in the form Open image in new window , where *s* is the standard metric for some local holomorphic trivialization and \(\phi \) is a \(L^1_\mathrm{loc}\)-function. The \(L^1_\mathrm{loc}\)-condition ensures that the curvature Open image in new window makes sense (in the sense of currents) and represents the Chern class of the line bundle.

A line bundle *L* on a compact complex manifold is called *pseudo-effective* if there is a singular hermitian metric *h* with semipositive curvature \(\mathrm{\Theta }_h\geqslant 0\). This condition means that the metric is locally given via a weight function \(e^{-\phi }\) with \(\phi \) being plurisubharmonic. Now let \(F^*\) be the dual line bundle equipped with the *dual metric* \(h^*\), i.e., the metric with weight factor \(e^\phi \). If *F* is pseudo-effective and *s* is a holomorphic section in \(F^*\), plurisubharmonicity of \(\phi \) implies that \(\log \Vert s\Vert _{h^*}\) is plurisubharmonic.

## 5 Measuring the derivative

*V*,

*W*be complex vector spaces equipped with hermitian inner products. The norm \(\Vert F\Vert \) of a complex linear map \(F:V\rightarrow W\) is defined by Open image in new window where \(F^\dagger \) denotes the adjoint of

*F*. If

*A*is the matrix describing

*F*with respect to orthonormal bases on

*V*and

*W*, then

*V*and

*W*naturally induce inner products on the dual vector spaces \(V^*\), respectively, \(W^*\). Observe that, given a linear map \(F:V\rightarrow W\), the dual map \(F^*:W^*\rightarrow V^*\) fulfills \(\Vert F^*\Vert =\Vert F\Vert \).

*F*induces linear maps \(\otimes ^kF:\otimes ^kV\rightarrow \otimes ^kW\) and \(\mathrm{\Lambda }^k:\mathrm{\Lambda }^k V \rightarrow \mathrm{\Lambda }^k W\). An orthonormal base \(e_1,\ldots ,e_n\) of

*V*induces an orthonormal base of \(\otimes ^kV\) given by all tensors of the form Open image in new window . Using such bases, it is clear that Open image in new window . As a consequence,because \(\mathrm{\Lambda }^kV\subset \otimes ^kV\).

*operator norm*which we denote as \(\Vert F\Vert _\mathrm{op}\). It is defined asClearly, \(\Vert F(e_j)\Vert \!\leqslant \!\Vert F\Vert _\mathrm{op}\) if \(e_j\) form an orthonormal base. Since \(\Vert F\Vert ^2\!=\!\sum _i\Vert F(e_i)\Vert ^2\), we have Open image in new window . On the other hand, evidently \(\Vert F(e_j)\Vert ^2\!\leqslant \!\Vert F\Vert ^2\) for all

*j*and therefore Open image in new window for all \(v\in V\). Thus \(\Vert F\Vert _\mathrm{op}\leqslant \Vert F\Vert \).

*U*,

*V*be open subsets in \({\mathbb C}^n\), let Open image in new window be the Kähler form for the euclidean metric and let \(f:U\rightarrow V\) be a holomorphic map. Thenwhere

**Proposition 5.1**

*X*an

*n*-dimensional compact complex manifold equipped with a hermitian metric

*h*and a positive (1, 1)-form \(\omega \) and let \(f:U\rightarrow X\) be a holomorphic map. Let Open image in new window . Then there is a constant \(C>0\) such thatHere the norm \(\Vert Df\Vert \) is calculated in each point \(x\in U\) with respect to

*h*on Open image in new window and the euclidean norm on Open image in new window .

*Proof*

We cover *X* with finitely many open subsets \(V_k\) such that each \(V_k\) admits an embedding \(j_k:V_k\rightarrow {\mathbb C}^n\) and each \(V_k\) contains a relatively compact open subset \(W_k\subset V_k\) such that \(X=\bigcup _kW_k\). Let \(h_k\) denote the hermitian metric on \(V_k\) induced by the euclidean metric via its embedding in \({\mathbb C}^n\). We choose \(C_1>0\) such that \(h_k\leqslant C_1h\) everywhere on each \(W_k\) and \(C_2>0\) such that \(\omega \geqslant C_2 j_k^*\alpha \) on each \(W_k\). Then the claim (with \(C=C_1C_2\)) follows from the preceding local observation.\(\square \)

## 6 Proof of Theorem 1.1

Assume by contradiction that *X* is not rationally connected. Then there is a pseudo-effective invertible subsheaf \({\mathscr {F}}\subset \mathrm{\Omega }^p_X\) (for some \(p\in {\mathbb N}\)). We fix a hermitian metric *h* on *X*. The hermitian metric on \(T_X\) induces a hermitian metric \(h_p\) on \(\mathrm{\Omega }_X^p\).

The injection of sheaves \({\mathscr {F}}\hookrightarrow \mathrm{\Omega }^p_X\) corresponds to a non-zero vector bundle homomorphism \(\xi _0:F\rightarrow \mathrm{\Omega }^p_X\), where *F* is a pseudo-effective line bundle on *X*. Since *F* is pseudo-effective, there is a singular hermitian metric *g* on *F* such that \(\mathrm{\Theta }_g\geqslant 0\), i.e, with positive curvature current.

*There is a constant*\(K\in {\mathbb R}^+\)

*such that*

*for all*\(v\in F_x\), \(x\in X\).

*u*. Since

*u*is upper semicontinuous with values in Open image in new window , the map \(v\mapsto \Vert v\Vert _g\) is lower semicontinuous with values in Open image in new window for \(v\ne 0\). Hence

*X*now implies the claim.

Next we consider the pull-back bundles Open image in new window and \(f^*\mathrm{\Omega }^p_X\). They are defined on Open image in new window , where *I*(*f*) denoting the indeterminacy set of the meromorphic map *f*. We consider these bundles equipped with the pull-backed metrics, which we denote by \(\widetilde{g}=f^*g\) and \(\widetilde{h}_p=f^*h_p\).

*f*by Open image in new window , where \(\tau \) denotes a translation, does not affect the order Open image in new window , we may assume that \(c=\zeta (0,\ldots ,0)>0\). Using the sub-mean value property of plurisubharmonic functions, it follows thatwhere \(\nu \) denotes the volume of the unit ball. Therefore,

## 7 Non-Kähler manifolds

Our result is not valid for non-Kähler manifolds. In fact, there are Hopf surfaces *X* admitting a non-degenerate holomorphic map \(f:{\mathbb C}^n\rightarrow X\) of order Open image in new window (see [11]). Of course, these Hopf surfaces are non-Kähler and not rationally connected; they do not contain any rational curve at all. More precisely, in [11] the following is proved

**Theorem 7.1**

This result has been generalized by Amemiya [1] to the class of Hopf surfaces defined by an equivalence \((z,w)\sim (\lambda ^kz,\mu ^kw)\), \(k\in {\mathbb Z}\), where \(\lambda \) may be different from \(\mu \) (but \(|\lambda |,|\mu |>1\)).

## 8 Questions

*X*be an

*n*-dimensional compact Kähler manifold, and let Open image in new window be a meromorphic non-degenerate map.

- 1.
If there exists such Open image in new window , can it be chosen so that Open image in new window ? In other words, if there exists an

*f*as above, is Open image in new window ? - 2.
If Open image in new window , does there exist some Open image in new window with Open image in new window ?

- 3.
If

*X*is rationally connected, does there exist a non-degenerate meromorphic map Open image in new window ? - 4.
If

*X*is RC, and if there exists a non-degenerate Open image in new window , is*X*unirational (i.e., can*f*be chosen algebraic)? A positive answer would imply that there exists no*X*with \(\rho (X)\in (0,2)\). - 5.
Is

*X*unirational if Open image in new window ? Is*X*unirational if \(\rho (X)=0\)? (It should be remarked that Open image in new window for every algebraic map, but the condition Open image in new window is substantially weaker than algebraicity, as seen by appropriate power series in one variable.) - 6.
Is the estimate Open image in new window in [6] optimal if \(K_X\) is pseudo-effective with \(\nu (X)=\nu \)? In other words, does there exist \(X_n\) with \(\nu (X)=\nu \) (or better, with \(\kappa (X)=\nu \)) and with Open image in new window for any \(n>0\) and \(\nu \in \{0,1,\dots ,n\}\)?

## References

- 1.Amemiya, T.: Orders of meromorphic mappings into Hopf and Inoue surfaces (2013). http://kyokan.ms.u-tokyo.ac.jp/users/preprint/pdf/2013-5.pdf
- 2.Boucksom, S., Demailly, J.-P., Păun, M., Peternell, Th: The pseudo-effective cone of a compact Kähler manifold and varieties of negative Kodaira dimension. J. Algebraic Geom.
**22**(2), 201–248 (2013)MATHMathSciNetCrossRefGoogle Scholar - 3.Campana, F.: Connexité rationnelle des variétés de Fano. Ann. Sci. École. Norm. Sup.
**25**(5), 539–545 (1992)MATHMathSciNetGoogle Scholar - 4.Campana, F.: Orbifolds, special varieties, and classification theory. Ann. Inst. Fourier (Grenoble)
**54**(3), 499–630 (2004)MATHMathSciNetCrossRefGoogle Scholar - 5.Campana, F., Demailly, J.-P., Peternell, Th.: Rationally connected manifolds and semipositivity of the Ricci curvature (2012). arXiv:1210.2092
- 6.Campana, F., Păun, M.: Une généralisation du théorème du Kobayashi–Ochiai. Manuscripta Math.
**125**(4), 411–426 (2008)MATHMathSciNetCrossRefGoogle Scholar - 7.Graber, T., Harris, J., Starr, J.: Families of rationally connected varieties. J. Amer. Math. Soc.
**16**(1), 57–67 (2003)MATHMathSciNetCrossRefGoogle Scholar - 8.Griffiths, P.A.: Entire Holomorphic Mappings in One and Several Complex Variables. Annals of Mathematics Studies, vol. 85. Princeton University Press, Princeton (1976)MATHGoogle Scholar
- 9.Kobayashi, S., Ochiai, T.: Meromorphic mappings onto compact complex spaces of general type. Invent. Math.
**31**(1), 7–16 (1975)MATHMathSciNetCrossRefGoogle Scholar - 10.Kollár, J., Miyaoka, Y., Mori, S.: Rational connectedness and boundedness of Fano manifolds. J. Differential Geom.
**36**(3), 765–779 (1992)MATHMathSciNetGoogle Scholar - 11.Noguchi, J., Winkelmann, J.: Order of meromorphic maps and rationality of the image space. J. Math. Soc. Japan
**64**(4), 1169–1180 (2012)MATHMathSciNetCrossRefGoogle Scholar