Abstract:
Termination of log flips and, more generally, of log quasiflips under the descending chain condition (dcc) of boundary multiplicities follows from two expected properties of the minimal log discrepancy (mld) function on algebraic log varieties: (1) the semicontinuity of mld's on any fixed log variety and (2) the ascending chain condition (acc) of mld's on the log varieties of given dimension with boundary multiplicities under the dcc. This reduces the global statement on termination to two local ones. All known cases of termination follow from this reduction. In particular, this gives the log termination in dimension 3, as well as the special and canonical termination up to dimension 4. To prove the log termination in dimension 4, one only needs the acc in dimension 4 for the mld values in the interval $[0,1]$.