[Paper Review] Index 1 covers of log terminal surface sigularities

Yūjirō Kawamata|ArXiv.org|Feb 9, 1998

Algebraic Geometry and Number Theory5 references3 citations

TL;DR

This paper investigates index 1 covers of 2-dimensional log terminal singularities, proving that such covers are canonical when the base field's characteristic is not 2 or 3. In characteristic 2 or 3, counterexamples show the result fails, and the authors use this to correct an error in a prior work on the minimal model program in dimension two.

ABSTRACT

We shall investigate index 1 covers of 2-dimensional log terminal singularities. The main result is that the index 1 cover is canonical if the characteristic of the base field is different from 2 or 3. We also give some counterexamples in the case of characteristic 2 or 3. By using this result, we correct an error in a previous paper.

Motivation & Objective

• To analyze the structure and properties of index 1 covers of log terminal surface singularities.
• To determine under which conditions these covers are canonical, particularly focusing on the characteristic of the base field.
• To identify and construct counterexamples in characteristics 2 and 3 where the canonical property fails.
• To correct a previously published error in the minimal model program for surfaces by leveraging the new results on index 1 covers.

Proposed method

• Utilizes the theory of quotient singularities and finite Galois covers to construct index 1 covers of log terminal surface singularities.
• Applies results from the minimal model program and canonical singularity classification in dimension two.
• Employs characteristic-dependent arguments, especially analyzing the behavior of resolutions and discrepancies in positive characteristic.
• Uses explicit constructions of surface singularities in characteristic 2 and 3 to produce counterexamples.
• Applies the theory of dualizing sheaves and canonical bundles to verify the canonical nature of the covers.
• Relies on the classification of rational double points and their covers to deduce the main result.

Experimental results

Research questions

• RQ1 Under what conditions is the index 1 cover of a log terminal surface singularity canonical?
• RQ2 How does the characteristic of the base field affect the canonical nature of index 1 covers?
• RQ3 Can explicit counterexamples be constructed in characteristics 2 and 3 where the index 1 cover fails to be canonical?
• RQ4 To what extent do these results resolve or correct errors in earlier works on the minimal model program for surfaces?
• RQ5 What is the role of the discrepancy invariant in determining the canonical nature of index 1 covers?

Key findings

• The index 1 cover of a log terminal surface singularity is canonical if the base field has characteristic different from 2 or 3.
• In characteristic 2 or 3, there exist explicit counterexamples where the index 1 cover is not canonical.
• The failure of the canonical property in characteristics 2 and 3 is demonstrated via explicit singularities with non-canonical covers.
• The results are applied to correct an error in a previous paper on the minimal model program for surfaces.
• The analysis confirms that the canonical property of index 1 covers is deeply sensitive to the ground field's characteristic.
• The study establishes a sharp threshold in characteristic theory for the validity of canonical behavior in index 1 covers.