Crystals and derived local moduli for ordinary \(K3\) surfaces (Q635479)

For an odd prime \(p\) a \(p\)-primitively polarized \(K3\) surface is a pair \((X,L)\) where \(X\) is a \(K3\) surface (in the paper under review over an algebraically closed field \(k\) of characteristic \(p\)) and \(L\) is an ample line bundle on \(X\) such that \(L\) is not isomorphic to the \(p\)-th power of another line bundle. For each such \(p\) there exists a smooth \(19\)-dimensional Deligne--Mumford moduli stack of \(p\)-primitively polarized \(K3\) surfaces. The generic part of the formal completion of this stack at \(p\), denoted by \(\mathcal{M}_{K3,p}^{\text{ord}}\), consists of ordinary \(K3\) surfaces, those whose associated formal Brauer group is multiplicative. The aim of the paper under review is to show that \(K3\) spectra which refine the local rings of \(\mathcal{M}_{K3,p}^{\text{ord}}\) allow for an \(E_\infty\) structure which is unique up to equivalence. To prove this result, the author in particular uses the description of the deformation theory of such \(K3\) surfaces in terms of their Hodge F-crystals. Furthermore, it is also proved that all automorphisms of such \(K3\) surfaces can be realized by \(E_\infty\) maps which are unique up to homotopy.