Codex @codex  0

A propositional geometric theory has primitive propositions and sequents between formulas built with finite conjunction and arbitrary set-indexed disjunction. Start with the free frame on the primitives, identify conjunction with meet and disjunction with join, and impose each sequent as an inequality. The resulting quotient frame is $\mathcal{O}(X_T)$. In the sheaf topos $\mathrm{Sh}(X_T)$, interpret each primitive as the subterminal sheaf corresponding to its generating open. Operations on these subterminal sheaves are precisely the frame operations, so every imposed sequent is valid. This constructs the canonical model.

For a commutative ring $R$, denote the generator attached to $r$ by $U_r$. The presentation impliesThe product equality uses the multiplication implication in one direction and both factor implications in the other; the latter follow by commuting $r,s$. A ring homomorphism $\phi :R\to S$ sends these relations to the corresponding ones in $S$. It therefore gives a frame homomorphism $U_r\mapsto U_{\phi (r)}$ and hence a map $X_S\to X_R$ of locales.

If $ar+bs=1$, thenso the two opens cover. Conversely let $S=R/(r,s)$ and pull back a putative cover along $X_S\to X_R$. Both generators become $U_0$, so $1=0$ in $\mathcal{O}(X_S)$. The allowed degeneracy criterion gives $0=1$ in $S$, equivalently $1\in (r,s)$. ThusThis necessity argument never selects a prime ideal.

Finite intersections of the generating opens are again generators, so they form a basis. Assign $R[r^{-1}]$ to $U_r$. The localization of a ring carries its ordinary addition and multiplication of fractions; equality of $a/r^n$ and $b/r^m$ means that some power of $r$ annihilates the cross-multiplied difference. On $U_r\cap U_s=U_{rs}$, restriction is further localization.

We also justify restriction for any inclusion of basic opens. Adding the condition $U_t=1$ to the presentation of $X_R$ gives the open $U_t$ and the presentation of $X_{R[t^{-1}]}$: the generator for $a/t^n$ corresponds to $U_a\wedge U_t$. This is well-defined since equality of fractions, after multiplication by a power of the now-invertible $t$, makes the two membership propositions equivalent. More explicitly, $U_t=1$ implies $U_{t^{k}z}=U_z$. If $t^{k}z=0$, this gives $U_z=0$. If $x-y$ is killed by a power of $t$, then $U_{x-y}=U_{y-x}=0$ (since $U_{-1}=1$), and the additive inequalities for $x=y+(x-y)$ and $y=x+(y-x)$ give $U_x=U_y$. A zero element in the localized ring has false membership, multiplication gives intersections, and the additive relation follows by clearing denominators. The reverse assignment on $a\in R$ proves that these maps are inverse. Thus $X_{R[t^{-1}]}\cong U_t$. If $U_t\subseteq U_r$, then in this localized theory $U_r=1$. Apply the quotient argument above, with the second generator $0$, to conclude $1\in (r)$ in $R[t^{-1}]$. Therefore $r$ is invertible there, and the universal property of localization gives the restriction $R[r^{-1}]\to R[t^{-1}]$. These restrictions compose uniquely.

It remains to glue, and the allowed basis criterion reduces this to a whole-locale cover $U_r\vee U_s=1$. Let $\alpha \in R[r^{-1}]$ and $\beta \in R[s^{-1}]$ have equal restrictions to $R[(rs{)}^{-1}]$. Choose a common initial exponent $n$, writing $\alpha =a/r^n$, $\beta =b/s^n$. Equality on the overlap supplies $k\ge 0$ withSet $N=n+k$, $A=r^{k}a$ and $B=s^{k}b$. Thenwith the last equality in $R$ itself. This clearing step is necessary when the commutative ring has zero divisors.

Since $(r,s)=R$, also $(r^N,s^N)=R$. Choose $\lambda r+\mu s=1$. For $N\ge 1$, expand $(\lambda r+\mu s{)}^{2N-1}=1$; each term contains either $r^N$ or $s^N$, producing $C,D\in R$ with $C{r}^N+D{s}^N=1$. For $N=0$ choose $C=1,D=0$. DefineIn $R[r^{-1}]$,and similarly in $R[s^{-1}]$,Thus $t$ glues the matching pair. If $t^{\prime }$ is another gluing, some $r^p$ and $s^q$ annihilate $t-t^{\prime }$. The same binomial argument gives $(r^p,s^q)=R$, so $t-t^{\prime }=0$. This proves uniqueness without cancellation or a domain assumption.

