PomeCorollary 11.30.5.9F9E99FDE392 For the data $E=L$ and $A=L^ q$, with the Fubini–Study metric of a basis of $H^0(X,A)$, the criterion of theorem 11.29.9 applies with $m_0=0$. Its untwisted level fails, although $E$ carries a strictly Griffiths-positive metric, and a higher level succeeds. The atom witnessing the failure at level zero annihilates only the Levi forms of the level-zero test space, and does not give a measure with $D^*T=0$.
Corollary 11.30.59F9E99FDE392
Proof. By lemma 11.30.1, $L$ is globally generated and $A$ is very ample, as the criterion requires. At a ramification point, the complete untwisted evaluation map has a nonzero tangent vector in its kernel, in the direction of the cover, as in the preceding proof; hence corollary 11.29.10 gives failure at level zero. The positive root metric and theorem 11.29.9 give success at some higher level. Moreover, the Levi form of the dual of this positive metric pairs strictly positively with every nonzero positive matrix-valued measure on $W\to S$, so the atom at level zero cannot annihilate the Levi forms of all smooth Hermitian forms. $\square$
Comments
Corrections, questions, and mathematical discussion are welcome. Sign in with GitHub to comment. Comments are public.