Lemma 59.15.6. Let $\mathcal{F}$ be a presheaf on $\mathit{Sch}/S$. Then $\mathcal{F}$ satisfies the sheaf property for the fpqc topology if and only if

$\mathcal{F}$ satisfies the sheaf property with respect to the Zariski topology, and

for every faithfully flat morphism $\mathop{\mathrm{Spec}}(B) \to \mathop{\mathrm{Spec}}(A)$ of affine schemes over $S$, the sheaf axiom holds for the covering $\{ \mathop{\mathrm{Spec}}(B) \to \mathop{\mathrm{Spec}}(A)\} $. Namely, this means that

\[ \xymatrix{ \mathcal{F}(\mathop{\mathrm{Spec}}(A)) \ar[r] & \mathcal{F}(\mathop{\mathrm{Spec}}(B)) \ar@<1ex>[r] \ar@<-1ex>[r] & \mathcal{F}(\mathop{\mathrm{Spec}}(B \otimes _ A B)) } \]is an equalizer diagram.

## Comments (0)

There are also: