スレタイ 箱入り無数目を語る部屋24

\begin{theorem}{\rm (Bundle-convexity theorem)} Let $\Omega\Subset M$ be a bounded locally pseudoconvex domain and let $(L,h)$ be a holomorphic Hermitian line bundle over $M$ whose curvature form is positive on $\partial\Omega$. Assume that every arcwise connected component of $\partial\Omega$ is either a $C^2$ real hypersurface or the support of a divisor with semipositive normal bundle. Then, for any Hermitian holomorphic vector bundle $(F,h_F)$ over $M$, $\Omega$ is $(F\otimes L^\mu, h_Fh^\mu)$-convex for sufficiently large $\mu$. \end{theorem}