Integr Equat Oper Th 0378-620X/93/030333-2751.50+0.

20/0
Vol. 16 (1993) (c) 1993 BirkhNuser Verlag, Basel

The Geometry of the Space of Selfadjoint

Invertible Elements in a C*-algebra

GUSTAVO CORACH, HORACIO PORTA AND LXZARO RECtIT

Let A be a C*-algebra with identity a n d G * the set of all selfadjoint

invertible d e m e n t s of A. This p a p e r is a study of t h e geometric properties
of t h e manifold G *. T h e action of the group G of invertible elements of A
over G*, given by 9" a = ( g - 1 ) * a g - 1 , defines B a n a c h h o m o g e n e o u s spaces
G --4 G ~,a, where G ~'a is the orbit of a 6 G ~. It t u r n s out t h a t t h e G *,a are
open a n d closed subsets of G ~ and the principal bundles G --* G ~'a carry
n a t u r a l connections. T h e horizontal lifting of (differentiable) curves ? in G ~
are controlled by the differential equation F = - 7 17 7 . i ~, which is called here
the transport equation (an alternative a p p r o a c h based on multiplicative
integrals is given in Section 8). Several G - b u n d l e s are studied, in particular
the t a n g e n t b u n d l e T G t One relevant point here is t h a t t h e (left) polar
d e c o m p o s i t i o n a = up (a C G ~, u > 0, p unitary) provides two structures:
first it is easy to see t h a t p is a reflection so t h a t It(a) = p defines a m a p
7r : G ~ ~ P where P is the set of all p 6 A such t h a t p* = f l - 1 = fl; second
for a t a n g e n t vector X 6 T~G ~ t h e n o r m I[Xll~ = ]1~'-1/2XI/-1/2 H defines
a Finsler s t r u c t u r e on the b u n d l e T G ~. This bundle carries a canonical
connection d e t e r m i n e d by the t r a n s p o r t equation, with covariant derivative
defined by

DxY = X(Y) - I (Xa-IY + Ya-IX)

2

Research partially s u p p o r t e d by C O N I C E T , A r g e n t i n a a n d by Funda-

cion Antorchas, Argentina.
334 Corach, Porta and R e c h t

a n d parallel t r a n s p o r t along a curve 7 in G ~ given by the t r a n s p o r t function

F of 7- T h u s T G ~ is endowed with t h e resulting s t r u c t u r e of Finsler bundle
with a t r a n s p o r t connection. T h e exponential m a p of this connection is
1 --1.~ 1 a--1..
eXPa X = e - 8 9 9 a = eT a Zae7 n.

