# Existence criteria for special locally conformally Kähler metrics

- 60 Downloads

## Abstract

We investigate the relation between holomorphic torus actions on complex manifolds of locally conformally Kähler (LCK) type and the existence of special LCK metrics. We show that if the group of biholomorphisms of such a manifold (*M*, *J*) contains a compact torus which is not totally real, then there exists a Vaisman metric on the manifold, generalising a result of Kamishima–Ornea. Also, we obtain a new obstruction to the existence of LCK structures on a given complex manifold in terms of its automorphism group. As an application, we obtain a classification of manifolds of LCK type among all the manifolds having the structure of a holomorphic principal torus bundle. Moreover, we show that if the group of biholomorphisms contains a compact torus whose dimension is half the real dimension of *M*, then (*M*, *J*) admits an LCK metric with positive potential. Finally, we obtain new non-existence results for LCK metrics on certain products of complex manifolds.

## Keywords

Locally conformally Kähler metric Vaisman metric Torus action Lee field## Mathematics Subject Classification

53A30 53C25 53B35## 1 Introduction

Locally conformally Kähler (LCK) metrics are natural conformal analogues of Kähler metrics. Namely, a Hermitian metric on a complex manifold (*M*, *J*) with fundamental form \(\varOmega \) is LCK if \(d\varOmega =\theta \wedge \varOmega \) for some closed form \(\theta \), called the Lee form. On the minimal cover of *M* on which the pullback of \(\theta \) becomes exact, given by \(p:\hat{M}\rightarrow M\) with \(p^*\theta =d\varphi \), \(\varphi \in \mathcal {C}^\infty (\hat{M},\mathbb {R})\), there exists a global Kähler metric \(\varOmega _K=\mathrm {e}^{-\varphi }p^*\varOmega \), and \((\hat{M} ,J, \varOmega _K)\) is called the minimal Kähler cover of the LCK structure.

Any LCK metric on a compact manifold of Kähler type is globally conformal to a Kähler metric ([27]). For this reason, we will always assume tacitly that our manifolds are not of Kähler type, in order to study only strict LCK metrics. In this setting, a first obstruction appears for manifolds of LCK type, namely: \(0<b_1<2h^{0,1}\), where \(h^{0,1}=\dim _\mathbb {C}H^1(M,\mathcal {O}_M)\) and \(b_1=\dim _\mathbb {R}H^1(M,\mathbb {R})\) (see Sect. 2.2). As a matter of fact, this is the only cohomological obstruction known for a general LCK manifold. Vaisman had conjectured that such a manifold should always have \(b_{2k+1}\) odd for some \(k\in \mathbb {N}\); however, this was disproved by the Oeljeklaus-Toma manifolds [16].

*Vaisman metric*, defined by the condition \(\nabla ^g\theta =0\), where \(\nabla ^g\) is the Levi–Civita connection determined by

*g*. It can be seen that a Vaisman metric \((\varOmega ,\theta )\) on (

*M*,

*J*) has the form

*LCK metric with (positive) potential*. These are LCK metrics whose Kähler form on \(\hat{M}\) satisfies

*exact LCK metric*, which is an LCK metric whose Kähler metric has the form:

Let *M* be smooth compact manifold and let \(\mathbb {T}\subset \mathrm {Aut}(M,J)\) be a compact torus with Lie algebra \(\mathfrak {t}\subset \mathcal {C}^\infty (TM)\). Moreover, let \([\theta ]\in H^1(M,\mathbb {R})\) and let \(\hat{M}_{[\theta ]}\) be the minimal cover of *M* on which \(\theta \) becomes exact.

### Definition 1

- (a)
We say that \(\mathbb {T}\) is

*horizontal*with respect to \([\theta ]\) if the action of \(\mathbb {T}\) on*M*lifts to an action of \(\mathbb {T}\) on \(\hat{M}_{[\theta ]}\). Otherwise, we say that it is*vertical*with respect to \([\theta ]\). - (b)
If there exists a complex structure

*J*on*M*so that \(\mathbb {T}\subset \mathrm {Aut}(M,J)\), we say that \(\mathbb {T}\) is*totally real*if \(\mathfrak {t}\cap J\mathfrak {t}=0\).

We then have the following results:

### Theorem 1

Let (*M*, *J*) be a compact complex manifold of LCK type, and let \(\mathbb {T}\subset \mathrm {Aut}(M,J)\) be a torus which is not totally real. Then (*M*, *J*) admits a Vaisman metric.

This result generalises a criterion of Kamishima and Ornea in [11] for deciding whether a given LCK conformal class is Vaisman or not, in terms of the presence of a complex Lie group with certain properties. As a corollary of the proof of our result, we obtain an obstruction to the existence of a general LCK metric:

### Corollary 1

Let (*M*, *J*) be a compact complex manifold. If there exists a torus \(\mathbb {T}\subset \mathrm {Aut}(M,J)\) so that \(\dim _\mathbb {R}(\mathfrak {t}\cap J\mathfrak {t})>2\) then (*M*, *J*) admits no LCK metrics.

Moreover, we give an alternative proof (Sect. 4) of the following result of Ornea–Verbitsky, in which we construct explicitly a positive potential by means of an ODE:

### Theorem 2

([19] and [20]) Let (*M*, *J*) be a compact complex manifold, and let \(\tau \in H^1(M,\mathbb {R})\) be the de Rham class of a Lee form of an LCK structure on (*M*, *J*). If there exists \(\mathbb {S}^1\subset \mathrm {Aut}(M,J)\) which is vertical with respect to \(\tau \), then there exists \(\theta \in \tau \) and \(\varOmega \) so that \((\varOmega ,\theta )\) is an LCK structure with positive potential.

As a corollary of these results and a previous one concerning toric LCK manifolds [10] we also obtain:

### Theorem 3

Let (*M*, *J*) be a compact complex manifold of complex dimension *n*. Suppose that the group of biholomorphisms of (*M*, *J*) contains an *n*-dimensional compact torus \(\mathbb {T}^n\). Then, for any \(\tau \in H^1(M,\mathbb {R})\) which is the class of a Lee form of an LCK metric, there exists an LCK metric with positive potential \((\varOmega ,\theta )\) so that \(\theta \in \tau \).

We should note here that the dimension hypothesis on the torus is necessary, as the Inoue–Bombieri surface \(S^+\) ([9]) admits an effective holomorphic action of \(\mathbb {S}^1\), but no exact LCK metric ([22, Proposition 4.14]).

*B*and \(A=JB\), the Lee and anti-Lee vector fields, via:

*B*has constant norm. Moreover, they construct an example of a non-Vaisman LCK metric with real holomorphic Lee vector field. In the present paper, we show:

### Proposition 1

Let (*M*, *J*) be a compact complex manifold endowed with an LCK structure \((\varOmega ,\theta )\) of the form (1), whose corresponding Lee vector field is real holomorphic. Then \(\varOmega \) is Vaisman.

This criterion should be particularly useful when constructing examples, as it is easy to check. Moreover, we note that the metric constructed in [15] can be chosen with positive potential, so the above result is the sharpest statement one can get. Finally, let us mention that the example of non-Vaisman metric with holomorphic Lee field is constructed on a manifold of Vaisman type. Thus the question remains open whether a manifold admitting an LCK metric with holomorphic Lee field is of Vaisman type.

