Formal smoothness of the Artin-Mazur formal groups
Authors
Livia Grammatica
Abstract
Let $X$ be a smooth proper variety over an algebraically closed field of positive characteristic $p$. We find cohomological conditions for the Artin-Mazur formal group functors $Φ^{i}(X,\mathbb{G}_m)$ to be formally smooth. We show that if all crystalline cohomology groups of $X$ are torsion-free (e.g. if $X$ is an abelian variety) then all of the $Φ^{i}(X,\mathbb{G}_m)$ are representable and formally smooth. We then identify a necessary condition for formal smoothness, which we use to give examples, for any $d\ge2$, of varieties $X$ for which $Φ^{i}(X,\mathbb{G}_m)$ is formally smooth when $i
