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 and denote by the relative dimension of over . Suppose that is projective over and that is trivial over . Let be a general fiber of the morphism . Then has dimension if and only if the monodromy transformation around on has a Jordan block of size . If this holds, and for , then is a -homology sphere.