Grothendieck topology ($J$)

A Grothendieck topology assigns covering sieves to each object. The maximal sieve covers; pulling back a covering sieve gives a covering sieve; and a sieve locally covering along all arrows of a covering sieve itself covers. It defines the sheaves on a site. Families of arrows generate sieves and can be used to generate the topology.

The dense sieves form the double-negation Grothendieck topology. Its sheaf topos is a Boolean topos: the union of a subobject with its pseudocomplement is dense and thus becomes the whole object after sheafification. This need not be the atomic topology, which requires every nonempty sieve to be dense.

Consider a site indexed by natural-number objects with arrows only downwards, the cancellation condition $fh=gk\Rightarrow f=g$ for equally typed $f,g$, and the separation condition that arrows $f:m\to n$, $g:m\to n+1$ admit $h,k:m+1\to m$ with $fh=fk$ but $gh\ne gk$. Its dense-sieve sheaf topos is a Boolean topos and a two-valued topos. The representables are separated. No nonempty partial map $y_n\to y_{n+1}$ exists, by the separation condition and naturality. The associated sheaves $A_n$ consequently admit no maps $y_n\to A_{n+1}$. Each has nonzero support and maps epimorphically to one, but their product has an empty value at every stage $m$, because its $A_{m+1}$ factor does.

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.

A coverage specifies covering families on a small category, stable under refinement along arrows: for a covering family into $C$ and $f:B\to C$, there is a covering family into $B$ whose composites with $f$ factor through the original family. Passing to generated sieves and imposing maximality and local transitivity gives its associated Grothendieck topology, with the same sheaves on a site. One can equivalently specify the saturated covering sieves directly. Rigidity refers to these covering sieves, so it is unchanged by replacing a family presentation by its generated topology.

A coverage on a category is rigid when each object is covered by the sieve generated by arrows from J-irreducible objects of a site. Restriction to their full subcategory identifies the sheaves on a site with its presheaf category. A presheaf on that subcategory extends by the right Kan extension $C\mapsto \mathrm{Nat}(yC{|}_{\mathcal{D}},F)$: every covering sieve restricts to the full representable on $\mathcal{D}$, which proves the sheaf condition directly.

An object of a site is J-irreducible when its only covering sieve on a category is the maximal sieve. In particular the empty sieve cannot cover it. Every arrow from a J-irreducible object belongs to any covering sieve on its codomain: the pulled-back sieve must contain the identity. This makes the induced topology on the full subcategory of J-irreducible objects trivial.

A site is a category equipped with a Grothendieck topology, specifying which sieves are covering. The sheaves on a site satisfy unique amalgamation of matching families on those sieves. A small site presents a Grothendieck topos.

The atomic topology declares exactly the nonempty sieves covering. It exists precisely when arrows with a common codomain admit a common refinement. On nonempty finite sets and surjections this follows from the fiber product. Its J-closed sieves are only the empty and maximal sieves.

Use a small skeleton of nonempty finite sets and surjections, with every nonempty sieve covering. Fiber-product projections are surjections, so the atomic coverage exists. Surjections are effective quotients of their kernel pairs, making the site subcanonical. Its sheaves admit the primitive decomposition of an atomic finite-surjection sheaf.

An element $x\in F(n)$ is primitive if it does not descend along any surjection $n\to n-1$. All elements at cardinality one are primitive. Repeated descent reaches a primitive ancestor in finitely many steps, and the primitive-element kernel rigidity lemma makes the ancestor unique up to bijection.

Partition the elements of a sheaf by their primitive-ancestor equivalence classes under bijection. Each class gives a sheaf subfunctor, because its membership is preserved and reflected along covering surjections. A representative primitive element names an epic representable map onto its class component. Thus every sheaf is the coproduct of these components, each an atom in a topos.

If primitive elements have equal restrictions along $\alpha :P\to m$ and $\beta :P\to n$, then these surjections have equal kernels. To rule out $\alpha (a)=\alpha (b)$ with unequal $\beta$ images, identify those two images by $q:n\to n-1$. The set of pairs equal under $\alpha$ and $q\beta$ maps surjectively both to $P$ by projection and to the kernel pair of $q$ by applying $\beta$. Injective restrictions force the kernel-pair matching condition on the primitive element, contradicting descent along $q$.

For any sheaf $F$ and surjection $q:n\to k$, $F(k)\to F(n)\rightrightarrows F(n{\times }_{k}n)$ is an equalizer. In particular every $F(q)$ is injective. These follow from the sheaf condition on the sieve generated by the covering arrow $q$ and control primitive elements.

For each pair $f:V\to U$, $g:W\to U$, require $fh=gk$ for some arrows $h:T\to V$, $k:T\to W$. This is necessary and sufficient for stability of nonempty sieves under pullback; the other topology axioms then follow. Nonempty finite sets with arbitrary functions fail it at distinct singleton-to-two-point maps.

A Grothendieck topology is subcanonical when every representable functor is a sheaf on a site. It is also called standard in some topos-theory terminology. A nontrivial covering quotient can fail this condition by identifying distinct sections of a representable.

A categorical presheaf is a sheaf for $J$ if every matching family on a covering sieve has a unique amalgamation. Equivalently restriction $\mathrm{Nat}(yU,F)\to \mathrm{Nat}(S,F)$ is bijective for each covering sieve $S\hookrightarrow yU$. Sheaves on a small site form a Grothendieck topos.

A contravariant set-valued functor on schemes is a Zariski sheaf if compatible local elements on any Zariski cover glue uniquely. Explicitly, $F(T)$ is the equalizer of ${\prod }_{i}F(U_i)\rightrightarrows {\prod }_{i,j}F(U_i{\times }_T{U}_j)$. The functor of points of every scheme is a Zariski sheaf because morphisms of schemes glue over open covers.