Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
(Also, is the leading term of the Hilbert polynomial equal to the degree as defined in the book (maximal finite intersection cardinality)? I know it's equal to the degree, but with which definition?)
How do you know that there is no point outside of U with finite fibers and possibly larger fiber cardinality? The claim in the book is really that the generic fiber cardinality is the maximal finite fiber cardinality.