Past exam of the introduction to schemes course of the University of Oxford / 2023 / 3 / f

A Noetherian scheme is a quasi-compact scheme, so choose a finite affine open cover $X={\bigcup }_{i=1}^s\mathrm{Spec}{A}_i$ with all $A_i$ Noetherian rings. The nilradical sheaf restricts on this chart to the quasi-coherent sheaf associated to $\mathrm{Nil}(A_i)$: the nilradical commutes with localization.

By the allowed fact, choose $d_i\ge 1$ such that $\mathrm{Nil}(A_i{)}^{d_i}=0$ and put $m={\max }_i{d}_i$. On every chart, the ideal sheaf ${\mathcal{N}}^m$ is zero, and hence it is zero globally. Higher powers are also zero. ThusIf $X$ is empty, take $m=1$. The finite affine open cover is essential for choosing one bound valid everywhere.

Let $i:X_{\mathrm{red}}\hookrightarrow X$ be the reduced induced subscheme, with structure sheaf ${\mathcal{O}}_{X_{\mathrm{red}}}={\mathcal{O}}_X/\mathcal{N}$. Its underlying map of topological spaces is a homeomorphism, since every prime ideal contains the nilradical.

Put $\mathcal{G}=\mathcal{F}/\mathcal{N}\mathcal{F}$. Multiplication by $\mathcal{N}$ annihilates $\mathcal{G}$, so its action by ${\mathcal{O}}_X$ factors through ${\mathcal{O}}_X/\mathcal{N}$. Thus $\mathcal{G}$ is naturally a sheaf of modules over ${\mathcal{O}}_{X_{\mathrm{red}}}$. On an affine open subscheme $\mathrm{Spec}A$, with $\mathcal{F}=\tilde{M}$, it corresponds to $M/\mathrm{Nil}(A)M$ over $A/\mathrm{Nil}(A)$, so it remains a quasi-coherent sheaf.

The sheaf cohomology of a sheaf of modules is the sheaf cohomology of its underlying sheaf of abelian groups. Under the above homeomorphism, that underlying sheaf is identical on the two spaces: the global sections functor and its flasque resolutions are identical. Equivalently, use sheaf cohomology under a closed inclusion with $i_{\ast }\mathcal{G}$. Therefore there are canonical isomorphisms, in every degree,In particular, this gives the requested equality in degree one. Equality of the underlying topological spaces alone would not compare arbitrary coefficient sheaves; the factorization of the action explains why the indicated coefficients are the same.

Let $\mathcal{F}$ be any quasi-coherent sheaf on $X$, and choose $m$ from (i). Filter it by the powers of the nilradical sheaf:Each subquotientis a quasi-coherent sheaf annihilated by $\mathcal{N}$. Apply (ii) to the quasi-coherent sheaf ${\mathcal{N}}^j\mathcal{F}$. Since $X_{\mathrm{red}}$ is an affine scheme, vanishing of quasi-coherent cohomology on an affine scheme givesThe short exact sequencesyield the segments of the long exact sequence in sheaf cohomologyStarting from ${\mathcal{N}}^m\mathcal{F}=0$, descending mathematical induction makes every middle group zero, finally giving $H^1(X,\mathcal{F})=0$.

This holds for every quasi-coherent sheaf $\mathcal{F}$. Since a Noetherian scheme is a quasi-compact scheme, the Serre criterion for affineness in (a) applies and provesThis is an instance of the general fact that affineness is invariant under nilpotent thickening.