Nonpositive curvature: A geometrical approach to Hilbert-Schmidt operators

DOI10.1016/J.DIFGEO.2007.06.016MaRDI QIDQ2472647zbMATH OpenOpenAlexWikidataFDO

Authors Gabriel Larotonda

Publication date 22 February 2008

Published in Differential Geometry and its Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0808.2524

zbMATH Keywords

Banach-Lie groupHilbert-Schmidt classhomogeneous manifoldnonpositive curvatureoperator decomposition

Mathematics Subject Classification ID

Infinite-dimensional Lie groups and their Lie algebras: general properties (22E65) Differential geometry of symmetric spaces (53C35) Global surface theory (convex surfaces à la A. D. Aleksandrov) (53C45) Riemannian, Finsler and other geometric structures on infinite-dimensional manifolds (58B20) Applications of variational problems in infinite-dimensional spaces to the sciences (58E50)

Abstract: We give a Riemannian structure to the set $Sigma$ of positive invertible unitized Hilbert-Schmidt operators, by means of the trace inner product. This metric makes of $Sigma$ a nonpositively curved, simply connected and metrically complete Hilbert manifold. The manifold $Sigma$ is a universal model for symmetric spaces of the noncompact type: any such space can be isometrically embedded into $Sigma$. We give an intrinsic algebraic characterization of convex closed submanifolds $M$. We study the group of isometries of such submanifolds: we prove that $G_M$, the Banach-Lie group generated by $M$, acts isometrically and transitively on $M$. Moreover, $G_M$ admits a polar decomposition relative to $M$, namely $G_{M}simeqMimesK$ as Hilbert manifolds (here $K$ is the isotropy of $p=1$ for the action $I_g:pmapstogp{g}^{\ast }$), and also $G_M/KsimeqM$ so $M$ is an homogeneous space. We obtain several decomposition theorems by means of geodesically convex submanifolds $M$. These decompositions are obtained extit{via} a nonlinear but analytic orthogonal projection $P{i}_M:SigmaoM$, a map which is a contraction for the geodesic distance. As a byproduct, we prove the isomorphism $NMsimeqSigma$ (here $NM$ stands for the normal bundle of a convex closed submanifold $M$). Writing down the factorizations for fixed ${me}^a$, we obtain ${me}^a={me}^x{me}^v{me}^x$ with ${me}^{x}inM$ and $v$ orthogonal to $M$ at $p=1$. As a corollary we obtain decompositions for the full group of invertible elements $GsimeqMimesexp(T_1{M}^{perp})imesK$.

Review text

By means of the trace inner product the set \(S\) of positive invertible Hilbert-Schmidt operators can be given a Riemann structure that makes \(S\) a nonpositively curved, simply connected, and metrically complete Hilbert manifold that is a universal model of noncompact symmetric spaces isometrically embeddable into \(S\). Familiar properties of the operator algebra then translate into geometric properties of \(S\). In this way, one can in turn prove some new results about that operator algebra.

Recommendations

• Nonpositive curvature in \(p\)-Schatten class
• Non positively curved metric in the space of positive definite infinite matrices
• scientific article; zbMATH DE number 1294013
• Spaces of nonpositive curvature arising from a finite algebra
• Differential geometry for nuclear positive operators

Cites work

