Proof. [04WC]
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.
By Lemma 4.1.9 and the Semi-Stable Reduction Theorem we can assume that has a projective -model over such that is reduced. For every integer , we denote by
the degree nearby cohomology of at ; here denotes the complex of nearby cycles with -coefficients associated to . By [St76], the spaces carry a canonical mixed Hodge structure, whose weight filtration coincides with the monodromy filtration. In particular, there exists a Jordan block of monodromy of size on if and only if .
By [Be09, 5.1] and its proof, the -vector space is canonically isomorphic to the degree singular cohomology of , for every . Since is homotopy equivalent to by Corollary 3.3.6, we see that can only be different from zero if the dimension of is equal to . We will now prove the converse implication. Suppose that has dimension and let be a relative volume form on over such that extends to a global section of that generates at at least one generic point of (modulo shrinking , such always exists). Then it follows from [MN13, 4.5.5] that is the simplicial subspace of spanned by the vertices corresponding to the irreducible components of such that generates at the generic point of . Since has dimension , we can find such components that intersect in a point. Denote by the union of -fold intersection points of components of . Then by reduction modulo , induces an element of
whose image under the Poincaré residue map
is different from zero. However, by the degeneration of the Hodge and weight spectral sequences, the image of injects into . Thus is non-trivial.
Finally, assume that has dimension and that for . Then
for and
for by the degeneration of the Hodge spectral sequence for the limit mixed Hodge structure. Thus for , and has dimension at most one; it must have dimension one since we have already proven that it is non-zero. It follows that is a -homology sphere. ∎