Hodge conjecture
With Hirzebruch he extended the Grothendieck–Riemann–Roch theorem to complex analytic embeddings, and in a related paper they showed that the Hodge conjecture for integral cohomology is false. The Hodge conjecture for rational cohomology is, as of 2008, a major unsolved problem.