Holomorphic Sectional Curvature of Complex Finsler Manifolds

Abstract

In this paper, we get an inequality in terms of holomorphic sectional curvature of complex Finsler metrics. As applications, we prove a Schwarz Lemma from a complete Riemannian manifold to a complex Finsler manifold. We also show that a strongly pseudoconvex complex Finsler manifold with semi-positive but not identically zero holomorphic sectional curvature has negative Kodaira dimension under an extra condition.

Introduction

In this paper, we study the holomorphic sectional curvature of complex Finsler manifolds (see Definition 2.3). For a general complex manifold, there is a natural and intrinsic Finsler pseudo-metric, i.e., Kobayashi metric $k_M$ (see Definition 3.6), which is the maximum pseudo-metric among the pseudo metrics satisfying the decreasing property. This metric defines a Kobayashi pseudo-distance, and a complex manifold is called Kobayashi hyperbolic if the Kobayashi pseudo-distance is a distance in common sense. It is known that a complex Finsler manifold is Kobayashi hyperbolic if its holomorphic sectional curvature is bounded from above by a negative constant. As an application, the moduli space of canonically polarized complex manifolds is Kobayashi hyperbolic [23, 25].

In hyperbolic geometry a conjecture of Kobayashi asserts that the canonical bundle is ample if the manifold is hyperbolic [19, p. 370]. Wu and Yau [28] proved the ampleness of the canonical bundle for a projective manifold admitting a Kähler metric with negative holomorphic sectional curvature. Later on, Tosatti and Yang [26] proved this result without projective condition and asked if it still true for a compact Hermitian manifold. In [33], Yau conjectured that an algebraic manifold is of general type if and only if it admits a complex Finsler metric with strongly negative holomorphic sectional curvature which may be degenerate along a subvariety. For the case of quasi-negative holomorphic sectional curvature, the ampleness of the canonical bundle also had been proved in [12, 29]. In the proofs of above results, they essentially used Yau’s Schwarz Lemma [31]. This is also a motivation for us to study the Schwarz Lemma in the case of complex Finsler manifolds.

Proposition 1.1

Let M be a complex manifold of dimension n, $G_1$ and $G_2$ be two complex Finsler metrics on M. For any point $(z,[v])\in P(TM)$, one has

$$\begin{array}{c}\hfill \frac{2}{G_2}\underset{{\pi }_{\ast }(X)=v}{sup}\left\{\partial ,\overline{\partial },log,\frac{G_1}{G_2},(X,\overline{X})\right\}\ge K_{G_2}-\frac{G_1}{G_2}{K}_{G_1},\end{array}$$ 1.1

where ${\pi }_{\ast }:T(TM)\to TM$ is the differential of $\pi :TM\to M$.

A simple maximum principle argument immediately gives a direct proof for the Schwarz Lemma of [24, Theorem 4.1]. For the case of a complete Riemann surface $(M,G_1)$, by using Proposition 1.1, we obtain the following generalization of Yau’s Schwarz Lemma [31, Theorem 2’].

Theorem 1.2

Let $(M,G_1)$ be a complete Riemann surface with curvature bounded from below by a constant $K_1$. Let $(N,G_2)$ be another Finsler manifold with holomorphic sectional curvature bounded from above by a negative constant $K_2$. Then for any holomorphic map f from M to N,

$$\begin{array}{c}\hfill \frac{f^{\ast }{G}_2}{G_1}\le \frac{K_1}{K_2}.\end{array}$$ 1.2

If $(M,G_1)$ is a unit disc with a Poincaré metric (which is complete) and by the definition of Kobayashi metric, one has $4k_N^2\ge -K_2{G}_1$. This implies that N is Kobayashi hyperbolic by definition.

For a compact Kähler manifold with positive holomorphic sectional curvature, Yau [32, Problem 67] asked if the manifold has negative Kodaira dimension. Yang [34] gave a affirmative answer to this problem. More precisely, if $(M,\omega )$ is a Hermitian manifold with semi-positive but not identically zero holomorphic sectional curvature, then the Kodaira dimension $\kappa (M)=-\infty$. Naturally, one may ask whether this result holds for a strongly pseudoconvex complex Finsler manifold, namely, whether for a compact strongly pseudoconvex Finsler manifold (M, G) with semi-positive but not identically zero holomorphic sectional curvature one has that $\kappa (M)=-\infty$.

For any strongly pseudoconvex complex Finsler metric G, there is a canonical (Finslerian) tensor

$$\begin{array}{c}\hfill \widehat{G}:=\frac{{\partial }^{2}G}{\partial v^i\partial v^j}\delta v^i\otimes \delta v^j\in A^0({(TM)}^o,{\mathcal{V}}^{\ast }\otimes {\mathcal{V}}^{\ast }).\end{array}$$ 1.3

Here ${(TM)}^o$ denotes that the set of all non-zero holomorphic tangent vectors of M, ${\{\delta v^i\}}_{i=1}^n$ is a local holomorphic frame of ${\mathcal{V}}^{\ast }$ (for the definitions of $\delta v^i$ and ${\mathcal{V}}^{\ast }$ see (2.12)). By taking covariant derivative of the Finslerian tensor $\widehat{G}$ along the anti-holomorphic direction $\overline{\widehat{P}}:=\overline{v^i\frac{\delta }{\delta z^i}}$, we get

$$\begin{array}{c}\hfill \overline{\partial }\widehat{G}(\overline{\widehat{P}})\in A^0({(TM)}^o,{\mathcal{V}}^{\ast }\otimes {\mathcal{V}}^{\ast }).\end{array}$$ 1.4

By using Berndtsson’s curvature formula to the cotangent bundle, we prove that

Theorem 1.3

Let (M, G) be a compact strongly pseudoconvex complex Finsler manifold with semi-positive but not identically zero holomorphic sectional curvature, and satisfy $\overline{\partial }\widehat{G}(\overline{\widehat{P}})=0$, then $\kappa (M)=-\infty$.

Remark 1.4

From the definition of $\widehat{P}$ and $\widehat{G}$ (see (2.15, 2.25) in Sect. 2), if G comes from a Hermitian metric, the Finslerian tensor $\widehat{G}$ is identically trivial, so that any Hermitian metric satisfies the condition $\overline{\partial }\widehat{G}(\overline{\widehat{P}})=0$. Moreover, there are also many non-Hermitian strongly pseudoconvex complex Finsler metrics which satisfy the condition (see Example 2.6).

Holomorphic Sectional Curvature of Complex Finsler Manifolds

In this section, we shall fix notation and recall some basic definitions and facts on complex Finsler manifolds. For more details we refer to [1, 4, 5, 10, 13, 18, 27].

Let M be a complex manifold of dimension n, and let $\pi :TM\to M$ be the holomorphic tangent bundle of M. Let $z=(z^1,\dots ,z^n)$ be a local coordinate system in M, and let ${\{\frac{\partial }{\partial z^i}\}}_{1\le i\le n}$ denote the corresponding natural frame of TM. So any element in TM can be written as

$$\begin{array}{c}\hfill v=v^i\frac{\partial }{\partial z^i}\in TM,\end{array}$$

where we adopt the summation convention of Einstein. In this way, one gets a local coordinate system on the complex manifold TM:

$$\begin{array}{c}\hfill (z;v)=(z^1,\dots ,z^n;v^1,\dots ,v^n).\end{array}$$ 2.1

Definition 2.1

([18, 19]) A Finsler metric G on the complex manifold M is a continuous function $G:TM\to \mathbb{R}$ satisfying the following conditions:

(F1):

G is smooth on ${(TM)}^o=TM\backslash O$, where O denotes the zero section of TM;

(F2):

$G(z,v)\ge 0$ for all $(z,v)\in TM$ with $z\in M$ and $v\in {\pi }^{-1}(z)$, and $G(z,v)=0$ if and only if $v=0$;

(F3):

$G(z,\lambda v)={|\lambda |}^{2}G(z,v)$ for all $\lambda \in \mathbb{C}$.

Moreover, G is called strongly pseudoconvex if

(F4):

the Levi form $\sqrt{-1}\partial \overline{\partial }G$ on ${(TM)}^o$ is positive-definite along fibers ${(TM)}_z={\pi }^{-1}(z)$ for $z\in M$.

(M, G) is called a (strongly pseudoconvex) complex Finsler manifold if G is a (strongly pseudoconvex) complex Finsler metric.

Clearly, any Hermitian metric on M is naturally a strongly pseudoconvex complex Finsler metric on it.

We write

$$\begin{array}{cc}& G_i=\frac{\partial G}{\partial v^i},G_{\overline{j}}=\frac{\partial G}{\partial {\overline{v}}^j},G_{i\overline{j}}=\frac{{\partial }^{2}G}{\partial v^i\partial {\overline{v}}^j},\hfill \end{array}$$ 2.2

$$\begin{array}{cc}& G_{i;j}=\frac{{\partial }^{2}G}{\partial v^i\partial z^j},G_{i\overline{j};\overline{l}}=\frac{{\partial }^{3}G}{\partial v^i\partial {\overline{v}}^j\partial {\overline{z}}^{\beta }},\text{etc}.,\hfill \end{array}$$ 2.3

to denote the differentiation with respect to $v^i,{\overline{v}}^j,z^i,{\overline{z}}^j$, and we denote $(G^{\overline{j}i})$ the inverse matrix of $(G_{i\overline{j}})$. In the following lemma we collect some useful identities related to a Finsler metric G.

Lemma 2.2

([10, 18]) The following identities hold for any $(z,v)\in E^o$, $\lambda \in \mathbb{C}$:

