Báo cáo toán học: "The type of the regular representation of certain transitive " ppt

OPERATOR THEORY _ , THE TYPE OF THE REGULAR REPRESENTATION OF CERTAIN TRANSITIVE GROUPOIDS SHIGERU YAMAGAMI 1.. Then the gene- rated von Neumann algebra is a type I factor and acts

3 OPERATOR THEORY _ ,

THE TYPE OF THE REGULAR REPRESENTATION

OF CERTAIN TRANSITIVE GROUPOIDS

SHIGERU YAMAGAMI

1 INTRODUCTION

Let G be a (not necessarily connected) Lie group If GxG is provided with

’ a groupoid structure in a trivial manner (i.e., for (g, , go), (g1, øz) € GX G, (21, 82) 1 =

= (g, 2,), and (g,, go) is composable with (gi, g3) if and only if g, = g, with the resulting composition equal to (g,, 23)), we can use Haar measure to form a convo- lution algebra C2(G x G) and its regular representation on L?(G x G) Then the gene- rated von Neumann algebra is a type I factor and acts on L(G G) as a standard representation Although these facts are all trivial, if we take a quotient of Gx G by

a suitable subgroup of GXG, the situation becomes rather complicated and the analysis of its regular representation becomes an interesting problem

In this paper, we will carry out the type analysis of the von Neumann algebra associated with a groupoid of this type More precisely, let H be a closed subgroup

of G and let H be a normal subgroup of H which contains the connected component

of H We form a closed subgroup D of GxG:

Then Ƒ' = đxŒ/Ð has the structure of groupoid induced from that of GxG, which is transitive in the sense that the canonical equivalence relation of the grou- poid is transitive (see [10], for example) We assume that H has a unitary character y, which is invariant under the action of H, ie y(hhA-) = x(A) for he H, he H

We obtain a character y, of D defined by

(2) 7a(4, 6) = x(a~"b) for (a,b) € D

Let y be a C®-function on GX G which satisfies

(3) Ọ(giúi, 824) = Ac,u(4;)'2y (4; , ®)@Œ› 8a)

250 SHIGERU YAMAGAMI

for (g1,82)€ GxG, (a, a@)€ D, and has a compact support modulo D Here

Ag ala) = detg,sAda; (G and § denote Lie algebras of G and H respectively)

We denote the set of all these g's by YC and equip it with the following <-algebra structure: For ©, Ø;, Ø; € 9Í, ø; # Ø; € 9{ and ø* e 9í are defined by

(4) (; # @s)(#¡, g;) = $ dg Ø;(#¡ #)@s(8, #›),

GIH

(see [2], for example, for the meaning of & } Furthermore, the following inner

GH product makes % a (unimodular) Hilbert algebra:

GxG/D

We denote by Y’’ (resp Wl’) the left (resp right) von Neumann algebra of this Hilbert algebra which acts on the Z2-completion L£2(21) of YW

Our first result is a concrete realization of the center of 2’ as a subalgebra of

a convolution algebra over H/H (Theorem 1) Next, we work out the type analysis

of 2’ under the assumption that the commutator subgroup of H is contained in H; QW’ is of type I or type If according as the coset space H/S is finite or infinite (Theo- rem 2) Here S is a normal subgroup of H defined by S = {a € H; y(aba-*b-4) = 1

for all b € H}

The shortest way to obtain the results is as follows: Take a nowhere-vanish- ing function s on GXG satisfying s(gyh,, Bolte) = x(hzhy)5(g1, 99), (ty, he) © D Then o((g,, g)D, (g, 82)D) = s(g,, g)s(g, 25)8(21, Z)~ defines a 2-cocycle on F and the left von Neumann algebra W’’ is spatially equivalent to the von Neumann algebra M(F,o) generated by the o-left regular representation of I Now define a 2-cocycle

o, of H/H by o,(h,H, hgH) = o((1, h,)D, (1, /tg)D) Then by the inclusion H/H 3hH c> +> (1,4)De I, (H/H, o,) is similar to (7, ¢) and then M(H/H, o,) is stably-isomorphic

to M(L, c) ((4]) In particular the center of M(H/H, o,) is isomorphic to the center

of M(I, o) (a version of Theorem | in this paper) Furthermore, the type analysis of M(HỊH,ø)) 1s given in [7] (see also [1]), so the above Theorem 2 is obtained Although this may be sufficient in the abstract, a much more direct proof is presented

in this paper, which has several advantages:

(i) concrete realization of the center of 9É”,

(ii) applicability to certain non-transitive groupoids (cf [9}),

(iii) easy to generalize to the holomorphically constrained case

REGULAR REPRESENTATION OF TRANSITIVE GROUPOIDS 251