As a direct application of Theorem 1, we obtain in Sect. 7 a classification of manifolds of LCK type among all the manifolds having the structure of a holomorphic torus principal bundle. This is analogous to the result of Blanchard [2] in the Kähler context.

In the last part, we discuss the issue of irreducibility in LCK geometry. From early time [27], it was known that if one takes two compact Hermitian manifolds \((M_i,g_i)\), \(i=1,2\), the product metric is not LCK on \(M_1\times M_2\). However, whether there might exist some other LCK metric on \(M_1\times M_2\) has remained an open question, and in Sect. 8, we extend the known cases ([26, Corollary 3.3], [17, Corollary 2]) in which this fails. More precisely, we show that \(M_1\times M_2\) admits no LCK structure if \(M_1\) is of Vaisman type (Theorem 7) or if \(M_1\) is a Riemann surface and \(M_2\) admits no LCK metrics with positive potential (Proposition 7).

## 2 LCK metrics

In this section, we fix a complex manifold (*M*, *J*). A metric *g* on (*M*, *J*) is *Hermitian* if \(g(J\cdot ,J\cdot )=g\). In this case, *g* induces a fundamental form \(\varOmega =g(J\cdot ,\cdot )\) of bidegree (1, 1) with respect to *J*. Conversely, a (1, 1)-form \(\varOmega \in \mathcal {E}^{1,1}(M,\mathbb {R})\) is called positive and we write \(\varOmega >0\) if the symmetric tensor \(\varOmega (\cdot ,J\cdot )=:g\) is positive definite, in which case *g* is a Hermitian metric. This one-to-one correspondence will be used implicitly throughout the present text.

We begin with the equivalent definitions of a locally conformally Kähler (LCK) metric. Let *g* be a Hermitian metric with fundamental form \(\varOmega \) on (*M*, *J*).

### Definition 2

*g*is called LCK if one of the following equivalent facts holds:

- 1.There exists a real closed one-form \(\theta \) on
*M*, called*the Lee form*, for which we have:$$\begin{aligned} d\varOmega =\theta \wedge \varOmega . \end{aligned}$$(5) - 2.
*M*is covered by open sets \(\{U_\alpha \}_{\alpha \in I}\) so that for each \(\alpha \in I\) there exists a Kähler metric \(g_\alpha \) on \((U_\alpha , J)\) and a real function \(\varphi _\alpha \in \mathcal {C}^\infty (U_\alpha ,\mathbb {R})\) so that:$$\begin{aligned} g_{|_{U_\alpha }}=\mathrm {e}^{\varphi _\alpha }g_\alpha . \end{aligned}$$(6) - 3.There exists a Kähler metric \(\varOmega _K\) on the universal cover with the induced complex structure \(\pi :(\tilde{M},J)\rightarrow (M,J)\) on which \(\pi _1(M)\), seen as the deck group of \(\pi \), acts by homotheties:$$\begin{aligned} \gamma ^*\varOmega _K=\rho (\gamma )^{-1}\varOmega _K, \ \ \ \gamma \in \pi _1(M), \ \ \rho (\gamma )\in \mathbb {R}_{>0}. \end{aligned}$$(7)

It is not difficult to see that indeed all the above conditions are equivalent, and for the details, one can consult the monograph [4]. The Lee form is given on the open sets \(U_\alpha \) by \(\theta |_{U_\alpha }=d\varphi _\alpha \). The pullback of the Kähler metrics \(\{g_\alpha \}_{\alpha \in I}\) to \(\tilde{M}\) glue up to a global Kähler metric, which corresponds precisely to \(\varOmega _K\). Moreover, it is easy to check that the constants given in (7) form a group morphism \(\rho :\pi _1(M)\mapsto (\mathbb {R}_{>0},\cdot )\), \(\gamma \mapsto \rho (\gamma )\). The kernel of \(\rho \) is a normal subgroup of \(\pi _1(M)\), so one can consider \(\varGamma :=\pi _1(M)/\ker \rho \) and the corresponding Galois cover \(p:\hat{M}\rightarrow M\) of deck group \(\varGamma \). By definition, \(\varOmega _K\) is \(\ker \rho \)-invariant, so descends to a Kähler metric on \(\hat{M}\).

*M*on which the pullback of \(\varOmega \) is globally conformal to a Kähler metric. For this reason, we will call \((\hat{M},\varOmega _K)\)

*the minimal Kähler cover*corresponding to \(\varOmega \). Moreover, the pullback of \(\theta \) becomes exact on \(\hat{M}\) and one has:

*M*,

*J*) is of LCK type if \(\mathcal {L}(M,J)\) is not empty.

*M*multiplied by \(\mathrm {e}^{-\varphi }\), and under this operation

*d*on \(\hat{M}\) corresponds to \(d_\theta \) on

*M*, as for any smooth form \(\alpha \) on

*M*, one has the relation:

### Lemma 1

Let *M* be a connected differentiable manifold and \(\theta \) a real-valued closed 1-form on *M*. Then \(d_\theta :\mathcal {C}^\infty (M)\rightarrow \mathcal {E}^1(M)\) is injective if and only if \(\theta \) is not exact.

Most of the special LCK metrics defined in the introduction can also be given equivalent definitions in terms of the operator \(d_\theta \).

### Definition 3

*M*,

*J*).

- (a)
It is called

*an exact LCK structure*if there exists a one-form \(\eta \) on*M*so that \(\varOmega =d_\theta \eta \). This is equivalent to (3). - (b)
It is called

*an LCK structure with potential*if there exists \(f\in \mathcal {C}^\infty (M,\mathbb {R})\) so that \(\varOmega =d_\theta d^c_\theta f\). This is equivalent to (2). Moreover, it is called*with positive potential*if*f*can be chosen positive. The function*f*will be called*a*\(\theta \)-*potential*of \(\varOmega \).

Remark that these definitions are invariant by conformal transformations, so can also be used for conformal classes of metrics.

### 2.1 Vaisman metrics

On the other hand, Vaisman metrics cannot be defined by the operator \(d_\theta \) alone, but it is true that they admit constant \(\theta \)-potential. First of all, the Lee and anti-Lee vector fields *A* and *B* of a Vaisman structure \((g,\varOmega ,\theta )\) on (*M*, *J*), defined by (4), have remarkable properties. The defining condition \(\nabla ^g\theta =0\) is also equivalent to \(\nabla ^gB=0\), as *B* is the metric dual of \(\theta \). This immediately implies that *B* (and so also *A*) is of constant norm. Moreover, it is not difficult to see that *A* and *B* are real holomorphic and Killing. Finally, this also implies that *B* is symplectic, which is equivalent to \(\varOmega \) admitting \(f=\frac{1}{\Vert B\Vert ^2}\in \mathbb {R}\) as a \(\theta \)-potential:

*Gauduchon metric*, meaning that its Lee form is \(d^*\)-closed (and thus harmonic), where \(d^*\) is the co-differential with respect to

*g*. This is easy to see whether one writes \(d^*=-\sum _{j=1}^{2n}\iota _{e_j}\nabla _{e_j}\), with \(\{e_1, \ldots e_{2n}\}\) a local orthonormal real basis of

*TM*. In particular, a Vaisman metric inherits the property of Gauduchon metrics of being unique in their conformal class up to multiplication by a positive constant, cf. [6]. For this reason, we will usually normalise a Vaisman metric to verify \(\Vert B\Vert =1\), which then implies that \(\varOmega =d_\theta d^c_\theta 1\).

