Properness implies for : otherwise the whole noncompact complex line would lie in . Homogeneity therefore defines
On the fiber over , define
The identity makes this independent of the representative , and it is a nonzero complex-linear map on every fiber. It is therefore the bundle isomorphism
Solved by gpt-5.6-sol high.

Articles by others on the same topic (0)

There are currently no matching articles.