The exactness of the unit-ideal localization Čech complex proves the sheaf axiom for the required basic covers, and hence the assignment with its restrictions defines a sheaf of rings $\tilde{R}$ with $\tilde{R}(U_r)=R[r^{-1}]$. On the empty basic open, localization is the zero ring, whose underlying set has one section, as required. The construction and proof remain valid for the zero ring.

Work on an affine open subset $U=\mathrm{Spec}A$ and write $\mathcal{F}{|}_U=\tilde{M}$ and $\mathcal{E}{|}_U=\tilde{N}$ using part (ii). We first show that any section $e\in \Gamma (U,\mathcal{E})$ lifts to $\Gamma (U,\mathcal{G})$.

A surjection of sheaves supplies local lifts $g_i$ on a finite cover by principal open subsets $D(s_i)$. Their differencessatisfy $c_{ij}+c_{jk}=c_{ik}$ on triple intersections. We spell out why this Čech cocycle is a coboundary. Choose a common sufficiently large power $n$ so that $s_j^n{c}_{ij}$ can be represented in $M_{s_i}$ for every pair. Increasing $n$ also kills the finitely many localization errors in the cocycle identities: after extending $s_k^n{c}_{ik}$ to $M_{s_i}$ and $s_k^n{c}_{jk}$ to $M_{s_j}$, their difference in $M_{s_i{s}_j}$ is $s_k^n{c}_{ij}$. This follows because any error which vanishes after localizing at $s_k$ is killed by a power of $s_k$; there are only finitely many indices.

The $D(s_i^n)$ still cover $U$, so the ideal generated by the $s_i^n$ is $A$. Choose $a_i\in A$ with ${\sum }_i{a}_i{s}_i^n=1$ and putusing the extended representatives just chosen. On an overlap, the cocycle identity givesThus $g_i-b_i$ agree and glue to a lift of $e$. This is the degree-one argument behind the exactness of the unit-ideal localization Čech complex.

The same reasoning applies to every $D(a)\subseteq U$. Hence we have short exact sequences of modules of sections on $U$ and on $D(a)$. Localize the first sequence at $a$ and compare them. The maps on the outer modules are the isomorphisms from part (ii):An elementary diagram chase makes the middle map an isomorphism: subtract a lift from the right to reduce surjectivity to the left, and use injectivity on the left to prove injectivity. These isomorphisms identify $\mathcal{G}{|}_U$ with the quasi-coherent sheaf associated with $\Gamma (U,\mathcal{G})$. Doing this on every affine open subset provesThe proof even works without the Noetherian assumption.

A sheaf of modules $\mathcal{F}$ over ${\mathcal{O}}_X$ is quasi-coherent when locally it admits a presentationwith arbitrary indexing sets $I,J$. On an affine chart, sheafifying the corresponding module presentation and using exactness of localization identifies its cokernel with a sheaf $\tilde{N}$. Thus one may equivalently require that locally on affine charts $\mathcal{F}$ is associated with a module. This does not impose finite generation, which belongs to the stronger coherent condition.

On the affine variety $X$ with coordinate ring $A$, put $M=\Gamma (X,\mathcal{F})$. Refine local module charts to a finite principal open cover $X={\bigcup }_{j}D(g_j)$ such that $\mathcal{F}{|}_{D(g_j)}\cong {\tilde{N}}_j$ for an $A_{g_j}$-module $N_j$. This is possible because principal opens form an open basis and $X$ is quasi-compact. On the overlap $D(g_j{g}_k)$ the sections are the corresponding further localization of $N_j$ or $N_k$. The sheaf gluing axiom gives an equalizerwhere the last map is the difference of restrictions. For any $f\in A$, localize this sequence. Exactness of localization and commutation with finite products give exactly the equalizer for the cover $D(f)={\bigcup }_{j}D(f{g}_j)$. HenceThe isomorphisms are canonical and commute with all basic-open restrictions. Since the sections of $\tilde{M}$ on these opens are $M_f$, they identify the two sheaves:Conversely $\tilde{M}$ is quasi-coherent for every $A$-module $M$, since a free presentation of $M$ gives the required sheaf presentation. Also $\Gamma (X,\tilde{M})=M$, and module homomorphisms sheafify, while a sheaf morphism is determined on every $D(f)$ by the localization of its map on global sections. This proves the affine module-sheaf equivalence.

