Abstract
In this note, we study the local properties of the Chern-scalar curvature function by looking at its linearization. In particular, we study its linearization stability and the structure of the space of Hermitian metrics with prescribed Chern-scalar curvature.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In Riemannian geometry, the space of Riemannian metrics \(\mathcal {M}\) attached to a differentiable manifold M plays a crucial role as a differentiable invariant. From this point of view, the function \({{\,\mathrm{scal}\,}}\), assigning to any Riemannian metric g its scalar curvature \({{\,\mathrm{scal}\,}}(g)\), is well understood. We refer e.g. to the seminal works [6, 21,22,23,24]. For compact surfaces S, the image of this function depends on the Euler characteristic. Indeed, the necessary and sufficient conditions for a smooth function to be the Gaussian curvature of some metric are either to be positive somewhere when \(\chi (S)>0\), or to change sign or to be identically zero when \(\chi (S)=0\), or to be negative somewhere when \(\chi (S)<0\), see [21, Thm 6.3, Thm 11.8], [23, Thm 5.6]. There is a similar trichotomy in higher dimension, where one makes advantage of the sign of the first eigenvalue of the conformal Laplacian operator, see [23, Thm 6.4]. Two main ingredients in the work by Kazdan and Warner are the study of the local surjectivity of the map \(g\mapsto {{\,\mathrm{scal}\,}}(g)\) by means of the Inverse Function Theorem [24, Lemma 2, p 228], and an Approximation Lemma for studying the \(L^p\)-closure of the orbits of a function under the action of the diffeomorphism group of M [24, p. 228]. This note is born as an attempt to understand similar questions concerning the geometry of Hermitian metrics on a compact complex manifold.
In Hermitian geometry, the Levi-Civita connection is replaced by Hermitian connections with possibly non-zero torsion. Among Hermitian connections, there are some canonical choices (in the sense of [16]), in particular, the Chern connection is uniquely characterized by having torsion of type (2, 0), equivalenty, by the (0, 1)-component coinciding with the Cauchy-Riemann operator of the holomorphic tangent bundle, see e.g. [16, p. 273]. The Chern-scalar curvature \({{\,\mathrm{scal}\,}}^{\mathrm{Ch}}\), obtained by tracing the curvature of such connection (see Section 2 for the definition), has been investigated by several authors. Hermitian metrics on compact complex manifolds with constant Chern-scalar curvature have been investigated and constructed in [2, 4, 26] and others. A first result on prescribing the Chern-scalar curvature appear in [20, Thm 1.1], and the problem has been recently addressed in [13] by the conformal methods of Kazdan and Warner.
In this note, we exploit the techniques by [6, 10, 12, 24] to study the relationship between infinitesimal and actual deformations of the Chern-scalar curvature function with respect to a varying metric. Concerning the analogue results for the Riemannian scalar curvature, we refer in particular to [12, Thm A, Thm A’, Thm 7.9].
Let (M, J) be a compact, connected, complex manifold of dimension \(\dim _{{\mathbb {R}}}M=2m\), and \(\mathcal {M}_{\mathrm{H}}\) the space of smooth Hermitian metrics on it. We study the local properties of the function \({{\,\mathrm{scal}\,}}^{\mathrm{Ch}} : \mathcal {M}_{\mathrm{H}} \rightarrow {\mathcal {C}}^{\infty }(M,{\mathbb {R}})\) by looking at its linearization (see Proposition 3.6 and Proposition 3.10). Let us recall that \({{\,\mathrm{scal}\,}}^{\mathrm{Ch}}\) is said to be linearization stable at a metric \(g_{{\text {o}}}\in \mathcal {M}_{\mathrm{H}}\) if, for any direction \(h \in \ker ({{\,\mathrm{scal}\,}}^{\mathrm{Ch}})'_{g_{{\text {o}}}}\), there exists a smooth path \(g : (-\epsilon ,\epsilon ) \rightarrow \mathcal {M}_{\mathrm{H}}\) such that \(g(0)=g_{{\text {o}}}\), \({\dot{g}}(0)=h\) and \({{\,\mathrm{scal}\,}}^{\mathrm{Ch}}(g(t))={{\,\mathrm{scal}\,}}^{\mathrm{Ch}}(g_{{\text {o}}})\) for any \(-\epsilon<t<\epsilon \). On the other hand, if \({{\,\mathrm{scal}\,}}^\mathrm{Ch}\) is not linearization stable at \(g_{{\text {o}}}\), it is said to be linearization unstable at \(g_{{\text {o}}}\). Our first result reads as follows:
Theorem A
Let \(g \in \mathcal {M}_{\mathrm{H}}\), set \(\lambda := {{\,\mathrm{scal}\,}}^{\mathrm{Ch}}(g) \in {\mathcal {C}}^{\infty }(M,{\mathbb {R}})\) and assume that either g is not first-Chern-Einstein, or g is first-Chern-Einstein with \(\tfrac{\lambda }{m}<{{\,\mathrm{d\!}\,}}^{\,*}\!\vartheta \). Then, the function \({{\,\mathrm{scal}\,}}^{\mathrm{Ch}} : \mathcal {M}_{\mathrm{H}} \rightarrow {\mathcal {C}}^{\infty }(M,{\mathbb {R}})\) is linearization stable at g and maps any neighborhood of g onto a neighborhood of \(\lambda \).
In the statement of the theorem above, \(\vartheta \) denotes the torsion 1-form of g (see Eq. (2.4)). Moreover, the first-Chern-Einstein condition is a generalization of the Kähler-Einstein equation in the Hermitian, possibly non-Kählerian, setting (see Sect. 2). In particular, since \(\vartheta =0\) and \({{\,\mathrm{scal}\,}}^{\mathrm{Ch}}={{\,\mathrm{scal}\,}}\) at any Kähler metric, we remark that this theorem applies to Kähler-Einstein metrics with negative scalar curvature.
Our second result concerns the structure of the space \(\mathcal {M}_\mathrm{H}(\lambda ) := \{g \in \mathcal {M}_{\mathrm{H}} : {{\,\mathrm{scal}\,}}^{\mathrm{Ch}}(g)=\lambda \}\) of Hermitian metrics with prescribed Chern-scalar curvature. More precisely, we prove
Theorem B
Let \(\lambda \in {\mathcal {C}}^{\infty }(M,{\mathbb {R}})\) and assume that \(\mathcal {M}_{\mathrm{H}}(\lambda )\) is not empty. If either (M, J) is non-Kählerian and \(c_1^{{\mathrm{BC}}}(M,J) \ne 0\), or (M, J) is Kählerian and \(c_1(M,J)\) has no sign, then \(\mathcal {M}_{\mathrm{H}}(\lambda )\) is a closed smooth ILH-submanifold of \(\mathcal {M}_{\mathrm{H}}\) with tangent space \(T_g\mathcal {M}_{\mathrm{H}}(\lambda ) = \ker ({{\,\mathrm{scal}\,}}^{\mathrm{Ch}})'_g\) at \(g \in \mathcal {M}_\mathrm{H}\).
Here, we say that (M, J) is Kählerian if it admits Kähler metrics, non-Kählerian otherwise. We also denoted by \(c_1^{{\mathrm{BC}}}(M,J)\) and \(c_1(M,J)\) the first Chern class of (M, J) in the Bott-Chern and de Rham cohomology, respectively. Moreover, for the notion of infinite-dimensional ILH-manifold, we refer to [27, Ch II]. Notice that both the hypotheses stated in Theorem B assure that the manifold (M, J) does not admit any first-Chern-Einstein metric, which is a key point in the proof. Let us stress also that, while in the Riemannian case the prescribed scalar curvature problem is well understood (see [9, Thm 4.35]), the question whether \(\mathcal {M}_{\mathrm{H}}(\lambda )\) is non-empty is far from being answered. Therefore, we collect in Remark 4.3 the state of the art, up to our knowledge.
Finally, in our last result, we exhibit concrete examples of Hermitian metrics at which \({{\,\mathrm{scal}\,}}^{\mathrm{Ch}}\) is linearization unstable. Notice that, by Theorem A, any such metric g is necessarily first-Chern-Einstein with \(\frac{1}{m}{{\,\mathrm{scal}\,}}^\mathrm{Ch}(g)-{{\,\mathrm{d\!}\,}}^{\,*}\!\vartheta \ge 0\) at some point. More precisely, we prove
Theorem C
Let \(g_{{\text {o}}}\) be a Kähler-Einstein metric with positive scalar curvature. If \((M,g_{{\text {o}}})\) admits global non-trivial Killing vector fields, then \({{\,\mathrm{scal}\,}}^{\mathrm{Ch}}\) is linearization unstable at \(g_{{\text {o}}}\).
In particular, this theorem applies to the Kähler-Einstein metrics on compact Fano manifolds admitting an isometric Lie group action. On the other hand, we do not have any information on the general class of first-Chern-Einstein metrics with \(\frac{1}{m}{{\,\mathrm{scal}\,}}^\mathrm{Ch}-{{\,\mathrm{d\!}\,}}^{\,*}\!\vartheta \ge 0\) at some point, which includes Ricci-flat Kähler metrics and Kähler-Einstein metrics with positive scalar curvature without global non-trivial Killing vector fields.
The paper is organized as follows. In Sect. 2, we summarize some basic facts on Geometric Analysis, on Complex Linear Algebra and on the Chern connection. In Sect. 3, we compute the first and second variation formulas for the Chern-scalar curvature, proving Proposition 3.6 and Proposition 3.10. In Sect. 4, we prove the main results Theorem A, Theorem B and Theorem C.
2 Preliminaries and notation
In this section, we summarize some basic facts on geometric analysis on Riemannian manifolds, referring to e.g. [5, 9, 19, 28], and we set the notation and some preliminary results concerning the geometry of Hermitian metrics, see e.g. [16].
2.1 Basics on geometric analysis
2.1.1 A consequence of the Implicit Function Theorem
Let X, Y be Banach spaces, \(\mathcal {U}\subset X\) an open set and L(X, Y) the Banach space of continuous linear maps \(T: X \rightarrow Y\). A map \(f: \mathcal {U}\rightarrow Y\) is said to be of class \({\mathcal {C}}^1\) if there exists a continuous map \({{\,\mathrm{d\!}\,}}f: \mathcal {U}\rightarrow L(X,Y) \) called differential of f such that
Let us consider the Banach space \(L^{(k)}(X,Y)\), \(k \in {\mathbb {N}}\), given by
It can be directly checked that \(L(X,L^{(k-1)}(X,Y)) \simeq L^{(k)}(X,Y)\) for any \(k \in {\mathbb {N}}\). Therefore, this allows to give the following recursive definition: a map \(f: \mathcal {U}\rightarrow Y\) is said to be of class \({\mathcal {C}}^k\) if it is of class \({\mathcal {C}}^{k-1}\) and there exists a continuous map \({{\,\mathrm{d\!}\,}}^{\,(k)}\!f: \mathcal {U}\rightarrow L^{(k)}(X,Y)\) such that \({{\,\mathrm{d\!}\,}}^{\,(k)}\!f(x) = {{\,\mathrm{d\!}\,}}\big ({{\,\mathrm{d\!}\,}}^{\,(k-1)}\!f\big )(x)\) for any \(x \in \mathcal {U}\). As usual, f is said to be smooth if it is of class \({\mathcal {C}}^k\) for any \(k \in {\mathbb {N}}\). For the sake of shortness, we set \(f'_x(v) := {{\,\mathrm{d\!}\,}}f(x)(v)\) and \(f''_x(v) :={{\,\mathrm{d\!}\,}}^{\,(2)}\!f(x)(v)\).
Let now \(f: \mathcal {U}\rightarrow Y\) be a smooth map and \(x_{{\text {o}}} \in \mathcal {U}\) a point. We recall that f is said to be a submersion at \(x_{{\text {o}}}\) if \(f'_{x_{{\text {o}}}}\) is surjective and the exact short sequence \(\{0\} \rightarrow \ker (f'_{x_{{\text {o}}}}) \rightarrow X \rightarrow Y \rightarrow \{0\}\) splits, i.e. there exists a closed subspace \(Z_{x_{{\text {o}}}} \subset X\) such that \(X = \ker (f'_{x_{{\text {o}}}}) \oplus Z_{x_{{\text {o}}}}\) and the restriction \(f'_{x_{{\text {o}}}}|_{Z_{x_{{\text {o}}}}}\) is an isomorphism of Banach spaces from \(Z_{x_{{\text {o}}}}\) to Y. By the Implicit Function Theorem, see e.g. [5, p. 72], if f is submersion at \(x_{{\text {o}}}\), it follows that:
-
i)
f is locally surjective at \(x_{{\text {o}}}\), i.e. f maps any neighborhood of \(x_{{\text {o}}}\) in X onto a neighborhood of \(f(x_{{\text {o}}})\) in Y;
-
ii)
the preimage \(S_{f(x_{{\text {o}}})} := f^{-1}(f(x_{{\text {o}}}))\) is a smooth submanifold of X in a neighborhood of \(x_{{\text {o}}}\) with tangent space \(T_{x_{{\text {o}}}}S = \ker (f'_{x_{{\text {o}}}})\).
Finally, we recall that \(f: \mathcal {U}\rightarrow Y\) is said to be linearization stable at \(x_{{\text {o}}}\) if, for any \(v \in \ker (f'_{x_{{\text {o}}}}) \subset X\), there exists a smooth path \(x : (-\epsilon ,\epsilon ) \rightarrow X\) such that \(x(0)=x_{{\text {o}}}\), \({\dot{x}}(0)=v\) and \(f(x(t))=f(x_{{\text {o}}})\) for any \(-\epsilon<t<\epsilon \), see [12, p. 519]. Notice that, if f is submersion at \(x_{{\text {o}}}\), then it is also linearization stable at \(x_{{\text {o}}}\), but the converse assertion is not true.
2.1.2 Sobolev spaces on Riemannian manifolds
Let M be a connected, compact, oriented smooth manifold without boundary of even dimension \(\dim M = 2m\), g a fixed background Riemannian metric on M and \(\nu _g\) the induced Riemannian volume form. We extend g to a Riemannian metric on the fibers of the bundle \(\mathcal {T}^{(r,s)} M \rightarrow M\) of (r, s)-tensors over M in the usual way and we denote by \(D^{g} : {\mathcal {C}}^{\infty }(M,\mathcal {T}^{(r,s)} M) \rightarrow {\mathcal {C}}^{\infty }(M,\mathcal {T}^{(r,s+1)} M)\) the Levi-Civita connection of g.
Let \(E \rightarrow M\) be any vector subbundle of \(\mathcal {T}^{(\cdot ,\cdot \cdot )}M\). For any integer \(k \ge 0\) and for any tensor fields \(h_1,h_2 \in {\mathcal {C}}^{\infty }(M,E)\), we define the bilinear form
Since M is compact, the topology induced by the norm \(\Vert \cdot \Vert _{W^{k,2}} := \sqrt{\langle \cdot , \cdot \rangle _{W^{k,2}}}\) is independent of the Riemannian metric g (see e.g. [19, Prop 2.2]). Accordingly, the Sobolev space \(W^{k,2}(M,E)\) is defined as the completion of \({\mathcal {C}}^{\infty }(M,E)\) with respect to the norm \(\Vert \cdot \Vert _{W^{k,2}}\). For the sake of notation, we set \(L^2 := W^{0,2}\).
Notice that \(\big (W^{k,2}(M,E), \langle \,,\, \rangle _{W^{k,2}}\big )\) is a Hilbert space. Moreover, for any \(k \ge m+1\), by the Sobolev Embeddings Theorem (see e.g. [19, Thm 2.7]) there exists a continuous embedding
where \(\Vert \cdot \Vert _{{\mathcal {C}}^{k'}}\) denotes the usual \({\mathcal {C}}^{k'}\)-norm for any integer \(k'\ge 0\).
Remark 2.1
We stress that (2.1) implies that \(W^{k,2}(M,E)\) consists of continuous sections if \(k \ge m+1\). In particular, it is possible to define \(W^{k,2}(M,E)\) with \(k \ge m+1\) for any subbundle E of \(\mathcal {T}^{(\cdot ,\cdot \cdot )}M\). A remarkable example is the space of Riemannian metrics of class \(W^{k,2}\) defined as
Let now E, F be two vector subbundle of \(\mathcal {T}^{(\cdot ,\cdot \cdot )} M\) and \(P: {\mathcal {C}}^{\infty }(M,E) \rightarrow {\mathcal {C}}^{\infty }(M,F)\) a linear differential operator of order r. We recall that:
-
the principal symbol of P is the endomorphism \(\sigma (P): T^*M \otimes E \rightarrow F\) defined as follows: for any \(x \in M\), \(\xi \in T_x^*M\), \(s \in E_x\)
$$\begin{aligned} \sigma (P)_x(\xi \otimes s) := \tfrac{1}{r!}P(\phi ^ru)(x) \,\, , \end{aligned}$$(2.2)where \(\phi \in {\mathcal {C}}^{\infty }(M,{\mathbb {R}})\) verifies \(\phi (x)=0\), \({{\,\mathrm{d\!}\,}}\phi _x=\xi \) and \(u \in {\mathcal {C}}^{\infty }(M,E)\) verifies \(u(x)=s\);
-
the \(L^2\)-adjoint of P is the unique linear differential operator \(P^*: {\mathcal {C}}^{\infty }(M,F) \rightarrow {\mathcal {C}}^{\infty }(M,E)\) of order r satisfying
$$\begin{aligned} \langle P(s_1), s_2\rangle _{L^2} = \langle s_1, P^*(s_2) \rangle _{L^2} \,\, \text{ for } \text{ any } s_1 \in {\mathcal {C}}^{\infty }(M,E) \, , \, s_2 \in {\mathcal {C}}^{\infty }(M,F) \,\, . \end{aligned}$$
We also remark that P can be uniquely extended to a linear differential operator \(P: W^{k+r,2}(M,E) \rightarrow W^{k,2}(M,F)\) for any integer \(k \ge 0\) (see [28, Thm 6, p. 152]). Then, we have the following
Theorem 2.2
(Berger-Ebin Splitting Lemma [7, Thm 4.1]) Let \(P: {\mathcal {C}}^{\infty }(M,E) \rightarrow {\mathcal {C}}^{\infty }(M,F)\) be a linear differential operator of order r and \(k \in {\mathbb {N}}\) such that \(k \ge r\). If P has injective symbol or its \(L^2\)-adjoint \(P^*\) has injective symbol, then
where P is extended to \(P: W^{k+r,2}(M,E) \rightarrow W^{k,2}(M,F)\) and, consequently, \(P^*: W^{k,2}(M,F) \rightarrow W^{k-r,2}(M,E)\). Moreover, if P has injective symbol, then \(\ker (P) \subset W^{k+r,2}(M,E)\) is finite dimensional and consists of smooth sections.
Remark 2.3
As a consequence of the Berger-Ebin Splitting Lemma, we remark that: if \(P^*\) is injective and has injective symbol, then P is surjective and its kernel splits.
2.2 Complex linear algebra
Let \(V=(V,J,g)\) be a triple given by a real vector space V of dimension \(\dim _{{\mathbb {R}}}V=2m\), a linear complex structure J on V and an Euclidean scalar product g on V such that \(g(J(\cdot ),J(\cdot \cdot ))=g(\cdot ,\cdot \cdot )\). The complexification \(V^{{\mathbb {C}}}:=V \otimes _{{\mathbb {R}}} {\mathbb {C}}\) splits as a sum of J-eigenspaces \(V^{{\mathbb {C}}} = V^{1,0} \oplus V^{0,1}\) and all the real tensors on V can be uniquely \({\mathbb {C}}\)-linearly extended to \(V^{{\mathbb {C}}}\). Fix a (J, g)-unitary basis \((e_i,Je_i)\) for V, and consider the associated complex basis
for \(V^{{\mathbb {C}}}\), which is unitary with respect to the Hermitian extension of g to \(V^{{\mathbb {C}}}\). Clearly, it holds that \(\overline{\varepsilon _i}=\varepsilon _{{\bar{i}}}\) and \(J\varepsilon _i=\mathtt {i}\varepsilon _i\), \(J\varepsilon _{{\bar{i}}}=-\mathtt {i}\varepsilon _{{\bar{i}}}\). Moreover, J acts on covectors \(\vartheta \in V^*\) via \((J\vartheta ) := - \vartheta \circ J\), so that \((e^i,Je^i)\) is the dual basis of \((e_i,Je_i)\) for \(V^*\). For the complexification, we get that
is the dual basis of \((\varepsilon _i,\varepsilon _{{\bar{i}}})\), and \(J\varepsilon ^i=-\mathtt {i}\varepsilon ^i\), \(J\varepsilon ^{{\bar{i}}}=\mathtt {i}\varepsilon ^{{\bar{i}}}\). With respect to such basis, we have
We consider now the spaces
Notice now that any \(h \in \mathrm {Sym}^{1,1}(V)\) preserves the decomposition \(V^{{\mathbb {C}}} = V^{1,0} \oplus V^{0,1}\) and takes the form
Moreover, the linear map
is an isomorphism, with inverse given by \({\tilde{h}} \mapsto h= -J \circ {\tilde{h}}\). Then, we denote by \({{\,\mathrm{tr}\,}}^{{\mathbb {R}}}: \mathrm {Sym}^{1,1}(V) \rightarrow {\mathbb {R}}\) the trace of the real endomorphism \(h: V \rightarrow V\) and by \({{\,\mathrm{tr}\,}}^{{\mathbb {C}}}: \mathrm {Sym}^{1,1}(V) \rightarrow {\mathbb {R}}\) the trace of the complex endomorphism \(h: V^{1,0} \rightarrow V^{1,0}\), which are related by
Finally, we consider the space
and we observe that the linear map
is an isomorphism. Accordingly, we define
Since any \(\alpha \in \Lambda ^{1,1}(V^*)\) is of the form
an easy computation shows that
2.3 The Chern connection
Let (M, J, g) be a compact, connected, Hermitian manifold of dimension \(\dim _{{\mathbb {R}}}M=2m\) and let \(\omega := \rho _g({{\,\mathrm{Id}\,}})=g(J\cdot , \cdot )\) be its fundamental 2-form, where \({{\,\mathrm{Id}\,}}\in {\mathcal {C}}^{\infty }(M,\mathrm {Sym}^{1,1}(TM))\) is the identity endomorphism, \(D^g\) its Levi-Civita connection and \(\nabla \) its Chern connection, defined by
for any \(X,Y,Z \in {\mathcal {C}}^{\infty }(M,TM)\). It is well-known that the Chern connection is characterized by the following properties, see e.g. [16, p. 273]:
where \(T(X,Y) := \nabla _XY -\nabla _YX - [X,Y]\) is the torsion tensor of \(\nabla \), which can be expressed by (see e.g. [16, Prop 4])
We denote by
the Lee form. We also define the Chern-curvature operator by
Moreover, we call first Chern-Ricci form the tensor field
and first Chern-Ricci symmetric endomorphism
Finally, the Chern-scalar curvature is the trace
We remark that, with this notation, when g is Kähler it holds that
where \({\text {Ric}}(g)\) and \({{\,\mathrm{scal}\,}}(g)\) denote the Riemannian Ricci endomorphism and the Riemannian scalar curvature of g, respectively. We recall that g is called first-Chern-Einstein if it satisfies \(S(g) =\tfrac{\lambda }{2m} {{\,\mathrm{Id}\,}}\) for some \(\lambda \in {\mathcal {C}}^{\infty }(M,{\mathbb {R}})\), see [3, 31] and references therein. Notice that, in this case \(\lambda = {{\,\mathrm{scal}\,}}^{\mathrm{Ch}}(g)\) and, if g is Kähler, then this notion corresponds to the Kähler-Einstein condition.
We also set \({{\,\mathrm{d\!}\,}}^{\,c} := J^{-1} \! \circ {{\,\mathrm{d\!}\,}}\, \circ J\), so that
and we denote by \(\Delta _g := (D^g)^*D^g\) the Laplace-Beltrami operator. We recall that \({{\,\mathrm{d\!}\,}}{{\,\mathrm{d\!}\,}}^{\,c}\) and \(\Delta _g\) are related by the following
Lemma 2.4
(see e.g. [15, p. 502]) For any function \(u \in {\mathcal {C}}^{\infty }(M,{\mathbb {R}})\) it holds that
Proof
For the sake of completeness, we summarize here the computation. By the very definition, for any vector fields X, Y it holds that
Let now \(({\tilde{e}}_{\alpha })=(e_i,Je_i)\) be a local (J, g)-unitary frame on M and set \(A := \nabla - D^g\). Then, notice that
and so
Moreover, from (2.3) we get
and therefore we obtain (2.8). \(\square \)
Given a function \(u \in {\mathcal {C}}^{\infty }(M,{\mathbb {R}})\), we also denote by \({{\,\mathrm{Hess}\,}}_g(u) \in {\mathcal {C}}^{\infty }(M,\mathrm {Sym}(TM))\) the Hessian of u defined by
and we stress the following
Lemma 2.5
If g is Kähler, then
Proof
By the very definition, we have
Therefore, since g is Kähler, we get
which concludes the proof. \(\square \)
Finally, we introduce the following two operators
defined by
3 Variation formulas for the Chern-scalar curvature
Let (M, J) be a compact, connected, complex manifold of dimension \(\dim _{{\mathbb {R}}}M=2m\). We consider the bundle \(S^{1,1}_+(T^*M) \rightarrow M\) of symmetric, bilinear, positive definite, J-invariant forms and, for any integer \(k \ge m+1\), we define the space of Hermitian metrics on (M, J) of class \(W^{2,k}\) as
For the sake of notation, we denote the space of smooth Hermitian metrics by \(\mathcal {M}_{\mathrm{H}} := {\mathcal {C}}^{\infty }(M,S^{1,1}_+(T^*M))\).
3.1 First variation of the Chern-scalar curvature
Fix a smooth Hermitian metric \(g \in \mathcal {M}_{\mathrm{H}}\). Then, given an element \(h \in {\mathcal {C}}^{\infty }(M,\mathrm {Sym}^{1,1} (TM))\), we consider the corresponding path \((g_t) \subset \mathcal {M}_{\mathrm{H}}\) given by
with \(\epsilon >0\) small enough. For the sake of notation, in this section we will always use this shortener notation: if F is a function defined on \(\mathcal {M}_{\mathrm{H}}\), we write \(F'\) instead of \(F'_g(h)\) to denote the differential of F at g in the direction of h.
Proposition 3.1
The differential at g in the direction of h of the Chern connection is the (1, 2)-tensor field \(\nabla '\) defined by
Proof
We set \(C^t := \nabla ^{g_t}-\nabla ^g\), that is a (2, 1)-tensor field. Then, by using the Koszul Formula of the Chern connection (see e.g. [4, Sect 2.1])
and so
Letting \(t\rightarrow 0\), we obtain (3.1). \(\square \)
Lemma 3.2
The differential at g in the direction of h of the complex trace is the linear map defined, for \(\alpha \in {\mathcal {C}}^{\infty }(M,\Lambda ^{1,1}(T^*M))\), by
Proof
Fix a local (J, g)-unitary frame \((e_i,Je_i)\) on M and the associated frame
so that
where \(h_{{\bar{j}}i} = \delta _{{\bar{j}}s}h^s_{\, i}\). If \((g_t)_{{\bar{j}}i} := \delta _{{\bar{j}}i} +th_{{\bar{j}}i}\) and \(((g_t)^{i{\bar{j}}}) := ((g_t)_{{\bar{j}}i})^{-1}\), it follows that
Since \({{\,\mathrm{Tr}\,}}^{{\mathbb {C}}}_g(\alpha ) = \delta ^{i{\bar{j}}}\alpha _{{\bar{j}}i}\), we get
where \(h^{i{\bar{j}}}= h^i_{\, s}\delta ^{s{\bar{j}}}\). On the other hand, one can directly check that
which completes the proof. \(\square \)
Proposition 3.3
The differential at g in the direction of h of the Chern-curature operator is given by
Proof
By differentiating (2.5), we get
Notice that
and so we get
Here, by a slight abuse of notation, we denoted by \(\Omega _{X,Y}\) the curvature of the connection naturally induced on the bundle \({{\,\mathrm{End}\,}}(TM)\). Since \(\Omega _{X,Y}h = [\Omega (X,Y),h]\), we obtain (3.3). \(\square \)
Lemma 3.4
For any vector field X it holds that
Proof
Fix \(x \in M\) and let \(({\tilde{e}}_{\alpha })\) be a local orthonormal frame around x such that \((D{\tilde{e}}_{\alpha })_x=0\). Then, by using (2.3), at the point x we get
Moreover, since \(\nabla _Xh \in {\mathcal {C}}^{\infty }(M,\mathrm {Sym}^{1,1}(TM))\), it holds that
and so we get the thesis. \(\square \)
Proposition 3.5
The differential at g in the direction of h of the first Chern-Ricci form is given by
Proof
Notice that the trace \({{\,\mathrm{tr}\,}}^{{\mathbb {C}}}\) commutes with the differentiation. Moreover, it is straightforward to check that, for any vector fields X, Y and \(h \in {\mathcal {C}}^{\infty }(M,\mathrm {Sym}^{1,1}(TM))\), the commutator \([\Omega (X,Y),h]\) is a section of \(\mathrm {Sym}^{1,1}(TM)\), with zero trace. Therefore, \(J \circ [\Omega (X,Y),h] \in {\mathcal {C}}^{\infty }(M,\mathrm {Skew}^{1,1}(TM))\), and so, by means of (2.6), (3.3), (3.4), and (2.9), we obtain
and so we get (3.5). \(\square \)
As a direct consequence of (3.2) and (3.5), and by (2.8), we get
Proposition 3.6
The differential at g in the direction of h of the Chern-scalar curvature is given by
3.2 Second variation of the Chern-scalar curvature
We are going to compute the second variation of the Chern-scalar curvature at a fixed point \(g \in \mathcal {M}_{\mathrm{H}}\). Let \(g_t = g(({{\,\mathrm{Id}\,}}+th)\,\cdot ,\cdot \cdot )\) as before. From [9], and by recalling the definition of \(\delta _g\) in (2.11), we have
Proposition 3.7
(see [9, Prop 1.184]) The differential at g in the direction of h of the Laplace-Beltrami operator is given by
By means of a straightforward computation in local coordinates, one can show that, for any \(\alpha ,\beta \in {\mathcal {C}}^{\infty }(M,T^*M)\) and \(A,B \in {\mathcal {C}}^{\infty }(M,{{\,\mathrm{End}\,}}(TM))\), we have
For the following, we recall that \(\delta ^{\nabla }\) has been defined in (2.11):
Proposition 3.8
The differential at g in the direction of h of the Lee form is given by
Proof
By the very definition of Lee form (2.4), we have
Then, from (3.1) and (3.4), it follows that
Moreover, given a local (J, g)-unitary frame \((e_i,Je_i)\), from (3.1) and (2.11) we get
and so this proves Formula (3.9). \(\square \)
Proposition 3.9
The differential at g in the direction of h of the first Chern-Ricci symmetric endomorphism is given by
Proof
Differentiating both sides of \(g(S(g)(X),Y) = {\tilde{S}}(g)(X,JY)\), we get
Therefore, by using (3.5), we get (3.10). \(\square \)
Finally, we are ready to prove the following
Proposition 3.10
The second differential at g in the direction of \((h_1,h_2)\) of the Chern-scalar curvature is given by
Moreover, if g is Kähler, then
Proof
Notice that (3.11) follows directly from (3.6), (3.7), (3.8), (3.9) and (3.10). Assume now that g is Kähler, then
Moreover, by (2.10), we get
which concludes the proof of (3.12). \(\square \)
4 Main results
Let again (M, J) be a compact, connected, complex manifold of dimension \(\dim _{{\mathbb {R}}}M=2m\). In this section, we prove our main results, concerning the submersion and local surjectivity properties for the map \({{\,\mathrm{scal}\,}}^{\mathrm{Ch}} : \mathcal {M}_{\mathrm{H}} \rightarrow {\mathcal {C}}^{\infty }(M,{\mathbb {R}})\), in view of the relationship between infinitesimal and actual deformations of the Chern-scalar curvature function with respect to a varying metric (see [12] for the Riemannian case).
4.1 Submersion points for the Chern-scalar curvature
We begin this section with the following striaghtforward
Lemma 4.1
For any integer \(k\ge m+2\), the map \({{\,\mathrm{scal}\,}}^{\mathrm{Ch}} : \mathcal {M}^{k+2}_{\mathrm{H}} \rightarrow W^{k,2}(M,{\mathbb {R}})\) is smooth.
Proof
This follows directly by the local formula of the Chern-scalar curvature. More precisely, take a local chart \((\mathcal {U}, \xi =(z^1,{\dots },z^m))\) of holomorphic coordinates in an open set of (M, J). If we denote by \(\Gamma \) the Christoffel symbol of \(\nabla \) with respect to \((\mathcal {U}, \xi )\), by using the Koszul Formula for the Chern connection (see e.g. [4, Sect 2.1] for notation), one can directly check that the only non-vanishing components of \(\Gamma \) are
Then, if we denote by \({\hat{\Omega }}(g) \in {\mathcal {C}}^{\infty }(M,\Lambda ^{1,1}(T^*M) \otimes \Lambda ^{1,1}(T^*M))\) the totally covariant Chern-curvature, by using (4.1) we can write
Therefore, by the very definition of Chern-scalar curvature, we get
Finally, notice that the local formula (4.2) and the multiplicative properties of the Sobolev spaces (see e.g. [1, Thm 4.39]) imply that the map \({{\,\mathrm{scal}\,}}^{\mathrm{Ch}} : \mathcal {M}^{k+2}_{\mathrm{H}} \rightarrow W^{k,2}(M,{\mathbb {R}})\) is smooth for any \(k \ge m+2\). \(\square \)
For any \(g \in \mathcal {M}_{\mathrm{H}}\), we consider the linearized Chern-scalar curvature
given by (3.6) and its \(L^2\)-adjoint
For the following result in the Riemannian context, compare [12, Thm 1].
Proposition 4.2
Fix an integer \(k\ge m+2\), let \(g \in \mathcal {M}^{k+2}_{\mathrm{H}}\) and set \(\lambda := {{\,\mathrm{scal}\,}}^{\mathrm{Ch}}(g) \in W^{k,2}(M,{\mathbb {R}})\). Assume that one of the following is satisfied:
-
i)
g is not first-Chern-Einstein;
-
ii)
g is first-Chern-Einstein and \(\tfrac{\lambda }{m}<{{\,\mathrm{d\!}\,}}^{\,*}\!\vartheta \).
Then, the map \({{\,\mathrm{scal}\,}}^{\mathrm{Ch}} : \mathcal {M}^{k+2}_{\mathrm{H}} \rightarrow W^{k,2}(M,{\mathbb {R}})\) is a submersion at g.
Proof
The principal symbol of \(\gamma _g^*\) is clearly injective. Therefore, by means of Remark 2.3, it is sufficient to prove that both (i), (ii) imply that \(\gamma _g^*\) is injective.
Firstly, assume that g is not first-Chern-Einstein. Take \(u \in \ker (\gamma _g^*)\) and a vector field \(X \in {\mathcal {C}}^{\infty }(M,TM)\) such that \(g(X,X)=1\) and set \(g(S(g)(X),X)=\tfrac{\phi }{2m}\), for some \(\phi \in W^{k,2}(M,{\mathbb {R}})\). Then, by (4.3) we get
Since \(k\ge m+2\), by (2.1) the coefficients of (4.4) are of class \({\mathcal {C}}^1\). We then apply [11, Thm 1.17]: it follows that \(u \equiv 0\) or there exists an open dense subset \(\mathcal {U}\subset M\) such that \(u(x) \ne 0\) for any \(x \in \mathcal {U}\) and the complement \(M \setminus \mathcal {U}\) has zero measure. Assume by contradiction that \(u \not \equiv 0\). Then, by (4.3) and (4.4), we obtain
and so
In particular, this implies that \(\phi = \lambda \) and that g is first-Chern-Einstein on the whole manifold M, which is not possible by assumption. Then, (i) implies that \(\gamma _g^*\) is injective.
On the other hand, assume that \(S(g) = \tfrac{\lambda }{2m}{{\,\mathrm{Id}\,}}\). Then, the equation \(\gamma _g^*(u)=0\) is equivalent to
If (ii) holds true, then the Strong Maximum Principle (see e.g. [18, Thm 4.2]) implies that \(u \equiv 0\). \(\square \)
From Proposition 4.2, we get the proofs of Theorem A and Theorem B.
Proof of Theorem A
Let \(g \in \mathcal {M}_{\mathrm{H}}\), set \(\lambda := {{\,\mathrm{scal}\,}}^{\mathrm{Ch}}(g) \in {\mathcal {C}}^{\infty }(M,{\mathbb {R}})\) and assume that either g is not first-Chern-Einstein, or g is first-Chern-Einstein with \(\tfrac{\lambda }{m}<{{\,\mathrm{d\!}\,}}^{\,*}\!\vartheta \). Thanks to Proposition 4.2 and the Implicit Function Theorem, we know that, for any integer \(k \ge m+2\), the extension of \({{\,\mathrm{scal}\,}}^\mathrm{Ch}\) on \(\mathcal {M}_{\mathrm{H}}^{k+2}\) is linearization stable at g and maps any neighborhood of g in \(\mathcal {M}^{k+2}_{\mathrm{H}}\) onto a neighborhood of \(\lambda \) in \(W^{k,2}(M,{\mathbb {R}})\). Moreover, by means of Theorem 2.2,
It remains to prove the following claim: if \(h \in {\text {Im}}(\gamma _g^*) \subset W^{k,2}(M,\mathrm {Sym}^{1,1}(TM))\) and \(g_t := g(({{\,\mathrm{Id}\,}}+th)\,\cdot ,\cdot \cdot )\), then \({{\,\mathrm{scal}\,}}^{\mathrm{Ch}}(g_t) \in {\mathcal {C}}^{\infty }(M,{\mathbb {R}})\) only if \(h \in {\mathcal {C}}^{\infty }(M,\mathrm {Sym}^{1,1}(TM))\).
So, take \(h \in {\text {Im}}(\gamma _g^*) \subset W^{k,2}(M,\mathrm {Sym}^{1,1}(TM))\) and assume that \({{\,\mathrm{scal}\,}}^{\mathrm{Ch}}(g_t) \in {\mathcal {C}}^{\infty }(M,{\mathbb {R}})\). By differentiating with respect to t, it follows that \(\gamma _g(h) \in {\mathcal {C}}^{\infty }(M,{\mathbb {R}})\). By hypothesis, there exists \(u \in W^{k+2,2}(M,{\mathbb {R}})\) such that \(h=\gamma _g^*(u)\). Since \(\gamma _g\gamma _g^*\) has injective symbol and \(\gamma _g\gamma _g^*(u) \in {\mathcal {C}}^{\infty }(M,{\mathbb {R}})\), it follows that \(u \in {\mathcal {C}}^{\infty }(M,{\mathbb {R}})\). Therefore \(h \in {\mathcal {C}}^{\infty }(M,\mathrm {Sym}^{1,1}(TM))\) and the claim follows. \(\square \)
Proof of Theorem B
Let us observe that, if one of the conditions stated in Theorem B is satisfied, then (M, J) does not admit any smooth first-Chern-Einstein metric (see [3, Thm 5]). Take \(g\in \mathcal {M}_{\mathrm{H}}(\lambda )\). Then, for any \(k\ge m+2\), by means of Proposition 4.2 and the Implicit Function Theorem, the preimage \(({{\,\mathrm{scal}\,}}^\mathrm{Ch})^{-1}(\lambda )\) inside \(\mathcal {M}_{\mathrm{H}}^{k+2}\) is a smooth submanifold in a neighborhood of g with tangent space at g given by \(\ker (\gamma _g) \subset W^{k+2,2}(M,\mathrm {Sym}^{1,1}(TM))\). This gives rise to a structure of smooth ILH-submanifold on the space \(\mathcal {M}_{\mathrm{H}}(\lambda ) = \{g \in \mathcal {M}_{\mathrm{H}} : {{\,\mathrm{scal}\,}}^{\mathrm{Ch}}(g)=\lambda \}\) inside \(\mathcal {M}_{\mathrm{H}}\). \(\square \)
Remark 4.3
First, we recall that, by [14, Thm 1], in any conformal class of Hermitian metrics, there is a unique Gauduchon metric with volume 1, where being Gauduchon means that the associated (1, 1)-form \(\eta \) satisfies \({{\,\mathrm{d\!}\,}}{{\,\mathrm{d\!}\,}}^{\,c}\eta ^{m-1}=0\). The Gauduchon degree of the conformal class \(\{\eta \}\) is then defined as
and it is equal to the volume of the divisor associated to any meromorphic section of the anti-canonical line bundle \(K_M^{-1}\) by means of the Gauduchon metric, see [15, Sect I.17]. We can now recall the following known facts concerning the condition for \(\mathcal {M}_{\mathrm{H}}(\lambda )\) to be non-empty.
-
If there exists a conformal class \(\{\eta \}\) on (M, J) with \(\Gamma (\{\eta \}) = 0\), then \(\mathcal {M}_{\mathrm{H}}(\lambda )\) is non-empty for \(\lambda = 0\) constant (see [2, Thm 3.1]). Moreover, if \(\eta \) is balanced (that is, \({{\,\mathrm{d\!}\,}}\eta ^{m-1}=0\)) with \({{\,\mathrm{scal}\,}}^{\mathrm{Ch}}(\eta ) = 0\), then \(\mathcal {M}_{\mathrm{H}}(\lambda )\) is non-empty if \(\lambda \in {\mathcal {C}}^{\infty }(M,{\mathbb {R}})\) changes sign and \(\int _M \lambda \, \eta ^m<0\) (see [13, Thm 2.11]).
-
If there exists a conformal class \(\{\eta \}\) on (M, J) with \(\Gamma (\{\eta \})<0\), then \(\mathcal {M}_{\mathrm{H}}(\lambda )\) is non-empty for any negative constant \(\lambda <0\) (see [2, Thm 4.1]) and for any non-identically zero \(\lambda \in {\mathcal {C}}^{\infty }(M,{\mathbb {R}})\) such that \(\lambda \le 0\) (see [13, Thm 2.5]). This happens, in particular, when the Kodaira dimension \(\mathrm{Kod}(M,J)\) is positive (see [15, Sect I.17]).
-
If \(M=N \times \Sigma \), where N is a compact complex manifold admitting a conformal class \(\{\eta \}\) with \(\Gamma (\{\eta \})>0\) and \(\Sigma \) is a compact Riemann surface with \(\chi (\Sigma )<0\), then \(\mathcal {M}_{\mathrm{H}}(\lambda )\) is non-empty for any positive constant \(\lambda >0\) (see [2, Prop 5.7]).
-
If the Chern-Yamabe conjecture [2, Conj 2.1] has an affirmative answer, then \(\mathcal {M}_{\mathrm{H}}(\lambda )\) is non-empty for \(\lambda \in I \subset {\mathbb {R}}\) constant as follows: \(I = {\mathbb {R}}\) when neither \(K_M\) nor \(K_M^{-1}\) is pseudo-effective; \(I = (0,+\infty )\) when \(K_M^{-1}\) is pseudo-effective and non-unitary flat; \(I = (-\infty ,0)\) when \(K_M\) is pseudo-effective and non-unitary flat; \(I =\{0\}\) when \(K_M\) is unitary flat (see [30, 32, Thms 1.1, 3.4]).
-
Further examples of compact manifolds admitting Hermitian metrics with positive constant Chern-scalar curvature are given by the Hopf surface [17], the homogeneous non-Kähler \(\mathrm{C}\)-spaces [29], the Hirzebruch surfaces [26], the Bérard-Bergery standard cohomogeneity one complex manifolds [4].
4.2 Linearization instability and infinitesimal isometries
We conclude by providing an example of linearization instability. To this aim, we first need the following result due to Fischer-Marsden. For the convenience of the reader, we recall the argument here below.
Lemma 4.4
([12, Lemma 7.1]) Fix \(g_{{\text {o}}} \in \mathcal {M}_{\mathrm{H}}\). If \({{\,\mathrm{scal}\,}}^{\mathrm{Ch}}\) is linearization stable at \(g_{{\text {o}}}\), then
for any \(h \in \ker (\gamma _{g_{{\text {o}}}})\), for any \(u \in \ker (\gamma _{g_{{\text {o}}}}^*)\).
Proof
Fix \(h \in \ker (\gamma _{g_{{\text {o}}}})\) and \(u \in \ker (\gamma _{g_{{\text {o}}}}^*)\). Since \({{\,\mathrm{scal}\,}}^{\mathrm{Ch}}\) is linearization stable at \(g_{{\text {o}}}\), there exists a smooth path \(g : (-\epsilon ,\epsilon ) \rightarrow \mathcal {M}_{\mathrm{H}}\) such that \(g(0)=g_{{\text {o}}}\), \({\dot{g}}(0)=h\) and \({{\,\mathrm{scal}\,}}^\mathrm{Ch}(g(t))={{\,\mathrm{scal}\,}}^{\mathrm{Ch}}(g_{{\text {o}}})\) for any \(-\epsilon<t<\epsilon \). Differentiating this last equation twice, we get
and so, since \(\gamma _{g_{{\text {o}}}}^*(u)\), we get
which concludes the proof. \(\square \)
In the Theorem C, we consider a Kähler-Einstein metric with positive scalar curvature. Notice that Kähler-Einstein metrics with negative scalar curvature do satisfy the hypothesis of Theorem A, and so they are necessarily linearization stable.
Proof of Theorem C
Let \(\lambda _{{\text {o}}}:={{\,\mathrm{scal}\,}}(g_{{\text {o}}})>0\) be the scalar curvature of \(g_{{\text {o}}}\). By (3.6), (4.3), (3.12) and by hypothesis, we have
It is known that the vector space of Killing vector fields is isomorphic to the space of smooth functions f such that \(\Delta _{g_{{\text {o}}}}f=\frac{\lambda _{{\text {o}}}}{m}f\), see e.g. [25, p 96]. Therefore, by hypothesis, \(\tfrac{\lambda _{{\text {o}}}}{m}\) is an eigenvalue of the Laplace-Beltrami operator \(\Delta _{g_{{\text {o}}}}\), so that \(\ker (\gamma _{g_{{\text {o}}}}^*) \ne \{0\}\). Assume also by contradiction that \({{\,\mathrm{scal}\,}}^{\mathrm{Ch}}\) is linearization stable at \(g_{{\text {o}}}\). Then, by means of (4.5), it follows that
where \(\mathrm {Sym}^{1,1}_0(TM)\) denotes the subbundle of elements in \(\mathrm {Sym}^{1,1}(TM)\) with zero trace. Fix \(u \in {\mathcal {C}}^{\infty }(M,{\mathbb {R}})\) such that \(\Delta _{g_{{\text {o}}}}u =\tfrac{\lambda _{{\text {o}}}}{m}u\) and \(u \not \equiv 0\). By means of the Stokes’ Theorem, it follows that
and so there exists an open ball \(B \subset M\) such that \(u(x)>0\) for any \(x \in B\). Fix \(h \in {\mathcal {C}}^{\infty }(M,\mathrm {Sym}^{1,1}_0(TM))\) and, up to shrinking B, assume that \(|h|_{g_{{\text {o}}}}^2>0\) on the whole B. Pick a smaller ball \(B' \subset B\) and a function \(\psi \in {\mathcal {C}}^{\infty }(M,{\mathbb {R}})\) with \(\mathrm{supp}(\psi ) \subset B\) and such that \(\psi (x) =1\) for any \(x \in B'\). Then, since \({{\,\mathrm{tr}\,}}^{{\mathbb {R}}}(\psi h) = 0\), by (4.6) we get
which is not possible. \(\square \)
References
Adams, R.A., Fournier, J.J.F.: Sobolev spaces, second edition. Pure and applied mathematics, vol. 140. Elsevier/Academic Press, Amsterdam (2003)
Angella, D., Calamai, S., Spotti, C.: On the Chern-Yamabe problem. Math. Res. Lett. 24(3), 645–677 (2017)
Angella, D., Calamai, S., Spotti, C.: Remarks on Chern-Einstein Hermitian metrics. Math. Z. 295(3–4), 1707–1722 (2020)
Angella, D., Pediconi, F.: On cohomogeneity one Hermitian non-Kähler metrics, preprint version: arXiv:2010.08475
Aubin, Th.: Some nonlinear problems in Riemannian geometry, Springer Monographs in mathematics. Springer-Verlag, Berlin (1998)
Bérard-Bergery, L.: La courbure scalaire des variétés riemanniennes. Bourbaki seminar, vol. 1979/80, lecture notes in math, vol. 842, pp. 225–245. Springer, Berlin-New York (1981)
Berger, M., Ebin, D.: Some decompositions of the space of symmetric tensors on a Riemannian manifold. J. Differ. Geom 3, 379–392 (1969)
Berger, M., Gauduchon, P., Mazet, E.: Le spectre d’une variété riemannienne. Lecture notes in mathematics, vol. 194. Springer-Verlag, Berlin-New York (1971)
Besse, A.L.: Einstein manifolds, Ergebnisse der Mathematik und ihrer Grenzgebiete, vol. 10. Springer-Verlag, Berlin (1987)
Bourguignon, J.-P.: Une stratification de l’espace des structures riemanniennes. Compositio Math. 30, 1–41 (1975)
Cheeger, J., Naber, A., Valtorta, D.: Daniele critical sets of elliptic equations. Comm. Pure Appl. Math. 68(2), 173–209 (2015)
Fischer, A.E., Marsden, J.E.: Deformations of the scalar curvature. Duke Math. J. 42(3), 519–547 (1975)
Fusi, E.: The prescribed Chern scalar curvature problem, arXiv:2105.10220
Gauduchon, P.: Le théorème de l’excentricité nulle, C. R. Acad. Sci. Paris Sér. A-B 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)
Gauduchon, P.: Hermitian connections and Dirac operators. Boll. Un. Mat. Ital. B 11(7), 257–288 (1997). (no. 2, suppl)
Gauduchon, P., Ivanov, S.: Einstein-Hermitian surfaces and Hermitian Einstein-Weyl structures in dimension \(4\). Math. Z. 226(2), 317–326 (1997)
Goffi, A., Pediconi, F.: A note on the strong maximum principle for fully nonlinear equations on Riemannian manifolds. J. Geom. Anal. 31(8), 8641–8665 (2021)
Hebey, E.: Nonlinear analysis on manifolds: sobolev spaces and inequalities. New York University, Courant Institute of Mathematical Sciences, American Mathematical Society, Providence, RI (1999)
Ho, P.T.: Results related to the Chern-Yamabe flow. J. Geom. Anal. 31(1), 187–220 (2021)
Kazdan, J.L., Warner, F.W.: Curvature functions for compact \(2\)-manifolds. Ann. Math. 99(2), 14–47 (1974)
Kazdan, J.L., Warner, F.W.: Scalar curvature and conformal deformation of Riemannian structure. J. Differ. Geom. 10, 113–134 (1975)
Kazdan, J.L., Warner, F.W.: Existence and conformal deformation of metrics with prescribed Gaussian and scalar curvatures. Ann. Math. 101(2), 317–331 (1975)
Kazdan, J.L., Warner, F.W.: A direct approach to the determination of Gaussian and scalar curvature functions. Invent. Math. 28, 227–230 (1975)
Kobayashi, S.: Transformation groups in differential geometry, reprint of the 1972 edition, classics in mathematics. Springer-Verlag, Berlin (1995)
Koca, C., Lejmi, M.: Hermitian metrics of constant Chern scalar curvature on ruled surfaces. Kodai Math. J. 3(3), 409–430 (2020)
Palais, R: Seminar on the Atiyah-Singer index theorem, with contributions by Atiyah, M.F., Borel, A., Floyd, E.E., Seeley, R.T., Shih, W., Solovay, R., Annals of Mathematics Studies, No. 57 Princeton University Press, Princeton, N.J. (1965)
Palais, R.: Seminar on the Atiyah-Singer index theorem. Princeton University Press, Princeton (1965)
Podestá, F.: Homogeneous Hermitian manifolds and special metrics. Transform. Groups 23(4), 1129–1147 (2018)
Teleman, A.: The pseudo-effective cone of a non-Kählerian surface and applications. Math. Ann. 335(4), 965–989 (2006)
Tosatti, V.: Non-Kähler Calabi-Yau manifolds, analysis, complex geometry, and mathematical physics: in honor of Duong H. Phong. Contemp. Math. Amer. Math. Soc. Providence, RI 644, 261–277 (2015)
Yang, X.-K.: Scalar curvature on compact complex manifolds. Trans. Amer. Math. Soc. 371, 2073–2087 (2019)
Acknowledgements
The authors are warmly grateful to Matteo Focardi and Fabio Podestà for useful discussions and to the anonymous referee for the careful reading of the manuscript.
Open Access
This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The authors are 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
Angella, D., Pediconi, F. On the linearization stability of the Chern-scalar curvature. Math. Z. 301, 1675–1693 (2022). https://doi.org/10.1007/s00209-021-02956-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00209-021-02956-8