Remark 7.2 . [017Z]
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
Remark 7.2.
Theorem 7.1 fails in general when does not have semistable reduction. Indeed, the semistable reduction theorem [KKMS] shows that the base change to has semistable reduction for some divisible enough. By Lemma 5.14, , and is thus a multiple of the integral Lebesgue measure of , by Theorem 7.1. By Theorem 6.7, . However, is not proportional to the integral Lebesgue measure of in general. Indeed, for each -simplex of , Lemma 5.13 shows that , and is in general not independent of .