$$\begin{array}{cc}\hfill G_i(z,\lambda v)& =\overline{\lambda }{G}_i(z,v),G_{i\overline{j}}(z,\lambda v)=G_{i\overline{j}}(z,v)={\overline{G}}_{j\overline{i}}(z,v);\hfill \end{array}$$ 2.4

$$\begin{array}{cc}\hfill G_i(z,v)v^i& =G_{\overline{j}}(z,v){\overline{v}}^j=G_{i\overline{j}}(z,v)v^i{\overline{v}}^j=G(z,v);\hfill \end{array}$$ 2.5

$$\begin{array}{cc}\hfill G_{\mathit{ij}}(z,v)v^i& =G_{i\overline{j}k}(z,v)v^i=G_{i\overline{j}\overline{k}}(z,v){\overline{v}}^j=0.\hfill \end{array}$$ 2.6

Let $\mathrm{\Delta }=\{w\in \mathbb{C}||w|<1\}$ be a unit disc. For any holomorphic map $\phi :\mathrm{\Delta }\to M$, one can define a conformal metric on the disc $\mathrm{\Delta }$ by

$$\begin{array}{c}\hfill d{s}^2={\phi }^{\ast }Gdw\otimes d\overline{w},\end{array}$$ 2.7

where $({\phi }^{\ast }G)(u\frac{\partial }{\partial w}):=G({\phi }_{\ast }(u\frac{\partial }{\partial w}))$. The Gaussian curvature $K_{{\phi }^{\ast }G}$ of ${\phi }^{\ast }G$ is given by

$$\begin{array}{c}\hfill K_{{\phi }^{\ast }G}=-\frac{2}{{\phi }^{\ast }G}\frac{{\partial }^{2}log{\phi }^{\ast }G}{\partial w\partial \overline{w}}.\end{array}$$ 2.8

Then one can define the holomorphic sectional curvature of (M, G) as follows.

Definition 2.3

([2, 4]) The holomorphic sectional curvature $K_G(z,[v])$ of G at $(z,[v])\in P(TM):={(TM)}^o/{\mathbb{C}}^{\ast }$ is defined by

$$\begin{array}{c}\hfill K_G(z,[v]):=\underset{\phi }{sup}\{K_{{\phi }^{\ast }G}(0)\},\end{array}$$ 2.9

where the supremum is taken over all the holomorphic maps $\phi :\mathrm{\Delta }\to M$ satisfying $\phi (0)=z$, ${\phi }^{\prime }(0)=\lambda v$ for some $\lambda \in {\mathbb{C}}^{\ast }$.

If G is a strongly pseudoconvex complex Finsler metric on M, then there is a canonical h-v decomposition of the holomorphic tangent bundle $T{(TM)}^o$ of ${(TM)}^o$ (see [10, §5] or [13, §1]).

$$\begin{array}{c}\hfill T{(TM)}^o=\mathcal{H}\oplus \mathcal{V}.\end{array}$$ 2.10

In terms of local coordinates,

$$\begin{array}{cc}\hfill \mathcal{H}& ={\text{span}}_{\mathbb{C}}\left\{\frac{\delta }{\delta z^i},=,\frac{\partial }{\partial z^i},-,G_{\overline{j};i},G^{\overline{j}k},\frac{\partial }{\partial v^k},,,1,\le ,i,\le ,n\right\},\hfill \\ \hfill \mathcal{V}& ={\text{span}}_{\mathbb{C}}\left\{\frac{\partial }{\partial v^i},,,1,\le ,i,\le ,n\right\}.\hfill \end{array}$$ 2.11

Moreover, the dual bundle $T^{\ast }{(TM)}^o$ also has a smooth h-v decomposition $T^{\ast }{(TM)}^o={\mathcal{H}}^{\ast }\oplus {\mathcal{V}}^{\ast }$ with

$$\begin{array}{cc}\hfill {\mathcal{H}}^{\ast }& ={\text{span}}_{\mathbb{C}}\{d{z}^i,1\le i\le n\},\hfill \\ \hfill {\mathcal{V}}^{\ast }& ={\text{span}}_{\mathbb{C}}\left\{\delta ,v^i,=,d,v^i,+,G^{\overline{j}i},G_{\overline{j};k},d,z^k,,,,1,\le ,i,\le ,n\right\}.\hfill \end{array}$$ 2.12

With respect to the h–v decomposition (2.12), the (1, 1)-form $\frac{\sqrt{-1}}{2\pi }\partial \overline{\partial }logG$ has the following decomposition.

Lemma 2.4

([5, 18]) Let G be a strongly pseudoconvex complex Finsler metric on M. One has

$$\begin{array}{c}\hfill \frac{\sqrt{-1}}{2\pi }\partial \overline{\partial }logG=-\frac{\mathrm{\Psi }}{2\pi }+{\omega }_{\mathit{FS}},\end{array}$$ 2.13

where we denote

$$\begin{array}{c}\hfill \mathrm{\Psi }=\sqrt{-1}{R}_{i\overline{j}k\overline{l}}\frac{v^i{\overline{v}}^j}{G}d{z}^k\wedge d{\overline{z}}^l,{\omega }_{\mathit{FS}}=\frac{\sqrt{-1}}{2\pi }\frac{{\partial }^{2}logG}{\partial v^i\partial {\overline{v}}^j}\delta v^i\wedge \delta {\overline{v}}^j,\end{array}$$ 2.14

with

$$\begin{array}{c}\hfill R_{i\overline{j}k\overline{l}}=-\frac{{\partial }^2{G}_{i\overline{j}}}{\partial z^k\partial {\overline{z}}^l}+G^{\overline{q}p}\frac{\partial G_{i\overline{q}}}{\partial z^k}\frac{\partial G_{p\overline{j}}}{\partial {\overline{z}}^l}.\end{array}$$

For the holomorphic vector bundle $T{(TM)}^o\to {(TM)}^o$, there are two special smooth vector fields

$$\begin{array}{c}\hfill \widehat{P}=v^i\frac{\delta }{\delta z^i}\in \mathcal{H},P=v^i\frac{\partial }{\partial v^i}\in \mathcal{V},\end{array}$$ 2.15

which are well defined. Indeed, for two local coordinate neighborhoods $(U_{\alpha },\{z_{\alpha }^i\}),(U_{\beta },\{z_{\beta }^j\})$ of M with $U_{\alpha }\cap U_{\beta }\ne \mathrm{\varnothing }$, one has

$$\begin{array}{c}\hfill v_{\alpha }^i=\frac{\partial z_{\alpha }^i}{\partial z_{\beta }^j}{v}_{\beta }^j,\frac{\delta }{\delta z_{\alpha }^i}=\frac{\partial z_{\beta }^j}{\partial z_{\alpha }^i}\frac{\delta }{\delta z_{\beta }^j}.\end{array}$$ 2.16

For a strongly pseudoconvex complex Finsler metric G, one can also define the holomorphic sectional curvature by

$$\begin{array}{c}\hfill K_G=2R_{i\overline{j}k\overline{l}}\frac{v^i{\overline{v}}^j{v}^k{\overline{v}}^l}{G^2}=-\frac{2}{G}(\partial \overline{\partial }logG)(\widehat{P},\overline{\widehat{P}}),\end{array}$$ 2.17

(see [18, Formula (6.7)]), which is a function on projective bundle P(TM). In this case, the two kinds of definitions for holomorphic sectional curvature coincide. More precisely, one has

Proposition 2.5

([1, Corollary 2.5.4, 3, Proposition 7.2]) If G is a strongly pseudoconvex complex Finsler metric on M, then

$$\begin{array}{c}\hfill \underset{\phi }{sup}\{K_{{\phi }^{\ast }G}(0)\}=2R_{i\overline{j}k\overline{l}}\frac{v^i{\overline{v}}^j{v}^k{\overline{v}}^l}{G^2},\end{array}$$ 2.18

where the supremum is taken over all the holomorphic maps $\phi :\mathrm{\Delta }\to M$ satisfying $\phi (0)=z$, ${\phi }^{\prime }(0)=\lambda v$ for some $\lambda \in {\mathbb{C}}^{\ast }$.

Proof

For reader’s convenient, we give a direct proof here. For any holomorphic $\phi :\mathrm{\Delta }\to M$ with $\phi (0)=z$, ${\phi }^{\prime }(0)=\lambda v$ for some $\lambda \in {\mathbb{C}}^{\ast }$, it induces a holomorphic map

$$\begin{array}{c}\hfill {\phi }_{\ast }:T\mathrm{\Delta }\to TM{\phi }_{\ast }(w,u)={\phi }_{\ast }\left(u,\frac{\partial }{\partial w}\right)=u\frac{\partial {\phi }^i}{\partial w}\frac{\partial }{\partial z^i}=\left(\phi ,(z),;,u,\frac{\partial {\phi }^i}{\partial w}\right),\end{array}$$ 2.19

which satisfies

$$\begin{array}{c}\hfill {\phi }_{\ast }(0,1)=(z,\lambda v).\end{array}$$ 2.20

Similarly, the holomorphic map ${\phi }_{\ast }$ also induces a holomorphic map ${({\phi }_{\ast })}_{\ast }:T(T\mathrm{\Delta })\to T(TM)$ and

$$\begin{array}{c}\hfill {({\phi }_{\ast })}_{\ast }\left(\frac{\partial }{\partial w},{|}_{(0,1)}\right)=\lambda v^i\frac{\partial }{\partial z^i}{{|}_{(z,\lambda v)}+\frac{{\partial }^2{\phi }^i}{\partial w^2}\frac{\partial }{\partial v^i}|}_{(z,\lambda v)}.\end{array}$$ 2.21

