Definition 34.9.1. Let $T$ be a scheme. An fpqc covering of $T$ is a family of morphisms $\{ f_ i : T_ i \to T\} _{i \in I}$ of schemes such that each $f_ i$ is flat and such that for every affine open $U \subset T$ there exists $n \geq 0$, a map $a : \{ 1, \ldots , n\} \to I$ and affine opens $V_ j \subset T_{a(j)}$, $j = 1, \ldots , n$ with $\bigcup _{j = 1}^ n f_{a(j)}(V_ j) = U$.

Comment #6276 by Owen on

is a fpqc covering, but not according to this definition (here $\mathcal O_{\mathbf{A}^2,0}$ denotes the local ring at the origin).

Comment #6280 by Owen on

but Lemma 34.9.2 cannot be true… the only open of $\mathbf{A}^2\smallsetminus\{0\}$ that contains all the closed points of $\mathbf{A}^2\smallsetminus\{0\}$ is $\mathbf{A}^2\smallsetminus\{0\}$ itself, and this is not an affine variety ($\mathbf{A}^2:=\mathbf{A}^2_k$).

Comment #6281 by on

The map $a$ in definition needn't be injective.

There are also:

• 6 comment(s) on Section 34.9: The fpqc topology

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).