ScalingStacks

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 XX has a projective s​n​csnc-model 𝒴\mathscr{Y} over 𝒞\mathscr{C} such that 𝒴s\mathscr{Y}_{s} is reduced. For every integer i≥0i\geq 0, we denote by

𝐇i=ℍi​(𝒴s,R​ψ𝒴​(ℤ))≅Hi​(F⁡(ℂ),ℤ)\mathbf{H}^{i}=\mathbb{H}^{i}(\mathscr{Y}_{s},R\psi_{\mathscr{Y}}(\mathbb{Z}))\cong H^{i}(F(\mathbb{C}),\mathbb{Z})

the degree ii nearby cohomology of 𝒴\mathscr{Y} at ss; here R​ψ𝒴​(ℤ)R\psi_{\mathscr{Y}}(\mathbb{Z}) denotes the complex of nearby cycles with ℤ\mathbb{Z}-coefficients associated to 𝒴\mathscr{Y}. By [St76], the spaces 𝐇i\mathbf{H}^{i} 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 n+1n+1 on 𝐇ℚn\mathbf{H}^{n}_{\mathbb{Q}} if and only if W0​𝐇ℚn≠0W_{0}\mathbf{H}^{n}_{\mathbb{Q}}\neq 0.

By [Be09, 5.1] and its proof, the ℚ\mathbb{Q}-vector space W0​𝐇ℚiW_{0}\mathbf{H}^{i}_{\mathbb{Q}} is canonically isomorphic to the degree ii singular cohomology of XKanX_{K}^{\mathrm{an}}, for every i≥0i\geq 0. Since XKanX_{K}^{\mathrm{an}} is homotopy equivalent to Sk⁡(XK)\mathrm{Sk}(X_{K}) by Corollary 3.3.6, we see that W0​𝐇ℚnW_{0}\mathbf{H}^{n}_{\mathbb{Q}} can only be different from zero if the dimension of Sk⁡(XK)\mathrm{Sk}(X_{K}) is equal to nn. We will now prove the converse implication. Suppose that Sk⁡(XK)\mathrm{Sk}(X_{K}) has dimension nn and let ω\omega be a relative volume form on XX over CC such that ω\omega extends to a global section of ω𝒴/𝒞​(log⁡𝒴s)\omega_{\mathscr{Y}/\mathscr{C}}(\log\mathscr{Y}_{s}) that generates ω𝒴/𝒞​(log⁡𝒴s)\omega_{\mathscr{Y}/\mathscr{C}}(\log\mathscr{Y}_{s}) at at least one generic point of 𝒴s\mathscr{Y}_{s} (modulo shrinking 𝒞\mathscr{C}, such ω\omega always exists). Then it follows from [MN13, 4.5.5] that Sk⁡(XK)\mathrm{Sk}(X_{K}) is the simplicial subspace of Sk⁡(𝒴)\mathrm{Sk}(\mathscr{Y}) spanned by the vertices corresponding to the irreducible components EE of 𝒴s\mathscr{Y}_{s} such that ω\omega generates ω𝒴/𝒞​(log⁡𝒴s)\omega_{\mathscr{Y}/\mathscr{C}}(\log\mathscr{Y}_{s}) at the generic point of EE. Since Sk⁡(XK)\mathrm{Sk}(X_{K}) has dimension nn, we can find such components E1,…,EnE_{1},\ldots,E_{n} that intersect in a point. Denote by DD the union of nn-fold intersection points of components of 𝒴s\mathscr{Y}_{s}. Then by reduction modulo tt, ω\omega induces an element of

H0​(𝒴s,ω𝒴/𝒞​(log⁡𝒴s)⊗𝒪𝒴s)H^{0}(\mathscr{Y}_{s},\omega_{\mathscr{Y}/\mathscr{C}}(\log\mathscr{Y}_{s})\otimes\mathcal{O}_{\mathscr{Y}_{s}})

whose image under the Poincaré residue map

ℛ:H0​(𝒴s,ω𝒴/𝒞​(log⁡𝒴s)⊗𝒪𝒴s)→H0​(𝒴s,Gr−nW​(ω𝒴/𝒞​(log⁡𝒴s)⊗𝒪𝒴s))≅H0​(D,𝒪D)\mathcal{R}:H^{0}(\mathscr{Y}_{s},\omega_{\mathscr{Y}/\mathscr{C}}(\log\mathscr{Y}_{s})\otimes\mathcal{O}_{\mathscr{Y}_{s}})\to H^{0}(\mathscr{Y}_{s},\mathrm{Gr}_{-n}^{W}(\omega_{\mathscr{Y}/\mathscr{C}}(\log\mathscr{Y}_{s})\otimes\mathcal{O}_{\mathscr{Y}_{s}}))\cong H^{0}(D,\mathcal{O}_{D})

is different from zero. However, by the degeneration of the Hodge and weight spectral sequences, the image of ℛ\mathcal{R} injects into W0​𝐇ℂnW_{0}\mathbf{H}^{n}_{\mathbb{C}}. Thus W0​𝐇ℚnW_{0}\mathbf{H}^{n}_{\mathbb{Q}} is non-trivial.

Finally, assume that Sk⁡(XK)\mathrm{Sk}(X_{K}) has dimension nn and that hi,0​(Xgen)=0h^{i,0}(X_{\mathrm{gen}})=0 for 0<i<n0<i<n. Then

GrF0​𝐇ℂi≅Hi​(𝒴s,𝒪𝒴s)=0\mathrm{Gr}_{F}^{0}\mathbf{H}^{i}_{\mathbb{C}}\cong H^{i}(\mathscr{Y}_{s},\mathcal{O}_{\mathscr{Y}_{s}})=0

for 0<i<n0<i<n and

GrF0​𝐇ℂi≅Hi​(𝒴s,𝒪𝒴s)≅ℂ\mathrm{Gr}_{F}^{0}\mathbf{H}^{i}_{\mathbb{C}}\cong H^{i}(\mathscr{Y}_{s},\mathcal{O}_{\mathscr{Y}_{s}})\cong\mathbb{C}

for i=0,ni=0,n by the degeneration of the Hodge spectral sequence for the limit mixed Hodge structure. Thus W0​𝐇ℚi=0W_{0}\mathbf{H}^{i}_{\mathbb{Q}}=0 for 0<i<n0<i<n, W0​𝐇ℚ0≅ℚW_{0}\mathbf{H}^{0}_{\mathbb{Q}}\cong\mathbb{Q} and W0​𝐇ℚnW_{0}\mathbf{H}^{n}_{\mathbb{Q}} has dimension at most one; it must have dimension one since we have already proven that it is non-zero. It follows that Sk⁡(XK)\mathrm{Sk}(X_{K}) is a ℚ\mathbb{Q}-homology sphere. ∎

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.