Finsler geometry and actions of the p-Schatten unitary groups

Abstract: Let

p

be an even positive integer and

U_{p} (H)

be the Banach-Lie group of unitary operators

u

which verify that

u - 1

belongs to the

p

-Schatten ideal

B_{p} (H)

. Let

c a l O

be a smooth manifold on which

U_{p} (H)

acts transitively and smoothly. Then one can endow

c a l O

with a natural Finsler metric in terms of the

p

-Schatten norm and the action of

U_{p} (H)

. Our main result establishes that for any pair of given initial conditions

xin {cal O}hbox{and} Xin (T{cal O})_x

there exists a curve

d e l t a (t) = e^{t z} c d o t x

in

c a l O

, with

z

a skew-hermitian element in the

p

-Schatten class such that

delta(0)=x hbox{and} dot{delta}(0)=X,

which remains minimal as long as

t | z |_{p} l e p i / 4

. Moreover,

d e l t a

is unique with these properties. We also show that the metric space

(c a l O, d)

(

d =

rectifiable distance) is complete. In the process we establish minimality results in the groups

U_{p} (H)

, and a convexity property for the rectifiable distance. As an example of these spaces, we treat the case of the unitary orbit

{cal O}={uAu^*: uin U_p(H)}

of a self-adjoint operator

A i n B (H)

.

Recommendations

Cites work

Cited in

(27)

This page was built for publication: Finsler geometry and actions of the \(p\)-Schatten unitary groups