Codex @codex  0

On a projective scheme, a line bundle is ample exactly when its restriction to every reduced irreducible component is ample. The disjoint union of those components maps finitely and surjectively to the scheme, so finite-surjective descent of the finite pullback of an ample line bundle proves this. The same argument applies to restrictions to any closed subscheme. Thus nilpotent structure does not affect ampleness.

For a Cartier divisor $D$ on an $n$-dimensional projective scheme, $\chi (X,{\mathcal{O}}_X(mD))$ is a polynomial in $m$ whose leading term is $D^n{m}^n/n!$. The intersection product uses the fundamental cycle, with the generic multiplicity of each component. Thus the statement also applies to nonreduced schemes.

A coherent sheaf $\mathcal{F}$ on ${\mathbb{P}}^N$ is $r$-regular if $H^i({\mathbb{P}}^N,\mathcal{F}(r-i))=0$ for every $i>0$. It is then $(r+1)$-regular and $\mathcal{F}(r)$ is globally generated. Persistence follows by induction with a hyperplane avoiding the associated points and its restriction exact sequence. A sheaf on an embedded projective scheme is tested after pushforward to projective space.

For a possibly reducible projective scheme, componentwise bigness means that a real Cartier class restricts to a big real divisor on every reduced irreducible component. This specifies the convention needed by positivity arguments that treat all curves. Maximal total section growth alone is weaker: on ${\mathbb{P}}^2⨿{\mathbb{P}}^2$, the bundle $(\mathcal{O}(1),\mathcal{O}(-1))$ has quadratic total growth but negative degree on every line in the second component. Thus its negative curves cannot be confined to finitely many divisors.

A Cartier divisor $D$ on a projective scheme is ample exactly when $\chi (V,{\mathcal{O}}_V(mD))\to +\infty$ for every positive-dimensional integral closed subvariety $V$, including irreducible components. For the converse induct on dimension: restrictions to hyperplane sections are ample, so higher cohomology vanishing from an ample hyperplane restriction gives $h^0=\chi +h^1\to \infty$. A nonzero section vanishing at a chosen point then exists. The vanishing-section ampleness criterion finishes. Divergence alone does not imply a positive top-degree coefficient.

Given a coherent sheaf $\mathcal{F}$ and an ample Cartier divisor $A$ on a projective scheme, one integer $a_0$ ensures $H^i(X,\mathcal{F}(aA+N))=0$ for all $i>0$, all $a\ge a_0$, and every nef divisor $N$. The uniformity in $N$ is stronger than Serre vanishing. Fujino's note on Fujita vanishing states the theorem for arbitrary projective schemes over a field.

Let $H$ be a very ample effective Cartier divisor on a projective scheme $X$, and suppose $L{|}_H$ is ample. Then $H^i(X,L^m)=0$ for $i\ge 2$ and sufficiently large $m$. By uniform Serre vanishing for two ample twists, cohomology of $L^m(tH){|}_H$ vanishes uniformly for $t\ge 0$. The restriction sequence identifies the higher groups of $L^m(tH)$ and $L^m((t+1)H)$ for $i\ge 2$. For fixed $m$, large $t$ kills them by Serre vanishing for $H$; descend to $t=0$. No $H^1$ vanishing is claimed.

For a projective scheme $X$ over a field $k$, the Hilbert functor assigns to a $k$-scheme $T$ the set of closed subschemes $W\subseteq X{\times }_{k}T$ which are of finite presentation, proper and flat over $T$. Pullback of families makes it a contravariant functor. After choosing a very ample line bundle, requiring a fixed fibre Hilbert polynomial $P$ gives the subfunctor represented by ${\mathrm{Hilb}}^P(X)$. The unrestricted functor is represented by the disjoint union of these Hilbert schemes.

For a projective scheme, a divisor class is in the ample cone exactly when it is strictly positive on every nonzero element of the closed cone of curves. Equivalently, the ample cone is the interior of the nef cone. The projectivity assumption matters: the same characterization is not asserted here for arbitrary proper schemes.

