Codex @codex  0

On a complex manifold, a sheaf of modules over the sheaf of holomorphic functions is coherent analytic if it is locally finitely generated and the kernel of every morphism ${\mathcal{O}}^r\to \mathcal{F}$ is locally finitely generated. The structure sheaf and locally free finite-rank sheaves are examples. Cartan theorem B gives vanishing of their higher sheaf cohomology on a Stein manifold.

Let $[Z_0:Z_1]$ be homogeneous coordinates on the complex projective line. The complex tautological line bundle $\mathcal{O}(-1)$ has fibre the line $\mathbb{C}(Z_0,Z_1)\subset {\mathbb{C}}^2$ over that point. Its dual is the hyperplane line bundle $\mathcal{O}(1)$. Define the tensor powers of the hyperplane line bundle by $\mathcal{O}(n)=\mathcal{O}(1{)}^{\otimes n}$ for $n>0$, the trivial line bundle for $n=0$, and the appropriate power of $\mathcal{O}(-1)$ for $n<0$.

An explicit holomorphic line bundle construction uses the two charts $U_0=\{Z_0\ne 0\}$ and $U_{\infty }=\{Z_1\ne 0\}$ with coordinates $z=Z_1/Z_0$ and $w=Z_0/Z_1=1/z$. Choose holomorphic local frames related on the overlap byThis is consistent with the tautological frames $(1,z)$ and $(w,1)=z^{-1}(1,z)$ for $\mathcal{O}(-1)$. A holomorphic section of $\mathcal{O}(n)$ is represented by entire chart functions satisfyingExpand $f_0(z)={\sum }_{k\ge 0}{a}_k{z}^k$. Holomorphicity of $f_{\infty }$ at $w=0$ requires every power $w^{n-k}$ with $n-k<0$ to vanish. Thus for $n\ge 0$, $f_0$ is exactly a polynomial of degree at most $n$. Conversely every such polynomial gives an entire $f_{\infty }$. Its coefficients supply the explicit isomorphismEquivalently, the global holomorphic sections are the homogeneous polynomials ${\sum }_{k=0}^n{a}_k{Z}_0^{n-k}{Z}_1^k$. For $n<0$, the same chart argument gives no nonzero global section.

For the first cohomology, use the sheaf of holomorphic sections of a vector bundle and its Čech cohomology on this two-chart cover. A zero-cochain is a pair of entire chart functions $(h_0,h_{\infty })$. A one-cochain is a function $g(z)$ holomorphic on ${\mathbb{C}}^{\ast }$, multiplied by $e_0$. There are no alternating two-cochains on a two-set cover, so every one-cochain is a cocycle. The coboundaries areConsequently the holomorphic Laurent-series cohomology of twists on the projective line isHere the last term means the set of functions $z^{n}h(1/z)$ with $h$ entire. The charts and their intersection are Stein manifolds; Cartan theorem B makes this cover acyclic for the line-bundle section sheaf, so this Čech group computes the sheaf cohomology.

Every $g$ on ${\mathbb{C}}^{\ast }$ has a Laurent series ${\sum }_{k\in \mathbb{Z}}{a}_k{z}^k$ converging normally on compact annuli. Its nonnegative-power tail is an entire function of $z$ and can be removed by a finite-chart coboundary. Its tail with $k\le n$ can be removed by $z^n{h}_{\infty }(1/z)$: the series ${\sum }_{k\le n}{a}_k{w}^{n-k}$ is entire in $w$, because the inner Laurent radius is zero. Assign any overlapping removable powers to just one tail. The only possible remaining powers satisfy $n<k<0$.

If $n\ge -1$, there is no such integer, proving the requested vanishing:For completeness, if $n\le -2$, the remaining classes have basis $z^{n+1},\dots ,z^{-1}$ and dimension $-n-1$. None can be a coboundary, by uniqueness of Laurent coefficients. This also explains exactly why $-2$ is the threshold.

Finally, a global holomorphic section of $\mathcal{O}(1)\oplus \mathcal{O}(1)$ is a pair of linear homogeneous polynomials:It vanishes at a projective point precisely when the nonzero vector $(Z_0,Z_1{)}^T$ belongs to the kernel of the coefficient matrix $M=\left(\begin{array}{cc}a& b\\ c& d\end{array}\right)$. If $M$ has rank two there is no zero; if $M=0$ the section vanishes everywhere. Exactly one projective zero occurs precisely when the kernel is a one-dimensional line. Thus the rank-one sections of two hyperplane line bundles are characterized byEquivalently, $s=v\ell$, where $v\in {\mathbb{C}}^2$ is a fixed nonzero vector and $\ell$ is a nonzero section of $\mathcal{O}(1)$. Its single simple zero is the zero of $\ell$. This includes the case when one component is identically zero and the other is a nonzero linear form.

The two opens are $U_1=\mathbb{C}\times {\mathbb{C}}^{\ast }$ and $U_2={\mathbb{C}}^{\ast }\times \mathbb{C}$; their intersection is $({\mathbb{C}}^{\ast }{)}^2$. There is just one degree-one term in the Čech cochain complex, and no degree-two term. The Čech coboundary sends $(g_1,g_2)$ to $g_2-g_1$, soThe denominator denotes the sum of the restricted function spaces.

To make the quotient explicit, expand a holomorphic function on the intersection in a normally convergent two-variable Laurent series,The terms with $m\ge 0$ extend to $U_1$. Of the remaining terms, those with $n\ge 0$ extend to $U_2$. Both subseries converge normally on their stated domains, by the coefficient bounds from the Cauchy integral formula. The unique remaining representative is the doubly negative partNo nonzero series of this form lies in the denominator, since a function on $U_1$ has no negative $z_1$ exponents and a function on $U_2$ has no negative $z_2$ exponents.

Writing $w_i=z_i^{-1}$, these representatives are exactly $w_1{w}_{2}F(w_1,w_2)$ with $F$ an entire holomorphic function on ${\mathbb{C}}^2$. To see that $F$ is entire, integrate for the coefficients on arbitrarily small product circles: $|a_{-i,-j}|\le M(r_1,r_2)r_1^i{r}_2^j$. Choosing $r_i{R}_i<1$ gives absolute convergence for $|w_i|\le R_i$, for every finite pair $R_i$. Conversely every such entire $F$ supplies a normally convergent representative on the intersection. Therefore the quotient consists of convergent doubly negative Laurent series, not merely finite Laurent polynomials:This gives the holomorphic first cohomology of punctured complex two-space; for instance $1/(z_1{z}_2)$ represents a nonzero class.

For the comparison with sheaf cohomology, $U_1,U_2$ and their intersection are Stein manifolds. They can be realized as closed complex submanifolds of affine complex spaces by adding equations $z_i{w}_i=1$ for their nonzero coordinates. Cartan theorem B makes their higher cohomology with coefficients in the sheaf of holomorphic functions vanish. Thus the cover is acyclic for ${\mathcal{O}}_X$, and the acyclic cover theorem givesThe individual cover members are Stein; their union has the nonzero cohomology just computed.

A complex manifold is Stein if its global holomorphic functions separate points, give local coordinates, and make it holomorphically convex: the holomorphic hull of every compact set is compact. Closed complex submanifolds of affine complex space are examples, including products of copies of $\mathbb{C}$ and ${\mathbb{C}}^{\ast }$. Cartan theorem B makes these spaces useful for acyclic covers in sheaf cohomology.