Abstract
We extend the classical Donaldson-Fujiki interpretation of the scalar curvature as moment map in Kähler geometry to the wider framework of locally conformally Kähler geometry.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
By the foundational work of Fujiki [11] and Donaldson [8], it is known that the scalar curvature of Kähler metrics arise as a moment map for an infinite-dimensional Hamiltonian action. More precisely, given a compact symplectic manifold \((M,\omega _o)\), the space \(\mathcal {J}_{\text {alm}} (\omega _{o})\) of compatible almost complex structures can be endowed with a natural structure of infinite-dimensional Kähler manifold \((\mathbb {J},\mathbb {\Omega })\) that is invariant under the action of the automorphism group \(\textrm{Aut}(M,\omega _o)\) by pullback. Here, an almost complex structure J is said to be compatible if \(\omega _o(\_,J\_)\) is a J-almost Hermitian (and hence almost Kähler) metric. This action preserves the analytic subset \(\mathcal {J}(\omega _o) \subset \mathcal {J}_\textrm{alm}(\omega _o)\) of integrable almost complex structures and the map \(\textrm{scal}: \mathcal {J}_\textrm{alm}(\omega _o) \rightarrow \mathcal {C}^{\infty }(M,\mathbb {R})\), that assigns to any \(J \in \mathcal {J}_\textrm{alm}(\omega _o)\) the scalar curvature of the metric \(\omega _o(\_,J\_)\), is smooth, \(\textrm{Aut}(M,\omega _o)\)-equivariant and it verifies
Here, \(\mathfrak {ham}(M,\omega _o)\) denotes the Lie subalgebra of Hamiltonian vector fields, i.e., those infinitesimal automorphisms \(X \in \mathfrak {aut}(M,\omega _o)\) such that \(X \lrcorner \omega _o = \textrm{d}h_X\) for some \(h_X \in \mathcal {C}^{\infty }(M,\mathbb {R})\), uniquely determined up to a constant, and \(X^*\) denotes the fundamental vector field associated to X. For this reason, we say that \(\textrm{scal}\) is a moment map for the action of \( \textrm{Ham}(M,\omega _o)\) on \(\mathcal {J}(\omega _o)\), where \(\textrm{Ham}(M,\omega _o)\) denotes the Hamiltonian diffeomorphism group.
This fact has deep consequences in Kähler Geometry. In particular, the constant scalar curvature Kähler metrics arise as zeroes of a moment map equation. More precisely, the problem of finding constant scalar curvature Kähler metrics in a fixed Kähler class is reduced to finding a zero for the moment map in the orbit of the complex structure under the complexified action. Inspired by the Hilbert-Mumford criterion in geometric invariant theory in finite-dimension, this leads to the notion of K-stability; see, e.g., [32].
This paper is an attempt to generalize this moment map framework to the non-Kähler setting. More precisely, we deal with a compact almost symplectic manifold \((M,\omega )\) with \(\textrm{d}\omega \ne 0\), admitting compatible complex structures. We notice here that, in the literature, there appeared other works concerning this problem (see, e.g., [3, 12]) which are distinct from our approach. For other appearance of moment maps for group actions on locally conformally symplectic or Vaisman manifolds, see [17, 20, 31]. However, we stress that the group action that we consider lives in an infinite-dimensional Kähler setting. Recently, García-Prada and Salamon [13] described a setting where the moment map is given by the Ricci form and studied moment map interpretations of the Kähler-Einstein condition. As the anonymous referee suggested, it would be interesting to try to extend this construction to our locally conformally Kähler setting.
One of the first natural non-Kähler cases of study [19] is given by the so-called locally conformally symplectic condition, i.e., we ask that d \(\omega = \theta \wedge \omega \) for a given closed 1-form \(\theta \). Notice that, by introducing the twisted exterior differential operator d\(_{\theta }\, {:=}\, *\) d - \(\theta \wedge \), the previous condition can be written as \(\textrm{d}_{\theta }\omega = 0\). This nomenclature is due to the following characterization: \(\omega \) is locally conformally symplectic if and only if, for any point \(x \in M\), \(\omega \) is locally conformal to a symplectic form in a neighborhood of x. This shows clearly that the locally conformally symplectic condition is actually a property for the whole conformal class \([\omega ]\) of \(\omega \). Moreover, there is a further relation with the symplectic framework: indeed, \((M,\omega )\) admits a unique minimal covering map \(\pi : \widehat{M} \rightarrow M\) such that \(\pi ^*\omega \) is globally conformal to a symplectic form \(\widehat{\omega }_o\) on \(\widehat{M}\) and the deck transformation group acts by homotheties on \((\widehat{M},\widehat{\omega }_o)\) (see, e.g., [18, Section 2] and [6, Section 2.1]). Moreover, a vector field \(X \in \mathfrak {X}(M)\) lifts through \(\pi \) to an infinitesimal automorphism \(\pi ^*X \in \mathfrak {aut}(\widehat{M},\widehat{\omega }_o)\) if and only if \(\textrm{d}_{\theta }(X \lrcorner \omega )=0\) [6, Proposition 3.3] and \(\pi ^*X \in \mathfrak {ham}(\widehat{M},\widehat{\omega }_o)\) if and only if \(X \lrcorner \omega \) is \(\textrm{d}_{\theta }\)-exact [6, Corollary 3.10]. Therefore, it is natural to look at the action of the generalized Lie transformation group \(\textrm{Aut}^{\star }(M,[\omega ])\) generated by the Lie algebra of special conformal vector fields of \((M,\omega )\)
(see Sects. 2.1 and 2.2) on the space \(\mathcal {J}_\textrm{alm}(\omega )\) of compatible almost complex structures on \((M,\omega )\). As in the Kähler setting, one may expect the existence of a moment map, related to the scalar curvature and the 1-form \(\theta \), when one restricts \(\mathfrak {aut}^{\star }(M,[\omega ])\) to the Lie subalgebra of twisted-Hamiltonian vector fields
and \(\mathcal {J}_\textrm{alm}(\omega )\) to the analytic subset \(\mathcal {J}(\omega )\) of integrable almost complex structures. However, two main difficulties occur in this picture. The first one is that the group \(\textrm{Aut}^{\star }(M,[\omega ])\) preserves just the conformal class \([\omega ]\), and so the map \(\textrm{scal}: \mathcal {J}_\textrm{alm}(\omega ) \rightarrow \mathcal {C}^{\infty }(M,\mathbb {R})\) that associates with any \(J \in \mathcal {J}_\textrm{alm}(\omega )\) the Riemannian scalar curvature of \(\omega (\_,J\_)\) turns out to be non-\(\textrm{Aut}^{\star }(M,[\omega ])\)-equivariant. The second one is that, during the linearization procedure of the map scal, the term \(D(\theta ^{\sharp })\) appears, where D denotes the Levi-Civita connection and \(\_^{\sharp }\) the metric duality, and it seems to us that it cannot be handled via an absorption scheme by adding extra terms depending on \(\theta \) itself.
In order to overcome these issues, we impose a further symmetry. More precisely, we consider the symplectic dual of \(\theta \), i.e., the unique vector field \(V \in \mathfrak {X}(M)\) such that \(V \lrcorner \omega = \theta \), and we assume that there exists a compact, connected Lie group \(\textsf {K}\) acting effectively on M such that its action preserves \(\omega \), is of Lee type, i.e., the flow of V is a 1-parameter subgroup contained in the center of \(\textsf {K}\), and is twisted-Hamiltonian, i.e., the Lie algebra \(\mathfrak {k} \, {:=}\, \textrm{Lie}(\textsf {K})\) is contained in \(\mathfrak {ham}(M,[\omega ])\) (see Sect. 2.3). Then, it turns out that the group \(\textrm{Aut}^{\star }(M,[\omega ])^{\textsf {K}} \, {:=}\, \textrm{Aut}^{\star }(M,[\omega ]) \cap \textrm{Diff}(M)^{\textsf {K}}\) preserves the 2-form \(\omega \) (see (4.5)) and that, for any \(J \in \mathcal {J}(\omega )^{\textsf {K}} \, {:=}\, \mathcal {J}(\omega ) \cap \mathcal {J}_\textrm{alm}(\omega )^{\textsf {K}}\), the endomorphism \(D(\theta ^{\sharp })\) is orthogonal to the tangent space \(T_J\mathcal {J}_\textrm{alm}(\omega )^{\textsf {K}}\) (see (3.18), (3.19) and (3.24)). Here, we denoted by \(\textrm{Diff}(M)^{\textsf {K}}\) the subgroup of diffeomorphisms that commute with \(\textsf {K}\) and by \(\mathcal {J}_\textrm{alm}(\omega )^{\textsf {K}}\) the subspaces of \(\textsf {K}\)-invariant, compatible almost complex structures on \((M,\omega )\). Therefore, if we denote by \(\textrm{Ham}(M,[\omega ])\) the generalized Lie transformation group generated by \({\mathfrak {ham}}(M, [\omega ] )\) (see Sects. 2.1 and 2.2), set \(\textrm{Ham} (M,[\omega ])^{\textsf {K}} \, {:=}\, \mathrm{{Ham}}(M,[\omega ]) \cap \textrm{Diff}(M)^{\textsf {K}}\), and let \(\mathcal {C}^{\infty }(M;\mathbb {R})^{\textsf {K}}\) be the space of \(\textsf {K}\)-invariant smooth functions; the previous arguments allow us to prove the main result of this paper, that is
Theorem 1
(see Propositions 4.1, 4.2, and Theorem 4.3) Let \((M^{2n},\omega )\) be a compact, connected, 2n-dimensional, smooth manifold endowed with a locally conformally symplectic structure with non-exact Lee form \(\theta \). Assume that there exists a compact, connected Lie group \(\textsf {K}\) acting effectively on M such that its action preserves \(\omega \) (k1), is of Lee type (k2) and is twisted-Hamiltonian (k3). Then, the map
is a moment map for the action of \(\textrm{Ham}(M,[\omega ])^{\textsf {K}}\) on \(\mathcal {J}(\omega )^{\textsf {K}}\).
Here, we denoted by \(\textrm{scal}^\textrm{Ch}\) the map that assigns to any \(J \in \mathcal {J}(\omega )^{\textsf {K}}\) the Chern-scalar curvature of the locally conformally Kähler metric \(\omega (\_,J\_)\) (see Appendix A.1). As expected, the moment map framework developed in Theorem 1 leads to the existence of a Futaki-type invariant. More precisely, if we denote by \(\kappa : \mathfrak {ham}(M,[\omega ])^{\textsf {K}} \rightarrow \mathcal {C}^{\infty }(M,\mathbb {R})^{\textsf {K}}\) the linear isomorphism that verifies \(X \lrcorner \omega = \textrm{d}_\theta (\kappa (X))\) for any \(X \in \mathfrak {ham}(M,[\omega ])^{\textsf {K}}\) (see (2.9) and Proposition 4.1), and by \(\mathfrak {z}(\mathfrak {k})\) the center of the Lie algebra \(\mathfrak k\), then the following corollary holds true.
Corollary 2
(see Corollary 4.4) Under the same hypotheses of Theorem 1, the value
and the map
are independent of J, in the connected components of \({\mathcal J}(\omega )^{\textsf {K}}\).
We expect that our results could possibly lead to new notions of canonical metrics and stability conditions in the context of locally conformally Kähler Geometry, playing an analogue role to the constant scalar curvature Kähler metrics and K-stability in Kähler Geometry. Note that the equation \(\mu (J) = \underline{\mu }\) arising from Theorem 1 and 2 does not reduce to the constant scalar curvature Kähler equation on the minimal symplectic covering \(\widehat{M}\) (see Remark 4.5). However, in the special case when J is Vaisman, i.e., \(D(\theta ^{\sharp })=0\) at J, then \(\textrm{d}^*\theta =0\) at J, and so we recover the constant (Chern) scalar curvature equation on M.
The paper is organized as follows. In Sect. 1, we summarize some basic facts on locally conformally symplectic and locally conformally Kähler geometry. In Sect. 2, we recall some notions about generalized Lie transformation groups and torus actions. In Sect. 3, we study the properties of the space \(\mathcal {J}_\textrm{alm}(\omega )^{\textsf {K}}\), and we compute some linearization formulas that play a role in the proof of Theorem 1. In Sect. 4, we prove our main results. Finally, in Appendix, we collect some facts and detailed computations concerning the Chern connection and the Weyl connection of a locally conformally Kähler manifold.
2 Preliminaries and Notation
Let \(M^{2n}\) be a compact, connected, orientable, smooth manifold of real dimension 2n. For any vector bundle \(E \rightarrow M\) over M, we denote by \(\mathcal {C}^{\infty }(M;E)\) the space of smooth sections of E. For the sake of notation, we set \(\mathfrak {X}(M) \, {:=}\, \mathcal {C}^{\infty }(M;TM)\) and, for any \(X \in \mathfrak {X}(M)\), \(\Theta ^X_t: M \rightarrow M\) will be the flow of X, \(t \in \mathbb {R}\).
2.1 Locally Conformally Symplectic Manifolds
We fix an almost symplectic structure on M, i.e., a smooth 2-form \(\omega \) such that \(\omega _x\) is non degenerate for any \(x \in M\), that corresponds to an \(\textrm{Sp}(2n,\mathbb {R})\)-reduction of the frame bundle of M. We say that \(\omega \) is locally conformally symplectic if, for any point \(x \in M\), there exist a neighborhood \(U \subset M\) of x and a smooth function \(f: U_x \rightarrow \mathbb {R}\) such that \(e^{-f}\omega |_{U}\) is closed. By the Poincaré Lemma, the local conformal changes are organized in a 1-form \(\theta \), called the Lee form of \((M,\omega )\), that verifies the condition
By introducing the twisted exterior differential operator
from (1.1) it follows that \(\textrm{d}_\theta \omega =0\). Moreover, as \(\theta \) is closed, it is immediate to check that \(\textrm{d}_\theta \circ \textrm{d}_\theta = 0\) and so \(\textrm{d}_\theta \) defines a cohomology \(H^*_{\textrm{d}_\theta }(M,\mathbb {R})\) called Morse-Novikov cohomology. For later use, we prove the following:
Lemma 1.1
For any vector fields \(X,Y \in \mathfrak {X}(M)\), the following equalities hold true:
where \(\lrcorner \) denotes the interior product \(X \lrcorner \omega \, {:=}\, \omega (X,\_)\).
Proof
Equation (1.3) is a direct application of the Cartan formula and the locally conformally symplectic condition \(\textrm{d}_{\theta }\omega =0\). Moreover, by [22, Proposition I.3.10(b)] and (1.3), we get
which concludes the proof. \(\square \)
Symplectic structures are recovered for \(\theta =0\). More generally, if \(\theta \) is exact, then \(\omega \) admits a global conformal change to a symplectic structure: in this case, we say that \(\omega \) is globally conformally symplectic. In this paper, we will focus on stricly locally conformally symplectic structures, namely, the case when \(\theta \) is non-exact. We refer to, e.g., [5, 6, 9, 30] and the references therein for an up-to-date account on locally conformally symplectic geometry. In the stricly locally conformally symplectic case, by [35, Proposition 2.1], we have the following:
Lemma 1.2
If \(\theta \) is non-exact, then \(H^0_{\textrm{d}_\theta }(M,\mathbb {R}) = \{0\}\).
We recall (see, e.g., [18, Section 2] and [6, Section 2.1]) that the locally conformally symplectic manifold \((M,\omega )\) admits a unique, up to equivalence, minimal symplectic covering, that is the data of the following:
-
A covering \(\pi : \widehat{M} \rightarrow M\) with deck transformation group \(\Gamma \).
-
An injective group homomorphism \(\rho : \Gamma \rightarrow (\mathbb {R},+)\) and a smooth function \(f: \widehat{M} \rightarrow \mathbb {R}\) verifying
$$\begin{aligned} f \circ \gamma - f = \rho (\gamma ) \quad \text { for any } \gamma \in \Gamma \,\, ; \end{aligned}$$ -
a symplectic form \(\widehat{\omega }_o\) on \(\widehat{M}\) such that \(\pi ^*\omega = e^f\,\widehat{\omega }_o\).
In the following, we will denote the minimal symplectic covering of \((M,\omega )\) simply by \((\widehat{M},\widehat{\omega }_o)\).
We recall that an almost complex structure on M is a section \(J \in \mathcal {C}^{\infty }(M;\textrm{End}(TM))\) such that \(J^2 = -\textrm{Id}\). Notice that J acts on \(T^*M\) by \(J\varphi \, {:=}\, \varphi \circ J^{-1}\), and therefore, it extends to the whole tensor bundle over M. By the Newlander-Nirenberg Theorem, it is known that J is integrable, i.e., \(M^{2n}\) admits a complex manifold structure that induces J, if and only if the Nijenhuis tensor of J vanishes, i.e.,
For the sake of notation, any integrable almost complex structure will just be called complex structure. An (almost) complex structure J on \((M,\omega )\) is said to be compatible with \(\omega \) if
Any such (almost) complex structure induces a Riemannian metric \(g_J \, {:=}\, \omega (\_,J\_)\) which is said to be locally conformally (almost) Kähler. Indeed, the pulled back metric \(\pi ^*g_J\) to the minimal symplectic covering of \((M,\omega )\) is globally conformal to the (almost) Kähler metric \(\widehat{\omega }_o(\_,\pi ^*J\_)\). We also remark that the Riemannian volume form on M induced by \(g_J\) coincides with the top exterior power \(\omega ^n\).
2.2 Locally Conformally Kähler Metrics
Let us fix a compatible complex structure J on \((M,\omega )\) and denote by \(g \, {:=}\, g_J\) the corresponding locally conformally Kähler metric. In the following, we will denote by \(\_^{\sharp }\) and \(\_^{\flat }\) the musical isomorphisms induced by g, e.g.,
Moreover, given two vector bundles of tensors \(E, F \rightarrow M\) and a linear differential operator \(P: \mathcal {C}^{\infty }(M;E) \rightarrow \mathcal {C}^{\infty }(M;F)\), we denote by \(P^*: \mathcal {C}^{\infty }(M;F) \rightarrow \mathcal {C}^{\infty }(M;E)\) its adjoint with respect to the \(L^2\)-pairing \(\langle \_, \_ \rangle _{L^2(M,g)}\) induced by g. We denote by D the Levi-Civita connection of (M, g) and by
the Riemannian curvature tensor, the Riemannian Ricci tensor, and the Riemannian scalar curvature of (M, g), respectively. Furthermore, we denote by \(\delta \) the Riemannian divergence acting on symmetric endomorphism fields of (M, g), that can be locally written as [7, Section 1.59]
where \((\tilde{e}_{\alpha })_{\alpha \in \{1,\ldots ,2n\}}\) is any local g-orthonormal frame on M.
The Levi-Civita connections of the local Kähler metrics induced by g glue together to a globally defined connection \(\nabla \), called the Weyl connection of (M, J, g) [33, 34]. By [34, Equation (2.4)], it has the following expression:
By the very definition and direct computations, it satisfies [34, Theorem 2.2]
where \(T^\nabla (X,Y) \, {:=}\, \nabla _XY- \nabla _YX - [X,Y]\) denotes the torsion tensor of \(\nabla \). For later use, we prove the following:
Lemma 1.3
Let \(X \in \mathfrak {X}(M)\) be a vector field and \(\zeta \in \mathcal {C}^{\infty }(M,T^*M)\) a 1-form. Then,
where \(\textrm{d}_\theta \) is the twisted differential operator defined in (1.2).
Proof
and so (1.9) follows. Fix now a local g-orthonormal frame \((\tilde{e}_{\alpha })_{\alpha \in \{1,\ldots ,2n\}}\) on M. By [7, Lemma 1.60] (see also [7, Errata at page 514]), we get
and so, by (1.2) and (1.7), we get
which concludes the proof of (1.10). \(\square \)
We also denote by \(\nabla ^\textrm{Ch}\) and \(\textrm{scal}^\textrm{Ch}\) the Chern connection and the Chern-scalar curvature of (M, J, g), respectively. For the convenience of the reader, we collected in Appendix some properties of both the connections \(\nabla \) and \(\nabla ^\textrm{Ch}\) that will play a role afterwards.
Finally, we recall that a (real) smooth vector field \(X \in \mathfrak {X}(M)\) is said to be J-holomorphic if \(\mathcal {L}_XJ=0\). Notice that, as J is integrable, by (1.8), we directly get
Lemma 1.4
For any \(X \in \mathfrak {X}(M)\), we have
In particular, the following three conditions are equivalent:
-
X is J-holomorphic,
-
JX is J-holomorphic,
-
\([J,\nabla X] = 0\).
3 Twisted Hamiltonian Diffeomorphisms and Torus Actions
Let \((M^{2n},\omega )\) be a compact, connected, smooth, locally conformally symplectic manifold of real dimension 2n with non-exact Lee form \(\theta \). We denote by \((\widehat{M},\widehat{\omega }_o)\) its minimal symplectic cover and by \(\Gamma \) the deck transformation group of the projection \(\pi : \widehat{M} \rightarrow M\). For the sake of notation, we denote by \(\mathfrak {X}(\widehat{M})^{\Gamma }\) the closed subspace of \(\Gamma \)-invariant, smooth vector fields on the total space \(\widehat{M}\) and by
the Lie algebra of \(\Gamma \)-invariant infinitesimal automorphisms of \((\widehat{M},\widehat{\omega }_o)\) and the Lie algebra of \(\Gamma \)-invariant Hamiltonian vector fields of \((\widehat{M},\widehat{\omega }_o)\), respectively.
3.1 A Remark on Infinite Dimensional Transformation Groups
We denote by \(\textrm{Diff}(M)\) the smooth diffeomorphism group of M endowed with the compact-open \(\mathcal {C}^{\infty }\)-topology [21, Section 2.1], and we recall that it has a natural structure of infinite dimensional strong ILH-Lie group in the sense of Omori [28, Definition III.3.1], with Lie algebra isomorphic to \(\mathfrak {X}(M)\) [27, Theorem 2.1.5]. Accordingly, we denote by
its exponential map and by
its adjoint representation. Here and in the following, we will not go into details of the theory of infinite-dimensional Lie groups. As a good reference, we recommend [27, 28].
We also recall that an isotopy to the identity is a smooth map
and that \(\varphi \in \textrm{Diff}(M)\) is said to be isotopic to the identity if there exists an isotopy to the identity \((\phi _t)_{t \in [0,1]}\) such that \(\phi _1 = \varphi \). Since \(\textrm{Diff}(M)\) is locally connected by smooth arcs, it follows that its identity component \(\textrm{Diff}(M)_0\) coincides with the subset of diffeomorphisms of M that are isotopic to the identity (see, e.g., [4, Section I.1]). We also recall that there exists a bijective correspondence between the set of all the isotopies to the identity and the set of time-dependent vector fields on M, i.e., the smooth maps \(Z: [0,1] \times M \rightarrow TM\) such that \(Z_t|_x \, {:=}\, Z(t,x) \in T_xM\) for any \(t \in [0,1]\), \(x \in M\) (see, e.g., [24, Theorem 9.48, Exercise 9-20, Exercise 9-21]). This relation is explicitly given by the following system of ODE’s:
Let now \(\mathfrak {g} \subset \mathfrak {X}(M)\) be a closed Lie subalgebra of vector fields on M. In general, it is not possible to find a strong ILH-Lie subgroup in the sense of Omori whose Lie algebra is \(\mathfrak {g}\) (see [28, Section III.5]). However, this problem of integrability can be overcome by considering the weaker notion of generalized Lie group in the sense of Omori [28, Definition I.3.1, Definition I.3.2] in the following way. First of all, we call \(\mathfrak {g}\)-isotopy to the identity any isotopy to the identity \((\phi _t)_{t \in [0,1]}\) such that the corresponding time-dependent vector field \((Z_t)_{t \in [0,1]}\) verifies \(Z_t \in \mathfrak {g}\) for any \(t \in [0,1]\). Then, the following result holds true.
Proposition 2.1
Let \(\mathfrak {g} \subset \mathfrak {X}(M)\) be a closed Lie subalgebra of vector fields on M and assume that
Then, the subset
is a generalized Lie group in the sense of Omori, with Lie algebra \(\mathfrak {g}\), whose exponential map and adjoint representation are given by the restrictions of (2.2) and (2.3), respectively.
Proof
Let \(\varphi ^{(1)}, \varphi ^{(2)} \in G\), take two \(\mathfrak {g}\)-isotopy to the identity \((\phi ^{(i)}_t)_{t \in [0,1]}\) such that \(\phi ^{(i)}_1 = \varphi ^{(i)}\) and denote by \((Z^{(i)})_{t \in [0,1]}\) the corresponding time-dependent vector field, with \(i =1,2\). Then, it is immediate to observe that \((\phi _t)_{t \in [0,1]}\), with \(\phi _t \, {:=}\, \phi ^{(1)}_t \circ \phi ^{(2)}_t\) for any \(t \in [0,1]\), is an isotopy to the identity and that the corresponding time-dependent vector field \((Z_t)_{t \in [0,1]}\) is given by
By (\(\triangle \)) and (2.6), it follows that \((\phi _t)_{t \in [0,1]}\) is a \(\mathfrak {g}\)-isotopy to the identity and so, since \(\phi _1 = \varphi ^{(1)} \circ \varphi ^{(2)}\), it follows that G is a subgroup of \(\textrm{Diff}(M)_0\). It is straightforward now to check that G verifies all the properties listed in [28, Definition I.3.1, Definition I.3.2]. \(\square \)
According to Proposition 2.1, we refer to the group G defined in (2.5) as the generalized Lie transformation group generated by \(\mathfrak {g}\).
3.2 The Twisted-Hamiltonian Diffeomorphism Group
Following [6, 25], we consider the set of special conformal vector fields of \((M,\omega )\)
and the subset of twisted-Hamiltonian vector fields of \((M,\omega )\)
By (1.4), it is easy to observe that both (2.7) and (2.8) are closed Lie subalgebras of \(\mathfrak {X}(M)\) and that
Since \(\omega \) is non degenerate, from Lemma 1.2 it follows that there exists a unique linear isomorphism
Moreover, by (1.4), the isomorphism \(\kappa \) verifies
It is remarkable to notice that, by [6], the Lie algebras (2.7) and (2.8) are related to the Lie algebras defined in (2.1) by the following
Proposition 2.2
([6, Proposition 3.3, Corollary 3.10]) The covering map \(\pi : \widehat{M} \rightarrow M\) induces the following two Lie algebra isomorphisms:
where \(\Gamma \) is the deck transformation group of \(\pi \).
As a direct corollary of Proposition 2.2, by using a lifting argument, one can prove the following
Corollary 2.3
Both the Lie algebras \(\mathfrak {aut}^{\star }(M,[\omega ])\) and \(\mathfrak {ham}(M,[\omega ])\) verify the property (\(\triangle \)).
According to Proposition 2.1 and Corollary 2.3, we denote by \(\textrm{Aut}^{\star }(M,[\omega ])\) and \(\textrm{Ham}(M,[\omega ])\) the generalized Lie transformation groups generated by \(\mathfrak {aut}^{\star }(M,[\omega ])\) and \(\mathfrak {ham}(M,[\omega ])\), respectively. We call them special conformal automorphism group and twisted-Hamiltonian diffeomorphism group of \((M,\omega )\), respectively.
3.3 A Note on Twisted-Hamiltonian Group Actions
We denote by \(V \in \mathfrak {X}(M)\) the symplectic dual of \(\theta \), i.e., the unique vector field on M defined by the condition \(V \lrcorner \omega = \theta \). Notice that from (1.2) and the very definition, we get
and therefore, by (1.3), it follows that
Let now \(\textsf {K}\) be a compact, connected Lie group that acts effectively on M and \(\mathfrak {k} \, {:=}\, \textrm{Lie}(\textsf {K}) \subset \mathfrak {X}(M)\) its Lie algebra. By compactness, \(\textsf {K}\) can be written as the product \(\textsf {K} = \textsf {Z}(\textsf {K}) \cdot [\textsf {K},\textsf {K}]\), where \(\textsf {Z}(\textsf {K})\) and \([\textsf {K},\textsf {K}]\) denote the center and the commutator of \(\textsf {K}\), respectively. At the Lie algebra level, this decomposition corresponds to \(\mathfrak {k} = \mathfrak {z}(\mathfrak {k}) \oplus [\mathfrak {k},\mathfrak {k}]\). We make the following assumptions on the group \(\textsf {K}\):
- (k1):
-
The \(\textsf {K}\)-action preserves \(\omega \).
- (k2):
-
The \(\textsf {K}\)-action is of Lee type, i.e., \(V \in \mathfrak {z}(\mathfrak {k})\).
- (k3):
-
The \(\textsf {K}\)-action is twisted-Hamiltonian, i.e., \(\textsf {K} \subset \textrm{Ham}(M,[\omega ])\).
Let us notice that condition (k1) is not too restrictive, in view of the following:
Lemma 2.4
Let \(\textsf {K}\) be a compact, connected Lie group acting effectively on M. If M admits a locally conformally symplectic form, then it also admits a \(\textsf {K}\)-invariant locally conformally symplectic form.
Proof
Fix \(\textsf {K}\) a locally conformally symplectic form on M with Lee form \(\theta \). Since the cohomology of M is \(\textsf {K}\)-invariant (see, e.g., [10, Proposition 1.28]), we can perform a conformal change in order to make \(\theta \) \(\textsf {K}\)-invariant. Then, the statement follows by standard averaging methods. \(\square \)
Notice that, by condition (k2), the group \(\textsf {K}\) cannot be semisimple. For example, the standard actions of \(\textsf {SU}(2)\) on the Hirzebruch surfaces are not of Lee-type. A less trivial example of a non-Lee-type action is given by the homogenous action of \(\textsf {U}(2)\) on the linear Hopf manifold. Indeed, one can directly check that the vector V turns out to be tangent to the semisimple part of \(\textsf {U}(2)\); see [2, Prop. 3.17].
Remark 2.5
Let \(\textsf {L}\) be the flow of V, i.e., the 1-parameter subgroup of \(\textrm{Diff}(M)\) defined as
We notice that \(\textsf {L} \subset \textrm{Ham}(M,[\omega ])\) thanks to (2.10). Consider now its closure \(\overline{\textsf {L}}\) in \(\textrm{Diff}(M)\) with respect to the compact-open topology. Notice that, if there exists an almost complex structure J compatible with \(\omega \) such that
then, by (2.11), V is a Killing vector field for the Riemannian metric \(g_{J} = \omega (\_,J\_)\). Therefore, by the Myers-Steenrod Theorem, it follows that \(\overline{\textsf {L}} = \textsf {T}\) is a torus, whose action on M clearly satisfies conditions (k1) and (k2). We stress that, if \((M,\omega )\) admits a compatible complex structure \(\hat{J}\) whose associated Riemannian metric is Vaisman, then condition (2.13) is automatically satisfied, and thus, it admits a torus action of Lee type. On the other hand, in [26], the authors construct examples of compact locally conformally Kähler manifolds satisfying (2.13) which are not Vaisman.
Concerning Remark 2.5, it is worth mentioning that, in general, even when \(\textsf {T}=\overline{\textsf {L}}\) is compact, it is not obvious that condition (k3) is satisfied, i.e., that \(\textsf {T}\) is contained in \(\textrm{Ham}(M,[\omega ])\). Indeed, by means of Proposition 2.2, it follows that the special conformal automorphism group \(\textrm{Aut}^{\star }(M,[\omega ])\) is closed in \(\textrm{Diff}(M)\) and so, since \(\textrm{d}_{\theta }(V \lrcorner \omega ) = 0\), we get \(\mathfrak {t} \, {:=}\, \textrm{Lie}(\textsf {T}) \subset \mathfrak {aut}^{\star }(M,[\omega ])\). On the other hand, it is not known, to the best of our knowledge, whether the twisted-Hamiltonian diffeomorphism group \(\textrm{Ham}(M,[\omega ])\) is closed or not, and therefore, we do not know whether the inclusion \(\mathfrak {t} \subset \mathfrak {ham}(M,[\omega ])\) holds in general or not. We remark that the corresponding problem in the classical setting has been solved in [29], where the author proved, as a corollary of his main theorem, that the Hamiltonian diffeomorphism group of a compact, connected symplectic manifold is closed in the diffeomorphism group with the \(\mathcal C^\infty \)-topology.
4 K-Invariant, Compatible Complex Structures
Let \((M^{2n},\omega )\) be a compact, connected, smooth, locally conformally symplectic manifold of real dimension 2n with non-exact Lee form \(\theta \). Assume that \(\textsf {K}\) is a compact, connected Lie group that acts effectively on M and verifies (k1), (k2), and (k3) as in Sect. 2.3. In the following, for any vector bundle of tensors \(E \rightarrow M\) over M, we denote by \(\mathcal {C}^{\infty }(M;E)^{\textsf {K}}\) the closed subspace of smooth sections of E that are \(\textsf {K}\)-invariant.
4.1 The Space of K-Invariant, Compatible Almost Complex Structures
Let us define
Following [11, Remark 4.3], the space \(\mathcal {J}_\textrm{alm}(\omega )^{\textsf {K}}\) has a natural structure of smooth ILH manifold in the sense of Omori [28, Definition I.1.9], since it can be regarded as the space of \(\textsf {K}\)-invariant smooth sections of a fiber bundle with typical fiber the Siegel upper half-space; see also [23, Theorem A]. Note indeed that, in the classical picture for almost Kähler structures, one does only need \(\omega \) to be non-degenerate.
Remark 3.1
By Remark 2.5, it follows that if the closure \(\overline{\textsf {L}}\) of the 1-parameter group generated by V is non-compact, then the space of \(\textsf {\textsf {L}}\)-invariant almost complex structure on M compatible with \(\omega \) is empty.
We recall now the characterization of the tangent space of \(\mathcal {J}_\textrm{alm}(\omega )^{\textsf {K}}\). In the following, we denote by \(\mathfrak {sp}(TM,\omega ) \subset \textrm{End}(TM)\) the subbundle defined fiber-wise by
Lemma 3.2
The tangent space of \(\mathcal {J}_\textrm{alm}(\omega )^{\textsf {K}}\) at J is given by
Proof
Let \((J_t)_t \subset \mathcal {J}_\textrm{alm}(\omega )^{\textsf {K}}\) be a curve starting at \(J = J_0\) with initial tangent vector \(u = J_0' \in T_J\mathcal {J}_\textrm{alm}(\omega )^{\textsf {K}}\). In particular, \(J_t\) satisfies \(J_t^2=-\textrm{Id}\) and \(\omega (J_t\_,J_t\_) = \omega \), and so
which proves the first inclusion
Notice now that any \(u \in \mathcal {C}^{\infty }(M; \mathfrak {sp}(TM,\omega ))\) satisfying \(Ju+uJ=0\) can be written as
with
which proves the second inclusion
Finally, for any \(a \in \mathcal {C}^{\infty }(M;\mathfrak {sp}(TM,\omega ))^{\textsf {K}}\), we define \(J_t \, {:=}\, \exp (-ta) J \exp (ta)\), and we observe that \(J_t \in \mathcal {J}_\textrm{alm}(\omega )^{\textsf {K}}\) for any \(t \in \mathbb {R}\), \(J_0 = J\) and \(J_0' = [J,a] = \hat{a}_J\), which proves the remaining inclusion. \(\square \)
As a consequence of (3.2), any \(\textsf {K}\)-invariant tensor field \(a \in \mathcal {C}^{\infty }(M;\mathfrak {sp}(TM,\omega ))^{\textsf {K}}\) determines a vector field on \(\mathcal {J}_\textrm{alm}(\omega )^{\textsf {K}}\) by
Any vector field of the form (3.3) will be called basic. As in [16, Equation 9.2.7], we prove the following:
Lemma 3.3
The Lie bracket of two basic vector fields \(\hat{a}, \hat{b}\) on \(\mathcal {J}_\textrm{alm}(\omega )^{\textsf {K}}\) is basic and given by
Proof
Take \(a, b \in \mathcal {C}^{\infty }(M;\mathfrak {sp}(TM,\omega ))^{\textsf {K}}\) and notice that the flow of the basic vector field \(\hat{a}\) is
Therefore, for any \(J \in \mathcal {J}_\textrm{alm}(\omega )^{\textsf {K}}\), we get
which proves (3.4). \(\square \)
Following [11, page 179] (see also [16, page 227]), we define the tautological complex structure \(\mathbb {J}\) and the tautological symplectic structure \(\mathbb {\Omega }\) by setting
Here, \(\langle \_, \_ \rangle _{L^2(M,g_J)}\) denotes the standard \(L^2\)-pairing induced by \(g_J\). We refer to the triple \((\mathbb {J}, \mathbb {G}, \mathbb {\Omega })\) as the tautological Kähler structure of \(\mathcal {J}_\textrm{alm}(\omega )^{\textsf {K}}\). This nomenclature is due to the following result (compare with [11, Theorem 4.2]).
Proposition 3.4
The tautological Kähler structure \((\mathbb {J}, \mathbb {G}, \mathbb {\Omega })\) defined in (3.5) is a Kähler structure on the ILH manifold \(\mathcal {J}_\textrm{alm}(\omega )^{\textsf {K}}\) with respect to which the basic vector fields (3.3) are holomorphic Killing.
Proof
By the very definitions, it is straightforward to realize that \((\mathbb {J}_J,\mathbb {G}_J)\) is a linear Hermitian structure on \(T_J\mathcal {J}_\textrm{alm}(\omega )^{\textsf {K}}\) for any \(J \in \mathcal {J}_\textrm{alm}(\omega )^{\textsf {K}}\). Since the flow \(\Theta ^{\mathbb {J}\hat{a}}\) of the vector field \(\mathbb {J}\hat{a}\) is given by
a direct computation shows that for any \(J \in \mathcal {J}_\textrm{alm}(\omega )^{\textsf {K}}\)
and so, by (3.2), it follows that
An analogous computation shows that \(\mathcal {L}_{\mathbb {J}\hat{a}}\mathbb {J} = 0\) and so
By [23, Proposition 1.4], the integrability of \(\mathbb {J}\) is equivalent to the vanishing of the Nijenhuis tensor \(N_{\mathbb {J}}\), and so, by (3.2) and (3.7), it follows that \(\mathbb {J}\) is integrable.
A straightforward computation shows that for any \(J \in \mathcal {J}_\textrm{alm}(\omega )^{\textsf {K}}\)
and so
Therefore,
Notice that, in virtue of (3.2), this implies that
and so, from (3.6) and (3.8), it follows that the basic vector fields are holomorphic Killing. Finally,
and this concludes the proof. \(\square \)
Remark 3.5
By (3.2) and (3.4), it follows that the infinite dimensional Lie algebra \(\mathcal {C}^{\infty }(M; \mathfrak {sp}(TM,\omega ))^{\textsf {K}}\) acts effectively and transitively on \(\mathcal {J}_{\text {alm}}(\omega )^{\textsf {K}}\) (see, e.g., [1, Section 2] for the notation). Moreover, by Proposition 3.4, the Kähler stucture defined in (3.5) is invariant with respect to such Lie algebra action.
Finally, we introduce the subset
In the same spirit as [11, Theorem 4.2], one can show that \(\mathcal {J}(\omega )^{\textsf {K}}\) is an analytic subset of \(\mathcal {J}_{\text {alm}}(\omega )^{\textsf {K}}\). As already mentioned in Sect. 1, any element \(J \in \mathcal {J}(\omega )^{\textsf {K}}\) yields a locally conformally Kähler structure \((J,g_J = \omega (\_,J\_))\) on M, with fundamental (1, 1)-form \(\omega \), such that \(\textsf {K} \subset \text {Aut}(M,J,g_J)\).
4.2 Linearization Formulas
The aim of this subsection is to compute the linearization of some geometric quantities related to the locally conformally Kähler structures induced by elements in \(\mathcal {J}(\omega )^{\textsf {K}}\).
Fix \(J \!\in \! \mathcal {J}(\omega )^{\textsf {K}}\) and a direction \(\hat{a}_J \!\in \! T_J\mathcal {J}_{\text {alm}}(\omega )^{\textsf {K}}\), for some \(a \!\in \! \mathcal {C}^{\infty }(M;\mathfrak {sp}(TM,\omega ))^{\textsf {K}}\). For the sake of shortness, we set \(g \, {:=}\, g_J\) and
An easy computation shows that the endomorphism \(\mathring{a}\) is g-symmetric, J-anti-invariant and trace-free, i.e.,
In the following, for the sake of shortness, given any function F defined on \(\mathcal {J}_{\text {alm}}(\omega )^{\textsf {K}}\), we will denote by \(F'\) the differential of F at J in the direction of \(\hat{a}_J\). A straightforward computation proves the following:
Lemma 3.6
The following equalities hold true:
As for the Riemannian scalar curvature, we have
Proposition 3.7
The linearization of the Riemannian scalar curvature reads as
Proof
By [7, Theorem 1.174], (3.10), and (3.11), we know that
Moreover, if we denote by \(\text {Ric}^\nabla \) the Weyl-Ricci tensor of (M, J, g), then it follows that
(see (A.22) in Appendix). Therefore, since \(\text {d}_{\theta }\theta =0\), by (1.10), it follows that
We recall that the endomorphisms \((\text {Ric}^\nabla )^{\sharp }\) is g-symmetric and J-invariant (see Corollary A.5 in Appendix), and so, by (3.10), we get
In the same way, since \(\mathcal {L}_VJ=0\) and \(\theta ^{\sharp } = JV\), by Lemma 1.4 it follows that \(\nabla (\theta ^{\sharp })\) is J-invariant and so, by (3.10), we get
Finally, again by (3.10), we get
Therefore, (3.14) follows from (3.15), (3.16), (3.17), (3.18), and (3.19). \(\square \)
Finally, regarding the codifferential of \(\theta \), we get
Lemma 3.8
The linearization of \(\textrm{d}^*\theta \) reads as
Proof
Since \(\text {d}^*\theta = -\text {tr}(D(\theta ^{\sharp }))\), we get
Fix a local g-orthonormal frame \((\tilde{e}_{\alpha })_{\alpha \in \{1,\ldots ,2n\}}\) on M. Then, by [7, Theorem 1.174] and (3.11), it follows that
and so, by (3.10),
On the other hand, by (3.12), we have
Finally, a direct computation based on (1.7) shows that
and so (3.20) follows by (3.18), (3.19), (3.21), (3.22), (3.23), and (3.24). \(\square \)
5 The Moment Map and the Futaki Invariant
Let \((M^{2n},\omega )\) be a compact, connected, smooth, locally conformally symplectic manifold of real dimension 2n, with non-exact Lee form \(\theta \), and assume that \(\textsf {K}\) is a compact, connected Lie group that acts effectively on M and verifies (k1), (k2), (k3) as in Sect. 2.3.
Let us consider the group of \(\textsf {K}\)-invariant, special conformal automorphisms of \((M,\omega )\)
and the subgroup of \(\textsf {K}\)-invariant, twisted-Hamiltonian diffeomorphisms of \((M,\omega )\)
with \(\text {Diff}(M)^{\textsf {K}} \, {:=}\, \{\varphi \in \text {Diff}(M): \varphi \circ \psi = \psi \circ \varphi \text { for any } \psi \in \textsf {K} \}\). Analogously, we consider the Lie algebra of \(\textsf {K}\)-invariant, special conformal vector fields of \((M,\omega )\)
together with the Lie subalgebra of \(\textsf {K}\)-invariant, twisted-Hamiltonian vector fields of \((M,\omega )\)
By the very definitions, it is immediate to check that both \(\mathfrak {aut}^{\star }(M,[\omega ])^{\textsf {K}}\), \(\mathfrak {ham}(M,[\omega ])^{\textsf {K}}\) verify the property (\(\triangle \)) and that \(\text {Aut}^{\star }(M,[\omega ])^{\textsf {K}}\), \(\text {Ham}(M,[\omega ])^{\textsf {K}}\) are the generalized Lie transformation groups generated by them. The first ingredient to construct a moment map in our setting is the following:
Proposition 4.1
The following properties hold true.
-
a)
The Lie algebra \(\mathfrak {aut}^{\star }(M,[\omega ])^{\textsf {K}}\) preserves \(\omega \), i.e.,
$$\begin{aligned} \mathcal {L}_X\omega = 0 \quad \text { for any }\,\, X \in \mathfrak {aut}^{\star }(M,[\omega ])^{\textsf {K}} \,\, . \end{aligned}$$(4.5) -
b)
The map \(\kappa \) defined in (2.9) restricts to a linear isomorphism \(\mathfrak {ham}(M,[\omega ])^{\textsf {K}} \simeq \mathcal {C}^{\infty }(M,\mathbb {R})^{\textsf {K}}\).
Proof
Let \(X \in \mathfrak {aut}^{\star }(M,[\omega ])^{\textsf {K}}\). Then, by (1.4), we get
Therefore, by Lemma 1.2, this means that \(\theta (X) = 0\) and so (4.5) follows by (1.3).
Fix now \(X \in \mathfrak {ham}(M,[\omega ])\). By definition, the action of \(\textsf {K}\) preserves \(\omega \), and hence, it preserves \(\theta \) as well. Therefore, for any \(\psi \in \textsf {K}\), we get
which implies, together with Lemma 1.2, that X is \(\textsf {K}\)-invariant if and only if \(\kappa (X)\) is \(\textsf {K}\)-invariant. \(\square \)
In the following proposition, we introduce a natural action of the group \(\text {Aut}^{\star }(M,[\omega ])^{\textsf {K}}\) on the space \(\mathcal {J}_{\text {alm}}(\omega )^{\textsf {K}}\) of \(\textsf {K}\)-invariant, compatible, almost complex structures and we prove that it preserves the tautological symplectic structure \(\mathbb {\Omega }\) defined in (3.5) and the subset \(\mathcal {J}(\omega )^{\textsf {K}}\) defined in (3.9).
Proposition 4.2
The generalized Lie transformation group \(\text {Aut}^{\star }(M,[\omega ])^{\textsf {K}}\) acts on \(\mathcal {J}_{\text {alm}}(\omega )^{\textsf {K}}\) by pull-back
and this action preserves both the subset \(\mathcal {J}(\omega )^{\textsf {K}} \subset \mathcal {J}_{\text {alm}}(\omega )^{\textsf {K}}\) and the symplectic form \(\mathbb {\Omega }\). Moreover, for any \(X \in \mathfrak {aut}^{\star }(M,[\omega ])^{\textsf {K}}\), the fundamental vector field \(X^* \in \mathcal {C}^{\infty }\big (\mathcal {J}_{\text {alm}}(\omega )^{\textsf {K}}; T\mathcal {J}_{\text {alm}}(\omega )^{\textsf {K}}\big )\) associated with X is
Proof
The action (4.6) is clearly well defined. Moreover, since the integrability of any \(J \in \mathcal {J}_{\text {alm}}(\omega )^{\textsf {K}}\) is equivalent to the vanishing of the Nijenhuis tensor \(N_J\), it follows that the subset \(\mathcal {J}(\omega )^{\textsf {K}}\) is \(\text {Aut}^{\star }(M,[\omega ])^{\textsf {K}}\)-invariant. Formula (4.7) follows directly from the definition of fundamental vector field and (4.6). Finally, since \(\text {Aut}^{\star }(M,[\omega ])^{\textsf {K}}\) is connected by smooth arcs, in order to check that it preserves the symplectic form \(\mathbb {\Omega }\), it is sufficient to prove that \(\mathcal {L}_{X^*}\mathbb {\Omega } = 0\) for any \(X \in \mathfrak {aut}^{\star }(M,[\omega ])^{\textsf {K}}\).
Therefore, fix \(X \in \mathfrak {aut}^{\star }(M,[\omega ])^{\textsf {K}}\), \(J \in \mathcal {J}_{\text {alm}}(\omega )^{\textsf {K}}\) and take two basic vector fields \(\hat{a},\hat{b}\) on \(\mathcal {J}_{\text {alm}}(\omega )^{\textsf {K}}\). A straightforward computation shows that
and then, by the infinite dimensional Cartan formula, we compute
Therefore, by (4.5), we get
and so the thesis follows from (3.2).\(\square \)
Finally, in virtue of (3.2), Proposition 4.1 and Proposition 4.2, we are ready to prove the main result of this paper, that is the following:
Theorem 4.3
The map \(\mu :\mathcal {J}(\omega )^{\textsf {K}} \rightarrow \mathcal {C}^{\infty }(M;\mathbb {R})^{\textsf {K}}\) defined by
admits a smooth extension to an \(\text {Aut}^{\star }(M,[\omega ])^{\textsf {K}}\)-equivariant map on the whole space \(\mathcal {J}_{\text {alm}}(\omega )^{\textsf {K}}\) that verifies
for any \(J \in \mathcal {J}(\omega )^{\textsf {K}}\), \(a \in \mathcal {C}^{\infty }(M;\mathfrak {sp}(TM,\omega ))^{\textsf {K}}\), \(X \in \mathfrak {ham}(M,[\omega ])^{\textsf {K}}\).
Proof
We recall that, when J is integrable, the Chern-scalar curvature can be expressed in terms of the Riemannian scalar curvature as
(see (A.15) in Appendix). Therefore, the function
extends (4.8) to the whole \(\mathcal {J}_{\text {alm}}(\omega )^{\textsf {K}}\) and one can check that it is smooth by a direct computation in local coordinates. Moreover, since \(\text {Aut}^{\star }(M,[\omega ])^{\textsf {K}}\) preserves the 2-form \(\omega \), it follows that \(g_{\varphi ^*J} = \varphi ^*g_J\) for any \(J \in \mathcal {J}_{\text {alm}}(\omega )^{\textsf {K}}\), \(\varphi \in \text {Aut}^{\star }(M,[\omega ])^{\textsf {K}}\) and so the extended map \(\mu \) is \(\text {Aut}^{\star }(M,[\omega ])^{\textsf {K}}\)-equivariant.
Fix \(J \in \mathcal {J}(\omega )^{\textsf {K}}\), \(a \in \mathcal {C}^{\infty }(M;\mathfrak {sp}(TM,\omega ))^{\textsf {K}}\), \(X \in \mathfrak {ham}(M,[\omega ])^{\textsf {K}}\) and let \(h \, {:=}\, \kappa (X) \in \mathcal {C}^{\infty }(M;\mathbb {R})^{\textsf {K}}\). Set \(g \, {:=}\, g_J\), \(\mathring{a} \, {:=}\, -J\hat{a}_J\) and, for any function F defined on \(\mathcal {J}_{\text {alm}}(\omega )^{\textsf {K}}\), denote by \(F'\) the differential of F at J in the direction of \(\hat{a}_J\). Then, by (3.13),(3.14) and (3.20), we get
Since \(\text {d}_\theta h = X\lrcorner \omega = g(JX,\_)\), it follows that \((\text {d}_\theta h)^{\sharp }=JX\) and so, from (1.10) and \(\text {d}_\theta ^2h=0\), we get
Moreover, since \(\text {d}_{\theta }(X \lrcorner \omega )=0\), by (1.11) and (1.9)
and so, using again (1.11), we obtain
Therefore, by (3.5), (3.10), (4.9), (4.10), (4.11), and (4.7) and the fact that \(\hat{a}_J\) is g-symmetric, we obtain
which concludes the proof. \(\square \)
As a direct consequence of Theorem 4.3, we get the following:
Corollary 4.4
The value
and the map
are independent of J, in the connected components of \({\mathcal J}(\omega )^{\textsf {K}}\).
Proof
We use the same notation as in the Proof of Theorem 4.3. If \(X \in \mathfrak {z}(\mathfrak {k})\) and \(h\, {:=}\, \kappa (X)\), then by Lemma 1.4, (4.9), (4.10), it follows that
In particular, notice that, since \(\kappa (V)=-1\), we get the thesis. \(\square \)
Notice that the existence of a complex structure \(J \in {\mathcal J}(\omega )^{\textsf {K}}\) such that \(\mu (J)=\underline{\mu }\) forces \(\mathcal {F}\) to vanish, and thus, it is an obstruction to the existence of these special locally conformally Kähler metrics.
Remark 4.5
Fix \(J \in \mathcal J(\omega )\), and let \(\widehat{g}_o=\widehat{\omega }_o(\_,\pi ^*J\_)\) be the corresponding Kähler metric on the minimal symplectic covering \((\widehat{M},\widehat{\omega }_o)\); see Sect. 1.1. Then, by the standard formulas for conformal changes (see, e.g., [7, Theorem 1.159]) and (4.8) (see also (A.15) in Appendix), the Riemannian scalar curvature \(\text {scal}(\widehat{g}_o)\) can be computed in terms of \(\mu (J)\) as
where \(\pi : \widehat{M} \rightarrow M\) denotes the projection and \(f: \widehat{M} \rightarrow \mathbb {R}\) is the smooth function that verifies \(\pi ^*\omega = e^f\,\widehat{\omega }_o\). Therefore, the moment map \(\mu \) defined in (4.8) does not correspond to the scalar curvature map on the minimal symplectic covering.
References
Alekseevsky, D.V., Michor, P.W.: Differential geometry of \(\mathfrak{g} \)-manifolds. Differential Geom. Appl. 5, 371–403 (1995)
Angella, D., Pediconi, F.: On cohomogeneity one Hermitian non-Kähler metrics. Proc. Roy. Soc. Edinburgh Sect. A 153(2), 545–587 (2023)
Apostolov, V., Maschler, G.: Conformally Kähler. Einstein-Maxwell geometry. J. Eur. Math. Soc. (JEMS) 21(5), 1319–1360 (2019)
Banyaga, A.: Some properties of locally conformal symplectic structures. Comment. Math. Helv. 77, 383–398 (2002)
Bazzoni, G.: Locally conformally symplectic and Kähler geometry. EMS Surv. Math. Sci. 5, 129–154 (2018)
Belgun, F., Goertsches, O., Petrecca, D.: Locally conformally symplectic convexity. J. Geom. Phys. 135, 235–252 (2019)
Besse, A.L.: Einstein manifolds. Reprint of the: edition, p. 2008. Classics in Mathematics, Springer-Verlag, Berlin (1987)
Donaldson, S.K.: Remarks on gauge theory, complex geometry and 4-manifold topology. In: Fields Medallists’ lectures, World Sci. Ser. 20th Century Math. 5, 384–403 (1997), World Sci. Publ., River Edge, NJ
Dragomir, S., Ornea, L.: Locally conformal Kähler geometry. Progress in Mathematics, 155, Birkhäuser Boston, Inc., Boston, MA, (1998)
Félix, Y., Oprea, J., Tanré, D.: Algebraic models in geometry. Oxford Graduate Texts in Mathematics, 17, Oxford University Press, Oxford, (2008)
Fujiki, A.: Moduli space of polarized algebraic manifolds and Kähler metrics. Sugaku Expositions 5, 173–191 (1992). Sûgaku 42(3), 231–243 (1990)
Futaki, A., Hattori, K., Ornea, L.: An integral invariant from the view point of locally conformally Kähler geometry. Manuscripta Math. 140, 1–12 (2013)
García-Prada, O., Salamon, D.: A moment map interpretation of the Ricci form, Kähler-Einstein structures, and Teichmüller spaces. Integrability, quantization, and geometry II. Quantum theories and algebraic geometry. Proc. Sympos. Pure Math., Amer. Math. Soc., Providence, RI, 103.2, 223–255, (2021)
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.: Calabi’s extremal Kähler metrics: an elementary introduction
Gini, R., Ornea, L., Parton, M.: Locally conformal Kähler reduction. J. Reine Angew. Math. 581, 1–21 (2005)
Gini, R., Ornea, L., Parton, M., Piccinni, P.: Reduction of Vaisman structures in complex and quaternionic geometry. J. Geom. Phys. 56, 2501–2522 (2006)
Gray, A., Hervella, L.M.: The sixteen classes of almost Hermitian manifolds and their linear invariants. Ann. Mat. Pura Appl. 123(4), 35–58 (1980)
Haller, S., Rybicki, T.: Reduction for locally conformal symplectic manifolds. J. Geom. Phys. 37(3), 262–271 (2001)
Hirsch, M.W.: Differential topology. Springer-Verlag, New York-Heidelberg (1976)
Kobayashi, S., Nomizu, K.: Foundations of differential geometry, vol. 1. Interscience Publisher, New York (1963)
Koiso, N.: On the complex structure of a manifold of sections. Osaka J. Math. 27, 175–183 (1990)
Lee, J.M.: Introduction to smooth manifolds, Graduate Texts in Mathematics, 218 (2013), Springer, New York
Madani, F., Moroianu, A., Pilca, M.: On toric locally conformally Kähler manifolds. Ann. Glob. Anal. Geom. 51, 401–417 (2017)
Moroianu, A., Moroianu, S., Ornea, L.: Locally conformally Kähler manifolds with holomorphic Lee field. Differential Geom. Appl. 60, 33–38 (2018)
Omori, H.: Infinite dimensional Lie transformation groups. Lecture Notes in Mathematics, vol. 427. Springer-Verlag, Berlin-New York (1974)
Omori, H.:Infinite-dimensional Lie groups, Translations of Mathematical Monographs, Vol. 158(1997), American Mathematical Society, Providence, RI
Ono, K.: Floer-Novikov cohomology and the flux conjecture. Geom. Funct. Anal. 16, 981–1020 (2006)
Ornea, L., Verbitsky, M.: Principles of locally conformally Kaehler geometry. arXiv:2208.07188
Stanciu, M.: Locally conformally symplectic reduction. Ann. Global Anal. Geom. 56(2), 245–275 (2019)
Székelyhidi, G.: An introduction to extremal Kähler metrics, Graduate Studies in Mathematics. American Mathematical Society, Providence, RI (2014)
Tallini, G.: Metriche locali dotate di una connessione globale su una varietà differenziabile. Period. Mat. 46, 340–358 (1968)
Vaisman, I.: On locally conformal almost Kähler manifolds. Israel J. Math. 24, 338–351 (1976)
Vaisman, I.: Locally conformal symplectic manifolds. Internat. J. Math. Math. Sci. 8, 521–536 (1985)
Acknowledgements
The authors are warmly grateful to Vestislav Apostolov, Giovanni Bazzoni, Abdellah Lahdili, Mehdi Lejmi, and Liviu Ornea for several interesting discussions and suggestions on the topic. We also thank the anonymous referees for their careful reading of the manuscript and for their suggestions.
Funding
Open access funding provided by Università degli Studi di Firenze within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of Interest
The authors declare no competing interests.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The first-named, second-named, and third-named authors are supported by project PRIN2017 “Real and Complex Manifolds: Topology, Geometry and holomorphic dynamics” (code 2017JZ2SW5) and by GNSAGA of INdAM. The third-named and fourth-named authors are supported by Villum Fonden Grant 0019098.
Appendix
Appendix
Let (M, J, g) be a compact, connected, locally conformally Kähler manifold of dimension \(\text {dim}_{\mathbb {R}}M=2n\) with fundamental 2-form \(\omega \, {:=}\, g(J\_,\_)\) and Lee form \(\theta \). In this Appendix, we report some useful formulas that we use in the text. These are well known by the experts, but we decided to collect them here for the sake of readibility.
1.1 A.1. The Chern Connection of a Locally Conformally Kähler Manifold
The Chern connection of (M, J, g) is the linear connection defined by
where D denotes the Levi-Civita connection of (M, g) and \(A^{\text {Ch}}(X,Y) \, {:=}\, \text {d}\omega (JX,Y,\_)^{\sharp }\). By the locally conformally Kähler condition \(\text {d}\omega = \theta \wedge \omega \), it follows that
The Chern connection is characterized by the following properties (see, e.g., [15, p. 273])
where \(T^{\text {Ch}}(X,Y) \, {:=}\, \nabla ^{\text {Ch}}_XY -\nabla ^{\text {Ch}}_YX - [X,Y]\) is the torsion tensor of \(\nabla ^{\text {Ch}}\). By (A.1) and (A.2), the tensor \(T^{\text {Ch}}\) takes the form (compare with [14, p. 500])
Moreover, by (A.1), (A.2) and (A.3), the covariant derivative DJ can be expressed in terms of \(\theta \) as
For later use, we also mention that a straightforward computation based on (A.1), (A.2) and (A.4) shows that the covariant derivative \(\nabla ^{\text {Ch}}T^{\text {Ch}}\) can be expressed in terms of \(\theta \) as
We denote by
the Chern curvature tensor of (M, J, g), by
the real trace of \(\Omega ^{\text {Ch}}\) and by
the Chern-scalar curvature of (M, J, g). Here, \((\tilde{e}_{\alpha })_{\alpha \in \{1,\ldots ,2n\}} = (e_i,Je_i)_{i \in \{1,\ldots ,n\}}\) is any local (J, g)-unitary basis on M.
On a locally conformally Kähler manifold, the function \(\widetilde{\text {scal}}{}^{\text {Ch}}\) and the Riemannian scalar curvature are related as follows (compare with [14, Eq. (32)]).
Lemma A.1
The function \(\widetilde{\text {scal}}{}^{\text {Ch}}\) defined in (A.8) can be expressed in terms of the Riemannian scalar curvature \(\text {scal}\) and \(\theta \) as.
Proof
For the sake of notation, we set
and so, by (A.11), we get
where \((\tilde{e}_{\alpha })_{\alpha \in \{1,\ldots ,2n\}}\) is any local g-orthonormal basis on M. Since
by (A.2), (A.5) and (A.12) it follows that
and so
By taking the trace of (A.13), we get (A.10). \(\square \)
Analogously, the function \(\widetilde{\text {scal}}{}^{\text {Ch}}\) and the Chern-scalar curvature are related, in the locally conformally Kähler setting, as follows (compare with [14, Eq. (19)]).
Lemma A.2
The function \(\widetilde{\text {scal}}{}^{\text {Ch}}\) defined in (A.8) can be expressed in terms of the Chern scalar curvature \(\text {scal}^{\text {Ch}}\) and \(\theta \) as
Proof
Fix a local (J, g)-unitary basis \((\tilde{e}_{\alpha })_{\alpha \in \{1,\ldots ,2n\}} = (e_i,Je_i)_{i \in \{1,\ldots ,n\}}\) on M. Then, by (A.3), (A.6), (A.8), (A.9) the first Bianchi Identity [22, Theorem III.5.3] and the properties of the Chern curvature tensor, one can compute
which yields the proof.\(\square \)
As a direct consequence of (A.10) and (A.14), we obtain the following relation between the Riemannian scalar curvature and the Chern scalar curvature in the locally conformally Kähler setting (compare with [14, Eq. (33)])
Corollary A.3
The difference between the Riemannian scalar curvature and the Chern scalar curvature can be expressed in terms of \(\theta \) as
1.2 A.2 The weyl connection of a locally conformally kähler manifold
Let \(\nabla \) be the Weyl connection of (M, J, g) as in (1.7). We denote now by
the Weyl curvature tensor of (M, J, g). Here, we collect some well-known properties of the Weyl curvature and, for the sake of completeness, we give some details on the proof.
Lemma A.4
The Weyl-curvature tensor \(\Omega ^\nabla \) satisfies the following properties:
Proof
The Bianchi identity (A.17) holds since the Weyl connection is torsion-free [22, Theorem III.5.3]. Moreover, a straightforward computation shows that
and so, as \(\theta \) is closed, this proves (A.18). Formula (A.19) follows directly from \(\nabla J=0\). As for (A.20), we notice that, when \(\mathbb {C}\)-linearly extended to the complexified tangent bundle \(T^\mathbb {C}M\) and then restricted to the holomorphic tangent bundle, the (0, 1)-component of the Weyl connection coincides with the (0, 1)-component of the Chern connection. Indeed
for any pair of complex (1, 0)-vector fields \(\xi ,\eta \) on (M, J). This implies that the (0, 1)-component of the Weyl connection is the Cauchy-Riemann operator of the holomorphic tangent bundle of (M, J), and therefore the (0, 2)-component of \(\Omega ^{\nabla }\) vanishes. Moreover, since \(\Omega ^{\nabla }\) is skew-Hermitian, its (2, 0)-component vanishes, and this completes the proof. \(\square \)
By taking the trace of the Weyl curvature tensor (A.16), we define the Weyl-Ricci tensor
and we notice that Lemma A.4 has the following immediate
Corollary A.5
The Weyl-Ricci tensor \(\text {Ric}^\nabla \) is symmetric and J-invariant, i.e.,
Moreover, the difference between the two Ricci tensors \(\text {Ric}^\nabla \), \(\text {Ric}\) can be easily expressed in terms of the Lee form \(\theta \). More precisely
Proposition A.6
The following equality holds true:
Proof
Fix a local g-orthonormal frame \((\tilde{e}_{\alpha })_{\alpha \in \{1,\ldots ,2n\}}\) on M. A straightforward computation based on (1.7), (A.16) and (1.6) shows that
By (1.7), it follows that
and so a straightforward computation shows that
Finally, since \(\theta \) is closed, it follows that \(D\theta \) is symmetric and so
Therefore, (A.22) follows from (A.23), (A.24) and (A.25). \(\square \)
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., Calamai, S., Pediconi, F. et al. A Moment Map for Twisted-Hamiltonian Vector Fields on Locally Conformally Kähler Manifolds. Transformation Groups (2023). https://doi.org/10.1007/s00031-023-09815-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00031-023-09815-2
Keywords
- Locally conformally Kähler
- Twisted Hamiltonian
- Moment map
- Donaldson-Fujiki
- Chern connection
- Weyl connection