Semi-stable minimal model program for varieties with trivial canonical divisor

Abstract

We give a sufficient condition for the termination of flips. Then we discuss a semi-stable minimal model program for varieties with (numerically) trivial canonical divisor as an application. We also treat a slight refinement of dlt blow-ups. © 2011 The Japan Academy.