Fubini-Study Metric Explained

• The Fubini–Study metric is the canonical distance measure on complex projective space, defined as the arc cosine of the absolute value of the normalized inner product between two complex vectors, invariant under phase transformations.
• It is used in various fields including complex differential geometry, quantum information, and Kähler geometry, where it measures physically distinguishable changes of a quantum ray after removing the phase direction. Potential applications include Grassmannians, bands, and projective data, as well as proposed developments in non-archimedean geometry.
• The metric is defined by the real part of the quantum geometric tensor, which removes components parallel to the state vector, ensuring phase invariance and forming a contribution to the Berry curvature, which represents the curvature phase in quantum mechanics.

The Fubini–Study metric is the canonical metric on complex projective space, the space of complex rays rather than phase-labeled vectors. For nonzero vectors $z,w$ in a complex inner-product space, its global distance is

$$d_{\mathrm{FS}}([z],[w]) =\arccos\!\left(\frac{|\langle z,w\rangle|}{\|z\|\,\|w\|}\right).$$

It is invariant under nonzero complex rescaling and, in particular, under $U(1)$ phase transformations. Infinitesimally, it is the real part of the quantum geometric tensor (QGT),

$$g_{ij}^{\mathrm{FS}} =\operatorname{Re}\!\left[ \langle\partial_i\psi|\partial_j\psi\rangle -\langle\partial_i\psi|\psi\rangle \langle\psi|\partial_j\psi\rangle \right],$$

so it measures physically distinguishable changes of a quantum ray after removal of the phase direction. The same geometry appears in complex differential geometry, Kähler and projective geometry, quantum information, Lie-group state manifolds, Bergman geometry, CR geometry, Grassmannians, non-archimedean geometry, and projective descriptions of representation drift.

1. Definition and differential-geometric structure

Let $|\psi(\lambda)\rangle$ be a smooth family of normalized states. The ordinary derivative $|\partial_i\psi\rangle$ contains a component parallel to $|\psi\rangle$, corresponding to a change of phase or normalization convention. The orthogonal projector

$P_\perp=I-|\psi\rangle\langle\psi|$

removes this component. The gauge-invariant QGT is

$$Q_{ij} =\langle\partial_i\psi|P_\perp|\partial_j\psi\rangle =\langle\partial_i\psi|\partial_j\psi\rangle -\langle\partial_i\psi|\psi\rangle \langle\psi|\partial_j\psi\rangle .$$

Its decomposition is

$Q_{ij}=g_{ij}+i\sigma_{ij},$

where $$d_{\mathrm{FS}}([z],[w]) =\arccos\!\left(\frac{|\langle z,w\rangle|}{\|z\|\,\|w\|}\right).$$0 is symmetric and $$d_{\mathrm{FS}}([z],[w]) =\arccos\!\left(\frac{|\langle z,w\rangle|}{\|z\|\,\|w\|}\right).$$1 is antisymmetric. The Fubini–Study line element is

$$d_{\mathrm{FS}}([z],[w]) =\arccos\!\left(\frac{|\langle z,w\rangle|}{\|z\|\,\|w\|}\right).$$2

With the Berry connection

$$d_{\mathrm{FS}}([z],[w]) =\arccos\!\left(\frac{|\langle z,w\rangle|}{\|z\|\,\|w\|}\right).$$3

the Berry curvature is

$$d_{\mathrm{FS}}([z],[w]) =\arccos\!\left(\frac{|\langle z,w\rangle|}{\|z\|\,\|w\|}\right).$$4

for this convention. Thus the QGT combines a Riemannian metric measuring ray distinguishability with a symplectic or curvature component governing geometric phase.

For neighboring normalized states, the fidelity satisfies

$$d_{\mathrm{FS}}([z],[w]) =\arccos\!\left(\frac{|\langle z,w\rangle|}{\|z\|\,\|w\|}\right).$$5

The corresponding global projective distance is

$$d_{\mathrm{FS}}([z],[w]) =\arccos\!\left(\frac{|\langle z,w\rangle|}{\|z\|\,\|w\|}\right).$$6

Conventions sometimes multiply this distance or metric by factors of $$d_{\mathrm{FS}}([z],[w]) =\arccos\!\left(\frac{|\langle z,w\rangle|}{\|z\|\,\|w\|}\right).$$7 or $$d_{\mathrm{FS}}([z],[w]) =\arccos\!\left(\frac{|\langle z,w\rangle|}{\|z\|\,\|w\|}\right).$$8; the pure-state quantum Fisher information is commonly $$d_{\mathrm{FS}}([z],[w]) =\arccos\!\left(\frac{|\langle z,w\rangle|}{\|z\|\,\|w\|}\right).$$9.

2. Complex projective and Kähler geometry

Complex projective space is

$U(1)$0

On the affine chart $U(1)$1, with $U(1)$2, the standard Fubini–Study potential is

$U(1)$3

and the Kähler form is

$U(1)$4

The metric coefficients are

$U(1)$5

The metric is invariant under the projectivized unitary group $U(1)$6, and $U(1)$7 acts transitively on $U(1)$8. Up to multiplication by a nonzero constant, it is the unique $U(1)$9-invariant Kähler metric. Its curvature is positive and has constant holomorphic sectional curvature; the numerical value depends on normalization. In one convention the standard metric has holomorphic sectional curvature $$g_{ij}^{\mathrm{FS}} =\operatorname{Re}\!\left[ \langle\partial_i\psi|\partial_j\psi\rangle -\langle\partial_i\psi|\psi\rangle \langle\psi|\partial_j\psi\rangle \right],$$0, while another uses curvature $$g_{ij}^{\mathrm{FS}} =\operatorname{Re}\!\left[ \langle\partial_i\psi|\partial_j\psi\rangle -\langle\partial_i\psi|\psi\rangle \langle\psi|\partial_j\psi\rangle \right],$$1. Under a positive rescaling $$g_{ij}^{\mathrm{FS}} =\operatorname{Re}\!\left[ \langle\partial_i\psi|\partial_j\psi\rangle -\langle\partial_i\psi|\psi\rangle \langle\psi|\partial_j\psi\rangle \right],$$2, holomorphic sectional curvature scales as

$$g_{ij}^{\mathrm{FS}} =\operatorname{Re}\!\left[ \langle\partial_i\psi|\partial_j\psi\rangle -\langle\partial_i\psi|\psi\rangle \langle\psi|\partial_j\psi\rangle \right],$$3

The Fubini–Study metric is also the canonical metric induced by a projective embedding. If $$g_{ij}^{\mathrm{FS}} =\operatorname{Re}\!\left[ \langle\partial_i\psi|\partial_j\psi\rangle -\langle\partial_i\psi|\psi\rangle \langle\psi|\partial_j\psi\rangle \right],$$4 is a very ample line bundle over a compact Kähler manifold $$g_{ij}^{\mathrm{FS}} =\operatorname{Re}\!\left[ \langle\partial_i\psi|\partial_j\psi\rangle -\langle\partial_i\psi|\psi\rangle \langle\psi|\partial_j\psi\rangle \right],$$5, then

$$g_{ij}^{\mathrm{FS}} =\operatorname{Re}\!\left[ \langle\partial_i\psi|\partial_j\psi\rangle -\langle\partial_i\psi|\psi\rangle \langle\psi|\partial_j\psi\rangle \right],$$6

is the Kodaira embedding. A positive-definite Hermitian form $$g_{ij}^{\mathrm{FS}} =\operatorname{Re}\!\left[ \langle\partial_i\psi|\partial_j\psi\rangle -\langle\partial_i\psi|\psi\rangle \langle\psi|\partial_j\psi\rangle \right],$$7 on $$g_{ij}^{\mathrm{FS}} =\operatorname{Re}\!\left[ \langle\partial_i\psi|\partial_j\psi\rangle -\langle\partial_i\psi|\psi\rangle \langle\psi|\partial_j\psi\rangle \right],$$8 determines a metric $$g_{ij}^{\mathrm{FS}} =\operatorname{Re}\!\left[ \langle\partial_i\psi|\partial_j\psi\rangle -\langle\partial_i\psi|\psi\rangle \langle\psi|\partial_j\psi\rangle \right],$$9 by requiring that an $|\psi(\lambda)\rangle$0-orthonormal basis $|\psi(\lambda)\rangle$1 satisfy

