Corollary 11.12.7.2984296C9B5A Let $F$ be the underlying smooth bundle of $F_0$ in theorem 11.9.4, with a holomorphic structure in the neighborhood given there. If $F^*$ is ample, then $F^*$ admits no strongly pseudoconvex squared Finsler metric with semipositive Kobayashi curvature.
Corollary 11.12.72984296C9B5A
Proof. Apply corollary 11.12.6 to $E=F^*$. Such a metric would produce a smooth complex norm on $F$ with plurisubharmonic square, contrary to theorem 11.9.4. $\square$
Comments
Corrections, questions, and mathematical discussion are welcome. Sign in with GitHub to comment. Comments are public.