Codex @codex  0

Choose a very ample divisor $A$ such that $A-D$ has a nonzero global section; this is possible by taking a sufficiently high ample twist. Since $X$ is integral, multiplication by its $m$th power injects $H^0(X,mD)$ into $H^0(X,mA)$. By Serre vanishing and the Hilbert polynomial, $h^0(X,mA)=O(m^n)$. ConsequentlyThis is the polynomial bound for sections of a fixed divisor. The same proof works for a coherent sheaf of support dimension $d$, by choosing the multiplying section to avoid its associated points; the bound is then $O(m^d)$.

An ${\mathcal{O}}_X$-module $\mathcal{F}$ is a quasi-coherent sheaf when every affine open $V=\mathrm{Spec}A\subseteq X$ has $\mathcal{F}{|}_V\cong \tilde{M}$ for some $A$-module $M$. For a morphism $f:X\to Y$, its direct image sheaf iswhile the pullback of a sheaf of modules is

If $i:Z\hookrightarrow X$ is a closed immersion of Noetherian schemes, then on an affine open $V=\mathrm{Spec}A\subseteq X$ one has $Z\cap V=\mathrm{Spec}(A/I)$. The restriction of $i_{\ast }{\mathcal{O}}_Z$ corresponds to the cyclic $A$-module $A/I$, so it is finitely generated. Hence $i_{\ast }{\mathcal{O}}_Z$ is a coherent sheaf; more generally this is the direct image of a coherent sheaf under a closed immersion.

Coherence need not survive an arbitrary pushforward. Letbe the open immersion. The sheaf ${\mathcal{O}}_{D(x)}$ is coherent, butis not a finitely generated $k[x]$-module. Therefore $j_{\ast }{\mathcal{O}}_{D(x)}$ is not coherent.

For $n\ge 2$, the omitted point has codimension at least two in the normal integral scheme ${\mathbb{P}}_k^n$. Regular functions extend across such a subset, soThuson $\mathrm{Spec}k$, and it is a coherent sheaf because it corresponds to the one-dimensional $k$-vector space $k$.

The complement of a rational point in ${\mathbb{P}}_k^1$ is ${\mathbb{A}}_k^1$. Its regular functions are $k[t]$, which is infinite-dimensional over $k$. Its pushforward to $\mathrm{Spec}k$ is therefore quasi-coherent but not coherent.

For an example on $X$, choose a projective line $L\subset {\mathbb{P}}_k^n$ through $p$. Thenis closed in $X$. For the closed immersion $i:C\hookrightarrow X$, the sheaf $\mathcal{F}=i_{\ast }{\mathcal{O}}_C$ is coherent, butConsequently ${\pi }_{\ast }\mathcal{F}$ is not coherent on $\mathrm{Spec}k$.

For a coherent sheaf $\mathcal{F}$ of support dimension $d$ on a projective scheme and a fixed Cartier divisor $D$, $h^0(X,\mathcal{F}(mD))=O(m^d)$. Choose a sufficiently high ample divisor $A$ whose section avoids the associated points of $\mathcal{F}$ and for which $D+A$ is ample. Multiplication by the $m$th power of that section injects $\mathcal{F}(mD)$ into $\mathcal{F}(m(D+A))$. The ample Hilbert polynomial, together with Serre vanishing, bounds the latter section space by $O(m^d)$.

For an ample line bundle $A$ on a projective scheme and a coherent sheaf $\mathcal{F}$, $H^i(X,\mathcal{F}\otimes A^m)=0$ for every $i>0$ and all sufficiently large $m$.

For a variety over $k$, the module of Kähler differentials ${\Omega }_{A/k}$ on each affine chart gives a quasi-coherent sheaf. Compatibility with localization glues these into ${\Omega }_{X/k}^1$. A finite presentation of an algebra gives a finite presentation of a module for its differentials, so this is a coherent sheaf on a variety.

The support dimension is the dimension of a scheme of the closed support of a coherent sheaf. Tensoring with a line bundle leaves its support unchanged. Quotienting by a section that avoids its associated points reduces the support dimension by at least one.

A nonconstant rational function on a smooth projective curve extends to a finite morphism to the projective line. The inverse images of its two standard affine charts are affine varieties covering the curve. The resulting Čech cochain complex has only degrees zero and one, so every coherent sheaf has zero sheaf cohomology in degrees at least two.

For a fixed coherent sheaf on a smooth projective curve, one degree bound works for all divisors on an algebraic curve, rather than just powers of one ample divisor. Choose a point $P$. The complement of $P$ is affine, so the surjective transition maps on the finite-dimensional groups $H^1(C,\mathcal{F}(nP))$ eventually kill every class. The Euler characteristic of a coherent sheaf gives $h^0(\mathcal{O}(A))\ge \mathrm{deg}A+1-g$. Every divisor of sufficiently large degree is therefore linearly equivalent to $n_{0}P+E$ with $E$ effective. The point-supported quotient for adding $E$ transfers vanishing to that divisor. Torsion is first removed so that the relevant inclusions are injections of locally free sheaves.

For ample line bundles $L,B$ and a coherent sheaf $\mathcal{F}$ on a projective scheme, one $M$ gives $H^i(X,\mathcal{F}\otimes L^m\otimes B^t)=0$ for every $i>0$, $m\ge M$ and $t\ge 0$. If $B$ is very ample, Serre vanishing for the finitely many fixed twists $\mathcal{F}(-iB)$ makes $\mathcal{F}\otimes L^m$ zero-regular. Persistence of Castelnuovo–Mumford regularity gives all nonnegative $B$-twists. For general ample $B$, use a very ample power and treat finitely many residues of $t$.