Integrable system: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>Epic Wink
 
Line 1: Line 1:
In [[mathematics]], the  '''Fubini–Study metric''' is a [[Kähler metric]] on [[projective Hilbert space]], that is, [[complex projective space]] '''CP'''<sup>''n''</sup> endowed with a [[Hermitian form]]. This [[Metric (mathematics)|metric]] was originally described in 1904 and 1905 by [[Guido Fubini]] and [[Eduard Study]].
Hello and welcome. My name is Irwin and I completely dig that title. To collect coins is 1 of the things I love most. Bookkeeping is my profession. North Dakota is her birth location but she will have to move 1 day or an additional.<br><br>My web-site: home std test kit ([http://www.onbizin.co.kr/xe/?document_srl=354357 click the next website page])
 
A [[Hermitian form]] in (the vector space) '''C'''<sup>''n''+1</sup> 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'''<sup>''n''</sup> 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 [[N-sphere|(2''n''+1)-sphere]].  In [[algebraic geometry]], one uses a normalization making '''CP'''<sup>''n''</sup> a [[Hodge manifold]].
 
==Construction==
The Fubini–Study metric arises naturally in the [[quotient space]] construction of [[complex projective space]].
 
Specifically, one may define '''CP'''<sup>''n''</sup> to be the space consisting of all complex lines in '''C'''<sup>''n''+1</sup>, i.e., the quotient of '''C'''<sup>''n''+1</sup>\{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'''<sup>*</sup>&nbsp;=&nbsp;'''C'''&nbsp;\&nbsp;{0}:
 
:<math>\mathbf{CP}^n = \left\{ \mathbf{Z} = [Z_0,Z_1,\ldots,Z_n] \in {\mathbf C}^{n+1}\setminus\{0\}\, \right\} / \{ \mathbf{Z} \sim c\mathbf{Z}, c \in \mathbf{C}^* \}.</math>
 
This quotient realizes '''C'''<sup>''n''+1</sup>\{0} as a complex [[line bundle]] over the base space '''CP'''<sup>''n''</sup>. (In fact this is the so-called [[tautological bundle]] over '''CP'''<sup>''n''</sup>.)  A point of '''CP'''<sup>''n''</sup> is thus identified with an equivalence class of (''n''+1)-tuples [''Z''<sub>0</sub>,...,''Z''<sub>''n''</sub>] modulo nonzero complex rescaling; the ''Z''<sub>''i''</sub> are called [[homogeneous coordinates]] of the point.
 
Furthermore, one may realize this quotient in two steps: since multiplication by a nonzero complex scalar ''z''&nbsp;=&nbsp;''R''&thinsp;''e''<sup>iθ</sup> 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 <math>\theta</math>, the quotient '''C'''<sup>''n''+1</sup>&nbsp;→&nbsp;'''CP'''<sup>''n''</sup> splits into two pieces.
 
:<math>\mathbf{C}^{n+1}\setminus\{0\} \stackrel{(a)}\longrightarrow S^{2n+1} \stackrel{(b)}\longrightarrow \mathbf{CP}^n</math>
 
where step (a) is a quotient by the dilation '''Z'''&nbsp;~&nbsp;''R'''''Z''' for ''R''&nbsp;&isin;&nbsp;'''R'''<sup>+</sup>, the multiplicative group of positive real numbers, and step (b) is a quotient by the rotations '''Z'''&nbsp;~&nbsp;''e''<sup>iθ</sup>'''Z'''.
 
The result of the quotient in (a) is the real hypersphere ''S''<sup>2''n''+1</sup> defined by the equation |'''Z'''|<sup>2</sup> = |''Z''<sub>0</sub>|<sup>2</sup>&nbsp;+&nbsp;...&nbsp;+&nbsp;|''Z''<sub>''n''</sub>|<sup>2</sup>&nbsp;=&nbsp;1.  The quotient in (b) realizes '''CP'''<sup>''n''</sup>&nbsp;=&nbsp;''S''<sup>2''n''+1</sup>/''S''<sup>1</sup>, where ''S''<sup>1</sup> represents the group of rotations. This quotient is realized explicitly by the famous [[Hopf fibration]] ''S''<sup>1</sup>&nbsp;→&nbsp;''S''<sup>2''n''+1</sup>&nbsp;→&nbsp;'''CP'''<sup>''n''</sup>, the fibers of which are among the [[great circles]] of <math>S^{2n+1}</math>.
 
===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 [[Riemannian metric|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, <math>g</math> must be constant along ''G''-orbits in the sense that for any element ''h''&nbsp;∈&nbsp;''G'' and pair of vector fields <math>X,Y</math> we must have ''g''(''Xh'',''Yh'')&nbsp;=&nbsp;''g''(''X'',''Y'').
 
The standard [[Hermitian metric]] on '''C'''<sup>''n''+1</sup> is given in the standard basis by
 
:<math>ds^2 = d\mathbf{Z} \otimes d\overline{\mathbf{Z}} = dZ_0 \otimes d\overline{Z_0} + \cdots + dZ_n \otimes d\overline{Z_n}</math>
 
whose realification is the standard [[Euclidean metric]] on '''R'''<sup>2''n''+2</sup>. This metric is ''not'' invariant under the diagonal action of '''C'''<sup>*</sup>, so we are unable to directly push it down to '''CP'''<sup>n</sup> in the quotient. However, this metric ''is'' invariant under the diagonal action of ''S''<sup>1</sup>&nbsp;=&nbsp;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'''<sup>''n''</sup>&nbsp;=&nbsp;''S''<sup>2''n''+1</sup>/''S''<sup>1</sup>, where <math>S^{2n+1}</math> 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'''<sup>''n''</sup> with homogeneous coordinates (''Z''<sub>0</sub>,...,''Z''<sub>''n''</sub>), there is a unique set of ''n'' coordinates (''z''<sub>1</sub>,…,''z''<sub>''n''</sub>) such that
:<math>[Z_0,\dots,Z_n] {\sim} [1,z_1,\dots,z_n],</math>
provided ''Z''<sub>0</sub>&nbsp;≠&nbsp;0; specifically, ''z''<sub>''j''</sub>&nbsp;=&nbsp;''Z''<sub>''j''</sub>/''Z''<sub>0</sub>.  The (''z''<sub>1</sub>,…,''z''<sub>''n''</sub>) form an [[affine coordinates|affine coordinate system]] for '''CP'''<sup>''n''</sup> in the coordinate patch ''U''<sub>0</sub> = {''Z''<sub>0</sub>&nbsp;≠&nbsp;0}.  One can develop an affine coordinate system in any of the coordinate patches ''U''<sub>''i''</sub>&nbsp;=&nbsp;{''Z''<sub>''i''</sub>&nbsp;≠&nbsp;0} by dividing instead by ''Z''<sub>''i''</sub> in the obvious manner.  The ''n''+1 coordinate patches ''U''<sub>''i''</sub> cover '''CP'''<sup>''n''</sup>, and it is possible to give the metric explicitly in terms of the affine coordinates (''z''<sub>1</sub>,…,''z''<sub>''n''</sub>) on ''U''<sub>''i''</sub>.  The coordinate derivatives define a frame <math>\{\partial_1,\ldots,\partial_n\}</math> of the holomorphic tangent bundle of '''CP'''<sup>''n''</sup>, in terms of which the Fubini–Study metric has Hermitian components
:<math>h_{i\bar{j}} = h(\partial_i,\bar{\partial}_j) = \frac{(1+|\mathbf{z}|^2)\delta_{i\bar{j}} - \bar{z}_i z_j}{(1+|\mathbf{z}|^2)^2}.</math>
 
where |'''z'''|<sup>2</sup>&nbsp;=&nbsp;''z''<sub>1</sub><sup>2</sup>+...+''z''<sub>''n''</sub><sup>2</sup>.  That is, the [[Hermitian matrix]] of the Fubini–Study metric in this frame is
 
:<math> \bigl(h_{i\bar{j}}\bigr) = \frac{1}{(1+|\mathbf{z}|^2)^2}
\left[
\begin{array}{cccc}
1+|\mathbf{z}|^2 - |z_1|^2 & -\bar{z}_1 z_2 & \cdots & -\bar{z}_1 z_n \\
-\bar{z}_2 z_1 & 1 + |\mathbf{z}|^2 - |z_2|^2 & \cdots & -\bar{z}_2 z_n \\
\vdots & \vdots & \ddots & \vdots \\
-\bar{z}_n z_1 & -\bar{z}_n z_2 & \cdots & 1 + |\mathbf{z}|^2 - |z_n|^2
\end{array}
\right]
</math>
 
Note that each matrix element is unitary-invariant: the diagonal action <math>\mathbf{z} \mapsto e^{i\theta}\mathbf{z}</math> will leave this matrix unchanged.
 
Accordingly, the line element is given by
:<math>\begin{align}
ds^2 &= \frac{(1+|\mathbf{z}|^2)|d\mathbf{z}|^2 - (\bar{\mathbf{z}}\cdot d\mathbf{z})(\mathbf{z}\cdot d\bar{\mathbf{z}})}{(1+|\mathbf{z}|^2)^2}\\
&= \frac{(1+z_i\bar{z}^i)dz_jd\bar{z}^j - \bar{z}^j z_idz_jd\bar{z}^i}{(1+z_i\bar{z}^i)^2}.
\end{align}
</math>
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:
:<math>
K=\ln(1+\delta_{ij^*}z^{i}\bar{z}^{j^*})
</math>
as
:<math>
g_{ij^*}=K_{ij^*}=\frac{\partial^{2}}{\partial z^{i}\partial \bar{z}^{j^*}}K
</math>
 
===Homogeneous coordinates===
An expression is also possible in the homogeneous coordinates '''Z'''&nbsp;=&nbsp;[''Z''<sub>0</sub>,...,''Z''<sub>''n''</sub>].  Formally, subject to suitably interpreting the expressions involved, one has
 
:<math>\begin{align}
ds^2 &= \frac{|\mathbf{Z}|^2|d\mathbf{Z}|^2 - (\bar{\mathbf{Z}}\cdot d\mathbf{Z})(\mathbf{Z}\cdot d\bar{\mathbf{Z}})}{|\mathbf{Z}|^4}\\
&=\frac{Z_\alpha\bar{Z}^\alpha dZ_\beta d\bar{Z}^\beta - \bar{Z}^\alpha Z_\beta dZ_\alpha d\bar{Z}^\beta}{(Z_\alpha\bar{Z}^\alpha)^2}\\
&= \frac {2Z_{[\alpha}dZ_{\beta]} \overline{Z}^{[\alpha}\overline{dZ}^{\beta]}}
{\left( Z_\alpha \overline{Z}^\alpha \right)^2}.
\end{align}</math>
 
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:
 
:<math>Z_{[\alpha}W_{\beta]} = \frac {1}{2} \left(
Z_{\alpha} W_{\beta} - Z_{\beta} W_{\alpha} \right).</math>
 
Now, this expression for d''s''<sup>2</sup> apparently defines a tensor on the total space of the tautological bundle '''C'''<sup>''n''+1</sup>\{0}.  It is to be understood properly as a tensor on '''CP'''<sup>''n''</sup> by pulling it back along a holomorphic section σ of the tautological bundle of '''CP'''<sup>''n''</sup>.  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, up to an overall constant normalization,
 
:<math>\omega = i\partial\overline{\partial}\log |\mathbf{Z}|^2</math>
 
the pullback of which is clearly independent of the choice of holomorphic section.  The quantity log|'''Z'''|<sup>2</sup> is the Kähler scalar of '''CP'''<sup>''n''</sup>.
 
===The ''n'' = 1 case ===
When ''n'' = 1, there is a diffeomorphism <math>S^2\cong \mathbb{CP}^1</math> given by [[stereographic projection]]. This leads to the "special" Hopf fibration ''S''<sup>1</sup>&nbsp;→&nbsp;''S''<sup>3</sup>&nbsp;→&nbsp;''S''<sup>2</sup>.  When the Fubini–Study metric is written in coordinates on '''CP'''<sup>1</sup>, 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''<sup>2</sup>.
 
Namely, if ''z''&nbsp;=&nbsp;''x''&nbsp;+&nbsp;i''y'' is the standard affine coordinate chart on the [[Riemann sphere]] '''CP'''<sup>1</sup> and ''x''&nbsp;=&nbsp;''r''&thinsp;cosθ, ''y''&nbsp;=&nbsp;''r''&thinsp;sinθ are polar coordinates on '''C''', then a routine computation shows
 
:<math>ds^2= \frac{\operatorname{Re}(dz \otimes d\overline{z})}{\left(1+|z|^2\right)^2}
= \frac{dx^2+dy^2}{ \left(1+r^2\right)^2 }
= \frac{1}{4}(d\phi^2 + \sin^2 \phi \,d\theta^2)
= \frac{1}{4} ds^2_{us}
</math>
 
where <math>ds^2_{us}</math> is the round metric on the unit 2-sphere. Here φ, θ are "mathematician's [[spherical coordinates]]" on ''S''<sup>2</sup> coming from the stereographic projection ''r''&thinsp;tan(φ/2)&nbsp;=&nbsp;1, tanθ&nbsp;=&nbsp;''y''/''x''. (Many physics references interchange the roles of φ and θ.)
 
==Curvature properties==
In the ''n'' = 1 special case, the Fubini–Study metric has constant scalar curvature identically equal to 4, according to the equivalence with the 2-sphere's round metric (which given a radius ''R'' has scalar curvature <math>1/R^2</math>).  However, for ''n'' > 1, the Fubini–Study metric does not have constant curvature. Its sectional curvature is instead given by the equation<ref>Sakai, T. ''Riemannian Geometry'', Translations of Mathematical Monographs No. 149 (1995), American Mathematics Society.</ref>
 
:<math>K(\sigma) = 1 + 3\langle JX,Y \rangle^2</math>
 
where <math>\{X,Y\} \in T_p \mathbf{CP}^n</math> is an orthonormal basis of the 2-plane σ, ''J''&nbsp;:&nbsp;''T'''''CP'''<sup>''n''</sup>&nbsp;&rarr;&nbsp;''T'''''CP'''<sup>''n''</sup> is the [[linear complex structure|complex structure]] on '''CP'''<sup>''n''</sup>, and <math>\langle \cdot , \cdot \rangle</math> is the Fubini–Study metric.
 
A consequence of this formula is that the sectional curvature satisfies <math>1 \leq K(\sigma) \leq 4</math> for all 2-planes <math>\sigma</math>. 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'''<sup>''n''</sup> a (non-strict) [[quarter-pinched sphere theorem|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 λ such that for all ''i'',''j'' we have
 
:<math>Ric_{ij} = \lambda g_{ij}</math>.
 
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'''<sup>''n''</sup> indispensable to the theory of [[general relativity]], where it serves as a nontrivial solution to the vacuum [[Einstein field equations]].
 
==In quantum mechanics==
In [[quantum mechanics]], the Fubini–Study metric is also known as the [[Bures metric]].<ref name=facchi>Paolo Facchi, Ravi Kulkarni, V. I. Man'ko, Giuseppe Marmo, E. C. G. Sudarshan, Franco Ventriglia "[http://arxiv.org/abs/1009.5219 Classical and Quantum Fisher Information in the Geometrical Formulation of Quantum Mechanics]" (2010), ''Physics Letters'' '''A 374''' pp. 4801. DOI: 10.1016/j.physleta.2010.10.005</ref> However, the Bures metric is typically defined in the notation of [[mixed state (physics)|mixed states]], whereas the exposition below is written in terms of a [[pure state]].  The real part of the metric is (four times) the [[Fisher information metric]].<ref name=facchi/>
 
The Fubini–Study metric may be written either using the [[bra-ket notation]] commonly used in [[quantum mechanics]], or the notation of [[projective varieties]] of [[algebraic geometry]]. To explicitly equate these two languages, let
 
:<math>\vert \psi \rangle = \sum_{k=0}^n Z_k \vert e_k \rangle = [Z_0:Z_1:\ldots:Z_n]</math>
 
where <math>\{\vert e_k \rangle\}</math> is a set of [[orthonormal]] [[basis vector]]s for [[Hilbert space]], the <math>Z_k</math> are complex numbers, and <math>Z_\alpha = [Z_0:Z_1:\ldots:Z_n]</math> is the standard notation for a point in the projective space <math>\mathbb{C}P^n</math> in [[homogeneous coordinates]]. Then, given two points <math>\vert \psi \rangle = Z_\alpha</math> and <math>\vert \phi \rangle = W_\alpha</math> in the space, the distance between them is
 
:<math>\gamma (\psi, \phi) = \arccos
\sqrt \frac {\langle \psi \vert \phi \rangle \;
\langle \phi \vert \psi \rangle }
{\langle \psi \vert \psi \rangle \;
\langle \phi \vert \phi \rangle}
</math>
or, equivalently, in projective variety notation,
 
:<math>\gamma (\psi, \phi) =\gamma (Z,W) = 
\arccos \sqrt {\frac
{Z_\alpha \overline{W}^\alpha \; W_\beta \overline{Z}^\beta}
{Z_\alpha \overline{Z}^\alpha \; W_\beta \overline{W}^\beta}}.
</math>
 
Here, <math>\overline{Z}^\alpha</math> is the [[complex conjugate]] of <math>Z_\alpha</math>. The appearance of <math>\langle \psi \vert \psi \rangle</math> in the denominator is a reminder that <math>\vert \psi \rangle</math> and likewise <math>\vert \phi \rangle</math> were not normalized to unit length; thus the normalization is made explicit here. In Hilbert space, the metric can be rather trivially interpreted as the angle between two vectors; thus it is occasionally called the '''quantum angle'''.  The angle is real-valued, and runs from zero to <math>\pi/2</math>.
 
The infinitesimal form of this metric may be quickly obtained by taking  <math>\phi =  \psi+\delta\psi</math>, or equivalently, <math>W_\alpha = Z_\alpha + dZ_\alpha</math> to obtain
 
:<math>ds^2 = \frac{\langle \delta \psi \vert \delta \psi \rangle}
{\langle \psi \vert \psi \rangle} -
\frac {\langle \delta \psi \vert \psi \rangle \;
\langle \psi \vert \delta \psi \rangle}
{{\langle \psi \vert \psi \rangle}^2}.
</math>
 
In the context of [[quantum mechanics]], '''CP'''<sup>1</sup> is called the [[Bloch sphere]]; the Fubini–Study metric is the natural [[metric (mathematics)|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.
 
==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 <math>\vert\psi\rangle</math> is a [[separable state]], so that it can be written as <math>\vert\psi\rangle=\vert\psi_A\rangle\otimes\vert\psi_B\rangle</math>, then the metric is the sum of the metric on the subspaces:
 
:<math>ds^2 = {ds_A}^2+{ds_B}^2</math>
 
where <math>{ds_A}^2</math> and <math>{ds_B}^2</math> are the metrics, respectively, on the subspaces ''A'' and ''B''.
 
==See also==
* [[Non-linear sigma model]]
* [[Kaluza–Klein theory]]
* [[Arakelov height]]
 
==References==
 
{{reflist}}
*{{Citation | authorlink=Arthur Besse |last1=Besse | first1=Arthur L. | title=Einstein manifolds | publisher=[[Springer-Verlag]] | location=Berlin, New York | series=Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], vol. 10 | isbn=978-3-540-15279-8 | year=1987 | pages=xii+510}}
* {{citation | first1=D.C.|last1=Brody |first2=L.P.|last2=Hughston | title=Geometric Quantum Mechanics| journal=Journal of Geometry and Physics | year=2001 | volume=38 | pages=19–53 | doi=10.1016/S0393-0440(00)00052-8 |arxiv = quant-ph/9906086 |bibcode = 2001JGP....38...19B }}
* {{citation | first1=P. |last1=Griffiths | authorlink1=Phillip Griffiths | first2=J.|last2=Harris| authorlink2=Joe Harris (mathematician)|title=Principles of Algebraic Geometry | series=Wiley Classics Library | publisher=Wiley Interscience | year=1994 | isbn=0-471-05059-8 | pages=30–31 }}
* {{springer|id=F/f041860|title=Fubini–Study metric|first=A.L.|last=Onishchik|year=2001}}.
 
==External links==
 
{{DEFAULTSORT:Fubini-Study metric}}
[[Category:Projective geometry]]
[[Category:Complex manifolds]]
[[Category:Symplectic geometry]]
[[Category:Structures on manifolds]]
[[Category:Quantum mechanics]]

Latest revision as of 07:46, 4 December 2014

Hello and welcome. My name is Irwin and I completely dig that title. To collect coins is 1 of the things I love most. Bookkeeping is my profession. North Dakota is her birth location but she will have to move 1 day or an additional.

My web-site: home std test kit (click the next website page)