Abstract
In this paper we prove the existence and uniqueness of the form-type equation on Kähler manifolds of nonnegative orthogonal bisectional curvature.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In the previous paper [2], we introduced the form-type Calabi–Yau equation on a compact complex \(n\)-dimensional manifold with a balanced metric and with a non-vanishing holomorphic \(n\)-form \(\Omega \). A balanced metric \(\omega \) on \(X\) is a hermitian metric such that \(d\omega ^{n-1}=0\). Given a balanced metric \(\omega _0\) on \(X\), let us denote by \({\mathcal P}(\omega _0)\) the set of all smooth real \((n-2,n-2)\)-forms \(\psi \) such that \(\omega _0^{n-1}+\frac{\sqrt{-1}}{2}\partial \bar{\partial }\psi >0\) on \(X\). Then, for each \(\varphi \in {\mathcal P}(\omega _0)\), there exists a balanced metric, which we denote by \(\omega _{\varphi }\), such that \(\omega _{\varphi }^{n-1}=\omega _0^{n-1}+\frac{\sqrt{-1}}{2}\partial \bar{\partial }\varphi \). We say that such a metric \(\omega _\varphi \) is in the balanced class of \(\omega _0\). Our aim is to find a balanced metric \(\omega _\varphi \) in the balanced class of \(\omega _0\) such that
The geometric meaning of such a metric is that its Ricci curvatures of the hermitian connection and the spin connection are zero. On the other hand, the direct non-Kähler analogue of the Calabi conjecture has recently been solved by Tosatti–Weinkove [9] (see also [5], and the references in [5, 9]). In general their solutions provide hermitian Ricci-flat metrics which are not balanced.
As in the Kähler case, Eq. (1.1) can be reformulated in the following form
where \(f \in C^{\infty }(X)\) is given and satisfies the compatibility condition:
We would like to find a solution \(\varphi \in {\mathcal {P}}(\omega _0)\). The Eq. (1.2) is called a form-type Calabi–Yau equation, a reminiscent of the classic function type Calabi–Yau equation. We note here that when \(n=2\), the form type equation is reduced automatically to the classic function type equation and the balanced metric is a Kähler metric. Hence in this case the Eq. (1.2) is the classic Calabi–Yau equation and has been solved by Yau in [10]. Therefore, in the following we assume \(n\ge 3\).
We have constructed solutions for (1.1) when \(X\) is a complex torus [2]. A natural approach to solve (1.2) is to use the continuity method. The openness and uniqueness were discussed in the previous work [2]. We do not know whether there is a geometric obstruction for solving (1.2) in general.
Equation (1.2) is still meaningful on a compact complex manifold with a balanced metric, whose canonical bundle is not holomorphically trivial. Geometrically, solving (1.2) allows us to solve the problem of prescribed volume form on \(X\), in the balanced class of each balanced metric on \(X\). Namely, given any positive \((n,n)\)-form \(W\) on \(X\) and a balanced metric \(\omega _0\), we let
then by solving (1.2) we are able to find a metric \(\omega _\varphi \) in the balanced class of \(\omega _0\) such that \(\omega _\varphi ^n\) is equal to \(W\), up to a constant rescaling.
It seems to us very hard to understand Eq. (1.2) in general. In this paper, we want to give the mechanics of looking for all solutions within the balanced class of a given balanced metric. The idea is, in some sense, to transfer the form-type Calabi–Yau equation to a function type equation.
So in the following we let \((X, \eta )\) be an \(n\)-dimensional Kähler manifold, \(n \ge 3\), and \(\omega _0\) be a balanced metric on \(X\). We let on \(X\)
For each \(u \in {\mathcal {P}}_{\eta }(\omega _0)\), we denote by \(\omega _u\) the unique positive \((1,1)\)-form on \(X\) such that
Then we consider the equation
where \(f \in C^{\infty }(X)\) is given and satisfies the compatibility condition (1.3).
In this paper, we are able to solve (1.4), under the assumption that the Kähler metric \(\eta \) has nonnegative orthogonal bisectional curvature; that is, for any orthonormal tangent frame \(\{ e_1, \ldots , e_n\}\) at any \(x\in M\), the curvature tensor of \(\eta \) satisfies that
We remark that nonnegativity of the orthogonal bisectional curvature is weaker than nonnegativity of the bisectional curvature. In fact, the former condition are satisfied by not only complex projective spaces and the Hermitian symmetric spaces, but also some compact Kähler manifolds of dimension \(\ge 2\) whose holomorphic sectional curvature is strictly negative somewhere. We refer the reader to the recent work Gu–Zhang [4] for the study of nonnegative orthogonal bisectional curvature, which generalizes the earlier work of Mok [7] and Siu–Yau [8].
Our main result is as follows:
Theorem 1
Let \((X,\eta )\) be a compact Kähler manifold of nonnegative orthogonal bisectional curvature, and \(\omega _0\) be a balanced metric on \(X\). Then, for any smooth function \(f\) on \(X\) satisfying (1.3), Eq. (1.4) admits a solution \(u \in {\mathcal {P}}_{\eta }(\omega _0)\), which is unique up to a constant.
Subsequently, Eq. (1.2) has a solution \(\varphi =u\eta ^{n-2} \in {\mathcal {P}}(\omega _0)\). Now we explain how to use Theorem 1 to find all solutions of (1.2) in the balanced class of \(\omega _0\) on a compact Kähler manifold \((X,\eta )\) of nonnegative orthogonal bisectional curvature. Let \(\omega _\psi \), for \(\psi \in {\mathcal {P}}(\omega _0)\), be a balanced metric in the balanced class of \(\omega _0\). We then let
For each \(v \in {\mathcal {P}}_{\eta }(\omega _\psi )\), we denote by \(\omega _{\psi ,v}\) the unique positive (1,1)-form on \(X\) such that
Such a \((1,1)\)-form \(\omega _{\psi ,v}\) is still in the balanced class of \(\omega _0\). Then we consider the equation
where \(f_\psi \in C^{\infty }(X)\) is given by
and satisfies the compatibility condition.
Replacing \(\omega _0\) with \(\omega _\psi \) and \(f\) with \(f_\psi \) in Theorem 1, we show that (1.6) admits a solution, denoted by \(u_{\psi }\), which is unique up to a constant. It then follows that \(\varphi =\psi +u_\psi \eta ^{n-2} \in {\mathcal {P}}(\omega _0)\) is a solution to (1.2). Hence, when we vary \(\psi \in {\mathcal P}(\omega _0)\), we obtain all solutions \(\varphi =\psi +u_\psi \eta ^{n-2}\) (which are infinitely many) to Eq. (1.2) in the balanced class of \(\omega _0\) on \(X\) of nonnegative orthogonal bisectional curvature. In particular, the form-type equation on a complex torus is completely settled in this way.
Corollary 2
Let \((X,\eta )\) be a compact Kähler manifold of nonnegative orthogonal bisectional curvature, and \(\omega _0\) be a balanced metric on \(X\). Let \(f\) be a smooth function on \(X\) satisfying (1.3). Then for any \(\psi \in {\mathcal P}(\omega _0)\), Eq. (1.2) admits a solution \(\varphi =\psi +u_\psi \eta ^{n-2}\). Here \(u_\psi \) is a solution to (1.6) which is unique up to a constant.
Thus, the idea used in this paper, which is to transfer from the form-type Calabi–Yau equation to a function-type equation, may be useful. Later we will establish the Theorem 1 on any compact Kähler manifold. We need to overcome some difficulties of estimates.
We employ the continuity method to prove Theorem 1. In Sect. 2, we establish an a priori \(C^2\) estimate for the solution \(u\). This is the place where we need the curvature condition. The \(C^2\) estimate enables us to obtain a general a priori \(C^0\) estimate, by combining the maximum principle and the weak Harnack inequality. This is the content of Sect. 3. We then adapt the Evans–Krylov theory to our form-type equation, and obtain in Sect. 4 the Hölder estimates for second derivatives. The openness is covered by Theorem 3 in our previous paper [2]. For readers’ convenience, we briefly indicate the argument in the last section, Sect. 5. The uniqueness is also proved in Sect. 5.
2 \(C^2\) estimates for form-type equations
In this section, we would like to establish the following estimate:
Lemma 3
Given \(F \in C^2(X)\), let \(u \in C^4(X)\) satisfy that
and that
Assume that \(\eta \) has nonnegative orthogonal bisectional curvature. Then, we have
and
Here \(\Delta _{\eta } v =\sum \eta ^{i\bar{j}} v_{i\bar{j}}\) denotes the Laplacian of a function \(v\) with respect to \(\eta \), and \(C>0\) is a constant depending only on \(\inf _X (\Delta _{\eta }F)\), \(\sup _X F\), \(\eta \), \(n\), and \(\omega _0\).
Here are some conventions: For an \((n-1,n-1)\)-form \(\Theta \), we denote
in which
Here we introduce the sign function \(s\) so that,
We denote
If the matrix \((\Theta _{p\bar{q}})\) is invertible, we denote by \((\Theta ^{p\bar{q}})\) the transposed inverse of \((\Theta _{p\bar{q}})\), i.e.,
Note that, for a positive \((1,1)\)-form \(\omega \) given by
we have
and by our convention,
It follows that
and
In the following, the subscripts such as “\(,p\)” stand for the ordinary local derivatives; for example,
For a function \(h\) we can omit the comma: \(h_l = h_{,l}\), \(h_{l\bar{m}} = h_{,l\bar{m}}\), etc. Unless otherwise indicated, all the summations below range from \(1\) to \(n\). We remark that, under the convention, Eq. (1.4) can be rewritten as
which is convenient for deriving the estimates.
Proof of Lemma 3
Let
Let
where \(A >0\) is a large constant to be determined. Using wedge products, the function \(\phi \) can also be written as
Consider the operator
Suppose that \(\phi \) attains its maximum at some point \(P\) in \(X\). We choose a normal coordinate system such that at \(P\), \(\eta _{i\bar{j}}=\delta _{ij}\) and \(d\eta _{i\bar{j}}=0\). Then, we rotate the axes so that at \(P\) we have \((\Psi _u)_{p\bar{q}}=\delta _{pq}(\Psi _u)_{p\bar{p}}\). Thus, for any smooth function \(v\) on \(X\), we have at \(P\) that
By (2.7) we obtain that
It follows that
Furthermore, we have
and
Note that under the normal coordinate system, the curvature \((R_{i\bar{j}k\bar{l}})\) of \(\eta \) reads
This together with (2.9) imply that
We compute at \(P\) that
Note that
Differentiating once more to obtain that
It follows that
Notice that
Here the fourth derivative term can be handled by the Eq. (2.1): We rewrite (2.1) as
Differentiating this in the direction of \(\partial /\partial z^a\) yields
Then,
Contracting this with \((\eta ^{a\bar{b}})\) and applying the normal coordinates yield that
This together with (2.12) imply that
Combining this with (2.15) yields
The first two terms on the right hand side of the above inequality can be handled as follows.
Apply (2.8) to estimate the first term of last equality
Combining (2.16) with (2.17) and then with (2.18), we obtain
Here and throughout this section, we denote by \(C_1>0\) a generic constant depending only on \(\Psi \) and the curvature of \(\eta \).
Substituting (2.19) into (2.14) yields
Now we choose \(A>0\) sufficiently large so that
It follows that
Hence,
Here and throughout this section, we denote by \(C_2\) a generic positive constant depending only on \(n\), \(\Psi \), \(\eta \), \(\sup \Delta _{\eta } F\), and \(\sup F\). Therefore, at any point in \(X\),
Since \([(\Psi _u)_{i\bar{j}}]\) is positive definite everywhere, we have
This completes the proof. \(\square \)
Lemma 3 enables us to establish the \(C^2\) estimate for Eq. (1.4):
Corollary 4
For any \(f \in C^{\infty }(X)\), let \(u \in C^{\infty }(X)\) be a solution of
where \(\omega _u\) is a positive \((1,1)\)-form on \(X\) such that
Assume that \(\eta \) has nonnegative orthogonal bisectional curvature. Then, we have
and
where \(C> 0\) is a constant depending only on \(f\), \(\eta \), \(n\), and \(\omega _0\).
Proof
Let
To apply Lemma 3, it suffices to estimate \(\inf (\Delta _{\eta } F)\) and \(\sup F\). Note that
Applying the maximum principle to (2.20) at the points where \(u\) attain its maximum and minimum, respectively, yields a uniform bound for the constant:
This implies that \(\sup |F| \le (n-1) (\sup f - \inf f)\). \(\square \)
3 \(C^0\) estimates
In this section, we will derive the following general \(C^0\) estimate. This together with Corollary 4 will settle the \(C^0\) estimate for manifolds of nonnegative orthogonal bisectional curvature.
Lemma 5
Let \((X,\eta )\) be an arbitrary Kähler manifold with complex dimension \(n \ge 2\). Suppose that \(u \in C^2(X)\) satisfies
where \(\Delta \) stands for the Laplacian with respect to \(\eta \), and \(C_1, C_2\) are two positive constants. Then,
in which \(C>0\) is a constant depending only on \(\eta \), \(n\), \(C_1\), and \(C_2\).
The proof is based on the following maximum principle (Proposition 6) and the weak Harnack inequality (Proposition 7). We denote for \(p > 0\),
Proposition 6
Let \(v \in C^2(X)\), \(v > 0\) on \(X\), satisfy that
where \(c\) and \(d\) are constants. Then, for any real number \(p > 0\),
where \(C>0\) is a constant depending only on \(\eta \) and \(n\).
Proposition 7
Let \(v \in C^2(X)\), \(v > 0\) on \(X\) and satisfy
where \(c\) is a constant. Then, there exists a real number \(p_0 > 0\), depending on \(\eta \), \(n\), and \(c\), such that
where \(C> 0\) depends only on \(\eta \) and \(n\).
Proposition 6 and Proposition 7 can be proved by Moser’s iteration. The arguments are standard (see, for example, [6]). We are in a position to prove Lemma 5.
Proof of Lemma 5
Let
Since \(X\) is compact, \(u\) attains its infimum. Then,
On the other hand, we have
and
Applying Proposition 7 to (3.3), we obtain that
Here \(p_0 > 0\) is a number depending only on \(\eta \), \(n\), and \(C_1\); \(C > 0\) is a constant depending only on \(\eta \) and \(n\). Applying Proposition 6 to (3.4) with \(p = p_0\) yields that
where \(C'>0\) depends only on \(\eta \) and \(n\). Combining these two inequalities we have
It follows that
where \(C>0\) depends only on \(\eta \), \(n\), \(C_1\), and \(C_2\). \(\square \)
Let us now return to Eq. (1.4). We let \((X, \eta )\) be the complex \(n\)-dimensional Kähler manifold of nonnegative orthogonal bisectional curvature, and \(\omega _0\) be a Hermitian metric on \(X\).
Corollary 8
For any \(f \in C^{\infty }(X)\), let \(u \in C^{\infty }(X)\) be a solution of
where \(\omega _u\) is a positive \((1,1)\)-form such that
Then,
where \(C> 0\) is a constant depending only on \(f\), \(\eta \), \(n\), and \(\omega _0\).
Proof
By Corollary 4, it suffices to estimate \((\sup u - \inf u)\). Contracting
with \(\eta \) yields that
Here the constant \(C_2 > 0\) depends only on \(\eta \), \(n\), and \(\omega _0\). We have (2.21), on the other hand. Therefore, the result is an immediate consequence of Lemma 5. \(\square \)
4 Hölder estimates for second derivatives
Let \(X\) be a \(n\)-dimensional Kähler manifold, \(\eta \) be a Kähler metric on \(X\), and \(\omega _0\) be a balanced metric on \(X\). We will establish the following estimate.
Lemma 9
For \(F \in C^2(X)\), let \(u \in C^4(X)\) satisfy that
and that
Suppose that
for some constant \(C_3>0\). Then,
where \(0 < \alpha < 1\) and \(C>0\) are constants depending only on \(C_3\), \(n\), \(\omega _0\), and \(\eta \).
We shall apply the Evans–Krylov theory (see, for example, Gilbarg–Trudinger [3, p. 461, Theorem 17.14]), which is on the real fully nonlinear elliptic equation. Note that Evans–Krylov theory is based on the weak Harnack estimate (see, for example, [3, p. 246, Theorem 9.22]), which, in turn, makes uses of Aleksandrov’s maximum principle (see, for example, [3, p. 222, Lemma 9.3]).
We first adapt Aleksandrov’s maximum principle to the complex setting. To see this, we start from the following result (see, for example, Lemma 9.2 in [3]): Let \(\Omega \subset {\mathbb {C}}^n\) be a bounded domain with smooth boundary.
Lemma
(Aleksandrov) For \(v \in C^2(\overline{\Omega })\) with \(v \le 0\) on \(\partial \Omega \), we have
Here \(\sigma _{2n}\) is the volume of unit ball in \({\mathbb {C}}^n\), \(D^2 v\) denotes the real Hessian matrix of \(v\), and \(\Gamma ^+_v\) is the upper contact set of \(v\), i.e.,
Then, it suffices to control the real Hessian \(D^2 v\) by the complex Hessian \((v_{i\bar{j}})\) of \(v\), over \(\Gamma _v^+\). Note that \(\Gamma _v^+ \subset \{ y \in \Omega ; (D^2 v) (y) \le 0 \}\). We shall make use of the following inequality (comparing with [1, p. 246], we do not need Hadarmad’s inequality for semipositive matrices):
Proposition 10
Let \(w\) be a real \(C^2\) function in \(\Omega \). For \(P \in \Omega \) such that \(D^2 w \ge 0\),
Proof
Recall that
We denote
Then,
Since \(D^2 w \ge 0\) at \(P\), we can choose a coordinate system \((x^1,y^1, \ldots , x^n, y^n)\) near \(P\) such that \(D^2 w\) is diagonalized at \(P\), and hence,
Then, under this coordinate system, the complex Hessian of \(w\) is also diagonalized, i.e.,
It follows that, at \(P\),
Moreover, for any Hermitian matrix \((a^{i\bar{j}}) > 0\) on \(\Gamma _v^+\), we have by an elementary inequality that
Now apply Proposition 10 and (4.4) to (4.3) to obtain the following complex version Aleksandrov’s maximum principle (compare with [3, p. 222, Lemma 9.3]):
Lemma 11
Let \((a^{i\bar{j}})\) be a positive definite Hermitian matrix in \(\Omega \). For \(v \in C^2(\overline{\Omega })\) with \(v \le 0\) on \(\partial \Omega \),
Then, the weak Harnack inequality below (compare with [3, p. 246, Theorem 9.22]) follows from Lemma 11 and the cube decomposition procedure.
Theorem
(Krylov–Safonov) Let \(v \in W^{2,2n}(\Omega )\) satisfy \(\sum a^{i\bar{j}} v_{i\bar{j}} \le g\) in \(\Omega \), where \(g \in L^{2n}(\Omega )\), and \((a^{i\bar{j}})\) satisfies that
in which \(\lambda \) and \(\Lambda \) are two constants. Suppose that \(v \ge 0\) in an open ball \(B_{2R}(y) \subset \Omega \) centered at \(y\) of radius \(2R\). Then,
where \(|B_R|\) denotes the measure of \(B_R\), and \(p > 0\) and \(C > 0\) are constants depending only on \(n\), \(\lambda \), and \(\Lambda \).
Let us denote by
To apply Evans–Krylov theory, it remains to check the following two conditions ([3, p. 456]):
-
(1)
\(E\) is uniformly elliptic with respect to \((u_{i\bar{j}})\),
-
(2)
\(E\) is concave on the range of \((u_{i\bar{j}})\).
As in Sect. 2, we denote \(\Psi = \omega _0^{n-1}\) and
We use the index convention (2) for an \((n-1, n-1)\)-form. Then,
and thus,
Clearly, \(E\) is concave on \([(\Psi _u)_{i\bar{j}}]\). By (4.1) and (4.2), we know that the eigenvalues of \([(\Psi _u)_{i\bar{j}}]\) with respect to \((\eta _{i\bar{j}})\), have uniform bounds which depend only on \(F\), \(\omega _0\), and \(C_3\). Therefore, \(E\) is uniformly elliptic with respect to \([(\Psi _u)_{i\bar{j}}]\). Observe that by (4.5), \([(\Psi _u)_{i\bar{j}}]\) depends linearly on \((u_{p\bar{q}})\). Since \((\eta _{k\bar{l}}) > 0\) on \(X\), the conditions (1) and (2) follows immediately from the chain rule.
Now we can apply the procedure in [3, p. 457–461], and this proves Lemma 9. As a corollary, we obtain the Hölder estimate of \(C^2\) for Eq. (1.4).
Corollary 12
Let \((X,\eta )\) an \(n\)-dimensional Kähler of nonnegative quadratic bisectional curvature, and \(\omega _0\) be a Hermitian metric on \(X\). Given any \(f \in C^{\infty }(X)\), let \(u \in C^{\infty }(X)\) be a solution of
where \(\omega _u\) is a positive \((1,1)\)-form such that
Then,
where \(0 < \alpha < 1\) and \(C> 0\) are constants depending only on \(f\), \(\eta \), \(n\), and \(\omega _0\).
5 Openness and uniqueness
Throughout this section, we let \(\omega _0\) be a balanced metric, and let \(\eta \) be an arbitrary Kähler metric, unless otherwise indicated. We fix \(k \ge n+4\), \(0 < \alpha < 1\), and a function \(f \in C^{k,\alpha }(X)\) satisfying
Here \(C^{k,\alpha }(X)\) is the usual Hölder space on \(X\). Consider for \(0 \le t \le 1\),
where \(u_t \in {\mathcal {P}}_{\eta }(\omega _0)\). By abuse of notation, in this section we denote
Let
Clearly, we have \(0 \in T\).
Lemma 13
Let \(T\) be the set given as above. Then \(T\) is open in \([0,1]\).
Proof
Notice that (5.1) is the same as
As in Section 3 of [2], we define
for any \(w \in {\mathcal {P}}_{\eta }(\omega _0)\). Then, \(M(w) \in {\mathcal {F}}^{k,\alpha }(X)\), where \({\mathcal {F}}^{k,\alpha }(X)\) is the hypersurface in \(C^{k,\alpha }(X)\) given by
Now suppose that \(t \in T\). Then, the corresponding \(u_t\) defines a positive \((1,1)\)-form \(\omega _{u_t}\) such that
furthermore, \(u_t\) satisfies that
The tangent space of \({\mathcal {F}}^{k,\alpha }(X)\) at \(M(u_t)\) is identically the same as the Banach space \({\mathcal {E}}_t^{k,\alpha }(X)\), which consists of all \(h \in C^{k,\alpha }(X)\) such that
In view of the Implicit Function Theorem, it suffices to show that the linearization operator \(L_t \equiv M_{u_t}\), given by
is a linear isomorphism from \({\mathcal {E}}_t^{k+2,\alpha }(X)\) to \({\mathcal {E}}_t^{k,\alpha }(X)\). This is guaranteed by Lemma 13 in [2]. The proof is thus finished. \(\square \)
Remark 14
We thank John Loftin for pointing out that the openness argument in [2] also works for \(\eta \) being a astheno-Kähler metric, i.e., \(\eta \) is a hermitian metric such that \(\partial \bar{\partial } \eta ^{n-2} = 0\).
By the results in the previous section, we know that \(T\) is also closed, provided that the orthogonal bisectional curvature of \(\eta \) is nonnegative. Therefore, the existence part in Theorem 1 is proved. The uniqueness follows immediately from the following proposition.
Proposition 15
Let \(v \in {\mathcal {P}}_{\eta }(\omega _0)\) satisfying
where \(\delta >0\) is a constant. Then, \(v\) must be a constant function and \(\delta = 1\).
Proof
Applying the maximum principle to Eq. (5.3) at the maximum points of \(v\) yields that \(\delta \le 1\). Similarly, we get \(\delta \ge 1\) by considering (5.3) at the minimum points of \(v\). Thus, \(\delta = 1\). Then, we apply the arithmetic–geometric mean inequality to obtain
Note that the linear operator \(K\) so defined is uniformly elliptic, by the metric equivalence of \(\eta \) and \(\omega _0\) on the compact manifold \(X\). Applying the strong maximum principle to \(K v \ge 0\) yields that \(v\) is a constant function. \(\square \)
Therefore, the proof of Theorem 1 is completed.
References
Błocki, Z.: On uniform estimate in Calabi–Yau Theorem. Sci. China Ser. A Math. 48, 244–247 (2005)
Fu, J.-X., Wang, Z., Wu, D.: Form-type Calabi–Yau equations. Math. Res. Lett. 17, 887–903 (2010)
Gilbarg, D., Trudinger, N.: Elliptic Partial Differential Equations of Second order, Springer, Berlin, Paperback edition, (2001)
Gu, H.-L., Zhang, Z.-H.: An extension of Mok’s Theorem on the generalized Frankel conjecture. Sci. China Math. 53, 1253–1264 (2010)
Guan, B., Li, Q.: Complex Monge–Ampère equations and totally geodesic manifolds. Adv. Math. 225, 1185–1223 (2010)
Han, Q., Lin, F.: Elliptic partial differential equations. In: Courant Lecture Notes in Mathematics, vol. 1, AMS Press, Brooklyn (2000)
Mok, N.: The Uniformization theorem for compact Kähler manifolds of nonnegative holomorphic bisectional curvature. J. Differ. Geom. 27, 179–214 (1988)
Siu, Y.-T., Yau, S.-T.: Complex Kähler manifolds of positive bisectional curvature. Invent. Math. 59, 189–204 (1980)
Tosatti, V., Weinkove, B.: The complex Monge–Ampère equation on compact Hermitian manifolds. J. Am. Math. Soc. 23, 1187–1195 (2010)
Yau, S.-T.: On the Ricci curvature of a compact Kähler manifold and the complex Monge–Ampère equation, I. Commun. Pure Appl. Math. 31, 339–411 (1978)
Acknowledgments
The authors would like to thank Professor S.-T. Yau for helpful discussion. Part of the work was done while the third named author was visiting Fudan University, and he would like to thank their warm hospitality. Fu is supported in part by NSFC grants 10831008 and 11025103.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by C.S. Lin.
Rights and permissions
About this article
Cite this article
Fu, J., Wang, Z. & Wu, D. Form-type equations on Kähler manifolds of nonnegative orthogonal bisectional curvature. Calc. Var. 52, 327–344 (2015). https://doi.org/10.1007/s00526-014-0714-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00526-014-0714-0