Asymmetric Geometry of Total Grassmannians

Metrics in Grassmannians, or distances between subspaces of same dimension, have many uses, and extending them to the Total Grassmannian of subspaces of different dimensions is an important problem, as usual extensions lack good properties or give little information. Dimensional asymmetries call for the use of asymmetric metrics, and we present a natural method to obtain them, extending all the main Grassmannian metrics (geodesic, projection Frobenius, Fubini-Study, gap, etc.). Their geometry adequately reflects containment relations of subspaces, continuous paths link subspaces of distinct dimensions, and we describe minimal geodesics, shortest paths to move a subspace onto another. In particular, the Fubini-Study metric extends as an asymmetric angle that is easily computed, has many useful properties, and a nice geometric interpretation.