Termination of the fundamental sequences of ℬ -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.