Therefore, one has

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill \underset{\phi }{sup}\{K_{{\phi }^{\ast }G}(0)\}& =\underset{\phi }{sup}\left\{-,\frac{2}{G(z,\lambda v)},\left(\frac{{\partial }^2}{\partial w\partial \overline{w}},log,{\phi }^{\ast },G\right),(0)\right\}\hfill \\ \hfill & =\underset{\phi }{sup}\left\{-,\frac{2}{G(z,\lambda v)},{({\phi }_{\ast })}^{\ast },(\partial \overline{\partial }logG),\left(\frac{\partial }{\partial w},{\left|{}_{(0,1)},,,\frac{\partial }{\partial \overline{w}}\right|}_{(0,1)}\right)\right\}\hfill \\ \hfill & =\underset{\phi }{sup}\left\{-,\frac{2}{G(z,\lambda v)},(\partial \overline{\partial }logG)\right)\hfill \\ \hfill & \times \left(\left({({\phi }_{\ast })}_{\ast },\left(\frac{\partial }{\partial w},{|}_{(0,1)}\right),,,{({\phi }_{\ast })}_{\ast },\left(\frac{\partial }{\partial \overline{w}},{|}_{(0,1)}\right)\right)\right\}\hfill \\ \hfill & =\underset{\phi }{sup}\left\{-,\frac{2}{G(z,\lambda v)},(\partial \overline{\partial }logG)\right)\hfill \\ \hfill & \times \left(\lambda ,v^i,\frac{\delta }{\delta v^i},+,\left(\frac{{\partial }^2{\phi }^k}{\partial w^2},+,G_{\overline{l};i},G^{\overline{l}k},\lambda ,v^i\right),\frac{\partial }{\partial v^k},,\right)\hfill \\ \hfill & \times \left(\left(\overline{\lambda v^i\frac{\delta }{\delta v^i}+(\frac{{\partial }^2{\phi }^k}{\partial w^2}+G_{\overline{l};i}{G}^{\overline{l}k}\lambda v^i)\frac{\partial }{\partial v^k}}\right)\right\}.\hfill \end{array}\end{array}$$ 2.22

By Lemma 2.4 and the property that ${\omega }_{\mathit{FS}}$ is positive along the fiber of P(TM), taking the holomorphic map $\phi :\mathrm{\Delta }\to M$ with

$$\begin{array}{c}\hfill \phi (0)=0,{\phi }^{\prime }(0)=\lambda v,\frac{{\partial }^2{\phi }^k}{\partial w^2}(0)=-\lambda G_{\overline{l};i}{G}^{\overline{l}k}{v}^i,\end{array}$$ 2.23

one gets that

$$\begin{array}{c}\hfill \underset{\phi }{sup}\{K_{{\phi }^{\ast }G}(0)\}=-\frac{2}{G(z,v)}\partial \overline{\partial }logG\left(v^i,\frac{\delta }{\delta v^i},,,\overline{v^i\frac{\delta }{\delta v^i}}\right)=2R_{i\overline{j}k\overline{l}}\frac{v^i{\overline{v}}^j{v}^k{\overline{v}}^l}{G^2}.\end{array}$$ 2.24

$\square$

For a given strongly pseudoconvex complex Finsler metric G, there is a canonical (Finslerian) tensor $\widehat{G}$,

$$\begin{array}{c}\hfill \widehat{G}:=G_{\mathit{ij}}\delta v^i\otimes \delta v^j\in A^0({(TM)}^o,{\mathcal{V}}^{\ast }\otimes {\mathcal{V}}^{\ast }).\end{array}$$ 2.25

From (2.16), it is easy to see that $\widehat{G}$ is well defined. Moreover, $\widehat{G}=0$ if and only if the strongly pseudoconvex complex Finsler metric G comes from a Hermitian metric. In fact, if G comes from Hermitian metric h on M, i.e., $G=h_{i\overline{j}}(z)v^i{\overline{v}}^j$, then

$$\begin{array}{c}\hfill G_{\mathit{ij}}=\frac{{\partial }^{2}G}{\partial v^i\partial v^j}=0.\end{array}$$

So $\widehat{G}=0$. Conversely, if $\widehat{G}=0$, then

$$\begin{array}{c}\hfill G_{i\overline{k}j}=\frac{{\partial }^2{G}_{\mathit{ij}}}{\partial {\overline{v}}^k}=0.\end{array}$$

By taking conjugation, one gets $G_{i\overline{k}\overline{j}}=0$. So $G_{i\overline{j}}(z,v)$ is independent of the fiber, i.e., $G_{i\overline{j}}(z,v)=G_{i\overline{j}}(z)$. Therefore, $G=G_{i\overline{j}}(z)v^i{\overline{v}}^j$ comes from a Hermitian metric.

Note that ${\mathcal{V}}^{\ast }\otimes {\mathcal{V}}^{\ast }\to {(TM)}^o$ is a holomorphic vector bundle with a local holomorphic frame ${\{\delta v^i\otimes \delta v^j\}}_{1\le i,j\le n}$. So

$$\begin{array}{c}\hfill \overline{\partial }\widehat{G}\in A^{0,1}({(TM)}^o,{\mathcal{V}}^{\ast }\otimes {\mathcal{V}}^{\ast }).\end{array}$$ 2.26

In applications, one may consider a class of strongly pseudoconvex complex Finsler metrics G, which satisfies

$$\begin{array}{c}\hfill \overline{\partial }\widehat{G}(\overline{\widehat{P}})=0.\end{array}$$ 2.27

In terms of local coordinates, Eq. (2.27) is equivalent to

$$\begin{array}{c}\hfill {\overline{v}}^l\frac{\delta }{\delta {\overline{z}}^l}{G}_{\mathit{ij}}=0.\end{array}$$ 2.28

Example 2.6

There are many non-Hermitian strongly pseudoconvex complex Finsler metrics which satisfy condition (2.27). For example, any complex Finsler manifold (M, G) modeled on a complex Minkowski space satisfies the condition (2.27). In fact, in this case, one has $\frac{\partial }{\partial {\overline{v}}^j}(G_{\overline{l};i}{G}^{\overline{l}k})=0$ (see [4, Definition 2.7, Proposition 2.10] or [15]). Then

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill {\overline{v}}^l\frac{\delta }{\delta {\overline{z}}^l}{G}_{\mathit{ij}}& ={\overline{v}}^l\left(G_{ij;\overline{l}},-,G_{k;\overline{l}},G^{k\overline{t}},G_{ij\overline{t}}\right)\hfill \\ \hfill & ={\overline{v}}^l\frac{\partial }{\partial v^j}\left(G_{k;\overline{l}},G^{\overline{t}k}\right)G_{i\overline{t}}\hfill \\ \hfill & ={\overline{v}}^l\overline{\frac{\partial }{\partial {\overline{v}}^j}\left(G_{\overline{k};l},G^{\overline{k}t}\right)}{G}_{i\overline{t}}=0.\hfill \end{array}\end{array}$$ 2.29

In particular, any flat or projectively flat Finsler metric G verifies that $\frac{\partial }{\partial {\overline{v}}^j}(G_{\overline{l};i}{G}^{\overline{l}k})=0$ (see [4, Corollary 2.2, Proposition 2.18]), and so one has $\overline{\partial }\widehat{G}(\overline{\widehat{P}})=0.$

Schwarz Lemma for Complex Finsler Manifolds

In this section, we get an inequality for complex Finsler manifolds which only contains holomorphic sectional curvature terms. By using this inequality and the Almost Maximum Principle of Omori and Yau for complete manifolds, we obtain a generalization of the Yau’s Schwarz Lemma.

Proposition 3.1

Let M be a complex manifold of dimension n. Let $G_1$ and $G_2$ be two complex Finsler metrics on M. For any point $(z,[v])\in P(TM)$, then

$$\begin{array}{c}\hfill \frac{2}{G_2}\underset{{\pi }_{\ast }(X)=v}{sup}\left\{\partial ,\overline{\partial },log,\frac{G_1}{G_2},(X,\overline{X})\right\}\ge K_{G_2}-\frac{G_1}{G_2}{K}_{G_1},\end{array}$$ 3.1

where ${\pi }_{\ast }:T(TM)\to TM$ is the differential of $\pi :TM\to M$.

Proof

From Definition 2.3, one has at the point $(z,[v])\in P(TM)$,

$$\begin{array}{c}\hfill \begin{array}{cc}& \left(K_{G_2},-,\frac{G_1}{G_2},K_{G_1}\right)(z,[v])\hfill \\ \hfill & =\underset{\phi }{sup}\{K_{{\phi }^{\ast }{G}_2}(0)\}-\frac{G_1(v)}{G_2(v)}\underset{\phi }{sup}\left\{K_{{\phi }^{\ast }{G}_1},(0)\right\}\hfill \\ \hfill & =\underset{\phi }{sup}\{K_{{\phi }^{\ast }{G}_2}(0)\}-\underset{\phi }{sup}\left\{\frac{G_1(v)}{G_2(v)},K_{{\phi }^{\ast }{G}_1},(0)\right\}\hfill \\ \hfill & \le \underset{\phi }{sup}\left\{K_{{\phi }^{\ast }{G}_2},(0),-,\frac{G_1(v)}{G_2(v)},K_{{\phi }^{\ast }{G}_1},(0)\right\}\hfill \\ \hfill & =\underset{\phi }{sup}\left\{\frac{2}{{\phi }^{\ast }{G}_2},\frac{{\partial }^2}{\partial w\partial \overline{w}},log,\frac{{\phi }^{\ast }{G}_1}{{\phi }^{\ast }{G}_2}\right\}\hfill \\ \hfill & =\underset{\phi }{sup}\left\{\frac{2}{G_2(\lambda v)},\partial ,\overline{\partial },log,\frac{G_1}{G_2},\left({({\phi }_{\ast })}_{\ast },\left(\frac{\partial }{\partial w}\right),,,\overline{{({\phi }_{\ast })}_{\ast }\left(\frac{\partial }{\partial w}\right)}\right)\right\}\hfill \\ \hfill & \le \frac{2}{G_2(v)}\underset{{\pi }_{\ast }(X)=v}{sup}\left\{\partial ,\overline{\partial },log,\frac{G_1}{G_2},(X,\overline{X})\right\},\hfill \end{array}\end{array}$$ 3.2