• A Cartan-Hadamard theorem for Banach-Finsler manifolds
• Classical Banach-Lie algebras and Banach-Lie groups of operators in Hilbert space
• Conditional expectations and operator decompositions
• Differential and metrical structure of positive operators
• Differential geometry of spaces of relatively regular operators
• Geodesic and metric completeness in infinite dimensions
• Hilbert Manifolds Without Epiconjugate Points
• scientific article; zbMATH DE number 3168288 (Why is no real title available?)
• scientific article; zbMATH DE number 4063808 (Why is no real title available?)
• scientific article; zbMATH DE number 3180008 (Why is no real title available?)
• scientific article; zbMATH DE number 3658507 (Why is no real title available?)
• scientific article; zbMATH DE number 3556677 (Why is no real title available?)
• scientific article; zbMATH DE number 1202555 (Why is no real title available?)
• scientific article; zbMATH DE number 713322 (Why is no real title available?)
• scientific article; zbMATH DE number 1007086 (Why is no real title available?)
• scientific article; zbMATH DE number 1128877 (Why is no real title available?)
• scientific article; zbMATH DE number 1759226 (Why is no real title available?)
• scientific article; zbMATH DE number 3109468 (Why is no real title available?)
• Intermediate spaces and interpolation, the complex method
• NONPOSITIVELY CURVED METRIC IN THE POSITIVE CONE OF A FINITE VON NEUMANN ALGEBRA
• On the exponential metric increasing property.
• Spaces of nonpositive curvature
• Splitting of the positive set of a \(C^*\)-algebra
• The geometry of the space of selfadjoint invertible elements in a \(C^*\)-algebra
• The Hopf-Rinow Theorem is false in infinite Dimensions

Cited in

(34)

• Nonpositive curvature in \(p\)-Schatten class
• Noncommutative potential theory and the sign of the curvature operator in Riemannian geometry
• Infinite-dimensional log-determinant divergences between positive definite trace class operators
• On the Kähler geometry of the Hilbert-Schmidt Grassmannian
• An approach of majorization in spaces with a curved geometry
• Regularized divergences between covariance operators and Gaussian measures on Hilbert spaces
• Alpha Procrustes metrics between positive definite operators: a unifying formulation for the Bures-Wasserstein and Log-Euclidean/Log-Hilbert-Schmidt metrics
• Entropy-regularized 2-Wasserstein distance between Gaussian measures
• Infinite-dimensional log-determinant divergences between positive definite Hilbert-Schmidt operators
• Metric geometry of infinite-dimensional Lie groups and their homogeneous spaces
• Alpha-beta log-determinant divergences between positive definite trace class operators
• Riemannian metrics on an infinite dimensional symplectic group
• The least squares mean of positive Hilbert-Schmidt operators
• Approximation for convex functionals on non-positively curved spaces and the Trotter-Kato product formula
• From covariance matrices to covariance operators: data representation from finite to infinite-dimensional settings
• Riemannian distances between covariance operators and Gaussian processes
• On Schatten restricted norms
• Weighted means and Karcher equations of positive operators
• Geometric aspects of similarity problems
• A geometric path from zero Lyapunov exponents to rotation cocycles
• Weighted deterministic walks for the least squares mean on Hadamard spaces
• NONPOSITIVELY CURVED METRIC IN THE POSITIVE CONE OF A FINITE VON NEUMANN ALGEBRA
• Non positively curved metric in the space of positive definite infinite matrices
• Entropic regularization of Wasserstein distance between infinite-dimensional Gaussian measures and Gaussian processes
• Mostow's decomposition theorem for \(L^\ast\)-groups and applications to affine coadjoint orbits and stable manifolds
• Fisher-Rao Riemannian geometry of equivalent Gaussian measures on Hilbert space
• Fisher-Rao geometry of equivalent Gaussian measures on infinite-dimensional Hilbert spaces
• NaviSpace: a navilogy framework for connecting manifolds and functional spaces
• Connections and Finsler geometry of the structure group of a JB-algebra
• Infinite-dimensional distances and divergences between positive definite operators, Gaussian measures, and Gaussian processes
• Infinite dimensional Riemannian symmetric spaces with fixed-sign curvature operator
• Nonlinear ergodic theorems for amenable semigroups of nonexpansive mappings in Hadamard spaces
• Operator means of probability measures and generalized Karcher equations
• Spaces of nonpositive curvature arising from a finite algebra

This page was built for publication: Nonpositive curvature: A geometrical approach to Hilbert-Schmidt operators

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2472647)