Skip to main content
Fixed typo in title.
Link

Cotangent complex of properperfect algebra over a properperfect field

Source Link

Cotangent complex of proper algebra over a proper field

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!