Abstract:For lc algebraically integrable foliations on klt varieties, we prove the base-point-freeness theorem, the contraction theorem, and the existence of flips. The first result resolves a conjecture of Cascini and Spicer, while the latter two results strengthen a result of Cascini and Spicer by removing their assumption on the termination of flips. Moreover, we prove the existence of the minimal model program for lc algebraically integrable foliations on klt varieties and the existence of good minimal models or Mori fiber spaces for lc algebraically integrable foliations polarized with ample divisors on klt varieties. As a consequence, we show that $\mathbb{Q}$-factorial klt varieties with lc algebraically integrable Fano foliation structures are Mori dream spaces. We also show the existence of a Shokurov-type polytope for lc algebraically integrable foliations.

Minimal models, flips and finite generation : a tribute to V.V. SHOKUROV\n and Y.-T. SIU

Minimal Models, Flips And Finite Generation: A Tribute To Vv Shokurov And Y.-T. Siu

Log Minimal Models According to Shokurov

Existence of Flips and Minimal Models for 3-Folds in Char P

The log minimal model program for Kähler $3$-folds

Existence of Log Canonical Flips and a Special LMMP

Anticanonical minimal models and Zariski decomposition

The Minimal Model Program Revisited

Minimal model program for algebraically integrable foliations on klt varieties

On existence of log minimal models

On the Minimal Model Program for Kähler 3-folds

On the $4$-dimensional minimal model program for Kähler varieties

Log Canonical Algebras and Modules

Transcendental Minimal Model Program for Projective Varieties

Minimal models for minimal BCOV theories

Minimal Finite Models

On Existence of Log Minimal Models and Weak Zariski Decompositions

On the existence of minimal models for log canonical pairs

Polarized Pairs, Log Minimal Models, and Zariski Decompositions

Flop between algebraically integrable foliations on potentially klt varieties

On finiteness of log canonical models