Abstract
We show that a Killing field on a compact pseudo-Kähler ddbar manifold is necessarily (real) holomorphic. Our argument works without the ddbar assumption in real dimension four. The claim about holomorphicity of Killing fields on compact pseudo-Kähler manifolds appears in a 2012 paper by Yamada, and in an appendix we provide a detailed explanation of why we believe that Yamada’s argument is incomplete.
Similar content being viewed by others
1 Introduction
By a pseudo-Kähler manifold we mean a pseudo-Riemannian manifold \(\,(M\hspace{-0.7pt},g)\) endowed with a \(\,\nabla \hspace{-0.7pt}\)-parallel almost-complex structure \(\,J\), for the Levi-Civita connection \(\,\nabla \hspace{0.7pt}\) of \(\,g\), such that the operator \(\,J\hspace{-1.5pt}_x\,:{T\hspace{-2.9pt}_x\,\hspace{-0.4pt}M}\rightarrow {T\hspace{-2.9pt}_x\,\hspace{-0.4pt}M}\,\) is a linear \(\,g_x\,\hspace{-0.7pt}\)-isometry (or is, equivalently, \(\,g_x\,\hspace{-0.7pt}\)-skew-adjoint) at every point \(\,x\in M\hspace{-0.7pt}\). This implies integrability of \(\,J\,\) (see the comment preceding Lemma 3.1). We then call \(\,(M\hspace{-0.7pt},g)\) a pseudo-Kähler \(\,\partial \hspace{1.7pt}\overline{\hspace{-2.0pt}\partial }\) manifold if, in addition, the underlying complex manifold \(\,M\,\) has the following \(\,\partial \hspace{1.7pt}\overline{\hspace{-2.0pt}\partial }\) property, also referred to as the \(\,\partial \hspace{1.7pt}\overline{\hspace{-2.0pt}\partial }\hspace{0.7pt}\) lemma:
It is well known that the \(\,\partial \hspace{1.7pt}\overline{\hspace{-2.0pt}\partial }\,\) property follows if \(\,M\) is compact and admits a Riemannian Kähler metric [5, Prop. 6.17 on p. 144].
Theorem A
Every Killing vector field on a compact pseudo-Kähler \(\,\partial \hspace{1.7pt}\overline{\hspace{-2.0pt}\partial }\) manifold is real holomorphic.
We provide two proofs of Theorem A, in Sects. 3 and 4. The former is derived directly from the \(\,\partial \hspace{1.7pt}\overline{\hspace{-2.0pt}\partial }\,\) condition; the latter, shorter, relies on the Hodge decomposition, which is equivalent to the \(\,\partial \hspace{1.7pt}\overline{\hspace{-2.0pt}\partial }\,\) property [2, p. 269, subsect. (5.21)].
The Riemannian-Kähler case of Theorem A is well known, and straightforward [1, the lines following Remark 4.83 on pp. 60–61]. See also Remark 2.2.
For pseudo-Kähler surfaces, our argument yields a stronger conclusion.
Theorem B
In real dimension four, the assertion of Theorem A holds without the \(\,\partial \hspace{1.7pt}\overline{\hspace{-2.0pt}\partial }\) hypothesis.
The authors wish to express their gratitude to Kirollos Masood for bringing Yamada’s paper [7] to the first author’s attention and discussing with him issues involving Theorem B, formula (4.3), and the Appendix. We also thank Fangyang Zheng for very useful suggestions about Lemma 3.1, and Takumi Yamada for a brief but helpful communication.
2 Proof of Theorem B
All manifolds, mappings, tensor fields, and connections are assumed smooth.
Lemma 2.1
Given a connection \(\,\nabla \) on a manifold \(\,M\hspace{-0.7pt}\), let a vector field \(\,v\,\) on \(\,M\,\) be affine in the sense that its local flow preserves \(\,\nabla \hspace{-1.0pt}\). Then, for any \(\,\nabla \hspace{-0.7pt}\)-parallel tensor field \(\,\varTheta \hspace{0.4pt}\) on \(\,M\hspace{-0.7pt}\), of any type, the Lie derivative \(\,\pounds \hspace{-1.0pt}_v\,\varTheta \,\) is \(\,\nabla \hspace{-0.7pt}\)-parallel as well. If \(\,\varTheta \,\) happens to be a closed differential form, \(\,\pounds \hspace{-1.0pt}_v\,\varTheta =\hspace{0.4pt}d\hspace{0.7pt}[\varTheta (v,\,\cdot \,,\ldots ,\,\cdot \,)]\).
Proof
Clearly, \(\,-\hspace{-1.0pt}\pounds \hspace{-1.0pt}_v\,\varTheta \,\) is the derivative with respect to the real variable \(\,t\), at \(\,t=0\), of the push-forwards \(\,[d\phi \hspace{-0.4pt}_t\,]\varTheta \,\) under the local flow \(\,t\mapsto \phi \hspace{-0.4pt}_t\,\) of \(\,v\). All \(\,[d\phi \hspace{-0.4pt}_t\,]\varTheta \) being \(\,\nabla \hspace{-0.7pt}\)-parallel, so is \(\,\pounds \hspace{-1.0pt}_v\,\varTheta \). For the final clause, use Cartan’s homotopy formula \(\,\pounds \hspace{-1.0pt}_v\,=\imath _v\,\hspace{-0.4pt}d+d\hspace{0.7pt}\imath _v\,\) for \(\,\pounds \hspace{-1.0pt}_v\,\) acting on differential forms [4, Thm. 14.35, p. 372]. \(\square \)
Lemma 2.1 also follows from the Leibniz rule: \(\,\pounds \hspace{-1.0pt}_v\,(\nabla \hspace{-0.7pt}\varTheta ) =(\pounds \hspace{-1.0pt}_v\,\nabla )\hspace{0.7pt}\varTheta +\nabla \hspace{-0.7pt}(\pounds \hspace{-1.0pt}_v\,\varTheta )\).
Let \(\,(M\hspace{-0.7pt},g)\,\) now be a fixed pseudo-Kähler manifold. If \(\,v\,\) is any vector field on \(\,M\,\) then, with \(\,J\,\) and \(\,\nabla \hspace{-0.7pt}v\,\) treated as bundle morphisms \(\,T\hspace{-0.7pt}M\rightarrow T\hspace{-0.7pt}M\hspace{-0.7pt}\),
which is immediate from the Leibniz rule. For the Kähler form \(\,\omega =g(J\hspace{0.7pt}\cdot ,\,\cdot \,)\,\) of \(\,(M\hspace{-0.7pt},g)\,\) and any \(\,g\)-Killing vector field \(\,v\), it follows from (2.1) and Lemma 2.1 that
Given an exact \(\,p\hspace{0.7pt}\)-form \(\,\alpha \,\) on a compact pseudo-Riemannian manifold \(\hspace{0.7pt}(M\hspace{-0.7pt},g)\),
Namely, \(\,(\theta ,\alpha )=(\mu ,\alpha )=(\mu ,d\hspace{0.4pt}\beta ) =(d\hspace{0.4pt}^*\hspace{-1.5pt}\mu ,\beta )\,\) for \(\,\beta \,\) with \(\,\alpha =d\hspace{0.4pt}\beta \,\) and the skew-symmetric part \(\,\mu \,\) of \(\,\theta \), while \(\,d\hspace{0.4pt}^*\hspace{-1.5pt}\mu =0\), as \(\,\nabla \hspace{-0.7pt}\mu =0\). Here, \(\,(,\hspace{0.7pt})\,\) is the \(\,L\hspace{-0.7pt}^2\) inner product, assigning to two tensor fields of the same type the integral over \(\,M\,\) of their \(\,g\)-inner product, and \(\,d\hspace{0.4pt}^*\) denotes the \(\,g\)-divergence.
Remark 2.2
By (2.2-ii) and (2.3), for a Killing field \(\,v\,\) on a compact Riemannian Kähler manifold, \(\,\pounds \hspace{-1.0pt}_v\,\hspace{0.7pt}\omega \,\) is \(\,L\hspace{-0.7pt}^2\hspace{-0.7pt}\)-orthogonal to itself, and so, as a consequence of (2.2-i), \(\,v\,\) must be real holomorphic.
Let \(\,(M\hspace{-0.7pt},g)\,\) be, again, a pseudo-Kähler manifold. The vector bundle morphisms \(\,C:T\hspace{-0.7pt}M\rightarrow T\hspace{-0.7pt}M\,\) having \(\,C^*=-C\,\) (that is, \(\,g_x\,\hspace{-0.7pt}\)-skew-adjoint at every point \(\,x\in M\)) constitute the sections of
We denote by \(\,\mathcal {E}\hspace{0.7pt}\) the vector subbundle of \(\,\mathfrak {so}\hspace{0.4pt}(T\hspace{-0.7pt}M)\), the sections \(\,C\,\) of which are also complex-antilinear (so that \(\,JC=-C\hspace{-0.4pt}J\), in addition to \(\,C^*=-C\)). Then,
In fact, \(\,C\mapsto JC\,\) provides the complex structure for \(\,\mathcal {E}\hspace{-0.7pt}\). Nondegeneracy of \(\,g\) restricted to \(\,\mathcal {E}\hspace{0.7pt}\) follows from \(\,g\)-orthogonality of the decomposition , the sections \(\,C\,\) of the subbundle \(\,\mathcal {D}\,\) being characterized by \(\,JC=-C\hspace{-0.4pt}J\,\) and \(\,C^*\hspace{-0.7pt}=C\), with orthogonal to \(\,\mathcal {E}\hspace{0.7pt}\oplus \mathcal {D}\hspace{0.7pt}\) since any antilinear morphism \(\,C:T\hspace{-0.7pt}M\rightarrow T\hspace{-0.7pt}M\,\) is conjugate, via \(\,J\), to \(\,-C\), and so \(\,\textrm{tr}_{\hspace{0.4pt}\mathrm {I\!R}\hspace{0.0pt}}\,C=0\). The pseudo-Hermitian fiber metric in \(\,\mathcal {E}\hspace{0.7pt}\) arises by restricting \(\,\langle \hspace{0.4pt}\cdot \hspace{0.7pt},\hspace{-0.4pt}\cdot \hspace{0.4pt}\rangle -i\langle J\hspace{0.7pt}\cdot \hspace{0.7pt},\hspace{-0.4pt}\cdot \hspace{0.4pt}\rangle \,\) to \(\,\mathcal {E}\hspace{-0.7pt}\), for the pseudo-Riemannian fiber metric \(\,\langle \hspace{0.4pt}\cdot \hspace{0.7pt},\hspace{-0.4pt}\cdot \hspace{0.4pt}\rangle \,\) in \(\,\textrm{End}_{\hspace{0.4pt}\mathrm {I\!R}\hspace{0.0pt}}\,(T\hspace{-0.7pt}M)\,\) induced by \(\,g\). The rank \(\,m(m-1)/2\,\) follows since \(\,\mathfrak {so}\hspace{0.4pt}(T\hspace{-0.7pt}M)=\mathfrak {u}\hspace{0.4pt}(T\hspace{-0.7pt}M)\oplus \mathcal {E}\hspace{-0.7pt}\), with \(\,\mathfrak {u}\hspace{0.4pt}(T\hspace{-0.7pt}M)\subseteq \mathfrak {so}\hspace{0.4pt}(T\hspace{-0.7pt}M)\) characterized by having sections \(\,C:T\hspace{-0.7pt}M\rightarrow T\hspace{-0.7pt}M\,\) that commute with \(\,J\,\) (which, due to their \(\,g\)-skew-adjointness, makes them also \(\,g\hspace{-0.4pt}^{\textbf{c}}\hspace{-0.7pt}\)-skew-adjoint, for \(\,g\hspace{-0.4pt}^{\textbf{c}}\hspace{-0.7pt}=g-i\hspace{0.7pt}\omega \)): \(\,\mathfrak {so}\hspace{0.4pt}(T\hspace{-0.7pt}M)\) and \(\,\mathfrak {u}\hspace{0.4pt}(T\hspace{-0.7pt}M)\,\) have the real ranks \(\,m(2m-1)\,\) and \(\,m^2\hspace{-0.7pt}\).
Proof of Theorem B
By (2.5), with \(\,m=2\), the pseudo-Hermitian fiber metric in the line bundle \(\,\mathcal {E}\hspace{0.7pt}\) must be positive or negative definite. Hence, so is its \(\,g\)-induced real part. For any Killing field \(\,v\), (2.2-ii) implies that \(\,A=\pounds \hspace{-1.0pt}_v\,J\,\) is a section of \(\,\mathcal {E}\hspace{0.7pt}\) which, due to (2.2)–(2.3), is \(\,L\hspace{-0.7pt}^2\hspace{-0.7pt}\)-orthogonal to itself, and so \(\,\pounds \hspace{-1.0pt}_v\,J=0\). \(\square \)
The above proof does not extend to compact pseudo-Kähler manifolds \(\hspace{0.7pt}(M\hspace{-0.7pt},g)\,\) of complex dimensions \(\,m>2\,\) with indefinite metrics. Namely, if the pair \(\,(j,k)\) represents the metric signature of \(\,g\), with \(\,j\,\) minuses and \(\,k\,\) pluses (both \(\,j,k\) even, \(\,j+k=2m\)), then the analogous signature of the real part (induced by \(\,g\)) of the pseudo-Hermitian fiber metric in \(\,\mathcal {E}\hspace{0.7pt}\) is \(\,(jk/2,\,[\hspace{0.7pt}j^2\hspace{-0.7pt}+k^2\hspace{-0.7pt}-2(j+k)]/4)\), with both components (indices) positive unless \(\,jk=0\,\) or \(\,j=k=2\).
One easily verifies this last claim, about the signature, by using a \(\,J\hspace{-1.5pt}_x\,\)-invariant timelike-spacelike orthogonal decomposition of \(\,{T\hspace{-2.9pt}_x\,\hspace{-0.4pt}M}\hspace{-0.7pt}\), at any \(\,x\in M\hspace{-0.7pt}\), to obtain obvious three-summand orthogonal decompositions of both \(\,\mathfrak {so}\hspace{0.4pt}(T\hspace{-0.7pt}M)\,\) and \(\,\mathfrak {u}\hspace{0.4pt}(T\hspace{-0.7pt}M)\) at \(\,x\), two summands being spacelike, and one timelike.
3 Proof of Theorem A
We denote by \(\,\varOmega \hspace{0.7pt}^{p,q}\hspace{-1.0pt}M\,\) the space of complex-valued differential \(\,(p,q)\,\) forms on a complex manifold \(\,M\hspace{-0.7pt}\). On such \(\,M\hspace{-0.7pt}\), as \(\,\overline{\hspace{-2.0pt}\partial }\hspace{0.7pt}\zeta =0\,\) whenever \(\,d\hspace{0.7pt}\zeta =0\),
Conversely, according to [2, p. 269, subsect. (5.21)] and [6, p. 101, Corollary 9.5], on a compact complex \(\,\partial \hspace{1.7pt}\overline{\hspace{-2.0pt}\partial }\) manifold,
Since many expositions do not state what happens when, in the \(\,\partial \hspace{1.7pt}\overline{\hspace{-2.0pt}\partial }\,\) property (1.1), \(\,p\,\) or \(\,q\,\) equals \(\,0\), we note that, as Fangyang Zheng pointed out to us, (1.1) for \(\,(p,0)\,\) forms easily follows from the case where \(\,p\) and \(\,q\,\) are positive.
Lemma 3.1
On a compact complex manifold \(M\hspace{-0.7pt}\) with the “positive (p, q) version” of the \(\,\partial \hspace{1.7pt}\overline{\hspace{-2.0pt}\partial }\) property, if \(\,\xi \in \varOmega \hspace{0.7pt}^{p,0}\hspace{-1.0pt}M\hspace{-0.7pt}\), for \(\,p\ge 1\), and \(\,\partial \hspace{0.7pt}\xi \,\) is closed, then \(\,\partial \hspace{0.7pt}\xi =0\).
Proof
As \(\,0=d\hspace{0.4pt}\partial \hspace{0.7pt}\xi =\overline{\hspace{-2.0pt}\partial }\hspace{-0.3pt}\partial \hspace{0.7pt}\xi =-\partial \hspace{1.7pt}\overline{\hspace{-2.0pt}\partial }\hspace{0.7pt}\xi \), the “positive” \(\,\partial \hspace{1.7pt}\overline{\hspace{-2.0pt}\partial }\,\) lemma applied to the closed \(\,\overline{\hspace{-2.0pt}\partial }\hspace{0.7pt}\)-exact \(\,(p,1)\,\) form \(\,\overline{\hspace{-2.0pt}\partial }\hspace{0.7pt}\xi \,\) gives \(\,\overline{\hspace{-2.0pt}\partial }\hspace{0.7pt}\xi =\overline{\hspace{-2.0pt}\partial }\hspace{-0.3pt}\partial \hspace{0.7pt}\eta \,\) for some \(\,\eta \in \varOmega \hspace{0.7pt}^{p-1,0}\hspace{-1.0pt}M\hspace{-0.7pt}\). Being thus holomorphic, \(\,\xi -\partial \hspace{0.7pt}\eta \in \varOmega \hspace{0.7pt}^{p,0}\hspace{-1.0pt}M\,\) is closed by (3.2), and \(\,0=\partial \hspace{0.7pt}(\xi -\partial \hspace{0.7pt}\eta )=\partial \hspace{0.7pt}\xi \). \(\square \)
Lemma 3.1 implies, via complex conjugation, its analog for \(\,(0,q)\,\) forms. Also by Lemma 3.1, on a compact complex manifold \(\,M\,\) with the \(\,\partial \hspace{1.7pt}\overline{\hspace{-2.0pt}\partial }\) property,
since exactness of \(\,\zeta \in \varOmega \hspace{0.7pt}^{p,0}\hspace{-1.0pt}M\,\) amounts to its \(\,\partial \hspace{0.7pt}\)-exactness and implies its closedness.
For a pseudo-Kähler manifold \(\,(M\hspace{-0.7pt},g)\), a bundle morphism \(\,A:T\hspace{-0.7pt}M\rightarrow T\hspace{-0.7pt}M\hspace{-0.7pt}\), and the corresponding twice-covariant tensor field \(\,\alpha =g(A\hspace{0.7pt}\cdot ,\,\cdot \,)\), one clearly has
Given a pseudo-Kähler manifold \(\,(M\hspace{-0.7pt},g)\), vector fields \(\,u,v\,\) on \(\,M\,\) and sections \(\,A,C\,\) of \(\,\mathfrak {so}\hspace{0.4pt}(T\hspace{-0.7pt}M)\), cf. (2.4), may be used to represent a complex-valued \(\,1\)-form \(\,\xi \) and \(\,2\)-form \(\,\zeta \,\) on \(\,M\hspace{-0.7pt}\), as follows,
meaning that \(\,\xi =g(u,\,\cdot \,)+ig(v,\,\cdot \,)\,\) and \(\,\zeta =g(A\hspace{0.7pt}\cdot ,\,\cdot \,)+ig(C\hspace{0.7pt}\cdot ,\,\cdot \,)\). We prefer not to think of (3.5) as sections of the complexifications of \(\,T\hspace{-0.7pt}M\,\) or \(\,\mathfrak {so}\hspace{0.4pt}(T\hspace{-0.7pt}M)\). For a vector field \(\,v\,\) treated via (3.5) as a real \(\,1\)-form, and \(\,B=\nabla \hspace{-0.7pt}v\), our factor convention for the exterior derivative gives
Remark 3.2
On a complex manifold, a real-valued \(\,2\)-form \(\,\alpha \,\) is the real part of a complex-bilinear complex-valued \(\,2\)-form \(\,\zeta \,\) if and only if \(\,\alpha (J\hspace{0.7pt}\cdot ,J\hspace{0.7pt}\cdot \hspace{0.7pt})=-\alpha \), and then necessarily \(\,\zeta =\alpha -i\hspace{0.4pt}\alpha (J\hspace{0.7pt}\cdot ,\,\cdot \,)\). (This clearly remains valid for arbitrary twice-covariant tensor fields, without skew-symmetry.)
Remark 3.3
For a complex-valued \(\,2\)-form \(\,\zeta \,\) on a complex manifold \(\,M\hspace{-0.7pt}\), having bidegree \(\,(2,0)\), or \(\,(0,2)\), or \(\,(1,1)\,\) clearly amounts to its being complex-bilinear, or bi-antilinear or, respectively, \(\,J\)-invariant: \(\,\zeta (J\hspace{0.7pt}\cdot ,J\hspace{0.7pt}\cdot \hspace{0.7pt})=\zeta \). Sums \(\,\zeta \,\) of \(\,(2,0)\) and \(\,(0,2)\,\) forms are similarly characterized by \(\,J\)-anti-invariance: \(\,\zeta (J\hspace{0.7pt}\cdot ,J\hspace{0.7pt}\cdot \hspace{0.7pt})=-\hspace{0.7pt}\zeta \). Thus, by (3.4), in the pseudo-Kähler case, \(\,\zeta =A+i\hspace{0.4pt}C\,\) in (3.5) is a \(\,(1,1)\,\) form if and only if \(\,A\,\) and \(\,C\,\) commute with \(\,J\).
Lemma 3.4
For a Killing vector field \(\,v\,\) on a pseudo-Kähler manifold \(\,(M\hspace{-0.7pt},g)\), using the notation of (3.5), we have
Proof
First, \(\,J\hspace{-0.4pt}B\hspace{-0.4pt}J-B\), as well as \(\,A=[J,B\hspace{0.4pt}]\,\) and \(\,AJ\), are \(\,g_x\,\hspace{-0.7pt}\)-skew-adjoint at every point \(\,x\in M\hspace{-0.7pt}\), since so is \(\,B=\nabla \hspace{-0.7pt}v\), and \(\,A\,\) anticommutes with \(\,J\), cf. (2.1). Thus, \(\,\xi ,\zeta \,\) and \(\,\gamma =i\hspace{0.4pt}(J\hspace{-0.4pt}B\hspace{-0.4pt}J-B)\,\) are indeed differential forms of degrees \(\,1,\,2,\,2\).
Furthermore, \(\,\xi \,\) is complex-linear, and \(\,\zeta \,\) complex-bilinear. This is immediate for \(\,\xi \). For \(\,\zeta \), note that \(\,\zeta =\alpha -i\hspace{0.4pt}\alpha (J\hspace{0.7pt}\cdot ,\,\cdot \,)\), where \(\,\alpha =g(A\hspace{0.7pt}\cdot ,\,\cdot \,)\), while (2.1) and (3.4) give \(\,\alpha (J\hspace{0.7pt}\cdot ,J\hspace{0.7pt}\cdot \hspace{0.7pt})=-\alpha \). Now we can use Remark 3.2.
Thus, \(\,\xi \in \varOmega \hspace{0.7pt}^{1,0}\hspace{-1.0pt}M\hspace{-0.7pt}\). Also, according to Remark 3.3, \(\,\zeta \in \varOmega \hspace{0.7pt}^{2,0}\hspace{-1.0pt}M\,\) and \(\,\gamma \in \varOmega \hspace{0.7pt}^{1,1}\hspace{-1.0pt}M\hspace{-0.7pt}\), since \(\,J\hspace{-0.4pt}B\hspace{-0.4pt}J-B\,\) obviously commutes with \(\,J\). Finally, for \(\,A=[J,B\hspace{0.4pt}]\), (3.6) with \(\,B^*\hspace{-0.7pt}=-B\,\) gives \(\,d\hspace{0.4pt}\xi =A-2i\hspace{0.4pt}B=[A-i(J\hspace{-0.4pt}B\hspace{-0.4pt}J+B)]+i\hspace{0.4pt}(J\hspace{-0.4pt}B\hspace{-0.4pt}J-B)\), while the summands \(\,A-i(J\hspace{-0.4pt}B\hspace{-0.4pt}J+B)=A-iAJ=\hspace{0.7pt}\zeta \,\) and \(\,i\hspace{0.4pt}(J\hspace{-0.4pt}B\hspace{-0.4pt}J-B)=\gamma \,\) lie in \(\,\varOmega \hspace{0.7pt}^{2,0}\hspace{-1.0pt}M\) and \(\,\varOmega \hspace{0.7pt}^{1,1}\hspace{-1.0pt}M\hspace{-0.7pt}\), which completes the proof. \(\square \)
Proof of Theorem A
By (2.2) and (3.4), the \(\,\partial \hspace{0.7pt}\)-exact \(\,(2,0)\,\) form \(\,\zeta =\partial \hspace{0.7pt}\xi \) in (3.7) is parallel, and hence closed. Lemma 3.1 now gives \(\,\zeta =0\), so that \(\,\,\pounds \hspace{-1.0pt}_v\,J=A=0\,\) due to (2.1) and (3.7). \(\square \)
4 Another Proof of Theorem A
On a compact complex manifold \(\,M\,\) with the \(\,\partial \hspace{1.7pt}\overline{\hspace{-2.0pt}\partial }\) property, every cohomology space has the Hodge decomposition [2, p. 269, subsect. (5.21)]:
with each \(\,H^{p,q}\hspace{-1.0pt}M\,\) consisting of cohomology classes of closed \(\,(p,q)\,\) forms. The complex conjugation of differential forms descends to a real-linear involution of , the fixed points of which obviously are the real cohomology classes (those containing real closed differential forms). In terms of the decomposition (4.1), a complex cohomology class
The standard formula \(\,N(u,v)=[u,v]+J[Ju,v]+J[u,Jv]-[Ju,Jv]\), for the Nijenhuis tensor \(\,N\,\) of an almost-complex structure \(\,J\,\) on a manifold \(\,M\,\) and any vector fields \(\,u,v\), clearly becomes
when one uses any fixed torsionfree connection \(\,\nabla \hspace{0.7pt}\) on \(\,M\hspace{-0.7pt}\). We call \(\,\nabla \hspace{0.7pt}\) a Kähler connection for the given almost-complex structure \(\,J\,\) if it is torsionfree and \(\,\nabla \hspace{-1.0pt}J=0\). By (4.3), \(\,J\,\) then must be integrable. This implies integrability of \(\,J\,\) in any pseudo- Kähler manifold, as one then has \(\,\nabla \hspace{-1.0pt}J=0\,\) for the Levi-Civita connection \(\,\nabla \hspace{-0.7pt}\).
Lemma 4.1
For any \(\,\nabla \hspace{-0.7pt}\)-parallel real \(\,2\)-form \(\,\alpha \,\) on a complex manifold \(\,M\) with a Kähler connection \(\,\nabla \hspace{-1.0pt}\), such that \(\,\alpha (J\hspace{0.7pt}\cdot ,J\hspace{0.7pt}\cdot \hspace{0.7pt})=-\alpha \), the complex-valued \(\,2\)-form \(\,\zeta =\alpha -i\alpha (J\hspace{0.7pt}\cdot ,\,\cdot \,)\) is holomorphic. If, in addition, \(\,M\,\) is also compact and has the \(\,\partial \hspace{1.7pt}\overline{\hspace{-2.0pt}\partial }\) property, while \(\,\alpha \,\) is exact, then \(\,\alpha =0\).
Proof
The relation \(\,\alpha (J\hspace{0.7pt}\cdot ,J\hspace{0.7pt}\cdot \hspace{0.7pt})=-\alpha \,\) amounts to complex-bilinearity of \(\,\zeta \), and so \(\,\zeta \in \varOmega \hspace{0.7pt}^{2,0}\hspace{-1.0pt}M\,\) (Remarks 3.2 – 3.3). Being \(\,\nabla \hspace{-0.7pt}\)-parallel, \(\,\zeta \,\) is closed, and hence holomorphic due to (3.1). The final clause: exactness of \(\,\alpha \,\) makes \(\,[i\zeta ]\in H^{2,0}\hspace{-1.0pt}M\,\) a real cohomology class, so that, by (4.2), \(\,\zeta \,\) is exact, and (3.3) gives \(\,\zeta =0\). \(\square \)
Another proof of Theorem A
Given a Killing field \(\,v\), the differential \(\,2\)-form \(\,\alpha =\pounds \hspace{-1.0pt}_v\,\hspace{0.7pt}\omega \,\) is parallel and exact by (2.2), while (2.2) gives \(\,J\hspace{-0.7pt}A=-\hspace{-0.7pt}AJ\,\) for \(\,A=\pounds \hspace{-1.0pt}_v\,J\), related to \(\,\alpha \,\) via \(\,\alpha =g(A\hspace{0.7pt}\cdot ,\,\cdot \,)\), and so \(\,\alpha (J\hspace{0.7pt}\cdot ,J\hspace{0.7pt}\cdot \hspace{0.7pt})=-\alpha \,\) due to (3.4). Lemma 4.1 and (2.2-i) now yield \(\,\pounds \hspace{-1.0pt}_v\,\hspace{0.7pt}\omega =\alpha =0\,\) and \(\,\pounds \hspace{-1.0pt}_v\,J=0\). \(\square \)
We do not know whether—aside from Theorem B and the Riemannian case—Theorem A remains valid without the \(\hspace{0.7pt}\partial \hspace{1.7pt}\overline{\hspace{-2.0pt}\partial }\hspace{0.7pt}\) hypothesis. For possible future reference, let us note that, as shown above, one has the following conclusions about a Killing field \(\,v\,\) on a compact pseudo-Kähler manifold, whether or not the \(\,\partial \hspace{1.7pt}\overline{\hspace{-2.0pt}\partial }\) property is assumed. First, for \(\,\alpha =\pounds \hspace{-1.0pt}_v\,\hspace{0.7pt}\omega \), the complex-valued \(\,2\)-form \(\,\zeta =\alpha -i\alpha (J\hspace{0.7pt}\cdot ,\,\cdot \,)\,\) is parallel and holomorphic (see the preceding proof and Lemma 4.1). Also, by (2.2), \(\,\alpha \,\) is exact, while \(\,A=\pounds \hspace{-1.0pt}_v\,J:T\hspace{-0.7pt}M\rightarrow T\hspace{-0.7pt}M\,\) is parallel and complex-antilinear, as well as nilpotent at every point. This last conclusion follows since the constant function \(\,\textrm{tr}_{\hspace{0.4pt}\mathrm {I\!R}\hspace{0.0pt}}\,A\hspace{-0.4pt}^k\hspace{-0.7pt}\), with any integer \(\,k\ge 1\), has zero integral as a consequence of (2.3) applied to \(\,\alpha =g(A\hspace{0.7pt}\cdot ,\,\cdot \,)\,\) and \(\,\theta =g(A^{k-1}\cdot ,\,\cdot \,)\).
References
Ballmann, W.: Lectures on Kähler Manifolds. ESI Lectures in Mathematics and Physics, European Mathematical Society, Zürich (2006)
Deligne, P., Griffiths, P., Morgan, J., Sullivan, D.: Real homotopy theory of Kähler manifolds. Invent. Math. 29, 245–274 (1975)
Kobayashi, S.: Transformation Groups in Differential Geometry. Springer, Berlin (1972)
Lee, J.M.: Introduction to Smooth Manifolds. Graduate Texts in Mathematics, vol. 218, 2nd edn. Springer, New York (2013)
Voisin, C.: Hodge Theory and Complex Algebraic Geometry, I. Cambridge Studies in Advanced Mathematics, vol. 76. Cambridge University Press, Cambridge (2002)
Ueno, K.: Classification Theory of Algebraic Varieties and Compact Complex Spaces. Lecture Notes in Mathematics, vol. 439. Springer, Berlin (1975)
Yamada, T.: Holomorphic vector fields of compact pseudo-Kähler manifolds. J. Geom. Phys. 62, 740–750 (2012)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix: Yamada’s argument
Appendix: Yamada’s argument
Yamada’s claim [7, Proposition 3.1] that on a compact pseudo-Kähler manifold, Killing fields are real holomorphic, has a proof which reads, verbatim,
Proposition 1.2 of [7], cited from Kobayashi’s book [3], amounts to the well-known harmonic-flow condition satisfied by Killing fields \(\,v\,\) on pseudo-Riemannian manifolds. Thus, 2.12 in (A.1) should read 2.14, since Propositions 1.2 and 2.14 refer to the Ricci tensor quite prominently, while 2.12 does not mention it at all; also, Proposition 2.14 contains, in its second part, a holomorphicity conclusion.
In the ninth line of the proof of the second part of Proposition 2.14, it is established—correctly—that, for every \(\,(1,0)\,\) vector field \(\,Y\hspace{-0.7pt}\), and \(\,Z\,\) in (A.1), \(\,\nabla ''\hspace{-1.0pt}Z\) is \(\,L\hspace{-0.7pt}^2\hspace{-0.7pt}\)-orthogonal to \(\,\nabla ''Y\hspace{-1.0pt}\). Then, an attempt is made to conclude that \(\,\nabla ''\hspace{-1.0pt}Z=0\), arguing by contradiction: if \(\,\nabla ''\hspace{-1.0pt}Z\ne 0\,\) at some point \(\,z_0\,\), one can—again correctly—find \(\,Y\hspace{0.4pt}\) having \(\,g(\nabla ''\hspace{-1.0pt}Z,\nabla ''Y)\ne 0\,\) everywhere in some neighborhood of \(\,z_0\,\). As a next step, it is claimed that a contradiction arises: cited verbatim,
It is here that the argument seems incomplete: such a cut-off function \(\,\varphi \,\) equals \(\,1\,\) on some small “open ball” \(\,B\,\) centered at \(\,z_0\,\), and vanishes outside a larger “concentric ball” \(\,B'\hspace{-0.7pt}\), and after the original choice of \(\,Y\hspace{0.4pt}\) has been replaced by \(\,\varphi Y\hspace{-1.0pt}\), there is no way to control the integral of \(\,g(\nabla ''\hspace{-1.0pt}Z,\nabla ''\hspace{-0.7pt}(\varphi Y))\,\) over \(\,B'\hspace{-0.7pt}\smallsetminus B\,\) (while the integrals over \(\,B\,\) and \(\,M\smallsetminus B'\) have fixed values). More precisely, the sum of the three integrals must be zero, \(\,\nabla ''\hspace{-1.0pt}Z\,\) being \(\,L\hspace{-0.7pt}^2\hspace{-0.7pt}\)-orthogonal to all \(\,\nabla ''Y\hspace{-1.0pt}\).
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
Derdzinski, A., Terek, I. Killing Fields on Compact Pseudo-Kähler Manifolds. J Geom Anal 34, 144 (2024). https://doi.org/10.1007/s12220-024-01591-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s12220-024-01591-z