24
$\begingroup$

The existence of a Kähler metric on a compact complex manifold $X$ imposes restrictions on it's Dolbeault cohomology; namely, $h^{p,q}(X) = h^{q,p}(X)$ for every $p$ and $q$. I am looking for some explicit examples of compact complex manifolds which satisfy these restrictions, but are not Kähler (i.e. do not admit a Kähler metric).

In dimension 1, every compact complex manifold is Kähler ($d\omega$ is automatically zero).

In dimension 2, a compact complex surface $X$ is Kähler if and only if the first Betti number $b_1(X)$ is even. Therefore, if $h^{1,0}(X) = h^{0,1}(X)$, then $b_1(X) = h^{1,0}(X) + h^{0,1}(X) = 2h^{1,0}(X)$ so by the aforementioned result, $X$ is Kähler.

It follows that any examples must be of dimension at least three.

The only thing that has come to mind so far is Hironaka's example which is a deformation of Kähler manifolds such that the limiting fibre is not Kähler. As diffeomorphism type is preserved under deformations, I know that the limiting fibre has the same Betti numbers as a Kähler manifold (i.e. the odd Betti numbers are even), but I don't know if its Hodge numbers satisfy the desired symmetry.

Added Later:

  1. After consulting the book Cohomological Aspects in Complex Non-Kähler Geometry by Angella, I realised that the central fibre of Hironaka's deformation, which I will now call $X_0$, is indeed an example. We just need to show that $h^{p,q}(X_0) = h^{q,p}(X_0)$.

    First note that $X_0$ is a Moishezon manifold and is therefore a proper modification of a projective manifold. As projective manifolds satisfy the $\partial\bar{\partial}$-lemma, so do Moishezon manifolds; see Theorem 5.22 of Real Homotopy Theory of Kähler Manifolds by Deligne, Griffiths, Morgan, and Sullivan. In the same paper, they show that if a compact complex manifold satisfies the $\partial\bar{\partial}$-lemma, the Hodge-Frölicher spectral sequence degenerates at the first step, see Theorem 5.21. This in turn equivalent to the equality (for each $k$) $$b_k(X_0) = \displaystyle\sum_{p+q = k}h^{p,q}(X_0),$$ so $$b_k(X_a) = \displaystyle\sum_{p+q = k}h^{p,q}(X_a)$$ for all $a$ in the base of the Hironaka deformation. The map $a \mapsto h^{p,q}(X_a)$ is upper semicontinuous in general (see Corollary 9.19 of Voisin's Hodge Theory and Complex Algebraic Geometry I for example), but the map $a \mapsto b_k(X_a)$ is constant by Ehresmann's result. Due to the above equality, we see that $a \mapsto h^{p,q}(X_a)$ is actually constant for all $p$ and $q$. Therefore, $$h^{p,q}(X_0) = h^{p,q}(X_a) = h^{q,p}(X_a) = h^{q,p}(X_0)$$ where $a \neq 0$ and we use the fact that $X_a$ is projective and hence Kähler.

    The above result can be summarised as follows:

    Let $\mathcal{X} \to B$ be a deformation of compact complex manifolds with $0 \in B$. If $a \mapsto h^{p,q}(X_a)$ is constant on $B\setminus\{0\}$, and the Hodge-Frölicher spectral sequence of $X_0$ degenerates at the first step, then $a \mapsto h^{p,q}(X_a)$ is constant on $B$.

    In particular, given a deformation $\mathcal{X} \to B$ such that $h^{p,q}(X_a) = h^{q,p}(X_a)$ for all $a \in B\setminus\{0\}$, and the Hodge-Frölicher spectral sequence of $X_0$ degenerates at the first step, then $h^{p,q}(X_0) = h^{q,p}(X_0)$. If $X_0$ is not Kähler (as in Hironaka's example), $X_0$ is then an example of the type I was searching for.

  2. If $h^{p,q} = h^{q,p}$ for all $p$ and $q$, then $b_k$ is even for $k$ odd. So one may instead try to solve the easier problem of finding a non-Kähler manifold $X$ such that $b_k(X)$ is even for $k$ odd.

    As above, in the one or two dimensional case, if $b_k$ is even for $k$ odd, then $X$ is Kähler. In dimension three however, there is a simple example given by $S^3\times S^3$. A reference for the fact that $S^3\times S^3$ can be equipped with a complex structure is Complex Structures on $S^3\times S^3$ by Fujiki.

    The Kunneth formula gives $b_0 = 1$, $b_1 = 0$, $b_2 = 0$, $b_3 = 2$, $b_4 = 0$, $b_5 = 0$, and $b_6 = 1$. All odd Betti numbers are even, but $S^3\times S^3$ is not Kähler as $b_2 = 0$. In fact, all even Betti numbers of a Kähler manifold are positive ($\omega^k$ is not exact), so one might try to find an example of a non-Kähler manifold with $b_{2k} > 0$ and $b_{2k+1}$ even. By the discussion in point one above, an example of such a manifold is the central fibre of the Hironaka deformation.

$\endgroup$

4 Answers 4

7
$\begingroup$

Every compact complex manifold satisfying the $\partial\overline{\partial}$-Lemma has such a property. Particular examples are given by - as you already said - Hironaka example (and, more in general, Moishezon manifolds and manifolds in class C of Fujiki), or some deformations of twistor spaces (see LeBrun, Poon, Twistors, Kähler manifolds, and bimeromorphic geometry. II, J. Amer. Math. Soc. 5 (1992), no. 2, 317–325).

On the other side: in Ceballos, Otal, Ugarte, Villacampa, arXiv:1111.5873, Proposition 4.3, you find a concrete example of a compact complex manifold with the symmetry of Hodge diamond you require. This example does not satisfy $\partial\overline{\partial}$-Lemma.

$\endgroup$
6
  • $\begingroup$ Is your first statement true due to Theorem 5.21 in the paper of Deligne, Griffiths, Morgan, and Sullivan (or Theorem 2.7 in the book by Angella)? It states that the $\partial\bar{\partial}$-lemma is satisfied if and only if two properties hold; the first is the degeneration of the Hodge-Frölicher spectral sequence at the first step (which is equivalent to $b_k = \sum_{p+q=k}h^{p,q}$), and the second is a condition involving a Hodge structure and filtrations. Does the second condition imply $h^{p,q} = h^{q,p}$? If so, is it equivalent to the symmetry of the Hodge numbers, or is it stronger? $\endgroup$ Commented Nov 9, 2014 at 18:51
  • $\begingroup$ In Deligne-Griffiths-Morgan-Sullivan, condition (1) $E_1=E_\infty$ is equivalent to the numerical condition $b_k = \sum_{p+q=k} h^{p,q}_{\overline\partial}$. By assuming condition (1) [I guess that it is necessary, maybe someone more expert can correct me or provide a counter-example!], then condition (2) (that is, the Hodge structure on $H^k_{dR}$ induced by the filtration) implies also the symmetry $h^{p,q}_{\overline\partial}=h^{q,p}_{\overline\partial}$. The example in Ceballos-Otal-Ugarte-Villacampa proves that the numerical conditions do not imply $\partial\overline{\partial}$-Lemma. $\endgroup$
    – daniele
    Commented Nov 9, 2014 at 19:39
  • $\begingroup$ Another constraint that the Hodge numbers of a compact Kähler manifold satisfy is $h^{p,p} \geq 1$ for $0 \leq p \leq n$. If a compact complex manifold satisfies the $\partial\bar{\partial}$-lemma, this additional condition isn't necessarily satisfied, is it? As far as I can tell, no part of the theorem in DGMS would account for this. $\endgroup$ Commented Nov 9, 2014 at 21:11
  • $\begingroup$ Condition $h^{p,p}\geq1$ is necessary for K\"ahlerness, but not for $\partial\overline{\partial}$-Lemma. In fact, you need more, that is, a positivity condition. (This is essentially the difference between K\"ahlerness and $\partial\overline{\partial}$-Lemma.) Another example: in arXiv:1305.6709, we constructed (a non-closed family of) compact complex manifolds satisfying the $\partial\overline{\partial}$-Lemma: in this case, $h^{1,1}=3$ but it does not contain any positive-definite element. $\endgroup$
    – daniele
    Commented Nov 10, 2014 at 9:05
  • $\begingroup$ Is there a specific positivity condition that you are referring to in your second sentence? $\endgroup$ Commented Nov 11, 2014 at 2:00
6
$\begingroup$

I believe (he said with some trepidation) that the results of Angella and Tomassini (which say that this property is preserved under complex analytic deformations) give lots of examples. This is in Angella's thesis, and in their joint Inventiones article (2012) - they also discuss at length the obstructions (or lack thereof) to the existence of such deformations.

$\endgroup$
1
  • 1
    $\begingroup$ Thanks for the reference. In 2013, Angella authored the book Cohomological Aspects in Complex Non-Kähler Geometry which has a large overlap with his thesis. It's very interesting. $\endgroup$ Commented Nov 7, 2014 at 5:57
6
$\begingroup$

Complete smooth toric varieties $X_\Sigma$, corresponding to regular non-polytopal fans $\Sigma$ form a large series of manifolds bimeromorphic to Kahler, but non-Kahler.

At the same time, their Hodge diamond is concetrated on the main diagonal: $h^{p,q}=0$, unless $p=q$.

The smallest possible dimension of such an example is 3: see Fulton's "Introduction into toric varieties", Excersise in Section 3.4.

$\endgroup$
-1
$\begingroup$

Take $\mathbb{C}^2\setminus \{0\}/\mathbb{Z}$ where the equivalent relationship takes $(z_1,z_2)\sim \lambda(z_1,z_2)$ with $\lambda\neq0$. This manifold is $S^1\times S_3$ and it's definitely complex (comes from $\mathbb{C}^2$ anyway). It's compact (very obvious), but it's not Kähler, because $H^{2}(S^1\times S^3)=H^0(S^1)\otimes H^2(S^3)\oplus H^1(S^1)\otimes H^1(S^3)\oplus H^2(S^1)\otimes H^0(S^3)=0$. So there doesn't exist any closed (1,1)-form.

$\endgroup$
1
  • 3
    $\begingroup$ I think you misunderstood the question. $\endgroup$
    – Fan Zheng
    Commented Nov 27, 2016 at 4:03

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .