Codex @codex  0

The dual is the sheaf of modules whose sections on $U$ are module-sheaf morphisms $\mathcal{F}{|}_U\to {\mathcal{O}}_U$. For a locally free sheaf of finite rank, the dual is locally free of the same rank and the natural double-dual map is an isomorphism. General coherent sheaves need not have this property: a skyscraper at a point of positive-dimensional projective space has zero ordinary sheaf dual.

A free sheaf of finite rank on a scheme is a sheaf of modules globally isomorphic to ${\mathcal{O}}_X^{\oplus r}$. A locally free sheaf only requires such an isomorphism on an open cover; its local frames need not glue to one global frame.

For sheaves of modules $\mathcal{F},\mathcal{G}$ on a ringed space, the internal Hom sheaf assigns to an open $U$ the module of sheaf morphisms $\mathcal{F}{|}_U\to \mathcal{G}{|}_U$ respecting ${\mathcal{O}}_U$. Compatible morphisms glue, so this is a sheaf. Its global sections are precisely the global module-sheaf morphisms. For a locally free sheaf $\mathcal{F}$ of finite rank it is ${\mathcal{F}}^{\vee }\otimes \mathcal{G}$.

A line bundle on a scheme is a locally free sheaf of rank one. Its global sections can define a morphism to projective space when they have no common zero.

A locally free module is one whose associated sheaf is locally a free module. In the finite constant-rank case, it becomes free of rank $r$ on a principal open subset cover of $\mathrm{Spec}A$. Equivalently it is a finite projective module of constant rank $r$. A surjection onto it splits, so the kernel is also finite projective. Its associated sheaf is a locally free sheaf and defines an algebraic vector bundle.

// Target: algebraic-geometry.bigb

For a closed immersion $i:Z\hookrightarrow X$ with ideal sheaf $\mathcal{I}$, the normal sheaf is ${\mathcal{N}}_{Z/X}=\mathcal{H}o{m}_{{\mathcal{O}}_Z}(\mathcal{I}/{\mathcal{I}}^2,{\mathcal{O}}_Z)$. It is the dual of the conormal sheaf. For a regular embedding it is a locally free sheaf; in the smooth case it agrees with the normal bundle. Without regularity it need not be locally free, but its global sections still classify first-order embedded deformations.

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 homogeneous coordinates $X_0,\dots ,X_n$. Multiplication by these degree-one sections defines the sheaf morphismOn $U_i=D_{+}(X_i)$, write $t_j^{(i)}=X_j/X_i$, with $t_i^{(i)}=1$, and let $E_j^{(i)}$ be the standard vector in component $j$ using the local line bundle frame $X_i^{-1}$ of $\mathcal{O}(-1)$. Then $ϵ(E_j^{(i)})=t_j^{(i)}$, so $ϵ$ is surjective since $ϵ(E_i^{(i)})=1$. Its kernel is a locally free sheaf with basisIndeed any vector in the kernel is uniquely a sum of these vectors, by solving for its $i$-th component.

The Kähler differential sheaf ${\Omega }_{{\mathbf{P}}^n/k}^1$ has basis $d{t}_j^{(i)}$ on $U_i$, since this chart is a polynomial affine scheme. Define the local map $d{t}_j^{(i)}\mapsto F_j^{(i)}$. To check that these isomorphisms glue, on $U_i\cap U_{\ell }$ put $u=t_i^{(\ell )}$ and $v=t_j^{(\ell )}$. ThenThe twisting sheaf on projective space frame changes by $E_j^{(i)}=u^{-1}{E}_j^{(\ell )}$, henceFor $j=\ell$, use $t_{\ell }^{(\ell )}=1$, $d{t}_{\ell }^{(\ell )}=0$ and $F_{\ell }^{(\ell )}=0$; the same formula applies. Thus the differential and kernel frames have identical transition matrices. We obtain the cotangent form of the Euler sequence:This construction works over any field, including positive characteristic.

The Kähler differential sheaf has rank $n$. Taking determinant line bundles in this locally split short exact sequence of sheaves givesThe left side is the tensor product of $n+1$ copies of $\mathcal{O}(-1)$, and $\det (\mathcal{O})=\mathcal{O}$. ConsequentlyIt is the canonical bundle of projective space. The determinant identity can also be seen directly by taking the wedge of the kernel basis followed by a lift of the quotient basis; changing that lift by a kernel vector leaves the wedge unchanged.

Take the compact Riemann surface $X={\mathbb{P}}^1$ and the holomorphic vector bundle $E={\mathcal{O}}_X\oplus {\mathcal{O}}_X$. For every positive integer $m$, use homogeneous coordinates $[Z_0:Z_1]$ and the mapThe two sections $Z_0^m,Z_1^m$ never vanish together on ${\mathbb{P}}^1$. Thus this map has rank one at every point; locally one of its two components is invertible in suitable line-bundle frames, so its image is a genuine holomorphic subbundle and its quotient is a locally free sheaf. More explicitly, there is an exact sequenceExactness follows fibrewise from the absence of a common zero and hence also locally as a sequence of vector bundles. The image $F_m$ is isomorphic to ${\mathcal{O}}_X(-m)$ and has rank one, soThus there need not be a lower bound for subbundle slopes, even for a fixed trivial rank-two bundle. Merely multiplying a section of one fixed subline by a function with zeros would not suffice: that could give only a subsheaf with a torsion quotient. The nowhere-simultaneously-zero pair above avoids that problem and realizes unbounded negative degrees of line subbundles.

Let $C$ be the smooth algebraic curve. A nonzero regular section of a line bundle has an effective zero divisor, so its degree of a line bundle is nonnegative. Degrees add under tensor products and change sign on taking the dual. We use genuine line subbundles, so their quotients in $E$ are locally free. Both bounds can be proved constructively.

For the upper bound, take a rational frame of $E^{\ast }$ over the function field of $C$. Its two members are rational sections with only finitely many poles. Choose an effective divisor $D$ large enough to bound the pole orders of both rational sections. They become global sections of $E^{\ast }\otimes {\mathcal{O}}_C(D)$ and define a sheaf mapwhich is an isomorphism at the generic point. It is therefore injective as a sheaf map: a section in its kernel would vanish generically in a locally free sheaf, which is a torsion-free sheaf. For any line subbundle $L\subset E$, at least one of its two component maps into ${\mathcal{O}}_C(D)$ is nonzero. Such a map is a nonzero global section of ${\mathcal{O}}_C(D)\otimes L^{-1}$. Its zero divisor on an algebraic curve is effective, soThis upper degree bound for line subbundles on a smooth curve depends only on a choice made for $E$, and applies to every one of its line subbundles.

For the lower-bound question we will actually construct subbundles ${\mathcal{O}}_C(-m{p}_0)$ for every sufficiently large integer $m$, where $p_0$ is a fixed point. First prove the globally generated vector bundle property rather than assuming that negative-degree inclusions automatically are subbundles.

Apply the upper-bound argument to the rank-two vector bundle $F=E^{\ast }\otimes K_C$, where $K_C$ is the canonical bundle. Let $B$ be its upper degree bound. Choose $m$ with $m-1>B$. For any point $p\in C$, a nonzero global section of $F(-m{p}_0+p)$ would give a nonzero mapIts image can be saturated to a saturated line subbundle on a smooth curve $M\subset F$. Locally the local ring of a smooth algebraic curve is a discrete valuation ring: dividing out the common power of a uniformizer makes the image a primitive rank-one summand, and its quotient is free. Thus the saturation is indeed a subbundle. The original map gives a nonzero global section of $M\otimes {\mathcal{O}}_C(-m{p}_0+p)$ and consequently $\mathrm{deg}M\ge m-1$, contradicting the upper bound. Hence $H^0(F(-m{p}_0+p))=0$ for every $p$. By Serre duality,The exact sequenceand its long exact sequence in sheaf cohomology show that evaluation $H^0(E(m{p}_0))\to E(m{p}_0){|}_p$ is onto for every $p$. This proves the global generation of positive twists on a smooth curve with one bound on $m$ that works at every point.

Write $W=H^0(E(m{p}_0))$ and $N=\dim W$. The evaluation map $W\otimes {\mathcal{O}}_C\to E(m{p}_0)$ is surjective with kernel bundle of rank $N-2$. Consider the incidence subsetIt is the total space of this kernel bundle, so $\dim Z=1+(N-2)=N-1$. Its projection into $W$ is closed because $C$ is proper, and its image has dimension at most $N-1<N$. Choose $s$ outside this proper closed subset. It vanishes nowhere. In a local trivialization at any point, one component of $s$ is a unit, so it can be completed to a basis. Therefore ${\mathcal{O}}_C\stackrel{s}{\to }E(m{p}_0)$ is a subbundle with a locally free rank-one quotient. Twisting back givesThis proves the unbounded negative degrees of line subbundles. The nowhere-vanishing construction guarantees a subbundle at every point, including the zeros that might otherwise have occurred in a generic meromorphic inclusion. If the curve has several connected components, apply these constructions on each component and add the degrees; the same upper-bound and no-lower-bound conclusions follow.

Let $n={\mathrm{rank}}_{\mathbb{Z}}M$. Work with commutative rings and take a quotient to mean a surjection $p:M{\otimes }_{\mathbb{Z}}R\twoheadrightarrow Q$, considered up to an isomorphism of $Q$ commuting with $p$. Equivalently, retain its kernel as a submodule of $M\otimes R$. Here a rank-$r$ locally free module is finite locally free, or equivalently a finite projective module of constant rank $r$. A ring homomorphism $R\to R^{\prime }$ sends the quotient toThe tensor product of modules is right exact and preserves finite projectivity, so this defines the functorial action. We prove scheme representability in the usual functor of points sense:naturally in $R$. The Grassmannian of locally free quotients will be constructed explicitly.

Assume first $0<r<n$, and choose a basis $e_1,\dots ,e_n$ of $M$. For every ordered subset $I=\{i_1<\cdots <i_r\}\subseteq \{1,\dots ,n\}$, consider those quotients for which $p(e_{i_1}),\dots ,p(e_{i_r})$ are a basis of $Q$. This choice gives a unique identification $Q\cong R^r$, in which the quotient is represented by an $r\times n$ matrix $A_I$ whose columns indexed by $I$ are the identity matrix. Its remaining $r(n-r)$ entries are arbitrary elements of $R$. Thus this subfunctor is represented by the affine schemeThere is no further change-of-basis ambiguity: the selected quotient images already specify its basis uniquely.

For another subset $J$, write $A_I^{(J)}$ for the square submatrix consisting of the $J$ columns. The same quotient lies in the $J$ chart exactly when its determinant is a unit. Consequently the chart overlap is the principal open subsetOn that overlap the matrix normalized in the $J$ basis isThe entries are regular on $D({\delta }_{IJ})$ by the adjugate matrix. Conversely, the $I$ columns of $A_J$ form $(A_I^{(J)}{)}^{-1}$, so normalization back to $I$ recovers $A_I$. The transition is therefore an isomorphism $U_{IJ}\cong U_{JI}$.

The cocycle identity follows from the same matrix computation, not just an assertion about bases. On a triple overlap, normalization first to $J$ and then to $K$ givesThis is direct normalization from $I$ to $K$. By gluing of schemes along open subschemes, the standard affine charts of the quotient Grassmannian therefore glue to a scheme $G$ over $\mathbb{Z}$.

The universal matrices also glue a universal quotient. On $U_I$, use the surjectionOn overlaps, identify its targets by $(A_I^{(J)}{)}^{-1}$, precisely the transition matrix above. The cocycle identity glues these free sheaves into a rank-$r$ locally free sheaf $\mathcal{Q}$ and glues the maps into $M\otimes {\mathcal{O}}_G\twoheadrightarrow \mathcal{Q}$. Its kernel $\mathcal{S}$ is locally free of rank $n-r$: on $U_I$ an explicit basis isHence we have the universal exact sequence

It remains to verify that these charts capture every quotient, including a nonfree projective target. Given $p:R^n\twoheadrightarrow Q$, define $V_I\subseteq \mathrm{Spec}R$ as the locus where the selected images $p(e_i)$, $i\in I$, form a basis. This is open: locally trivialize the locally free sheaf associated with $Q$, and it is the nonvanishing locus of the corresponding maximal minor. The sets $V_I$ cover $\mathrm{Spec}R$. Indeed, at every prime $\mathfrak{p}$, the images of all $n$ vectors span the $r$-dimensional residue-field quotient, so some $r$ of them form a basis there. Their determinant is a unit in $R_{\mathfrak{p}}$, hence they form a basis over that local ring and on an open neighbourhood of $\mathfrak{p}$.

On $V_I$, trivialize $Q$ using exactly those selected images. The remaining columns give regular functions and hence a morphism $V_I\to U_I$. On $V_I\cap V_J$, the normalized matrices satisfy the displayed transition formula, so the local morphisms glue to a morphismIts pullback of the universal quotient is the original quotient, because this is true in each of the specified bases. Conversely, any morphism $f:\mathrm{Spec}R\to G$ pulls back the universal sequence to a rank-$r$ locally free quotient. On each inverse-image chart its matrix is exactly the normalized matrix used to reconstruct $f$, so the two constructions are inverse. They are unchanged by an isomorphism commuting with the quotient map, and they commute with every base change $R\to R^{\prime }$. This proves the natural bijection and thereforeTaking kernels over a field identifies this with the usual Grassmannian of $(n-r)$-dimensional subspaces of $M\otimes k$. The construction itself does not assume the target module is globally free.

For $r=0$, the only quotient is zero; for $r=n$, a surjection to a locally free module of the same rank is an isomorphism, as can be checked locally by its determinant. Both endpoint functors are represented by $\mathrm{Spec}\mathbb{Z}$. If $r>n$, no such quotient exists over a nonempty test scheme, and the representing scheme is empty. Finally, scheme representability does not mean representation by a single ring: already $r=1,n=2$ gives ${\mathbb{P}}_{\mathbb{Z}}^1$, which is not affine. This is the standard algebraic-geometric meaning of representability for the functor on rings here.

The divisor determines the bundle through its local equations. Choose an open cover on which $V$ has a reduced holomorphic defining equation $f_i$, using $f_i=1$ on sets disjoint from $V$. Because $V$ is a complex submanifold of codimension of a submanifold one, its ideal is locally generated by a coordinate; consequently $f_i/f_j$ is a nowhere-zero holomorphic function on each overlap. Inside the sheaf of meromorphic functions on a complex manifold, consider the locally free sheaf of rank oneThese local descriptions agree on overlaps. With $e_i=1/f_i$, its transition functions of a vector bundle are specified byThe ratios satisfy the Čech cocycle condition, and the associated holomorphic line bundle associated to a divisor is $[V]$. The section $1=f_i{e}_i$ is holomorphic and vanishes to order one along $V$. Replacing $f_i$ by $u_i{f}_i$, with $u_i$ a holomorphic unit, replaces the frame by $u_i^{-1}{e}_i$ without changing the subsheaf of meromorphic functions. Refining the cover changes no local sections either. This proves choice independence up to isomorphism rather than merely producing a bundle for one cover.

For a complex manifold of dimension $n$, the canonical bundle isIt is the holomorphic line bundle of holomorphic top-degree differential forms. To compute it on Complex projective space, let $S=\mathcal{O}(-1)$ be the complex tautological line bundle, so that $S^{\ast }=[H]=\mathcal{O}(1)$ is the hyperplane line bundle. At a line $\ell \subset {\mathbb{C}}^{n+1}$, the tangent space is $\mathrm{Hom}(\ell ,{\mathbb{C}}^{n+1}/\ell )$. Tensoring the tautological quotient sequence by $S^{\ast }$ gives the Euler sequence on complex projective spaceTaking the top exterior power gives $\det T^{1,0}{\mathbb{P}}^n=\mathcal{O}(n+1)$; taking its dual bundle yieldsHere a negative tensor power means the corresponding positive tensor power of the dual bundle.

The proposed sections over $U$ form a sheaf: compatible maps into $L$ glue uniquely, and their projections remain $\varphi$. Addition and multiplication by holomorphic functions are defined in the fibres of $L$, making this a sheaf of ${\mathcal{O}}_X$-modules. If $e_i$ is a holomorphic local frame of $L$ on $W_i\subset Y$, every section over $U\subset {\varphi }^{-1}(W_i)$ has the unique expressionThus the sheaf is a locally free sheaf of rank one. Its transition functions of a vector bundle are those of $L$ composed with $\varphi$, so the corresponding pullback vector bundle is precisely ${\varphi }^{\ast }L$. This proves invertibility locally and compatibility globally.

For the local blowup of a complex manifold at a point, work on the projective chart $Y_i\ne 0$ and writeAll the incidence equations reduce to $x_j=u{t}_j$. Therefore $(u,(t_j{)}_{j\ne i})$ gives a holomorphic coordinate chart isomorphic to ${\mathbb{C}}^n$. On an overlap with $Y_{\ell }\ne 0$,which is a biholomorphism where $t_{\ell }\ne 0$. The incidence subset is closed in the product of two Hausdorff spaces and is covered by these charts; hence it is a complex manifold of dimension $n$. In each chart the exceptional fibre is $u=0$, so it is a smooth complex submanifold, with its induced projective coordinates givingAway from the origin the inverse of the projection is $x\mapsto (x,[x])$, which is holomorphic; the projection is therefore a biholomorphism outside $E$.

To find the canonical bundle, pull back the nowhere-zero top form on ${\mathbb{C}}^n$. In the chart above, its Jacobian determinant givesThe sign depends only on the ordering of the coordinates. This is a section of $K_X$ with divisor on a complex manifold exactly $(n-1)E$: it has that vanishing order in every exceptional chart and no zeros elsewhere. A nonzero meromorphic section of a holomorphic line bundle with divisor $D$ identifies its holomorphic line bundle with $[D]$, by sending the local generator $1/f_i$ of $\mathcal{O}(D)$ to the nowhere-zero frame obtained by dividing the section by $f_i$. ConsequentlyThis also includes $n=1$, when the local map is an isomorphism and the exponent is zero.

For a general complex manifold, choose a coordinate neighbourhood $U$ of $P$, with $P$ sent to $0$, and replace $U$ by the inverse image of this coordinate neighbourhood in the local blowup of a complex manifold at a point. Glue this space to $M\setminus \{P\}$ along $U\setminus \{P\}$ using the preceding biholomorphism. The resulting charts give a complex manifold $\tilde{M}$ and a holomorphic map $\varphi$; the exceptional fibre is ${\mathbb{P}}^{n-1}$ and the map is a biholomorphism off that fibre. For completeness, the local projection is proper because its inverse image over a compact subset is closed in that subset times compact Complex projective space. This ensures the gluing is Hausdorff: separate points with distinct images downstairs, and points over $P$ inside the local blowup. The atlas is second countable as well.

The top exterior power of the differential defines a global holomorphic bundle map ${\varphi }^{\ast }{K}_M\to K_{\tilde{M}}$. Equivalently, it is a section of $K_{\tilde{M}}\otimes ({\varphi }^{\ast }{K}_M{)}^{-1}$. The same local Jacobian determinant has vanishing order $n-1$ on $E$, and the differential is invertible elsewhere. Applying the holomorphic line bundle associated to a divisor construction gives the canonical bundle formula for a point blowup

The opening change-of-rings tensor quotient sends $m{\otimes }_{R}n$ to $m{\otimes }_{A}n$. The target pairing is bilinear and $R$-balanced because $\theta (r)m{\otimes }_{A}n=m{\otimes }_A\theta (r)n$. On the source, let $A$ act through the first factor; commutativity makes that action compatible with the $R$-balancing relations, and the map is $A$-linear. It is surjective: the target is the quotient imposing the additional relations $am{\otimes }_{R}n=m{\otimes }_{R}an$ for every $a\in A$. The construction commutes with module homomorphisms in both variables.

The pullback-direct-image adjunction unit is obtained locally by pulling a section $h\in \mathcal{H}(V)$ to ${\varphi }^{-1}V$ and sending it to $1\otimes h$ in ${\varphi }^{\ast }\mathcal{H}({\varphi }^{-1}V)$. These maps respect restrictions and the ${\mathcal{O}}_Y$-actions, hence defineFor $\mathcal{H}={\mathcal{O}}_Y$, multiplication identifies ${\varphi }^{\ast }{\mathcal{O}}_Y$ with ${\mathcal{O}}_X$, and ${\eta }_{{\mathcal{O}}_Y}$ is precisely the structure morphism ${\varphi }^{\#}:{\mathcal{O}}_Y\to {\varphi }_{\ast }{\mathcal{O}}_X$.

To construct the direct-image tensor comparison, on $V\subseteq Y$ send $s\otimes t$, with $s\in \mathcal{F}({\varphi }^{-1}V)$ and $t\in \mathcal{G}({\varphi }^{-1}V)$, to its tensor section of $\mathcal{F}{\otimes }_{{\mathcal{O}}_X}\mathcal{G}$. This pairing is ${\mathcal{O}}_Y(V)$-balanced through ${\varphi }^{\#}$ and is compatible with restrictions. The universal property of the tensor product of modules and sheafification therefore giveApply this with $\mathcal{G}={\varphi }^{\ast }\mathcal{H}$ after tensoring the unit ${\eta }_{\mathcal{H}}$ with ${\varphi }_{\ast }\mathcal{F}$. The composite is the map in the projection formula for sheaves. If $\mathcal{H}{|}_V\cong {\mathcal{O}}_V^r$, then ${\varphi }^{\ast }\mathcal{H}{|}_{{\varphi }^{-1}V}\cong {\mathcal{O}}_{{\varphi }^{-1}V}^r$, and the composite identifies withthe identity on the $r$ components. Thus it is an isomorphism for a locally free sheaf of finite rank. Neither $\mathcal{F}$ nor $\mathcal{G}$ was assumed quasi-coherent.

First suppose $X$ is a nonempty integral scheme, with generic point $\eta$ and function field $K={\mathcal{O}}_{X,\eta }$. Since taking stalks preserves the inclusion $\mathcal{I}\hookrightarrow {\mathcal{O}}_X$, local freeness of rank two would give an injective $K$-linear mapcontradicting the dimension of a vector space.

For a nonempty Noetherian scheme that is reduced, there are finitely many irreducible components. Choose one, and remove the union of the others. The resulting nonempty open subscheme is irreducible and reduced, hence integral. Restricting the proposed locally free sheaf to it gives the contradiction above. Therefore no locally free ideal of rank two exists on a nonempty reduced Noetherian scheme.

The rank bound for locally free ideals on reduced schemes in fact removes the Noetherian assumption: on an affine open where the rank is fixed, localization at a minimal prime ideal gives a field, so a free ideal has rank at most one. Nonemptiness is necessary for the literal statement: on the empty scheme the zero sheaf is vacuously locally free of every stipulated rank. The question is interpreted with this usual nonempty hypothesis.

First consider the preliminary cohomological facts. The exam's term flabby means flasque sheaf: every restriction map is surjective. For open sets $V\subseteq U$, lift a section of ${\mathcal{F}}_3(V)$ to ${\mathcal{F}}_2(V)$ using the given surjectivity when ${\mathcal{F}}_1$ is flasque. Extend that lift to $U$ using the flasque sheaf ${\mathcal{F}}_2$, then project to ${\mathcal{F}}_3(U)$. This proves that ${\mathcal{F}}_3$ is a flasque sheaf.

One construction of a flasque resolution starts with the sheaf ${\mathcal{C}}^0(\mathcal{F})(U)={\prod }_{P\in U}{\mathcal{F}}_P$, with pointwise restriction. It is a sheaf of abelian groups with surjective restrictions, and sending a section to all its germs embeds $\mathcal{F}$ in it. Repeating on the cokernels constructs an exact sequencewith each ${\mathcal{I}}^j$ flasque. Define sheaf cohomology by the cohomology of the cochain complex of global sections of such a resolution; the groups are independent of the chosen flasque resolution. If $\mathcal{F}$ is itself flasque, the quotient result just proved makes every successive cokernel flasque. Applying the assumed surjectivity of sections to each successive short exact sequence of sheaves proves exactness of the global-section complex in positive degrees. Thus $H^i(X,\mathcal{F})=0$ for $i>0$.

Now let $K=k(X)$ be the function field of the smooth algebraic curve. Its divisor class group isHere ${\nu }_P$ is the discrete valuation of the discrete valuation ring ${\mathcal{O}}_{X,P}$, and $\mathrm{Prin}(X)$ consists of the principal divisor elements $\mathrm{div}(f)$. These sums have finite support: on a finite affine cover, represent $f$ as a fraction of regular functions; each nonzero numerator or denominator has only finitely many zeros on a curve, since a proper closed subset of a Noetherian one-dimensional irreducible space is finite.

For a divisor on an algebraic curve $D={\sum }_P{n}_{P}P$, define the line bundle associated to a divisor byIn this expression the valuation condition applies to nonzero $f$. If $t_P$ is a uniformizer, the stalk is $t_P^{-n_P}{\mathcal{O}}_{X,P}$. Shrinking around $P$ removes all other zeros and poles of $t_P$ and all other points in the support of $D$, so this also gives an actual local generator. Thus ${\mathcal{O}}_X(D)$ is a locally free sheaf of rank one. Multiplication gives an isomorphismon every stalk. If $D=\mathrm{div}(g)$, then ${\mathcal{O}}_X(D)=g^{-1}{\mathcal{O}}_X$, so the construction factors through a homomorphism $\mathrm{Cl}(X)\to \mathrm{Pic}(X)$.

It is injective: if ${\mathcal{O}}_X(D)$ is trivial, an isomorphism from ${\mathcal{O}}_X$ supplies a nonzero global rational generator $h$. At each closed point, $h$ generates $t_P^{-n_P}{\mathcal{O}}_{X,P}$, giving ${\nu }_P(h)=-n_P$, hence $D=-\mathrm{div}(h)$.

It is surjective: take a line bundle $\mathcal{L}$ and a nonzero rational section $s$, obtained by choosing a frame on any nonempty trivializing open set. If $e_i$ is a local frame, write $s=f_i{e}_i$ with $f_i\in K^{\ast }$. Since changes of frame are units, ${\nu }_P(f_i)$ is independent of the frame near $P$. A finite trivializing cover shows that these numbers have finite support. Set $D={\sum }_P{\nu }_P(f_i)P$. The map $f\mapsto fs$ gives ${\mathcal{O}}_X(D)\cong \mathcal{L}$, because at $P$ the condition ${\nu }_P(f)+{\nu }_P(f_i)\ge 0$ is exactly regularity of $fs$. Replacing $s$ by $gs$ changes $D$ by $\mathrm{div}(g)$, so this construction is well defined on classes. This proves the divisor class group and Picard group of a smooth curve identification

The ${\mathcal{O}}_Y$-module $\mathcal{E}$ is a locally free sheaf of finite rank if every $y\in Y$ has an open neighborhood $V$ and a finite integer $r$ for whichThe rank is locally constant and is therefore constant on each connected component.

The adjunction morphism $f^{-1}{f}_{\ast }\mathcal{F}\to \mathcal{F}$, together with $f^{-1}\mathcal{E}\to f^{\ast }\mathcal{E}$, givesAdjunction between the inverse image sheaf and direct image sheaf turns this into the projection formula for sheaves morphismOn local sections it sends a pure tensor $s\otimes e$ over $V\subseteq Y$ to $s\otimes f^{\#}e$ over $f^{-1}V$.

Whether this morphism is an isomorphism is local on $Y$. If $\mathcal{E}{|}_V\cong {\mathcal{O}}_V^{\oplus r}$ for finite $r$, its restriction becomes the canonical identificationThus the projection-formula morphism is an isomorphism whenever $\mathcal{E}$ is locally free of finite rank.

For a morphism of ringed spaces, there is a natural morphismIt is an isomorphism when $\mathcal{E}$ is a locally free sheaf of finite rank, because the claim is local and then reduces to distributivity over a finite direct sum.

The same formula holds for higher direct images: $R^i{f}_{\ast }\mathcal{F}\otimes \mathcal{E}\cong R^i{f}_{\ast }(\mathcal{F}\otimes f^{\ast }\mathcal{E})$ when $\mathcal{E}$ is locally free of finite rank.