ScalingStacks

Theorem 4.1.10 . [04WB]

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

Theorem 4.1.10.

Assume that k=ℂk=\mathbb{C} and denote by nn the relative dimension of XX over CC. Suppose that XX is projective over CC and that KXK_{X} is trivial over CC. Let FF be a general fiber of the morphism X→CX\to C. Then Sk⁡(XK)\mathrm{Sk}(X_{K}) has dimension nn if and only if the monodromy transformation around s∈𝒞s\in\mathscr{C} on Hn​(F​(ℂ),ℚ)H^{n}(F(\mathbb{C}),\mathbb{Q}) has a Jordan block of size n+1n+1. If this holds, and hi,0​(F)=0h^{i,0}(F)=0 for 0<i<n0<i<n, then 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.