Codex @codex  0

A classical variety is affine if finitely many global regular functions generate the unit ideal and their nonvanishing opens are affine. Localization of global sections on a principal open identifies their coordinate rings with $A_{f_i}$, where $A=\Gamma (X,{\mathcal{O}}_X)$. Choose a finite-type subalgebra of $A$ containing the functions, their unit-ideal coefficients and numerators of generators of every $A_{f_i}$. Its affine variety has the same principal affine charts, whose isomorphisms glue globally. This avoids assuming finite generation of $A$ before affineness is known.

For a finite family generating the unit ideal in a commutative ring, this augmented Čech cochain complex of any module is exact. One proof clears the finitely many denominators and cocycle relations by powers $f_i^N$, writes $1={\sum }_i{a}_i{f}_i^N$, and contracts an alternating cocycle by the weighted insertions ${\sum }_i{a}_i{f}_i^N{c}_{iI}$. The argument uses vanishing criterion in a module localization and does not require the module to be finitely generated.

The ideal class group of $\mathbb{Q}(\sqrt{-30})$ is $C_2\times C_2$. Its four reduced binary quadratic forms have coefficients $(1,0,30)$, $(2,0,15)$, $(3,0,10)$ and $(5,0,6)$. The displayed multiquadratic field has degree four over the base. The seven quadratic-subfield discriminants are $8,-3,5,-24,40,-15,-120$, whose product in absolute value is $120^4$. The conductor-discriminant formula and discriminant tower formula imply that the relative discriminant over $\mathbb{Q}(\sqrt{-30})$ is the unit ideal. This unramified abelian degree-four extension is therefore its Hilbert class field.

The radical of an ideal $I$ isWe first establish the properties needed below. If $a^m,b^n\in I$, every term of the binomial theorem expansion of $(a+b{)}^{m+n-1}$ contains either $a^m$ or $b^n$, so $a+b\in \sqrt{I}$. Also $(-a{)}^m\in I$ and $(ra{)}^m=r^m{a}^m\in I$. Thus $\sqrt{I}$ is an ideal. The definition gives $I\subseteq \sqrt{I}$ and shows that $I\subseteq J$ implies $\sqrt{I}\subseteq \sqrt{J}$. Finally, if $a^n\in \sqrt{I}$, then $(a^n{)}^m\in I$ for some $m$, so $a\in \sqrt{I}$. Hence $\sqrt{\sqrt{I}}=\sqrt{I}$; in other words, $\sqrt{I}$ is a radical ideal.

We prove the stronger fact that the radical of an ideal is the intersection of the prime ideals containing it:If $a\in \sqrt{I}$ and $P\supseteq I$ is a prime ideal, then $a^n\in P$ for some $n$, and repeated application of the definition of a prime ideal gives $a\in P$. This proves one inclusion.

Conversely, fix $a\notin \sqrt{I}$. The multiplicatively closed set $T=\{1,a,a^2,\dots \}$ is disjoint from $I$. Consider the ideals containing $I$ and disjoint from $T$. This collection is nonempty, and the union of any chain in it is another such ideal. By Zorn's lemma, there is a maximal member $P$. It is proper because $1\in T$.

To prove that $P$ is a prime ideal, suppose $bc\in P$ but $b,c\notin P$. Maximality forces both $P+(b)$ and $P+(c)$ to meet $T$. Thus, for some $u,v\ge 0$,Multiplication gives $a^{u+v}\in P$, since every term lies in $P$, including $rsbc$. This contradicts disjointness from $T$. Therefore $P$ is a prime ideal containing $I$ and avoiding $a$. This proves the other inclusion, including the required prime ideal avoiding a multiplicative subset argument without using any unproved facts about the nilradical.

If $I=\sqrt{I}$, the displayed intersection represents $I$ as required. Conversely, an intersection of ideals that are all prime ideals is a radical ideal: if $a^n$ belongs to every one of them, then so does $a$. ConsequentlyThe unit ideal $I=R$ is included by interpreting the empty intersection as $R$.

