skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: On the Kawamata–Viehweg vanishing theorem for log del Pezzo surfaces in positive characteristic
We prove the Kawamata–Viehweg vanishing theorem for surfaces of del Pezzo type over perfect fields of positive characteristic $p>5$ . As a consequence, we show that klt threefold singularities over a perfect base field of characteristic $p>5$ are rational. We show that these theorems are sharp by providing counterexamples in characteristic $$5$$ .  more » « less
Award ID(s):
1801851
PAR ID:
10410273
Author(s) / Creator(s):
; ;
Date Published:
Journal Name:
Compositio Mathematica
Volume:
158
Issue:
4
ISSN:
0010-437X
Page Range / eLocation ID:
750 to 763
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. Abstract We construct local models of Shimura varieties and investigate their singularities, with special emphasis on wildly ramified cases. More precisely, with the exception of odd unitary groups in residue characteristic 2 we construct local models, show reducedness of their special fiber, Cohen–Macaulayness and in equicharacteristic also (pseudo-)rationality. In mixed characteristic we conjecture their pseudo-rationality. This is based on the construction of parahoric group schemes over two dimensional bases for wildly ramified groups and an analysis of singularities of the attached Schubert varieties in positive characteristic using perfect geometry. 
    more » « less
  2. Abstract We prove Grauert–Riemenschneider–type vanishing theorems for excellent divisiorally log terminal threefolds pairs whose closed points have perfect residue fields of positive characteristic $p>5$. Then we discuss applications to dlt singularities and to Mori fiber spaces of three-folds. 
    more » « less
  3. Abstract We show the validity of two special cases of the four-dimensional minimal model program (MMP) in characteristic $p>5$ : for contractions to $${\mathbb {Q}}$$ -factorial fourfolds and in families over curves (‘semistable MMP’). We also provide their mixed characteristic analogues. As a corollary, we show that liftability of positive characteristic threefolds is stable under the MMP and that liftability of three-dimensional Calabi–Yau varieties is a birational invariant. Our results are partially contingent upon the existence of log resolutions. 
    more » « less
  4. We prove that F-injectivity localizes, descends under faithfully flat homomorphisms, and ascends under flat homomorphisms with Cohen–Macaulay and geometrically F-injective fibers, all for arbitrary Noetherian rings of prime characteristic. As a consequence, we show that the F-injective locus is open on most rings arising in arithmetic and geometry. As a geometric application, we prove that over an algebraically closed field of characteristic p > 3, generic projection hypersurfaces associated to suitably embedded smooth projective varieties of dimension ≤5 are F-pure, and hence F-injective. This geometric result is the positive characteristic analogue of a theorem of Doherty. 
    more » « less
  5. Abstract We prove that in either the convergent or overconvergent setting, an absolutely irreducible $$F$$-isocrystal on the absolute product of two or more smooth schemes over perfect fields of characteristic $$p$$, further equipped with actions of the partial Frobenius maps, is an external product of $$F$$-isocrystals over the multiplicands. The corresponding statement for lisse $$\overline{{\mathbb{Q}}}_{\ell }$$-sheaves, for $$\ell \neq p$$ a prime, is a consequence of Drinfeld’s lemma on the fundamental groups of absolute products of schemes in characteristic $$p$$. The latter plays a key role in V. Lafforgue’s approach to the Langlands correspondence for reductive groups with $$\ell $$-adic coefficients; the $$p$$-adic analogue will be considered in subsequent work with Daxin Xu. 
    more » « less