Let me be more specific. Let $M$ be a Kahler manifold with Riemannian metric $g$ and complex structure $I$. Then $T^\ast M$ will also be Kahler with metric and complex structure induced from $M$ (I will give them the same name). It is also holomorphic symplectic, with canonical holomorphic symplectic form $\Omega _\mathbb C$.

If $M$ was an affine space with the standard metric I could define $\omega _J$ and $\omega _K$ on $T^\ast M$ by taking the real and imaginary parts of $\Omega _\mathbb C$ which would define a hyperkahler structure on $T^\ast M$ (everything is covariantly constant with constant coefficients).

Question 1: Does this work for a general kahler manifold $M$? It seems a bit unreasonable to me, as the construction of $\Omega _\mathbb C$ does not depend on the metric (but does depend on the complex structure, which is compatible with the metric...)

I also know that every hyperkahler manifold is holomorphic symplectic (with $\Omega _\mathbb C = \omega _J + I\omega _K$) and Yau's theorem implies that every compact holomorphic symplectic manifold is hyperkahler.

Question 2: Does $T^\ast M$ admit a hyperkahler metric, with the associated holomorphic symplectic form the canonical one (coming from the cotangent bundleness)?

Question 3: Is $g$ a hyperkahler metric for $T^\ast M$ at all? Or, does $T^\ast M$ admit a hyperkahler metric at all?

I don't know much about this sort of thing, but it seemed like a natural question to me, and I couldn't find an answer anywhere.

  • 5
    $\begingroup$ I don't think that this is true in general. There are special cases where this is true, though. I think that if $M$ is a generalised flag manifold then yes, by results of Nakajima and also Biquard. Similarly if $M$ is a noncompact hermitian symmetric space, by results of Biquard and Gauduchon. There is also work of Kronheimer showing that there is a hyperkähler metric on the cotangent bundle of a complexified Lie group. $\endgroup$ Nov 20, 2010 at 17:29
  • 1
    $\begingroup$ @Sam if you don't mind me asking, what do you mean by the induced metric on $T^*M$ that you mention in your question? The induced complex structure and canonical holomorphic symplectic form I can see (and I know that in general these are not compatible, so your metric is not coming from these two). Do you mean something like the Sasaki metric on $TM$ transferred to $T^*M$ or am i way over complicating things? Thanks! $\endgroup$
    – Ashley
    Jul 25, 2017 at 18:17

1 Answer 1


Such hyper Kaehler metrics do exist near the zero section, e.g. in a formal or an analytic tubular neighborhood of the zero section. After that one can use some homogeneity to spread them on the whole cotangent bundle but typically the resulting metrics are non-complete. One gets nice global metrics on the cotangent bundles of Hermitian symmetric spaces but this is pretty much it. This question was studied extensively. There are two different proofs of the existence: in this work of Birte Feix and this work of Dima Kaledin.

  • $\begingroup$ Thanks! I might have noticed Kaledin's paper if I searched for "Kaehler" instead of "Kahler"... $\endgroup$ Nov 20, 2010 at 17:59
  • 5
    $\begingroup$ This answer is pretty complete, but it is worth reading the paper of Calabi in Ann. Ec. Norm. Sup. 12 (1979) for an explicit construction of the HK metric on the cotangent bundle of complex projective space. The precise form of the metric is not obvious, and his approach (subsequently generalized to other HSS's) was to find the Kaehler potential. As in applications of Yau's theorem in the compact case, the HK metric is indeed compatible with the underlying holomorphic symplectic structure. $\endgroup$ Dec 4, 2010 at 19:27

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.