[Math] Wanted: an example of a natural non-K\”ahler metric on a Kahler manifold

complex-geometrydg.differential-geometry

Let $X$ be a Kahler manifold. Associated to any hermitian metric $h$ on $X$ is a smooth real $(1,1)$-form $\omega = -\text{Im } h$, called the Kahler form of $h$. One of several equivalent conditions for the metric $h$ to be a Kahler metric is that $\omega$ is symplectic, or that $\text{d} \omega = 0$.

Morally speaking, this implies that Kahler metrics are rare. In a sense, they are contained in a proper subspace of the cone of hermitian metrics on $X$.

Question: Does anyone know an example of a manifold $X$ and a natural metric $h$ on $X$ which is not Kahler?

For extra credit: Can we find such an example where $X$ is compact?

I'll elaborate a bit on what I mean by "natural" and then provide some motivation for the questions. The following paragraphs are not meant to be mathematically rigorous, but rather heuristic, so please be gentle when you see any inaccuracies.

"Naturality": It is easy to give explicit examples of non-Kahler metrics on a Kahler manifold. Just take any Kahler metric $h$ and multiply it by a positive non-constant function $f$: the Kahler form of the new metric will then satisfy $\text{d} (f \omega) = \text{d} f \wedge \omega + f \text{d} \omega = \text{d} f \wedge \omega$. As $\omega$ is symplectic the wedge product $\text d f \wedge \omega$ can only be zero if $\text d f$ is zero, so the new metric is not Kahler.

This feels like cheating to me. It's like starting a book on linear algebra by defining vector spaces axiomatically and then only giving the trivial space as an example. The example does not advance our understanding in any significant way.

I would like to see an example where the metric $h$ arises in a geometric way or is somehow an obvious candidate for a metric on $X$. For example, consider a Hopf surface $X$, which arises as a quotient of $\mathbb C^2 \setminus \{0\}$ by a group $G$. The naive way to give an example of a metric on $X$ is to find a metric on $\mathbb C^2 \setminus \{0\}$ which is invariant under the action of $G$, and it is perfectly possible to give an explicit example of such a metric by some calculations (see [1] for an example). If only the Hopf surface were Kahler I would accept this as a "real" example.

Motivation: Given a hermitian metric $h$ there are several equivalent definitions of it being Kahler. One can say that its Kahler form is closed, that one can approximate the euclidean metric to the second degree in local coordinates, or that the Chern and Levi-Civita connections of $h$ are the same. This last condition is the one I like the most, because with good will one can interpret it as saying that the complex and Riemannian geometries defined by the metric are the same.

This is all well and good, and I feel I understand the different definitions and the links between them. However, given an explicit metric, I have absolutely no intuition for if it is Kahler or not. I can't look at a metric and just go "Aha!", I have to "fly blind" and calculate.

For example, take the Fubini-Study metric on $\mathbb P^n$. It can be obtained by considering a scalar product on $\mathbb C^{n+1}$ and saying that the scalar product of lines in that space is the "angle" between the lines (-ish). This is a very pretty and geometric way of obtaining a metric. Now, the only way I know to show that the metric obtained in this beautiful way is Kahler is by long and violent calculations. I can't give you an a priori plausibility argument for it being Kahler. The same is true for any explicit example of a Kahler metric on any manifold.

I see this as failure on my part, and a sign that I have not really understood Kahler metrics. I think that an explicit example of a natural non-Kahler metric would help me understand complex geometry better.


[1] Examples of non-Kahler surfaces with explicit non-Kahler metric

Best Answer

In his paper Invariant Kahler metrics and projective embeddings of the flag manifold, Bull. Austal. Math. Soc. 49 (1994), K. Yang considers the flag manifold $$F_{1,2,3}(\mathbb{C}^3):=SU(3)/S(U(1)^3)$$ and determines the space of invariant Hermitian and Kahler metrics on it.

In particular, he shows that a Killing metric is not Kahler.

On the other hand, by applying Kodaira embedding theorem, he proves that $F_{1,2,3}(\mathbb{C}^3)$ is projective algebraic and provides an explicit projective embedding of it.

The computations are made quite explicitly in terms of the Maurer-Cartan form of $SU(3)$.

So this could be one of the examples you are looking for.

Related Question