Lemma 37.64.15 (0F6W)—The Stacks project

Processing math: 100%

Lemma 37.64.15. Let $U \to X$ be a weakly étale morphism of schemes where $X$ is a scheme in characteristic $p$ . Then the relative Frobenius $F_{U/X} : U \to U \times _{X, F_ X} X$ is an isomorphism.

Proof. The morphism $F_{U/X}$ is a universal homeomorphism by Varieties, Lemma 33.36.6. The morphism $F_{U/X}$ is weakly étale as a morphism between schemes weakly étale over $X$ by Lemma 37.64.13. Hence $F_{U/X}$ is an isomorphism by Lemma 37.64.14. $\square$

Comments (0)

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).

Comments (0)

Post a comment