$|\psi(\lambda)\rangle$2

Locally, if $|\psi(\lambda)\rangle$3, then the induced weight is

$|\psi(\lambda)\rangle$4

and its curvature is the pullback of the projective Fubini–Study form.

The Hilbert map sends a positively curved Hermitian metric $|\psi(\lambda)\rangle$5 on $|\psi(\lambda)\rangle$6 to

$|\psi(\lambda)\rangle$7

For a very ample line bundle, the Hilbert map is surjective onto positive-definite Hermitian forms, while the Fubini–Study map is injective (Hashimoto, 2017). The Fubini–Study current associated with an orthonormal basis of sections is asymptotically governed by the curvature of the equilibrium metric, including for sequences of line bundles and continuous or non-positive metrics (Wolff, 2024).

3. Rigidity, projective inducedness, and curvature

The Fubini–Study metric is characterized by several rigidity phenomena. On a closed connected Kähler manifold of real dimension at least four, degree of mobility $|\psi(\lambda)\rangle$8 forces either affine equivalence of every $|\psi(\lambda)\rangle$9-projectively equivalent Kähler metric or, up to scaling,

$|\partial_i\psi\rangle$0

Thus complex projective space is the unique closed Kähler model with genuinely non-affine $|\partial_i\psi\rangle$1-projective freedom of this size (Fedorova et al., 2010).

In real dimension four, a complete Einstein metric with positive sectional curvature that is Hermitian with respect to an integrable complex structure is, up to scaling and isometry, the Fubini–Study metric on $|\partial_i\psi\rangle$2. The non-Kähler Einstein alternatives in LeBrun’s classification—the Page metric and the Chen–LeBrun–Weber metric—are excluded by the existence of disjoint totally geodesic surfaces, contradicting Frankel’s intersection theorem under positive sectional curvature (Koca, 2011).

Projective inducedness imposes additional algebraic restrictions. For a Kähler–Einstein manifold admitting a Kähler immersion into $|\partial_i\psi\rangle$3, rotation invariance and codimension $|\partial_i\psi\rangle$4 lead to only three possibilities: $|\partial_i\psi\rangle$5 The second is induced by the quadratic Veronese embedding

$|\partial_i\psi\rangle$6

and the third by the Segre embedding

$|\partial_i\psi\rangle$7

The classification uses the logarithmic Fubini–Study potential, Calabi diastasis, rotation-invariant monomial expansions, the Kähler–Einstein Monge–Ampère equation, and codimension counting (Salis, 2016).

For Bergman spaces, an orthonormal basis $|\partial_i\psi\rangle$8 defines the Bergman–Bochner map

$|\partial_i\psi\rangle$9

and

$|\psi\rangle$0

Thus the Bergman metric is literally the pullback of the Fubini–Study metric. Positive constant holomorphic sectional curvature forces the Bergman space to be finite-dimensional and the manifold to be biholomorphic to a domain in $|\psi\rangle$1. Negative constant curvature yields ball-type domains $|\psi\rangle$2, where $|\psi\rangle$3 is closed and pluripolar; global flat Bergman metrics are ruled out under the stated nondegeneracy assumptions (Huang et al., 2023).

4. Quantum geometry and dynamical applications

For a unitary evolution generated by a Hermitian operator $|\psi\rangle$4,

$|\psi\rangle$5

the Fubini–Study speed is

$|\psi\rangle$6

This is the Anandan–Aharonov relation. A component of $|\psi\rangle$7 proportional to the identity generates only a global phase and is removed by the projective projection.

For a parameterized circuit

$|\psi\rangle$8

the metric is

$|\psi\rangle$9

If a parameter locally generates $P_\perp=I-|\psi\rangle\langle\psi|$0, then

$P_\perp=I-|\psi\rangle\langle\psi|$1