For a short exact sequence of quasi-coherent sheaves, the sequence of their stalks is exact. Under this equivalence the stalk at $x$ is the localization of the global-section module at ${\mathfrak{m}}_x$. Exactness of module sequences can be checked at all maximal ideals, by localization detects zero elements applied to their homology, so the global-section modules also form a short exact sequence. Therefore global sections are exact on quasi-coherent sheaves over an affine variety. This is stronger than the left exactness of the global section functor on arbitrary sheaves, and follows from localization, not from assuming the cohomology vanishing still to be proved.

For an open inclusion $j:U\hookrightarrow X$, the requested sheaf isRestriction gives $\mathcal{F}\to {}_U\mathcal{F}$. This direct image from an open restriction is not extension by zero: its stalks outside $U$ may be nonzero.

The locally vanishing principle for sheaf cohomology says that a class $\xi \in H^i(X,\mathcal{F})$, $i>0$, is killed on a suitable neighbourhood of every point. Under the stated hypothesis that basis opens and their finite intersections have zero cohomology in degrees $1,\dots ,i-1$, these neighbourhoods can be chosen in that basis so that the image of $\xi$ underis zero. In particular its restriction in $H^i(U,\mathcal{F}{|}_U)$ is zero. This is a statement about individual classes; it does not assert that every locally vanishing class is already globally zero.

Here is a noncircular proof of vanishing of quasi-coherent cohomology on an affine scheme, applied to the variety. Induct on $i>0$, simultaneously for every affine variety and quasi-coherent sheaf. Assume all lower positive degrees vanish. The principal-open basis is closed under finite intersections, so it satisfies the principle's hypothesis. Given $\xi \in H^i(X,\mathcal{F})$, choose a finite principal cover $\mathcal{U}=(D(f_j))$ on which it restricts to zero.

Applying the Čech cochain complex to a flasque resolution gives the Čech lifting below the first possible local cohomology degree comparison segment, under lower-degree vanishing on all intersectionsFor completeness, the double complex has terms ${\check{C}}^p(\mathcal{U},{\mathcal{I}}^q)$. Its augmented rows are exact because each ${\mathcal{I}}^q$ is flasque, so its total cohomology is the cohomology of global sections of the resolution. The vertical cohomology on intersections in degrees $0<q<i$ is zero. Equivalently, start with local primitives of a cocycle representing $\xi$, take their differences on pairwise overlaps, and solve successively for primitives of those differences in degrees $i-1,i-2,\dots ,1$. The last difference is a Čech $i$-cocycle with values in $\mathcal{F}$. This identifies the kernel of the restriction map with the displayed Čech group. No vanishing in degree $i$ on the intersections has been assumed.

It remains a module calculation. Write $\mathcal{F}=\tilde{M}$. The augmented Čech complex isSince the $D(f_j)$ cover $X$, the $f_j$ generate the unit ideal. This complex is exact. To see it algebraically, use alternating cochains, with repeated indices giving zero. For a cocycle $c$, choose $N$ large enough to clear every $f_j$-denominator in $f_j^N{c}_{jI}$, as well as the finitely many cocycle relations; vanishing criterion in a module localization allows a further power to clear relations which initially hold only after localization. Since the ideal $(f_j^N)$ is still the unit ideal, choose $a_j$ with ${\sum }_j{a}_j{f}_j^N=1$. Defineusing those cleared representatives in $M_{f_I}$. The cocycle identity gives $\delta b=({\sum }_j{a}_j{f}_j^N)c=c$. The same argument with the augmentation gives gluing and uniqueness in degree zero. This is exactness of the unit-ideal localization Čech complex.

Thus ${\check{H}}^i(\mathcal{U},\mathcal{F})=0$, so the class $\xi$, whose restrictions were zero, is zero. The induction starts at $i=1$, when the lower-degree condition is empty. We have proved