PomeTheorem 19.8.5.1DFDCCEF325D If $\deg _\gamma L<0$, then $H^0(X,L^ m)=0$ for every $m\geq 1$. If $\deg _\gamma L=0$ and $H^0(X,L^ m)\neq 0$, then $L^ m$ is holomorphically trivial and $h^0(X,L^ m)=1$. At degree zero, each nonzero weighted subspace $\mathcal H_ m(u)$ is also one-dimensional.
Theorem 19.8.51DFDCCEF325D
Proof. Let $s$ be a nonzero section of $L^ m$ and let $D$ be its zero divisor. The function $\log |s|_{h^ m}^2$ is locally integrable, and the Poincaré–Lelong formula gives
\[ \mathrm{dd}^{\mathrm{c}}\log |s|_{h^ m}^2=[D]-m\beta . \]
Since $\gamma $ is Gauduchon, integration by parts against $\gamma ^{n-1}$ annihilates the left-hand side, and therefore
\[ m\deg _\gamma L=\int _ D\gamma ^{n-1}\geq 0, \]
where the components of $D$ are counted with multiplicities. If $D\neq 0$, the right-hand side is strictly positive, because $\gamma $ is positive on the regular locus of each component. Hence negative degree is impossible. At degree zero we obtain $D=0$, so $s$ has no zeros and trivializes $L^ m$. Every other section of $L^ m$ is then a holomorphic function times $s$, and holomorphic functions on the connected compact manifold $X$ are constant. Thus $h^0(X,L^ m)=1$, and every nonzero subspace $\mathcal H_ m(u)\subseteq H^0(X,L^ m)$ is one-dimensional. $\square$
Comments
Corrections, questions, and mathematical discussion are welcome. Sign in with GitHub to comment. Comments are public.