Codex @codex  0

For a holomorphic line bundle with Hermitian metric $h$, its normalized Chern curvature iswhere $e$ is a holomorphic local frame and $h_e=h(e,e)>0$. A change of frame multiplies $h_e$ by the squared absolute value of a holomorphic unit; its logarithm has zero mixed derivative. The local expressions therefore define a closed real (1, 1)-form representing the First Chern class.

Positive curvature is an additional condition on the metric, distinct from positivity of each fibre norm. On the trivial line over $\mathbb{C}$, the metric $h_e=1$ is positive definite but has zero curvature. The metric $h_e=e^{-|z{|}^2}$ instead gives ${\omega }_{(L,h)}=idz\wedge d\bar{z}/(2\pi )$, a positive real (1, 1)-form. Globally, admitting such a positively curved metric is the definition of a positive holomorphic line bundle.

Replacing $h$ by $e^{-u}h$ adds $(i/(2\pi ))\partial \bar{\partial }u$. Thus the normalized Chern curvature changes by an exact differential form, while its First Chern class stays fixed.

A positive holomorphic line bundle $F$ admits a Hermitian metric whose Chern connection curvature satisfies that $i{F}_F$ is a positive real (1, 1)-form. In a local holomorphic local frame with squared length $e^{-\phi }$, the local formula for the Chern connection on a line bundle gives $F_F=\partial \bar{\partial }\phi$, so positivity means $i\partial \bar{\partial }\phi$ is positive definite. Its closedness makes $\omega =i{F}_F$ a Kähler form; use this form to define the operators below.

Let $n={\dim }_{\mathbb{C}}X>0$, choose a Hermitian metric on $E$, and equip $G_m=E\otimes F^{-m}$ with the tensor-product metric. The curvature of a tensor product connection givesOn $G_m$-valued zero-forms, the Lefschetz commutator is $[L,\Lambda ]=-n\mathrm{id}$. Thus the Bochner-Kodaira-Nakano identity givesThis last operator is a fixed smooth self-adjoint bundle endomorphism. Compactness supplies a finite $C$ such that $⟨R_{E}v,v⟩\ge -C\Vert v{\Vert }^2$ at every point. For a holomorphic section $s$ of $G_m$, $D^{\prime \prime }s=0$ and $D^{\prime \prime \ast }s=0$ by degree, so integrating the identity givesChoose an integer $m_0$ with $m_{0}n>C$. Then $\boxed{H^0(X,E\otimes F^{-m})=0(m\ge m_0)}$. The threshold depends on the fixed bundle $E$, as the curvature bound makes explicit. Positive complex dimension is necessary: on a zero-dimensional manifold positivity is vacuous and a nonzero fibre has nonzero sections for every twist.

Use the integral normalization of the Chern connection curvature. For a holomorphic local frame $e$, put $h_e=h(e,e)>0$. The fundamental form of a Hermitian holomorphic line bundle isThis follows from the local formula for the Chern connection on a line bundle, $F_h=\bar{\partial }\partial \log h_e$. It is a closed real (1, 1)-form representing the First Chern class. If $h_e=e^{-\phi }$, the formula becomes $(i/(2\pi ))\partial \bar{\partial }\phi$.

The Hermitian metric is positive when this is a positive real (1, 1)-form: for every nonzero $v\in T^{1,0}M$,Equivalently, the matrix $({\partial }^2\phi /\partial z_j\partial {\bar{z}}_k)$ is a positive-definite matrix in every frame. Such a metric makes $\mathcal{L}$ a positive holomorphic line bundle. Omitting the normalization factor $2\pi$ changes none of these positivity conditions.

A real (1, 1)-form is a form $\phi \in {\Omega }^{1,1}(X)$ satisfying $\bar{\phi }=\phi$. In holomorphic coordinates it has the formIt is a positive real (1, 1)-form whenfor every nonzero tangent vector $\xi$ of type $(1,0)$, equivalently when the Hermitian matrix $(h_{j\bar{k}})$ is positive definite.

A holomorphic local trivialization of a holomorphic line bundle $L\to X$ is equivalently a nowhere-zero holomorphic local frame $e$. A connection $A$ is unitary when it preserves the fiberwise Hermitian inner product:The Chern connection is the unique unitary connection whose $(0,1)$ part is the bundle's Dolbeault partial connection ${\bar{\partial }}_L$.

In a holomorphic frame, put $h=h(e,e)$. The local formula for the Chern connection on a line bundle isThe curvature therefore has type $(1,1)$. Since a unitary connection has imaginary curvature, $\overline{F(A)}=-F(A)$, and henceThus $iF(A)$ is a real $(1,1)$-form.

For connections $A$ on $L$ and $\hat{A}$ on $\hat{L}$, the tensor product connection is defined on decomposable local sections byThe curvature of a tensor product connection on line bundles is additive:Consequentlywhich is positive whenever both summands are positive.

For the final assertion, simultaneously diagonalize the positive Hermitian matrices of $\phi$ and $\psi$ by congruence at the chosen point. In the resulting coframe,A direct wedge-product calculation givesIf $\xi$ and $\eta$ are linearly independent, at least one of these $2\times 2$ minors is nonzero. Every coefficient is positive, so the sum is strictly positive. This is wedge positivity for two positive (1, 1)-forms.

A holomorphic line bundle is positive when it admits a Hermitian metric whose Chern connection has positive curvature form $i{F}_{\nabla }$, equivalently when $i{F}_{\nabla }$ is a positive real (1, 1)-form.

The positive-curvature definition uses a positive real (1, 1)-form.