where the supremum is taken over all the holomorphic map $\phi :\mathrm{\Delta }\to M$ with $\phi (0)=z$, ${\phi }^{\prime }(0)=\lambda v$ for some $\lambda \in {\mathbb{C}}^{\ast }$. $\square$

Remark 3.2

From the proof of above proposition, if $G_{1}and{G}_2$ only satisfy $(\mathbf{F}\mathbf{1}),(\mathbf{F}\mathbf{3})$, and non-negative, then (3.1) also holds outside the zero points of $G_1{G}_2$.

Remark 3.3

If $G_1$ and $G_2$ are strongly pseudoconvex complex Finsler metrics on M, then there is another upper-bound for $K_{G_2}-\frac{G_1}{G_2}{K}_{G_1}$. Denote by ${\left(\frac{\delta }{\delta z^i}\right)}_{\alpha }$ the horizontal lifting of $\frac{\partial }{\partial z^i}$ with respect to $G_{\alpha },\alpha =1,2$. For any smooth function f on TM, the horizontal Laplacian is defined by

$$\begin{array}{c}\hfill {\mathrm{\Delta }}_{G_2}^{\mathcal{H}}f:=\frac{v^i{\overline{v}}^j}{G_2}(\partial \overline{\partial }f)\left({\left(\frac{\delta }{\delta z^i}\right)}_2,,,{\left(\frac{\delta }{\delta {\overline{z}}^j}\right)}_2\right).\end{array}$$

From (2.17), one has

$$\begin{array}{cc}\hfill 2{\mathrm{\Delta }}_{G_2}^{\mathcal{H}}log\frac{G_1}{G_2}& =K_{G_2}+\frac{2}{G_2}(\partial \overline{\partial }log{G}_1)\left(v^i,{\left(\frac{\delta }{\delta z^i}\right)}_2,,,\overline{v^i{\left(\frac{\delta }{\delta z^i}\right)}_2}\right)\hfill \\ \hfill & =K_{G_2}+\frac{2}{G_2}(\partial \overline{\partial }log{G}_1)\left(v^i,{\left(\frac{\delta }{\delta z^i}\right)}_1,+,v^i,\left({\left(\frac{\delta }{\delta z^i}\right)}_2,-,{\left(\frac{\delta }{\delta z^i}\right)}_1\right),,\right)\hfill \\ \hfill & \left(\overline{v^i{\left(\frac{\delta }{\delta z^i}\right)}_1+v^i\left({\left(\frac{\delta }{\delta z^i}\right)}_2,-,{\left(\frac{\delta }{\delta z^i}\right)}_1\right)}\right)\hfill \\ \hfill & =K_{G_2}-\frac{G_1}{G_2}{K}_{G_1}+\frac{2}{G_2}(\partial \overline{\partial }log{G}_1)\hfill \\ \hfill & \times \left(v^i,\left({\left(\frac{\delta }{\delta z^i}\right)}_2,-,{\left(\frac{\delta }{\delta z^i}\right)}_1\right),,,\overline{v^i\left({\left(\frac{\delta }{\delta z^i}\right)}_2,-,{\left(\frac{\delta }{\delta z^i}\right)}_1\right)}\right)\hfill \\ \hfill & \ge K_{G_2}-\frac{G_1}{G_2}{K}_{G_1},\hfill \end{array}$$

where the last inequality holds since $G_1$ is strongly pseudoconvex.

As an application of the above proposition, we give a direct proof of the following Schwarz Lemma.

Corollary 3.4

([24, Theorem 4.1]) Let f be a holomorphic map between two complex Finsler manifolds (M, G) and $(N,G_1)$ with M compact. If $K_{G_1}\le -A,K_G\ge -B$ for $A>0$, $B\ge 0$, then

$$\begin{array}{c}\hfill f^{\ast }{G}_1\le \frac{B}{A}G.\end{array}$$ 3.3

Proof

Set

$$\begin{array}{c}\hfill u=\frac{f^{\ast }{G}_1}{G},\end{array}$$

which is a smooth function on P(TM). If ${max}_{(z,[v])\in P(TM)}u(z,[v])=0$, then (3.3) holds obviously. Now we assume that

$$\begin{array}{c}\hfill \underset{(z,[v])\in P(TM)}{max}u(z,[v])=u(z_0,[v_0])>0.\end{array}$$

By Remark 3.2, one has

$$\begin{array}{c}\hfill 0\ge \frac{2}{G(v_0)}\underset{{\pi }_{\ast }(X)=v_0}{sup}\left\{\partial ,\overline{\partial },log,u,(,X,,,\overline{X},)\right\}\ge (K_G-u{K}_{f^{\ast }{G}_1})(z_0,[v_0]).\end{array}$$ 3.4

Note that

$$\begin{array}{cc}\hfill K_{f^{\ast }{G}_1}([v])& =\underset{{\phi }^{\prime }=\lambda v}{sup}\{K_{{\phi }^{\ast }{f}^{\ast }{G}_1}(0)\}\le \underset{{\psi }^{\prime }=\lambda f_{\ast }(v)}{sup}\{K_{{\psi }^{\ast }{G}_1}(0)\}\hfill \\ \hfill & =K_{G_1}([f_{\ast }(v)])=(f^{\ast }{G}_1)[v].\hfill \end{array}$$ 3.5

So

$$\begin{array}{c}\hfill (K_G-u{f}^{\ast }{K}_{G_1})(z_0,[v_0])\le 0.\end{array}$$ 3.6

By the assumptions for $K_{G_1}$ and $K_{G_2}$, one obtains

$$\begin{array}{c}\hfill f^{\ast }{G}_1\le \frac{B}{A}G.\end{array}$$ 3.7

$\square$

Next we consider the case of a holomorphic map from a complete Riemann surface to a Finsler manifold with negative holomorphic sectional curvature. We assume that (M, G) is a complete Riemann surface, the fundamental form is

$$\begin{array}{c}\hfill \Phi =\sqrt{-1}\lambda dz\wedge d\overline{z},\lambda =\frac{1}{2}{G}_{1\overline{1}}\end{array}$$ 3.8

and $d{s}^2=2\lambda dz\otimes d\overline{z}$. The holomorphic sectional curvature of G is

$$\begin{array}{c}\hfill K_G=-\frac{1}{\lambda }\frac{{\partial }^2}{\partial z\partial \overline{z}}log\lambda ,\end{array}$$ 3.9

which is exactly the Gaussian curvature.

Now we have the following generalization of Yau’s Schwarz Lemma [31, Theorem 2’]

Theorem 3.5

Let (M, G) be a complete Riemann surface with curvature bounded from below by a constant $K_1$. Let $(N,G_1)$ be another Finsler manifold with holomorphic sectional curvature bounded from above by a negative constant $K_2$. Then for any holomorphic map f from M to N,

$$\begin{array}{c}\hfill \frac{f^{\ast }{G}_1}{G}\le \frac{K_1}{K_2}.\end{array}$$ 3.10

Proof

Set

$$\begin{array}{c}\hfill u=\frac{f^{\ast }{G}_1}{G}.\end{array}$$

Since $dimM=1$, one has that $P(TM)\simeq M$ and hence u is a smooth function on M. For the case of ${max}_{z\in M}u(z)=0$, the inequality (3.10) is obvious. So one may assume that ${max}_{z\in M}u(z)=u(z_0)>0$ for some $z_0\in M$.

Let $\phi (t)={(1+t)}^{-1/2},$$t>0$, then

$$\begin{array}{c}\hfill {\phi }^{\prime }(t)=-\frac{1}{2{(1+t)}^{\frac{3}{2}}}<0,{\phi }^{\prime \prime }(t)=\frac{3}{4{(1+t)}^{\frac{5}{2}}}>0.\end{array}$$ 3.11

Then applying the Almost Maximum Principle of Omori and Yau ([22, 30, 16, §6.2]) to $-\phi \circ u$, there exists a sequence $\{p_{\nu }\in M|\nu =1,2,\dots \}$ such that

$$\begin{array}{c}\hfill \underset{M}{inf}\phi \circ u=\underset{\nu \to \infty }{lim}\phi \circ u(p_{\nu }),\underset{\nu \to \infty }{lim}\mathrm{\nabla }(\phi \circ u){{|}_{p_{\nu }}=0,\underset{\nu \to \infty }{lim\; inf}\mathrm{\Delta }(\phi \circ u)|}_{p_{\nu }}\ge 0.\end{array}$$ 3.12

The first equation of (3.12) implies that

$$\begin{array}{c}\hfill \underset{M}{sup}u=\underset{\nu \to \infty }{lim}u(p_{\nu }).\end{array}$$ 3.13

From (3.5) and Proposition 3.1, one has

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill \mathrm{\Delta }u& =\frac{2}{\lambda }\frac{{\partial }^{2}u}{\partial z\partial \overline{z}}=\frac{2}{\lambda }\left(u,\frac{{\partial }^{2}logu}{\partial z\partial \overline{z}},+,\frac{1}{u},{\left|\frac{\partial u}{\partial z}\right|}^2\right)\hfill \\ \hfill & \ge 2u(K_G-u{K}_{f^{\ast }{G}_1})\ge 2u(K_G-u{f}^{\ast }{K}_{G_1})\hfill \\ \hfill & \ge 2u(K_1-u{K}_2).\hfill \end{array}\end{array}$$ 3.14