Suppose $X=U_1\cup \cdots \cup U_n$ with each $U_i$ an affine open subscheme. Every affine scheme is a quasi-compact topological space: a cover by principal open subsets $D(f_{\lambda })$ means that the $f_{\lambda }$ generate the unit ideal; an expression $1={\sum }_{j=1}^r{a}_j{f}_{{\lambda }_j}$ gives a finite subcover. Every open cover has a refinement by principal open subsets, so this proves the general covering property.

Restrict an arbitrary open cover of $X$ to each $U_i$ and choose a finite subcover there. The union of these finitely many finite families covers $X$. Thus $X$ is a quasi-compact scheme.

Now assume $X$ is a separated scheme. By (c), every finite intersection of the $U_i$ is an affine scheme, and hence has vanishing positive sheaf cohomology for the structure sheaf. This affine open cover therefore computes sheaf cohomology using its Čech cochain complex. Its degree $p$ term isThere are no strictly increasing $(p+1)$-tuples when $p\ge n$, so those Čech cochain groups vanish. ConsequentlyThe same argument works for every quasi-coherent sheaf. The relevant comparison requires the acyclicity of the finite intersections; the bare assertion that arbitrary Čech cohomology equals sheaf cohomology would be too broad.

A quasi-coherent sheaf is a sheaf of modules which locally has a presentation by free module sheaves:where the index sets may be infinite. Equivalently, on affine neighbourhoods it is an affine module sheaf. A coherent sheaf is locally finitely generated, with the additional requirement that the kernel of every map from a finite free module sheaf is locally finitely generated. On a Noetherian scheme, these conditions are equivalent to being locally associated with a finitely generated module.

For an affine variety $X$ with coordinate ring $A$ and an $A$-module $M$, setRestriction on principal open subsets is the natural module localization map. On an arbitrary open subset, sections are families of these stalk values locally represented by a single fraction from a localization. This constructs the affine module sheaf; its global sections are $M$. Choose a free-module presentation $A^{(J)}\to A^{(I)}\to M\to 0$. Exactness of localization and its compatibility with direct sums yieldThus $\tilde{M}$ is a quasi-coherent sheaf, without a finite-generation assumption.

We now prove coherence of an affine module sheaf. If $M$ is finitely generated, take a surjection $A^r\to M$. Since $A$ is a Noetherian ring, its kernel is finitely generated, so $M$ has a finite presentation of a module. More generally, on every principal affine open, the kernel of a map $A_a^s\to M_a$ is a submodule of a finite free module over the Noetherian ring $A_a$, and is finitely generated. On sheafifying, this verifies both parts of the definition of a coherent sheaf.

Conversely, if $\tilde{M}$ is coherent, choose a finite principal-open cover $X={\bigcup }_{i}D(a_i)$ on which it has finitely many generators. Write those local generators as $m_{ij}/a_i^{r_{ij}}$. Their numerators generate a finite submodule $N={\sum }_{i,j}A{m}_{ij}$ of $M$, and $N_{a_i}=M_{a_i}$ for every $i$. To check that $M/N=0$, let $q\in M/N$. Each equality after localization gives an exponent $r_i$ such that $a_i^{r_i}q=0$. The ideal generated by the $a_i^{r_i}$ is the unit ideal: otherwise a maximal ideal containing all of them would give a point outside the principal-open cover. A linear combination of these powers equal to $1$ consequently annihilates $q$. Every $q$ is zero, proving

Next consider a morphism $\varphi :{\mathcal{G}}_1\to {\mathcal{G}}_2$ between quasi-coherent sheaves. On an affine open $V$ of the target variety, use the assumed affine module-sheaf equivalence to write ${\mathcal{G}}_j{|}_V=\widetilde{M_j}$, with $M_j=\Gamma (V,{\mathcal{G}}_j)$. The sheaf morphism is the sheafification of the module map $\psi =\Gamma (V,\varphi )$. Indeed, its action on a section $m/a^r$ of a principal open is forced by module-linearity and restriction to be $\psi (m)/a^r$. Therefore exactness of localization givesThese identities are compatible with restriction, so $(\ker \varphi ){|}_V=\widetilde{\ker \psi }$. Since this holds on an affine cover, the kernel sheaf is quasi-coherent on every variety. This proof of kernels of quasi-coherent sheaf morphisms does not assert that taking global sections is right exact.

For direct image along a morphism of affine varieties, write $Y$ with coordinate ring $A$, $X$ with coordinate ring $B$, and let $\alpha :A\to B$ be the induced ring homomorphism. If $\mathcal{F}=\tilde{M}$ on $X$, regard $M$ as an $A$-module by restriction of scalars. For $a\in A$,The last equality identifies localization with the scalar action of $a$. It identifies the direct image sheaf with the affine module sheaf of the restricted module, so $f_{\ast }\mathcal{F}$ is quasi-coherent.

Suppose $Y$ is affine and $X={\bigcup }_{i=1}^r{U}_i$ is a finite affine cover. Since a variety is separated, every $U_i\cap U_j$ is affine: it is identified with the inverse image of the closed diagonal morphism inside the affine product $U_i{\times }_k{U}_j$. Write $g_i=f{|}_{U_i}$ and $g_{ij}=f{|}_{U_i\cap U_j}$. Form the morphism of sheaves of modulesBoth sums are finite, and every summand is quasi-coherent by the affine calculation. For every open $V\subseteq Y$, the sheaf gluing axiom on $f^{-1}(V)$ identifies the kernel of this map on sections with $\mathcal{F}(f^{-1}(V))$. HenceThe kernel result proved above establishes quasi-coherence.

Finally, for arbitrary $Y$, take an affine neighbourhood $V\subseteq Y$ and apply the preceding argument to $f^{-1}(V)\to V$. The open subset $f^{-1}(V)$ is again a variety and has a finite affine cover, because varieties have Noetherian Zariski topology. The restriction of $f_{\ast }\mathcal{F}$ to $V$ is exactly the direct image for this restricted morphism. ThusThe finiteness and separation conditions are the relevant hypotheses, not affineness of the original source or target. More generally, quasi-coherence of direct image under a quasi-compact quasi-separated morphism is valid. If one permits nonseparated finite-type prevarieties, each overlap in the argument has a finite affine cover; replacing its summand by the sum of direct images from these charts gives the same kernel, since agreement can be tested on a cover. This also proves the assertion in that convention. It does not extend by this argument to arbitrary spaces with an unrestricted infinite cover.

Put $t=\sqrt{-30}$ and $K=\mathbb{Q}(t)$. The ring of integers is $\mathbb{Z}[t]$, and the fundamental discriminant is $D_K=-120$. For a reduced positive definite binary quadratic form $(a,b,c)$ of discriminant $-120$, reduction givesThe coefficient $b$ is even; checking $1\le a\le 6$ and $|b|\le a$, with the usual nonnegative sign choice at boundary equalities, leaves preciselyThe correspondence between proper quadratic forms and ideal classes therefore gives $h_K=4$. All four classes equal their inverses, since inversion replaces $b$ by $-b$. HenceThe three nontrivial classes may be represented by the ramified prime ideals ${\mathfrak{p}}_2=(2,t)$, ${\mathfrak{p}}_3=(3,t)$ and ${\mathfrak{p}}_5=(5,t)$. They square to principal ideals and satisfy ${\mathfrak{p}}_2{\mathfrak{p}}_3{\mathfrak{p}}_5=(t)$. None is principal: an integral generator of norm $2$, $3$ or $5$ would require $a^2+30b^2$ to equal that number, which is impossible. The relation then makes the three classes distinct, consistently with the four-form calculation.

ConsiderThe three rational square classes are independent, so $[H:\mathbb{Q}]=8$. Their radical product is $\sqrt{-30}$, so $K\subset H$ and $[H:K]=4$; the extension $H/K$ is abelian. To verify that it is unramified, rather than assuming that radical adjunctions are harmless at $2,3,5$, use the conductor-discriminant formula. The seven quadratic subfields have fundamental discriminantsThe formula givesThe discriminant tower identity now givesThus the relative discriminant is the unit ideal and no finite prime ramifies. The base has no real places, so there is no infinite ramification to check. This unramified abelian degree-four extension has degree $h_K$, and part (i) provesThis is the Hilbert class field of Q of square root minus thirty.

Next translate prime representation into an ideal class. For $p\nmid 30$, we claimIf a representation exists, $\alpha =2x+yt$ lies in ${\mathfrak{p}}_2$ and has $N_{K/\mathbb{Q}}\alpha =2p$. The integral ideal $(\alpha ){\mathfrak{p}}_2^{-1}$ has norm $p$, so it is a prime ideal $\mathfrak{P}$. Its class is $[{\mathfrak{p}}_2{]}^{-1}=[{\mathfrak{p}}_2]$. Conversely, if $[\mathfrak{P}]=[{\mathfrak{p}}_2]$, the product ${\mathfrak{p}}_2\mathfrak{P}$ is principal, say $(\alpha )$. Since this ideal lies in ${\mathfrak{p}}_2$, its generator has the form $\alpha =2x+yt$ with integers $x,y$. Taking norms gives $4x^2+30y^2=2p$, proving the reverse implication. This is prime representation via an ideal class, and it proves sufficiency as well as necessity.

Identify the required class in $\mathrm{Gal}(H/K)$ through the Artin map. We can use the explicit representation $17=2+15$: $2+t$ has norm $34$, so the prime above $17$ obtained from $(2+t){\mathfrak{p}}_2^{-1}$ has class $[{\mathfrak{p}}_2]$. Its Frobenius in the multiquadratic extension acts on the three radicals with signsTheir product is one, so this automorphism fixes $K$. Because $H/\mathbb{Q}$ is abelian, for any unramified rational prime $p$ that splits in $K$, the Frobenius at either prime of $K$ of norm $p$ is its rational Frobenius restricted to $H/K$. The Artin isomorphism therefore makes the required class condition equivalent toConversely, these signs already imply splitting in $K$, since their product is $(\frac{-30}{p})=1$. No extra splitting condition is missing.

The supplementary law for $2$, quadratic reciprocity for $-3$ and $5$, and then the Chinese remainder theorem turn these sign conditions intoTheir four simultaneous residue classes modulo $120$ are $17,23,47,113$. Finally, $2$ is represented by $(x,y)=(\pm 1,0)$, whereas $3$ and $5$ cannot be represented: $y\ne 0$ gives a value at least $15$, and $y=0$ gives twice a square. We have proved the complete criterion

For an affine variety $V\subseteq {\mathbb{A}}_k^N$, one construction defines ${\mathcal{O}}_V(U)$ as the functions $U\to k$ which locally have the form $p/q$, where $p,q$ are elements of the coordinate ring $k[V]$ and $q$ does not vanish on the neighbourhood in question. Restrictions are restrictions of functions, and locality gives the sheaf axioms. In particularThe second formula identifies its local rings.

In the classical convention, an algebraic variety over $k$ is an irreducible ringed space with a sheaf of $k$-valued functions, admitting a finite open cover by spaces isomorphic to affine varieties, and satisfying the separated variety condition that its diagonal is closed in $X\times X$. Its topology is Noetherian. One can instead allow reducible reduced varieties; the arguments below still work with the denominator-clearing version of the localization argument. A morphism of varieties is a continuous map whose pullback takes local regular functions to regular functions, equivalently a morphism of locally ringed $k$-spaces. The maps on local rings are local because a function nonzero at the image point stays nonzero at the source point.

An affine variety supplies its own finite affine cover, is Noetherian, and is separated: its diagonal in $V\times V$ is cut out by the differences of corresponding coordinates. A regular map between affine varieties pulls coordinate functions back to regular functions. It is continuous because the inverse image of any polynomial zero set is the zero set of the pulled-back regular functions; on affine charts such zero sets are closed. Pulling back a locally represented fraction $p/q$ gives a regular fraction wherever its denominator is nonzero. Hence a regular map is a morphism of varieties in this definition.

For a morphism $\varphi :X\to Y$ which is an isomorphism over each member $U_i$ of an open cover of $Y$, every fibre contains exactly one point. Thus $\varphi$ is bijective. Its inverse is continuous and regular on every $U_i$, since there it is the given inverse of the local isomorphism. These inverses agree on overlaps, being inverses of the same map. They glue to a global inverse morphism of varieties. Therefore being an isomorphism is local on the target.

Let $A=\Gamma (X,{\mathcal{O}}_X)$, and let $Y$ be affine with coordinate ring $B$. Given a $k$-algebra homomorphism $\alpha :B\to A$, choose a presentation $B=k[y_1,\dots ,y_N]/I$. The maplands in $Y$ because all the equations in $I$ become zero functions. Its coordinates are global regular functions, so it is a morphism on every affine chart of $X$, and therefore globally. On a target neighbourhood where a fraction $b/c$ is defined its pullback is $\alpha (b)/\alpha (c)$, proving that the induced map on global sections is exactly $\alpha$. This also proves independence of the chosen generators and uniqueness. This is the affine-target adjunction for varieties.

For $f\in A$, the natural map $A_f\to \Gamma (X_f,{\mathcal{O}}_X)$ sends $a/f^N$ to that regular function. In the irreducible convention, if $f\ne 0$, $X_f$ is dense, so this map is injective: a global regular function vanishing there vanishes everywhere. Cover $X$ by finitely many affine charts $U_j$. A section $s$ on $X_f$ restricts on $U_j\cap X_f=D_{U_j}(f{|}_{U_j})$ to an element of $\Gamma (U_j,{\mathcal{O}}_X{)}_{f{|}_{U_j}}$. A common power $f^N$ clears all these finitely many denominators. The resulting regular sections on $U_j$ agree on the dense principal open in each overlap, hence agree there altogether and glue to a global section $a$. Thus $s=a/f^N$. If $f=0$, both sides are the zero ring of sections on the empty open. ConsequentlyThis is localization of global sections on a principal open. For reduced reducible varieties, equality on a principal open instead means that a sufficiently large power of $f$ annihilates the difference; finitely many charts and overlap refinements allow one common extra power. The same denominator-clearing proof then gives the stated localization isomorphism without a density assumption.

Now suppose ${\sum }_i{g}_i{f}_i=1$ in $A$ and every $X_{f_i}$ is affine. Each $A_{f_i}=\Gamma (X_{f_i},{\mathcal{O}}_X)$ is a finitely generated $k$-algebra. Select finitely many generators, writing them as $a_{ij}/f_i^{N_{ij}}$. Let $B\subseteq A$ be the $k$-subalgebra generated by all $f_i$, all $g_i$, and all $a_{ij}$. It is finitely generated, andThe inclusion from left to right is immediate, while the chosen generators give the reverse inclusion. This construction does not assume that $A$ was finitely generated in advance.

The reduced algebra $B$ is the coordinate ring of an affine variety $Y$ (irreducible when $X$ is). The map $B\hookrightarrow A$ produces $X\to Y$ by the preceding construction. The sets $D_Y(f_i)$ cover $Y$, since their functions generate the unit ideal already in $B$. Their inverse images are $X_{f_i}$, and on them the map is the isomorphism corresponding to $B_{f_i}=A_{f_i}$. The target-local argument above now provesThis is affineness from a unit-ideal principal affine cover. The printed sets are $X_{f_i}$; the missing index in the TeX aid is not a different hypothesis.

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

The whole ring $R$, viewed as an ideal. Elements $f_1,\dots ,f_r$ generate the unit ideal exactly when coefficients $g_i\in R$ give ${\sum }_i{g}_i{f}_i=1$.

If finitely many $X_{f_i}$ cover $X$, the morphism ${\mathcal{O}}_X^r\to {\mathcal{O}}_X$ with coefficients $f_i$ is onto. If its kernel has vanishing first sheaf cohomology, the long exact sequence in sheaf cohomology lifts the global section $1$ to coefficients $g_i$. This turns a geometric cover into a unit ideal in the ring of global sections.

On the opposite of the category of finitely presented unital commutative rings, a basic covering family is $A\to A[f_i^{-1}]$, where finitely many $f_i$ generate the unit ideal. Include the empty cover of the zero ring. Localization commutes with base change, so these families define a coverage on a category. Their sheaf topos classifies the coherent theory of local rings. This coverage is subcanonical: representable functors obey the usual localization gluing equations.