Example : projective space [01IV]
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 : projective space
Let us consider the smooth metric on associated to the model of . Let be the formal open subset of defined by the non-vanishing of the homogeneous coordinate . Over, , has a global non-vanishing section, namely the one associated to the homogeneous polynomial . The generic fiber of in the sense of algebraic geometry is an affine space, with coordinates , for , and . However, its generic fiber in the sense of rigid geometry is the -dimensional polydisk in this affine space defined by the inequalities . We thus observe that for any ,
In other words, the Weil metric on is a smooth metric.