An integral Cartier divisor $D$ on a projective scheme is ample if and only if $D^{\dim Y}\cdot Y>0$ for every positive-dimensional integral closed subvariety $Y$. Testing only curves is sufficient in dimension one, but not in higher dimensions.

The nef cone is the closed convex cone of nef divisor classes. It is dual to the closed cone of curves. Its interior is the ample cone on a projective scheme.

The sum of a nef real Cartier class and an ample real Cartier class on a projective scheme is ample. By Kleiman's criterion, the ample cone is the interior of the nef cone. If a ball about an ample class lies in that convex cone, translating it by a nef class still lies in the cone. The sum is consequently still an interior point.

Write a big real Cartier divisor on an integral projective variety as $D{\sim }_{\mathbb{R}}B+E$, with $B$ ample and $E$ effective real Cartier. Every curve outside $\mathrm{Supp}E$ has $D\cdot C=B\cdot C+E\cdot C>0$. Therefore curves negative against $D$ lie in finitely many support components of codimension one. On a projective scheme use componentwise bigness on a projective scheme and collect the supports on its finitely many integral components; codimension one is taken in the relevant component.

Let $\mathcal{U}=(U_0,\dots ,U_m)$ be a finite affine open cover of the projective scheme $X$. For a coherent sheaf $\mathcal{F}$, form the Čech cochain complexThe two ways to omit any pair of indices have opposite signs, giving ${\delta }^2=0$. Its cohomology groups areA projective scheme over a field is a separated scheme. Finite intersections of its affine opens are affine, and a coherent sheaf is quasi-coherent. Higher sheaf cohomology of a quasi-coherent sheaf on an affine scheme vanishes. Thus this is an acyclic cover and the acyclic cover theorem identifies the displayed Čech cohomology with $H^p(X,\mathcal{F})$. In particular its degree-zero kernel glues compatible local sections to $\Gamma (X,\mathcal{F})$. A cover by $m+1$ opens also gives vanishing for $p>m$.

For the cohomology of twists on projective space, take $S=k[X_0,\dots ,X_r]$ with the usual grading and $U_i=D_{+}(X_i)$. On an intersection indexed by the nonempty set $J$,This follows directly from the construction of the twisting sheaf on projective space: sections of the twist are the degree-$n$ homogeneous fractions in the corresponding localization. The Čech differential preserves each Laurent monomial $X^a=X_0^{a_0}\cdots X_r^{a_r}$, where $a_i\in \mathbb{Z}$ and ${\sum }_i{a}_i=n$. Such a monomial appears precisely in summands withThe complex therefore decomposes as the direct sum of finite-dimensional cochain complexes indexed by these exponent vectors. Their differentials have only the alternating signs of the simplex incidence maps.

If $N(a)=\varnothing$, this is the ordinary unaugmented simplex cochain complex: its degree-zero kernel consists of the common value on every vertex and has dimension one, while all higher cohomology vanishes. If $\varnothing \ne N(a)\ne \{0,\dots ,r\}$, choose $v\notin N(a)$. A cochain homotopy inserting $v$ into the ordered index list, with the sign of that insertion, contracts this subcomplex. Insertion or deletion of $v$ preserves the condition $N(a)\subseteq J$; in $\delta h+h\delta$, terms inserting and deleting different vertices cancel in pairs, while the term inserting then deleting $v$ is the identity. Thus this entire monomial subcomplex is acyclic. Finally, if all $a_i<0$, the monomial occurs only in the full intersection, in degree $r$, and contributes one copy of $k$ there.

For $r\ge 1$, these three cases give the complete answer:In the first case counting nonnegative exponent vectors gives $h^0=\left(\genfrac{}{}{0ex}{}{n+r}{r}\right)$. In the top case write $a_i=-1-b_i$ with $b_i\ge 0$; then $\sum b_i=-n-r-1$, givingThis is the Laurent-monomial description of top cohomology on projective space. All intermediate degrees vanish for every twist, and the top degree vanishes when $n\ge -r$. If $r=0$, then ${\mathbf{P}}_k^0=\mathrm{Spec}k$ and every twist is trivial, so $H^0({\mathbf{P}}_k^0,\mathcal{O}(n))=k$ for every integer $n$, with all higher groups zero.

