7.2. The skeletal measure [017W]
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
7.2. The skeletal measure
Consider the skeletal measure on . Choose an snc model , and write as usual . The form defines an identification , and Proposition 5.10 yields
| (7.1) |
If , then
is a logarithmic form on . For each face of , ordering the set of components cutting out the stratum yields a well-defined Poincaré residue . By Lemma 5.12, is a rational section of , with divisor
When is a maximal face, is thus a holomorphic form on ; using the formulas in §6.2, it is easy to see that the residual measure on is given by
The following result corresponds to Theorem C in the introduction.
Theorem 7.1.
Assume that is maximally degenerate, i.e. . If has semistable reduction, then the skeletal measure is a multiple of the integral Lebesgue measure of .
Proof.
Let be a semistable model, i.e. is snc with reduced. By (7.1), we have . Since some non-empty might have several components, the dual complex is possibly not a triangulation of . However, the barycentric subdivision of is a triangulation; the corresponding toroidal modification is snc, with is possibly non-reduced, but for each -simplex of . Applying the above discussion to , we infer
with ranging over the -dimensional faces of , with corresponding strata reduced to single points. It will thus be enough to show that is independent of .
By the strong connectedness property, any two -simplices , of can be joined by a chain of -simplices with and sharing a common -face . Denoting by and the corresponding strata in , we thus have . Further, the Poincaré residue has poles precisely at , since any other pole would correspond to an -simplex of containing , contradicting the non-branching property. Since , the residue theorem applied to the Riemann surface yields , and hence . ∎
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 .