Métrique de Fubini-Study

In mathematics, the Fubini–Study metric is a Kähler metric on projective Hilbert space, that is, on a complex projective space CPn endowed with a Hermitian form. This metric was originally described in 1904 and 1905 by Guido Fubini and Eduard Study. A Hermitian form in (the vector space) Cn+1 defines a unitary subgroup U(n+1) in GL(n+1,C). A Fubini–Study metric is determined up to homothety (overall scaling) by invariance under such a U(n+1) action; thus it is homogeneous. Equipped with a Fubini–Study metric, CPn is a symmetric space. The particular normalization on the metric depends on the application. In Riemannian geometry, one uses a normalization so that the Fubini–Study metric simply relates to the standard metric on the (2n+1)-sphere. In algebraic geometry, one uses a normalization making CPn a Hodge manifold. The Fubini–Study metric arises naturally in the quotient space construction of complex projective space. Specifically, one may define CPn to be the space consisting of all complex lines in Cn+1, i.e., the quotient of Cn+1{0} by the equivalence relation relating all complex multiples of each point together. This agrees with the quotient by the diagonal group action of the multiplicative group C* = C \ {0}: This quotient realizes Cn+1{0} as a complex line bundle over the base space CPn. (In fact this is the so-called tautological bundle over CPn.) A point of CPn is thus identified with an equivalence class of (n+1)-tuples [Z0,...,Zn] modulo nonzero complex rescaling; the Zi are called homogeneous coordinates of the point. Furthermore, one may realize this quotient mapping in two steps: since multiplication by a nonzero complex scalar z = R eiθ can be uniquely thought of as the composition of a dilation by the modulus R followed by a counterclockwise rotation about the origin by an angle , the quotient mapping Cn+1 → CPn splits into two pieces. where step (a) is a quotient by the dilation Z ~ RZ for R ∈ R+, the multiplicative group of positive real numbers, and step (b) is a quotient by the rotations Z ~ eiθZ.