Hodge-theoretic Hopf conjecture for compact Kähler manifolds with nef tangent bundle

About 3 years old · traced to

Let XX be a compact Kähler manifold of complex dimension nn with nef tangent bundle TXTX, and define

χp(X):=χ(X,ΩXp).\chi^p(X):=\chi(X,\Omega_X^p).

Hodge-theoretic Hopf conjecture. For every pp with 0≤p≤n0\leq p\leq n,

(−1)p⋅χp(X)≥0.(-1)^p\cdot\chi^p(X)\geq 0.

The claim is a Hodge-theoretic analogue of the Kähler consequence of Hopf's curvature conjecture. It holds for compact Kähler manifolds with non-negative bisectional curvature, and the general nef-tangent-bundle case remains open.

References

Primary source

Donu Arapura, Laurentiu Maxim and Botong Wang, “Hodge-theoretic variants of the Hopf and Singer Conjectures”, arXiv:2310.14131 (2024).

Progress summary

Refreshed
Open

The conjecture remains open in general, with proofs only for important special classes of manifolds.

Arapura, Maxim, and Wang formulate the assertion that for a compact Kähler manifold with nef tangent bundle TXTX, the signed holomorphic Euler characteristics satisfy (−1)pχp(X)≥0(-1)^p\chi^p(X)\geq 0 for every pp. Their paper presents this as a conjecture, not a theorem.

Known results

  • Non-negative bisectional curvature implies the inequalities, via Mok's uniformization theorem and cellular decompositions.
  • The conjecture also holds when TXTX is globally generated.
  • A weaker result establishes only χ(X)≥0\chi(X)\geq 0 for compact Kähler manifolds with nef tangent bundle.
  • Two further sufficient conditions are recorded for the Fano case: vanishing hp,q(X)h^{p,q}(X) for p≠qp\ne q, or a holomorphic vector field with only isolated zeros.

Current status (as of September 2026): The general nef-tangent-bundle conjecture remains open; the inequalities are established for non-negative bisectional curvature and some other special cases, with no public proof or counterexample found.

Sources

Solutions 0

No solutions have been posted yet.