English

Some refinements of the Deligne-Illusie theorem

Algebraic Geometry 2023-03-29 v2

Abstract

We extend the results of Deligne and Illusie on liftings modulo p2p^2 and decompositions of the de Rham complex in several ways. We show that for a smooth scheme XX over a perfect field kk of characteristic p>0p>0, the truncations of the de Rham complex in max(p1,2)\max(p-1, 2) consecutive degrees can be reconstructed as objects of the derived category in terms of its truncation in degrees at most one (or, equivalently, in terms the obstruction class to lifting modulo p2p^2). Consequently, these truncations are decomposable if XX admits a lifting to W2(k)W_2(k), in which case the first nonzero differential in the conjugate spectral sequence appears no earlier than on page max(p,3)\max(p,3) (these corollaries have been recently strengthened by Drinfeld, Bhatt-Lurie, and Li-Mondal). Without assuming the existence of a lifting, we describe the gerbes of splittings of two-term truncations and the differentials on the second page of the conjugate spectral sequence, answering a question of Katz. The main technical result used in the case p>2p>2 belongs purely to homological algebra. It concerns certain commutative differential graded algebras whose cohomology algebra is the exterior algebra, dubbed by us "abstract Koszul complexes", of which the de Rham complex in characteristic pp is an example. In the appendix, we use the aforementioned stronger decomposition result to prove that Kodaira-Akizuki-Nakano vanishing and Hodge-de Rham degeneration both hold for FF-split (p+1)(p+1)-folds.

Keywords

Cite

@article{arxiv.2003.09857,
  title  = {Some refinements of the Deligne-Illusie theorem},
  author = {Piotr Achinger and Junecue Suh},
  journal= {arXiv preprint arXiv:2003.09857},
  year   = {2023}
}

Comments

25 pages, major changes: changed title, added the second author, previous version expanded and merged with results of the second author, added Appendix A containing results regarding F-split (p+1)-folds