The last point will be important when one applies (or extends} to compiex polarizations (in geometric quantization) I would like to discuss these applications

in a future paper

2 DESCRIPTION OF THE CENTER OF UY”

Main result of this section is a concrete realization of the center of YW’ To

do this, we need distributions (more precisely generalized sections of a line bundle)

in order to express bounded linear operator on L?(%) in kernel form For this reason,

we have restricted ourselves to Lie group, but the result itself may be valid for arbi-

trary locally compact groups To begin with, we define some line bundles over G/H:

We regard G as a principal H-bundle by the right translation, and form a line bundle B = GX, C over G/H, where the action of H on C is given by fi-z =

= Ás,u(h)~}!2y(h)z,h e H,z eC We denote by B the conjugate bundle of B (B is constructed as B if we replace the action of H on C by hv z= Aa.w(h)~1?z(h)z) Since z is H-invariant, for any a € HH, B3 g-z+> Ác u(2)%ga-z 6 B gives rise to

a bundle morphism of B and hence HX H acts on the exterior tensor product bundle BEB (this is a line bundle over G/H x G/H with the fibre at (x, y) equal to B,@B,)

In particular, restricting the action to the diagonal subgroup of Hx H, we get an action of H Then the quotient B, = BE|B/H is a line bundle over I’, and there

is a 1-1 correspondence between elements in 9 and support-compact C™-sections

of By oT

Lemma 1 For any L € W”, there is a generalized section le C-°(G/H x G/H; BRB) (= dual space of C°(G/HxXG/H; BRB), see [5] for the information of generalized section) such that

for ae H, and for FEN < C(G/HXG/H; BRIB);

(8) (LE\(x, 5 x2) = \ l(x,, x)F(v, x;)

x€G/H (both sides should be regarded as elemenis in C"®(G|HxGIH; BbEIB))

Comments (i) In (7), the action of a € H on/ is through the bundle morphism

of B described above

(ii) In (8), for fixed x5, x +» F(x, x2) has a compact support and therefore the pairing of /(x,, -) with F(-, x.) has meaning

SHIGERU YAMAGAMI

Proof By Schwartz's kernel theorem, ZØ(/3U) is imbedded into

C "(FP xT; B,XB,) On the other hand, C-™(r™xTI; B;X%B,) is identified with

H = (9 € C°(G/HXGHxG;)HXG;H; BE BXBXB):

(9)

@(xiø ; JìỚn; Xe › eGo) (Qj ;ới 1, ay an ay 1) = oy, > Fas Xo, 32) for ays Qy € HN,

so we have a continuous linear map x of 2(1?@M)) ino C~®(G'H::G:H»‹G¡Hx

x G/H; BRIBE BEB), where A(L7(Q0) is equipped with the weak operator topology and the space of generalized sections is topologized by the weak* topology Let 6 be a generalized section of BDgB defined by

xE€G/H

‘for fe C2(G/H x G/H; Bf) B) and let 1 be a linear mapping of C-°(G/AxG/H; Bix}B) into C-°(G/H x G/H x G/H x G/H; BE) BE) BR)B) defined by

(1p), Y15 Xa, Vo) = POX, Xz) @S(W,, Yo) €

(11)

c5, ©B,,@B, @B,, = B, OB, @B.,@By,

Then : is a topological imbedding of C-°(G/HxG/H; BEB) into a closed sub-

space £ of C°-°(G/H x G/H X G/H x G/H; BRIBRIBEIB) Since xQ c #' n Z by

), (4), and since # \n 4 is a closed subspace, we have x(W) c Z'n.# Now set /=i~1ox(7) for a given £ € W'’ Then / satisfies (8) by construction and (7) follows from

In the same way as in Lemma 1], given R € W’, we can find a generalized sec- tion re C-(G/H x G/H; BB) such that

and

xEG/H

Lemma 2 If LEW’ AW, then

supp/ c {(x, xa) ; x € G/H, a € H}.

REGULAR REPRESENTATION OF TRANSITIVE GROUFOIDS tạ vì

Proof In (8) and (14), let L = R;

J

for FEW < C(GjH»G;H; BXB) Take x) € GiH and an open neighborhood U

of xy such that Ua, 1 Uag # © (a,, ap € H) implies ay'a, € H If we choose F so that the support of F (considered as a section of BB) is contained in (J (Ua Ua), then the right hand side of (15) vanishes when x, ¢\J Ua, and

\ \ Í(x), x)F(x; x;)@Œ;) =

+ cỗ: x,€G'H

r

= \ Mx, x) \ F(x, Xo) P(X.)

for p € C&(U, B), because the support of x > F(x, Xe)p(%_) is contained in

