2008/08/19 by Esteban Andruchow, Andruchow, Esteban, Gabriel Larotonda +1
Mathematics · #53C22 (Secondary) #53C30 #58B20 (Primary) 46L10 #Advanced Operator Algebra Research #Differential Geometry (math.DG) #FOS: Mathematics #Geometric Analysis and Curvature Flows #Operator Algebras (math.OA) #Random Matrices and Applications #math.DG #math.OA #msc:46L10 #msc:53C22 #msc:53C30 #msc:58B20
paper · pdf · doi:10.48550/arxiv.0808.2527
19 pages
arxiv created 2008/08/19 · openalex publication_date 2008/08/19 · arxiv updated 2009/12/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/08/01
Let N⊂ M be a finite Jones' index inclusion of II1 factors, and denote by UN⊂ UM their unitary groups. In this paper we study the homogeneous space UM/UN, which is a (infinite dimensional) differentiable manifold, diffeomorphic to the orbit \cal O(p) =\u p u^*: u∈ UM\ of the Jones projection p of the inclusion. We endow \cal O(p) with a Riemannian metric, by means of the trace on each tangent space. These are pre-Hilbert spaces (the tangent spaces are not complete), therefore \cal O(p) is a weak Riemannian manifold. We show that \cal O(p) enjoys certain properties similar to classic Hilbert-Riemann manifolds. Among them, metric completeness of the geodesic distance, uniqueness of geodesics of the Levi-Civita connection as minimal curves, and partial results on the existence of minimal geodesics. For instance, around each point p1 of \cal O(p), there is a ball \q∈ \cal O(p):‖q-p1‖<r\ (of uniform radius r) of the usual norm of M, such that any point p2 in the ball is joined to p1 by a unique geodesic, which is shorter than any other piecewise smooth curve lying inside this ball. We also give an intrinsic (algebraic) characterization of the directions of degeneracy of the submanifold inclusion \cal O(p)⊂ \cal P(M1), where the last set denotes the Grassmann manifold of the von Neumann algebra generated by M and p.