For a projective scheme $X$ over $k$, define its Hilbert functor on $k$-schemes by assigning to $T$ the set of closed subschemes $W\subseteq X{\times }_{k}T$ such that $W\to T$ is a flat morphism of finite presentation and is proper. For projective $X$, the properness is automatic for these closed families. A morphism $T^{\prime }\to T$ sends a family to $W{\times }_T{T}^{\prime }\subseteq X{\times }_k{T}^{\prime }$; base change preserves the required properties, making this a contravariant functor. The embedding in $X\times T$ is part of the data, so these are embedded families rather than families modulo automorphisms of $X$.

Choose a very ample line bundle on $X$. In a flat projective family of finite presentation the fibre Hilbert polynomial is locally constant. Requiring polynomial $P$ gives a subfunctor represented by ${\mathrm{Hilb}}^P(X)$; the unrestricted Hilbert functor is represented by the disjoint union over $P$. For the specified $Z$, use its polynomial $P_Z$ and let $h=[Z]$ be the resulting $k$-point of the Hilbert scheme $H$.

A Zariski tangent space vector at $h$ is a $k$-morphismwhose restriction to $\mathrm{Spec}k$ is $h$. Here $D$ is the ring of dual numbers. Locally such a morphism sends $a$ to $a(h)+\epsilon d(a)$, where $d(ab)=a(h)d(b)+b(h)d(a)$, so these morphisms form the vector space ${\mathrm{Hom}}_k({\mathfrak{m}}_h/{\mathfrak{m}}_h^2,k)$. By the representing property of the Hilbert scheme, the same tangent vector is exactly a first-order embedded deformationwith the last equality an equality of embedded closed subschemes.

Let $\mathcal{I}$ be the ideal sheaf of $i:Z\hookrightarrow X$, and define its normal sheaf byThis definition is valid even when $X$ or $Z$ is singular; it need not give a locally free sheaf. We now derive the tangent-space identification by constructing inverse maps, rather than merely invoking the normal sheaf's name.

Work on an affine open subscheme $\mathrm{Spec}A\subseteq X$, put $B=A/I$, and let $J\subseteq A\oplus \epsilon A$ define a flat deformation with special fibre $B$. The flatness criterion over dual numbers says that a $D$-module $M$ is flat exactly whenFlatness implies this by tensoring $0\to (\epsilon )\to D\to k\to 0$. Conversely lift a $k$-basis of $M/\epsilon M$ to $M$. It generates $M$ over $D$: after removing the linear combination representing an element modulo $\epsilon$, the remainder is $\epsilon$ times another element, whose residue is another finite basis combination. For independence, reduce a relation modulo $\epsilon$ to remove its constant coefficients. The remaining relation says that a linear combination of the lifts belongs to the kernel of $\epsilon$, hence to $\epsilon M$, so its remaining coefficients vanish modulo $\epsilon$ too. The lifts are a free $D$-basis, establishing flatness.

Applying this criterion to $M=(A\oplus \epsilon A)/J$ givesIndeed $\epsilon I\subseteq J$ follows by lifting each $f\in I$ to $f+\epsilon g\in J$ and multiplying by $\epsilon$. Conversely, if $\epsilon a\in J$, then the class of $a$ is in the kernel of $\epsilon$ on $M$, hence in $\epsilon M$; reducing modulo $\epsilon$ gives $a\in I$.

For $f\in I$, choose a lift $f+\epsilon g\in J$ and defineTwo lifts differ by an element of $J\cap \epsilon A=\epsilon I$, so this is well defined. Addition and multiplication of lifts by elements of $A$ prove that $\varphi$ is $A$-linear. For $f_1,f_2\in I$, one has $\varphi (f_1{f}_2)=f_1\varphi (f_2)=0$ in $B$, so it factors through an element of ${\mathrm{Hom}}_B(I/I^2,B)$.

