The rectifiable distance in the unitary Fredholm group

• Autorzy: Esteban Andruchow , Gabriel Larotonda
• Języki publikacji: EN

Abstrakty

EN

Let $U_{c}(𝓗)$ = {u: u unitary and u-1 compact} stand for the unitary Fredholm group. We prove the following convexity result. Denote by $d_{∞}$ the rectifiable distance induced by the Finsler metric given by the operator norm in $U_{c}(𝓗)$. If $u₀,u₁,u ∈ U_{c}(𝓗)$ and the geodesic β joining u₀ and u₁ in $U_{c}(𝓗)$ satisfy $d_{∞}(u,β) < π/2$, then the map $f(s) = d_{∞}(u,β(s))$ is convex for s ∈ [0,1]. In particular, the convexity radius of the geodesic balls in $U_{c}(𝓗)$ is π/4. The same convexity property holds in the p-Schatten unitary groups $U_{p}(𝓗)$ = {u: u unitary and u-1 in the p-Schatten class} for p an even integer, p ≥ 4 (in this case, the distance is strictly convex). The same results hold in the unitary group of a C*-algebra with a faithful finite trace. We apply this convexity result to establish the existence of curves of minimal length with given initial conditions, in the unitary orbit of an operator, under the action of the Fredholm group. We characterize self-adjoint operators A such that this orbit is a submanifold (of the affine space A + 𝓚(𝓗), where 𝓚(𝓗) = compact operators).

Kategorie tematyczne

• 58B20: Riemannian, Finsler and other geometric structures
• 22E65: Infinite-dimensional Lie groups and their Lie algebras: general properties
• 58E10: Applications to the theory of geodesics (problems in one independent variable)

• Wydawca: Institute of Mathematics Polish Academy of Sciences
• Czasopismo: Studia Mathematica
• Rocznik: 2010
• Tom: 196
• Numer: 2
• Strony: 151-178

Daty

wydano

2010

Twórcy

autor

Esteban Andruchow

• Instituto de Ciencias, Universidad Nacional de General Sarmiento, J. M. Gutierrez 1150, (B1613GSX) Los Polvorines, Buenos Aires, Argentina
• Instituto Argentino de Matemática "Alberto Calderón", CONICET

autor

Gabriel Larotonda

• Instituto de Ciencias, Universidad Nacional de General Sarmiento, J. M. Gutierrez 1150, (B1613GSX) Los Polvorines, Buenos Aires, Argentina
• Instituto Argentino de Matemática "Alberto Calderón", CONICET

Identyfikatory

DOI

10.4064/sm196-2-4