Birkar–Cascini–Hacon–McKernan theorem

Birkar–Cascini–Hacon–McKernan theorem
Name	Birkar–Cascini–Hacon–McKernan theorem
Field	Algebraic geometry
Proved	2006–2010
Contributors	Caucher Birkar; Paolo Cascini; Christopher Hacon; James McKernan

Birkar–Cascini–Hacon–McKernan theorem The Birkar–Cascini–Hacon–McKernan theorem is a foundational result in Algebraic geometry establishing the existence of minimal models and the termination of certain operations for higher-dimensional algebraic varietys, with deep connections to the Minimal Model Program, the Iitaka conjecture, and birational classification. The theorem was proved by Caucher Birkar, Paolo Cascini, Christopher D. Hacon, and James McKernan and had major consequences for the study of Fano varietys, Calabi–Yau models, and the structure of canonical rings.

Statement of the theorem

The theorem asserts that for a projective variety with klt singularities and a pseudo-effective canonical divisor, one can construct a minimal model or a Mori fiber space, and that the canonical ring is finitely generated; this builds on concepts introduced by Shigefumi Mori, Yasutaka Kawamata, Vladimir Shokurov, and Shigeyuki Fujita. The result combines existence of flips and finite generation of canonical rings and implies the termination of sequences of flips under hypotheses related to Kawamata log terminal pairs and log canonical thresholds studied by Paul Hacking and Yujiro Kawamata. In particular, it gives finite generation for the canonical ring of a Kawamata log terminal pair, resolving cases of questions raised by Goro Shimura and conjectures influenced by work of Enrico Bombieri and David Mumford.

Historical context and development

The theorem emerged from decades of efforts on the Minimal Model Program led by figures such as Shigefumi Mori, whose 1980s work on threefolds followed foundational input from Kunihiko Kodaira and Oscar Zariski, and later advances by Vladimir V. Shokurov, Mark Reid, and Yujiro Kawamata. During the 1990s and 2000s, breakthroughs by János Kollár, Sheldon Katz, Yujiro Kawamata, Christopher D. Hacon, and James McKernan advanced techniques in flips and adjunction, while contributions from Caucher Birkar and Paolo Cascini completed finite generation strategies inspired by Yuri Tschinkel and Valery Alexeev. The proof built on methods from Hodge theory as used by Phillip Griffiths and Wilfried Schmid, and on vanishing theorems related to work by Jean-Pierre Serre and Alexander Grothendieck.

Key concepts and definitions

Key notions include Kawamata log terminal (klt) pairs, log canonical pairs, the canonical divisor K_X, and the canonical ring R(X,K_X), as developed in the literature of Shing-Tung Yau and Kunihiko Kodaira; ancillary structures involve Mori fiber spaces, flips, and flops introduced by Shigefumi Mori and formalized by Vladimir V. Shokurov and János Kollár. Finite generation of the canonical ring connects to the Zariski decomposition notions used by Oscar Zariski and to multiplier ideal sheaves that trace back to work by Jean-Pierre Demailly and Lazarsfeld (Robert Lazarsfeld). Techniques invoke vanishing results like the Kawamata–Viehweg vanishing theorem associated with Yujiro Kawamata and Eckart Viehweg, and employ log minimal models in the spirit of Shigefumi Mori and Mark Reid.

Outline of the proof

The proof combines modern birational techniques developed across several decades: first, construction of flips and log canonical models follows the strategy advanced by Vladimir V. Shokurov, János Kollár, and Shigefumi Mori; second, finite generation of the canonical ring is achieved via induction on dimension using extension theorems and vanishing theorems inspired by Jean-Pierre Demailly and Kollár–Shokurov type results. The authors synthesize ideas from adjunction theory as used by Francois Ambro and Vladimir V. Shokurov, the ACC conjectures for log canonical thresholds explored by Caucher Birkar and Mircea Mustaţă, and techniques reminiscent of the work of Claire Voisin on deformation theory and of Robert Lazarsfeld on positivity. The argument uses the existence of good minimal models for birationally equivalent varieties under klt hypotheses and applies the canonical bundle formula developed following ideas of Yum-Tong Siu and Tian-Yau.

Consequences and applications

Consequences include finite generation of canonical rings for klt pairs, birational classification advances for projective varietys, and structural results for Fano varietys and Calabi–Yau models influencing work in string theory contexts explored by Edward Witten and Cumrun Vafa. The theorem impacts moduli theory for varieties as considered by David Mumford and Georges Pompidou-era institutions, and it informs explicit classification problems pursued by Igor Dolgachev and Miles Reid. Applications extend to the study of automorphism groups of varieties as in work by Shigeru Mukai and to arithmetic geometry directions connected to conjectures of Serre (Jean-Pierre Serre) and Gerd Faltings.

Related results and extensions

Extensions and related milestones include termination of flips conjectures advanced by Vladimir V. Shokurov and partial results by Christopher D. Hacon and James McKernan, work on the ACC for log canonical thresholds by Caucher Birkar and Mircea Mustaţă, and advances on the abundance conjecture discussed by Yujiro Kawamata and Vladimir V. Shokurov. Further developments relate to canonical bundle formulas and moduli of varieties as studied by Viehweg (Eckart Viehweg), Kollár (János Kollár), and Harris (Joe Harris), and to explicit birational geometry computations by Corti (Alessio Corti), Cheltsov (Ivan Cheltsov), and Cheltsov–Park collaborations. Ongoing research connects these findings to derived category perspectives influenced by Alexander Kuznetsov and to mirror symmetry programs initiated by Maxim Kontsevich and Strominger–Yau–Zaslow.

Category:Theorems in algebraic geometry