Using the fact that

$$\begin{array}{c}\hfill \underset{\nu \to \infty }{lim\; inf}{\mathrm{\Delta }(\phi \circ u)|}_{p_{\nu }}=\underset{\nu \to \infty }{lim\; inf}\left({\phi }^{\prime \prime },(u(p_{\nu })),{\Vert \mathrm{\nabla }u|}_{p_{\nu }},{{\Vert }^2+{\phi }^{\prime }(u(p_{\nu }))\mathrm{\Delta }u|}_{p_{\nu }}\right),\end{array}$$ 3.15

and combining (3.12), (3.14), and ${\phi }^{\prime }(t)<0$, one gets for any $ϵ>0$, there exists $N>0$ such that at each $p_{\nu }$ with $\nu \ge N$,

$$\begin{array}{c}\hfill 2u(K_1-u{K}_2){\phi }^{\prime }(u)+{\phi }^{\prime \prime }(u){\Vert \mathrm{\nabla }u\Vert }^2>-ϵ,({\phi }^{\prime }(u)){\Vert \mathrm{\nabla }u\Vert }^2={\Vert \mathrm{\nabla }(\phi \circ u)\Vert }^2<{ϵ}^2.\end{array}$$ 3.16

Therefore,

$$\begin{array}{c}\hfill K_1-u{K}_2<\frac{1}{2u}\left(\frac{ϵ}{|{\phi }^{\prime }(u)|},+,\frac{{ϵ}^2{\phi }^{\prime \prime }(u)}{|{\phi }^{\prime }{(u)|}^3}\right).\end{array}$$ 3.17

So ${sup}_{M}u$ is bounded because the left-hand side is $O(u(p_{\nu }))$ and right-hand side is $O(ϵ{(u(p_{\nu }))}^{\frac{1}{2}}+{ϵ}^{2}u(p_{\nu }))$ as $\nu \to \infty$. Taking $\nu \to \infty$ and $ϵ\to 0$, one gets

$$\begin{array}{c}\hfill \underset{M}{sup}u\le \frac{K_1}{K_2}.\end{array}$$ 3.18

$\square$

For a complex manifold, there is a canonical Kobayashi metric $k_M$.

Definition 3.6

([4, 19]) The Kobayashi metric$k_M:TM\to \mathbb{R}$ of a complex manifold M is defined by

$$\begin{array}{c}\hfill k_M(z,v):=\underset{\phi }{inf}\left\{\frac{1}{r},;,\exists ,f,\in ,\text{Hom},(\mathrm{\Delta }(r),M),,,f,(0),=,z,,,f^{\prime },(0),=,v\right\}\end{array}$$

for any $(z,v)\in TM$, where the infinimum is taken for all holomorphic map f from disc $\mathrm{\Delta }(r)$ of radius r to M with $f(0)=z$ and $f^{\prime }(0)=v$.

For any tangent vector V on M, there exists a (1, 0)-type vector X such that $V=X+\overline{X}=2\text{Re}X$, $k_M(V):=2k_M(X)$. The Kobayashi pseudo-distance$d_M^K(p,q)$ is defined by

$$\begin{array}{c}\hfill d_M^K(p,q)=\underset{c}{inf}{\int }_0^1{k}_M(c(t),c^{\prime }(t))\mathrm{d}t,\end{array}$$

where infinimum is taken all curve of $C^1$-class on M.

A complex manifold M is said to be Kobayashi hyperbolic if the pseudo-distance $d_M^K$ is the distance in the strict sense.

As a simple application, we have the following interesting result.

Corollary 3.7

([4, 18]) Let $(N,G_1)$ be a complex Finsler manifold with holomorphic sectional curvature bounded from above by a negative constant $K_2$. Then we have

$$\begin{array}{c}\hfill 4k_N^2\ge -K_2{G}_1,\end{array}$$ 3.19

where $k_N$ is the Kobayashi metric of N. In particular, N is Kobayashi hyperbolic.

Proof

We equip the r-disc $\mathrm{\Delta }(r)$ with the complete Poincaré metric $G=2\lambda dz\otimes d\overline{z}$, $\lambda =\frac{r^2}{2(r^2-|z{|}^2)}$. It is well known that its Gaussian curvature is $K_G=-4<0$. By Theorem 3.5, one has

$$\begin{array}{c}\hfill f^{\ast }{G}_1\le \frac{-4}{K_2}G.\end{array}$$

Therefore,

$$\begin{array}{c}\hfill -K_2{G}_1(f(0),f^{\prime }(0))\le \frac{4r^2}{(r^2-{|z|}^2{)}^2}{|}_{z=0}=\frac{4}{r^2}.\end{array}$$

By the definition of $k_N$, one has

$$\begin{array}{c}\hfill 4k_N^2\ge -K_2{G}_1.\end{array}$$ 3.20

From (3.20) and $K_2<0$, $d_N^K$ is a distance in the strict sense. By Definition 3.6, N is Kobayashi hyperbolic. $\square$

Semi-positive Holomorphic Sectional Curvature

In this section, we assume that the holomorphic sectional curvature of a strongly pseudoconvex complex Finsler manifold (M, G) is semi-positive but not identically zero, i.e., $K_G\ge 0$ and there exists a point $(z_0,[v_0])\in P(TM)$ such that $K_G(z_0,[v_0])>0$. Firstly, we review Berndtsson’s curvature formula of direct image bundles (cf. [7–9, 20, 21]).

Curvature of Direct Image Bundles

Let $\pi :\mathcal{X}\to M$ be a holomorphic fibration with compact fibers, L a relative ample line bundle over $\mathcal{X}$, i.e., there exists a metric (weight) $\varphi$ of L such that $\sqrt{-1}{\partial \overline{\partial }\varphi |}_{{\mathcal{X}}_z}>0$ for any $z\in M$, ${\mathcal{X}}_z:={\pi }^{-1}(z)$. We denote by $(z;w)=(z^1,\dots ,z^n;w^1,\dots ,w^m)$ a local admissible holomorphic coordinate system of $\mathcal{X}$ with $\pi (z;w)=z$, where m denotes the dimension of fibers. For any smooth function $\varphi$ on $\mathcal{X}$, we denote

$$\begin{array}{c}\hfill {\varphi }_{;i}=\frac{\partial \varphi }{\partial z^i},{\varphi }_{;\overline{j}}=\frac{\partial \varphi }{\partial {\overline{z}}^j},{\varphi }_{\alpha }=\frac{\partial \varphi }{\partial w^{\alpha }},{\varphi }_{\overline{\beta }}=\frac{\partial \varphi }{\partial {\overline{w}}^{\beta }},\end{array}$$

where $1\le i,j\le n,1\le \alpha ,\beta \le m$.

For any smooth metric $\varphi$ of L with $\sqrt{-1}{\partial \overline{\partial }\varphi |}_{{\mathcal{X}}_z}>0$, set

$$\begin{array}{c}\hfill \frac{\delta }{\delta z^i}:=\frac{\partial }{\partial z^i}-{\varphi }_{\overline{\beta };i}{\varphi }^{\overline{\beta }\alpha }\frac{\partial }{\partial w^{\alpha }},\end{array}$$ 4.1

where $({\varphi }^{\overline{\beta }\alpha })$ is the inverse matrix of $({\varphi }_{\alpha \overline{\beta }})$. By a routine computation, one shows easily that ${\{\frac{\delta }{\delta z^i}\}}_{1\le i\le n}$ spans a well-defined horizontal subbundle of $T\mathcal{X}$. Let $\{d{z}^i;\delta w^{\alpha }\}$ denote the dual frame of $\{\frac{\delta }{\delta z^i};\frac{\partial }{\partial w^{\alpha }}\}$. One has

$$\begin{array}{c}\hfill \delta w^{\alpha }=d{w}^{\alpha }+{\varphi }^{\alpha \overline{\beta }}{\varphi }_{\overline{\beta };i}d{z}^i.\end{array}$$

Denote

$$\begin{array}{c}\hfill {\partial }^V=\frac{\partial }{\partial w^{\alpha }}\otimes \delta w^{\alpha },{\partial }^H=\frac{\delta }{\delta z^i}\otimes d{z}^i.\end{array}$$ 4.2

Clearly, the operators ${\partial }^V$ and ${\partial }^H$ are well defined.

The geodesic curvature $c(\varphi )$ of $\varphi$ ([11, Definition 2.1]) is defined by

$$\begin{array}{c}\hfill c(\varphi )=c{(\varphi )}_{i\overline{j}}\sqrt{-1}d{z}^i\wedge d{\overline{z}}^j=\left({\varphi }_{;i\overline{j}},-,{\varphi }_{\overline{\beta };i},{\varphi }^{\alpha \overline{\beta }},{\varphi }_{\alpha ;\overline{j}}\right)\sqrt{-1}d{z}^i\wedge d{\overline{z}}^j,\end{array}$$ 4.3

which is clearly a horizontal real (1, 1)-form on $\mathcal{X}$. By a direct computation, one has

$$\begin{array}{c}\hfill \sqrt{-1}\partial \overline{\partial }\varphi =c(\varphi )+\sqrt{-1}{\varphi }_{\alpha \overline{\beta }}\delta w^{\alpha }\wedge \delta {\overline{w}}^{\beta }.\end{array}$$ 4.4

We consider the direct image sheaf

$$\begin{array}{c}\hfill E:={\pi }_{\ast }(K_{\mathcal{X}/M}+L).\end{array}$$

Then E is a holomorphic vector bundle. In fact, for any point $p\in M$, taking a local coordinate neighborhood $(U;\{z^i\})$ of p, then $\varphi +\beta {\sum }_{i=1}^n{|z^i|}^2$ is a metric on the line bundle ${L\to \mathcal{X}|}_U$, whose curvature is

