Abstract
We study two natural problems concerning the scalar and the Ricci curvatures of the Bismut connection. Firstly, we study an analog of the Yamabe problem for Hermitian manifolds related to the Bismut scalar curvature, proving that, fixed a conformal Hermitian structure on a compact complex manifold, there exists a metric with constant Bismut scalar curvature in that class when the expected constant scalar curvature is non-negative. A similar result is given in the general case of Gauduchon connections. We then study an Einstein-type condition for the Bismut Ricci curvature tensor on principal bundles over Hermitian manifolds with complex tori as fibers. Thanks to this analysis, we construct explicit examples of Calabi–Yau with torsion Hermitian structures and prove a uniqueness result for them.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Given a Hermitian manifold (M, J, g), there are several connections which are compatible with both the metric g and the complex structure J, meaning that they leave them parallel. Among these, the Bismut connection is the only one which has skew-symmetric torsion. Thanks to this property, it takes on great interest in String Theory, see the work of Ivanov and Papadopoulos [15]. It also has applications in Differential Geometry, see for example [21], and recently, Garcia-Streets and Streets-Tian showed some interesting links with the Generalized Complex Geometry, see [9] and [24].
In view of having a better understanding of the geometry of the Bismut connection, in this note, we study the classical problems of constant scalar curvature and constant Ricci curvature (in the sense that the Ricci tensor is a multiple of the metric) with a focus on the case Ricci flat curvature. In the first part of this note, we adapt the techniques used in [2] for the Chern–Yamabe problem to the general case of Gauduchon connections \(\nabla ^t\), which are an affine line of Hermitian connections including the Chern connection \(\nabla ^{Ch}\) (for \(t=1\)) and the Bismut connections \(\nabla ^+\) (for \(t=-1\)). In this way, in Theorems 3.1 and 3.2, we could solve the Gauduchon–Yamabe problem of finding a constant \(\nabla ^t\)-scalar curvature metric in a given conformal class if \(\Gamma _M^{t}(\{\omega \})\le 0\) or \(\Gamma _M^{t}(\{\omega \})\ge 0\) depending on \(t>\frac{1}{1-n}\) or \(t<\frac{1}{1-n}\), where n is the complex dimension of the manifold. Here, \(\Gamma _M^{t}(\{\omega \})\) is the Gauduchon degree with respect to \(\nabla ^t\) associated to the conformal class \(\{\omega \}\), which is defined as
where \(\eta \) is the unique volume-one Gauduchon representative of \(\{\omega \}\) and \(S^t(\eta )\) is the \(\nabla ^t\)-scalar curvature associated to \(\eta \). The Gauduchon degree with respect to the Chern connection corresponds to the degree of the anti-canonical line bundle \(K_M^{-1}\) (studied in [11]), while for \(t=-1\), we get the Gauduchon degree of \(\{\omega \}\) with respect to the Bismut connection, which we denote by \(\Gamma ^+_M(\{\omega \})\). Theorems 3.1 and 3.2 extend the results of [2] about the Chern connection and we have the following theorem as a particular case of them.
Theorem
(Corollary 3.5) Let M be a compact complex manifold with \(\dim _{\mathbb {C}}M\ge 3\) and Hermitian structure \((\omega ,J)\). If \(\Gamma _M^+(\{\omega \}) \ge 0\), then, up to scaling, there exists a unique \(\widetilde{\omega }\in \{\omega \}\) with constant Bismut scalar curvature. Moreover, its Bismut scalar curvature satisfies \(S^{+}(\widetilde{\omega })=\Gamma _M^+(\{\omega \})\).
The second part of the note is devoted to the study of metrics with constant Bismut Ricci curvature on the total spaces of rank one toric bundles (\(T^2\)-bundles) over Hermitian manifolds. \(T^2\)-fibrations over Calabi–Yau surfaces were used by Fu and Yau to show explicit solutions to the Hull–Strominger system, see [7, 8], while in [12] the authors studied the so-called Calabi–Yau with torsion (CYT) condition on the total spaces of toric bundles over Kähler manifolds. Here, we focus on the vanishing of the Bismut Ricci tensor, describing the CYT condition for metrics that satisfy a natural ansatz on this class of manifolds. We then briefly analyze the Einstein-type equation \((Ric^+\omega )^{1,1}=\lambda \omega \) with \(\lambda \in {\mathbb {R}}\) in the same setting.
The CYT manifolds play a role in Physics after the works of Strominger [25] and Hull [14]. Moreover, CYT metrics which are also pluriclosed (meaning that the Kähler 2-form associated to the metric is \(dd^c\)-closed) are static points of the pluriclosed flow of Streets and Tian. Therefore, there is an interest in finding new non-trivial explicit examples of them. In Sect. 4 we analyze these structures on the Calabi–Eckmann manifolds \({\mathbb {S}}^{2n+1}\times {\mathbb {S}}^{2m+1}\) (with \(n,m\ge 0\)). Indeed, the simplest examples of Bismut flat manifolds are given by the Hopf surface \({\mathbb {S}}^1\times {\mathbb {S}}^3\) and the Calabi–Eckmann threefold \({\mathbb {S}}^3\times {\mathbb {S}}^3\), and in [9], the authors asked if it was possible to construct other special Hermitian structures on the Calabi–Eckmann manifolds of higher dimension. The existence of CYT structures on them can be obtained by applying Theorem 3 of [13], while we prove a result about the uniqueness.
Theorem
(Corollary 4.8) Given a Calabi–Eckmann manifold \(M_{n,m}:={\mathbb {S}}^{2n+1}\times {\mathbb {S}}^{2m+1}\), the standard Hermitian structure (J, g) gives a CYT structure on it. Moreover, g is the only homogeneous CYT structure on \((M_{n,m}, J)\) up to homothety.
The above theorem comes as a special case of a more general result that has an analogous statement on Class \({\mathcal {C}}\) manifolds (defined in [19]). These are the total spaces of homogeneous principal \(T^2\)-bundles over the product of two compact irreducible Hermitian symmetric spaces.
Theorem
(Theorems 4.6 and 4.7) Take a class \({\mathcal {C}}\) manifold as in [19], that is a product \(M_1\times M_2\) fibering over two generalized flag manifolds \(X_1=G_1/H_1\) and \(X_2=G_2/H_2\) with \({\mathbb {S}}^1\)-fibers, and equip it with a standard complex structure. Then, there exists a CYT metric on it. Moreover, if none of the \(X_i\)’s is \(\text{ SO }(k+2)/\text{SO }(2)\times \text{ SO }(k)\) for \(k\ge 3\), then this metric is the unique (up to homothety) CYT metric among the homogeneous ones.
The interest in this kind of result comes from the fact that a compact simply connected homogeneous manifold G/H with an invariant complex structure J (called C-space in [26]) is Kählerian if and only if it is a generalized flag manifold, namely when G is a semisimple Lie group and H is the centralizer of a torus in G, as stated in [5]. In such case, in [18] is proved that they can be endowed with a (unique) invariant Kähler–Einstein metric, while there is a general interest in finding special invariant metrics on the non-Kähler C-spaces G/H. Theorem 3 in [13] proves the existence of a CYT structure on compact simply connected homogeneous manifolds G/H with a G-invariant complex structure of vanishing first Chern class. However, Corollary 4.5 ensures that, in general, it is not unique. On the other hand, the standard Hermitian structures on class C manifolds are the unique invariant CYT structure on them.
2 Preliminaries and Notation
In all the following sections, (M, g, J) will be a Hermitian manifold of complex dimension \(n\ge 2\), and \(\omega :=g(J\cdot ,\cdot )\) will denote its associated Kähler (1, 1)-form. In particular, in local holomorphic coordinates \(\{z_i\}_i\),
where \(g_{i\overline{j}}=g\left( \frac{\partial }{\partial z_i}, \frac{\partial }{\partial \overline{z}_j}\right) \). Moreover, \((g^{i\overline{j}})_{i,j}\) will henceforth denote the inverse of \((g_{i\overline{j}})_{i,j}\).
2.1 Gauduchon Connections
For \(t\in {\mathbb {R}}\), the Gauduchon connections \(\nabla ^{t}\) associated to (g, J) are Hermitian connections on M with prescribed torsion, where by Hermitian connections we mean connections \(\nabla \) which are compatible with both the metric and the complex structure, i.e., \(\nabla g = \nabla J =0\). They are described wrt the Levi-Civita connection \(\nabla ^{LC}\) as,
where J acts as \(J\mathrm{{d}}\omega (\cdot ,\cdot ,\cdot )=-\mathrm{{d}}\omega (J\cdot ,J\cdot ,J\cdot )\). Since the Levi-Civita connection is torsion free, the above formula is prescribing the torsion of these connections as
In particular, for \(t=1\), we recover the Chern connection, while for \(t=-1\), we get the Bismut connection, which thus has torsion equal to \(-Jd\omega \). We remark that the Bismut connection is the unique Hermitian connection with totally skew-symmetric torsion. We will henceforth indicate the Bismut connection as \(\nabla ^+\), and any of its curvature tensors with the superscript \(+\). The Christoffel symbols of the Gauduchon connection can be easily computed and are
At a fixed point \(p\in M\), we can choose special holomorphic coordinates \(\{z_i\}\) such that \(g_{i\overline{j}}(p)=\delta _{ij}\) and the Christoffel symbols of the Levi-Civita connection vanish at p, i.e., \((\Gamma ^{LC})_{ij}^k(p)=0\). With these coordinates, we compute the curvature tensors of the Gauduchon connections as
We define the Ricci tensor associated to the Gauduchon connection \(\nabla ^t\) as the contraction of the endomorphism part of its curvature tensor; hence, in local coordinates,
Contracting again we obtain the \(\nabla ^t\)-scalar curvature
From a direct computation using (2.2), we obtain the following useful formula, which is well known for the Bismut connection.
Proposition 2.1
Let (M, g, J) be a Hermitian manifold of complex dimension n, and let \(\omega \) be its associated Kähler (1, 1)-form. For \(t\in {\mathbb {R}}\), the Ricci curvature form of the Gauduchon connection \(\nabla ^{t}\) associated to (g, J) is given by the formula:
In particular, the (1,1)-component of the Gauduchon Ricci curvature form satisfies
In the above proposition, \(d^*_g=\partial ^*_g+\overline{\partial }^*_g\) where \(\partial ^*_g:\wedge ^{p+1,q}M\rightarrow \wedge ^{p,q}M\) and \(\overline{\partial }^*_g:\wedge ^{p,q+1}M\rightarrow \wedge ^{p,q}M\) are the \(L^2_g\)-adjoint operators of \(\partial \) and \(\overline{\partial }\), respectively. We recall the local formulas for these operators, which can be found, for example, in [23]. In local holomorphic coordinates,
We also fix here the notation for the trace of a two form \(\alpha \) with respect to \(\omega \):
where we used local holomorphic coordinates \(\{z_i\}_i\).
Thanks to Proposition 2.1, we can describe the case where two Gauduchon scalar curvatures with different Gauduchon parameters coincide.
Proposition 2.2
Let (M, g, J) be a compact Hermitian manifold and take two Gauduchon parameters \(t_1\ne t_2\). Then the following conditions are equivalent:
-
i.
\(Ric^{t_1}(\omega )=Ric^{t_2}(\omega )\);
-
ii.
\(S^{t_1}(\omega )=S^{t_2}(\omega )\);
-
iii.
g is balanced, namely \(d^{*}\omega = 0\).
Proof
Obviously, \((i)\Rightarrow (ii)\). As for \((ii)\Rightarrow (iii)\), taking the trace in (2.3) we have that \(s^{t_1}=s^{t_2}\) if and only if
Then, integrating over M we get that
and similarly for \(tr_\omega (\overline{\partial \partial }^*_g \omega )\). Thus both \(\partial ^*_g \omega \) and \(\overline{\partial }^*_g \omega \) vanish, which means that \(\theta =Jd^*\omega =0\) and g is balanced. Finally, going backward through this argument yields \((iii)\Rightarrow (i)\). \(\square \)
We compute the variation of the \(\nabla ^{t}\)-Ricci curvature under a conformal change, which easily comes from the above formulas:
while the (2, 0) and the (0, 2) components do not change. Taking the trace, we obtain
2.2 Chern Laplacian
We recall the definition of the Chern Laplacian \(\Delta ^{Ch}_{\omega }\) associated to the Hermitian metric \(\omega \) on a smooth function f as
or, in local holomorphic coordinates \(\{z_i\}_i\) as
Remark 2.3
With this notation, the variation formula for the \(\nabla ^{t}\)-scalar curvature under a conformal change becomes:
In [11], Gauduchon made explicit the relation between the Hodge-de Rham Laplacian \(\Delta _{d,\,\omega }\) and the Chern Laplacian \(\Delta ^{Ch}_\omega \) on smooth functions through the torsion 1-form, which we recall is defined by the equation
Lemma 2.4
([11], pp. 502–503) Let M be a compact complex manifold endowed with a Hermitian metric \(\omega \) with torsion 1-form \(\theta \). The Chern Laplacian on smooth functions f has the form
In particular, the Chern Laplacian is a differential elliptic operator of 2nd order without terms of order 0 and its index agrees with the index of the Hodge-de Rham Laplacian, as is outlined in [10]. Moreover, the Chern Laplacian and the Hodge-de Rham Laplacian on smooth functions coincide when \(\omega \) is balanced, and \(\Delta ^{Ch}_\omega f_{|_{p}} \ge 0\) whenever f is a smooth real function on M which attains a local maximum at \(p\in M\).
2.3 Hermitian Conformal Structures
Given a metric \(\omega \) on M, the Hermitian conformal class of \(\omega \) will be denoted by
The following fundamental result by Gauduchon ensures the existence of a Gauduchon metric (i.e., a metric with \(d^*\theta =0\)) in any Hermitian conformal class.
Theorem 2.5
([10], Théorème 1) Let M be a compact complex manifold of complex dimension \(\dim _{\mathbb {C}}M\ge 2\), and fix a Hermitian conformal structure \(\{\omega \}\). Then there exists a unique Gauduchon metric \(\eta \) in \(\{\omega \}\) such that \(\int _M \mathrm{{d}}\mu _\eta =1\).
Using this result, we can consider the following normalized conformal class
where we denoted by \(\eta \in \{\omega \}\) the unique Gauduchon representative of volume 1.
With this choice of \(\eta \), we can also introduce a natural invariant of the conformal class \(\{\omega \}\), namely, the Gauduchon degree
defined as
We extend it to any Gauduchon parameter \(t\in {\mathbb {R}}\),
This value is related to the expected constant \(\nabla ^{t}\)-scalar curvature as follows.
Proposition 2.6
Let (M, g, J) be a compact Hermitian manifold. Assume that \(\omega '\in \{\omega \}\) has constant \(\nabla ^{t}\)-scalar curvature equal to \(\lambda \in {\mathbb {R}}\). Then \(\omega '\in \{\omega \}_1\) if and only if
In particular, the sign of the \(\nabla ^{t}\)-scalar curvature of a potential constant \(\nabla ^{t}\)-scalar curvature metric in \(\{\omega \}\) agrees with the sign of \(\Gamma _M^t(\{\omega \})\).
Proof
Suppose that \(e^f\omega \in \{\omega \}_1\) has constant \(\nabla ^{t}\)-scalar curvature \(\lambda \). As representative in \(\{\omega \}\), fix the unique Gauduchon metric \(\eta \in \{\omega \}\) of volume 1 and denote by \(\theta \) its torsion 1-form. Equation (2.5) yields
where
since \(\eta \) is Gauduchon. Therefore,
yielding the first implication.
On the other hand, if we have a metric \(e^f\omega \in \{\omega \}\) with constant \(\nabla ^{t}\)-scalar curvature equal to \(\Gamma _M^t(\{\omega \})\) we can scale it by a constant \(e^c\) so that \(e^{f+c}\,\omega \) stays in the normalized conformal class \(\{\omega \}_1\) and its Gauduchon scalar curvature becomes \(e^{-c}\,\Gamma ^t_M(\{\omega \})\). Here c is such that
Note that \(e^{f+c}\,\omega \) is a constant \(\nabla ^{t}\)-scalar curvature metric in \(\{\omega \}_1\), hence it has scalar curvature equal to \(\Gamma ^t_M(\{\omega \})\). Thus, finally, \(c=0\). \(\square \)
3 Gauduchon–Yamabe Problem
The Yamabe problem, consisting in finding a constant scalar curvature metric in the conformal class of a given Riemannian metric, is well understood in the Riemannian setting, while in the Hermitian setting, the Chern–Yamabe problem was introduced and studied in [2]. In this note, we study it for all the Gauduchon connections, i.e., given a Hermitian manifold (M, g, J) we look for a constant \(\nabla ^t\)-scalar curvature metric \(\widetilde{\omega }\) in the conformal class \(\{\omega \}\). Thanks to the conformal changing equation for the scalar curvature of \(\nabla ^t\) (2.5), this problem reduces to solve a semi-linear elliptic equation of 2nd order:
where \(C_t=1+nt-t\) and \(\lambda \) is the expected constant scalar curvature value, equal to \(\Gamma ^t_M(\{\omega \})\) by Proposition 2.6.
Note that for \(t=1\) we recover the Chern–Yamabe problem which has been studied in [2] by Angella, Calamai and Spotti. In what follows, we extend their arguments to the more general Gauduchon–Yamabe problem, obtaining their results on the Chern connection and our results on the Bismut connection as particular choice of Gauduchon connections in Theorems 3.1 and 3.2.
3.1 Linear Case
In case of \(\Gamma ^t_M(\{\omega \})=0\), the semi-linear elliptic differential Eq. (3.1) becomes just linear since we shall take \(\lambda =0\), and so we get a solution for the corresponding Gauduchon–Yamabe problem whenever \(C_t\ne 0\).
Theorem 3.1
Let M be a compact complex manifold with Hermitian structure \((\omega ,J)\). If the Gauduchon parameter t is such that \(C_t\ne 0\) and \(\Gamma ^t_M(\{\omega \}) = 0\), then there exists a unique metric \(\widetilde{\omega }\in \{\omega \}_1\) such that it has constant scalar curvature with respect to the \(\nabla ^t\) Gauduchon connection. Moreover, \(S^t(\widetilde{\omega })=\Gamma ^t_M (\{\omega \})=0\).
Proof
Fix \(\eta \in \{\omega \}\) the unique Gauduchon representative in \(\{\omega \}\) with volume 1. We should solve (3.1) with \(\lambda =0\), that is
Using the relation in Lemma 2.4, it can be shown (see [11]) that the Kernel of the Chern Laplacian consists of just the constant functions. Indeed, we recall that
where \(\theta \) denotes the torsion 1-form of \(\eta \). Thus if we take a function u in \(\ker (\Delta ^{Ch})\) we have
since \(d^*\theta =0\) because \(\eta \) is Gauduchon.
It follows that two conformal metrics with zero Gauduchon scalar curvature differ by a multiplicative constant, which in turn must be one if they are both in \(\{\omega \}_1\), and so we get the uniqueness.
From the above equality, it is also possible to compute (see [11]) the adjoint of \(\Delta ^{Ch}_\eta \) on smooth functions u as
Thus the same computation applies and hence also the Kernel of the adjoint of the Chern Laplacian of a Gauduchon metric consists of just the constants. Since the integral of \(-S^{t} (\eta )\) is zero by hypothesis, \(-C_t^{-1}S^{t} (\eta )\in \left( \ker (\Delta ^{Ch}_\eta )^* \right) ^\perp = \textrm{im}\, \Delta ^{Ch}_\eta \). We thus achieve the existence of a metric of zero Gauduchon scalar curvature. \(\square \)
3.2 Non-linear Case
Here we provide a positive answer for the Gauduchon–Yamabe problem when \(C_t\Gamma ^t_M(\{\omega \})<0\). As a particular case, we will obtain the solution of the Bismut–Yamabe problem when the Gauduchon degree \(\Gamma ^{-1}_M(\{\omega \})\) is strictly positive and the complex dimension of the manifold is greater than three.
Theorem 3.2
Let M be a compact complex manifold with Hermitian structure \((\omega ,J)\). Fix a Gauduchon parameter t for which \(C_t\Gamma _M^t(\{\omega \}) < 0\). Then there exists a unique \(\widetilde{\omega }\in \{\omega \}_1\) with constant \(\nabla ^t\)-scalar curvature. Moreover, its Gauduchon scalar curvature satisfies \(S^{t}(\widetilde{\omega })=\Gamma _M^t(\{\omega \})\).
Proof
Fix \(\eta \in \{\omega \}\) the unique Gauduchon representative in \(\{\omega \}\) with volume 1. By hypothesis, we have
The proof of the existence of a constant \(\nabla ^t\)-scalar curvature metric consists of two steps. We apply a continuity method to prove the existence of a constant \(\nabla ^t\)-scalar curvature metric in \(\{\omega \}\) of class \({\mathcal {C}}^{2,\alpha }\); then we exploit the structure of the elliptic equation by a standard bootstrap argument to prove that it is smooth.
Before starting with the continuity method, we need a preliminary step. Namely, we prove that in the normalized conformal class \(\{\omega \}_1\), there is a metric which has \(\nabla ^t\)-scalar curvature of constant sign \(-sign(C_t)\). By this, we can assume that \(C_tS^{t}(\omega )<0\) at every point.
Consider the equation
Since \(\eta \) is Gauduchon, arguing as in the proof of Theorem 3.1, the above equation has a solution \(f\in {\mathcal {C}}^\infty (M;{\mathbb {R}})\), which is unique once we require \(\int _M \exp (2f/C_t)\mathrm{{d}}\mu _\eta =1\). Then \(\exp (2f/C_t)\eta \in \{\omega \}_1\) satisfies
Now we can set up the following continuity path using as reference metric in the conformal class of \(\eta \) the above metric \(\omega \) with \(C_tS^{t}(\omega )<0\). Consider the map, for \(\alpha \in (0,\,1)\),
such that
Let us define the set
which trivially is non-empty since \(\textrm{GaYa}(0,0)=0\). Thus, we should prove that it is also open and closed since the expected solution is achieved when \(s=1\).
We start with the open condition. The implicit function theorem for Hilbert spaces guarantees that S is open as long as the linearization of \(\textrm{GaYa}\) with respect to the second variable is bijective. Hence, we prove that, for a fixed solution \(\textrm{GaYa}(s_0, f_{s_0})=0\), the linearized operator of \(\textrm{GaYa}\),
defined by
is bijective. Let us remark that D differs from the Chern Laplacian by a compact operator, thus they have the same index, zero. This means that injectivity directly implies surjectivity, hence we are reduced to prove the former.
If v belongs to \(\ker D\), then at a maximum point p for v there holds
and hence \(v(p)\le 0\), since \(-\lambda /C_t>0\). Similarly, at a minimum point q for v, there holds \(v(q)\ge 0\). Thus, \(\ker D = \{0\}\).
To show that S is also closed we argue as follows. Take \(\{ s_n\} \subset S\) a sequence converging to \(s_{\infty }\) and \(f_{s_n} \in {\mathcal {C}}^{2,\alpha }(M;{\mathbb {R}})\) such that \(\textrm{GaYa} (s_n, \, f_{s_n} ) = 0\) for any n; we will use the Ascoli–Arzelà theorem to prove that the \(f_{s_n}\) converge in \({\mathcal {C}}^{2,\alpha }(M;{\mathbb {R}})\) to a function \(f_{\infty }\) such that \(\textrm{GaYa} (s_\infty , \, f_{s_\infty } ) = 0\). To use that theorem, we firstly need uniform \(L^\infty \) estimates of the solutions \(f_{s_n}\).
Lemma 3.3
There exists a positive constant K, depending only on M, \(\omega \), \(\lambda \) and t such that, for any n, we have
Proof
By hypothesis the functions \(f_{s_n}\) satisfy \(\textrm{GaYa} (s_n, \, f_{s_n} ) = 0\), which means that the following equality holds:
We distinguish the two cases \(C_t>0\) and \(C_t<0\) which correspond to \(\lambda <0\) or \(\lambda >0\) respectively. We also recall that, by the preliminary step in the proof, \(S^{t} (\omega )\) can be supposed to be a negative function when \(C_t>0\) and positive when \(C_t<0\).
Suppose \(C_t>0\) and take a maximum point p for \(f_{s_n}\). Then, at p, there holds
On the other hand, at a minimum point for \(f_{s_n}\), say q, there holds
The above estimates provide the claimed uniform constant \(K_0\). The same argument holds also for \(C_t<0\), indeed, in this case, at a maximum point p for \(f_{s_n}\), we have
while at a minimum point q for \(f_{s_n}\), there holds
Hence the lemma is proved. \(\square \)
Now it remains to prove the uniform equicontinuity of the functions \(\{f_{s_n}\}\) in \({\mathcal {C}}^{2,\alpha }(M; {\mathbb {R}})\). We define the elliptic operators
For the functions \(f_{s_n}\), we get the equalities
The estimate of Lemma 3.3 gives a uniform \(L^\infty \) control of the right-hand side \(\lambda \exp \left( 2f_{s_n}/C_t \right) \) of the equation and hence a uniform \(L^p\) control of \(L_n f_{s_n}\) for any \(p\in (1,\infty )\). Then, by the Calderon–Zygmund inequality, we can control the p-norm of the second-order derivatives by the p-norms of the function and its Laplacian; hence, iterating it twice, we get that \(f_{s_n}\in W^{4,p}(M;{\mathbb {R}})\) with uniform bound on the norms. Finally, we can use the Sobolev embedding taking p large enough so that we find an a-priori \({\mathcal {C}}^{3}\) uniform bound on the solutions. Thus now we can apply the Ascoli–Arzelà theorem so that we get a subsequence (which we still call \(\{f_{s_n}\}\)) converging in \({\mathcal {C}}^{2,\alpha }(M;{\mathbb {R}})\) to a function \(f_{s_\infty }\). We can take the limit in the Eq. (3.5); in this way, we see that \(f_{s_\infty }\) is a solution of \(\textrm{GaYa} (s_\infty , \, f_{s_\infty } ) = 0\) as needed.
So far we achieved the existence of a \({\mathcal {C}}^{2,\alpha }\) solution f to the Gauduchon–Yamabe equation, \(\textrm{GaYa}(1,f)=0\). Hence we have \(f\in {\mathcal {C}}^{2,\alpha }\) such that
Notice that the right-hand side has the same regularity of f, hence the smooth regularity of the solution follows by the usual bootstrap argument via Schauder’s estimates for elliptic operators.
Now we have a smooth function f solving \(\Delta ^{Ch}_\omega f=\lambda e^{2f/C_t} - S^t(\omega )\) and we want to prove its uniqueness.
Notice that by Proposition 2.6 since we have \(\lambda =\Gamma _M^t(\{\omega \})\), \(e^f\omega \) must be in \(\{\omega \}_1\); moreover, any other metric in \(\{\omega \}_1\) with constant \(\nabla ^t\)-scalar curvature must solve the same equation.
Now suppose we have two conformal metrics \(\omega _1=\exp (2f_1/C_t )\omega \) and \(\omega _2=\exp (2f_2/C_t)\omega \) in \(\{\omega \}_1\) with constant \(\nabla ^t\)-scalar curvatures equal to \(\lambda \). Hence we have the equations
Taking the difference of these, we get the equation
At a first glance, we should distinguish the cases \(C_t>0\) or \(C_t<0\) for which we, respectively, have \(\lambda <0\) and \(\lambda >0\); however, in both cases at a maximum point p for \(f_1-f_2\), we find \(f_1 (p) - f_2 (p) \;\le 0\), while at a minimum point q, we have \(f_1 (q) - f_2 (q) \;\ge 0\), proving that \(f_1\) and \(f_2\) coincide. \(\square \)
Remark 3.4
In case \(C_t\Gamma _M^t(\{\omega \}) > 0\), the maximum principle does not apply and the Gauduchon–Yamabe equation loses its good analytical properties. For the Chern connection, this case corresponds to have positive Gauduchon degree and it is investigated in Section 5 of [2] where some sufficient criterion for the existence of positive constant Chern scalar curvature metrics is found. Moreover, non-homogeneous examples of Hermitian metrics of positive constant Chern scalar curvature have been constructed in [3, 16].
Similarly, it would be interesting to find new explicit examples of constant Bismut scalar curvature metrics as well as some sufficient (and, possibly, necessary) conditions which ensure the existence of metrics with negative constant scalar curvature for the Bismut connection.
We also remark that the “critical” Gauduchon connection for which the constant \(C_t\) vanishes are left out by these theorems. In particular, in complex dimension 2, it happens for the Bismut connection, since \(C_t=1+nt-t=1+t\).
We then have the following result.
Corollary 3.5
Let M be a compact complex manifold with \(\dim _{\mathbb {C}}M\ge 3\) and Hermitian structure \((\omega ,J)\). If \(\Gamma _M^+(\{\omega \}) \ge 0\), then there exists a unique \(\widetilde{\omega }\in \{\omega \}_1\) with constant Bismut scalar curvature. Moreover, \(S^{+}(\widetilde{\omega })=\Gamma _M^+(\{\omega \})\).
Remark 3.6
In [17], the authors extended the results of Angella, Calamai, and Spotti on the Chern–Yamabe problem to the non-integrable case. M. Lejmi suggested that it should also be possible to extend our results (Theorems 3.1 and 3.2) to the non-integrable case.
4 Constant Bismut Ricci curvature
We study the CYT equation on rank one toric bundles over Hermitian manifolds imitating the setting of [12]. In that article, the authors derive useful formulas for the Bismut Ricci curvature of special metrics on principal toric bundles over compact Kähler manifolds. Using them they construct CYT structures on the manifolds \((k-1)({\mathbb {S}}^2\times {\mathbb {S}}^4)\# k({\mathbb {S}}^3\times {\mathbb {S}}^3)\) for all \(k \ge 1\).
Given a Hermitian manifold \((X,\omega _X)\), consider a principal toric bundle
with characteristic classes of type (1, 1). We take a connection one form with values in the Lie algebra of \({\mathbb {S}}^1\times {\mathbb {S}}^1\) given by \((\theta _1,\theta _2)\) such that \(\mathrm{{d}}\theta _i=\pi ^*\omega _i\), with \(\omega _i\) (1, 1)-forms on X. Once we fix a complex structure on the torus, M inherits a complex structure from that of X, such that the projection map \(\pi \) from M to X is holomorphic, see Lemma 1 of [12] for details on this. We consider the Hermitian metrics on M for which \(\pi \) becomes a Riemannian submersion. These are all of the forms
where f is a positive function on M, which is constant along the fibers (thus we will usually think of it as a function on X). The Bismut Ricci form of \(\omega \) is given by
Indeed, from Proposition 2.1,
where the second equality comes from the following lemma.
Lemma
(Lemma 3 of [12]) Let \(Ric^{Ch}\omega \) and \(Ric^{Ch}\omega _X\) be the Ricci forms of the Chern connections on \((M,\omega )\) and \((X,\omega _X)\) respectively. Then \(Ric^{Ch}\omega =\pi ^*(Ric^{Ch}\omega _X)\).
We work on a Hermitian frame \(\{e_1,\ldots ,e_{2n},t_1,t_2\}\) on an open subset of M which comes from a local Hermitian frame \(\{e_1,\ldots ,e_{2n}\}\) on an open subset of X extended so that the vector fields \(t_1, t_2\) are dual to the 1-forms \(\theta _1,\theta _2\).
Lemma 4.1
The following equations hold:
-
\([t_i,e_j]=0\) for any \(i=1,2\) and \(j=1,\ldots ,2n\);
-
\(\theta _i(\sum _j [e_{2j-1},e_{2j}])=-tr_{\omega _X}(\omega _i)\) for \(i=1,2\).
Proof
We derive these equations from the conditions \(\mathrm{{d}}\theta _i=\pi ^*\omega _i\) (\(i=1,2\)).
First of all, since the Lie brackets are \(\pi \)-related, i.e., \(\pi _*[u,v]=[\pi _*u,\pi _*v]\) for any smooth vector fields u, v, we have that \([t_i,e_j]\) must be vertical. However,
We similarly obtain the second equation, indeed
thus
\(\square \)
We now compute \(dd^*\widehat{\omega }\) where \(\widehat{\omega }:=f\theta _1\wedge \theta _2\). First of all, recall that the co-differential of a tensor could be expressed in terms of the contraction of Levi-Civita connection as
moreover for any smooth vector fields u, v, w on a Hermitian manifold
hence we have
where we used the Einstein notation and dropped the subscript \(\omega _X\) on the traces \(tr_{\omega _X}\,\omega _i\) for convenience. Since f is constant along the fibers, we obtain
From this identity and Eq. (4.1), we get the following result.
Proposition 4.2
On the total space M of a principal toric bundle of rank one \({\mathbb {S}}^1 \times {\mathbb {S}}^1 \hookrightarrow M \xrightarrow {\pi } X\) over a Hermitian manifold \((X,\omega _X)\) with connection one forms \((\theta _1,\theta _2)\), the metric \(\omega =\pi ^*(\omega _X) + f\theta _1\wedge \theta _2,\) defines a Calabi–Yau with torsion structure if
Notice that if \(tr_{\omega _X}\,\omega _i\) vanishes at some point then it must vanish everywhere since \(f\,tr_{\omega _X}\,\omega _i\) is supposed to be a constant function and \(f>0\). We now analyze the case of \(tr_{\omega _X}\,\omega _1\) and \(tr_{\omega _X}\,\omega _2\) simultaneously zero, which is completely understood from the following Lemma.
Lemma 4.3
(Lemma 6 of [12]) Suppose that the Ricci form of the Bismut connection of a Hermitian metric \(g_M\) is \(\partial \overline{\partial }\)-exact on a manifold M of dimension greater than two. Then the metric \(g_M\) is conformally a CYT structure. In other words, there exists a conformal change of \(g_M\) such that the Ricci form of the induced Bismut connection vanishes.
Proof
We recall the argument of the proof in [12]. The result directly comes from the formula for the conformal change of the Ricci curvature form of the Gauduchon connections. Indeed, setting \(t=-1\) in (2.4), we obtain
Then it is sufficient to notice that the (2, 0) and the (0, 2) components of the Bismut Ricci tensor are invariant for conformal changes and are zero by hypothesis. \(\square \)
We may consider a trivial \({\mathbb {S}}^1\times {\mathbb {S}}^1\)-principal bundle over \((X,\omega _X)\) since the computations are the same. In this case, we have the following result.
Proposition 4.4
Given a compact Hermitian manifold \((X,\omega _X)\) such that the Bismut Ricci curvature is \(dd^c\)-exact, i.e., \(Ric^+ (\omega _X)=\sqrt{-1}\partial \overline{\partial }f\), then \(M:= {\mathbb {S}}^1 \times {\mathbb {S}}^1 \times X\), equipped with the induced complex structure, admits a CYT metric.
Proof
We can suppose that f is positive since it is defined up to constants on a compact manifold. Thus we can define the metric on M as usual: \( \omega = \pi ^*(\omega _X) + f \theta _1 \wedge \theta _2\), where \(\pi \) is the trivial projection of M onto X and \(\theta _1,\theta _2\) are dual to the coordinates \(t_1,t_2\) on the fibers. We hence have that
since from (4.3) we get
\(\square \)
From this result, using the transformation law of the Bismut Ricci form under a conformal change (2.4), we directly get the following corollary.
Corollary 4.5
Given a complex manifold (X, J) with a CYT metric \(g_X\), for any positive function \(f>0\), we can construct a CYT structure on \({\mathbb {S}}^1 \times {\mathbb {S}}^1 \times X\) by taking the submersion metric \(\omega =\pi ^*(e^f\omega _X) + (n-2)f\,\theta _1\wedge \theta _2\).
4.1 Class \({\mathcal {C}}\) manifolds
In [19] the author defined Class \({\mathcal {C}}\) manifolds as homogeneous manifolds \(M = G/L\), where \(G = G_1 \times G_2\) are compact simply connected simple Lie groups \(G_1, G_2\) and L is a connected closed subgroup of G. There should also exist two irreducible compact Hermitian symmetric spaces \(G_1/H_1, G_2/H_2\) so that the subgroups \(H_i\) are of the form \(H_i =\, <Z_i>\cdot \, L_i\) for \(i = 1,2\) and \(L = L_1 \times L_2\). Therefore, we have the following setting
where the \(\phi _i\) are the Tits fibrations given by
M is then the product of two manifolds \( M=(G_1/L_1)\times (G_2/L_2) \) where \(G_1/L_1\) and \(G_2/L_2\) are M-manifolds as defined in [19], meaning that \(L_1\) and \(L_2\) are the semisimple part of the centralizer of some torus, \(H_i = C_{G_i} (<Z_i>)\). Then by Theorem C in [26], the manifolds \(G_i/H_i\) are also simply connected, hence they are generalized flag manifolds. In [18], it is proved that any generalized flag manifold can be endowed with an invariant Kähler–Einstein Fano metric which is unique (up to homothety) once we fix the invariant complex structure on it. Moreover, the left-invariant complex structures on M are all given by choosing left-invariant complex structures on the symmetric spaces \(G_1/H_1, G_2/H_2\) and on the torus \({\mathbb {S}}^1\times {\mathbb {S}}^1\). Once we fix the complex structures on the symmetric spaces, the standard complex structure on M is that given by choosing \(I(Z_1)=Z_2\). By exploiting the structure of class \({\mathcal {C}}\) manifolds, we can explicitly construct submersion metrics on them which are CYT, namely, we prove the following theorem.
Theorem 4.6
Take a class \({\mathcal {C}}\) manifold as in [19], that is a product \(M=M_1\times M_2\) of M-manifolds which fibers through the Tits fibrations \(\phi _i\) over two generalized flag manifolds \(X_1=G_1/H_1\) and \(X_2=G_2/H_2\) with \({\mathbb {S}}^1\)-fibers, and equip it with a standard complex structure. Set \(\omega _i\) the unique invariant Kähler-Einstein metrics on \(X_i\) with Einstein constants \(n_i=\dim (X_i)\). Then the metric on M given by
where \(\theta _1\) and \(\theta _2\) are the connections one forms on the fiber bundles such that \(\mathrm{{d}}\theta _i=\phi ^*_i\,\omega _i\), defines a CYT structure on M.
Proof
The metric on the base space \(X=X_1\times X_2\) is \(\omega _X = \omega _1 + \omega _2\). Then the metric \(\omega \) satisfies
hence it is Bismut Ricci flat by Proposition 4.2. Thus, we only need to check that the Tits fibrations represent the U(1)-principal bundles over \(G_i/H_i\) with curvature \(\omega _i \in c_1(G_i/H_i)\) chosen to be the unique Kähler-Einstein metrics on \(X_i\). We know that the isomorphism classes of principal U(1)-bundles over a manifold X are parametrized by its cohomology group \(H^2(X)\); moreover, we can extract the following piece from the exact sequence in the cohomology of the Tits fibration:
where the last term vanishes since the M-manifolds have zero second Betti number by Theorem D in [26]. Thus, on the U(1)-principal bundles on the \(G_i/H_i\) given by the Tits fibrations, we can always find connections one forms \(\theta _i\) with curvature in \(c_1(G_i/H_i)\). \(\square \)
The existence of CYT Hermitian structures on the class \({\mathcal {C}}\) manifolds can also be derived by Theorem 3 in [13]. Indeed, the metric \(-B(\cdot ,\cdot )\) given by the negative of the Killing form of G is Hermitian with respect to the standard complex structures on M. To see this, consider the decomposition of the Lie algebra \(\mathfrak {g}\) of G as
Here, \(\mathfrak {g}_1\) and \(\mathfrak {g}_2\) are the Lie algebras of \(G_1\) and \(G_2\), respectively, while the \(\mathfrak {l}_i\)’s are the Lie algebras of the \(L_i\)’s; moreover, the Lie algebras \(\mathfrak {h}_i\)’s of the \(H_i\)’s satisfy \(\mathfrak {h}_i = \mathfrak {l}_i + {\mathbb {R}}\,Z_i\) for \(i=1,2\). The Killing form B is Hermitian on \(\mathfrak {n}\), moreover, the tori \(\left\langle Z_1\right\rangle \) and \(\left\langle Z_2\right\rangle \) are orthogonal to the \(\mathfrak {n}_i\)’s as well as one to each other. It only remains to verify that B is Hermitian on \(\mathfrak {t}\), that is \(B(Z_1,Z_1)=B(Z_2,Z_2)\).
The CYT metrics constructed above can be characterized as the unique CYT metrics among the homogeneous ones. Namely, we prove the following result.
Theorem 4.7
Take a class \({\mathcal {C}}\) manifold M as in Theorem 4.6. Suppose that none of the \(X_i\)’s is \(\text{ SO }(k+2)/\text{SO }(2)\times \text{ SO }(k)\) for \(k\ge 3\), then the metric
constructed in Theorem 4.6, is the unique (up to homothety) homogeneous CYT metric on M.
Proof
First of all, we verify that the homogeneous metrics on M make \(\phi _1\times \phi _2\) a Riemannian submersion. Indeed, with the same notations as above, a G-invariant Hermitian metric \(g'\) on M, can be seen as an \(\textrm{ad}\left( \mathfrak {l}_1+\mathfrak {l}_2\right) \)-invariant Hermitian inner product on \(\mathfrak {m}_1+\mathfrak {m}_2\). As the \(\mathfrak {l}_i\)’s are not trivial, \(\mathfrak {l}= \mathfrak {l}_1+\mathfrak {l}_2\) acts non-trivially on \(\mathfrak {n}=\mathfrak {n}_1+\mathfrak {n}_2\) and trivially on \(\mathfrak {t}\), therefore \(g'(\mathfrak {t}, \mathfrak {n}) = 0\). Moreover, the \(\textrm{ad}(\mathfrak {l})\)-modules \(\mathfrak {n}_i\) are mutually non-equivalent, hence \(g'(\mathfrak {n}_1, \mathfrak {n}_2 ) = 0\). Since we are avoiding the special case of \(\mathfrak {g}_i =\mathfrak {so}(n + 2)\) and \(\mathfrak {h}_i =\mathfrak {so}(2) +\mathfrak {so}(n)\), for \( n \ge 3\) the \(\mathfrak {n}_i\)’s are \(\mathfrak {l}_i\)-irreducible. Hence, the Schur Lemma implies that \(g'\) on \(\mathfrak {n}_i\times \mathfrak {n}_i\) restricts to a multiple (\(\lambda _i\in {\mathbb {R}}_+\)) of the Killing form on \(G_i\), i.e.,
In other words, the homogeneous metrics on M are all of the types
and by Proposition 4.2 any homogeneous CYT metric \(g'\) have to satisfy
However, for \(i=1,2\),
proving that \(\lambda =\lambda _1=\lambda _2\), and hence \(g'\) is a positive multiple of g. \(\square \)
Theorem 4.6 and Theorem 4.7 apply to give unique homogeneous CYT metrics on the Calabi–Eckmann manifolds when they are equipped with their standard complex structures. Indeed, these are the total spaces \(M_{n_1,n_2}\cong {\mathbb {S}}^{2n_1+1}\times {\mathbb {S}}^{2n_2+1}\) of rank one toric bundles over the product of complex projective spaces \({\mathbb {C}}{\mathbb {P}}^{n_1}\times {\mathbb {C}} {\mathbb {P}}^{n_2}\). As class \({\mathcal {C}}\) manifolds, they are given by taking \(G_i=\text{ SU }(n_i+1),\, L_i = \text{ SU }(n_i),\) and \(H_i = \text{ SU }(n_i) \times \text{ U }(1)\). The Tits fibrations agree with the Hopf fibrations \({\mathbb {S}}^1 \hookrightarrow {\mathbb {S}}^{2n_i+1}\xrightarrow {\phi _i} {\mathbb {C}} {\mathbb {P}}^{n_i}\). Then the standard Calabi–Eckmann structure J on
is \(J=J_{{\mathbb {C}}{\mathbb {P}}^{n_1}}\oplus I \oplus J_{{\mathbb {C}}{\mathbb {P}}^{n_2}}\) where \(J_{{\mathbb {C}}{\mathbb {P}}^{n_1}}\) and \(J_{{\mathbb {C}}{\mathbb {P}}^{n_2}}\) are the complex structures of \({\mathbb {C}}{\mathbb {P}}^{n_1}\) and \({\mathbb {C}}{\mathbb {P}}^{n_2}\), respectively, pulled-back on the horizontal spaces \(H_{{\mathbb {C}}{\mathbb {P}}^{n_1}}\) and \(H_{{\mathbb {C}}{\mathbb {P}}^{n_2}}\), and \(I\left( Z_1\right) =Z_2\).
Corollary 4.8
Given a Calabi–Eckmann manifold \(M_{n_1,n_2}\) equipped with its standard complex structure. Consider the Fubini–Study metrics \(\omega _i\)’s on the complex projective spaces \({\mathbb {C}}{\mathbb {P}}^{n_i}\)’s with Einstein constants \(n_i\)’s, and set \(\theta _1\) and \(\theta _2\) the connections one forms on the fiber bundles such that \(\mathrm{{d}}\theta _i=\phi ^*_i\,\omega _i\) for \(i=1,2\). Then, the metric
is a CYT metric on \(M_{n_1,n_2}\); moreover, it is the unique homogeneous CYT metric on it.
We remark that in [4] a complete description of the Bismut curvature tensor for the homogeneous metrics on the Hopf manifolds was given. In particular, given a homogeneous metrics \(g(\alpha ,\beta )\) on an n-dimensional Hopf manifold, it holds (in the standard local holomorphic coordinates \(\{z_i\}\)),
This identically vanishes if and only if the ratio \(\frac{\beta }{\alpha }\) equals \(\frac{2-n}{n-1}\), giving explicit CYT metrics on any Hopf manifold \({\mathbb {S}}^1\times {\mathbb {S}}^{2n+1}\), unique among the homogeneous ones.
4.2 Bismut Hermitian Einstein
The pluriclosed flow is a parabolic flow of metrics in the family of Hermitian curvature flows introduced by Streets and Tian in [22]. It has the property of preserving the pluriclosed condition, that is \(\partial \overline{\partial }\omega =0\). As a matter of fact, given a pluriclosed metric \(\omega _0\), it evolves as
The static points of the pluriclosed flow are pluriclosed metrics \(\omega \) which satisfy
and are called in the literature Bismut Hermitian Einstein metrics. We distinguish the case of \(\lambda =0\) from that of \(\lambda \ne 0\). The only known examples of non-Kähler pluriclosed metrics which also satisfy \((Ric^+\omega )^{1,1}=0\) are that given by the Bismut flat structures. These are Hermitian structures such that the whole Bismut curvature tensor \(R^+\) vanishes and Theorem 9 in [1] ensures that their Hermitian metrics are pluriclosed. Particular examples are given by the standard Calabi–Eckmann structures on the Hopf surface \({\mathbb {S}}^1\times {\mathbb {S}}^3\) and the Calabi–Eckmann threefold \({\mathbb {S}}^3\times {\mathbb {S}}^3\) which are known to be Bismut flat. In [9], the authors asked if the other Calabi–Eckmann manifolds admit such special Hermitian structures. The answer is negative and it comes from the fact that, for cohomological reasons, \({\mathbb {S}}^1\times {\mathbb {S}}^1\), \({\mathbb {S}}^1\times {\mathbb {S}}^3\) and \({\mathbb {S}}^3\times {\mathbb {S}}^3\) are the only Calabi–Eckmann manifolds which can admit a pluriclosed structure, see Example 5.17 in [6]. On the other hand, when equipped with the standard Calabi–Eckmann complex structure, these manifolds can be equipped with metrics such that \((Ric^+\omega )^{1,1}\) vanishes. Hence we have the following picture:
-
\({\mathbb {S}}^1\times {\mathbb {S}}^1\) has a flat Kähler metric;
-
\({\mathbb {S}}^3\times {\mathbb {S}}^1\) has a Bismut flat, hence pluriclosed, metric;
-
\({\mathbb {S}}^3\times {\mathbb {S}}^3\) has a Bismut flat, hence pluriclosed, metric;
-
\({\mathbb {S}}^{2n+1}\times {\mathbb {S}}^{2m+1}\) with \(n\ge 2\), \(m\ge 0\) have Bismut Ricci flat metrics (by Corollary 4.8) which are not pluriclosed.
On the other hand, when \(\lambda \ne 0\), there are restrictions that suggest that the Eq. (4.4) should imply that the Hermitian structure is Kähler (see [9], p. 172). Some of these can be found in [20] (e.g., Proposition 3.5), where the author classifies solitons of the Pluriclosed Flow.
Proposition
(Proposition 3.5 of [20]) Let \((M^{2n},J)\) be a compact Kähler manifold, and suppose (g, f) is a pluriclosed steady or shrinking soliton on M. Then (g, f) is a Kähler-Ricci soliton.
Here we show that on \({\mathbb {S}}^1\times {\mathbb {S}}^1\)-principal bundles over Hermitian manifolds there are no metrics satisfying (4.4) with \(\lambda \ne 0\). We take a slightly more general setting than that of the previous section, namely, we equip the total space M of the rank one toric fibration over \((X,\omega _X)\) with a metric \(\omega = \pi ^*(\omega _X) + f \theta _1 \wedge \theta _2 \) where f is any positive function on M. Using the computation of (4.2) we prove the following result.
Proposition 4.9
Given a principal toric bundle, \({\mathbb {S}}^1 \times {\mathbb {S}}^1 \hookrightarrow M \xrightarrow {\pi } X\), over a Hermitian manifold \((X,\omega _X)\), with connection one forms \(\theta _1,\theta _2\) such that \(\mathrm{{d}}\theta _i=\pi ^*\omega _i\) for (1, 1)-forms \(\omega _i\), there are no Hermitian metric of type \(\omega =\pi ^*(\omega _X) + f\theta _1\wedge \theta _2\), where f is a positive function on M, which satisfy the equation
for \(\lambda \ne 0\).
Proof
Thanks to (4.2) the Bismut Einstein problem (4.4) in this setting reduces to solve
In particular, f has to verify
Since the fibers are compact, if we fix one of them, there should be a critical point for f on it. At this point, both \(t_1 f\) and \(t_2 f\) vanish giving a contradiction with the above equality, since \(f>0\). \(\square \)
References
Angella, D., Otal, A., Ugarte, L., Villacampa, R.: On Gauduchon connections with Kähler-like curvature, To appear in Communications in Analysis and Geometry, arXiv:1809.02632 (2018)
Angella, D., Calamai, S., Spotti, C.: On the Chern–Yamabe problem. Math. Res. Lett. 24(3), 645–677 (2017)
Angella, D., Pediconi, F.: On cohomogeneity one Hermitian non-Káhler metrics, arXiv:2010.08475 (2021)
Barbaro, G.: Griffiths positivity for Bismut curvature and its behaviour along Hermitian Curvature Flows. J. Geom. Phys. 169, 104323 (2021). https://doi.org/10.1016/j.geomphys.2021.104323
Borel, A.: Kählerian coset spaces of semi-simple Lie groups. Proc. Nat. Acad. Sci. 40, 1147–1151 (1954)
Cavalcanti, G.R.: Hodge theory of SKT manifolds. Adv. Math. 374, 107270 (2020)
Fu, J.-X., Yau, S.-T.: A Monge–Ampére-type equation motivated by string theory. Commun. Anal. Geom. 15(1), 29–76 (2007)
Fu, J.-X., Yau, S.-T.: The theory of superstring with flux on non-Káhler manifolds and the complex Monge–Ampère equation. J. Differ. Geom. 78(3), 369–428 (2008)
Garcia-Fernandez, M., Streets, J.: Generalized Ricci Flow. University Lecture Series, vol. 76. American Mathematical Society, Providence (2021)
Gauduchon, P.: Le théorème de l’excentricité nulle, C. R. Acad. Sci. Paris Sér. A 285(5), A387–A390 (1977)
Gauduchon, P.: La \(1\)-forme de torsion d’une variété hermitienne compacte. Math. Ann. 267(4), 495–518 (1984)
Grantcharov, D., Grantcharov, G., Poon, Y.S.: Calabi–Yau connections with torsion on toric bundles. J. Differ. Geom. 78(1), 13–32 (2008)
Grantcharov, G.: Geometry of compact complex homogeneous spaces with vanishing first Chern class. Adv. Math. 226(4), 3136–3159 (2011)
Hull, C.M.: Compactifications of the heterotic superstring. Phys. Lett. B 178(4), 357–364 (1986)
Ivanov, S., Papadopoulos, G.: Vanishing theorems and string backgrounds. Class. Quantum Gravity 18(6), 1089–1110 (2001)
Koca, C., Lejmi, M.: Hermitian metrics of constant Chern scalar curvature on ruled surfaces. Kodai Math. J. 43(3), 409–430 (2020)
Lejmi, M., Upmeier, M.: Integrability theorems and conformally constant Chern scalar curvature metrics in almost Hermitian geometry. Commun. Anal. Geom. 28(7), 1603–1645 (2020)
Matsushima, Y.: Remarks on Kähler–Einstein manifolds. Nagoya Math. J. 46, 161–173 (1972)
Podestà, F.: Homogeneous Hermitian manifolds and special metrics. Transform. Groups 23(4), 1129–1147 (2018)
Streets, J.: Classification of solitons for pluriclosed flow on complex surfaces. Math. Ann. 375(3–4), 1555–1595 (2019)
Streets, J.: Pluriclosed flow and the geometrization of complex surfaces. In: Chen, J., Lu, P., Lu, Z., Zhang, Z. (eds.) Geometric Analysis. Progress in Mathematics, vol. 333. Birkhauser, Cham (2020)
Streets, J., Tian, G.: A parabolic flow of pluriclosed metrics. Int. Math. Res. Not. 16, 3101–3133 (2010)
Streets, J., Tian, G.: Hermitian curvature flow. J. Eur. Math. Soc. 13(3), 601–634 (2011)
Streets, J., Tian, G.: Generalized Kahler Geometry and the pluriclosed flow. Nucl. Phys. B 858(2), 366–376 (2012)
Strominger, A.: Superstrings with torsion. Nucl. Phys. B 274(2), 253–284 (1986)
Wang, H.-C.: Closed manifolds with homogeneous complex structure. Am. J. Math. 76, 1–32 (1954)
Acknowledgements
I would like to thank my advisor Daniele Angella, and Francesco Pediconi for many helpful suggestions and their constant support and encouragement. I am also grateful to professors Simone Calamai, David Petrecca, and Cristiano Spotti for useful clues and discussions. Many thanks also to the anonymous Referees for their useful comments and suggestions.
Funding
Open access funding provided by Universitá degli Studi di Roma La Sapienza within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Mathematica Josephina, Inc
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The author is supported by project PRIN2017 “Real and Complex Manifolds: Topology, Geometry and holomorphic dynamics” (code 2017JZ2SW5), and by GNSAGA of INdAM.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Barbaro, G. On the Curvature of the Bismut Connection: Bismut–Yamabe Problem and Calabi–Yau with Torsion Metrics. J Geom Anal 33, 153 (2023). https://doi.org/10.1007/s12220-023-01203-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s12220-023-01203-2
Keywords
- Gauduchon–Yamabe problem
- Calabi–Yau with torsion structures
- Bismut scalar curvature
- Bismut Ricci curvature