Proof. [04W7]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context ยท Original author HTML
Proof.
By running MMP for over , we know that has a good minimal dlt model with reduced special fiber (see [Fu11] or [HX13]). Then one sees as in the proof of Theorem 4.1.4 that is trivial over . Our assumption on the dimension of implies that the minimal log canonical centers of are points. Let be a one-dimensional log canonical center, and let () be the 0-dimensional log canonical centers contained in . From Lemma 4.1.6, we know that
Thus is a rational curve and , which means that is closed. โ