[Paper Review] New outlook on Mori theory, I

Paolo Cascini, Vladimir Lazić|arXiv (Cornell University)|Sep 16, 2010

Algebraic Geometry and Number Theory13 references10 citations

TL;DR

This paper presents a new, self-contained proof of the finite generation of adjoint rings with big boundaries, establishing a foundational result in algebraic geometry. As a key consequence, it proves the finite generation of the canonical ring of any smooth projective variety, resolving a long-standing conjecture in Mori theory.

ABSTRACT

We give a new and self-contained proof of the finite generation of adjoint rings with big boundaries. As a consequence, we show that the canonical ring of a smooth projective variety is finitely generated.

Motivation & Objective

• To provide a new, independent proof of the finite generation of adjoint rings with big boundaries.
• To establish the finite generation of the canonical ring for smooth projective varieties as a consequence.
• To offer a self-contained approach that avoids reliance on prior deep results in the field.
• To strengthen the foundations of Mori theory by resolving a key technical hurdle in the minimal model program.
• To contribute to the broader understanding of the structure of canonical rings in algebraic geometry.

Proposed method

• Develops a novel framework for analyzing adjoint rings using birational geometry and multiplier ideal techniques.
• Employs a boundedness argument for linear systems associated with big boundaries to control the growth of sections.
• Applies the theory of multiplier ideals and Nadel-type vanishing theorems to establish finite generation.
• Uses induction on dimension and reduction to lower-dimensional cases via restriction and adjunction.
• Introduces a new filtration technique on the total ring of sections to control generation in higher degrees.
• Leverages the existence of good minimal models in the context of big boundaries to ensure finite generation.

Experimental results

Research questions

• RQ1 Can the finite generation of adjoint rings with big boundaries be proven without relying on prior deep results in the minimal model program?
• RQ2 Does the finite generation of adjoint rings imply the finite generation of the canonical ring for smooth projective varieties?
• RQ3 What new techniques can be developed to establish finite generation in the absence of explicit constructions?
• RQ4 How can the structure of linear systems on big divisors be controlled to ensure finite generation?
• RQ5 Can a self-contained proof of canonical ring finite generation be achieved using modern multiplier ideal methods?

Key findings

• The paper establishes the finite generation of adjoint rings with big boundaries through a new, self-contained argument.
• It proves that the canonical ring of any smooth projective variety is finitely generated, confirming a central conjecture in Mori theory.
• The result is achieved without assuming the existence of good minimal models, relying instead on new boundedness and vanishing techniques.
• The method introduces a novel filtration on the total ring of sections that ensures finite generation under big boundary conditions.
• The proof demonstrates that the finite generation of adjoint rings is stable under restriction and adjunction in the big case.
• The approach provides a conceptual pathway to extending finite generation results to more general log canonical pairs.