$$\begin{array}{c}\hfill \sqrt{-1}\partial \overline{\partial }\varphi +\beta \sqrt{-1}\sum _{i=1}^{n}d{z}^i\wedge d{\overline{z}}^i.\end{array}$$

By taking $\beta$ large enough, the curvature of $\varphi +\beta {\sum }_{i=1}^n{|z^i|}^2$ is positive. By the same argument as in [7, §4, p. 542], there exists a local holomorphic frame for E. So E is a holomorphic vector bundle.

Following Berndtsson (cf. [7–9]), we define the following $L^2$-metric on the direct image bundle $E:={\pi }_{\ast }(K_{\mathcal{X}/M}+L)$. Let ${\{u^A\}}_{1\le A\le \text{rank}E}$ be a local frame of E. Set

$$\begin{array}{c}\hfill h^{A\overline{B}}=⟨u^A,u^B⟩={\int }_{{\mathcal{X}}_z}{u}^A\overline{u^B}{e}^{-\varphi }.\end{array}$$ 4.5

Note that $u^A$ can be written locally as

$$\begin{array}{c}\hfill u^A=f^{A}dw\otimes s_L\end{array}$$ 4.6

where $s_L$ is a local holomorphic frame of L with $e^{-\varphi }={|s_L|}^2$, and so locally

$$\begin{array}{c}\hfill u^A\overline{u^B}{e}^{-\varphi }:={(\sqrt{-1})}^{m^2}{f}^A\overline{f^B}{|s_L|}^{2}dw\wedge d\overline{w}={(\sqrt{-1})}^{m^2}{f}^A\overline{f^B}{e}^{-\varphi }dw\wedge d\overline{w},\end{array}$$

where $dw=d{w}^1\wedge \cdots \wedge d{w}^m$ is the fiber volume.

The following theorem actually was proved by Berndtsson [9, Theorem 1.2].

Theorem 4.1

([9, Theorem 1.2]) Denote by ${\mathrm{\Theta }}^E={\mathrm{\Theta }}_{i\overline{j}}^{A\overline{B}}{u}_A\otimes \overline{u_B}\otimes d{z}^i\wedge d{\overline{z}}^j$ the Chern curvature of the $L^2$-metric (4.5) on E, where $\{u_A\in E^{\ast }\}$ is the dual frame of $\{u^A\}$. Then at the point $z\in M$,

$$\begin{array}{c}\hfill {\mathrm{\Theta }}_{i\overline{j}}^{A\overline{B}}={\int }_{{\mathcal{X}}_z}c{(\varphi )}_{i\overline{j}}{u}^A{\overline{u}}^B{e}^{-\varphi }+〈{(1+{\square }^{\prime })}^{-1},i_{{\overline{\partial }}^V\frac{\delta }{\delta z^i}},u^A,,,i_{{\overline{\partial }}^V\frac{\delta }{\delta z^j}},u^B〉.\end{array}$$ 4.7

Here ${\square }^{\prime }={\mathrm{\nabla }}^{\prime }{\mathrm{\nabla }}^{\prime \ast }+{\mathrm{\nabla }}^{\prime \ast }\mathrm{\nabla }$ denotes the Laplacian on ${\mathcal{X}}_z$ associated with the (1, 0)-part of the Chern connection on ${L|}_{{\mathcal{X}}_z}$, ${\overline{\partial }}^V\frac{\delta }{\delta z^i}=\frac{\partial (-{\varphi }_{\overline{\beta };i}{\varphi }^{\overline{\beta }\alpha })}{\partial {\overline{w}}^{\gamma }}\delta {\overline{w}}^{\gamma }\otimes \frac{\partial }{\partial w^{\alpha }}$.

Moreover,

$$\begin{array}{cc}& 〈{(1+{\square }^{\prime })}^{-1},i_{{\overline{\partial }}^V\frac{\delta }{\delta z^i}},u^A,,,i_{{\overline{\partial }}^V\frac{\delta }{\delta z^j}},u^B〉a_A^i\overline{a_B^j}\hfill \\ \hfill & =〈{(1+{\square }^{\prime })}^{-1},\left(i_{{\overline{\partial }}^V\frac{\delta }{\delta z^i}},u^A,a_A^i\right),,,\left(i_{{\overline{\partial }}^V\frac{\delta }{\delta z^j}},u^B,a_B^j\right)〉\ge 0\hfill \end{array}$$ 4.8

for any element $a=a_A^i{u}^A\otimes \frac{\partial }{\partial z^i}\in E\otimes TM$, and the equality holds if and only if

$$\begin{array}{c}\hfill \frac{\partial \left({\varphi }_{\overline{\beta };i},{\varphi }^{\overline{\beta }\alpha }\right)}{\partial {\overline{w}}^{\gamma }}{f}^A{a}_A^i=0.\end{array}$$

Proof

For the proof of (4.7), one also can refer to the proof of [14, Theorem 3.1]. The equality of (4.8) holds if and only if

$$\begin{array}{c}\hfill i_{{\overline{\partial }}^V\frac{\delta }{\delta z^i}}{u}^A{a}_A^i=0.\end{array}$$

From (4.1) and (4.2), the above equation is equivalent to $\frac{\partial ({\varphi }_{\overline{\beta };i}{\varphi }^{\overline{\beta }\alpha })}{\partial {\overline{w}}^{\gamma }}{f}^A{a}_A^i=0$. $\square$

Application on Cotangent Bundles

In this subsection, we will apply Theorem 4.1 to the cotangent bundle $E=T^{\ast }M$. In this case, $\mathcal{X}=P(TM)$,

$$\begin{array}{c}\hfill E={\pi }_{\ast }({\mathcal{O}}_{P(TM)}(1))={\pi }_{\ast }(L+K_{\mathcal{X}/M})\end{array}$$ 4.9

where

$$\begin{array}{c}\hfill L:={\mathcal{O}}_{P(TM)}(1)-K_{\mathcal{X}/M}=(n+1){\mathcal{O}}_{P(TM)}(1)+{\pi }^{\ast }detTM\end{array}$$ 4.10

(see [17, Proposition 2.2]). In this case, $\text{rank}E=dimM=n$, the dimension of fibers $m=dim{\mathcal{X}}_z=n-1$ for any $z\in M$.

Recall that (z; v) is a local coordinate system of TM with respect to the natural frame ${\{\frac{\partial }{\partial z^i}\}}_{i=1}^n$, it gives a local holomorphic frame of ${\mathcal{O}}_{P(TM)}(-1)$ by

$$\begin{array}{c}\hfill s_{{\mathcal{O}}_{P(TM)}(-1)}(z,[v])=\frac{1}{v^k}\sum _{i=1}^n{v}^i{\pi }^{\ast }\frac{\partial }{\partial z^i}\end{array}$$ 4.11

on $U_k:=\{(z,[v])\in P(TM)|v^k\ne 0\}$.

Moreover, the natural projection

$$\begin{array}{c}\hfill q:{(TM)}^o\to P(TM)(z;v)\mapsto (z;[v]):=(z^1,\dots ,z^n;[v^1,\dots ,v^n]),\end{array}$$ 4.12

gives a local coordinate system of P(TM) by

$$\begin{array}{c}\hfill (z;w)=\left(z^1,,,\dots ,,,z^n,;,\frac{v^1}{v^k},,,\dots ,,,\frac{v^{k-1}}{v^k},,,\frac{v^{k+1}}{v^k},,,\dots ,,,\frac{v^n}{v^k}\right)\end{array}$$ 4.13

on $U_k$.

Let $s_{{\mathcal{O}}_{P(TM)}(1)}$ denote the dual local holomorphic section of $s_{{\mathcal{O}}_{P(TM)}(-1)}$. By (4.10), there exist local frame $s_L$ of L and local frame $s_{{\pi }^{\ast }detTM}$ of ${\pi }^{\ast }detTM$ on $U_k$ such that

$$\begin{array}{c}\hfill s_{{\mathcal{O}}_{P(TM)}(1)}=dw\otimes s_L,s_L=s_{{\mathcal{O}}_{P(TM)}(-1)}^{\otimes -(n+1)}\otimes s_{{\pi }^{\ast }detTM}.\end{array}$$ 4.14

Let G be a strongly pseudoconvex complex Finsler metric on M, it induces a metric on ${\mathcal{O}}_{P(TM)}(-1)$ by

$$\begin{array}{c}\hfill |s_{{\mathcal{O}}_{P(TM)}(-1)}{|}^2=\frac{1}{|v^k{|}^2}{G}_{i\overline{j}}(z,v)v^i{\overline{v}}^j=\frac{G(z,v)}{|v^k{|}^2}\end{array}$$

on $U_k$. Let $g=(g_{i\overline{j}})$ be a Hermitian metric on M. From (4.14), there exists a metric ${\varphi }_L$ on L by

$$\begin{array}{c}\hfill e^{-{\varphi }_L}:=|s_L{|}^2:=|s_{{\mathcal{O}}_{P(TM)}(-1)}{|}^{-2(n+1)}|s_{{\pi }^{\ast }detTM}{|}^2={|v^k|}^{2(n+1)}{G}^{-(n+1)}detg,\end{array}$$ 4.15

where $detg:=det(g_{i\overline{j}})$.

Lemma 4.2

On $U_k=\{(z,[v])\in P(TM)|v^k\ne 0\}$, one has

$$\begin{array}{c}\hfill det\left(\frac{{\partial }^{2}logG}{\partial w^{\alpha }\partial {\overline{w}}^{\beta }}\right)=\frac{|v^k{|}^{2n}}{G^n}detG,\end{array}$$

where $detG:=det(G_{i\overline{j}})$.

Proof

