Remark 97.6.2. Let $S$ be a locally Noetherian scheme. Let $\mathcal{X}$ be fibred in groupoids over $(\mathit{Sch}/S)_{fppf}$. Let $k$ be a field of finite type over $S$ and $x_0$ an object of $\mathcal{X}$ over $k$. Let $p : \mathcal{F} \to \mathcal{C}_\Lambda$ be as in (97.3.0.2). If $\mathcal{F}$ is a deformation category, i.e., if $\mathcal{F}$ satisfies the Rim-Schlessinger condition (RS), then we see that $\mathcal{F}$ satisfies Schlessinger's conditions (S1) and (S2) by Formal Deformation Theory, Lemma 89.16.6. Let $\overline{\mathcal{F}}$ be the functor of isomorphism classes, see Formal Deformation Theory, Remarks 89.5.2 (10). Then $\overline{\mathcal{F}}$ satisfies (S1) and (S2) as well, see Formal Deformation Theory, Lemma 89.10.5. This holds in particular in the situation of Lemma 97.6.1.

Comment #2693 by Emanuel Reinecke on

Typo in the second sentence: fppf should be in the subscript

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