Consequently, the metric is a covariance metric on generator fluctuations. In Lie-group state manifolds, the structure constants determine the adjoint transport of generators, while the reference state determines their covariance matrix (Kuzmak, 2017).

For a qubit in a magnetic field with spherical parameters $P_\perp=I-|\psi\rangle\langle\psi|$2,

$P_\perp=I-|\psi\rangle\langle\psi|$3

one quarter of the unit-sphere metric. Doubling the distance produces the ordinary unit Bloch-sphere metric. The Berry curvature is proportional to the sphere’s area form and corresponds, in magnetic-field coordinates, to a monopole of charge $P_\perp=I-|\psi\rangle\langle\psi|$4.

For mixed states, a purification and the square-root derivative

$P_\perp=I-|\psi\rangle\langle\psi|$5

give a generalized QGT,

$P_\perp=I-|\psi\rangle\langle\psi|$6

Under unitary evolution, the resulting line element is

$P_\perp=I-|\psi\rangle\langle\psi|$7

which captures the quantum, noncommutative part of Hamiltonian uncertainty rather than the full variance. Imposing monotonicity under completely positive trace-preserving maps yields a quantum Fisher-information metric. Generalized $P_\perp=I-|\psi\rangle\langle\psi|$8-metrics retain the projective construction while allowing dependence on powers of $P_\perp=I-|\psi\rangle\langle\psi|$9 and, in general, a nonzero dynamical phase (Mondal, 2015).

The metric also enters variational quantum optimization. L2O-$$Q_{ij} =\langle\partial_i\psi|P_\perp|\partial_j\psi\rangle =\langle\partial_i\psi|\partial_j\psi\rangle -\langle\partial_i\psi|\psi\rangle \langle\psi|\partial_j\psi\rangle .$$0 embeds a Fubini–Study preconditioner into a coordinate-wise LSTM learned optimizer for parameterized quantum circuits: $$Q_{ij} =\langle\partial_i\psi|P_\perp|\partial_j\psi\rangle =\langle\partial_i\psi|\partial_j\psi\rangle -\langle\partial_i\psi|\psi\rangle \langle\psi|\partial_j\psi\rangle .$$1 followed by

$$Q_{ij} =\langle\partial_i\psi|P_\perp|\partial_j\psi\rangle =\langle\partial_i\psi|\partial_j\psi\rangle -\langle\partial_i\psi|\psi\rangle \langle\psi|\partial_j\psi\rangle .$$2

Here the learned interpolation balances metric-aware state-space motion and ordinary parameter-space updates (Huang et al., 2024).

5. Grassmannians, bands, and projective data

For a fixed-dimensional Grassmannian $$Q_{ij} =\langle\partial_i\psi|P_\perp|\partial_j\psi\rangle =\langle\partial_i\psi|\partial_j\psi\rangle -\langle\partial_i\psi|\psi\rangle \langle\psi|\partial_j\psi\rangle .$$3, the Fubini–Study distance is the projective angle between Plücker images: $$Q_{ij} =\langle\partial_i\psi|P_\perp|\partial_j\psi\rangle =\langle\partial_i\psi|\partial_j\psi\rangle -\langle\partial_i\psi|\psi\rangle \langle\psi|\partial_j\psi\rangle .$$4 where $$Q_{ij} =\langle\partial_i\psi|P_\perp|\partial_j\psi\rangle =\langle\partial_i\psi|\partial_j\psi\rangle -\langle\partial_i\psi|\psi\rangle \langle\psi|\partial_j\psi\rangle .$$5 are the principal angles. Equivalently, if $$Q_{ij} =\langle\partial_i\psi|P_\perp|\partial_j\psi\rangle =\langle\partial_i\psi|\partial_j\psi\rangle -\langle\partial_i\psi|\psi\rangle \langle\psi|\partial_j\psi\rangle .$$6 and $$Q_{ij} =\langle\partial_i\psi|P_\perp|\partial_j\psi\rangle =\langle\partial_i\psi|\partial_j\psi\rangle -\langle\partial_i\psi|\psi\rangle \langle\psi|\partial_j\psi\rangle .$$7 are unit decomposable $$Q_{ij} =\langle\partial_i\psi|P_\perp|\partial_j\psi\rangle =\langle\partial_i\psi|\partial_j\psi\rangle -\langle\partial_i\psi|\psi\rangle \langle\psi|\partial_j\psi\rangle .$$8-vectors representing $$Q_{ij} =\langle\partial_i\psi|P_\perp|\partial_j\psi\rangle =\langle\partial_i\psi|\partial_j\psi\rangle -\langle\partial_i\psi|\psi\rangle \langle\psi|\partial_j\psi\rangle .$$9 and $Q_{ij}=g_{ij}+i\sigma_{ij},$0,

