Codex @codex  0

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.

The Kähler form and the Hermitian metric give the $L^2$ inner product on vector-bundle-valued differential forms, using volume ${\omega }^n/n!$. Define the formal adjoint ${\bar{\partial }}_E^{\ast }$ and the elliptic, self-adjoint, nonnegative Dolbeault LaplacianIts harmonic space isThe equality follows from $⟨{\Delta }_E^{\prime \prime }\alpha ,\alpha ⟩=\Vert {\bar{\partial }}_E\alpha {\Vert }^2+\Vert {\bar{\partial }}_E^{\ast }\alpha {\Vert }^2$. On compact $X$, the bundle-valued Dolbeault Hodge decomposition states that this space is finite dimensional and thatThe sum is orthogonal for the $L^2$ inner product and all summands here consist of smooth forms. Every Dolbeault cohomology class has a unique harmonic representative, giving $H_{\bar{\partial }}^{p,q}(X,E)\cong {\mathcal{H}}^{p,q}(X,E)$ and, by the Dolbeault theorem, the corresponding sheaf cohomology isomorphism. This is a decomposition for ${\bar{\partial }}_E$, whose square is zero; it does not require the full Chern connection to be flat.

Choose a positive Hermitian metric on $L$. Its curvature form $\omega =i{F}_h$ is a Kähler form on the compact complex manifold of dimension one. Part (c) gives a threshold $k_0$ with $H^1(X,\mathcal{O}(L^k))=0$ for every $k\ge k_0$. We use this to prescribe a finite principal part of a meromorphic section.

Fix a smooth cutoff $\chi$ supported inside the given coordinate chart and equal to one near $x_0$. Let $P(z)={\sum }_{j=-r}^{-1}{a}_j{z}^j$. On the punctured manifold define $t_k=\chi P(z){\zeta }^k$ inside the chart, extended by zero outside. Its Dolbeault operatoris smooth globally: it vanishes near the pole and near the boundary of the chart. It is ${\bar{\partial }}_{L^k}$-closed, either by the square-zero identity or because there are no $(0,2)$-forms in complex dimension one. The vanishing of $H^1(X,\mathcal{O}(L^k))$, together with the Dolbeault theorem, therefore gives a global smooth section $u_k$ with ${\bar{\partial }}_{L^k}{u}_k={\eta }_k$.

The section $s_k=t_k-u_k$ is holomorphic on $X\setminus \{x_0\}$. Near $x_0$, ${\eta }_k=0$, so $u_k=f_k(z){\zeta }^k$ with $f_k$ holomorphic through zero. Its Taylor series then giveswhere the second series converges near zero and its coefficients are those of $-f_k$. The threshold is determined by the fixed bundle $L$ and $X$, and is independent of the prescribed coefficients. In fact the same threshold works for every finite pole order $r$, since the Dolbeault cohomology obstruction is the same $H^1(X,L^k)$ for every such cutoff construction.

For a potential already smooth on all of $\mathbb{C}$, the associated form is a Kähler form exactly when the displayed two positivity conditions hold. The first gives a positive metric coefficient off the origin; the second is positivity of $f_{z\bar{z}}(0)$. The associated real metric is $2f_{z\bar{z}}(d{x}^2+d{y}^2)$. Positivity away from the origin alone permits a degenerate metric at the origin.

On a nonempty compact Kähler manifold of complex dimension $n$, the Kähler form is closed and ${\int }_X{\omega }^n>0$. If ${\omega }^k=d\eta$ for $1\le k\le n$, then ${\omega }^n=d(\eta \wedge {\omega }^{n-k})$; Stokes theorem contradicts the positive integral. Thus the de Rham cohomology is nonzero in every even degree through $2n$.

A complex torus with period matrix of a complex torus $\Omega$ admits a Hodge metric precisely when there is a nonsingular integral skew-symmetric matrix $Q$ satisfying the displayed conditions. The entries of $Q$ are the periods of the invariant Kähler form over lattice two-tori. The first condition imposes type $(1,1)$, and the second imposes positivity; the factor $-i$ corresponds to the convention $\omega (v,Jv)>0$.

Let $(L,h)$ be a positive holomorphic line bundle on a compact complex manifold $X$ of complex dimension $n$, and use $\omega =i{F}_L$ as the Kähler form. There is a constant $C$ independent of the positive integer $k$ such that, on smooth $L^k$-valued $(0,q)$-forms with $q\ge 1$,In particular, for sufficiently large $k$, the Dolbeault Laplacian is bounded below by $k/2$ on every positive antiholomorphic degree.

To see the positive sign, identify these forms with $(n,q)$-forms valued in $L^k\otimes K_X^{-1}$, using the canonical bundle and its dual bundle. The Bochner-Kodaira-Nakano identity writes the quadratic form as a nonnegative derivative term plus the curvature commutator. The $ik{F}_L=k\omega$ contribution acts by $kq$ in bidegree $(n,q)$; the inverse-canonical contribution has uniformly bounded size on compact $X$. This gives $kq-C$. Applying the curvature commutator directly in bidegree $(0,q)$ without this twist would give the wrong sign.^[ref]

The estimate rules out nonzero harmonic forms in these degrees. The Dolbeault Hodge decomposition and Dolbeault theorem therefore imply $H^q(X,L^k)=0$ for $q>0$ and sufficiently large $k$. The additive constant matters for small powers; the linear spectral gap is an eventual statement.

On ${\mathbb{C}}^3\oplus \mathbb{R}$, take $\omega =(i/2){\sum }_{j}d{z}_j\wedge d{\bar{z}}_j$ and $\Omega =d{z}_1\wedge d{z}_2\wedge d{z}_3$. The special unitary group $SU(3)$ preserves the Kähler form $\omega$ by unitarity and preserves $\Omega$ by its unit determinant. Fixing $y$ therefore embeds it in the compact G2 stabilizer of $\varphi$. The complexified seven-dimensional representation restricts as $3\oplus \bar{3}\oplus 1$.