Table of Contents
Fetching ...

Non-log liftable log del Pezzo surfaces of rank one in characteristic five

Masaru Nagaoka

TL;DR

The paper classifies rank-one log del Pezzo surfaces over an algebraically closed field of characteristic five that fail log liftability or have singularities infeasible in characteristic zero, building on Lacini’s and Kawakami–Kamiya–Katz–KN frameworks. It introduces the pathologies (ND),(NB),(NK),(NL), proves the chain $(NK) ightarrow(ND) ightarrow(NL)$ for rank-one surfaces in $p=5$, and provides a complete Dynkin-type criterion for NL, including exceptional families and a $P^1_k$-parametrization in a specific Dynkin-type family. It further constructs three new non-log-liftable examples without tigers in char $5$, refines hunt-step methods via almost log canonical singularities to analyze tiger extractions, and classifies the possible outcomes into finite LDP classes. Finally, it establishes Kawamata–Viehweg vanishing for ample $Z$-Weil divisors when the corresponding singularities are feasible in characteristic zero, linking liftability obstructions to vanishing properties and providing a comprehensive view of liftability phenomena for rank-one log del Pezzo surfaces in characteristic five.

Abstract

Building upon the classification by Lacini [arXiv:2005.14544], we determine the isomorphism classes of log del Pezzo surfaces of rank one over an algebraically closed field of characteristic five either which are not log liftable over the ring of Witt vectors or whose singularities are not feasible in characteristic zero. We also show that the Kawamata-Viehweg vanishing theorem for ample $\mathbb{Z}$-Weil divisors holds for log del Pezzo surfaces of rank one in characteristic five if those singularities are feasible in characteristic zero.

Non-log liftable log del Pezzo surfaces of rank one in characteristic five

TL;DR

The paper classifies rank-one log del Pezzo surfaces over an algebraically closed field of characteristic five that fail log liftability or have singularities infeasible in characteristic zero, building on Lacini’s and Kawakami–Kamiya–Katz–KN frameworks. It introduces the pathologies (ND),(NB),(NK),(NL), proves the chain for rank-one surfaces in , and provides a complete Dynkin-type criterion for NL, including exceptional families and a -parametrization in a specific Dynkin-type family. It further constructs three new non-log-liftable examples without tigers in char , refines hunt-step methods via almost log canonical singularities to analyze tiger extractions, and classifies the possible outcomes into finite LDP classes. Finally, it establishes Kawamata–Viehweg vanishing for ample -Weil divisors when the corresponding singularities are feasible in characteristic zero, linking liftability obstructions to vanishing properties and providing a comprehensive view of liftability phenomena for rank-one log del Pezzo surfaces in characteristic five.

Abstract

Building upon the classification by Lacini [arXiv:2005.14544], we determine the isomorphism classes of log del Pezzo surfaces of rank one over an algebraically closed field of characteristic five either which are not log liftable over the ring of Witt vectors or whose singularities are not feasible in characteristic zero. We also show that the Kawamata-Viehweg vanishing theorem for ample -Weil divisors holds for log del Pezzo surfaces of rank one in characteristic five if those singularities are feasible in characteristic zero.

Paper Structure

This paper contains 9 sections, 22 theorems, 29 equations, 1 figure, 1 table.

Key Result

Theorem 1.2

Let $S$ be a log del Pezzo surface of rank one over an algebraically closed field $k$ of characteristic five. Then the following hold.

Figures (1)

  • Figure 1: The weighted graph $[n_1, n_2, \ldots, n_k]$.

Theorems & Definitions (58)

  • Definition 1.1
  • Theorem 1.2
  • Theorem 1.3
  • Definition 2.1
  • Definition 2.2
  • Definition 2.3
  • Definition 2.4: KM
  • Definition 2.5: KM and Lac
  • Lemma 2.6: KM and Lac
  • Definition 2.7: KM and Lac
  • ...and 48 more