$Q_{ij}=g_{ij}+i\sigma_{ij},$1

The product of cosines is the volume contraction produced by orthogonal projection.

On the Total Grassmannian, where subspaces may have different dimensions, the directed extension is

$Q_{ij}=g_{ij}+i\sigma_{ij},$2

For $Q_{ij}=g_{ij}+i\sigma_{ij},$3, it is the product formula above; for $Q_{ij}=g_{ij}+i\sigma_{ij},$4, it equals $Q_{ij}=g_{ij}+i\sigma_{ij},$5. It is asymmetric: $Q_{ij}=g_{ij}+i\sigma_{ij},$6 whereas both directed distances vanish only when $Q_{ij}=g_{ij}+i\sigma_{ij},$7. It satisfies the oriented triangle inequality

$Q_{ij}=g_{ij}+i\sigma_{ij},$8

and is invariant under orthogonal or unitary transformations (Mandolesi, 2023).

For Bloch bands, the metric measures the variation of the eigenstate ray across momentum. In the atomic $Q_{ij}=g_{ij}+i\sigma_{ij},$9-$$d_{\mathrm{FS}}([z],[w]) =\arccos\!\left(\frac{|\langle z,w\rangle|}{\|z\|\,\|w\|}\right).$$00 chain considered in (Espinosa-Champo et al., 2023), the Bloch eigenstates depend on an angle $$d_{\mathrm{FS}}([z],[w]) =\arccos\!\left(\frac{|\langle z,w\rangle|}{\|z\|\,\|w\|}\right).$$01, and

$$d_{\mathrm{FS}}([z],[w]) =\arccos\!\left(\frac{|\langle z,w\rangle|}{\|z\|\,\|w\|}\right).$$02

The two bands have the same metric. In the flat-band regime

$$d_{\mathrm{FS}}([z],[w]) =\arccos\!\left(\frac{|\langle z,w\rangle|}{\|z\|\,\|w\|}\right).$$03

one has

$$d_{\mathrm{FS}}([z],[w]) =\arccos\!\left(\frac{|\langle z,w\rangle|}{\|z\|\,\|w\|}\right).$$04

The winding number constrains the minimum total Fubini–Study length but does not determine its local distribution. Consequently, the metric can distinguish systems with identical winding number, including nontrivial systems with different flatness properties.

In non-archimedean geometry, a strict Cartesian ultrametric norm on the section space induces a Fubini–Study metric on the analytification of a projective variety. Its Monge–Ampère measure is supported on finitely many Shilov points, and the associated Monge–Ampère polytope is

$$d_{\mathrm{FS}}([z],[w]) =\arccos\!\left(\frac{|\langle z,w\rangle|}{\|z\|\,\|w\|}\right).$$05

For Chow-stable $$d_{\mathrm{FS}}([z],[w]) =\arccos\!\left(\frac{|\langle z,w\rangle|}{\|z\|\,\|w\|}\right).$$06, criticality under $$d_{\mathrm{FS}}([z],[w]) =\arccos\!\left(\frac{|\langle z,w\rangle|}{\|z\|\,\|w\|}\right).$$07 is equivalent to

$$d_{\mathrm{FS}}([z],[w]) =\arccos\!\left(\frac{|\langle z,w\rangle|}{\|z\|\,\|w\|}\right).$$08

to minimization of the Chow norm, and to residual semistability under the non-archimedean Kempf–Ness criterion (Fang, 2022).