### 2.2 Cohomological obstructions to the existence of LCK metrics

Unlike the Kähler case, we lack cohomological or even topological obstructions to the existence of LCK structures. Note that an obvious one is the fact that \(b_1\ne 0\) for a strict LCK manifold.

*M*,

*J*), then the Bott–Chern class \([dJ\theta ]_{BC}\in H^{1,1}_{BC}(M,\mathbb {R})\) cannot vanish. We recall here the definition of the real (1, 1)-Bott–Chern cohomology group:

## 3 The Lee vector field

It is easy to see that, if the Lee vector field of an LCK metric is Killing, then the metric is Vaisman. Moreover, in the compact setting, the same conclusion holds if the Lee vector field preserves the fundamental form, by a result of [14]. However, it is not true that the holomorphicity of the Lee vector field implies the Vaisman condition. It was recently shown:

### Theorem 4

([15]) Let \((M,J,g,\varOmega ,\theta )\) be a compact LCK manifold with holomorphic Lee vector field. If *B* has constant norm, or if *g* is Gauduchon, then *g* is a Vaisman metric.

Moreover, we have the following simple result, which holds also in the non-compact setting:

### Proposition 2

Let (*M*, *J*) be a complex manifold endowed with an LCK metric \((\varOmega ,\theta )\) with constant \(\theta \)-potential \(\varOmega =-adJ\theta +a\theta \wedge J\theta \), \(a\in \mathbb {R}^*\). If \(\varOmega \) has real holomorphic Lee vector field *B*, then \(\varOmega \) is Vaisman.

### Proof

*B*is real holomorphic, then also \(A=JB\) is. The Cartan formula and \(\mathcal {L}_A\theta =0\) imply:

*B*preserves both the complex structure and the symplectic form, it also preserves the metric. This implies that \(\nabla ^g\theta \) is antisymmetric. We therefore obtain: \(0=d\theta =2\nabla ^g\theta \), i.e.

*g*is Vaisman. \(\square \)

In the paper [15], the authors also construct an example of an LCK metric which is not Vaisman, but which has real holomorphic Lee vector field, thus showing that one needs some additional hypotheses on \(\varOmega \) to ensure that it is Vaisman. We now present this example, with the remark that in the original construction, the metric can in fact be chosen with positive potential. This shows that the hypotheses in Proposition 2 cannot be relaxed.

### Example 1

([15]) Let \((M,J,\varOmega ,\theta )\) be a compact Vaisman manifold with \(\Vert \theta \Vert ^2=1\), and let *B* be its Lee vector field. Suppose there exists a non-constant smooth function \(f\in \mathcal {C}^\infty (M,\mathbb {R})\) verifying \(f>-1\) everywhere on *M* and such that *df* is colinear with \(\theta \). After taking the interior product with *B*, this last condition is more precisely \(df=B(f)\theta \). Such functions exist whenever *B* generates an \(\mathbb {S}^1\)-action on *M*, for instance on the standard Hopf manifold.

*M*and verifies \(d\varOmega '=(1+f)\theta \wedge \varOmega '\). Thus \((\varOmega ',\theta '=(1+f)\theta )\) is an LCK structure with real holomorphic Lee field equal to

*B*:

*B*is non-constant: \(\varOmega '(B,JB)=\theta '(B)=1+f\). In fact we have more:

### Lemma 2

