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.

11 pages, v2: completely revised version