Fubini–Study metric

In mathematics, the Fubini–Study metric (IPA: /fubini-ʃtuːdi/) is a Kähler metric on a complex projective space CP^''n'' 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) C^''n''+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, CP^''n'' 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 (2''n''+1)-sphere. In algebraic geometry, one uses a normalization making CP^''n'' a Hodge manifold.

Construction

The Fubini–Study metric arises naturally in the quotient space construction of complex projective space.

Specifically, one may define CP^''n'' to be the space consisting of all complex lines in C^''n''+1, i.e., the quotient of C^''n''+1\ 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 \ :

:$\mathbf^n = \left\ \big/ \.$

This quotient realizes C^''n''+1\ as a complex line bundle over the base space CP^''n''. (In fact this is the so-called tautological bundle over CP^''n''.) A point of CP^''n'' is thus identified with an equivalence class of (''n''+1)-tuples 'Z''₀,...,''Z''_''n''modulo nonzero complex rescaling; the ''Z''_''i'' 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'' ''e''^iθ 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 $\theta$, the quotient mapping C^''n''+1 → CP^''n'' splits into two pieces.

:$\mathbf^\setminus\ \mathrel S^ \mathrel \mathbf^n$

where step (a) is a quotient by the dilation Z ~ ''R''Z for ''R'' ∈ R⁺, the multiplicative group of positive real numbers, and step (b) is a quotient by the rotations Z ~ ''e''^iθZ.

The result of the quotient in (a) is the real hypersphere ''S''^2''n''+1 defined by the equation , Z, ² = , ''Z''₀, ² + ... + , ''Z''_''n'', ² = 1. The quotient in (b) realizes CP^''n'' = ''S''^2''n''+1/''S''¹, where ''S''¹ represents the group of rotations. This quotient is realized explicitly by the famous Hopf fibration ''S''¹ → ''S''^2''n''+1 → CP^''n'', the fibers of which are among the great circles of $S^$.

As a metric quotient

When a quotient is taken of a Riemannian manifold (or metric space in general), care must be taken to ensure that the quotient space is endowed with a metric that is well-defined. For instance, if a group ''G'' acts on a Riemannian manifold (''X'',''g''), then in order for the orbit space ''X''/''G'' to possess an induced metric, $g$ must be constant along ''G''-orbits in the sense that for any element ''h'' ∈ ''G'' and pair of vector fields $X,Y$ we must have ''g''(''Xh'',''Yh'') = ''g''(''X'',''Y'').

The standard Hermitian metric on C^''n''+1 is given in the standard basis by

:$ds^2 = d\mathbf \otimes d\bar = dZ_0 \otimes d\bar_0 + \cdots + dZ_n \otimes d\bar_n$

whose realification is the standard Euclidean metric on R^2''n''+2. This metric is ''not'' invariant under the diagonal action of C^*, so we are unable to directly push it down to CPⁿ in the quotient. However, this metric ''is'' invariant under the diagonal action of ''S''¹ = U(1), the group of rotations. Therefore, step (b) in the above construction is possible once step (a) is accomplished.

The Fubini–Study metric is the metric induced on the quotient CP^''n'' = ''S''^2''n''+1/''S''¹, where $S^$ carries the so-called "round metric" endowed upon it by ''restriction'' of the standard Euclidean metric to the unit hypersphere.

In local affine coordinates

Corresponding to a point in CP^''n'' with homogeneous coordinates _0:\dots:Z_n, there is a unique set of ''n'' coordinates $(z_1,\dots,z_n)$ such that
: _0:\dots:Z_n\sim ,z_1,\dots,z_n
provided $Z_0\neq 0$; specifically, $z_j=Z_j/Z_0$. The $(z_1,\dots,z_n)$ form an affine coordinate system for CP^''n'' in the coordinate patch $U_0=\$. One can develop an affine coordinate system in any of the coordinate patches $U_i=\$ by dividing instead by $Z_i$ in the obvious manner. The ''n''+1 coordinate patches $U_i$ cover CP^''n'', and it is possible to give the metric explicitly in terms of the affine coordinates $(z_1,\dots,z_n)$ on $U_i$. The coordinate derivatives define a frame $\$ of the holomorphic tangent bundle of CP^''n'', in terms of which the Fubini–Study metric has Hermitian components

:$g_ = h(\partial_i,\bar_j) = \frac.$

where , z, ² = , ''z''₁, ² + ... + , ''z''_''n'', ². That is, the Hermitian matrix of the Fubini–Study metric in this frame is

: \bigl _\bigr= \frac
\left[
\begin
1+, \mathbf, ^2 - , z_1, ^2 & -\bar_1 z_2 & \cdots & -\bar_1 z_n \\
-\bar_2 z_1 & 1 + , \mathbf, ^2 - , z_2, ^2 & \cdots & -\bar_2 z_n \\
\vdots & \vdots & \ddots & \vdots \\
-\bar_n z_1 & -\bar_n z_2 & \cdots & 1 + , \mathbf, ^2 - , z_n, ^2
\end
\right]