T h e restriction of the bundle T G s to P splits as TGSIP = T P (9 N where

t h e "normal bundle" N has over p 6 P t h e fiber

Np = { X 9 T e a s : X p = p X } .

T h e restriction to N of the exponential m a p is a diffeomorphism from N

onto G ~ which preserves the fibers. In Cheeger-Gromoll t h e o r y (see [3])
this is expressed by saying t h a t P is a soul of G ~.
R e t u r n i n g to t h e s t u d y of t h e flbration ~r : G s --+ P we give a de-
scription of t h e fibers of 7r and of the group of all g C U t h a t preserve
t h e fibers. T h e t a n g e n t m a p T~r : T G s ---+ T P decreases n o r m s in the
sense t h a t II(T,~r)Xll < IIxtl, ( x 6 T,~G'). This t h e o r e m is based on the
inequality lISTS -1 + S-1TS[] >_ 2I[T][ valid for b o u n d e d linear operators
S, T on a Hilbert space with S selfadjoint and invertible [4]. T h e m a i n
result of this paper is t h a t given two points in the same fiber G~ there is
a unique geodesic fully contained in G~ joining t h e m , which is the shortest
curve in G s with the same endpoints. A basic tool of t h e proof is the above
m e n t i o n e d contraction p r o p e r t y of T~r.
In finite dimensional cases, R i e m a n n metrics can be defined on T G ~
a n d we show an example where the canonical connection is t h e Levi-Civita
connection of such a metric. This paper is part of a series devoted to the
s t u d y of t h e g e o m e t r y of several reductive h o m o g e n e o u s spaces which ap-
pear n a t u r a l l y in B a n a c h and C*-algebra theories: t h e space of i d e m p o t e n t s
in a C*-algebra ([17], [18], [6]), the space Qn of n-tuples of i d e m p o t e n t s
decomposing t h e identity in a Banach algebra [5], t h e space of relatively
regular elements in a Banach algebra [8]. T h e subset A + of G * of all posi-
tive invertible elements of A is also considered in [7], where it is shown t h a t
the well-known Segal's inequality (see [21])lie (x+Y)l] <-]le(X/2)eYe(X/2)lt,
where X, Y are selfadjoint elements of A, is equivalent to t h e p r o p e r t y t h a t
Corach, Porta and R e c h t 335

the exponential m a p of A + increases distances, a p r o p e r t y which A + shares

with R i e m a n n i a n manifolds with nonpositive curvature. T h e g e o m e t r y of
some Hilbert homogeneous spaces has been previously studied by P. de la
Harpe ([12], [13]) and Finsler structure of some groups of operators on a
Hilbert space has been studied by Atkin ([1], [2]) who proves some results
on uniqueness and minimality of geodesics. The transport equation of Q~
has been independently found by Daleckii and Kato (see [9], [14] and also
[15], [10]); its geometric meaning, however, was first established in- [5]. In
the case n = 2, Q2 can be identified with the space of all the reflections and
its transport equation takes the same form as t h a t of G ~, a p h e n o m e n o n
which will be studied in a forthcoming paper.

1. Preliminaries
Let A be a C*-algebra with 1 represented as an operator algebra in a
Hilbert space H. Also denote by G = G ( A ) the group of invertible elements
of A and G s = G~(A) the space of invertible selfadjoint elements of G. For
each a 6 G ~ there is a form B a defined on H by B a ( x , y) = (ax, y). The
B a's are hermitian n o n - d e g e n e r a t e bilinear forms. The B a - a d j o i n t of u C A
is u a = a - l u * a . Hence the u n i t a r y group U a of B a consists of the u 6 G
with the equivalent properties u -1 = a - l u * a or ( u * ) - l a u -1 = a.
In order to study the natural geometry of G s we introduce the following
action of G on GS:
g . a = (g-1)* ag-1.

This action fits into the following picture: consider E = G ~ x H as a

p r o d u c t bundle over G s with fiber Ea = H over a 6 G ~. T h e n E is a
p s e u d o - R i e m a n n i a n bundle when each fiber E , is provided with the form
B a .

E can also be considered as a G - b u n d l e with the action

9(a,x) = (9. a, gx).

It is clear t h a t this action is isometric on fibers (because Bg'a(gx, gy) =
B a ( x , y ) ) and t h a t the isotropy group of a 6 G ~ for the action g 9 a is the
u n i t a r y group U a of the form B a.
336 Corach, Porta and Recht

Using Bg'a(gx, g y ) = B a ( x , y ) with g = a(b) the geometric interpreta-

tion i n t e r p r e t a t i o n of a is t h a t a(b) an isometry from Ea = (H, B a) onto
Eb = ( H , Bb).
In t h e sequel we d e n o t e G ~'a t h e orbit {9" a; g C G} of a.

1.1 PROPOSITION The orbits G s'a are open and closed in G s and for
each a 6 G ~, the map
G --+ G ~'a, g --~ g . a
is a s m o o t h principal bundle with group U ~.

P r o o f i It suffices to show t h a t G --* G s'a has a s m o o t h local section near

a 6 G s. For b 6 G s near a p u t or(b) =- (b-la) 1/2. Here b - l a is close to 1
and the square root has t h e usual m e a n i n g (see [20] for example). R o u t i n e
calculations show t h a t

o(b) . a = (((b-' a)l/2)-')*a((b - I a)I/2) -1 =- b

so t h a t cr is a local section, as needed. This completes the proof of 1.1.

It is readily seen t h a t G s has a functorial character in t h e category
of C*-algebras and * - h o m o m o r p h i s m s . In particular, using Michael's result
[16] t h a t G(A) -~ G(B) is a Serre fibration if f : A ~ B is a surjective
* - h o m o m o r p h i s m , Proposition 1.1 implies t h a t f : GS(A) ~ GS(B) is onto
if a n d only if every c o m p o n e n t of GS(B) contains some element of t h e image
of f. This result is useless in the case when A is t h e algebra of all b o u n d e d
linear operators on a Hilbert space H and B is t h e quotient of A by the
ideal of all c o m p a c t operators (the Calkin algebra of H ) since in this case
the n a t u r a l projection GS(A) --* Gs(B) is onto ([13], p. 197). However in
general there is no way of lifting elements and t h e criterion above m a y be
adequate.
We use a = zzp as t h e polar decomposition of a w i t h v = lat -= (a2) 1/2 >
0 a n d with p unitary. Since la[ and a c o m m u t e we have

p* = ( l a l - X a ) * = a l a l - ' = lal-' = P

whence p is a selfadjoint unitary element of A, or p* = p-1 = p.

Corach, Porta and Recht 337

2. T h e canonical connection
Denote by H a the Lie algebra of U a. It is clear t h a t H a is a subalgebra
of the Lie algebra ~ of G and that G can be identified with A (since G is open
in A). In this identification, H a corresponds to the set of B a - a n t i s y m m e t r i c
elements of A, i. e.,
H a = { x C A; a - l x * a = - x } .

2.1 PROPOSITION L e t S ~ d e n o t e t h e set o f e l e m e n t s s o f A w h i c h are

B a - s y m m e t r i c , i. e., w i t h a - l s*a = s. T h e n A = H a 9 S a a n d t h e elements
o f U ~ c o n j u g a t e S a into itself." i f s E S ~ a n d g C U ~, t h e n gsg -1 E S a.

Proof.- Only the last statement needs a proof:

a - l ( g s g - 1 ) * a = ( a - l ( g - 1 ) * a ) ( a - l s*a)( a - l g*a) = gsg -1.

2.2 PROPOSITION For g C G define W a = {gs; s C Sa}. T h e t h e m a p

g ~ Wg C T g G ( = A ) is a distribution o f h o r i z o n t a l spaces for a connection
on the principal b u n d l e G --~ G ~'a.

Proof." ( W g ) u = Wg~ for u C U a , g C G is equivalent to ~sa?A -1 S a, --~

which is shown in Proposition 2.1.

The connection defined by the distribution Wg is the canonical con-
n e c t i o n of the bundle G ~ G s'a.

2.3 PROPOSITION [f T ( t ) , u < t < v is a curve in G s,a, a curve r ( t ) in

G is a h o r i z o n t a l lifting o f 7(t) if and onty i f F(~) satis~qes t h e " t r a n s p o r t
equation"
= --17-1~F"

Proof: Suppose that F(t) lifts 7(t), or F(t).a : 7(t) or (F-1(t)) *aF-l(t) =
7(@ Then 7 -1 = Fa-IF * and by differentiation we get
--7--197 -1 = Fa-lr * + ra-lF *
338 Corach, Porta and Recht

or
_7-1~/= ~ a - l r * ( r - 1 ) * a r -1 + r a - l ~ * ( r - ~ ) * a r -1
= ( r + M ) F -1

where M = ra-l(r-l )*a. Hence the equation F = -(1/2)7-1+p holds if

and only if M = F. This in turn is equivalent to

r-~ = a-l(r-~F)*a,

or F-11p E S a or finally I" E Wr. This completes the proof.

In the sequel we shall be interested only in solutions F of the transport
equation with F(u) = 1. These satisfy F ( t ) . 7(@ = 7(t) for all u _< t <
v. This P will be refered to as the "transport function" of the path 7(t)
(cs [5], [10], [14], [15], [18]). The transport function has the following
fundamental property:

2.4 PROPOSITION If 7(t) is a curve in G ~ with transport function F(t)

then for g E G the transport function ofg 97 = (g-1)*Tg-1 iS g l - ' g - 1 .

3. Induced Connections

Suppose C is a G - m a n i f o l d (G = G(A)) and C --* G ~ is a C ~176

G-
Banach bundle, i.e., G operates in a compatible C ~ way on C and G s.
A connection D on C is a transport connection if parallel transport in C
along a curve a(t) is given by the transport function of a(t). This means
that a section a(t) of C along a(t), 0 _< t _< 1, is D-parallel is and only if
~(t) = r(t)(~(0)) where r(t) satisfies I" = -(1/2)a-lar, r(0)= 1.

3.1 PROPOSITION Transport connections are G-invariant.

P r o o f i Use Proposition 2.4.

We define several transport connections resulting from the systematic
use of the transport functions in appropriate contexts.
Corach, Porta and R e c h t 339

The bundle E

Let E = G s • H as a G - b u n d l e w i t h t h e a c t i o n g(a, x) = ( g . a , gx)

described above in Section 1 a n d define t h e c o n n e c t i o n on E by

.v
dt = (r-l(~)v(~))t~=~

for a n y section v(t) = ( a ( t ) , x ( t ) ) over a(t).

3.2 PROPOSITION D is a transport connection on E and

1 1
nxv = X ( v ) + -~a- X v .

T h e curvature of D at a 6 G ~ is:

n(x,Y) = - ~l [ a - l X , a - l y ] "

N e x t define a R i e m a n n i a n m e t r i c (( , )) on E as follows. For a 6 G s let

a = up be t h e p o l a r d e c o m p o s i t i o n of a w i t h u = la[ = (a2)1/2 > 0 a n d p
u n i t a r y . We define on t h e fiber Ea = H t h e m e t r i c

((x, y))o = (.x,y)= <.l/2x,.1/2y).

Define also a 1 - f o r m on G s w i t h values in A by s e t t i n g at each a 6 Gs:

1
S = --a -1 [dp, u]
2

where a g a i n a = up is t h e p o l a r d e c o m p o s i t i o n of a.

3.3 PROPOSITION For any tangent field X on G ~, and any sections x, y

of E we have:

X ( ( x , y ) ) - ( ( D x x , y)) - ((x, D x y ) ) = ( ( S ( X ) x , y ) ) .
340 Corach, Porta and R e c h t

Proof:
Dx Dy
X((x,y)) - ((--~-,y)) - <(x,--~-))
d 1 1
---- --~(.x,y) - (•(2 + -~a- d x ) , y )
1
- (.x,(~) + ~ a - &y))
1

= (~x, y) + <.~, y) + <.x, y)

l (pa-l ~tx,y)

--(-x,Y)- ~1 <~x, a - i f y)

= (zz(p,-1/~- _1a - l ~ _ -1y - l S a - l y ) x , y )

2 2
But
- - 1 .y---~lg--l
1 p(pz] -1L p~ ) - -~
1 v-l(~p + vh)p
V

1 1 -lfj 1 1
= ~ - I ~ _ _2~ - I p ~ _ _ ~ 2 _ _2~ - i ~ 2~ p
1 -I 1
: --~2 PP~- ~PP

= _ ~1 - , p ~ 1
+ ~p~
:
1
----a--l(P/] -- /2/)) : --7
1 a -- 1"[/~' /2]'
2
as c l a i m e d .

3.4 COROLLARY Parallel transport on E preserves the metric on curves

with p = constant.

The bundle M

W e define M as t h e p r o d u c t b u n d l e M = G s • V w h e r e V is t h e
s p a c e of b o u n d e d c o n j u g a t e b i l i n e a r f o r m s o n H . T h e g r o u p G a c t s on V
Corach, Porta and Recht 341

by gg(x,y) = g ( g - l x , g - l y ) . If g(t) is a curve in M on t h e curve a(t) we

define
__ Du v) - 3(u, Dv
dt dt
for any sections u, v in E. T h e right h a n d side has t h e f o r m

~(~, v ) + g ( ~ , v) + ~(u, 6)

- ~ ( ~ t , v ) - ~ t 3 ( a - l h u , v)
g ( u , ~))
- -
-~g(u,a-l av)
1

