The Stacks project

Proof. We first observe that for any object $(U \to \mathbf{A})$ of $\mathcal{C}_{X/\Lambda }$ the value of the sheaf $\mathcal{O}$ is a polynomial algebra over $\Lambda $. Hence $\Omega _{\mathcal{O}/\underline{\Lambda }}$ is a flat $\mathcal{O}$-module and we conclude the second and third equalities of the statement of the lemma hold.

By Remark 92.27.2 the object $L\pi _!(\Omega _{\mathcal{O}/\underline{\Lambda }} \otimes _\mathcal {O} \underline{\mathcal{O}}_ X)$ is computed as the sheafification of the complex of presheaves

using notation as in Remark 92.27.2. Now Remark 92.18.5 shows that $L\pi _!(\Omega _{\mathcal{O}/\underline{\Lambda }} \otimes _\mathcal {O} \underline{\mathcal{O}}_ X)$ computes the cotangent complex of the map of rings $\underline{\Lambda } \to \mathcal{O}_ X$ on $X_{\acute{e}tale}$. This is what we want by Lemma 92.26.4. $\square$