フビニ・スタディ計量
フビニ・スタディ計量(Fubini–Study metric)は、射影ヒルベルト空間上のケーラー計量である。つまり、複素射影空間 CP がエルミート形式を持つことを言う。この計量は、もともとは1904年と1905年に(Guido Fubini)と(Eduard Study)が記述したものであった。
ベクトル空間 C のエルミート形式は、GL("n"+1,C) の中のユニタリ部分群 U("n"+1) を定義する。フビニ・スタディ計量は、U("n"+1) 作用の下での不変性（スケーリングに対して）により差異を同一視すると決定し、等質性を持つ。フビニ・スタディ計量を持つ CP は、（スケーリングを渡る）(symmetric space)である。特に、計量の正規化は、スケーリングの適用に依存する。リーマン幾何学においては、正規化された計量を使うことができるので、(2"n" + 1) 次元球面上のフビニ・スタディ計量は、単純に標準の計量と関連付けられる。代数幾何学では、正規化を使い、CP をホッジ多様体とすることができる。
フビニ・スタディ計量は複素射影空間の商空間の構成の中で自然に現れる。
特に、CP を C の中のすべての複素直線からなる空間として、つまり、各々の点に複素数を掛けること（スケーリング）を同一視することによる C\{0} の商空間として定義される。これは、乗法群 C = C \ {0} の対角的な群作用による商と一致する。
この商は、基礎空間 CP 上の複素ラインバンドルとして C\{0} として実現される。（実際、この商は CP 上の(tautological bundle)である。）このようにして、CP は、0 でない複素数によるリスケールを modulo とした (n + 1)-個の組 [Z...,Z] の同値類と同一視される。Z をその点での(homogeneous coordinates)という。
さらに、2つのステップを経て、この商を得る。0 でない複素スカラー z = R e による積は、一意的に原点を中心として反時計回りの角度 formula_2 の回転を modulus R による遅れの合成と考えることができ、商 C → CP は、次の 2つの部分へと分解する。
ここに step (a) は遅れ R ∈ R、つまり、正の実数による乗法に対する商 Z ~ RZ であり、step (b) は回転 Z ~ eZ による商である。
(a) での商の結果は、方程式 |Z| = |Z| + ... + |Z| = 1 で定義される実超球面 S である。(b) の商は CP = S/S が実現される。ここに、S は回転群を表現する。この商は、有名な(Hopf fibration) S → S → CP により、明確に実現される。このファイバーは S の大円の中にある。
リーマン多様体（あるいは、一般に計量空間でもよい）の商を考えると、商空間は well-defined なリーマン計量を持つことを確認する必要がある。たとえば、群 G がリーマン多様体 (X,g) 上へ作用していると、軌道空間 X/G が誘導された計量を持つためには、formula_4 が G-軌道にそって定数である必要がある。このためには、任意の元 h ∈ G とベクトル場のペア X,Y に対し、g(Xh,Yh) = g(X,Y) でなければならない。
C 上の標準エルミート計量は、
により標準基底の上で与えられる。このエルミート計量は、R 上の標準のユークリッド計量として実現される。この計量は、C 上の対角作用の下に不変ではないので、直接、CP の中の商として落とし込むことは不可能である。しかし、この計量は S = U(1) 上の回転群の対角作用の下では不変であるので、上の構成 step (a) が完了れば step (b) が可能となる。
フビニ・スタディ計量(Fubini–Study metric)は、商 CP = S/S 上に誘導された計量であり、そこでは formula_6 が標準のユークリッド計量の単位超球面上へ制限することにより、いわゆる「周囲の計量」(round metric)として与えられる。
CP の中で同次座標 (Z...,Z) を持つ点に対して、Z ≠ 0 であり、特に、z = Z/Z とすると、一意に n 個の座標の組 (z,…,z) が存在し、
となる。すると、(z,…,z) は、座標の貼りあわせ U = {Z ≠ 0} での CP の(affine coordinate system)を形成する。アフィン座標は、明らかに、代わりに "Z" で割ることにより、任意の座標系での貼り合わせでの "U" = {"Z" ≠ 0} としてアフィン座標系を得ることができる。n + 1 個の座標は、CP を覆う被覆 U を貼り合わせ、U 上のアフィン座標 (z,…,z) の項として明確に計量を与えることが可能となる。この座標の微分は、CP の正則接バンドルの標構 formula_8 を定義し、フビニ・スタディ計量は、エルミート成分
として表すことができる。ここに |z| = "z"+...+"z" である。つまり、この標構でのフビニ・スタディのエルミート行列は、
である。
各々の行列要素はユニタリ不変であることに注意すると、対角作用 formula_11 はこの行列を不変とする。
斉次座標 Z = [Z...,Z] による表現も可能である。表現の意味をうまく解釈すると、
を得る。ここに和は、ギリシャ文字のインデックス α β が 0 から n までを渡るようにとり、最後の等式は次のテンソル積の非対称部分の標準記法が使われる。
この ds の表現は、全トートロジーバンドル formula_14 の全空間上のテンソルを定義するように一見、思われる。CP のトートロジーバンドルの正則切断 σ にそって引き戻すことにより、CP 上のテンソルであることが分かる。従って、この値は、引き戻しの値が切断の選択に独立であることが判明し、直接、計算することができる。
この計量のケーラー形式は、全体渡る定数正規化を、
とすると、正則切断の選択とは明らかに独立である引き戻しとなる。log|Z| の値は、CP のケーラースカラーである。
n = 1 の場合は、立体射影により微分同相 formula_16 が存在する。この同相は、「特別な」ホップファイバー S → S → S を導く。フビニ・スタディ計量が CP 上の座標で記述されると、実接バンドルへの制限は、S 上の半径 1/2 （ガウス曲率が 4 である）通常の「周りの」（球面上の）計量の表現となる。
すなわち、z = x + iy をリーマン球面 CP 上の標準的アフィン座標系とし、x = r cosθ, y = r sinθ が C 上の極座標系とすると、回転の計算は、
であることを示している。ここに、formula_18 は単位 2-球面の上の回転する計量である。ここに φ, θ は数学で使う立体射影 r tan(φ/2) = 1, tanθ = y/x による S 上の球面座標である（物理では、 φ と θ の役割が入れ替わることが多い）。
n = 1 の特別な場合には、フビニ・スタディ計量は、2-球面の上の計量との同一性に従うと、4 である定数のスカラー曲率を持つ（このことは与えられた半径 R の球面はスカラー曲率 formula_19 を持つ）。しかし、n > 1 に対しては、フビニ・スタディ計量は定数曲率を持たない。その断面曲率は、代わりに、次の等式で与えられる。
ここに、formula_21 は 2-平面 σ の直交基底であり、J : TCP → TCP は CP 上の(linear complex structure)であり、formula_22 はフビニ・スタディ計量である。
この公式の結果、断面曲率はすべての 2-平面 formula_23 に対し formula_24 を満たす。最大断面曲率 (4) は正則 2-平面で到達される。つまり、そこでは J(σ) ⊂ σ である。一方、最小断面曲率 (1) は J(σ) が σ に直交である 2-平面で達成される。フビニ・スタディ計量が 4 に等しい「定数」正則断面曲率であるとよく言われる理由である。
このことは、CP を(quarter pinched manifold)である。この優れた定理は、厳密な 1/4 ではられる単連結な n 次元多様体は、球に同相でなければならないことを示している。
フビニ・スタディ計量は、自分自身のリッチテンソルに比例するアインシュタイン計量でもある。すなわち、定数 λ が存在して、すべての i, j に対し、
である。このことは、なによりも、フビニ・スタディ計量がリッチフローのスカラー倍に対しては不変のままであることを意味する。また、CP のフビニ・スタディ計量は、アインシュタインの場の方程式の非自明な真空解となっているので、一般相対論において不可欠なものとなっている。
量子力学では、フビニ・スタディ計量は、(Bures metric)としても知られている。しかしながら、ビューレス計量は、典型的には混合状態の記法の中で定義される。一方、以下に示すことは純粋状態の項で記述されている。計量の実部は、(Fisher information metric)（の 4倍）である。
フビニ・スタディ計量は、量子力学で共通して使われている(bra–ket notation)を使い書くこともできるし、代数幾何学の射影多様体の記法を使っても書くことができる。これら 2つのことばが明らかに同じであることを示すために、
とする。ここに、formula_27 はヒルベルト空間の直交基底ベクトルの集合であり、formula_28 は複素数で、formula_29 は(homogenous coordinates)での射影空間 formula_30 の標準的記法である。すると、2つの点 formula_31 and formula_32 が空間内に与えられると、これらの間の距離は、
あるいは、同じことであるが射影多様体の記法では、
である。
ここに、formula_35 は formula_36 の複素共役である。分母に formula_37 が現れたことは、formula_38 と、同様に formula_39 が単位長へ正規化されていないので正規化するためである。このように、正規化は明確になされる。ヒルベルト空間では、計量は 1つのベクトルの間の角度として、むしろ容易に解釈することができる。これが量子角度(quantum angle)と呼ばれるものである。角度は実数値で 0 から formula_40 まで変化することができる。
この計量の無限小形式は、formula_41、あるいは同じことであるが、formula_42 を取ることにより、直ちになされ、
\frac {\langle \delta \psi \vert \psi \rangle \;