:~(u,v)--~(a-lhu, v)--2~(u,a-lctv),

which obviously d e p e n d s only on t h e values of u, v at each point b u t not on

their derivatives. This m e a n s that:

3.5 PROPOSITION The connection on M is a transport connection with

covariant derivative
1
( D x g ) ( u , v ) -= (X(~))(u,v) - l g(a-aXu, v ) - -~g(u,a-lXv)

The bundle L = Gs x A

T h e elements b in A can be i n t e r p r e t e d as bilinear forms by fl(u, v) =

(bu, v) a n d t h e connection on M induces a connection on L = G ~ • A by
Da v) = v)

where fl(u, v) = (au, v).

3.6 PROPOSITION The connection on L is a transport connection with

covariant derivative
D x a = X(a) - ! ( X a - l o r -Jc g r a - l X ) .
9
342 Corach, Porta and R e c h t

The curvature of D satisfles:

4 R ( X , Y ) a = a[a -1 X , a -1 Y] - [Xa -1 , Y a - 1 ] a .

Proof." The fact that D is a transport connection on L results from calcu-

lating for a fixed b 6 A:

~D( F . b ) = ~D( ( F - 1)*bF -1)

= _ (v-1),br-X~r-x

1 (aa_ (r_l).br_l +
2
1. _ x ( v _ l ) , b r _ ~ + l(F_X),bF_Xa_Xh
~-- --aa
2
- 2 ( h a - l ( F - 1 ) * b p - 1 + ( P - X ) * b P - l a - X h ) = O.

3.7 PROPOSITION The section a --~ B a in G ~ x A is parallel.

Proof."
Da 1
dt - h - (ha-la+aa-lh)=O.

3.8 COROLLARY The section a --* (a, a) in L is parMlel.

P r o o f : Since Ba(x, Y) = (ax, Y), Ba corresponds to the tautological section

in G" x A.
The metric (( , )) in E defines a Finsler structure on the bundle of
bilinear forms M = G" x V, as follows. If fl 6 M~ then

I]fl[la = sup{ifl(x,y)l; ((x,x))a _< 1,((y,y))a <_ 1}.

W i t h the interpretation of u 6 A as the bilinear form fl(x, y) = (ux, y), this
translates into a Finsler norm on the bundle L = G * x A given explicitly
by: f o r u E L a = A ,
l[7/]la = ]1/./-1/2uy-1/2[I
Corach, Porta and R e c h t 343

(11 [l=~ operator norm calculated from ( , >).

Notice that if a = vp = t, -1/2 9 p (z~ > O, p = unitary) then the map

?~ --+ t ] - 1 / 2 " U~ Lp -~ La

is an isometry for the norms [[ [[p ( = ][ [[), [[ [[a. In the sequel length of
curves and related concepts refer to this metric through the usual definition

Length(7 ) = / II;/(t)ll~(t)dt.

The tangent bundle TG s

The set G * is open in the real subspace A s of symmetric elements of A.

Hence T G ~ = G ~ x A s is a subbundle of L = G s x A. Since the covariant
derivative in L defined by 3.6 produces symmetric results from symmet-
ric data, we can restrict this connection to T G ~. This is the canonical
connection on G s, with covariant derivative defined by

DxY = X(Y) - I (Xa-Iy + Ya-~X)

and parallel transport along a curve a(t) in G ~ given by the transport func-
tion F(t) of a(t) acting on tangent vectors by F ( t ) - X = (r(t)-l)*xr(t) -1.
Since the term X a - I y + Y a - I X in D x Y is symmetric in X and Y, the
connection in T G ~ is a symmetric connection. Similarly, the curvature of
T G ~ is given by

4R(X,Y)Z = Z[a-IX, a-IY] - [Xa-I,ya-1]Z.

The Finsler structure of L = G ~ x A can be restricted to T G ~. In the

sequel we will always consider T G ~ as endowed with the resulting structure
of Finsler bundle with a transport connection.
Finally we briefly describe the exponential mapping of this connection.
Direct computation shows that given a 6 G ~ and X 6 T a G s, the curve
344 Corach, Porta and Recht

7(t) -- e t X . a , w h e r e )~ = - ( 1 ~ 2 ) a - I X , is the geodesic w i t h 7(0) = a,

~(0) = X . T h e r e f o r e t h e e x p o n e n t i a l m a p p i n g is

e x p , X = e - ~ - I x/2 9 a.

This can also be w r i t t e n as expa X = al/2ea-1/2xa-1/2al/2.

4. The structure of G ~

Let P C G s be t h e set of orthogonal reflections of A, i.e., p 9 P if

a n d only if p* = p = p-1. We define a flbration 7r : G s --+ P by setting
Tr(a) = p w h e r e a = up is t h e polar d e c o m p o s i t i o n of a. As n o t i c e d in t h e
preliminaries section, p is a selfadjoint unitary, hence an e l e m e n t of P .
Given p 9 P we write each u 9 A as a 2 x 2 m a t r i x

Ull U12 /
U ~ \ U21 U22

where ~11 ~---pttp, Ul2 = p ~ ( Z - - p ) , U21 -~ (J- - - p)~p, U22 = ( ! - - p)~t(~l - - p ) ,

for p = (p + 1 ) / 2 t h e associated s y m m e t r i c projection. This d e c o m p o s e s
t h e algebra as A = A0 | A1 where A0 consists of t h e diagonal elements

Ull 0)
U ~ 0 ~22

a n d A1 consists of t h e codiagonal elements

U ~
(o
U21

Equivalently, Ao = {u;up = pu), A1 = { u ; u p = - p u } . We say t h a t

d e g r e e ( u ) = 0 for u 6 A0 a n d d e g r e e ( u ) = 1 for u 9 A1. T h e n A = Ao | A1
is a Z 2 - g r a d e d algebra.

4.1 PROPOSITION Denote by Gps the/~bers 7 r - l ( p ) oleTr : V s --+ P.

a) G; = {a e G" n A0;ap > 0} = {.p;~ > 0,~p = p~}.
s
b ) The g r o u p of all g ff G that preserve the/~ber Gp, i.e., g 9 a 6 Gp$
for each a 6 GSp is G M Ao.
Corach, Porta and Recht 345

P r o o f o f a): a G G * N A 0 a n d ap > 0 imply a = (ap)p is t h e polar

d e c o m p o s t i o n of a.
P r o o f o f b): Let g C G c o m m u t e w i t h p . T h e n for any a = u p C G oS we
have g . a = ( g - 1 ) * u p g - 1 . T h e n g . a is in no (as a p r o d u c t of degree zero
elements) a n d it is symmetric. Also (g. a)p = ( g - 1 ) * u g - 1 > 0 so t h a t by a)
s
we get g. a G G~. Conversely, assume t h a t g G G acts on G o. T h e n for each
u > 0 w i t h up = pu, there exists u' > 0 with u'p = pu' a n d g . (up) = u'p.
D e c o m p o s i n g g-1 = h0 + hi with h0 C A0 a n d hi G A1 we get

u'p = g . (up) = (h~ + h~)up(ho + h , )

= (h~ + h ~ ) u ( h o - h~)p,

so t h a t after cancelling p a n d c o m p a r i n g t e r m s of t h e same degree we get

h~uho - h~uhl = u' h~uhl - h~uho = O.

Taking u = 1 it follows t h a t h~ho = v' + h~hl > 0 a n d h0 is invertible. But

t h e equality h~vhl = h~vho can not hold for all u > 0 c o m m u t i n g with p
unless hi = 0. In fact consider t h e example

v=
(0 0) /3

a n d write
h0 = ( hll 0) h l : ( 0 h12)
\ 0 h22 h21 0 "
T h e n f r o m h ~ v h l = h~uho we get

h~101h12 = h~1/3h22

a n d since we can take a,/3 > 0 arbitrary real numbers, we get h~1h12 = 0
a n d h~lh22 = 0. Cancelling h~l a n d h22 we conclude t h a t h12 = 0, h21 = 0
a n d therefore h = 0. This m e a n s t h a t g-1 (whence g) has degree 0 a n d the
proof is complete.
346 Corach, Porta and R e c h t

T h e restriction to P of the bundle T G ~ splits as a s u m T G ~ ]p = T P |

where the "normal" b u n d l e N is defined by Np = {x 6 T p G ~ ; x p = px}.

4.2 THEOREM L e t "z : N --~ G ~ be the restriction t o N o f the exponen-

tim m a p p i n g o f G s, so t h a t E(p, X ) = e-pX/2 .p. T h e n E is a diffeomorphism
satisfying E(Np) = G p" s

P r o o f : T h e inverse of Z is given at a = vp by ~ . - l ( a ) = (p, p l n v ) .

We close this section with the r e m a r k t h a t geodesics in a fiber with

given e n d p o i n t s are unique. This follows from t h e fact t h a t positive elements
have unique s y m m e t r i c logarithms. In fact, if x 6 G~ a n d H = H+ | H _
with H i = {x; px = + x } , t h e n

a+ 0 )
a= 0 a_

can be w r i t t e n in a unique way as a = r 9 p where

(1 -~X+ 0 )
0 7X_

and X • symmetric. So there is a unique geodesic joining p with a. For

arbitrary b, a 6 G~, operate first with a convenient g 6 G A A0 to reduce to
the case b = p.

5. Projecting on the base

T h e basic fact of this section is t h e following.

5.1 THEOREM The tangent m a p TTr : T G ~ --+ T P decreases norms.

P r o o f i We want to prove that

IIT Xll < IlXll~

Corach, Porta and Recht 347

for all a E G 8. Let a(t) be a curve in G 8 and X = &(t). Let p(t) = ~r(a(t))
and let F(t) be the transport function of p(t). Finally define al(t) = F(t).
a(0). Since ~r(a(t)) = ~r(al(t)) (F(t)is u n i t a r y ) w e get that X2 = k(0)-&l(0)
is tangent to the fiber 7r-~(p(0)). Next calculate at t = 0:

d 1
X, = al = ( r ( t ) . a(0)) = ~ ( - p ~ a + ap~).

Writing at t = 0 the polar decomposition a = up = pu we get

1 1
Xl = ~(-p~pu + upp~) = ~(~u + u~).

Then calculate

IlXll~ = llu-~Xu--~ II
1 1 1
= Ilu-~ x~ u-~ + u-~X~u-~ II
~___ 1 1 1 9
= II ( u - ~ u ~ + u~pu-~) + u-~X=u-~ll.

Recall the inequality ([4]):

lISTS -1 + S-~TSII > 211TII

valid for any symmetric invertible operator S and any operator T. This
reduces the proof of the theorem to the inequality

Ilu-~Xu--~ II ~ tlu-@xlu-~lI.

But
1 1 i 1 1 1
u-LXu-~ u-LXI u-~ +

is the decompostion of u - l X u - ~ in degree 1 and degree 0 components

determined by p(O). This is clear because p# = -/~p and X2 is tangent to
Gp(0).s Therefore if we write
348 Corach, Porta and R e c h t

u - ~ X l v--~ =
(0 )
fl

l/--~ X 2 ~ - - ~ = (o o)
t h e n clearly
ii.--~ x~,-~ II ~ I1~11= II~--~ x~ ~--~ II.

5.2 THEOREM A geodesic of length less than 7c contained in P is the

shortest curve in G s joining its endpoints.

P r o o f i Let 7 be t h e geodesic in P joining p0 and Pl a n d let 5 be any other

curve joining P0 a n d Pl- T h e n 51 = 1r(5) is contained in P a n d according
to T h e o r e m 5.1, the length of 51 does not exceed t h e length of 6. T h e n
observing t h a t the Finsler metric of G s restricted to P is given by ordinary
operator norm, a direct application of [18] gives t h e desired m i n i m a l i t y and
uniqueness.

6. G e o d e s i c s in a f i b e r

Suppose a(t), 0 < t K 1 is a curve in G s with Tr(a(0)) = a(1).

Denote p(t) = ~-(a(t)), u(t) = a(t)p(t), and r ( t ) the transport function
of p(t). Next define a(t) = P - l ( t ) a ( t ) F ( t ) . Since r ( t ) is unitary, the polar
decomposition of a is
~ = (r-'vr)(r-lpr),
8
or 7r(~) = P - l p F = p(O) for each t. This means t h a t a is a curve in ap(0).
Observe t h a t a has the same endpoints as a because

~(o) -- r-a(o).(o)r(o) = a(O)

a n d by the hypothesis ~r(a(0)) = a(1) we have p(1) = a(1) a n d therefore

~(~) = r-l(~)~(~)r(~) = r-l(~)p(1)r(~) = p(o) = p(1) = a(~).
We claim t h a t

( 82 I1~11~ _< Italia 9

Corach, Porta and Recht 349

First (use Pt = -tiP, a = up, etc.):

a = - r - ' ( - ~-pt>r + r - ~ ( - ~-pt)r + r - l a r

1 1 .
= r- (ff(pp~ - ~pt) + a ) r

= F _ 1 pb + i.,pp
2
and therefore

Ilall~ = II(r-l~-l/~r)a(r-l~-l/~r)ll
= ,llF_1u_112 pi:
- -+ i.'p u - 1 / = p [ I
2
1
= ~ll~-~/~(p ~ + ~p>-~/=ll 9

On the other hand, a = up = pv gives

1 1
= ~(Pb + @) + ~ ( t ~ + ut)

and then

But in the matrix decomposition at each p(/)

u-I/2(tu+uP)u-~/2 = 5 0

(because the former commutes with p and the latter anticommutes with p).
Hence

implies IlaiIo > II~tl~ 9 This is inequality ( 82 and the claim is proved.
350 Corach, Porta and R e c h t

This inequality shows that:

6.1 PROPOSITION. For any curve joining a 6 G s with 7r(a), there is a

shorter curve in the lqber G~(,) with the same endpoints.

T h e following technical result is needed in the proof of T h e o r e m 6.3:

6.2 LEMMA. Let p be a r a n k 1 orthogonad projection in the Hitbert

space H, a : H -~ H positive det~nite, X : H --~ H selfadjoint. Then

I[pa]/2Xa]/2pll <_ Hpapll HXH-

Proof: Decompose H -- Ce (~ H 1 where IleH = 1, p(e) = e, a n d HI =

ker(p). T h e n we have m a t r i x representations

a]/2= ( AB B*)C

X=(~ 7"o)
where A, ~ are scalars, B E H] and B* : H1 --+ C is t h e functional B*(h) =
(h, B), a n d O, C are operators in H1. Define also a bilinear m a p F : H x H --~
C by F(u, v) = ( Z u , v). T h e n calculating we find t h a t t h e (t,1) entry W]I
of W = a]/2Xa U2 is F(Ae + B, Ae + B). T h e n

IIW~[I ~ IIFII IIAe + BIt 2 : IIX[I IIA~ + BII ~ = I[X[I(A 2 + IBI=) 9

But
[ A 2 + B*B AB* + B* C
a=(dl/2) 2 = \ BA + CB BB* + C 2 /
a n d so
tlW~lll ~ IIXII Ilal~ll,
as claimed.
Corach, Porta and Recht 351

6.3 THEOREM. T h e unique geodesic in G~ joining two points a, b 9 G~o

is the shortest curve in G s joining a and b.

P r o o f i We consider first t h e case w h e r e b = p. Let w(t), 0 < t < 1 be a

curve joining p a n d a, a n d 7 ( t ) = e ~ .p, 0 _< t _< 1, t h e geodesic in G~
joining t h e s a m e e n d p o i n t s w h e r e X = ~(0) 9 TpG~ a n d .~ = ~pX.
1 We
will show t h a t
L e n g t h ( w ) >_ Length('),).

By 6.1 we m a y a s s u m e t h a t w is fully c o n t a i n e d in G~. We h a n d l e first t h e

case p = 1.
By c h a n g i n g t h e r e p r e s e n t a t i o n if necessary, we can find e 6 H w i t h
Xe = he, IIell= i and = IIXII.Next, we d e c o m p o s e H as H = C e O C e -L
a n d t h e r e f o r e we can o b t a i n by compression to C e two curves 711 a n d w u
defined as t h e (1,1) entries of t h e m a t r i c e s of 7 a n d w in t h e d e c o m p o s i t i o n
H = C e @ Ce. By 6.2 we have Length(w11) _< L e n g t h ( w ) . Also, 7 1 1 ( t ) _7_
(e t ~ . p) = e tA a n d

II+11117H I~%17~= = I~-~12~-*~12~I I~I =

so t h a t
L e n g t h ( 7 1 1 ) = ]~] = ]IX]] = Length(-)').

Since wu(t) > 0 we can calculate

1
Length(wn) =
~0 U&n(t)]]~u(t)dt

j[o1 Iwull2(t)&n(t)wnl/2(t)ldt

= [d)ll(t)/wn(t)[dt _> Ilog Wll(t)l~[--I~1

since w u ( 1 ) = 711(1) ---- e "x, w l l ( 0 ) = 711(0) = 1. This shows t h a t 7 is

m i n i m a l in t h e case p = 1.
352 Corach, Porta and Recht

Consider next an arbitrary p and d e c o m p o s e H = H+ | H _ where

H + = {x; px = i x } . T h e n

X = 0
X_ '
X = -TX+
0
0
+ix_ )
and
e x+ 0 )
7 ( t ) = d ~ "p = 0 -e -*x-

Similarly,
= )

But,
IlXll = IIX+ll or IlXl[ = IIX-II
and

so t h a t by choosing the half where X keeps its n o r m we are (up to sign) in

the case p = 1, a n d the proof is complete.
To complete t h e proof, operate with an element of G n A0 to reduce
the general case to b = p.

7. An example

We consider now the algebra A of linear e n d o m o r p h i s m s of t h e Hilbert

space C 2 with t h e s t a n d a r d inner product. T h e n G = GL(2, C) a n d G 8
has three connected c o m p o n e n t s d e t e r m i n e d by signature. Denote G~ the
c o m p o n e n t consisting of the positive definite elements of A. T h e level
manifolds Mh = {a; det(a) = h} of t h e d e t e r m i n a n t f u n c t i o n det : G~ --*
R + form a s m o o t h foliation with three dimensional leaves. Also t h e rays
Na = { r a ; r > 0} with a 6 M1, form a one dimensional foliation a n d
{Mh} is transversal to {N,}. T h e leaves Mh are t h e orbits of the action
g.a = (g-1)*ag-1 of the subgroup SL(2, C) C GL(2, C) a n d the leaves Na
are t h e orbits of the center {zl ; z # 0} of GL(2, C).
Since a curve t h r o u g h a(0) = 1 with det(a(t)) = 1 satisfies tr(4(0)) =
0, by translation we have t r ( a - l & ) = 0 for all curves in Mh. T h e n t h e
Corach, Porta and Recht 353

solution P of the transport equation I" = - ! a - l a r is contained in COL(2,C).

2
Therefore the canonical connection on TG~ preserves the leaves Mh (in the
sense that D x Y is tangent to Mh whenever both X and Y are), and these
leaves are totally geodesic.
Introduce a Riemannian metric on G~ by (X, Y ) , = t r ( a - l X a - I Y ) for
X, Y 6 T~G~. Writing
(X,Y)a = tr((a-1/2Xa-1/2)(a-1/2ya-1/2))

shows immediately t h a t (X, Y)~ is positive definite. The foliations {Mh}

and {No } are orthogonal for (,)

7.1 PROPOSITION. The canonical connection in TG~ is the Levi-Civita

connection of the Riemann metric t r ( a - l X a - l y ) and GL(2, C) acts iso-
metrically on G~.

Proof." We already observed that the canonical connection is symmetric.

Using 3.6 one verifies that, for X, Y, Z tangent fields, it holds that

Z ( X , Y ) = ( D z X , Y) + (X, D z Y )

and this completes the proof.

The tangent space T1M1 to det = 1 at a = 1 is the space of symmetric
2 x 2 matrices with trace zero. Using

1 0 ' J= 0
o) ;)
we can write the arbitrary element

X=( z -yix z+ix)

-y
in T1M1 a s
(~) X = - i ( x I + yJ + zK)
354 Corach, Porta and Recht

(x,y,z are real). Further, each g 6 SU(2) has the form

and writing o~ = s + ui, ~ = v + w i we can expand g as

g =s+uI+vJ+wK.

The condition Io~1= + I~1 ~ = 2 2 + ~2 + v ~ + w = = m i m p l i e s

g -1 = s - u I - v J- w K = g*

and therefore
g 9X = g X g -a .

This shows that the action of SU(2) on T 1 M 1 corresponds to the action

by inner automorphism of quaternions g with [gl = 1 on the 3-space of
purely imaginary quaternions. T h e n with elements of SU(2) we can obtain
any rotation of R 3 identified to T1Ma through X ~ ( x , y , z ) as in (~). In
particular any plane in T a M a can be m a p p e d onto any other plane.
Observe next that SU(2) operates isometrically on M1 and leaves 1
fixed. Hence the action of S U ( 2 ) l e a v e s sectional curvature K ( X , Y ) =
( R ( X , Y ) Y , X ) invariant. This shows that the sectional curvature in T M a
is the same for all planes in T M a . T h e n operating with g G SL(2, C) we
conclude the M1 has constant sectional curvature. For any pairs X, Y G
T I M 1 , we can calculate

4(R(x,Y)Y,X) = t r ( ( X Y ) ~) - tr (X~Y ~)

so that taking X =
( j2 0
0)
-x/~/2 ' Y =
(0v~/2 0 we can
verify t h a t ( X , X ) - (Y,Y) = 1, ( X , Y ) = 0 and therefore the sectional
curvature of M1 is

1
4 ( t r ( X y ) 2 - t r ( X 2 y 2 ) ) --
Corach, Porta and Recht 355

More generally (with the same proof!):

7.2 PROPOSITION. The submanifolds Mh C G~ deigned for each h > 0

by det = h have constant sectional curvature - 1 / 4 v f h .

8. Appendix

There is an alternative way of obtaining the transport function of 7

in terms of multiplicative integrals (see [19], [11], [22]) Consider a curve
7(t), u _< t _< v in G s. Assuming 7(t) continuous we can find a partition
n = {u = 40 _< ~1 _< -.. _< ~ = v} with 7(~,) and 7(~i+1) close ~or all i.
Next define

PII : (~(~n)--l~(~n--1)) 1/2"'" (~(t2)--1'~(tl)) 1/2('~(/;1)-1"~(~0)) 1/2

which makes sense because 7(t~+l)-aT(ti) is close to 1 for all i. Since

x 1/2
~[(~i+x)--l'f(~i)) "~[(ti) : ~/(~i+1)

(proof of Proposition 1.1) we get PII 9 7(u) = 7(v)- Taking limits on the
partition (assume t h a t the curve is smooth) we can define the multiplieative
integral
P(v,u) = lira PII
H
and then
P(v,u)'7(u)=7(v).
From the definition of P we see also that for u _< w _< v:

P ( w , v ) P ( v , u ) = P(w,u)

or
P ( ~ , v) = P ( ~ , ~)P(~, ~ ) - ' = p ( ~ ) p ( v ) - ~
356 Corach, Porta and Recht

w h e r e we a b b r e v i a t e P(t) = P(t, u) w i t h u t h e left endpoint.

8.1 PROPOSTION Given a smooth curve 7(t), u < t < v in G s, the

horizontal lifting; r ( t ) o f 7 ( t ) with initial condition F ( u ) : 1 is given by
r(~) = P ( t , u ) .

Proofi We will see t h a t P ( t , u ) satisfies t h e t r a n s p o r t e q u a t i o n F =

-(1/2)-y-l%r. For t h a t a p p r o x i m a t e t h e curve 7 ( t ) by a piecewise linear
curve r(t) joining "/'(to), 7 ( t l ) , ' ' ' , 7 ( t n ) so t h a t b e t w e e n ti a n d t{+l we have
r ( t ) : 7 ( t / ) + s(7(ti+l - "y(ti) w h e r e s = (t - ti)/(ti+l - ti). A b b r e v i a t e
a = 7 ( t / ) , b = 7(ti+1). T h e n

r = a + s(b - a) = a(l + $a-l(b- a))

so t h a t letting c = a - l ( b - a) we can write

r : a(1 + sc)
r - 1 ( b - a) : (1 + sc)-Ic

and
T--I+ = ~(1 + sc)-lc.
T h e n t h e f u n c t i o n Ti(t) = (1 + sc) -1/2 satisfies T ~ ( t ) = (1 + sc) -1 a n d

TiT{ + TiTi : - ( I + sc) -1~c(I + sc) -1

SO
TIT-' + T & T 7 ~ :-(1 + ~ ) - ~ : -~-'+.
Therefore
1 1
TiTi -1 =---~T -I+_ -~[T i, Ti]T[-2.
Now at t = ti we have Ti = 1 a n d t h e n [Ti, Ti]T[ -2 : 0 there. Hence if a
a n d b are close then:
TiT~-I = 12r-X+ - K
Corach, Porta and Recht 357

with K small. Define now for ti < t < ti+l the function

T n ( t ) : T i ( t ) T { - l ( t i ) T i - 2 ( t i - 1 ) . . . To(tl ).

Taking limits on the partition II we get the function

T1 = lim Tn
II

and the identities

7 = l i m r, 0 = lira K.
H H
Hence T1 satisfies
1 1.
TIT71=-~- ~.
But T1 = P . In fact, let us calculate:

Ti(ti+l) -~ (1 ~- c) -1/2
= (1 + a - l ( b - a))-l/2
: (1 + a - l b - 1) -1/2
= ( a - l b ) - l / 2 = (~-1a)1/2.

Then

TII(~n) = Tn-l(l~n)Tn-2(tn-1)...
-~- (o'(tn)--1~[(~n_1))--l/2 (~(~n_l)--lo'(?~n_2))--l/2

and therefore T1 = lim TH = P as claimed.

References

[1] C. J. Atkin, T h e Finsler g e o m e t r y of groups o f isometries of Hilbert

space, 3. Australian Math. Soc., 42 (1987), 196-222
[2] C. J. Atkin, T h e Finsler g e o m e t r y o f certain covering groups o f oper-
ator groups, Hokkaido Math. J., 18 (1989), 45-77.
358 Corach, Porta and Recht

[3] J. Cheeger and D. Gromoll, On the structure of complete manifolds

of non-negative curvature, Annals of Mathematics, (2) 96 (1972),
413-443.
[4] G. Corach, H. Porta, and L. Recht, An Operator Inequality, Linear
Algebra and its Applications, 142 (1990) 153-158.
[5] G. Corach, H. Porta, and L. Recht, Differential Geometry of Systems
of Projections in Banach Algebras, Pacific Journal of Mathematics,
143 (1990), 209-228.
[6] G. Corach, H. Porta, and L. Recht, The Geometry of Spaces of Pro-
jections in C*-Algebras, to appear in Advances in Mathematics.
[7] G. Corach, H. Porta, and L. Recht, A geometric interpretation of
Segal's inequality IleX+Yll < IleXl2eYeXl211. To appear in Proc.
Amer. Math. Soc.
Is] G. Corach, H. Porta, and L. Recht, Differential Geometry of Spaces
of Relatively Regular Operators, Integral Equations and Operator
Theory, 13 (1990) 771-794.
[9] Ju. L. Daleckii, Properties of Operators depending on a parame-
ter, Dopovidi. Akad. Nauk. Ukrain. RSR, 6 (1950), 433-436
(Ukrainian)
[10] Ju. L. Daleckii and S. G. Krein, StaN1ity of Solutions of Differential
Equations in Banach Spaces, Trans. Math. Monographs 43, AMS,
Providence, 1974
[11] J. D. Dollard and C. N. Friedman, Product Integration, Encyclopedia
of Mathematics and its Applications, Vol 10, Addison-Wesley, 1979.
[12] P. de la Harpe, Classical Banach-Lie algebras and Banach-Lie groups
of operators in Hilbert sp~ce, Lecture Notes in Mathematics Nr.
285, Springer-Verlag, 1972
[13] P. de la Harpe, Initiation ~ l'alg~bre de Calldn, Alg6bres d'op6rateurs,
Lecture Notes in Mathematics Nr. 725, pp. 180-219, Springer -Ver-
lag, 1979
[14] T. Kato, On the Adiabatic Theorem of Quantum Mechanics, J. Phys.
Soc. Japan 5 (1950), 435-439.
T. Kato, "Perturbation Theory for Linear Operators", 2nd Ed.,
Springer-Verlag, Berlin, 1984.
[16] E. Michael, Convex structures and continuous selections, Canad. 3.
Math., 4 (1959), 556-575
[17] H. Porta and L. Recht, Spaces of Projections in Banach Algebras,
Acta Matems Venezolana, 38 (1987), 408-426.
[181 H. Porta and L. Recht, Minimality of Geodesics in Grassmann Man-
ifolds, Proc. AMS 100 (1987), 464-466.
Corach, Porta and R e c h t 359

[19] V. P. Potapov, The multiplicative structure of J-contractive matrix

functions (Appendix), Amer. Math. Soc. Transl., Ser II, 15,
(1960), 131-244.
[20] C. E. Rickart, "General Theory of Banach Algebras", Van Nostrand,
New York, 1960
[21] I. Segal, Notes toward the construction of nonlinear relativistic quan-
tum t]elds, Bull. Amer. Math. Soc., 75 (1969), 1390-1395
C2 ] V. Volterra et A. Hostinsky, Operations ~nfinitesimales lin4aires, Gau-
thier-Villars, Paris, 1938.

GUSTAVO CORACtt
Instituto Argentino de MatemKtica,
Viamonte 1634, Buenos Aires, Argentina.

HORACIO PORTA,
Department of Mathematics, University o~ Illinois,
1409 West Green Street, Urbana, IL 61801, USA.

LXZARO RECHT,
Departamento de Matems Pura y Aplicada,
Universidad Sim6n Bol{var,
Apartado 89000, Caracas, Venezuela.

1991 Mathematics Subject Classification: Primary, 58B20, 58E10; Sec-

ondary, 46L05.

Submitted: February2, 1992