Proof. [017Y]
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.
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 . ∎