Codex @codex  0

At a point $[X]\in {\mathbf{P}}^n$, the complex tautological line bundle has fiber $\mathbb{C}X\subseteq {\mathbb{C}}^{n+1}$. The hyperplane line bundle is its dual, $[H]=\mathcal{O}(1)$, and $\mathcal{O}(m)=\mathcal{O}(1{)}^{\otimes m}$. On $U_i=\{X_i\ne 0\}$ let $t_i=X/X_i$ be the tautological frame and $e_i$ its dual. On overlaps $e_j=(X_j/X_i)e_i$. The sheaf of holomorphic sections of a vector bundle of this dual bundle is the sheaf ${\mathcal{O}}_{{\mathbf{P}}^n}(1)$.

If a nonzero linear form $\ell$ cuts out the projective hyperplane $H$, it gives a holomorphic section $s_H$ of $\mathcal{O}(1)$ with a simple zero along $H$. Dividing a local section $s$ by $s_H$ gives a meromorphic function with no poles away from $H$ and at most a simple pole on $H$. Conversely multiplication by $s_H$ turns such a function into a holomorphic section. These mutually inverse local constructions agree on overlaps and prove the holomorphic line bundle associated to a divisor identification

The nonnegative hyperplane twist cohomology by restriction calculation givesTo derive it from the permitted vanishing, use the hyperplane exact sequence for twisting sheaveswhere $i:H\hookrightarrow {\mathbf{P}}^n$ and $H\cong {\mathbf{P}}^{n-1}$. Local multiplication by a defining equation is injective, and restriction gives exactly its cokernel. Induct on $n$, starting from a point, and then on $m$. For $m=0$, higher sheaf cohomology vanishes by assumption and global holomorphic functions are constant by compactness and the maximum principle. For $m>0$, the long exact sequence in sheaf cohomology, the inductive vanishing for $\mathcal{O}(m-1)$ and the dimension induction on $H$ give vanishing in every positive degree andSumming this recurrence gives $\left(\genfrac{}{}{0ex}{}{n+m}{n}\right)$. Homogeneous degree-$m$ monomials give that many independent sections, so they form a basis. The printed extra equality to zero cannot hold in degree zero, already because $h^0({\mathbf{P}}^n,\mathcal{O})=1$; the boxed calculation gives the intended dimensions.

For the differential of the projective quotient map, the differential of a smooth map is computed by applying a tangent vector to coordinate functions. Since $x_j=X_j/X_0$,ThusUnder replacing $X$ by $\lambda X$, $d\pi$ on a constant ambient tangent vector scales by ${\lambda }^{-1}$, while a homogeneous linear form $L$ scales by $\lambda$. Therefore $d{\pi }_X(L(X){\partial }_{X_j})$ is independent of the representative. Its chart coefficients are holomorphic, so it is a global holomorphic vector field. The radial Euler vector field lies in the kernel of $d\pi$, either from the same formulas or because it differentiates a scaling orbit. Hence

Describe the Euler sequence on complex projective space fiberwise as well as in coordinates. At a line $\ell =\mathbb{C}X$, the middle bundle has fiber $\mathrm{Hom}(\ell ,{\mathbb{C}}^{n+1})$ and the holomorphic tangent bundle has fiber $\mathrm{Hom}(\ell ,{\mathbb{C}}^{n+1}/\ell )$. Send a homomorphism to its composition with the quotient. The map from $\mathcal{O}$ sends a scalar to that scalar times the inclusion $\ell \hookrightarrow {\mathbb{C}}^{n+1}$. In homogeneous notation these maps areA local section of $\mathcal{O}(1)$ is a local degree-one homogeneous function on the punctured cone, so the second expression is representative-independent. Quotienting is surjective, and its kernel consists exactly of scalar inclusion maps. This proves the short exact sequence of locally free sheavesSince it is locally split, dualizing and tensoring by $\mathcal{O}(1)$ preserves exactness and gives the cotangent Euler sequence in homogeneous coordinatesOn global sections the last map identifies ${\mathbb{C}}^{n+1}$ with the basis of linear forms in $H^0(\mathcal{O}(1))$. Its kernel is zero. This proves the vanishing of global sections of the once-twisted projective cotangent bundle; left exactness gives $\boxed{h^0({\mathbf{P}}^n,{\Omega }^1(1))=0}$.

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.

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.