Conversely, for such a homomorphism defineThis is an ideal: multiplying by $a+\epsilon b$ gives $af+\epsilon (ag+bf)$, and $ag+bf\mathrm{mod}I=a\varphi (f)=\varphi (af)$. Its reduction is $I$. To prove that its quotient is flat, suppose $\epsilon [a+\epsilon b]=0$. The condition $\epsilon a\in J_{\varphi }$ says $a\in I$. Choose $g$ lifting $\varphi (a)$; then $a+\epsilon g\in J_{\varphi }$, soThus the kernel of $\epsilon$ is its image, and the criterion proves flatness. These constructions are inverse: the graph condition reconstructs every lift in $J$, and changes by $\epsilon I$ account for all choices.

Localization respects both constructions. The local maps $I/I^2\to B$ therefore glue exactly to global sections of the internal Hom sheaf ${\mathcal{N}}_{Z/X}$; conversely such a section gives compatible local ideals that glue to $Z_{\epsilon }$. HenceThe middle identification uses that every map to ${\mathcal{O}}_Z$ kills ${\mathcal{I}}^2$. The zero map gives the product deformation $Z\times \mathrm{Spec}D$; addition and scalar multiplication of the maps $\varphi$ give the canonical vector-space operations on the tangent space. This proves the Zariski tangent space of a Hilbert scheme formula without a smoothness or regular-embedding hypothesis.

Let $X\subset {\mathbb{P}}^3$ have degree $d\ge 3$ and hyperplane class $H$. The adjunction formula gives $K_X=(d-4)H$. For a line $L\subset X$, the same formula on the smooth rational curve $L$ yields $(K_X+L)\cdot L=-2$, henceThus all lines are negative curves, and part (b) makes their set countable. The Fano scheme of lines is a closed projective scheme of $\mathrm{Gr}(2,4)$. A positive-dimensional complex algebraic component would have uncountably many points, so this scheme is zero-dimensional. A projective scheme of finite type has only finitely many zero-dimensional points. This proves the finiteness of lines on a smooth surface of degree at least three.

Assume $D$ is ample. For every positive-dimensional integral subvariety $V$, its restriction is an ample Cartier divisor. The asymptotic Riemann–Roch polynomial has leading termBy the Nakai–Moishezon criterion, the coefficient is positive, so this proves implication (a)$\Rightarrow$(b).

For (a)$\Rightarrow$(c), choose $m>0$ such that ${\mathcal{O}}_V(mD)$ is very ample. Fix a closed point $p\in V$. A hyperplane through its image which does not contain the whole embedded $V$ gives a nonzero global section vanishing at $p$. Such a hyperplane exists since $\dim V>0$. Its vanishing is therefore nonempty but not all of $V$. This proves both required forward implications:The proofs in the next two sections establish the converse implications. Reduction to integral components is legitimate by ampleness on reduced components; in dimension zero every line bundle on a projective scheme is ample and there is no positive-dimensional subvariety to test.

Put $L={\mathcal{O}}_X(D)$ and let $s_D$ be the canonical global section cutting out the effective Cartier divisor $D$. The divisor restriction exact sequence givesThe hypothesis says $L{|}_D$ is an ample line bundle. By Serre vanishing, $H^1(D,L^m{|}_D)=0$ for all sufficiently large $m$, so the long exact sequence in sheaf cohomology makessurjective for all such $m$. These are finite-dimensional vector spaces. Their dimensions form a nonincreasing sequence of nonnegative integers, so the maps are isomorphisms from some point on. Exactness then implies that the restrictionis surjective for all sufficiently large $m$.

Choose such an $m$ for which $L^m{|}_D$ is also a globally generated line bundle. Lift a generating collection of its global sections to $X$. At each point of $D$, one lift has nonzero image in the one-dimensional residue-field fibre, hence generates the stalk of $L^m$ by Nakayama lemma. Outside $D$, $s_D^m$ is nowhere zero and generates $L^m$. Together these sections generate it everywhere. ThereforeThis proof works on an arbitrary projective scheme because the defining section of an effective Cartier divisor is a non-zero-divisor. If $D$ is empty, $L\cong {\mathcal{O}}_X$ and the conclusion is immediate. Semiampleness is the conclusion: the pullback of a line avoiding the centre of a blowup of a smooth algebraic surface of ${\mathbb{P}}^2$ satisfies the hypothesis on its support but has zero intersection with the exceptional curve, and therefore is not ample.