30
$\begingroup$

This question made me wonder about the following:

Are there orientedly diffeomorphic Kähler manifolds with different Hodge numbers?

It seems that this would require that those manifolds are not deformation equivalent. However, there are examples by Catanese and Manetti that that happens already for smooth projective surfaces.

$\endgroup$
2
  • $\begingroup$ "deformation invariant" = "deformation equivalent"? $\endgroup$ Oct 19, 2010 at 7:26
  • $\begingroup$ Kevin: yes, of course. Thanks for catching that. $\endgroup$ Oct 19, 2010 at 7:29

2 Answers 2

38
$\begingroup$

This question was debated in another forum a few years ago. The result was a note by Frédéric Campana in which he describes a counterexample as a corollary of another construction. In 1986 Gang Xiao (An example of hyperelliptic surfaces with positive index Northeast. Math. J. 2 (1986), no. 3, 255–257.) found two simply connected complex surfaces $S$ and $S'$ (that is, complex dimension 2), with different Hodge numbers, that are homeomorphic by Freedman's classification. The homeomorphism has to be orientation-reversing, but $S \times S$ and $S' \times S'$ are orientedly diffeomorphic and of course still have different Hodge numbers. Freedman's difficult classification is not essential to the argument, because in 8 real dimensions you can use standard surgery theory to establish the diffeomorphism.

Campana also explains that Borel and Hirzebruch found the first counterexample in 1959, in 5 complex dimensions.

$\endgroup$
9
  • $\begingroup$ Greg, thanks for the great answer. Did you mean to say "still have different Hodge numbers" above instead of "equal"? $\endgroup$ Oct 19, 2010 at 7:28
  • 1
    $\begingroup$ Sandor, an essential aspect of Campana's summary is that smooth inequivalence is not stable with respect to Cartesian products. $S$ and $S'$ are not diffeomorphic, but $S \times S$ and $S' \times S'$ are. $\endgroup$ Oct 19, 2010 at 8:09
  • 3
    $\begingroup$ No because Campana's point is that by taking products things become (mysteriously) diffeomorphic, Note that for surfaces, Hodge numbers can be recovered from the first Betti number and first Pontryagin class by Hirzebruch. So there is no counterexample in dimension < 3. $\endgroup$ Oct 19, 2010 at 8:10
  • 2
    $\begingroup$ Donu, what's mysterious is that $S$ and $S'$ are not diffeomorphic. There is no obstruction to a diffeomorphism between them using ordinary topological invariants. They fail to be diffeomorphic because 4 dimensions is too low to create the diffeomorphism, but on the other hand high enough to create a problem. $\endgroup$ Oct 19, 2010 at 8:14
  • 1
    $\begingroup$ As a possibly interesting aside, the (counter)example first found by Borel and Hirzebruch is the diffeomorphic pair $\Bbb P(T\Bbb CP^3)$ and $\Bbb P(T^*\Bbb CP^3)$ (though this was only realized much later; they viewed both as the homogeneous space $SU(4)/S(U(1)\times U(1)\times U(2))$, endowed with different complex structures; see also the first section of this 2005 note by Hirzebruch, which explains the history). $\endgroup$
    – Danu
    Apr 2, 2019 at 13:11
15
$\begingroup$

A few years after this post appeared, the question of oriented diffeomorphism invariance of Hodge and Chern numbers of smooth, projective varieties was settled completely by Kotschick and Schreieder in this paper. In fact, they even refer to this post(!).

$\endgroup$

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.