Definition 34.3.7. Let S be a scheme. Let \mathit{Sch}_{Zar} be a big Zariski site containing S.
The big Zariski site of S, denoted (\mathit{Sch}/S)_{Zar}, is the site \mathit{Sch}_{Zar}/S introduced in Sites, Section 7.25.
The small Zariski site of S, which we denote S_{Zar}, is the full subcategory of (\mathit{Sch}/S)_{Zar} whose objects are those U/S such that U \to S is an open immersion. A covering of S_{Zar} is any covering \{ U_ i \to U\} of (\mathit{Sch}/S)_{Zar} with U \in \mathop{\mathrm{Ob}}\nolimits (S_{Zar}).
The big affine Zariski site of S, denoted (\textit{Aff}/S)_{Zar}, is the full subcategory of (\mathit{Sch}/S)_{Zar} consisting of objects U/S such that U is an affine scheme. A covering of (\textit{Aff}/S)_{Zar} is any covering \{ U_ i \to U\} of (\mathit{Sch}/S)_{Zar} with U \in \mathop{\mathrm{Ob}}\nolimits ((\textit{Aff}/S)_{Zar}) which is a standard Zariski covering.
The small affine Zariski site of S, denoted S_{affine, Zar}, is the full subcategory of S_{Zar} whose objects are those U/S such that U is an affine scheme. A covering of S_{affine, Zar} is any covering \{ U_ i \to U\} of S_{Zar} with U \in \mathop{\mathrm{Ob}}\nolimits (S_{affine, Zar}) which is a standard Zariski covering.
Comments (0)
There are also: