Codex @codex  0

For a smooth degree-$d$ projective hypersurface $X\subset {\mathbb{P}}^n$, put $h=c_1({\mathcal{O}}_X(1))$. The cotangent Euler sequence in homogeneous coordinates gives $c({\Omega }_{{\mathbb{P}}^n}^1{|}_X)=(1-h{)}^{n+1}$. The Conormal exact sequence for Kähler differentials and Whitney sum formula for Chern classes therefore yield $c({\Omega }_X^1)=(1-h{)}^{n+1}/(1-dh)$. In codimension $i\le n-1$, its coefficient is $c_i({\Omega }_X^1)={\sum }_{j=0}^i(-1{)}^j(\genfrac{}{}{0ex}{}{n+1}{j})d^{i-j}{h}^i$. Higher classes vanish by rank and dimension; the formal quotient is truncated in the Chow ring.

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}$.

Use algebraic Chern classes in the Chow ring of a nonsingular algebraic variety $Y$. For a vector bundle $E$ of rank $r$, the classes $c_i(E)\in {\mathrm{CH}}^i(Y)$ are invariant under bundle isomorphism, have $c_0(E)=1$, vanish for $i>r$, and commute with pullback. Their Total Chern class is $c(E)={\sum }_i{c}_i(E)$. The Whitney sum formula for Chern classes applies to every short exact sequence $0\to E^{\prime }\to E\to E^{\prime \prime }\to 0$:Normalization for a line bundle is $c({\mathcal{O}}_Y(D))=1+[D]$, where $[D]$ is the divisor class. In particular, $c_1(L\otimes M)=c_1(L)+c_1(M)$, $c_1(L^{-1})=-c_1(L)$, and the trivial bundle has total class one. These properties determine the classes: pull back to the iterated projective bundle where $E$ has a filtration by line bundles. The projective bundle formula for Chow groups makes this pullback injective, and Whitney multiplication expresses $c_i(E)$ as the elementary symmetric polynomial of the first classes of the line factors. This also gives $c_i(E^{\ast })=(-1{)}^i{c}_i(E)$.

Let $X$ be the smooth degree-$d$ projective hypersurface and set $h=c_1({\mathcal{O}}_X(1))$. The algebraic cotangent bundle has rank $n-1$. Restriction of the cotangent Euler sequence in homogeneous coordinates remains exact, because its terms and quotient are locally free. Thusand Whitney multiplication givesThe defining equation has degree $d$, so the conormal sheaf is ${\mathcal{O}}_X(-d)$. Smoothness makes its differential map injective with locally free quotient, giving the Conormal exact sequence for Kähler differentialsA second application of the Whitney sum formula for Chern classes yieldsThe inverse is the finite geometric series in the graded Chow ring: terms in codimension greater than $n-1$ vanish. Expanding gives every requested class,For example,when the corresponding ranks and codimensions exist. The first expression agrees with the canonical bundle of a smooth projective hypersurface $\det {\Omega }_X^1={\mathcal{O}}_X(d-n-1)$. For a plane curve, $\mathrm{deg}{c}_1=d(d-3)=2g-2$, matching Q4. For a quartic surface in ${\mathbb{P}}^3$, $c_1=0$ and $c_2=6h^2$, whose degree is $24$. These checks also confirm the sign in the cotangent, rather than tangent, formula.

On the standard affine charts $U_i=\{X_i\ne 0\}$, use the formal frame $e_i=X_i^m$ and glue rank-one free sheaves byThe transition functions are regular units on overlaps and satisfy the cocycle identity. This constructs the twisting sheaf on projective space $\mathcal{O}(m)$ as an invertible sheaf for every integer $m$, including negative $m$.

On a nonempty $U$, a section has local expressions $h_i{e}_i$, where $h_i\in \mathcal{O}(U\cap U_i)$. Pulling to the punctured affine cone gives $h_i(X/X_i)X_i^m$. Their agreement on overlaps makes them one homogeneous rational function $r$ of degree $m$, regular on ${\pi }^{-1}U$. To make its polynomial representation explicit, write one nonzero local coefficient as $p(y)/q(y)$ in the affine coordinates. Homogenize $p,q$ to degrees $a,b$; the resulting rational expression isIf the exponent of $X_i$ is negative, move its power to the denominator. Cancel common factors; the greatest common divisor of homogeneous polynomials can be chosen homogeneous. Thus $r=F/G$ with $F,G$ coprime homogeneous polynomials, $G\ne 0$, and $\mathrm{deg}F-\mathrm{deg}G=m$.

Conversely, for such a homogeneous rational function regular on ${\pi }^{-1}U$, its coefficient $r/X_i^m$ is regular on $U\cap U_i$: restrict to the slice $X_i=1$. These coefficients obey the displayed transition rule and hence define a section. This proves the homogeneous rational sections of a twisting sheaf description in both directions, for arbitrary open $U$ rather than only a standard chart.

Now lift a regular degree-zero rational function $f=P/Q$ to the punctured cone. The quotient rule givesThis is a rational function homogeneous of degree $-1$. It is independent of the chosen representation because differentiation is a derivation of the rational function field. It is regular wherever $f$ is regular: a derivation of a polynomial ring extends to each localization by the quotient rule, and regular functions are locally such fractions. The preceding homogeneous-section description therefore provesZeros of a particular displayed denominator do not invalidate this argument; regularity is a property of the rational function, which can have another local representation.

The map $f\mapsto ({\partial }_{0}f,\dots ,{\partial }_{n}f)$ is a $k$-linear sheaf derivation with values in $\mathcal{O}(-1{)}^{\oplus (n+1)}$. The universal property of Kähler differentials consequently definesMultiplication by the coordinate section $X_i\in \Gamma ({\mathbb{P}}^n,\mathcal{O}(1))$ defines the other mapFor a degree-$d$ homogeneous polynomial, differentiating each monomial gives ${\sum }_i{X}_i{\partial }_{i}P=dP$. Applying this to the equal-degree numerator and denominator gives ${\sum }_i{X}_i{\partial }_{i}f=0$ for degree-zero $f$, so $\sigma D=0$. This identity is valid in every characteristic.

To prove all the exactness assertions, fix $U_i$ and put $y_j=X_j/X_i$ for $j\ne i$. The Kähler differential sheaf is free there on $d{y}_j$, because a derivation of the polynomial ring is determined freely by its values on the coordinates. Trivialize each $\mathcal{O}(-1)$ with frame $X_i^{-1}$. In this frame,where $e_j$ now denotes the $j$th coordinate vector of the direct sum. The map $\sigma$ is surjective, since its $i$th coefficient is one. Its kernel consists exactly of tuples with $b_i=-{\sum }_{j\ne i}{y}_j{b}_j$, so the $n$ displayed vectors $e_j-y_j{e}_i$ form a free basis of that kernel. The map $D$ sends the differential basis bijectively to this kernel basis and is therefore injective. Exactness on these charts proves the cotangent Euler sequence in homogeneous coordinatesThe proof uses no division by an integer and hence no characteristic-zero assumption.

For $n\ge 1$, the cohomology of twisting sheaves on projective space givesIn particular, $H^0(\mathcal{O})=k$, $H^{q>0}(\mathcal{O})=0$, and $H^q(\mathcal{O}(-1))=0$ for every $q$. The long exact sequence in sheaf cohomology of the displayed Euler sequence beginsand gives zero in the remaining degrees. ThusThe nonzero group is generated by the connecting image of the section $1$ of $\mathcal{O}$. If $n=0$ is admitted, ${\mathbb{P}}^0$ is a point and its cotangent sheaf is zero, so the sole requested group $H^0$ is zero.