*,€G/H

U In view of the density of pe F(x, 0G] in C.(U, B), we have, from

x,€G/H

these facts, that /(x,, x.) = 0 if x,¢JUa and x,e€U Since U can be chosen

aGH

LEMMA 3 Let X be a C®-manifold with a nowhere vanishing C® measure dx and k(x, x’) be a distribution on XXX with its support contained in {(x,x)€@ XXX;

x eX} Suppose hat CẸŒ(X) 3 š t> (Kệ (x) = dx' k(x,x)š(x) vields a bounded

x linear operator in L?(X) Then there exists a bounded measurable function f on X such that (KE)(x) = f(x)E(x)

Proof We will show that K commutes with multiplication operators in L?(X) Take an open ball U c X and a sequence {¢,},>, in C2(U) such that g, 7 1 on U Then for any € € C&(X), the support of which does not intersect with the boundary

of U, „€|U = š|U and therefore Ky,é = 9, Ké for sufficiently large n Since K is bounded, taking limit n > co, we get Kmy = m,K, where my is the multiplication operator by characteristic function of U As U is an arbitrary open bal], K commutes with every multiplication operator Thus K itself is a multiplication operator &

254 SHIGERU YAMAGAMI

By applying this lemma to / in Lemma 2, we can find 1, © L©(G/H) for every a2¢€H which satisfies

IC, Xa) fly) folX9) =

(44, )€GIH x G/H

q?)

=> \ I(x)q()(72(GX3)a~1) 2acH:H

xeŠ:n

for f,, fz c C?(G/H; B) ( y; means that summation is taken over a repre-

acTfH sentative of coset space H/H, which does not depend on a special choice of repre- sentative by (16)) Symbolically, (17) is written as

e

x,€G/IH

for fe C2(G/H; B) Similarly, there exists 7, € L©(GiH) for each ae H, which satisfies

x, EG/H

for fe C2(G/H; B), and the equation (15) is reduced to

(21) beHIH Y hoaFab, mb, Y= Yo Foy, ed), b€HIH b- D469)

LEMMA 4 J, is @ constant function on G/H, and as a function of aé H, it is 4a class function; 1, = Iyapnt > Sor 4, bE H

Proof Take x9 € G/H, a € H, and a neighborhood U of xy as in the proof of Lemma 2 If, in (21), we choose F such that supp Fc LJ (UXxU/)(1, a)0, ð), then

beH|/H

REGULAR REPRESENTATION OF TRANSITIVE GROUPOIDS 255 for x, € U and for x, e Ue (c is an arbitrary element in H)

(23) r.h.s = ri (XS)F{Xị, xsc” 1a), a~°e)

I.h.s = f1 (X)FfQ@j4—1e, xz(€~1a, 1) = {23)

= l-t(XDFG¡; X;c~?2)(1, a~1e)

Thus comparing (22) and (23),

for x, 6 U, x» € Uc Since a, c are arbitrary, we have obtained the desired conclusion

Z

