minimal models

minimal models
Name	Minimal models
Field	Algebraic geometry
Notable figures	Heisuke Hironaka, Shigefumi Mori, John Tate, David Mumford, Kunihiko Kodaira, Oscar Zariski, Enriques–Kodaira classification, Yum-Tong Siu, Birkar Caucher Birkar, Christopher Hacon, James McKernan
Related concepts	Minimal model program, Mori's program, Resolution of singularities, Canonical divisor, Kawamata–Viehweg vanishing theorem

minimal models

Minimal models are key objects in modern algebraic geometry representing varieties or surfaces simplified under birational transformations while preserving canonical structure. They are central to classification problems addressed by programs and theorems developed across the twentieth and twenty-first centuries involving figures such as Heisuke Hironaka, Shigefumi Mori, and David Mumford. Minimal models connect to birational geometry, canonical divisors, and the systematic reduction of complex varieties to representatives with controlled singularities.

Introduction

In birational classification, a minimal model of a projective variety serves as a representative in its birational equivalence class with nef canonical class, interacting with concepts like the Enriques–Kodaira classification of surfaces, the Minimal model program for higher-dimensional varieties, and the notion of canonical singularities introduced in the context of Mori theory. Foundational results by Oscar Zariski on surfaces and by Heisuke Hironaka on resolution of singularities established the environment in which minimal models are sought, while advancements by Shigefumi Mori and collaborators provided tools to produce and analyze them. Minimal models are invoked in connections to moduli problems studied by David Mumford, arithmetic questions traced by John Tate, and analytic approaches used by Yum-Tong Siu.

History and development

The origins trace to the Italian school and the classification of algebraic surfaces refined by Kunihiko Kodaira and Federigo Enriques, culminating in the Enriques–Kodaira classification and Zariski’s birational analyses. Hironaka’s 1964 proof of resolution of singularities permitted rigorous handling of singular models, while Mori’s 1980s breakthroughs on extremal rays and the cone theorem catalyzed the modern Minimal model program. Subsequent milestones include results by Christopher Hacon, James McKernan, and Caucher Birkar proving existence and termination statements in higher dimensions, and vanishing theorems like the Kawamata–Viehweg vanishing theorem that underpin abundance conjectures discussed by many researchers.

Formal definition and types

Formally, a minimal model for a projective variety X is a projective variety Y birational to X such that the canonical divisor K_Y is nef and Y has only mild singularities (commonly terminal or canonical). In dimension two this aligns with minimal surfaces in the Enriques–Kodaira classification where minimal models are smooth except for ruled surfaces. In higher dimensions one distinguishes between minimal models, canonical models (where K is ample), and relative minimal models over a base; singularity classes invoked include terminal, canonical, log terminal, and log canonical as developed in Mori theory and log geometry used in the Minimal model program.

Construction methods

Construction typically proceeds via birational operations: blowups and contractions guided by extremal ray theory and the cone theorem pioneered by Shigefumi Mori, and by flips which resolve negative directions of K. Techniques employ resolution of singularities (as established by Heisuke Hironaka), the cone and contraction theorems, existence of flips proven in stages by teams including Christopher Hacon, James McKernan, and Caucher Birkar, and the use of log pairs and adjunction formulas related to canonical divisors. Analytic tools from complex geometry, such as methods used by Yum-Tong Siu, and arithmetic methods influenced by John Tate and David Mumford also inform constructions in special cases.

Applications and examples

Minimal models appear across explicit classifications: in the Enriques–Kodaira classification of complex surfaces, in Fano, Calabi–Yau, and general type varieties important in the study of the Calabi conjecture and moduli spaces treated by David Mumford, and in birational rigidity problems addressed by researchers such as Iskovskikh and Vladimir Iskovskikh (as part of the school around Fano classification). In arithmetic geometry they influence the study of rational points framed by conjectures of John Tate and Gerd Faltings, while in complex geometry they relate to existence results linked to the work of Yau and analytic techniques from Yum-Tong Siu. Explicit examples include del Pezzo surfaces, ruled surfaces classified in the work of Federigo Enriques, and higher-dimensional Fano varieties studied by the Mori program community.

Mathematical properties and classification

Key properties involve the behavior of the canonical divisor K, numerical criteria like nefness and ampleness, and the classification of singularities (terminal, canonical, log terminal). The structure of the cone of curves and extremal rays governed by Mori’s cone theorem, termination of flips, and abundance conjectures determine classification outcomes. For surfaces the classification is complete via the Enriques–Kodaira classification and contributions by Kunihiko Kodaira; in higher dimensions partial classifications use minimal model existence theorems proved by teams including Christopher Hacon, James McKernan, and Caucher Birkar.

Connections to other theories

Minimal models intersect with the Minimal model program, birational geometry, moduli theory as developed by David Mumford, arithmetic geometry inspired by John Tate and Gerd Faltings, and analytic methods connected to the work of Yau and Yum-Tong Siu. They also relate to classification results from the Italian school embodied by Federigo Enriques and to modern developments in singularity theory and vanishing theorems such as the Kawamata–Viehweg vanishing theorem.

Category:Algebraic geometry