Yau con Yum-Tong Siu demostraron la conjetura de Frankel de 1981 en geometría compleja, afirmando que cualquier variedad de Kähler compacta positivamente curva es biholomórfica al espacio proyectivo complejo.