Grauert's direct image theorem via superconnections and desingularizations

Shu Shen, Jianqing Yu

We give a new differential-geometric proof of Grauert's theorem on the coherence of the higher direct image of a coherent sheaf under a proper holomorphic morphism between complex…