Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2023/iii/paper-126/2/ii/solution

The Mumford rigidity lemma says that if is complete, is connected, and a morphism maps the fiber over some to a point, then is constant on every -fiber and factors through .
Put and normalize
so . Define
When the first coordinate is , this is constantly . Apply rigidity with the second copy of the complete variety as the complete factor. It follows that is independent of , and evaluation at gives . Therefore
so is a homomorphism of group varieties and .

New to topics? Read the docs here!