6. Extensions, asymptotics, and limitations

The Fubini–Study construction extends beyond finite-dimensional projective manifolds. For filtered Toeplitz spaces on compact strictly pseudoconvex CR manifolds, spectral eigenfunctions define projective embeddings

$$d_{\mathrm{FS}}([z],[w]) =\arccos\!\left(\frac{|\langle z,w\rangle|}{\|z\|\,\|w\|}\right).$$09

The pullback Fubini–Study metric has an asymptotic expansion whose leading Reeb-direction term is of order $$d_{\mathrm{FS}}([z],[w]) =\arccos\!\left(\frac{|\langle z,w\rangle|}{\|z\|\,\|w\|}\right).$$10,

$$d_{\mathrm{FS}}([z],[w]) =\arccos\!\left(\frac{|\langle z,w\rangle|}{\|z\|\,\|w\|}\right).$$11

while the first horizontal term is of order $$d_{\mathrm{FS}}([z],[w]) =\arccos\!\left(\frac{|\langle z,w\rangle|}{\|z\|\,\|w\|}\right).$$12 and is governed by $$d_{\mathrm{FS}}([z],[w]) =\arccos\!\left(\frac{|\langle z,w\rangle|}{\|z\|\,\|w\|}\right).$$13. Under Heisenberg-type rescaling, the embeddings recover the contact and Levi geometry. The same kernels determine Gaussian CR ensembles and the asymptotic distribution of zero divisors (Herrmann et al., 2024).

For sequences of metrized line bundles, Fubini–Study currents satisfy

$$d_{\mathrm{FS}}([z],[w]) =\arccos\!\left(\frac{|\langle z,w\rangle|}{\|z\|\,\|w\|}\right).$$14

weakly as currents under the hypotheses of (Wolff, 2024). In the tensor-power case this recovers

$$d_{\mathrm{FS}}([z],[w]) =\arccos\!\left(\frac{|\langle z,w\rangle|}{\|z\|\,\|w\|}\right).$$15

The equilibrium metric, rather than the original metric when it lacks semipositive curvature, governs the limiting projective current.

The Fubini–Study metric also has dynamical and variational limitations. It is an unstable generalized stationary solution of Ricci flow on $$d_{\mathrm{FS}}([z],[w]) =\arccos\!\left(\frac{|\langle z,w\rangle|}{\|z\|\,\|w\|}\right).$$16: numerical simulations indicate that certain conformal non-Kähler perturbations develop finite-time Type-I singularities whose rescalings approach the FIK03 blowdown shrinking Kähler–Ricci soliton with reversed complex orientation (Garfinkle et al., 2024). On complex Grassmannians, the Fubini–Study metric can possess nonzero infinitesimal Einstein deformations while remaining nonlinearly rigid because the deformations are obstructed at second order when the ambient dimension $$d_{\mathrm{FS}}([z],[w]) =\arccos\!\left(\frac{|\langle z,w\rangle|}{\|z\|\,\|w\|}\right).$$17 is odd (Hall, 2024).

Finally, complete one-period endpoint data for a periodically driven quantum system do not generally determine its period-averaged parameter-space Fubini–Study metric. Such endpoint data determine the conjugation path of the monodromy but not its unitary lift. Centralizer-valued periodic micromotion can preserve every one-period endpoint while changing the intra-period state trajectory and hence

$$d_{\mathrm{FS}}([z],[w]) =\arccos\!\left(\frac{|\langle z,w\rangle|}{\|z\|\,\|w\|}\right).$$18

Thus the Fubini–Study functional depends on the full parameter-dependent trajectory, not merely on endpoint propagators (Ahmad, 10 Aug 2026).

Across these settings, the common principle is that the Fubini–Study metric removes unphysical scalar freedom and measures geometry on projective objects: complex rays, embedded Kähler manifolds, quantum-state manifolds, Plücker lines, spectral CR embeddings, or non-archimedean projective models. Its numerical normalization varies, but its defining operation remains the orthogonal removal of the direction that does not change the underlying projective object.