At this place, we claim that the converse of Lemma 4 holds To be precise, let {hiwex be a function on H which is a class function,

and is H-covariant;

(26) lan = x(h)—11, ? h = H

Further suppose that

acHIH

for Fe 9Í, gives rise to a bounded linear operator ⁄ in L°(9 Then we have Lemma 5 Ù belongs ío 9Ứ°n 9U

Proof Let f, Fe WM We must show that L(ƒ+ Ƒ) = fs LF and L(F sf) =

= [Fx f These equalities follow from a direct computation ZB COMMENT Conditions (25) and (26) insure that (27) is a well-defined map

of YW into C~%Œ, Đụ)

LEMMA 6 Retain the assumption before Lemma 5 and suppose that 1, #90 for some aé H Then a satisfies the following conditions

256 SHIGERU YAMAGAME

(s) If be H commutes with a modula H, ie., a babe H, then z(a~1b~1ab) =: |

(s%) The cardinality of the conjugate class of a in HiH is finite

Proof Here we use the original definition of Qf; elements in 9L are C-functions on G+ G (see (3)) Then the operation of L on Q is expressed as

(28) (LF \(g, , 82) = > 1,F(g1a, s;)Ác,u(a)~13

e€HH for g,, g2€G, Fe Take a section ¿ € C&(G/Hx G/H; B&B) whose support

is contained in a sufficiently small neighborhood of ([1], [1]) and use the same letter @

to denote the corresponding function on GXG Then YO Ag.(a)-*9(g,a g20)

acH'H

defines an element in 2, and if we use this function as F in (28), we have

(LF )(g, , 82)? =

(29) = ¥ Ag n(bb')- AG nlaa')~ Ugly plgyba, 828) —(g\b'a', g:a") =

a,b,a?,b*

= 3 )*4a¿ u(4)~?|0(guba, 9z4)1ẺAa u(b)~}

a,b

(the support of y should be assumed to be so small that y(g,ba, goa; and ~(g,b'a’, goa'y have overlapping supports if and only if a = a’ and b = 6’) Integrating (29) over Gx*G/D, we obtain

(LF|LF) = dg, dgs Yi, *o( gb, B2)?Ag y(b)-? =

b

G/H :GIH

= Zi? Ô- dadeloGi sò? = IBlŒ]#)

GIH>G:H

From this, we have

Now, in view of (25), boundedness of L implies the condition (#*) To prove (*), let b € H be such that a~15-1ab e H Then by (25), (26),

L => / —1 vas = fa b Tạ , = X(@~'b~'!ab)—1,

REGLLAR REPRESENTATION OF TRANSITIVE GROUPOIDS 257

To formulate the theorem in this section, we need some more definitions con- cerning the Hilbert algebra of H,/H Consider a function / on H with the following properties

We denote by # the totality of such functions F is furnished with s-algebra struc- ture: for /,, 4, 1€ 2,

(33) (he l)a)= YJ, h(b),(b-*a), bcH/n

For / € &, define a linear operator ®(J) on 9{ by

(35) (@()fX#: 82) = ` l(a)f(gìa, #x)4c,u(a)~1⁄2

¡ằ€ H/H

for F€ 9L Since the relevant summation is ñnie, ®(1) is bounded with respect to E3-norm and can be extended to a bounded hnear operator on Ƒ?(90 by continuity, which is also denoted by @(/) A direct computation shows that the correspondence + &(/) is a faithful «-representation of Z on L°(Q0, and its range is contained in QW’ Let S be the set of ae H which satisfies («), («#) in Lemma 6 and set @ = fle B; d(ab) == I(ba) for a, b € H and the support of / is contained in S} Since &(¢@) =

= Ở(2)n 9Ú“ n 9U by Lemma 5 and Lemma 6, @ forms a x-subalgebra of @ and

is commutative

THEOREM | The center of the left von Neumann algebra of % is generated

by O(@)

Coro.wary The left von Neumann algebra of % is a factor if and only if S== H Before the proof of Theorem 1, we will give some preparatory discussions First we remark that the #-algebra #, described in (31)—(34), becomes a Hilber algebra by the inner product

aGH/H

We construct an isometry of L7(2) into L2Q0) which intertwines ® Take an ap- proximate 6-function ée¢ HW; (€ | Ế} = 1 and € is supported by a sufficiently smal neighborhood of (1, 1))De GxG/D, Define a linear map J of # into L7(20) by

@7) 1Œ #8) = 3; l(a)6(6¡3, g)4gc (4)! le Ø

acHỊH

258 ˆ SHIGERU YAMAGAMT

Then, by a computation as in the proof of Lemma 6, we have

Since [(/) = ®(@é, I intertwines ® Now we will show that @ can be extended to a norma! homomorphism of #” into I’" Set

Mf = {Le A(L2Q0) ; there is a function / on H satisfying (31) such that (39)

(LF)(g1,82)= Y, Ac,u(4)~*?l(a)F(g,a g;) for F e 90

8cH('H

Then Z becomes a von Neumann subalgebra of 9U“ and makes 72} invariant (1(2} đenotes the /2-closure of /(2)) Eurthermore, the restriction of.Z to the subspace 1{2) yields an isomorphism of - onto Me , and the induced algebra Mrs 1S transfered into a subalgebra of #’’ by the isometry / Thus we get a normal iso- morphism ¥ of &@ into #” Since ¥(O(B)) = Ø and Z is weakly dense in #”,

we conclude that ¥ is an isomorphism of 4 onto 4” and the restriction of ¥-} to

8 coincides with ® In other words, we can extend # to 8” as a normal homomor- phism and 0(2”) =.#

Proof of Theorem 1 Since Wn W' <.#, we need to prove that @” - :

= ®-19ƒ'n9U) By Lemma 5, # '° c 6-4’ AW’) For the reverse inclusion,

we will show that ' c ®~!(9U' n 9U} Let K be a bounded linear operator in E?(2) Then K can be expressed in a matrix form:

a€H|H

where k (call the matrix function of K) is a function of Hx H satisfying

(41) k(ah, a'h') = (h-4h')K(a, a’),

here A, h’ € H For L € JƯ' n W’, we can find a function / on H which satisfies (25), (26) and represents L by the relation (28) Then a direct computation shows that the matrix functions of K6-1(L) and @-1(L)K are given by

aH, ỊH

acHIH