Lemma 37.48.7. An fppf covering of schemes is a ph covering.
Proof. Let $\{ T_ i \to T\} $ be an fppf covering of schemes, see Topologies, Definition 34.7.1. Observe that $T_ i \to T$ is locally of finite type. Let $U \subset T$ be an affine open. It suffices to show that $\{ T_ i \times _ T U \to U\} $ can be refined by a standard ph covering, see Topologies, Definition 34.8.4. This follows immediately from Lemma 37.48.6 and the fact that a finite morphism is proper (Morphisms, Lemma 29.44.11). $\square$
Post a comment
Your email address will not be published. Required fields are marked.
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).
All contributions are licensed under the GNU Free Documentation License.
Comments (0)