12

JONATHAN ROSENBERG AND CLAUDE SCHOCHET

7r(s)*(t) = w(s,t)7c(s+t) .

Then C (G,w) is the usual completion. Its isomorphism class only

2

depends upon the cohomology class of a in H (G,T). Note that

C (G,u) is unital if and only if G is a discrete group.

The cocycle w is called totally skew if u(x,y) = w(y,x) for

all y € G implies x = 0. Changing w within its cohomology class

if necessary, we may always assume w is lifted from a totally

skew multiplier on a quotient group G/K, where K is uniquely

determined by the cohomology class of w [BK, Theorem 3.1]. Then w

determines a continuous injection h : G/K • (G/K) with dense

range, and w is Type I if and only if h is bicontinuous [BK,

Theorem 3.2]. We record here the following general result due to

Baggett and Kleppner [BK], Kleppner (unpublished), and Pukanszky

[Pu, Ch. I, Proposition 2.1]; see also Green [Grl, Prop. 33].

THEOREM 2.3. Let G be a locally compact abelian group and let u

be a totally skew cocycle on G. The C -algebra C (G,w) is simple,

and it is Type I if and only if it is isomorphic to K(H) for some

Hilbert space H. If so, and if G is a discrete abelian group then

K(H) is unital, hence H has finite dimension and G is finite.

Our interest lies in the Type I setting. So suppose that F

is a free abelian group of finite rank with cocycle u . Let K

denote the radical of the associated skew form. Then C (F/K,w) is

a unital algebra. If it is Type I then Theorem 2.3 implies that

F/K is a finite group, so that K is of finite index in F. We

record this as a corollary.

COROLLARY 2.4. Suppose that F is a free abelian group of finite

rank with a Type I cocycle w. Then the radical K of the

associated skew form has finite index in F, and F/K 2 CXC for

some finite group C with w the dual pairing CXC • T. D

If G = Tn is a torus with nl and if H is a closed subgroup,

2

then it is not necessarily true that the group HW(G,C(G/H,T)), in

M

which obstructions to exterior equivalence of two G-actions on an

algebra with G-spectrum G/H live [RR, Corollary 0.13], must

vanish. (See [Ro3].) Nevertheless, we can prove the following: