Grothendieck topology

The notion of a Grothendieck topology or site captures the essential properties necessary for constructing a robust theory of cohomology of sheaves. The theory of Grothendieck topologies was developed by Alexander Grothendieck and Michael Artin.

Definition

A Grothendieck topology $T$ consists of

1. A category, denoted $cat(T)$
2. A set of coverings $\{U_{i}\to U\}$, denoted $cov(T)$, such that
   1. $\{id:U\mapsto U\}\in cov(T)$ for each object $U$ of $cat(T)$
   2. If $\{U_{i}\to U\}\in cov(T)$, and $V\to U$ is any morphism in $cat(T)$, then the canonical morphisms of the fiber products determine a covering Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \{U_i\times_U V\to V\}\in cov(T)}
   3. If Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \{U_i\to U\}\in cov(T)} and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \{V_{i,j}\to U_i\}\in cov(T)} , then Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \{V_{i,j}\to U_i\to U\}\in cov(T)}

Examples

1. A standard topological space Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle X} becomes a category Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle op(X)} when you regard the open subsets of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle X} as objects, and morphisms are inclusions. An open covering of open subsets Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle U} clearly verify the axioms above for coverings in a site. Notice that a presheaf of rings is just a contravariant functor from the category Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle op(X)} into the category of rings.
2. The Small Étale Site Let Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle S} be a scheme. Then the category of étale schemes over Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle S} (i.e., Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle S} -schemes Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle X} over Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle S} whose structural morphisms are étale)

Sheaves on Sites

In analogy with the situation for topological spaces, a presheaf may be defined as a contravariant functor such that for all coverings Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \{U_i\to U\}\in cov(T)} , the diagram Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 0\to F(U)\to \prod F(U_i)\to \prod F(U_i\times_U U_j)} is exact.