The metric \(\varOmega '\) is not conformal to any Vaisman metric.

### Proof

*M*so that \(\varOmega ''=\mathrm {e}^h\varOmega '\). By a result of K. Tsukada [25, Corollary 2.7], the Lee vector field of a Vaisman metric is unique on the manifold

*M*up to multiplication by a constant. Thus, we can suppose right from the beginning that the Lee vector field of \(\varOmega ''\) is also

*B*. Now this reads:

### Lemma 3

Suppose moreover that we have a diffeomorphism \(M\cong N\times \mathbb {S}^1\) with *N* a smooth manifold, so that *B* is given by \(B=\frac{d}{dt}\), with *t* a local coordinate on \(\mathbb {S}^1=\mathbb {R}/2\pi \mathbb {Z}\) and \(\theta \) is the pullback of a one-form from \(\mathbb {S}^1\). Then for any function \(f\in \mathcal {C}^\infty (M)\) with \(f>-1\) and *df* colinear with \(\theta \), \(\varOmega '=d_{(1+f)\theta }(-J\theta )\) is an LCK form with positive potential on *M*.

### Proof

*df*is colinear with \(\theta \),

*f*is induced by a \(2\pi \)-periodic function on \(\mathbb {R}\). We are looking for a positive function \(h:\mathbb {R}\rightarrow \mathbb {R}\), also \(2\pi \)-periodic, verifying, when seen as a function on

*M*:

*h*verifies that both

*dh*and \(d\mathcal {L}_Bh\) are colinear with \(\theta \), which implies the following relations:

*f*and

*h*as functions on \(\mathbb {R}\), (8) now becomes equivalent to:

*h*of the above system exists, and now it is left for us to show that we can choose the constants

*a*and

*c*such that

*h*is moreover strictly positive and \(2\pi \)-periodic.

*f*is \(2\pi \)-periodic, we have, for any \(t\in \mathbb {R}\):

*h*to be \(2\pi \)-periodic, we take \(c:=\frac{K\mathrm {e}^b}{\mathrm {e}^b-1}>0\). Finally, we need to see that

*h*is in fact positive, which is also equivalent to saying that \(v(t):=c-\int _0^t\mathrm {e}^{-F(s)}ds\) is positive. Note that \(\frac{d}{dt}v(t)=-\mathrm {e}^{-F(t)}<0\), so

*v*can change sign at most once, and the same is then true for the function

*h*. On the other hand,

*h*is periodic and \(h(0)=c\mathrm {e}^a>0\), thus

*h*is indeed everywhere positive. \(\square \)

Note that, although the above example shows that there can exist non-Vaisman metrics with holomorphic Lee vector field, it is however constructed out of a Vaisman metric. So one can still ask the following question:

### Question 1

Let \((M,J,\varOmega )\) be a compact LCK manifold with holomorphic Lee vector field. Does there exist an LCK metric on *M*, not necessarily conformal to \(\varOmega \), which is Vaisman?

Also, recall that the Lee vector field of any Vaisman metric on a compact manifold is uniquely determined up to multiplication by a positive constant, by [25]. A related question is then:

### Question 2

Suppose that the Lee vector field of an LCK metric on a compact manifold of Vaisman type is holomorphic. Is it then the Lee vector field of a Vaisman metric?

## 4 Existence of LCK metrics with positive potential

Let us start by reviewing the notion of a *vertical* action of a torus. For our discussion, it is enough to consider \(\mathbb {S}^1\)-actions. In what follows, we fix *M* a compact smooth manifold and \(\tau \in H^1(M,\mathbb {R})\) a de Rham class. By the universal coefficient theorem, we can also view \(\tau \in \mathrm {Hom}(\pi _1(M),\mathbb {R})\). Then \(\ker \tau \) is a normal subgroup of \(\pi _1(M)\), so we can take \(\hat{M}_\tau :=\tilde{M}/\ker \tau \), which is a normal cover of *M*. If \(\theta \in \mathcal {C}^\infty (T^*M)\) is a smooth representative of \(\tau \), then \(\hat{M}_\tau \) is the minimal cover of *M* on which \(\theta \) becomes exact.

Suppose \(\mathbb {S}^1\) acts on *M* with fundamental vector field *C*, and let \(\varPhi _t\) denote the corresponding 1-periodic flow. By averaging \(\theta \) to an \(\mathbb {S}^1\)-invariant form: \(\theta ':=\int _0^1\varPhi _t^*\theta dt\), the de Rham class does not change, i.e. \([\theta ']=[\theta ]=\tau \), so we can just suppose that \(\theta \) is \(\mathbb {S}^1\)-invariant. Now we have \(0=\mathcal {L}_C\theta =d(\theta (C))\), so \(\theta (C)=a\in \mathbb {R}\). Moreover, the value *a* only depends on the de Rham class \(\tau \): it is in fact \(\tau \) evaluated on the homotopy class of an orbit of \(\mathbb {S}^1\).

We have the following simple characterisation of vertical actions:

### Lemma 4

The action \(\mathbb {S}^1\) is vertical for \(\tau \in H^1(M,\mathbb {R})\) if and only if \(\theta (C)\ne 0\) for some (and so any) \(\mathbb {S}^1\)-invariant representative \(\theta \in \tau \).

### Proof

In any case, *C* lifts to a vector field, also denoted by *C*, to \(\hat{M}_\tau \), generating an \(\mathbb {R}\)-action on \(\hat{M}\). Let us denote by \({\hat{\varPhi }}_t\) the corresponding flow. We want to show the equivalence: \({\hat{\varPhi }}_1={\textsf {id}}_{\hat{M}_\tau } \Leftrightarrow \int _\gamma \tau \ne 0\), where \(\gamma =[\mathbb {S}^1.x]\in \pi _1(M,x)\) is the homotopy class of an \(\mathbb {S}^1\)-orbit through an arbitrary point \(x\in M\).

Denote by \(\hat{\pi }:\hat{M}_\tau \rightarrow M\) the covering of deck group \(\varGamma :=\pi _1(M,x)/\ker \tau \subset \mathrm {Aut}(\hat{M}_\tau )\), and let \(p:\pi _1(M,x)\rightarrow \varGamma \) be the natural projection. Then \(\int _\gamma \tau \ne 0\) if and only if \(p\gamma \ne id_{\hat{M}_\tau }\). But \(p\gamma ={\hat{\varPhi }}_1\): indeed, for any \(\hat{x}\in \hat{\pi }^{-1}(x)\), the curve \([0,1]\ni t\mapsto {\hat{\varPhi }}_t(\hat{x})\) is the unique lift from \(\hat{x}\) of the loop \([0,1]\ni t\mapsto \varPhi _t(x)\) representing \(\gamma \). Thus the conclusion follows. \(\square \)

Hence, given a de Rham class \(\tau \in H^1(M,\mathbb {R})\), a torus action \(\mathbb {T}^n\) on *M* lifts to an action of \(\mathbb {T}^n\) on \(\hat{M}_\tau \) if and only if \(\mathfrak {Lie}(\mathbb {T}^n)\subset \ker \theta \) for any smooth \(\mathbb {T}^n\)-invariant closed one-form \(\theta \in \tau \).

### Proof of Theorem 2

The beginning of the proof is exactly as in [19]; however, we give it here for the sake of completeness. We recall that, by hypotheses, we have a compact LCK manifold \((M,J,\varOmega ,\theta )\) and a vertical \(\mathbb {S}^1\)-action on *M* with respect to \(\tau =[\theta ]\). Let \((\hat{M},J,\omega )\) be the minimal Kähler cover of \((M,J,[\varOmega ])\). We denote by *D* the real holomorphic vector field on *M* generating the \(\mathbb {S}^1\)-action, as well as its lift to \(\hat{M}\). By a standard average argument which does not change the de Rham class of \(\theta \), we can suppose that both \(\varOmega \) and \(\theta \) are preserved by *D*. In particular, \(\mathcal {L}_D\theta =0\) implies, by Lemma 4, that \(\theta (D)=\lambda \in \mathbb {R}^*\), as the action is vertical. Let \(C:=\frac{1}{\lambda }D\), so that \(\theta (C)=1\).

*JC*and denote by \(\omega _t:=\varPhi _t^*\omega \) and by \(f_t=\varPhi _t^*f\), the last equation reads:

*h*the function \(1/2\pi \int _0^{2\pi }h_tdt\). As \(\{\varPhi _t\}_{t\in \mathbb {R}}\) is a subgroup of biholomorphism of \({\hat{M}}\), \({\hat{\omega }}\) is a Kähler form on \({\hat{M}}\). We wish to show that

*h*is a strictly positive function on \({\hat{M}}\).

*C*has no zeroes so the function

*f*is everywhere positive. Moreover, as

*JC*is real holomorphic, we have \([C, JC]=0\), so \(\varPhi _t\) preserves both

*C*and

*JC*. This gives, for any \(x\in {\hat{M}}\):

*h*is indeed everywhere positive.

*f*. Here, \(\varGamma \) denotes the deck group of the cover \({\hat{M}}\rightarrow M\). Also we should note that, as

*C*and

*JC*are \(\varGamma \)-invariant, being lifts of vector fields from

*M*, then the \(\varGamma \)-equivariance of \(f=\omega (C,JC)\) is exactly the equivariance of \(\omega \). Thus it follows that \({\hat{\theta }}\) has the same \(\varGamma \)-equivariance as \(\theta \), and so the two one-forms are cohomologous. Hence the form

*M*to an LCK metric with positive potential with Lee form \({\hat{\theta }}\), and the proof is finished. \(\square \)

### Remark 1

Let us note that the above construction of an LCK metric with potential is natural and only depends on \(\varOmega \) and on *C*. In particular, if \(\varOmega \) is already *JC*-invariant, which will imply that the metric is Vaisman, then we have \(f_t=f\) and the solution of (14) is then \(h_t=(1-\cos t)f\), so in particular the potential \(h=f\) remains unchanged.

### Remark 2

On the other hand, for a metric \(\varOmega \) which is not *JC*-invariant, the above construction gives us a countable set of metrics with potential associated to the de Rham class of \(\theta \). Indeed, we considered the potential \(h_{[1]}:=h\), but for any \(n\in \mathbb {N}^*\), the potential \(h_{[n]}:=1/2n\pi \int _{0}^{2n\pi }h_tdt\) works as well.

## 5 Existence of Vaisman metrics

In this section, we are interested in giving a proof of Theorem 1 and of Corollary 1. We start by giving the main proposition, which will directly imply the general criterion.

Let \((M, J, \varOmega ,\theta )\) be a compact Vaisman manifold with corresponding fundamental vector fields *B* and \(A=JB\). Then \(A,B\in \mathfrak {aut}(M,J,\varOmega )\) generate a holomorphic \(\mathbb {R}^2\) action on *M*, and we will denote by *G* the image of \(\mathbb {R}^2\) in \(\mathrm {Aut}(M,J,\varOmega )\). Since the Lie group \(\mathrm {Aut}(M,J,\varOmega )\) is compact, we can take the closure of *G* in it, obtaining thus a compact torus \(\mathbb {T}\subset \mathrm {Aut}(M, J,\varOmega )\). The torus \(\mathbb {T}\) is not totally real, since both *A* and *B* are in \(\mathfrak {t}\cap J\mathfrak {t}\). In fact, we have:

### Proposition 3

Let \((M,J,[\varOmega ],[\theta ]_{dR})\) be a compact complex manifold endowed with a strict LCK structure and let \(\mathbb {T}\subset \mathrm {Aut}(M,J,[\varOmega ])\) be a compact torus. If \(\mathbb {T}\) is not totally real, then \([\varOmega ]\) is Vaisman and \(\mathfrak {t}\cap J\mathfrak {t}=\mathbb {R}\{A,B\}\), where \(B=-JA\) is the Lee vector field of some Vaisman metric in \([\varOmega ]\).

### Proof

Let \(f:=\Vert C\Vert ^2_\varOmega \), which is an everywhere positive function since *C* cannot have any zeros. Take \(\varOmega ':=\frac{1}{f}\varOmega \), with corresponding Lee form \(\theta '=\theta -d\ln f\). Then, since *f* is preserved by both *C* and *D*, we still have \(\theta '(C)=1\) and \(\theta '(D)=0\), and \(C,D\in \mathfrak {aut}(M,J,\varOmega ')\).

*D*preserves both

*C*and \(\varOmega '\), it also preserves \(\eta \). Moreover, we have \(1=\Vert C\Vert ^2_{\varOmega '}=\eta (D)\). Hence we get:

*C*is actually the Lee vector field

*B*of \(\varOmega '\). Since

*C*is real holomorphic and preserves \(\varOmega '\), it is also Killing, so \(2\nabla \theta '=d\theta '=0\), that is, \(\varOmega '\) is Vaisman.

Finally, since a Vaisman metric is unique in its conformal class up to multiplication by constants, it follows that \(\mathfrak {t}\cap J\mathfrak {t}=\mathbb {R}\{C,D\}=\mathbb {R}\{A,B\}\). \(\square \)

Note that this immediately implies Corollary 1.

### Proof of Theorem 1

As we already noted at the beginning of the section, if *M* admits a Vaisman metric then the corresponding real holomorphic vector fields *B* and \(A=JB\) sit in the Lie algebra of a torus in \(\mathrm {Aut}(M,J)\).

Conversely, suppose \(\mathbb {T}\subset \mathrm {Aut}(M,J)\) is not totally real. Take any LCK metric \((\varOmega ,\theta )\) and average it over \(\mathbb {T}\), in order to get a \(\mathbb {T}\)-invariant LCK metric. Hence we have \(\mathbb {T}\subset \mathrm {Aut}(M,J,\varOmega )\), and we can apply Proposition 3 in order to get the conclusion. \(\square \)

## 6 Maximal torus actions

The main goal of this section is to give a proof of Theorem 3, as a consequence of the previous results, together with our result concerning toric LCK manifolds of [10].

Let \((M,J,[\varOmega ],[\theta ])\) be a compact LCK manifold. There are two natural Lie algebras of vector fields one can consider in this context, which we present next.

### Definition 4

*horizontal*for \(([\varOmega ],[\theta ])\) if \(\mathcal {L}_X\varOmega =\theta (X)\varOmega \) for some (and hence any) form \(\varOmega \in [\varOmega ]\). We denote by \(\mathfrak {aut}'(M,[\varOmega ])\) the set of horizontal vector fields, and note that:

### Remark 3

If a vector field generates an \(\mathbb {S}^1\)-action and is a horizontal vector field for \(([\varOmega ],[\theta ])\), then the \(\mathbb {S}^1\)-action is horizontal with respect to \([\theta ]\) in the sense of Definition 1.

Inside \(\mathfrak {aut}'(M,[\varOmega ])\) there is another natural Lie algebra, namely the one given by twisted Hamiltonian vector fields.

### Definition 5

A vector field \(X\in \varGamma (TM)\) is called *twisted Hamiltonian* for \(([\varOmega ],[\theta ])\) if for some (and hence any) representative \(\varOmega \in [\varOmega ]\), there exists \(f_X\in \mathcal {C}^\infty (M)\) so that \(\iota _X\varOmega =d_\theta f_X\). Twisted Hamiltonian vector fields form a Lie subalgebra of horizontal vector fields, denoted by \(\mathfrak {ham}(M,[\varOmega ])\).

Note that these definitions are conformally invariant. The claims that are made above are easy to check, but for the complete proofs and for a motivation of these definitions, one can consult the paper of Vaisman [29], where they were first considered.

In particular, we call an action of a connected Lie group *G* on \((M,J,[\varOmega ])\) twisted Hamiltonian if \(\mathfrak {Lie}(G)\subset \mathfrak {ham}(M,[\varOmega ])\). Moreover, if *n* is the complex dimension of *M*, the manifold \((M,J,[\varOmega ])\) together with a torus \(\mathbb {T}^n\) that acts on the manifold effectively by biholomorphisms and in a twisted Hamiltonian way is called a *toric LCK manifold*. These kind of manifolds were studied recently in [13, 23] and [10].

### Remark 4

It is not difficult to see that if \([\varOmega ]\) is exact in the sense of Definition 3, then horizontal actions of compact tori coincide with twisted Hamiltonian ones, see the above references for details. Also, as shown in [13, Lemma 3.7], this is also the case if \({\hat{M}}\) is simply connected. In fact, when the dimension of the torus is maximal, we do not need any hypothesis for this equivalence to hold. The proof of this follows the lines of the one from [10], for this matter we will skip some of the details:

### Theorem 5

Let \((M,J,[\varOmega ])\) be a compact LCK manifold of complex dimension *n* and let \(\mathbb {T}^n\) be a torus that acts effectively by biholomorphisms on the manifold. Then the action is twisted Hamiltonian if and only if it is horizontal.

### Proof

Clearly, we only need to show the if direction, so let us suppose that the action is horizontal. Let us fix \(\varOmega \in [\varOmega ]\) which is \(\mathbb {T}^n\) invariant, with Lee form \(\theta \), so that \(\mathfrak {t}:=\mathfrak {Lie}(\mathbb {T}^n)\subset \ker \theta \). Here and in all that follows, we identify \(\mathfrak {t}\) with a Lie subalgebra of \(\mathfrak {aut}(M,J)\). Also let \((\hat{M},J,\varOmega _K)\) be the corresponding minimal Kähler cover. Then, by Lemma 4, we have a lifted action by biholomorphisms of \(\mathbb {T}^n\) on \(({\hat{M}},J)\), and as it is not difficult to see, this action is also symplectic with respect to \(\varOmega _K\).

By the principal orbit theorem, see for instance [3], there exists a dense connected open subset \(M_0\subset M\) on which \(\mathbb {T}^n\) acts locally freely. Moreover, as \(\mathbb {T}^n\) is abelian and acts effectively on *M*, it acts in fact freely on \(M_0\). The preimage \(\hat{M}_0\) of \(M_0\) in \(\hat{M}\) is exactly the dense connected open subset of \(\hat{M}\) on which \(\mathbb {T}^n\) acts freely.

Now the proof of Proposition 3 shows that any horizontal torus is totally real, i.e. \(\mathfrak {t}\subset \ker \theta \) implies that \(\mathfrak {t}\cap J\mathfrak {t}=\{0\}\). Thus we have a complex linear injection \(\mathfrak {t}\oplus J\mathfrak {t}\rightarrow \mathfrak {aut}(M,J)\) generating a holomorphic action of \(\mathbb {T}^c:=(\mathbb {C}^*)^n\) on *M* and on \(\hat{M}\). As for any \(\xi \in \mathfrak {t}\), \(\xi \) has no zeroes on \(M_0\), and as at any point of \(M_0\), \(\mathfrak {t}\) is orthogonal to \(J\mathfrak {t}\) with respect to the metric \(g:=\varOmega (\cdot ,J\cdot )\) by Remark 4, it follows that the action of \(\mathbb {T}^c\) is locally free on \(M_0\), and so also on \(\hat{M}_0\).

Let us fix \(x\in \hat{M}_0\) and let \(H=\{a\in \mathbb {T}^c| a.x=x\}\), which by the above discussion is a closed discrete subgroup of \(\mathbb {T}^c\). We have a holomorphic embedding \(F:\mathbb {T}^c/H\rightarrow \hat{M}_0\), \(a\mapsto a.x\). As \(\dim _{\mathbb {C}}\mathbb {T}^c/H=\dim _\mathbb {C}\hat{M}_0\), *F* must be an open embedding, and as \(\hat{M}_0\) is connected, *F* is thus a biholomorphism. In particular, as \(\hat{M}_0\) is dense in \(\hat{M}\), *H* acts trivially on the whole of \(\hat{M}\), so we have a well-defined effective action of \(\mathbb {T}^c/H\) on \({\hat{M}}\).

Now, as \(\varGamma \) commutes with \(\mathbb {T}^c\) and preserves \({\hat{M}}_0\), it follows easily that \(\varGamma \subset \mathbb {T}^c/H\). Thus, given \({\textsf {id}}_{\hat{M}}\ne \gamma \in \varGamma \), there exists a subgroup \(\mathbb {R}\cong G\subset \mathbb {T}^c/H\) containing \(<\gamma>\) as a subgroup. *G* acts by biholomorphisms on \(\hat{M}\) and this action clearly commutes with \(\varGamma \), so descends to an effective \(\mathbb {S}^1\) action on *M*. By definition, this action is vertical with respect to \([\theta ]\). One can average \((\varOmega ,\theta )\) over this \(\mathbb {S}^1\)-action to obtain an exact \(\mathbb {T}^n\)-invariant LCK metric, which is in particular toric for the given action of \(\mathbb {T}^n\). This is exactly the construction of [10, Lemma 5.1], where the details can be found.

Finally, by applying the result of [10], it follows that there exists a Vaisman structure on (*M*, *J*) with Lee class \([\theta ]\). But by [12, Theorem 4.5] any \(d_\theta \)-closed form on *M* is \(d_\theta \)-exact. Therefore, any LCK form on (*M*, *J*) is exact, and so the torus action for the initial LCK form \([\varOmega ]\) was twisted Hamiltonian. \(\square \)

Now, summing up, we get:

### Proof of Theorem 3

Let \(\mathbb {T}^n\subset \mathrm {Aut}(M,J)\), let \(\tau \in \mathcal {L}(M,J)\) and let \((\varOmega ,\theta )\) be a \(\mathbb {T}^n\)-invariant LCK structure with \(\theta \in \tau \). If \(\mathfrak {t}\subset \ker \theta \), then the above result implies that (*M*, *J*) admits a Vaisman structure \((\varOmega ',\theta ')\) with \(\theta '\in \tau \).

If not, then identify \(\mathbb {T}^n\) with \((\mathbb {S}^1)^n\) and let \(\xi _1,\ldots , \xi _n\) be the fundamental vector fields generating each of the \(\mathbb {S}^1\)-actions on *M*. As \(\theta \) does not vanish on the whole of \(\mathfrak {t}\), there exists at least one \(\xi =\xi _k\), \(k\in \{1,\ldots ,n\}\) generating a vertical \(\mathbb {S}^1\)-action with respect to \([\theta ]\). Thus, by applying Theorem 2, it follows that \(\theta \) is the Lee form of an LCK metric with positive potential. \(\square \)

### Remark 5

All hypotheses in Theorem 5 are necessary. Indeed, on the one hand, the non-diagonal Hopf surfaces provide examples of LCK manifolds admitting an effective holomorphic action of a torus of dimension 2, but which are not toric, by [13, Theorem 7.2]. This shows that we need to impose the action of the torus to be horizontal in our result.

On the other hand, consider the Inoue surfaces of type \(S^+_t\) ([9]) with \(t\in \mathbb {R}\). These admit an LCK structure \((\varOmega ,\theta )\), by [24]. As noted in [21, Example 5.7], these surfaces have a \([\theta ]\)-horizontal holomorphic action of \(\mathbb {S}^1\) which is not twisted Hamiltonian. This example then shows that we need also to impose the dimension hypothesis on the torus in Theorem 5.

## 7 Holomorphic torus principal bundles

*n*, let

*N*be a compact complex manifold and let \(\pi :M\rightarrow N\) be a holomorphic \(\mathbf {T}\)-principal bundle over

*N*. Its Chern class is an element:

Note that if the rank of \(c(\pi )\) is 1, then there exists a minimal element \(a\in \varLambda \), unique modulo sign, such that the non-torsion part of \(c^\mathbb {Z}(\pi )\) writes \(c^\mathbb {Z}(\pi )_0=c_1^\mathbb {Z}(\pi )\otimes a\) with \(c_1^\mathbb {Z}(\pi )\in H^2(N,\mathbb {Z})\). If \(c_1(\pi )\) is the image of \(c_1^\mathbb {Z}(\pi )\) under \(H^2(N,\mathbb {Z})\rightarrow H^2(N,\mathbb {C})\), then we will have \(c(\pi )=c_1(\pi )\otimes a\), and again \(c_1(\pi )\) is uniquely defined modulo sign. So it makes sense to ask weather \(c_1(\pi )\) is a positive or negative class, i.e. weather \(c_1(\pi )\) or \(-c_1(\pi )\) can be represented by a Kähler form on *N*. In the affirmative case, we will call the class \(c(\pi )\) *definite*.

By a theorem of Blanchard [2], when *N* is of Kähler type, *M* carries a Kähler metric if and only if the rank of \(c(\pi )\) is 0. On the other hand, a theorem of Vuletescu [31] states that if \(n=1\) and the rank of \(c(\pi )\) is 2, then *M* cannot admit LCK metrics.

As a direct application of our existence criterion for Vaisman metrics and of Corollary 1, we obtain a characterisation of manifolds of LCK type among all the compact torus principal bundles over compact complex manifolds.

### Proposition 4

Let \(\mathbf {T}\) be a complex compact *n*-dimensional torus and \(\pi :M\rightarrow N\) be a \(\mathbf {T}\)-principal bundle over a compact complex manifold *N*. Then *M* admits a strict LCK metric if and only if \(n=1\) and the Chern class of \(\pi \) is of rank 1 and definite. In this case, *M* is of Vaisman type.

### Proof

Suppose that *M* admits a strict LCK metric. The complex torus \(\mathbf {T}\) acts holomorphically and effectively on *M*, so, by Theorem 1, *M* admits a Vaisman metric \((\varOmega ,\theta )\). Let *B* be the Lee vector field with \(\theta (B)=1\) and \(A:=JB\). By Proposition 3, \(n=1\) and \(\mathfrak {t}=\mathfrak {Lie}(\mathbf {T})\) is spanned by *A* and *B*. Here, we identify \(\mathfrak {t}\) with its isomorphic image as a subalgebra of \(\varGamma (TM)\).

*N*. The last assertion comes from the fact that, as \(\varOmega \) is Vaisman, we have \(-dJ\theta =\varOmega -\theta \wedge J\theta \), so the (1, 1)-form \(-dJ\theta \) is strictly positive on \(Q:=\ker \theta \cap \ker J\theta \subset TM\). But

*Q*is exactly the horizontal distribution given by the connection \(\alpha \), and so identifies with

*TN*via \(\pi _*\).

The converse statement is given in [28, Theorem 3.5], see also [26]. \(\square \)

## 8 Analytic irreducibility of complex manifolds of LCK type

It is not very difficult to see that a product metric cannot be LCK ([27]), but whether an LCK manifold must be analytically irreducible is still an open question. Under additional hypotheses, the answer is known to be positive ([26, Corollary 3.3], [17, Corollary 2]). In this section, we wish to enlarge the list of hypotheses implying the analytic irreducibility of the manifold.

One of the results in this direction is due to Tsukada, which we can also obtain as a direct consequence of Theorem 1:

### Proposition 5

([26, Corollary 3.3]) Let \(M_1\) and \(M_2\) be two compact complex manifolds of Vaisman type. Then \(M:=M_1\times M_2\) admits no LCK metric.

### Proof

By Theorem 1, the groups of biholomorphisms \(\mathrm {Aut}(M_i)\) contain tori \(\mathbb {T}_i\) which are not totally real, for \(i=1,2\). Then the Lie algebra \(\mathfrak {t}\) of the torus \(\mathbb {T}:=\mathbb {T}_1\times \mathbb {T}_2\subset \mathrm {Aut}(M)\) verifies \(\dim _\mathbb {C}\mathfrak {t}\cap J\mathfrak {t}=2\). Hence, by Corollary 1, *M* cannot admit an LCK metric. \(\square \)

Tsukada obtained Proposition 5 as a corollary to the following result:

### Theorem 6

([26, Theorem 3.2]) Let \((M,\varOmega )\) be a compact Vaisman manifold and let \(\mathcal {F}\) be the canonical foliation on *M* generated by the Lee and the anti-Lee vector fields. Then \(\mathcal {F}\) has a compact leaf.

We can further exploit this and obtain the following, more general, result:

### Theorem 7

Let \(M_1\), \(M_2\) be two compact complex manifolds and suppose that \(M_1\) is of Vaisman type. Then \(M:=M_1\times M_2\) admits no LCK metric.

### Proof

Suppose *M* admits some LCK metric. Then, for any \(x\in M_1\), this metric restricted to \(\{x\}\times M_2\cong M_2\) gives an LCK metric on \(M_2\).

Since \(M_1\) is of Vaisman type, there exists \(\mathbb {T}_1\subset \mathrm {Aut}(M_1)\) whose Lie algebra \(\mathfrak {t}_1\) verifies \(\dim _\mathbb {C}\mathfrak {t}_1\cap J\mathfrak {t}_1=1\). The induced torus \(\mathbb {T}=\mathbb {T}_1\times \{{\textsf {id}}_{M_2}\}\subset \mathrm {Aut}(M)\) is still not totally real, so by Theorem 1, *M* is of Vaisman type and \(\mathfrak {t}:=\mathfrak {Lie}(\mathbb {T})\) contains the corresponding Lee vector field *B*.

Let \(\varOmega \) be a Vaisman metric on *M* which, possibly after averaging, is \(\mathbb {T}\)-invariant. Then for any \(y\in M_2\), \(\varOmega \) restricted to \(M_1\times \{y\}\cong M_1\) must be Vaisman. Indeed, by construction, the Lee vector field *B* is tangent to \(M_1\), and [28, Theorem 5.1] states that any complex submanifold of a Vaisman manifold that is tangent to the Lee vector field is again Vaisman with the induced metric. Let now \(E\subset M_1\) be a closed leaf of the canonical foliation on the Vaisman manifold \(M_1\), as in the above theorem. Clearly, after choosing \(\textit{O}\in E\), *E* has the structure of an elliptic curve whose tangent bundle is generated by *B* and *JB* restricted to *E*. Hence, the submanifold \(i:Y=E\times M_2 \rightarrow M\) together with \(i^*\varOmega \) is Vaisman. At the same time, \(Y\rightarrow M_2\) is a trivial *E*-principal bundle, so we arrive at a contradiction via Proposition 4. \(\square \)

Also, using the result which states that a compact complex submanifold of a Vaisman manifold must contain the leaves of the canonical foliation, one has:

### Proposition 6

A compact complex manifold of Vaisman type is holomorphically irreducible.

### Proof

Let \(M=M_1\times M_2\) be the compact complex manifold with the product complex structure, and suppose it admits a Vaisman metric \(\varOmega \) with corresponding canonical foliation \(\mathcal {F}\) generated by *B*, *JB*. Then, by [25, Thm 3.2], for any \((x_1,x_2)\in M\), both the submanifolds \(M_1\times \{x_2\}\) and \(\{x_1\}\times M_2\) of *M* contain the leaves of \(\mathcal {F}\), which is impossible. \(\square \)

On the other extreme, we have the following result of Ornea, Parton and Vuletescu:

### Theorem 8

([17, Corollary 2]) Let \(M_1\), \(M_2\) be two compact connected complex manifolds, and suppose that \(M_1\) verifies the \(\partial \bar{\partial }\)-lemma. Moreover, if \(M_1\) is a Riemann surface, then suppose that its genus is 0 or 1. Then \(M:=M_1\times M_2\) admits no (strict) LCK metric.

### Remark 6

In [17], the authors claim a proof of Theorem 8 also for the case when \(M_1\) is a Riemann surface of genus \(\ge 2\), but we believe that their argument does not hold. However, we are only able to find restrictions on the manifold \(M_2\) under the hypothesis that \(M_1\times M_2\) admits an LCK metric:

### Proposition 7

Let \(M_1\) be a compact complex curve, let \(M_2\) be a compact complex manifold and suppose that \(M:=M_1\times M_2\) admits an LCK metric. Then \(M_2\) admits an LCK metric with positive potential.

### Proof

Let \((\varOmega , \theta )\) be an LCK structure on *M*. Denote by \(p_i:M\rightarrow M_i\), \(i=1,2\) the canonical projections. We have, by the Künneth formula, an isomorphism \(p_1^*\oplus p_2^*:H^1(M_1,\mathbb {R})\oplus H^1(M_2,\mathbb {R})\rightarrow H^1(M,\mathbb {R})\), meaning that there exist two closed forms \(\theta _i\in \mathcal {C}^\infty (T^*M_i)\), \(i=1,2\), such that \(\theta \) is cohomologuous to \(p_1^*\theta _1+p_2^*\theta _2\). After a conformal change of \(\varOmega \), we can suppose that \(\theta =p_1^*\theta _1+p_2^*\theta _2\). Moreover, as \(M_1\) is Kählerian, up to a conformal change of \(\varOmega \) we can choose \(\theta _1\) to be the real part of a holomorphic one-form, so that \(dJ\theta _1=0\), where *J* is the product complex structure on *M*.

*M*, \(\mathcal {C}^\infty (\bigwedge T^*M)\), has two compatible gradings: one given by the degree of the forms, and the second one induced by the splitting \(T^*M=p^*_1T^*M_1\oplus p_2^*T^*M_2\). With respect to this second splitting, write the differential \(d=d_1+d_2\), and write \(\varOmega =\varOmega _1+\varOmega _{12}+\varOmega _2\in \mathcal {C}^\infty (\bigwedge ^2 T^*M)\), where:

*J*as a derivation acting on forms, and let \(d^c=i(\bar{\partial }-\partial )\). Then, on

*M*we have the commutation relation:

*h*the strictly positive function on \(M_2\) given by \((p_2)_*\varOmega _1\), this also reads:

*M*which is strictly positive on a non-empty open subset of

*M*of the form \(U\times M_2\), where \(U\subset M_1\) is the open set where \(\theta _1\) does not vanish. Then \(\eta :=(p_2)_*\alpha \) is a strictly positive (1, 1)-form on \(M_2\) verifying:

## Notes

### Acknowledgements

I am grateful to Andrei Moroianu for his encouragement and valuable suggestions that improved this paper. Also I thank Paul Gauduchon for pointing out an error in a preliminary version of the paper.

## References

- 1.Belgun, F.: On the metric structure of non-Kähler complex surfaces. Math. Ann.
**317**, 1–40 (2000)MathSciNetCrossRefMATHGoogle Scholar - 2.Blanchard, A.: Espaces fibrés kähleriens compacts. C. R. Acad. Sci. Paris
**238**, 2281–2283 (1954)MathSciNetMATHGoogle Scholar - 3.Bredon, G.: Introduction to Compact Transformation Groups, Pure and Applied Mathematics 46. Academic Press, New York-London (1972)Google Scholar
- 4.Dragomir, S., Ornea, L.: Locally Conformal Kähler Geometry, Progress in Mathematics, vol. 155. Birkhäuser Boston Inc, Boston (1998)CrossRefMATHGoogle Scholar
- 5.Gauduchon, P.: La classe de Chern pluriharmonique d’un fibré en droites. C. R. Acad. Sci. Paris Sér. A-B
**282**(9), 479–482 (1976). AiiMathSciNetMATHGoogle Scholar - 6.Gauduchon, P.: Le théorème de l’excentricité nulle. C. R. Acad. Sci. Paris
**285**, 387–390 (1977)MathSciNetMATHGoogle Scholar - 7.Gauduchon, P., Ornea, L.: Locally conformally Kähler metrics on Hopf surfaces. Ann. Inst. Fourier
**48**, 1107–1127 (1998)MathSciNetCrossRefMATHGoogle Scholar - 8.Goto, R.: On the stability of locally conformal Kähler structures. J. Math. Soc. Jpn.
**66**(4), 1375–1401 (2014)CrossRefMATHGoogle Scholar - 9.Inoue, M.: On surfaces of class \(VII_{0}\). Invent. Math.
**24**, 269–310 (1974)MathSciNetCrossRefGoogle Scholar - 10.Istrati, N.: A characterisation of toric LCK manifolds, preprint (2017). arXiv:1612.03832 (
**to appear in J. Symplectic Geom**.) - 11.Kamishima, Y., Ornea, L.: Geometric flow on compact locally conformally Kähler manifolds. Tôhoku Math. J.
**2**, 201–221 (2005)CrossRefMATHGoogle Scholar - 12.de León, M., López, B., Marrero, J.C., Padrón, E.: On the computation of the Lichnerowicz–Jacobi cohomology. J. Geom. Phys.
**44**(4), 507–522 (2003)MathSciNetCrossRefMATHGoogle Scholar - 13.Madani, F., Moroianu, A., Pilca, M.: On toric locally conformally Kähler manifolds. Ann. Glob. Anal. Geom.
**51**, 401–417 (2017)CrossRefMATHGoogle Scholar - 14.Moroianu, A., Moroianu, S.: On pluricanonical locally conformally Kähler manifolds. IMRN
**14**, 4398–4405 (2017)Google Scholar - 15.Moroianu, A., Moroianu, S., Ornea, L.: Locally conformally Kähler manifolds with holomorphic Lee field, preprint (2017). arXiv:1712.05821
- 16.Oeljeklaus, K., Toma, M.: Non-Kähler compact complex manifolds associated to number fields. Ann. Inst. Fourier
**55**, 1291–1300 (2005)CrossRefMATHGoogle Scholar - 17.Ornea, L., Parton, M., Vuletescu, V.: Holomorphic submersions of locally conformally Kähler manifolds. Annali di Matematica
**193**, 1345–1351 (2014)MathSciNetCrossRefMATHGoogle Scholar - 18.Ornea, L., Verbitsky, M.: Locally conformal Kähler manifolds with potential. Math. Ann.
**248**, 25–33 (2010)CrossRefMATHGoogle Scholar - 19.Ornea, L., Verbitsky, M.: Automorphisms of locally conformally Kähler manifolds. Int. Math. Res. Not.
**2012**(4), 894–903 (2012)CrossRefMATHGoogle Scholar - 20.Ornea, L., Verbitsky, M.: Positivity of LCK potential. J. Geom. Anal. (2018). https://doi.org/10.1007/s12220-018-0046-y MATHGoogle Scholar
- 21.Otiman, A.: Locally Conformally Symplectic Bundles, preprint (2015). arXiv:1510.02770 (
**to appear in J. Symplectic Geom**.) - 22.Otiman, A.: Morse–Novikov cohomology of locally conformally Kähler surfaces. Math. Z.
**289**, 605–628 (2018)MathSciNetCrossRefMATHGoogle Scholar - 23.Pilca, M.: Toric Vaisman manifolds. J. Geom. Phys.
**107**, 149–161 (2016)MathSciNetCrossRefMATHGoogle Scholar - 24.Tricerri, F.: Some examples of locally conformal Kähler manifolds. Rend. Sem. Mat. Univers. Politecn. Torino
**40**, 81–92 (1982)MathSciNetMATHGoogle Scholar - 25.Tsukada, K.: Holomorphic maps of compact generalized Hopf manifolds. Geometriae Dedicata
**68**, 61–71 (1997)MathSciNetCrossRefMATHGoogle Scholar - 26.Tsukada, K.: The canonical foliation of a compact generalized Hopf manifold. Differ. Geom. Appl.
**11**, 13–28 (1999)MathSciNetCrossRefMATHGoogle Scholar - 27.Vaisman, I.: On Locally and Globally Conformal Kähler Manifolds. Trans. Amer. Math. Soc.
**262**(2), 553–542 (1980)MathSciNetMATHGoogle Scholar - 28.Vaisman, I.: Generalized Hopf manifolds. Geometriae Dedicata
**13**, 231–255 (1982)MathSciNetCrossRefMATHGoogle Scholar - 29.Vaisman, I.: Locally conformal symplectic manifolds. Internat. J. Math. Math. Sci.
**3**, 521–536 (1985)MathSciNetCrossRefMATHGoogle Scholar - 30.Verbitsky, M.S.: Theorems on the vanishing of cohomology for locally conformally hyper Kähler manifolds, (Russian) Tr. Mat. Inst. Steklova 246 (2004), Algebr. Geom. Metody, Svyazi i Prilozh., 64–91; translation. Proc. Steklov Inst. Math.
**246**, 54–78 (2004)Google Scholar - 31.Vuletescu, V.: LCK metrics on elliptic principal bundles, preprint (2010). arXiv:1001.0936

## Copyright information

**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.