Homogeneous manifolds from noncommutative measure spaces

TL;DR

This paper explores the metric geometry of homogeneous spaces derived from the unitary group of a finite von Neumann algebra, establishing conditions under which various distances coincide and analyzing the existence of geodesics.

Contribution

It introduces a new framework for understanding the metric geometry of homogeneous spaces from noncommutative measure spaces, including the coincidence of quotient and Finsler metrics for p ≥ 2.

Findings

Distances d'_p and d_{O,p} coincide for p ≥ 2

The metric space (O, d'_p) is complete

Partial results on existence of metric geodesics

Abstract

Let M be a finite von Neumann algebra with a faithful trace $\tau$. In this paper we study metric geometry of homogeneous spaces O of the unitary group U of M, endowed with a Finsler quotient metric induced by the p-norms of $\tau$, $||x||_p=\tau(|x|^p)^{1/p}$, $p\ge 1$. The main results include the following. The unitary group carries on a rectifiable distance d_p induced by measuring the length of curves with the p-norm. If we identify O as a quotient of groups, then there is a natural quotient distance d'_p that metrizes the quotient topology. On the other hand, the Finsler quotient metric defined in O provides a way to measure curves, and therefore, there is an associated rectifiable distance d_{O,p}. For $p\ge 2$, we prove that the distances d'_p and d_{O,p} coincide. Based on this fact, we show that the metric space (O,d'_p) is a complete path metric space. The other problem treated in this article is the existence of metric geodesics, or curves of minimal length, in O. We give two abstract partial results in this direction. The first concerns the initial values problem and the second the fixed endpoints problem. We show how these results apply to several examples. In the process, we improve some results about the metric geometry of U with the p-norm.