Abstract. Let V be a separable Hilbert space, possibly infinite dimensional. Let St(p, V ) be the Stiefel manifold of orthonormal frames of p vectors in V , and let Gr(p, V ) be the Grassmann manifold of p dimensional subspaces of V . We study the distance and the geodesics in these manifolds, by reducing the matter to the finite dimensional case. We then prove that any two points in those manifolds can be connected by a minimal geodesic, and characterize the cut locus.Résumé. Soit V un espace de Hilbert séparable, éventuellement de dimension infinie. Soient St(p, V ) l'ensemble des systèmes orthonormés de p vecteurs de V , appelé la variété de Stiefel, et Gr(p, V ) l'ensemble des sous-espaces vectoriels de V de dimension p, appelé la variété Grassmannienne. En réduisant le problème en dimension finie, nous montrons que dans ces espaces il existe des géodésiques minimales entre chaque paire de points et nous caractérisons le cut-locus.
IntroductionLet V be a separable Hilbert space, let p be a positive natural number. We assume that dim(V ) ≥ (2p) from here on. St(p, V ) is the set of orthonormal frames of p vectors in V . Equivalently, we consideris the transpose with respect to the metrics on V and R p , i.e. [6]. Any result that is proven about the Stiefel or Grassmannian immediately carries over to the corresponding space of curves.
St(p,V
Critical geodesicsWe will call a curve γ in a Riemannian manifold a critical geodesic if it is a solution to the equation ∇ ∂tγ = 0, where ∇ is the covariant derivative. Such γ is a critical point for the action This also means that, if γ is a critical geodesic connecting x to y, and the space W spanned by the columns of x, y is (2p) dimensional, then, for any t, the columns of γ(t) and ofγ(t) must be contained in W .
Minimal geodesicsWe denote by d(x, y) the infimum of the length of all paths connecting two points x, y in a Riemannian manifold. It does not matter whether the infimum is taken over smooth or absolutely continuous paths 2 . We call a path γ a minimal geodesic if its length is equal to the distance d(γ(0), γ(1)). Up to a time reparametrization, a minimal geodesic is smooth and is a critical geodesic. We will always silently assume that minimal geodesics are parametrized such that they are critical.Let (M, g) be a Riemannian manifold, and d be the induced distance. When M is finite dimensional, by the celebrated Hopf-Rinow theorem, metric completeness of (M, d) is equivalent to geodesic completeness of (M, g), and both imply that any two points x, y ∈ M can be connected by a minimal geodesic. In infinite dimensional manifolds this is not true in general. Indeed, in [1] there is an example of an infinite dimensional metrically complete Hilbert smooth manifold M and x, y ∈ M such that there is no critical (and thus no minimal) geodesic connecting x to y. A simpler example, due to Grossman [3] (see also sec. VIII. §6 in [4]), is an infinite dimensional ellipsoid where the south and north pole can be connected by countably many critical geodesics of decreasing l...