Note that each matrix element is unitary-invariant: the diagonal action $\mathbf \mapsto e^\mathbf$ will leave this matrix unchanged.

Accordingly, the line element is given by
:\begin
ds^2 &= g_ \, dz^i \, d\bar^j \\ pt&= \frac \\ pt&= \frac.
\end

In this last expression, the summation convention is used to sum over Latin indices ''i'',''j'' that range from 1 to ''n''.

The metric can be derived from the following Kähler potential:
:$K = \ln(1 + z_i \bar^i) = \ln(1 + \delta_ z^i \bar^j)$
as
:$g_=K_=\frac K$

Using homogeneous coordinates

An expression is also possible in the notation of homogeneous coordinates, commonly used to describe projective varieties of algebraic geometry: Z =  'Z''₀:...:''Z''_''n'' Formally, subject to suitably interpreting the expressions involved, one has

:$\begin ds^2 &= \frac\\ &=\frac\\ &= \frac . \end$

Here the summation convention is used to sum over Greek indices α β ranging from 0 to ''n'', and in the last equality the standard notation for the skew part of a tensor is used:

:$Z_W_ = \tfrac12 \left( Z_ W_ - Z_ W_ \right).$

Now, this expression for d''s''² apparently defines a tensor on the total space of the tautological bundle C^''n''+1\. It is to be understood properly as a tensor on CP^''n'' by pulling it back along a holomorphic section σ of the tautological bundle of CP^''n''. It remains then to verify that the value of the pullback is independent of the choice of section: this can be done by a direct calculation.

The Kähler form of this metric is

:$\omega = \frac\partial\bar\log , \mathbf, ^2$

where the $\partial, \bar\partial$ are the Dolbeault operators.
The pullback of this is clearly independent of the choice of holomorphic section. The quantity log, Z, ² is the Kähler potential (sometimes called the Kähler scalar) of CP^''n''.

In bra-ket coordinate notation

In quantum mechanics, the Fubini–Study metric is also known as the Bures metric.Paolo Facchi, Ravi Kulkarni, V. I. Man'ko, Giuseppe Marmo, E. C. G. Sudarshan, Franco Ventriglia
Classical and Quantum Fisher Information in the Geometrical Formulation of Quantum Mechanics
(2010), ''Physics Letters'' A 374 pp. 4801. However, the Bures metric is typically defined in the notation of mixed states, whereas the exposition below is written in terms of a pure state. The real part of the metric is (a quarter of) the Fisher information metric.

The Fubini–Study metric may be written using the bra–ket notation commonly used in quantum mechanics. To explicitly equate this notation to the homogeneous coordinates given above, let

:\vert \psi \rangle = \sum_^n Z_k \vert e_k \rangle = _0:Z_1:\ldots:Z_n/math>

where $\$ is a set of orthonormal basis vectors for Hilbert space, the $Z_k$ are complex numbers, and Z_\alpha = _0:Z_1:\ldots:Z_n/math> is the standard notation for a point in the projective space CP^''n'' in homogeneous coordinates. Then, given two points $\vert \psi \rangle = Z_\alpha$ and $\vert \varphi \rangle = W_\alpha$ in the space, the distance (length of a geodesic) between them is

:$\gamma (\psi, \varphi) = \arccos \sqrt \frac$
or, equivalently, in projective variety notation,

:$\gamma (\psi, \varphi) =\gamma (Z,W) = \arccos \sqrt .$

Here, $\bar^\alpha$ is the complex conjugate of $Z_\alpha$. The appearance of $\langle \psi \vert \psi \rangle$ in the denominator is a reminder that $\vert \psi \rangle$ and likewise $\vert \varphi \rangle$ were not normalized to unit length; thus the normalization is made explicit here. In Hilbert space, the metric can be interpreted as the angle between two vectors; thus it is occasionally called the quantum angle. The angle is real-valued, and runs from 0 to $\pi/2$.

The infinitesimal form of this metric may be quickly obtained by taking $\varphi = \psi+\delta\psi$, or equivalently, $W_\alpha = Z_\alpha + dZ_\alpha$ to obtain

:$ds^2 = \frac - \frac .$

In the context of quantum mechanics, CP¹ is called the Bloch sphere; the Fubini–Study metric is the natural metric for the geometrization of quantum mechanics. Much of the peculiar behaviour of quantum mechanics, including quantum entanglement and the Berry phase effect, can be attributed to the peculiarities of the Fubini–Study metric.

The ''n'' = 1 case

