×

Weak Riemannian manifolds from finite index subfactors. (English) Zbl 1166.58002

Authors’ abstract: Let \(N \subset M\) be a finite Jones’ index inclusion of \(\text{II}_{1}\) factors and denote by \(U _{N } \subset U _{M }\) their unitary groups. In this article, we study the homogeneous space \(U _{M }/U _{N }\), which is a (infinite dimensional) differentiable manifold, diffeomorphic to the orbit
\[ \mathcal{O}({\mathfrak p})=\{u{\mathfrak p} u^{\ast} : u \in U_M\} \]
of the Jones projection \({\mathfrak p}\) of the inclusion. We endow \(\mathcal{O}({\mathfrak 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, \({\mathcal{O}({\mathfrak p})}\) is a weak Riemannian manifold. We show that \({\mathcal{O}({\mathfrak p})}\) enjoys certain properties similar to classic Hilbert-Riemann manifolds. Among them are 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 \(p _{1}\) of \({\mathcal{O}({\mathfrak p})}\) , there is a ball \({\{q \in \mathcal{O}({\mathfrak p}) : \|q - p_{1}\|< {r}\}}\) (of uniform radius r) of the usual norm of \(M\), such that any point \(p_{2}\) in the ball is joined to \(p_{1}\) 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 \({\mathcal{O}({\mathfrak p})\subset \mathcal{P}(M_1)}\) , where the last set denotes the Grassmann manifold of the von Neumann algebra generated by \(M\) and \({\mathfrak p}\).

MSC:

58B20 Riemannian, Finsler and other geometric structures on infinite-dimensional manifolds
46L10 General theory of von Neumann algebras
53C30 Differential geometry of homogeneous manifolds
53C22 Geodesics in global differential geometry
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

References:

[1] Andruchow, E.: Short geodesics of unitaries in the L 2 metric. Canad. Math. Bull. 48(3), 340–534 (2005) · Zbl 1098.46048 · doi:10.4153/CMB-2005-032-0
[2] Andruchow, E., Recht, L.: Grasmannians of a finite algebra in the strong operator topology. Int. J. Math. 17(4), 477–491 (2006) · Zbl 1102.46038 · doi:10.1142/S0129167X06003552
[3] Andruchow, E., Recht, L.: Geometry of unitaries in a finite algebra: variational formulas and convexity. Int. J. Math. (to appear) · Zbl 1169.46029
[4] Andruchow, E., Stojanoff, D.: Geometry of conditional expectations with finite index. Int. J. Math. 5(2), 169–178 (1994) · Zbl 0814.46052 · doi:10.1142/S0129167X94000085
[5] Andruchow, E., Stojanoff, D.: Nilpotents in finite algebras. Integr. Equ. Oper. Theory 45, 251–267 (2003) · Zbl 1027.46074 · doi:10.1007/s000200300004
[6] Araki, H., Smith, M.B., Smith, L.: On the homotopical significance of the type of von Neumann algebra factors. Commun. Math. Phys. 22, 71–88 (1971) · Zbl 0211.44004 · doi:10.1007/BF01651585
[7] Corach, G., Porta, H., Recht, L.: The geometry of spaces of projections in C*-algebras. Adv. Math. 41(1), 54–76 (1997) · Zbl 0799.46067
[8] Jones, V.F.R.: Index for subfactors. Invent. Math. 72(1), 1–25 (1983) · Zbl 0508.46040 · doi:10.1007/BF01389127
[9] Lang, S.: Differential and Riemannian manifolds, 3rd edn. In: Graduate Texts in Mathematics, vol. 160. Springer-Verlag, New York (1995) · Zbl 0824.58003
[10] Lee, J.M.: Riemannian Geometry. In: Graduate Texts in Mathematics, vol. 176. Springer-Verlag, New York (1997)
[11] Mata-Lorenzo, L., Recht, L.: Infinite dimensional homogeneous reductive spaces. Reporte 91-11, U.S.B. (1991) · Zbl 0790.46051
[12] Michael, E.: Convex structures and continuous selections. Can. J. Math. 11, 556–575 (1959) · Zbl 0093.36603 · doi:10.4153/CJM-1959-051-9
[13] Pimsner, M., Popa, S.: Entropy and index for subfactors. Ann. Sci. École Norm. Sup. (4) 19(1), 57–106 (1986) · Zbl 0646.46057
[14] Porta, H., Recht, L.: Minimality of geodesics in Grassmann manifolds. Proc. Am. Math. Soc. 100(3), 464–466 (1987) · Zbl 0656.46042 · doi:10.1090/S0002-9939-1987-0891146-6
[15] Popa, S., Takesaki, M.: The topological structure of the unitary and automorphism groups of a factor. Commun. Math. Phys. 155, 93–101 (1993) · Zbl 0799.46074 · doi:10.1007/BF02100051
[16] Reed, M., Simon, B.: Methods of Modern Mathematical Physics I. Functional Analysis. Academic Press, New York (1972) · Zbl 0242.46001
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.