Without loss of generality, we may assume that $k=1$. For any point $p\in U_1$, one has from (4.13),

$$\begin{array}{c}\hfill q_{\ast }\left(\frac{\partial }{\partial v^1}\right)=-\sum _{i=2}^n\frac{v^i}{{(v^1)}^2}\frac{\partial }{\partial w^{i-1}},q_{\ast }\left(\frac{\partial }{\partial v^k}\right)=\frac{1}{v^1}\frac{\partial }{\partial w^{k-1}},k\ge 2.\end{array}$$ 4.16

Here $q_{\ast }:T{(TM)}^o\to TP(TM)$ denotes the differential of the natural projection $q:{(TM)}^o\to P(TM)$.

Denote

$T=v^k\frac{\partial }{\partial v^k}$ and

$⟨\frac{\partial }{\partial v^i},\frac{\partial }{\partial v^j}⟩:=\frac{1}{G}{G}_{i\overline{j}}$, one has $⟨T,T⟩=1$. With respect to the basis $\{T,\frac{\partial }{\partial v^2},\dots ,\frac{\partial }{\partial v^n}\}$, the matrix of $⟨·,·⟩$ is

$B(\frac{1}{G}{G}_{i\overline{j}}){\overline{B}}^T$,

where

$$\begin{array}{c}\hfill B=\left[\begin{array}{cccc}{v}^1& v^2& \cdots & v^n\\ 0& 1& \cdots & 0\\ ⋮& ⋮& \ddots & ⋮\\ 0& 0& \cdots & 1\end{array}\right].\end{array}$$

Denote ${(\frac{\partial }{\partial v^k})}^{\perp }=\frac{\partial }{\partial v^k}-⟨\frac{\partial }{\partial v^k},T⟩T$.

For any $i,j\ge 2$, we have from (4.16)

$$\begin{array}{cc}\hfill 〈{(\frac{\partial }{\partial v^i})}^{\perp },,,{(\frac{\partial }{\partial v^j})}^{\perp }〉& =\frac{1}{G}{G}_{i\overline{j}}-\frac{1}{G^2}{G}_i{G}_{\overline{j}}\hfill \\ \hfill & =\frac{{\partial }^{2}logG}{\partial v^i\partial {\overline{v}}^j}=\frac{1}{|v^1{|}^2}\frac{{\partial }^{2}logG}{\partial w^i\partial {\overline{w}}^j}.\hfill \end{array}$$

So with respect to the basis $\{T,{(\frac{\partial }{\partial {\zeta }^2})}^{\perp },\dots ,{(\frac{\partial }{\partial {\zeta }^r})}^{\perp }\}$, the matrix of $⟨·,·⟩$ is

Since $\{T,{(\frac{\partial }{\partial v^2})}^{\perp },\dots ,{(\frac{\partial }{\partial v^n})}^{\perp }\}$ and $\{T,\frac{\partial }{\partial v^2},\dots ,\frac{\partial }{\partial v^n}\}$ differ by an unitary matrix, so

$$\begin{array}{c}\hfill \frac{1}{|v^1{|}^{2(n-1)}}det\left(\frac{{\partial }^{2}logG}{\partial w^{\alpha }\partial {\overline{w}}^{\beta }}\right)=det\left(B,(\frac{1}{G}{G}_{i\overline{j}}),{\overline{B}}^T\right)={|v^1|}^2\frac{det(G_{i\overline{j}})}{G^n},\end{array}$$

which completes the proof. $\square$

Combining (4.15) with Lemma 4.2, one has

$$\begin{array}{c}\hfill e^{-{\varphi }_L}=\frac{|v^k{|}^{2}det({\partial }_{w^{\alpha }}{\partial }_{{\overline{w}}^{\beta }}logG)}{G(detG){(detg)}^{-1}}\end{array}$$ 4.17

on $U_k$.

It is known that $H^0({\mathbb{P}}^{n-1},{\mathcal{O}}_{{\mathbb{P}}^{n-1}}(k))$ can be identified as the space of homogeneous polynomials of degree k in n variables. Therefore, the sections of $H^0({\mathcal{X}}_z,{\mathcal{O}}_{P(TM)}(1){|}_{{\mathcal{X}}_z})$ are of the form

$$\begin{array}{c}\hfill u^i=v^i{\left(v^j,{\pi }^{\ast },\frac{\partial }{\partial z^j}\right)}^{\ast }=\frac{v^i}{v^k}{s}_{{\mathcal{O}}_{P(TM)}(1)}=\frac{v^i}{v^k}dw\otimes s_L.\end{array}$$ 4.18

On the other hand, there is a canonical element

$$\begin{array}{c}\hfill a:=u^i\otimes \frac{\partial }{\partial z^i}={\left(v^i,{\pi }^{\ast },\frac{\partial }{\partial z^i}\right)}^{\ast }\otimes v^i\frac{\partial }{\partial z^i}\in E\otimes TM,\end{array}$$ 4.19

which is well defined since $v^i$ and $\frac{\partial }{\partial z^i}$ are covariant to each other.

By (4.18), (4.19), and Theorem 4.1, we obtain

$$\begin{array}{cc}\hfill {\mathrm{\Theta }}_{i\overline{j}}^{i\overline{j}}& ={\int }_{{\mathcal{X}}_z}c{(\varphi )}_{i\overline{j}}\frac{v^i{\overline{v}}^j}{|v^k{|}^2}{e}^{-{\varphi }_L}{(\sqrt{-1})}^{{(n-1)}^2}dw\wedge d\overline{w}\hfill \\ \hfill & +〈{(1+{\square }^{\prime })}^{-1},i_{{\overline{\partial }}^V\frac{\delta }{\delta z^i}},u^i,,,i_{{\overline{\partial }}^V\frac{\delta }{\delta z^j}},u^j〉.\hfill \end{array}$$ 4.20

Now let us compute the first term in the right-hand side of (4.20). By (4.15), (4.17), and setting ${\varphi }_G=logG$, one has

$$\begin{array}{c}\hfill \begin{array}{cc}& {\int }_{{\mathcal{X}}_z}c{({\varphi }_L)}_{i\overline{j}}\frac{v^i{\overline{v}}^j}{|v^k{|}^2}{e}^{-{\varphi }_L}{(\sqrt{-1})}^{{(n-1)}^2}dw\wedge d\overline{w}\hfill \\ \hfill & ={\int }_{{\mathcal{X}}_z}((n+1)c{({\varphi }_G)}_{i\overline{j}}-{\partial }_i{\partial }_{\overline{j}}logdetg)\frac{v^i{\overline{v}}^j}{G}\frac{|v^k{|}^{2n}detg}{G^n}{(\sqrt{-1})}^{{(n-1)}^2}dw\wedge d\overline{w}\hfill \\ \hfill & ={\int }_{{\mathcal{X}}_z}((n+1)c{({\varphi }_G)}_{i\overline{j}}-{\partial }_i{\partial }_{\overline{j}}logdetg)\frac{v^i{\overline{v}}^j}{G}\frac{detg}{detG}\frac{{(\sqrt{-1}\partial \overline{\partial }logG)}^{n-1}}{(n-1)!}\hfill \\ \hfill & =-(n+1){\int }_{{\mathcal{X}}_z}{R}_{i\overline{j}k\overline{l}}\frac{v^i{\overline{v}}^j{v}^k{\overline{v}}^l}{G^2}\frac{detg}{detG}\frac{{(\sqrt{-1}\partial \overline{\partial }logG)}^{n-1}}{(n-1)!}\hfill \\ \hfill & -{\partial }_i{\partial }_{\overline{j}}logdetg{\int }_{{\mathcal{X}}_z}\frac{v^i{\overline{v}}^j}{G}\frac{detg}{detG}\frac{{(\sqrt{-1}\partial \overline{\partial }logG)}^{n-1}}{(n-1)!}.\hfill \end{array}\end{array}$$ 4.21

Now the induced Hermitian metric on $T^{\ast }M$ is

$$\begin{array}{c}\hfill h^{\overline{j}i}={\int }_{{\mathcal{X}}_z}\frac{v^i{\overline{v}}^j}{G}\frac{detg}{detG}\frac{{(\sqrt{-1}\partial \overline{\partial }logG)}^{n-1}}{(n-1)!}.\end{array}$$ 4.22

Denote by $h=(h_{i\overline{j}})$ the dual Hermitian metric of $(h^{\overline{j}i})$, and $deth:={(det(h^{\overline{j}i}))}^{-1}$. Consider the induced metric on $T^{\ast }M$ given by (4.22). We claim that by an appropriate rescaling of g one can always reduce to the case in which $detg={(deth)}^{-1}$. Indeed, in place of g one can always consider the Hermitian metric

$$\begin{array}{c}\hfill {\tilde{g}}_{i\overline{j}}={\left(\frac{deth}{detg}\right)}^{\frac{1}{n(n+1)}}{g}_{i\overline{j}}.\end{array}$$ 4.23

So there induces a Hermitian metric $\tilde{h}$ on $T^{\ast }M$ associated with the Hermitian metric $\tilde{g}=({\tilde{g}}_{i\overline{j}})$, which is given by (4.22). Moreover,

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill det({\tilde{h}}^{\overline{j}i})& =det\left({\int }_{{\mathcal{X}}_z},\frac{v^i{\overline{v}}^j}{G},\frac{det\tilde{g}}{detG},\frac{{(\sqrt{-1}\partial \overline{\partial }logG)}^{n-1}}{(n-1)!}\right)\hfill \\ \hfill & ={\left(\frac{deth}{detg}\right)}^{\frac{n}{n+1}}{(deth)}^{-1}\hfill \\ \hfill & ={\left({\left(\frac{deth}{detg}\right)}^{\frac{1}{n+1}},det,g\right)}^{-1}\hfill \\ \hfill & ={(det\tilde{g})}^{-1}.\hfill \end{array}\end{array}$$ 4.24

