Termination of the Fundamental Sequences of $\mathcal {B}$-Permissible Blow-Ups, and the Case e _x(X) = 1

Abstract

In this chapter we prove the Key Theorem 6.35 in Chap. 6, by deducing it from a stronger result, Theorem 10.2 below. Moreover we will give an explicit bound on the length of the fundamental sequence, by the δ-invariant of the polyhedron at the beginning. First we introduce a basic setup.