For a hyperk"{a}hler manifold of dimension , Huybrechts showed that there are constants such that for any line bundle on , where is the Beauville-Bogomolov-Fujiki quadratic form of . Here the polynomial is called the Riemann-Roch polynomial of . In this paper, we show that all coefficients of the Riemann-Roch polynomial of are positive. This confirms a conjecture proposed by Cao and the author, which implies Kawamata’s effective non-vanishing conjecture for projective hyperk"{a}hler manifolds. It also confirms a question of Riess on strict monotonicity of Riemann-Roch polynomials. In order to estimate the coefficients of the Riemann-Roch polynomial, we produce a Lefschetz-type decomposition of , the root of the Todd genus of , via the Rozansky-Witten theory following the ideas of Hitchin, Sawon, and Nieper-Wi{\ss}kirchen.

生成讲解博客的中文版本

生成AI智能校验的中文版本