For a Hermitian metric $h=(h_{i\overline{j}})$ on M, the two scalar curvatures are defined by

$$\begin{array}{c}\hfill s_h={\mathrm{\Theta }}_{i\overline{j}k\overline{l}}{h}^{i\overline{j}}{h}^{k\overline{l}},{\widehat{s}}_h={\mathrm{\Theta }}_{i\overline{j}k\overline{l}}{h}^{i\overline{l}}{h}^{k\overline{j}},\end{array}$$ 4.25

where ${\mathrm{\Theta }}_{i\overline{j}k\overline{l}}{h}^{i\overline{j}}=-\frac{{\partial }^2{h}_{k\overline{l}}}{\partial z^i\partial {\overline{z}}^j}+h^{\overline{q}p}\frac{\partial h_{p\overline{j}}}{\partial {\overline{z}}^l}\frac{\partial h_{i\overline{q}}}{\partial z^k}$.

From the chosen of Hermitian metric g and (4.25), (3.20) reduces to

$$\begin{array}{cc}& {\int }_{{\mathcal{X}}_z}c{({\varphi }_L)}_{i\overline{j}}\frac{v^i{\overline{v}}^j}{|v^k{|}^2}{e}^{-{\varphi }_L}{(\sqrt{-1})}^{{(n-1)}^2}dw\wedge d\overline{w}\hfill \\ \hfill & =-\frac{n+1}{2}{\int }_{{\mathcal{X}}_z}{K}_G\frac{detg}{detG}\frac{{(\sqrt{-1}\partial \overline{\partial }logG)}^{n-1}}{(n-1)!}+s_h.\hfill \end{array}$$ 4.26

Now we deal with the second term in the RHS of (4.20). By Theorem (4.1),

$$\begin{array}{c}\hfill 〈{(1+{\square }^{\prime })}^{-1},i_{{\overline{\partial }}^V\frac{\delta }{\delta z^i}},u^i,,,i_{{\overline{\partial }}^V\frac{\delta }{\delta z^j}},u^j〉\ge 0\end{array}$$

and $⟨{(1+{\square }^{\prime })}^{-1}{i}_{{\overline{\partial }}^V\frac{\delta }{\delta z^i}}{u}^i,i_{{\overline{\partial }}^V\frac{\delta }{\delta z^j}}{u}^j⟩=0$ if and only if

$$\begin{array}{c}\hfill \frac{\partial ({({\varphi }_L)}_{\overline{\beta };i}{({\varphi }_L)}^{\overline{\beta }\alpha })}{\partial {\overline{w}}^{\gamma }}{v}^i=0.\end{array}$$ 4.27

From the definition of ${\varphi }_L$ (4.15) and $detg=(detg)(z)$, (4.27) is equivalent to

$$\begin{array}{c}\hfill v^i\frac{\partial }{\partial {\overline{w}}^{\gamma }}({(logG)}_{\overline{\beta };i}{(logG)}^{\overline{\beta }\alpha })={(logG)}^{\overline{\beta }\alpha }{v}^i\frac{{\delta }_{\varphi }}{\delta z^i}{(logG)}_{\overline{\beta }\overline{\gamma }}=0,\end{array}$$ 4.28

where $\frac{{\delta }_{\varphi }}{\delta z^i}$ is defined by (4.1). On the other hand, by definition of $\widehat{G}$, $\widehat{P}$, and Lemma 2.2, one has

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill \frac{1}{G}(\overline{\partial }\widehat{G})(\overline{\widehat{P}})& =\frac{{\overline{v}}^l}{G}\frac{\delta }{\delta {\overline{z}}^l}(G_{\mathit{ij}})\delta v^i\otimes \delta v^j\hfill \\ \hfill & ={\overline{v}}^l\frac{\delta }{\delta {\overline{z}}^l}({(logG)}_{\mathit{ij}})\delta v^i\otimes \delta v^j\hfill \\ \hfill & ={\overline{v}}^l\frac{{\delta }_{\varphi }}{\delta {\overline{z}}^l}({(logG)}_{\mathit{ij}})\delta v^i\otimes \delta v^j\hfill \\ \hfill & ={\overline{v}}^l\frac{{\delta }_{\varphi }}{\delta {\overline{z}}^l}\left(\frac{{\partial }^{2}logG}{\partial w^{\alpha }\partial w^{\beta }},\frac{\partial w^{\alpha }}{\partial v^i},\frac{\partial w^{\beta }}{\partial v^j},+,\frac{\partial logG}{\partial w^{\alpha }},\frac{{\partial }^2{w}^{\alpha }}{\partial v^i\partial v^j}\right)\delta v^i\otimes \delta v^j\hfill \\ \hfill & ={\overline{v}}^l\frac{{\delta }_{\varphi }}{\delta {\overline{z}}^l}({(logG)}_{\alpha \beta })\delta w^{\alpha }\otimes \delta w^{\beta },\hfill \end{array}\end{array}$$ 4.29

where the third equality holds since $q_{\ast }(\frac{\delta }{\delta {\overline{z}}^l})=\frac{{\delta }_{\varphi }}{\delta {\overline{z}}^l}$.

Combining (4.28) and (4.29), $⟨{(1+{\square }^{\prime })}^{-1}{i}_{{\overline{\partial }}^V\frac{\delta }{\delta z^i}}{u}^i,i_{{\overline{\partial }}^V\frac{\delta }{\delta z^j}}{u}^j⟩=0$ if and only if the complex Finsler metric G satisfies (2.27). The curvature term ${\mathrm{\Theta }}_{i\overline{j}}^{i\overline{j}}$ in (4.20) is

$$\begin{array}{c}\hfill {\mathrm{\Theta }}_{i\overline{j}}^{i\overline{j}}=-{\mathrm{\Theta }}_{k\overline{l}i\overline{j}}{h}^{k\overline{j}}{h}^{i\overline{l}}=-{\widehat{s}}_h.\end{array}$$ 4.30

Combining (4.20) and (4.26) with (4.30), one obtains

Proposition 4.3

Let G be a strongly pseudoconvex complex Finsler metric on complex manifold M. There exist Hermitian metrics h and g on M such that the sum of two scalar curvatures satisfies

$$\begin{array}{c}\hfill s_h+{\widehat{s}}_h\le \frac{n+1}{2}{\int }_{{\mathcal{X}}_z}{K}_G\frac{detg}{detG}\frac{{(\sqrt{-1}\partial \overline{\partial }logG)}^{n-1}}{(n-1)!}.\end{array}$$ 4.31

Moreover, the equality holds if and only if the Finsler metric satisfies (2.27).

Let

$$\begin{array}{c}\hfill {\omega }_h=\sqrt{-1}{h}_{i\overline{j}}d{z}^i\wedge d{\overline{z}}^j\end{array}$$

be the fundamental form associated with the Hermitian metric $h=(h_{i\overline{j}})$ on M. The first application of (4.3) is as follows.

Corollary 4.4

If $K_G\le 0$ and M is compact, then there exists a Hermitian metric h such that

$$\begin{array}{c}\hfill {\int }_M{\widehat{s}}_h{\omega }_h^n\le 0.\end{array}$$ 4.32

Proof

There is a relation between the two scalar curvatures of a Hermitian metric (see eg. [34, Formula (3.3)])

$$\begin{array}{c}\hfill s_h={\widehat{s}}_h+⟨\overline{\partial }{\overline{\partial }}^{\ast }{\omega }_h,{\omega }_h⟩.\end{array}$$ 4.33

Integrating both sides of above equation, one gets

$$\begin{array}{c}\hfill {\int }_M{\widehat{s}}_h{\omega }_h^n\le {\int }_M{\widehat{s}}_h{\omega }_h^n+{\int }_M{|{\overline{\partial }}^{\ast }{\omega }_h|}^2{\omega }_h^n={\int }_M{s}_h{\omega }_h^n.\end{array}$$ 4.34

Combining Proposition 4.3 with the assumption $K_G\le 0$, one has

$$\begin{array}{cc}\hfill {\int }_M{\widehat{s}}_h{\omega }_h^n& \le \frac{1}{2}{\int }_M({\widehat{s}}_h+s_h){\omega }_h^n\hfill \\ \hfill & \le \frac{n+1}{4}{\int }_{P(TM)}{K}_G\frac{detg}{detG}\frac{{(\sqrt{-1}\partial \overline{\partial }logG)}^{n-1}}{(n-1)!}\wedge {\omega }_h^n\le 0.\hfill \end{array}$$ 4.35

$\square$

Theorem 4.5

Let (M, G) be a strongly pseudoconvex complex Finsler metric which satisfies (2.27). If $K_G\ge 0$ and $K_G(p)>0$ for some $p\in P(TM)$, then the Kodaira dimension $\kappa (M)=-\infty$, i.e., $H^0(M,l{K}_M)=0$ for $l\ge 1$.

Proof

By Proposition 4.3 and (2.27), so there exist Hermitian metrics h and g on M such that

$$\begin{array}{c}\hfill s_h+{\widehat{s}}_h=\frac{n+1}{2}{\int }_{{\mathcal{X}}_z}{K}_G\frac{detg}{detG}\frac{{(\sqrt{-1}\partial \overline{\partial }logG)}^{n-1}}{(n-1)!}.\end{array}$$ 4.36

By the assumption of $K_G$, so $s_h+{\widehat{s}}_h$ is also semi-positive and strict positive at some point in M. The same proof as in [6, Theorem 1, 34, Theorem 3.1], one has $H^0(M,l{K}_M)=0$ for $l\ge 1$. $\square$