The Deligne-Illusie theorem and exceptional Enriques surfaces
From MaRDI portal
Publication:2040969
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)
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 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.
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
Cites work
- scientific article; zbMATH DE number 3133601 (Why is no real title available?)
- scientific article; zbMATH DE number 4140741 (Why is no real title available?)
- scientific article; zbMATH DE number 3927051 (Why is no real title available?)
- scientific article; zbMATH DE number 3651366 (Why is no real title available?)
- scientific article; zbMATH DE number 3779496 (Why is no real title available?)
- scientific article; zbMATH DE number 43569 (Why is no real title available?)
- scientific article; zbMATH DE number 3542571 (Why is no real title available?)
- scientific article; zbMATH DE number 3572315 (Why is no real title available?)
- scientific article; zbMATH DE number 3448703 (Why is no real title available?)
- scientific article; zbMATH DE number 1391023 (Why is no real title available?)
- scientific article; zbMATH DE number 232513 (Why is no real title available?)
- scientific article; zbMATH DE number 232519 (Why is no real title available?)
- scientific article; zbMATH DE number 3220362 (Why is no real title available?)
- scientific article; zbMATH DE number 3297895 (Why is no real title available?)
- scientific article; zbMATH DE number 3322752 (Why is no real title available?)
- scientific article; zbMATH DE number 3334182 (Why is no real title available?)
- scientific article; zbMATH DE number 3358638 (Why is no real title available?)
- scientific article; zbMATH DE number 3377392 (Why is no real title available?)
- scientific article; zbMATH DE number 3092600 (Why is no real title available?)
- Algebraic construction of Brieskorn's resolutions
- Algebraic spaces and stacks
- Applications of the Kaehler-Einstein-Calabi-Yau metric to moduli of K3 surfaces
- Arithmetic moduli and lifting of Enriques surfaces
- Categories and Sheaves
- Commutative Artinian Principal Ideal Rings
- Complexe de de\thinspace Rham-Witt et cohomologie cristalline
- Decomposition of the de Rham complex
- Deformations and liftings of finite, commutative group schemes
- Deformations of elliptic fiber bundles in positive characteristic
- Del Pezzo surfaces and Mori fiber spaces in positive characteristic
- Enriques surfaces. I
- Enriques' classification of surfaces in char p. III
- Frobenius splitting and cohomology vanishing for Schubert varieties
- Frobenius splitting methods in geometry and representation theory
- Functors of Artin Rings
- Generalized divisors on Gorenstein schemes
- Kummer surfaces associated with group schemes
- Kummer surfaces for the self-product of the cuspidal rational curve
- Local cohomology. A seminar given by A. Grothendieck, Harvard University, Fall 1961. Notes by R. Hartshorne
- Nilpotent connections and the monodromy theorem: Applications of a result of Turrittin
- Néron Models
- On the birational nature of lifting
- Quasi-Frobenius splitting and lifting of Calabi-Yau varieties in characteristic \(p\)
- Relèvements modulo \(p^ 2\) et décomposition du complexe de de Rham. (Lifting modulo \(p^ 2\) and decomposition of the de Rham complex)
- 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)
- 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
- Tangent lifting of deformations in mixed characteristic
- The $T^1$-lifting theorem in positive characteristic
- Weyl group covers for Brieskorn's resolutions in all characteristics and the integral cohomology of \(G/P\)
- É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)
Cited in
(7)- A refined derived Torelli theorem for Enriques surfaces
- There is no Enriques surface over the integers
- Serre-Tate theory for Calabi-Yau varieties
- Exceptional collections on nonminimal Enriques surfaces
- Liftability of singularities and their Frobenius morphism modulo \(p^2\)
- Weyl group covers for Brieskorn's resolutions in all characteristics and the integral cohomology of \(G/P\)
- Para-abelian varieties and Albanese maps
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)