When ''n'' = 1, there is a diffeomorphism $S^2\cong \mathbf^1$ given by stereographic projection. This leads to the "special" Hopf fibration ''S''¹ → ''S''³ → ''S''². When the Fubini–Study metric is written in coordinates on CP¹, its restriction to the real tangent bundle yields an expression of the ordinary "round metric" of radius 1/2 (and Gaussian curvature 4) on ''S''².

Namely, if ''z'' = ''x'' + i''y'' is the standard affine coordinate chart on the Riemann sphere CP¹ and ''x'' = ''r'' cos θ, ''y'' = ''r'' sin θ are polar coordinates on C, then a routine computation shows

:$ds^2= \frac = \frac = \tfrac14(d\varphi^2 + \sin^2 \varphi\,d\theta^2) = \tfrac14 \, ds^2_$

where $ds^2_$ is the round metric on the unit 2-sphere. Here φ, θ are "mathematician's spherical coordinates" on ''S''² coming from the stereographic projection ''r'' tan(φ/2) = 1, tan θ = ''y''/''x''. (Many physics references interchange the roles of φ and θ.)

The Kähler form is

:$K=\frac\frac = \frac$

Choosing as vierbeins $e^1=dx/(1+r^2)$ and $e^2=dy/(1+r^2)$, the Kähler form simplifies to
:$K=e^1 \wedge e^2$
Applying the Hodge star to the Kähler form, one obtains
:$*K = 1$
implying that ''K'' is harmonic.

The ''n'' = 2 case

The Fubini–Study metric on the complex projective plane CP² has been proposed as a gravitational instanton, the gravitational analog of an instanton. The metric, the connection form and the curvature are readily computed, once suitable real 4D coordinates are established. Writing $(x,y,z,t)$ for real Cartesian coordinates, one then defines polar coordinate one-forms on the 4-sphere (the quaternionic projective line) as

:$\begin r\,dr &= +x\,dx+y\,dy+z\,dz+t\,dt \\ r^2\sigma_1 &= -t\,dx-z\,dy+y\,dz+x\,dt \\ r^2\sigma_2 &= +z\,dx-t\,dy-x\,dz+y\,dt \\ r^2\sigma_3 &= -y\,dx+x\,dy-t\,dz+z\,dt \end$
The $\sigma_1, \sigma_2, \sigma_3$ are the standard left-invariant one-form coordinate frame on the Lie group $SU(2)=S^3$; that is, they obey $d\sigma_i=2\sigma_j\wedge\sigma_k$ for $i,j,k=1,2,3$ and cyclic permutations.

The corresponding local affine coordinates are $z_1=x+iy$ and $z_2=z+it$ then provide
:$\begin z_1\bar_1+z_2\bar_2 &= r^2 = x^2+y^2+z^2+t^2 \\ dz_1\,d\bar_1 + dz_2\,d\bar_2 &= dr^ + r^2(\sigma_1^+\sigma_2^+\sigma_3^) \\ \bar_1\,dz_1 + \bar_2\,dz_2 &= rdr + i\, r^2 \sigma_3 \end$
with the usual abbreviations that $dr^=dr\otimes dr$ and $\sigma_k^=\sigma_k\otimes\sigma_k$.

The line element, starting with the previously given expression, is given by
:\begin
ds^2 &= \frac
- \frac \\ pt&= \frac
- \frac \\ pt&= \frac + \frac
\end

The vierbeins can be immediately read off from the last expression:
:\begin
e^0 = \frac & & &
e^3 = \frac \\ pte^1 = \frac & & &
e^2 = \frac
\end

That is, in the vierbein coordinate system, using roman-letter subscripts, the metric tensor is Euclidean:

:$ds^2=\delta_ e^a\otimes e^b = e^0 \otimes e^0 + e^1 \otimes e^1 + e^2 \otimes e^2 + e^3 \otimes e^3.$

Given the vierbein, a spin connection can be computed; the Levi-Civita spin connection is the unique connection that is torsion-free and covariantly constant, namely, it is the one-form $\omega^a_$ that satisfies the torsion-free condition
:$de^a + \omega^a_ \wedge e^b = 0$
and is covariantly constant, which, for spin connections, means that it is antisymmetric in the vierbein indexes:
:$\omega_ = -\omega_$

The above is readily solved; one obtains
:$\begin \omega^0_ &= - \omega^2_ = -\frac \\ \omega^0_ &= - \omega^3_ = -\frac \\ \omega^0_ &= \frac e^3 \quad\quad \omega^1_ = \frac e^3 \\ \end$

The curvature 2-form is defined as
:$R^a_ = d\omega^a_ + \omega^a_ \wedge \omega^c_$
and is constant:
:$\begin R_ &= -R_ = e^0\wedge e^1 - e^2\wedge e^3 \\ R_ &= -R_ = e^0\wedge e^2 - e^3\wedge e^1 \\ R_ &= 4 e^0\wedge e^3 + 2 e^1\wedge e^2 \\ R_ &= 2 e^0\wedge e^3 + 4 e^1\wedge e^2 \end$

The Ricci tensor in veirbein indexes is given by

:$\operatorname^a_=R^a_ \delta^$

where the curvature 2-form was expanded as a four-component tensor:
:$R^a_ = \tfrac12 R^a_e^c\wedge e^d$

The resulting Ricci tensor is constant
:$\operatorname_=6\delta_$
so that the resulting Einstein equation
:$\operatorname_ - \tfrac12 \delta_R + \Lambda\delta_ = 0$
can be solved with the cosmological constant $\Lambda=6$.

The Weyl tensor for Fubini–Study metrics in general is given by
:$W_=R_ - 2\left(\delta_\delta_ - \delta_\delta_\right)$
For the ''n'' = 2 case, the two-forms
:$W_=\tfrac12 W_ e^c \wedge e^d$
are self-dual:

:$\begin W_ &= W_ = -e^0\wedge e^1 - e^2\wedge e^3 \\ W_ &= W_ = -e^0\wedge e^2 - e^3\wedge e^1 \\ W_ &= W_ = 2 e^0\wedge e^3 + 2 e^1\wedge e^2 \end$

Curvature properties

In the ''n'' = 1 special case, the Fubini–Study metric has constant sectional curvature identically equal to 4, according to the equivalence with the 2-sphere's round metric (which given a radius ''R'' has sectional curvature $1/R^2$). However, for ''n'' > 1, the Fubini–Study metric does not have constant curvature. Its sectional curvature is instead given by the equationSakai, T. ''Riemannian Geometry'', Translations of Mathematical Monographs No. 149 (1995), American Mathematics Society.

:$K(\sigma) = 1 + 3\langle JX,Y \rangle^2$

where $\ \in T_p \mathbf^n$ is an orthonormal basis of the 2-plane σ, the mapping ''J'' : ''T''CP^''n'' → ''T''CP^''n'' is the complex structure on CP^''n'', and $\langle \cdot , \cdot \rangle$ is the Fubini–Study metric.

A consequence of this formula is that the sectional curvature satisfies $1 \leq K(\sigma) \leq 4$ for all 2-planes $\sigma$. The maximum sectional curvature (4) is attained at a holomorphic 2-plane — one for which ''J''(σ) ⊂ σ — while the minimum sectional curvature (1) is attained at a 2-plane for which ''J''(σ) is orthogonal to σ. For this reason, the Fubini–Study metric is often said to have "constant ''holomorphic'' sectional curvature" equal to 4.

This makes CP^''n'' a (non-strict) quarter pinched manifold; a celebrated theorem shows that a strictly quarter-pinched simply connected ''n''-manifold must be homeomorphic to a sphere.

The Fubini–Study metric is also an Einstein metric in that it is proportional to its own Ricci tensor: there exists a constant $\Lambda$; such that for all ''i'',''j'' we have

:$\operatorname_ = \Lambda g_.$

This implies, among other things, that the Fubini–Study metric remains unchanged up to a scalar multiple under the Ricci flow. It also makes CP^''n'' indispensable to the theory of general relativity, where it serves as a nontrivial solution to the vacuum Einstein field equations.

The cosmological constant $\Lambda$ for CP^''n'' is given in terms of the dimension of the space:
:$\operatorname_ = 2(n+1) g_.$

Product metric

The common notions of separability apply for the Fubini–Study metric. More precisely, the metric is separable on the natural product of projective spaces, the Segre embedding. That is, if $\vert\psi\rangle$ is a separable state, so that it can be written as $\vert\psi\rangle=\vert\psi_A\rangle\otimes\vert\psi_B\rangle$, then the metric is the sum of the metric on the subspaces:

:$ds^2 = ^2+^2$

where $^2$ and $^2$ are the metrics, respectively, on the subspaces ''A'' and ''B''.

Connection and curvature

The fact that the metric can be derived from the Kähler potential means that the Christoffel symbols and the curvature tensors contain a lot of symmetries, and can be given a particularly simple form: The Christoffel symbols, in the local affine coordinates, are given by
:$\Gamma^i_=g^\frac \qquad \Gamma^\bar_=g^\frac$
The Riemann tensor is also particularly simple:
:$R_=g^\frac$
The Ricci tensor is
:$R_= R^_ = - \frac \qquad R_= R^k_ = - \frac$

See also

* Non-linear sigma model
* Kaluza–Klein theory
* Arakelov height

References

*
*
*
* .

{{DEFAULTSORT:Fubini-Study metric
Projective geometry
Complex manifolds
Symplectic geometry
Structures on manifolds
Quantum mechanics