Short curves in homogeneous spaces of the unitary group for unitarily invariant norms

Abstract

Let A be a unital *-subalgebra of $M_n(C)$ and let $M = U(n)/U(A)$, with the quotient Finsler metric induced by a unitarily invariant norm on $u(n)$, normalized so that $||iP|| = 1$ for rank-one projections $P$. This family contains the unitary orbits of Hermitian matrices, in particular flag manifolds and Grassmann manifolds. We prove that if $z_0$ is a minimal lifting of a tangent vector $X$ with $||X||_{\infty} < π/2$, then the one-parameter group $t \mapsto e^{t z_0}\cdot o$ has minimal length among all piecewise smooth curves in $M$ joining its endpoints. The same holds in manifolds $N=SU(n)/(SU(n) \cap A)$ for every Ad-invariant Finsler norm on $su(n)$, not necessarily symmetric (i.e. the unit sphere does not need to be balanced). The proof relies on the convexity of the distance from the identity along geodesic segments, valid for all these norms. We also prove that the ball of radius $π/2$ around the identity, for the spectral norm, is convex along one-parameter segments. This extends known results for the p-Schatten norms with p even, and gives a new proof for the operator norm, where the result is due to Duran, Mata-Lorenzo and Recht.