Lemma 92.10.2. Let $p$ be a prime number. Let $A \to B$ be a ring homomorphism and assume that $p = 0$ in $A$. The map $L_{B/A} \to L_{B/A}$ of Section 92.6 induced by the Frobenius maps $F_ A$ and $F_ B$ is homotopic to zero.
Proof. Let $P_\bullet $ be the standard resolution of $B$ over $A$. By Lemma 92.10.1 the map $P_\bullet \to P_\bullet $ induced by $F_ A$ and $F_ B$ is homotopic to the map $F_{P_\bullet } : P_\bullet \to P_\bullet $ given by Frobenius on each term. Hence we obtain what we want as clearly $F_{P_\bullet }$ induces the zero map $\Omega _{P_ n/A} \to \Omega _{P_ n/A}$ (since the derivative of a $p$th power is zero). $\square$
Comments (2)
Comment #9026 by James on
Comment #9190 by Stacks project on