Example 2.25 . [02J7]
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
Example 2.25.
Let and ,
the universal line bundle of . As a model for we
consider , the projective space over
, ,
and . A rational section of can be identified with a
homogeneous rational function
of degree 1.
Let and
set . Let be such that
. Take (respectively ) as
the affine set over (respectively
). The point corresponds to the algebraic morphism
|
|
|
that sends to . The extension factors
through the algebraic morphism
|
|
|
with the same definition. Then
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
We call this the canonical metric of
and we denote it by
.