Lemma 37.2.6. The property of being a thickening is fpqc local. Similarly for first order thickenings.

Proof. The statement means the following: Let $X \to X'$ be a morphism of schemes and let $\{ g_ i : X'_ i \to X'\}$ be an fpqc covering such that the base change $X_ i \to X'_ i$ is a thickening for all $i$. Then $X \to X'$ is a thickening. Since the morphisms $g_ i$ are jointly surjective we conclude that $X \to X'$ is surjective. By Descent, Lemma 35.22.19 we conclude that $X \to X'$ is a closed immersion. Thus $X \to X'$ is a thickening. We omit the proof in the case of first order thickenings. $\square$

There are also:

• 6 comment(s) on Section 37.2: Thickenings

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