Let $A$ be a perfect $\kappa$-algebra over a perfect field $\kappa$ of positive characteristic $p$. Then the algebraic (= classical) cotangent complex $L\_{A/\kappa}^{\operatorname{alg}}$ is known to vanish, due to the Frobenious automorphism having simultaneously to induce on the cotangent complex an automorphism and multiplication by $p$.


But we can also view $A$ and $\kappa$ as discrete $\mathbb E\_\infty$-rings. The cotangent complex $L\_{A/\kappa}$, which we obtain that way, is generally different from $L^{\operatorname{alg}}\_{A/\kappa}$, since their homotopy groups give topological Andre-Quillen homology and (ordinary) Andre-Quillen homology respectively.


**Q:** *Can we still say something about $L\_{A/\kappa}$?*


For instance:


1. Does it perhaps vanish?
2. Are there at least any finiteness results (e.g. when $A$ is a field, is $\dim\_A \pi\_n L\_{A/\kappa} < \infty$)?


Perhaps a bit more broad afterquestion: *what is in general the relationship between $L\_{B/A}$ and $L^{\operatorname{alg}}\_{B/A}$ for a discrete commutative $A$-algebra $B$*? Other than that they coincide over the rationals and that $\pi\_0$ of both is the module of Kähler differentials $\Omega\_{\pi\_0B/\pi\_0A}$, of course.


Thanks in advance!



Cotangent complex of perfect algebra over a perfect field
Let me explain why the $E\_\infty$-cotangent complex $L\_{B/A}$ vanishes for any map $A \to B$ of perfect rings over $\mathbf{F}\_p$. (I do not know the answer to the more general question at the end.)


The proof uses formal properties of the cotangent complex (Kunneth formula, transitivity triangle) and relies on the following two observations (where all tensor products are derived):


1) If $R \to S$ is map of $E\_\infty$-rings with $S \otimes\_R S \simeq S$ via the multiplication map, then $L\_{S/R} \simeq 0$. Indeed, we always have $L\_{S \otimes\_R S/R} \simeq p\_1^\* L\_{S/R} \oplus p\_2^\* L\_{S/R}$ by the Kunneth formula. If the multiplication map is an isomorphism, then we get $L\_{S/R} \oplus L\_{S/R} \simeq L\_{S/R}$ via the sum map, which means $L\_{S/R} \simeq 0$. (This is the classical proof that the cotangent complex of an open immersion is $0$.)


2) If $R \to S$ is any map of perfect rings, then $\pi\_i(S \otimes\_R S) =: \mathrm{Tor}^i\_R(S,S)$ vanishes for $i > 0$. See, for example, Lemma 3.16 in <https://arxiv.org/abs/1507.06490>.


Now say $A \to B$ is a map of perfect rings. Consider the multiplication map $R := B \otimes\_A B \to S := B$. Then $S \otimes\_R S \simeq S$ via the multiplication map: this is clear on $\pi\_0$ and thus follows from (2) as everything is perfect. Then (1) implies that $L\_{B/B \otimes\_A B} \simeq 0$. But the Kunneth formula and the transitivity triangle for $A \to B \otimes\_A B \to B$ show that $L\_{B/B \otimes\_A B} \simeq L\_{B/A}[1]$, and thus $L\_{B/A} \simeq 0$.


