The Deligne-Illusie theorem and exceptional Enriques surfaces

DOI10.1007/S40879-021-00451-2zbMATH Open1480.14007arXiv1906.04616OpenAlexW3135125961MaRDI QIDQ2040969FDOQ2040969

Authors: Stefan Schröer 

Publication date: 15 July 2021

Published in: European Journal of Mathematics (Search for Journal in Brave)

Abstract: Building on the results of Deligne and Illusie on liftings to truncated Witt vectors, we give a criterion for non-liftability that involves only the dimension of certain cohomology groups of vector bundles arising from the Frobenius pushforward of the de Rham complex. Using vector bundle methods, we apply this to show that exceptional Enriques surfaces, a class introduced by Ekedahl and Shepherd-Barron, do not lift to truncated Witt vectors, yet the base of the miniversal formal deformation over the Witt vectors is regular. Using the classification of Bombieri and Mumford, we also show that bielliptic surfaces arising from a quotient by an unipotent group scheme of order $p$ do not lift the ring of Witt vectors. These results hinge on some observations in homological algebra that relates splittings in derived categories to Yoneda extensions and certain diagram completions.

Full work available at URL: https://arxiv.org/abs/1906.04616

Recommendations

• On \(W_2\)-lifting of Frobenius of algebraic surfaces
• Liftability of singularities and their Frobenius morphism modulo \(p^2\)
• Moret-Bailly families and non-liftable schemes
• Degenerations of log Hodge de Rham spectral sequences, log Kodaira vanishing theorem in characteristic \(p>0\) and log weak Lefschetz conjecture for log crystalline cohomologies
• Some refinements of the Deligne-Illusie theorem

zbMATH Keywords

vector bundlesgroup schemesEnriques surfacesbielliptic surfacesGerbesarithmetic deformations

Mathematics Subject Classification ID

Vector bundles on surfaces and higher-dimensional varieties, and their moduli (14J60) Formal methods and deformations in algebraic geometry (14D15) (K3) surfaces and Enriques surfaces (14J28) Elliptic surfaces, elliptic or Calabi-Yau fibrations (14J27) Abelian categories, Grothendieck categories (18E10) Group schemes (14L15)

Cites Work

• Relèvements modulo \(p^ 2\) et décomposition du complexe de de Rham. (Lifting modulo \(p^ 2\) and decomposition of the de Rham complex)
• Title not available (Why is that?)
• Frobenius splitting and cohomology vanishing for Schubert varieties
• Séminaire de géométrie algébrique du Bois Marie 1960/61 (SGA 1), dirigé par Alexander Grothendieck. Augmenté de deux exposés de M. Raynaud. Revêtements étales et groupe fondamental. Exposés I à XIII. (Seminar on algebraic geometry at Bois Marie 1960/61 (SGA 1), directed by Alexander Grothendieck. Enlarged by two reports of M. Raynaud. Ètale coverings and fundamental group)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Categories and Sheaves
• Title not available (Why is that?)
• Title not available (Why is that?)
• Enriques surfaces. I
• Enriques' classification of surfaces in char p. III
• Frobenius splitting methods in geometry and representation theory
• Local cohomology. A seminar given by A. Grothendieck, Harvard University, Fall 1961. Notes by R. Hartshorne
• Séminaire de géométrie algébrique du Bois Marie 1966/67, SGA 6.Dirigé par P. Berthelot, A. Grothendieck et L. Illusie, Avec la collaboration de D. Ferrand, J. P. Jouanolou, O. Jussilia, S. Kleiman, M. Raynaud et J. P. Serre. Théorie des intersections et théorème de Riemann-Roch
• Complexe de de\thinspace Rham-Witt et cohomologie cristalline
• Title not available (Why is that?)
• Néron Models
• Éléments de géométrie algébrique. I: Le langage des schémas. II: Étude globale élémentaire de quelques classe de morphismes. III: Étude cohomologique des faisceaux cohérents (première partie)
• Title not available (Why is that?)
• Nilpotent connections and the monodromy theorem: Applications of a result of Turrittin
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Functors of Artin Rings
• Title not available (Why is that?)
• Applications of the Kaehler-Einstein-Calabi-Yau metric to moduli of K3 surfaces
• Title not available (Why is that?)
• Generalized divisors on Gorenstein schemes
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Algebraic construction of Brieskorn's resolutions
• Title not available (Why is that?)
• Arithmetic moduli and lifting of Enriques surfaces
• Kummer surfaces for the self-product of the cuspidal rational curve
• Algebraic spaces and stacks
• Commutative Artinian Principal Ideal Rings
• Decomposition of the de Rham complex
• Tangent lifting of deformations in mixed characteristic
• The $T^1$-lifting theorem in positive characteristic
• Deformations and liftings of finite, commutative group schemes
• Kummer surfaces associated with group schemes
• On the birational nature of lifting
• Weyl group covers for Brieskorn's resolutions in all characteristics and the integral cohomology of \(G/P\)
• Quasi-Frobenius splitting and lifting of Calabi-Yau varieties in characteristic \(p\)
• Deformations of elliptic fiber bundles in positive characteristic
• Del Pezzo surfaces and Mori fiber spaces in positive characteristic

Cited In (7)

• There is no Enriques surface over the integers
• Exceptional collections on nonminimal Enriques surfaces
• A refined derived Torelli theorem for Enriques surfaces
• Para-abelian varieties and Albanese maps
• Weyl group covers for Brieskorn's resolutions in all characteristics and the integral cohomology of \(G/P\)
• Serre-Tate theory for Calabi-Yau varieties
• Liftability of singularities and their Frobenius morphism modulo \(p^2\)

This page was built for publication: The Deligne-Illusie theorem and exceptional Enriques surfaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2040969)