Past exam of the mathematics course of the University of Cambridge / 2015 / iii / Paper 18 / 5

For a holomorphic vector bundle $E$, the sheaf of vector-bundle-valued differential forms iswhere sections are smooth and restrictions are the usual ones. In a holomorphic local frame of $E$, the Dolbeault operator ${\bar{\partial }}_E$ acts coefficientwise and satisfies ${\bar{\partial }}_E^2=0$. Its Dolbeault cohomology with values in a holomorphic vector bundle is the cohomology of the global section complex ${\mathcal{A}}^{p,\bullet }(X,E)$.

The bundle-valued Dolbeault theorem identifies this with sheaf cohomology:Here ${\Omega }_X^p$ is the sheaf of holomorphic differential forms, and $\mathcal{O}(E)$ is the sheaf of holomorphic sections of a vector bundle. Equivalently, the complexis a fine sheaf resolution, by the local Dolbeault-Poincaré lemma and smooth partitions of unity. In particular $p=0$ computes $H^q(X,\mathcal{O}(E))$; for $p>0$ the holomorphic differential-form factor must be retained.

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.

Take the threshold $k_0\ge 1$ in the stated spectral gap for powers of a positive line bundle. For $q\ge 1$ and $k\ge k_0$, it givesA harmonic form must therefore be zero. The Dolbeault Hodge decomposition and the Dolbeault theorem identify its zero harmonic space with $H^q(X,\mathcal{O}(L^k))$. Hence $\boxed{H^q(X,L^k)=0(q\ge 1,k\ge k_0)}$. For $q>{\dim }_{\mathbb{C}}X$ the form spaces already vanish. The gap controls the lowest eigenvalue including zero, so it rules out harmonic forms rather than just controlling the positive spectrum.

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.