C ∗-algebras generated by projective representations
of free nilpotent groups

arXiv:1301.2942v2 [math.OA] 7 Jul 2016

Tron Ånen Omland
Updated version, July 2016
Abstract
We compute the two-cocycles (or multipliers) of the free nilpotent groups of class
2 and rank n and give conditions for simplicity of the corresponding twisted group
C ∗ -algebras. These groups are representation groups for Zn and can be considered as a
family of generalized Heisenberg groups with higher-dimensional center. Their group
1
C ∗ -algebras are in a natural way isomorphic to continuous fields over T 2 n(n−1) with the
noncommutative n-tori as fibers. In this way, the twisted group C ∗ -algebras associated
with the free nilpotent groups of class 2 and rank n may be thought of as “second order”
noncommutative n-tori.

Introduction
The discrete Heisenberg group may be described as the group generated by three elements
u1 , u2 , and v12 satisfying the commutation relations
[u1 , v12 ] = [u2 , v12 ] = 1

and

[u1 , u2 ] = v12 .

The group has received much attention in the literature, partly because it is one of the easiest
examples of a nonabelian torsion-free group. Moreover, the continuous Heisenberg group (see
below) is a connected nilpotent Lie group that arises in certain quantum mechanical systems.
As a natural consequence of this attention, several classes of generalized Heisenberg groups
have been investigated. For example, in [14, 15] Milnes and Walters describe the four and
five-dimensional nilpotent groups, and in [11, 12] Lee and Packer study the finitely generated
torsion-free two-step nilpotent groups with one-dimensional center.
In this paper, on the other hand, we will consider a family of generalized Heisenberg
groups, denoted by G(n) for n ≥ 2, with larger center. The groups G(n) are the so-called
free nilpotent groups of class 2 and rank n and will be defined properly in Section 1. Here we
also provide further motivation for our investigation of these groups. Inspired by the work of
Packer [20] we compute the second cohomology group H 2 (G(n), T) of G(n) and study the
structure of the twisted group C ∗ -algebras C ∗ (G(n), σ) associated with two-cocycles σ of
G(n).
Section 2 is devoted to two-cocycle calculations, where we decompose G(n) into a semidirect
product and apply techniques introduced by Mackey [13]. In particular, we will see that
1
H 2 (G(n), T) ∼
= T 3 (n+1)n(n−1) ,

Published in J. Operator Theory, 73(1):3-25, 2015.
2010 Mathematics Subject Classification: Primary 46L05; Secondary 20C25, 20F18, 20J06, 22D25.
Key words and phrases: free nilpotent group, projective unitary representation, twisted group C ∗ -algebra,
simplicity, two-cocycle, group cohomology, Heisenberg group, noncommutative n-torus.

1

and in Theorem 2.6 we give explicit formulas for the two-cocycles of G(n) up to similarity.
Next, in Section 3 we describe C ∗ (G(n), σ) as a universal C ∗ -algebra of a set of generators
and relations. Then we construct the algebra that in a natural way appear as a continuous
field over the compact space H 2 (G(n), T) with C ∗ (G(n), σ) as fibers. We also explain that
for n = 2, this algebra is the group C ∗ -algebra of the free nilpotent group of class 3 and rank
2.
In Section 4 we investigate the center of C ∗ (G(n), σ) and give conditions for simplicity of
these twisted group C ∗ -algebras in Theorem 4.4 and Corollary 4.6.
Finally, in Section 5 we study the automorphism group of G(n) and discuss isomorphism
invariants of C ∗ (G(n), σ) coming from Aut G(n).

Acknowledgements
This version is from July 2016 and includes several computations and details that were left
out in the published version of the article, in addition to a reformulation of Proposition 2.2
in terms of general semidirect products, and a new Remark 5.6 that makes a connection to
more recent work.
A comprehensive summary of this paper was part of the author’s PhD dissertation [18] at
the Norwegian University of Science and Technology (NTNU) submitted in May 2013.
The author would like to thank Erik Bédos, first for suggesting the problem of computing
the two-cocycles of the group G(3), and then for providing valuable comments throughout
this work. The author would also like to thank the referee of Journal of Operator Theory for
several valuable comments and suggestions.
This research was partially supported by the Research Council of Norway (NFR).

1

The free nilpotent groups G(n) of class 2 and rank n

For each natural number n ≥ 2, let G(n) be the group generated by elements {ui }1≤i≤n and
{vjk }1≤j<k≤n subject to the relations
[vjk , vlm ] = [ui , vjk ] = 1

and

[uj , uk ] = vjk

(1)

for 1 ≤ i ≤ n, 1 ≤ j < k ≤ n, and 1 ≤ l < m ≤ n. Clearly, G(2) is the usual discrete
Heisenberg group. For some purposes, it can be useful to set G(1) = hu1 i ∼
= Z. Note that
G(n) is generated by n + 21 n(n − 1) = 12 n(n + 1) elements.
The group G(n) is called the free nilpotent group of class 2 and rank n. Indeed, G(n) is a
free object on n generators in the category of nilpotent groups of step at most two. To see
this, note first that G(n) is the group generated by {ui }ni=1 subject to the relations that all
commutators of order greater than two involving the generators are trivial. Let G0 (n) be any
other nilpotent group of step at most two and let {u0i }ni=1 be any set of n elements in G0 (n).
Then there is a unique homomorphism from G(n) to G0 (n) that maps ui to u0i for 1 ≤ i ≤ n.
Of course, every free object on n generators in this category is isomorphic to G(n). For a
more extensive treatment of free nilpotent groups, see the article on Terence Tao’s website
[26] (see also 2. in the list below).
e
Furthermore, we will need the following concrete realization, say G(n),
of G(n). For
e
n ≥ 2, we denote the elements of G(n)
by
r = (r1 , . . . , rn , r12 , r13 , . . . , rn−1,n )1 ,
1 To be absolutely precise, the entries with double index are colexicographically ordered, that is, (i, j) < (k, l)
if j < l or if j = l and i < k.

2

where all entries are integers, and define multiplication by
r · s = (r1 + s1 , . . . , rn + sn ,
r12 + s12 + r1 s2 , r13 + s13 + r1 s3 , . . . , rn−1,n + sn−1,n + rn−1 sn ).
By letting ui have 1 in the i’th spot and 0 else and vjk have 1 in the jk’th spot and 0
else, the relations (1) are satisfied for these elements. Next, we define the map
e
G(n)
−→ G(n),

r

r12
n−1,n
r 7−→ v12
· · · vn−1,n
· urnn · · · ur11 ,

e
and then it is not difficult to see that G(n)
is isomorphic to G(n). Henceforth, we will not
e
distinguish between G(n) and the realization G(n)
just described, but this should cause no
confusion.
Denote by V (n) the subgroup of G(n) generated by the vjk ’s. Then V (n) coincides with
the center Z(G(n)) of G(n) and
1
V (n) = Z(G(n)) ∼
= Z 2 n(n−1) .

Indeed, both this and the next observations follow after noticing that
r · s · r−1 = (s1 , . . . , sn , s12 + r1 s2 − s1 r2 , . . . , sn−1,n + rn−1 sn − sn−1 rn ).
Moreover, consider the subgroups G(n − 1) and H(n) of G(n) defined by
G(n − 1) = hui , vjk : 1 ≤ i ≤ n − 1, 1 ≤ j < k ≤ n − 1i,
H(n) = hun , vjn : 1 ≤ j < ni.
Note that G(n − 1) sits inside G(n) as a subgroup and that H(n) ∼
= Zn is a normal subgroup
n
∼
∼
of G(n). Clearly, we have G(n)/V (n) = Z and G(n)/H(n) = G(n − 1). Therefore, there
are short exact sequences
1

V (n)

G(n)

Zn

1

and
1

H(n)

G(n)

G(n − 1)

1

where the second one splits and the first does not. In particular, G(n) is a central extension
1
of Zn by Z 2 n(n−1) and consequently, G(n) is a two-step nilpotent group.
To motivate our investigation of G(n), we present a few aspects about these groups and
some appearances in the literature.
1. Consider in the first place the continuous Heisenberg group. We will represent this group
in two different ways, Gmatrix and Gwedge , both with elements (x, x0 ) = (x1 , x2 , x0 ) ∈ R3 ,
i.e. x = (x1 , x2 ) ∈ R2 , and with multiplication as follows. For Gmatrix we define
(x1 , x2 , x0 )(y1 , y2 , y 0 ) = (x1 + y1 , x2 + y2 , x0 + y 0 + x1 y2 ) ,
and for Gwedge we set

(x1 , x2 , x0 )(y1 , y2 , y 0 ) = x1 + y1 , x2 + y2 , x0 + y 0 + 12 (x1 y2 − x2 y1 ) .
3

∼ Gwedge . To motivate the notation, note that Gmatrix
One can deduce that Gmatrix =
can be represented as matrix multiplication in M3 (R) if one identifies


1 x1 x0
(x1 , x2 , x0 ) ←→ 0 1 x2  ,
0 0
1
and that the multiplication in Gwedge may be written as

(x, x0 )(y, y 0 ) = x + y, x0 + y 0 + 21 (x ∧ y) .
In general, the wedge product on Rn is defined as a certain bilinear map (see e.g. [24,
p. 79])
V2 n
Rn × Rn →
(R ),
V2 n
V2 n
where
(R ) is a 12 n(n − 1)-dimensional real vector space. The elements of
(R )
are called bivectors and if {ei }ni=1 is a basis for Rn , then {ei ∧ ej }i<j is a basis for
V2 n
b R) with elements
(R ). For every n ≥ 2, define the group G(n,
V2 n
(x, x0 ) ∈ Rn ⊕
(R ), where x = (x1 , . . . , xn ), x0 = (x012 , x013 , . . . , x0n−1,n ),
and where multiplication is given by

(x, x0 )(y, y 0 ) = x + y, x0 + y 0 + 12 (x ∧ y) .
This group is of dimension n + 12 n(n − 1) = 12 n(n + 1). Remark especially that if n = 3,
the wedge product can be identified with the vector cross product on R3 . That is, the
b R) is given by
product in G(3,

(x, x0 )(y, y 0 ) = x + y, x0 + y 0 + 12 (x × y) .
b R) is isomorphic to the group consisting of the same
It is not hard to see that G(n,
elements, but with multiplication given by
(x, x0 )(y, y 0 ) = (x + y, x0 + y 0 + (x1 y2 , x1 y3 , . . . , xn−1 yn )) .

(2)

Let G(n, R) denote the group defined by (2). Then G(n) is the integer version of
G(n, R).
We also mention that Nielsen [17] has classified all the six-dimensional connected, simply
connected, nilpotent Lie groups. In this setting, G(3, R) is the group denoted by G6,15 .
2. One may define the free nilpotent group G(m, n) of class m and rank n for every
m ≥ 1. Indeed, G(m, n) is the group generated by {ui }ni=1 subject to the relations that
all commutators of order greater than m involving the generators are trivial. More
precisely, for m = 1, 2, 3 and n ≥ 2, we have that G(m, n) can be described as the
groups with presentations
G(1, n) = h{ui }ni=1 : [ui , uj ] = 1i ∼
= Zn ,
G(2, n) = h{ui }ni=1 : [[ui , uj ], uk ] = 1i = G(n),
G(3, n) =

h{ui }ni=1

(3)

: [[[ui , uj ], uk ], ul ] = 1i,

and it should now be clear how to define G(m, n) for all m ≥ 1 and n ≥ 2. Finally, we
set G(m, 1) = hu1 i ∼
= Z for each m ≥ 1. Moreover, for all m, n ≥ 1, the group G(m, n)
4

is the free object on n generators in the category of nilpotent groups of step at most m.
In particular, notice that G(m, n) is m-step nilpotent and that
∼ G(m + 1, n)/Z(G(m + 1, n)).
G(m, n) =

(4)

Again, we refer to [26] for additional details.
In [15, Section 4] Milnes and Walters describe the simple quotients of the C ∗ -algebra
associated with a five-dimensional group denoted by H5,4 . One can check that H5,4 is
isomorphic to the group G(3, 2). See Remark 3.2 for more about this group.
3. The group G(3) is briefly discussed by Baggett and Packer [4, Example 4.3]. The
purpose of that paper is to describe the primitive ideal space of group C ∗ -algebras of
some two-step nilpotent groups. However, G(3) only serves as an example of a group
the authors could not handle.
4. Let n ≥ 2. It is well-known that the group C ∗ -algebra A = C ∗ (G(n)) may be described as the universal C ∗ -algebra generated by unitaries {Ui }1≤i≤n and {Vjk }1≤j<k≤n
satisfying the relations
[Vjk , Vlm ] = [Ui , Vjk ] = I

and

[Uj , Uk ] = Vjk

for all 1 ≤ i ≤ n, 1 ≤ j < k ≤ n, and 1 ≤ l < m ≤ n.
1

For λ = (λ12 , λ13 , . . . , λn−1,n ) ∈ T 2 n(n−1) , let Aλ be the noncommutative n-torus. It is
the universal C ∗ -algebra generated by unitaries {Wi }ni=1 and relations [Wi , Wj ] = λij I
1
for 1 ≤ i < j ≤ n. The universal property of A gives that for each λ in T 2 n(n−1) there
is a surjective ∗ -homomorphism
πλ : A → Aλ
satisfying πλ (Ui ) = Wi for 1 ≤ i ≤ n and πλ (Vjk ) = λjk I for 1 ≤ j < k ≤ n.
Furthermore, A has center Z(A) = C ∗ ({Vjk }1≤j<k≤n ) ∼
= C ∗ (V (n)). Indeed, this is the
case since G(n) is amenable and its finite conjugacy classes are precisely the one-point
sets of central elements (see Lemma 4.1 below). Therefore, we set
[ = T 21 n(n−1) .
T = Prim Z(A) ∼
= Z(A)
1

Let λ be a primitive ideal of Z(A) identified with an element of T 2 n(n−1) . Let Iλ be the
ideal of A generated by λ, that is, the ideal generated by {Vjk − λjk I : 1 ≤ j < k ≤ n}.
It is clear that Iλ ⊆ ker πλ . By the universal property of Aλ , there is a ∗ -homomorphism
ρ : Aλ → A/Iλ
such that ρ(Wi ) = Ui + Iλ for 1 ≤ i ≤ n. Hence, ρ ◦ πλ coincides with the quotient
∼ A/Iλ and πλ may be
map A → A/Iλ and consequently, ker πλ ⊆ Iλ . Therefore, Aλ =
regarded as the quotient map A → A/Iλ .
F
For an element a of A, let ã be the section T → T Aλ given by ã(λ) = πλ (a) and let
e = {ã | a ∈ A} be the set of all such sections. Then the following can be deduced
A
from the Dauns-Hofmann Theorem [5].
e consisting of the base space T , C ∗ -algebras Aλ
Theorem 1.1. The triple (T, {Aλ }, A)
e is a full continuous field of C ∗ -algebras.
for each λ in T , and the set of sections A,
∗
Moreover, the C -algebra associated with this continuous field is naturally isomorphic
to A.
5

This result may be obtained as a corollary to [23, Theorem 1.2] which employs tools
of Williams [28] related to Fell bundle theory, by taking G = G(n) and σ = 1 in that
theorem. It is also a special case of [3, Corollary 2.3]. Our proof is more direct and
partly inspired by [1, Theorem 1.1] which covers the case where n = 2.
From the above discussion it now follows that G(n) is a representation group for Zn in
the sense of Moore [16]. In this case, that means G(n) is (up to isomorphism) the unique
central extension of Zn by H 2\
(Zn , T) such that the ordinary irreducible representation
theory of G(n) coincides with the projective irreducible representation theory of Zn .
This fact plays an important role in [6], where the noncommutative principal torus
bundles over locally compact spaces are classified up to equivariant Morita equivalence.
As explained in [6, Section 2], the group C ∗ -algebra of G(n) serves as a “universal”
bundle in this classification.
We refer to [7, Section 4] for more information on representation groups, where the
groups G(n, R) and G(n) are treated particularly in [7, Example 4.7].

2

The two-cocycles of the free nilpotent groups G(n)

Let G be any discrete group with identity e. A function σ : G × G → T satisfying
σ(r, s)σ(rs, t) = σ(r, st)σ(s, t)
σ(r, e) = σ(e, r) = 1
for all elements r, s, t ∈ G is called a two-cocycle of G with values in T (or a multiplier of G).
Moreover, two two-cocycles σ and τ are said to be similar, written σ ∼ τ , if
τ (r, s) = β(r)β(s)β(rs)σ(r, s)
for all r, s ∈ G and some function β : G → T. The set of similarity classes of two-cocycles of
G is an abelian group under pointwise multiplication. This group is the second cohomology
group H 2 (G, T).
Let G be a semidirect product of a normal subgroup H and a subgroup K. By properties
of the semidirect product, the elements of G can be uniquely written as products ab, where a
belongs to H and b belongs to K. Define the action α of K on H by αb (a) = bab−1 . One
often writes G = H oα K, but to simplify the notation, we will still denote the elements of G
by ab instead (a, b) and write the group product in G as (ab)(a0 b0 ) = aαb (a0 )bb0 for a, a0 ∈ H
and b, b0 ∈ K. Hopefully, the reader is familiar with semidirect products so that this does not
cause any confusion.
Next, we apply Mackey’s theorem [13, Theorem 9.4] and obtain the following result.
Theorem 2.1. Every two-cocycle of G is similar to a two-cocycle σ of G of the form
σ(a0 b, ab0 ) = σH (a0 , αb (a))g(a, b)σK (b, b0 ),
where σH and σK are two-cocycles of H and K, respectively,
g: H × K → T

6

(5)

is a function such that g(a, e) = g(e, b) = 1 for all a ∈ H, b ∈ K, and σH and g satisfy
g(aa0 , b) = σH (αb (a), αb (a0 ))σH (a, a0 ) · g(a, b)g(a0 , b),
g(a, bb0 ) = g(αb0 (a), b)g(a, b0 ).

(6)

Moreover, for every choice of σH , g, and σK satisfying the conditions above, σ is a two-cocycle
of G.
0
0
Proposition 2.2. Let (σH , g, σK ) and (σH
, g 0 , σK
) be triples satisfying the conditions of
0
Theorem 2.1 and let σ and σ be the corresponding two-cocycles of G. Then σ ∼ σ 0 if and
only if the following conditions hold:
0
(i) σK ∼ σK
,

(ii) There exists a function β : H → T such that
0
σH
(a, a0 ) = β(a)β(a0 )β(aa0 )σH (a, a0 ),

g 0 (a, b) = β(αb (a))β(a)g(a, b).
0
0
Remark 2.3. If (ii) holds, then σH ∼ σH
. If σH ∼ σH
and β and β 0 are two functions
implementing the similarity, then β 0 = f · β for some homomorphism f : H → T.

Proof of Proposition 2.2. Suppose σ ∼ σ 0 . Then there exists some γ : G → T such that
σ(a0 b, ab0 ) = γ(a0 b)γ(ab0 )γ(a0 bab0 )σ 0 (a0 b, ab0 )

(7)

for all a, a0 ∈ H and b, b0 ∈ K. In particular, if a = a0 = e, then
0
σK (b, b0 ) = γ(b)γ(b0 )γ(bb0 )σK
(b, b0 )
0
for all b, b0 ∈ K, so σK ∼ σK
. Moreover, the formula (5) from Theorem 2.1 with a = e and
b = e gives that
σ(a0 , b0 ) = 1 = σ 0 (a0 , b0 )

for all a0 ∈ H and b0 ∈ K. Applying this fact to (7) shows that γ(a0 b0 ) = γ(a0 )γ(b0 ) for all
a0 ∈ H and b0 ∈ K. Define β on H by β(a) = γ(a). Then, by letting b = b0 = e in (5) and
(7), we get
0
σH
(a0 , a) = β(a0 )β(a)β(a0 a)σH (a0 , a)
for all a0 , a ∈ H. Furthermore, by letting a0 = e and b0 = e in (5) and (7), we compute
g(a, b) = γ(b)γ(a)γ(ba)g 0 (a, b)
= γ(b)γ(a)γ(αb (a)b)g 0 (a, b)
= γ(b)γ(a)γ(αb (a))γ(b)g 0 (a, b)
= γ(a)γ(αb (a))g 0 (a, b)
= β(a)β(αb (a))g 0 (a, b)
for all a ∈ H and b ∈ K.
Assume next that β is such that (ii) holds, and that (i) holds through δ, that is,
0
σK (b, b0 ) = δ(b)δ(b0 )δ(bb0 )σK
(b, b0 ).

7

Define γ on G by γ(ab) = β(a)δ(b). Then
σ(a0 b, ab0 ) = σH (a0 , αb (a))g(a, b)σK (b, b0 )
0
(a0 , αb (a))
= β(a0 )β(αb (a))β(a0 αb (a))σH
0
· β(a)β(αb (a))g 0 (a, b) · δ(b)δ(b0 )δ(bb0 )σK
(b, b0 )

= β(a0 )δ(b) · β(a)δ(b0 ) · β(a0 αb (a))δ(bb0 )σ 0 (a0 b, ab0 )
= γ(a0 b)γ(ab0 )γ(a0 bab0 )σ 0 (a0 b, ab0 ).

Fix n ≥ 2. To compute the two-cocycles of G(n) up to similarity, we will proceed in the
following way. Consider G(n) as the split extension of G(n − 1) by H(n) as described in
Section 1. We will identify the elements
a = (0, . . . , 0, an , 0, . . . , 0, a1n , . . . , an−1,n ),
b = (b1 , . . . , bn−1 , 0, b12 , . . . , bn−2,n−1 , 0, . . . , 0),
of H(n) and G(n − 1), respectively, with ones of the form
a ←→ (an , a1n , . . . , an−1,n ),
b ←→ (b1 , . . . , bn−1 , b12 , . . . , bn−2,n−1 ).
The elements of G(n) will be written as products ab, where a belongs to H(n) and b belongs
to G(n − 1), and the action α of G(n − 1) on H(n) is then given by
αb (a) = bab−1 = (an , a1n + b1 an , . . . , an−1,n + bn−1 an ).
Remark 2.4. In the published version, Theorem 2.1 and Proposition 2.2 were only shown
to hold for G(n), not for any semidirect product.
Proposition 2.2 can be deduced from [23, Appendix 2], but in any case it may be useful
to give a proof by a direct computation.
Let τn be a two-cocycle of G(n) coming from a pair (σH(n) , gn ), that is,
τn (a0 b, ab0 ) = σH(n) (a0 , αb (a))gn (a, b),

(8)

where (σH(n) , gn ) satisfies (6). By Theorem 2.1 and Proposition 2.2, every two-cocycle of
G(n) that is trivial on G(n − 1) is similar to one of this form. Denote the abelian group of
e 2 (G(n), T).
similarity classes of two-cocycles of this type by H
Corollary 2.5. The second cohomology group of G(n) may be decomposed as
e 2 (G(n), T) ⊕ H 2 (G(n − 1), T) =
H 2 (G(n), T) = H

n
M

e 2 (G(k), T).
H

k=2

Proof. It follows from Theorem 2.1 and Proposition 2.2 (see our comment above) that
e 2 (G(n), T) ⊕ H 2 (G(n − 1), T).
H 2 (G(n), T) = H
Thus, the second inequality is proven by induction after noticing that
e 2 (G(1), T).
{1} = H 2 (Z, T) = H 2 (G(1), T) = H
8

Theorem 2.6. We have

H 2 (G(n), T) ∼
= T 3 (n+1)n(n−1) ,
1

and for each set of 31 (n + 1)n(n − 1) parameters
{λi,jk : 1 ≤ i ≤ k, 1 ≤ j < k ≤ n} ⊆ T,
the associated [σ] in H 2 (G(n), T) may be represented by
Y s r +s r s r +s (r r −r )
jk i
k ij
ij
ik j
k i j
σ(r, s) =
λi,jk
λj,ik
i<j<k

·

Y

r + 21 sk rj (rj −1) rk (sjk +rj sk )+ 21 rj sk (sk −1)
λk,jk
.

s

(9)

jk j
λj,jk

j<k

The proof of this theorem will be given in Section 2.1.
See the paragraph following Theorem 3.1 for an explanation of why λi,jk for i > k is not
involved in the above.
Example 2.7. For G(1) ∼
= Z there are no nontrivial two-cocycles. The two-cocycles of the
usual Heisenberg group G(2) are, up to similarity, given by two parameters (as computed in
[20, Proposition 1.1]):
r + 12 s2 r1 (r1 −1) r2 (s12 +r1 s2 )+ 12 r1 s2 (s2 −1)
λ2,12

s

12 1
σ(r, s) = λ1,12

(10)

The two-cocycles of G(3) are, up to similarity, given by eight parameters:
s

r +s3 (r1 r2 −r12 )

s23 r1 +s3 r12
13 2
σ(r, s) = λ1,23
λ2,13
s

r + 12 s2 r1 (r1 −1) r2 (s12 +r1 s2 )+ 12 r1 s2 (s2 −1)
λ2,12

s

r + 21 s3 r1 (r1 −1) r3 (s13 +r1 s3 )+ 12 r1 s3 (s3 −1)
λ3,13

s

r + 21 s3 r2 (r2 −1) r3 (s23 +r2 s3 )+ 12 r2 s3 (s3 −1)
λ3,23

12 1
· λ1,12

13 1
· λ1,13
23 2
· λ2,23

Remark 2.8. One may associate a Lyndon-Hochschild-Serre spectral sequence with the
extension (see e.g. [27, 6.8.2]):
1

V (n)

G(n)

Zn

1

By applying [10, Theorem 4] to this sequence, one can compute the second homology group
of G(n) (which is recently also done more generally for G(m, n) in [25, Proposition 2.1]), and
deduce that
∼ Z 13 (n+1)n(n−1) ,
H2 (G(n), Z) =
1
which gives that H 2 (G(n), T) ∼
= T 3 (n+1)n(n−1) after dualizing, using the universal coefficient
theorem for cohomology. However, this does not give an explicit description of H 2 (G(n), T).

2.1

Proof of Theorem 2.6

e 2 (G(n), T) through several lemmas and then use
We will in this proof first compute H
Corollary 2.5 to conclude the argument.

9

e 2 (G(n), T) may be represented by a pair (σH(n) , gn ),
Lemma 2.1.1. Every element of H
where σH(n) is a two-cocycle of H(n) given by
σH(n) (a0 , a) =

n−1
Y

a0 ain

λi n

(11)



(12)

i=1

for some λ1 , . . . , λn−1 ∈ T, and gn satisfies
gn (a + a0 , b) =

 n−1
Y

b an a0n

λi i

gn (a, b)gn (a0 , b)

i=1

for all a, a0 ∈ H(n) and b ∈ G(n − 1).
e 2 (G(n), T) may be represented by a two-cocycle of the form (8),
Proof. Every element of H
that is, by a pair (σH(n) , gn ) satisfying (6).
Moreover, it is well-known (see e.g. [2]) that every two-cocycle of H(n) ∼
= Zn is similar to
one of the form
Y
Y
a0 akn
a0 a
σH(n) (a0 , a) =
λi n in ·
µjkjn
1≤i≤n−1

1≤j<k≤n−1

for some sets of scalars {λi }1≤i≤n−1 , {µjk }1≤j<k≤n−1 ⊆ T. Since H(n) is abelian, (6) gives
that
σH(n) (αb (a), αb (a0 ))σH(n) (a, a0 ) = gn (a + a0 , b)gn (a, b)gn (a0 , b)
= gn (a0 + a, b)gn (a0 , b)gn (a, b)
= σH(n) (αb (a0 ), αb (a))σH(n) (a0 , a)
for all a, a0 ∈ H(n) and b ∈ G(n − 1). Furthermore, we have
σH (αb (a), αb (a0 ))σH (a, a0 )
Y
a (a0 +b a0 )−a a0
=
λi n in i n n in ·
1≤i≤n−1

=

Y
1≤i≤n−1

Y

(a

µjkjn

+bj an )(a0kn +bk a0n )−ajn a0kn

1≤j<k≤n−1
b a a0
λi i n n

·

b a0kn an +bk ajn a0n +bj bk an a0n

Y

µjkj

.

1≤j<k≤n−1

This is equal to σH (αb (a0 ), αb (a))σH (a0 , a) for all a, a0 ∈ H(n) and b ∈ G(n − 1) if and only
if the expression remains unchanged under the substitution a ←→ a0 , that is, if and only if
all the µjk ’s are 1.
e 2 (G(n), T) there is a unique associated pair (σH(n) , gn )
Lemma 2.1.2. For every element of H
satisfying the conditions of Lemma 2.1.1 such that
gn (un , ui ) = 1

for all

1 ≤ i ≤ n − 1.

(13)

Proof. Suppose that (σH(n) , gn ) satisfies (11) and (12). Let f : H(n) → T be the homomorphism determined by f (un ) = 1 and f (vin ) = gn (un , ui ) for all 1 ≤ i ≤ n − 1 and define
gn0 by gn0 (a, b) = f (αb (a))f (a)gn (a, b). Then, gn0 (un , ui ) = 1 for all 1 ≤ i ≤ n − 1 and by
Proposition 2.2, (σH(n) , gn0 ) determines a two-cocycle of H(n) in the same similarity class as
the one coming from (σH(n) , gn ).

10

0
Suppose now that there are two pairs (σH(n) , gn ) and (σH(n)
, gn0 ) both satisfying the
0
conditions of Lemma 2.1.1. Then σH(n)
= σH(n) , so by Proposition 2.2 and the succeeding
remark, there is a homomorphism f : H(n) → T such that

gn0 (a, b) = f (αb (a))f (a)gn (a, b) =

 n−1
Y


f (vin )an bi gn (a, b)

i=1

for all a ∈ H(n) and b ∈ G(n − 1). In particular,
gn0 (un , ui ) = f (vin )gn (un , ui ) for all

1 ≤ i ≤ n − 1,

so that gn0 = gn if gn0 (un , ui ) = gn (un , ui ) for all 1 ≤ i ≤ n − 1.
e 2 (G(n), T), and let (σH(n) , g) be the
In the forthcoming lemmas we fix an element of H
unique associated pair satisfying (11), (12), and (13) for some set of scalars {λi }n−1
i=1 ⊆ T.
For computational reasons, we introduce the following notation. For a = (an , a1n , . . . , an−1,n )
in H(n), we write a = w(a) + z(a), where w(a) = (an , 0, . . . , 0), and z(a) is the “central
part”, i.e. z(a) = (0, a1n , . . . , an−1,n ). Similarly, for b = (b1 , . . . , bn−1 , b12 , . . . , bn−2,n−1 )
in G(n − 1), we write b = w(b)z(b), where w(b) = (b1 , . . . , bn−1 , 0, . . . , 0) and z(b) =
(0, . . . , 0, b12 , . . . , bn−2,n−1 ). Note that αb (a) = a if either w(a) or w(b) is trivial, i.e. if
either a or b is central.
Lemma 2.1.3. For all a ∈ H(n) and b ∈ G(n − 1) we have
g(a, b) = g(w(a), w(b))g(w(a), z(b))g(z(a), w(b)).
Proof. It follows immediately from Lemma 2.1.1 that if a, a0 ∈ H(n) and w(a) or w(a0 ) is 0,
then
g(a + a0 , b) = g(a, b)g(a0 , b),
(14)
hence,
g(a, b) = g(w(a) + z(a), b) = g(w(a), b)g(z(a), b)
for all a ∈ H(n) and b ∈ G(n − 1). If b0 ∈ G(n − 1) and w(b0 ) = e, then b0 is central and
αb0 (a) = a for all a ∈ H(n). Therefore,
g(a, b)g(a, b0 ) = g(a, bb0 ) = g(a, b0 b) = g(αb (a), b0 )g(a, b)

(15)

for all a ∈ H(n), b ∈ G(n − 1). By (14), we then get
1 = g(αb (a), b0 )g(a, b0 )
= g(a + (0, b1 an , . . . , bn−1 an ), b0 )g(a, b0 )
= g(a, b0 )g((0, b1 an , . . . , bn−1 an ), b0 )g(a, b0 )
= g((0, b1 an , . . . , bn−1 an ), b0 )
for all a ∈ H(n) and b ∈ G(n − 1). Consequently, since this holds for all a ∈ H(n) and
b ∈ G(n − 1), and central b0 ∈ G(n − 1), we get that if ã and b̃ are any elements in H(n) and
G(n − 1), respectively, then g(z(ã), z(b̃)) = 1. Moreover, (15) also imply that if b, b0 ∈ G(n − 1)
and either w(b) or w(b0 ) is equal to e, that is, either b or b0 is central, then
g(a, bb0 ) = g(a, b)g(a, b0 ).

11

(16)

Hence, by (16) and (14),
g(a, b) = g(a, w(b)z(b)) = g(a, w(b))g(a, z(b))
= g(w(a), w(b))g(z(a), w(b))g(w(a), z(b)) · 1
for all a ∈ H(n) and b ∈ G(n − 1).
Lemma 2.1.4. For all a ∈ H(n) and b, b0 ∈ G(n − 1) we have
g(z(a), w(b)) =

n−1
Y

g(vin , uj )ain bj ,

i,j=1

g(w(a), z(b)) =

Y

g(un , vij )an bij =

g(a, bb0 ) =



an bij
,
g(vin , uj )g(vjn , ui )

1≤i<j≤n

1≤i<j≤n

and

Y

 n−1
Y


0
g(vin , uj )bi bj an g(a, b)g(a, b0 ).

(17)

i,j=1

Proof. Let z(H(n)) = {z(a) | a ∈ H(n)} and z(G(n − 1)) = {z(b) | b ∈ G(n − 1)}. Then g is
a bihomomorphism when restricted to z(H(n)) × G(n − 1) or H(n) × z(G(n − 1)). Therefore,
the first two identities hold. Indeed, this follows directly from (6) after noticing that since
z(a) and z(b) are central,
αw(b) (z(a)) = z(a) and αz(b) (w(a)) = w(a).
Moreover, for i < j we have ui uj = vij uj ui . By (6) and the previous lemma, one calculates
g(un , ui uj ) = g(αuj (un ), ui )g(un , uj )
= g(un vjn , ui )g(un , uj )
= g(un , ui )g(vjn , ui )g(un , uj )
and
g(un , vij uj ui ) = g(un , vij )g(un , uj ui )
= g(un , vij )g(αui (un ), uj )g(un , ui )
= g(un , vij )g(un vin , uj )g(un , ui )
= g(un , vij )g(un , uj )g(vin , uj )g(un , ui ),
so that
g(vjn , ui ) = g(un , vij )g(vin , uj ),
which gives the last identity in the second line of the statement. Finally, we compute
g(a, bb0 ) = g(αb0 (a), b)g(a, b0 ) = g(a + (0, b01 an , . . . , b0n−1 an ), b)g(a, b0 )
= g((0, b01 an , . . . , b0n−1 an ), w(b))g(a, b)g(a, b0 )
 n−1

Y
0
=
g(vin , w(b))bi an g(a, b)g(a, b0 )
i=1

=

 n−1
Y  n−1
Y
i=1

g(vin , uj )bj

b0i an 

j=1

12

g(a, b)g(a, b0 ).

(18)

Lemma 2.1.5. For all a ∈ H(n) and b ∈ G(n − 1) we have
 n−1
Y

g(w(a), w(b)) =

1

λi2

bi an (an −1)

1

g(vin , ui ) 2 an bi (bi −1)



i=1

Y

·

g(vin , uj )bi bj an .

1≤i<j≤n−1

Proof. First we see from (17) that if bj ≥ 1, then
b −1

b

g(un , ujj ) = g(un , ujj

uj )
b −1

= g(vjn , uj )bj −1 g(un , ujj
= · · · = g(vjn , uj )

1
2 bj (bj −1)

)g(un , uj )

g(un , uj )bj

and then it is not hard to see that
b

1

g(un , ujj ) = g(vjn , uj ) 2 bj (bj −1) g(un , uj )bj
for negative bj as well, for example by applying (17) again.
bn−1
Moreover, note that w(b) = un−1
· · · ub11 , so that by (17),
b

n−1
g(un , w(b)) = g(un , un−1
· · · ub11 )

n−1
Y

=


bn−1
g(v1n , uj )b1 bj g(un , un−1
· · · ub22 )g(un , ub11 )

j=2

Y

= ··· =

bi bj

g(vin , uj )

Y
 n−1

b 
g(un , ujj ) .

j=1

1≤i<j≤n−1

Then by (12) for an ≥ 1,
b

n−1
g(w(a), w(b)) = g(an un , un−1
· · · ub11 )
 n−1
Y b (a −1) 
bn−1
bn−1
λi i n
· g((an − 1)un , un−1
· · · ub11 )g(un , un−1
· · · ub11 )
=

i=1

= ··· =

 n−1
Y

b · 12 an (an −1)

λi i



b

n−1
· g(un , un−1
· · · ub11 )an

i=1

=

 n−1
Y
i=1

·

 n−1
Y

1
2 bi an (an −1)

λi

 
·

Y

g(vin , uj )bi bj an



1≤i<j≤n−1


1
g(vjn , uj ) 2 an bj (bj −1) g(un , uj )an bj .

j=1

Again, it is not hard to see that a similar argument also works for negative an . Finally, recall
that we have chosen g so that g(un , uj ) = 1 by (13).
Lemma 2.1.6. We have

e 2 (G(n), T) ∼
H
= Tn(n−1) ,

13

and for each set of n(n − 1) parameters
{λi,jn : 1 ≤ i ≤ n, 1 ≤ j ≤ n − 1} ⊆ T,
e 2 (G(n), T) may be represented by
the associated [τ ] in H
Y

τ (a0 b, ab0 ) =

a

b +an bij

jn i
λi,jn

a

b +an (bi bj −bij )

in j
λj,in

·

a0 (a

jn
n
λn,jn

a

b + 21 an bj (bj −1)

jn j
λj,jn

j=1

1≤i<j≤n−1
n−1
Y

n−1
Y

+bj an )+ 21 bj an (an −1)

.

j=1

Proof. If one puts λi,jn = g(vjn , ui ) for i, j < n and λn,jn = λj for j < n, then this is a
consequence of the preceding lemmas. Indeed, by (8) we can represent τ as a pair (σH(n) , g).
Here σH(n) is of the form (11) and g can decomposed as in Lemma 2.1.3 with factors computed
in Lemma 2.1.4 and Lemma 2.1.5.
To complete the proof of Theorem 2.6, we set r =Q
a0 b and s = ab0 and recall that by
n
Corollary 2.5 we can compute σn inductively
as [σn ] = k=2 [τn ].
Pn
Finally, we can also check that k=2 k(k − 1) = 31 (n + 1)n(n − 1).

3

The twisted group C ∗ -algebras C ∗ (G(n), σ) of G(n)

Again, let G be any discrete group, σ a two-cocycle of G and H a nontrivial Hilbert space. A
map U from G into the unitary group of H satisfying
U (r)U (s) = σ(r, s)U (rs)
for all r, s ∈ G is called a σ-projective unitary representation of G on H.
We recall the following facts about twisted group C ∗ -algebras and refer to Zeller-Meier
[29] for further details of the construction.
To each pair (G, σ), we may associate the full twisted group C ∗ -algebra C ∗ (G, σ). Denote
the canonical injection of G into C ∗ (G, σ) by iσ . Then C ∗ (G, σ) satisfies the following
universal property. Every σ-projective unitary representation of G on some Hilbert space H
(or in some unital C ∗ -algebra A) factors uniquely through iσ .
The reduced twisted group C ∗ -algebra Cr∗ (G, σ) is generated by the left regular σ-projective
unitary representation λσ of G on B(`2 (G)). Consequently, λσ extends to a ∗ -homomorphism
of C ∗ (G, σ) onto Cr∗ (G, σ). If G is amenable, then λσ is faithful. Note especially that every
∼ C ∗ (G(n), σ) through λσ for every n ≥ 1
nilpotent group is amenable, so that C ∗ (G(n), σ) =
r
and all two-cocycles σ of G(n).
Finally, we remark that if τ ∼ σ through some function β : G → T, then the assignment
iτ (r) 7→ β(r)iσ (r) induces an isomorphism C ∗ (G, τ ) → C ∗ (G, σ).
Theorem 3.1 (Remark 3.1 in the published version). Fix n ≥ 2, let σ be a two-cocycle of
G(n) of the form (9), that is, determined by the 13 (n + 1)n(n − 1) parameters
{λi,jk : 1 ≤ i ≤ k, 1 ≤ j < k ≤ n} ⊆ T,
and set
λk,ij = λi,jk λj,ik
when 1 ≤ i < j < k ≤ n.
14

(19)

Then the twisted group C ∗ -algebra C ∗ (G(n), σ) is the universal C ∗ -algebra generated by
unitaries {Ui }1≤i≤n and {Vjk }1≤j<k≤n satisfying the relations
[Vjk , Vlm ] = I,

[Ui , Vjk ] = λi,jk I,

[Uj , Uk ] = Vjk

(20)

for 1 ≤ i ≤ n, 1 ≤ j < k ≤ n, and 1 ≤ l < m ≤ n.
Proof. Set Ui = iσ (ui ) and Vjk = iσ (vjk ) and note that (9) gives that σ(ui , vjk ) = λi,jk and
σ(vjk , ui ) = 1 for all 1 ≤ i ≤ n and 1 ≤ j < k ≤ n. Thus,
[Ui , Vjk ] = σ(ui , vjk )σ(vjk , ui )I = λi,jk I for all 1 ≤ i ≤ n, 1 ≤ j < k ≤ n.
Moreover, note that σ(ui , uj ) = 1 for all 1 ≤ i, j ≤ n and σ(vjk , vlm ) = 1 for all 1 ≤ j < k ≤ n
and 1 ≤ l < m ≤ n. Hence, it is clear that C ∗ (G(n), σ) is generated as a C ∗ -algebra by
unitaries satisfying (20).
Next, suppose that A is any C ∗ -algebra generated by a set of unitaries satisfying the
relations (20). For each r in G(n) we define the unitary Wr in A by
r

r12
n−1,n
Wr = V12
· · · Vn−1,n
· Unrn · · · U1r1 .

Then a computation using (20) repeatedly gives that2 Wr Ws = τ (r, s)Wrs , where τ (r, s) is
a scalar in T for all r, s ∈ G(n). Now, the associativity of A immediately implies that τ
is a two-cocycle of G(n), so that W is a τ -projective unitary representation of G(n) in A.
Furthermore, note that τ satisfies
τ (ui , vjk )τ (vjk , ui ) = λi,jk for 1 ≤ i ≤ n, 1 ≤ j < k ≤ n.
By the universal property of the full twisted group C ∗ -algebra, there exists a unique ∗ homomorphism ϕ of C ∗ (G(n), τ ) onto A such that ϕ(iτ (r)) = W (r) for all r ∈ G(n).
Therefore, it is sufficient to show that τ ∼ σ, because then C ∗ (G(n), τ ) is canonically
isomorphic to C ∗ (G(n), σ). By Theorem 2.6, there is some β : G(n) → T such that σ 0 , given
by
σ 0 (r, s) = β(r)β(s)β(rs)τ (r, s),
is of the form (9). We calculate that
σ 0 (ui , vjk )σ 0 (vjk , ui )
= β(ui )β(vjk )β(ui vjk )τ (ui , vjk )β(vjk )β(ui )β(vjk ui )τ (vjk , ui )
= τ (ui , vjk )τ (vjk , ui ) = λi,jk
for all 1 ≤ i ≤ n and 1 ≤ j < k ≤ n. Hence, σ 0 = σ, so τ ∼ σ.
The above relation (19) is a consequence of (18) in the proof of Theorem 2.6 and is
the reason why λi,jk for i > k is not involved in the expression (9). To illustrate this
further, consider the three-dimensional case. Let U1 , U2 , U3 and V12 , V13 , V23 be unitaries in
a C ∗ -algebra B satisfying
[Vjk , Vlm ] = I,

[Ui , Vjk ] = µi,jk I,

[Uj , Uk ] = Vjk

2 In general, it will require much work to compute the formula for τ and it is not needed for this argument.
However, for n = 2, the expression for τ is precisely of the form (10).

15

for 1 ≤ i ≤ 3, 1 ≤ j < k ≤ 3, and 1 ≤ l < m ≤ 3 where {µi,jk } is any set of nine scalars in T.
Then we can compute that
U1 U2 U3 = V12 U2 U1 U3 = · · · = µ2,13 V12 V13 V23 U3 U2 U1 ,
U1 U2 U3 = U1 V23 U3 U2 = · · · = µ1,23 µ3,12 V12 V13 V23 U3 U2 U1 ,
that is, we must have µ2,13 = µ1,23 µ3,12 .
n
For dimensions n > 3, any choice of a triple of unitaries from the family
 {U }i=1 gives a
n
1
similar dependence. In the n · 2 n(n − 1) commutation relations, these 3 dependencies are
the only possible ones since


n · 21 n(n − 1) − n3 = 12 n(n − 1) n − 31 (n − 2) = 13 (n + 1)n(n − 1).
Remark 3.2. For n ≥ 2, let ω be the dual two-cocycle of G(n), that is,
1
\ T) ∼
ω : G(n) × G(n) → H 2 (G(n),
= Z 3 (n+1)n(n−1)

is determined by ω(r, s)(σ) = σ(r, s) for a two-cocycle σ of G(n). Let the group R(G(n)) be
1
defined as the set Z 3 (n+1)n(n−1) × G(n) with product
(j, r)(k, s) = (j + k + ω(r, s), rs).
It is not entirely obvious that ω and R(G(n)) are well-defined and we refer to [23, p. 689–690]
and [7, Section 4] for details on this and the fact that R(G(n)) is a representation group for
G(n). Moreover, according to [23, Corollary 1.3] we may construct a continuous field A over
H 2 (G(n), T) with fibers Aλ ∼
= C ∗ (G(n), σλ ) for each λ ∈ H 2 (G(n), T). Then the C ∗ -algebra
associated with this continuous field will be naturally isomorphic to the group C ∗ -algebra of
the group R(G(n)).
Next, we briefly consider the group G(3, 2) generated by u1 , u2 , v12 , w1 , w2 satisfying
[u1 , u2 ] = v12 ,

[u1 , v12 ] = w1 ,

[u2 , v12 ] = w2 ,

w1 , w2 central.

Then we have Z(G(3, 2)) ∼
= Z2 and Z(C ∗ (G(3, 2))) ∼
= C(T2 ).
The following statement can also be deduced from [23, Theorem 1.2 and Examples 1.4 (3)],
but we include the analysis that follows, because it is similar to that used in Theorem 1.1.
Let i denote the canonical injection of G(3, 2) into C ∗ (G(3, 2)). For each λ = (λ1 , λ2 ) ∈ T2 ,
let C ∗ (G(2), σλ ) be generated by unitaries satisfying (20). By a similar argument as in
Theorem 1.1, there is a surjective ∗ -homomorphism
πλ : C ∗ (G(3, 2)) → C ∗ (G(2), σλ )
such that i(ui ) = Ui , i(v12 ) = V12 , and i(wi ) = λi I for i = 1, 2. Moreover, the kernel of πλ
coincides with the ideal of C ∗ (G(3, 2)) generated by
λ ∈ Prim Z(C ∗ (G(3, 2))) ∼
(G(3, 2))) = T2 ∼
= Z(C ∗\
= H 2 (G(2), T).
Again, similarly as in Theorem 1.1, we define a set of sections and apply the DaunsHofmann Theorem. In this way, the triple


^ 2))
H 2 (G(2), T), {C ∗ (G(2), σλ )}λ , C ∗ (G(3,
is a full continuous field of C ∗ -algebras, and the C ∗ -algebra associated with this continuous
field is naturally isomorphic to C ∗ (G(3, 2)).
16

It is not difficult to see that R(G(2)) is isomorphic to G(3, 2). We conjecture that
R(G(n)) ∼
= G(3, n) also for n ≥ 3, where G(3, n) is the free nilpotent group of class 3
and rank n as described in (3), so that A is isomorphic to C ∗ (G(3, n)). For n ≥ 3, the
complicated part is to construct a homomorphism R(G(n)) → G(3, n), find an isomorphism
1
∼ Z(G(3, n)), and then use (4) to produce a commuting diagram:
Z 3 (n+1)n(n−1) =
1

1

Z 3 (n+1)n(n−1)

R(G(n))

∼
=

1

Z(G(3, n))

G(n)

1

=

G(3, n)

G(n)

1

In fact, [25, Proposition 2.2 and Remark 2.3] indicate that the representation group R(G(m, n))
for G(m, n) defined similarly as above may be isomorphic to G(m + 1, n) for all m, n ≥ 1.

4

Simplicity of the twisted group C ∗ -algebras C ∗ (G(n), σ)

Let σ be a two-cocycle of any group G. An element r of G is called σ-regular if σ(r, s) = σ(s, r)
whenever s in G commutes with r. If r is σ-regular, then every conjugate of r is also σ-regular.
Therefore, we say that a conjugacy class of G is σ-regular if it contains a σ-regular element.
Let n ≥ 2. The conjugacy class Cr of r ∈ G(n) is infinite if r ∈
/ V (n) = Z(G(n)). Indeed,
for any s ∈ G(n) we have
(srs−1 )i = ri and (srs−1 )jk = rjk + sj rk − rj sk .
Hence, |Cr | = ∞ if ri 6= 0 for some i. Of course, Cr = {r} if r ∈ V (n).
Now, we fix a two-cocycle σ of G(n) of the form (9).
Lemma 4.1. Let S(G(n)) be the set of σ-regular central elements of G(n), that is,
S(G(n)) = {r ∈ V (n) | σ(r, s) = σ(s, r) for all s ∈ G(n)}.
\
Then S(G(n)) is a subgroup of G(n) and Z(C ∗ (G(n)), σ) ∼
= C(S(G(n))).
Proof. It is not hard to check that S(G(n)) is a subgroup of V (n).
We identify C ∗ (G(n), σ) with Cr∗ (G(n), σ) ⊆ B(`2 (G)). Let δe in `2 (G) be the characteristic function on {e} and for an operator T in B(`2 (G)), set fT = T δe ∈ `2 (G). If T belongs
to the center of C ∗ (G(n), σ), then fT can be nonzero only on the finite σ-regular conjugacy
classes of G(n), that is, on S(G(n)) (see e.g. [19, Lemmas 2.3 and 2.4]).
Next, let C ∗ (S(G(n)), σ) be identified with {λσ (s) | s ∈ S(G(n))} ⊆ B(`2 (G)). This
means that Z(C ∗ (G(n), σ) ⊆ C ∗ (S(G(n)), σ). As the reverse inclusion obviously holds, we
have Z(C ∗ (G(n)), σ) = C ∗ (S(G(n)), σ).
Now, it is not difficult to see that C ∗ (S(G(n))) ∼
= C ∗ (S(G(n)), σ). Indeed, as s 7→ λσ (s)
∗
is a unitary representation of S(G(n)) into C (S(G(n)), σ) and the canonical tracial state τ
on C ∗ (S(G(n)), σ) is faithful and satisfies τ (λσ (s)) = 0 for each nonzero s ∈ S(G(n)), this is
just a consequence of [29, Théorème 4.22]. Altogether, we get
\
Z(C ∗ (G(n)), σ) = C ∗ (S(G(n)), σ) ∼
= C ∗ (S(G(n))) ∼
= C(S(G(n))).

17

Remark 4.2. If S(G(n)) is nontrivial, we can describe C ∗ (G(n), σ) as a continuous field of C ∗ \ The fibers will be isomorphic to C ∗ (G(n)/S(G(n)), ω)
algebras over the base space S(G(n)).
for some two-cocycle ω of G(n)/S(G(n)) (see [11, Theorem 1.1] and [23, Theorem 1.2] for
further details).
Example 4.3 ([11, Lemma 3.8 and Theorem 3.9]). Fix a two-cocycle σ of G(2) of the
form (10) such that both λ1,12 and λ2,12 are torsion elements. Let p and q be the smallest
natural numbers such that λp1,12 = λq2,12 = 1 and set k = lcm(p, q). Clearly, V (2) = Z and
S(G(2)) = kZ. Moreover, G(2)/S(G(2)) can be identified with the group with product
(r1 , r2 , r12 )(s1 , s2 , s12 ) = (r1 + s1 , r2 + s2 , r12 + s12 + r1 s2 mod kZ)
for r1 , r2 , s1 , s2 ∈ Z and r12 , s12 ∈ {0, 1, . . . , k − 1}.
\ ∼
Then C ∗ (G(2), σ) is a continuous field of C ∗ -algebras over the base space S(G(2))
= T.
The fibers will be isomorphic to C ∗ (G(n)/S(G(n)), ωλ ), where λ ∈ T and
ωλ (r, s) = σ(r, s)µr1 s2
for some µ ∈ T with µk = λ.
Characterizations for simplicity of of twisted group C ∗ -algebras of two-step nilpotent
groups have been given in [11, Corollary 1.4] and [23, Corollary 1.6]. For the groups G(n),
the necessary and sufficient conditions for simplicity are somewhat easier to provide.
Theorem 4.4. The following are equivalent:
(i) C ∗ (G(n), σ) is simple.
(ii) C ∗ (G(n), σ) has trivial center.
(iii) There are no nontrivial central σ-regular elements in G(n).
Proof. By [21, Theorem 1.7] C ∗ (G(n), σ) is simple if and only if every nontrivial σ-regular
conjugacy class of G(n) is infinite. Since every finite conjugacy class of G(n) is a one-point
set of a central element, then (i) is equivalent with (iii).
Moreover, (iii) is the same as saying that S(G(n)) is trivial, so therefore, (ii) is equivalent
with (iii) by Lemma 4.1. This also follows from [19, Theorem 2.7].
Lemma 4.5. A central element s = (0, . . . , 0, s12 , s13 , . . . , sn−1,n ) of G(n) is σ-regular if and
only if
Y
sjk
λi;jk
=1
1≤j<k≤n

for all 1 ≤ i ≤ n.
Proof. Clearly, an element s = (0, . . . , 0, s12 , s13 , . . . , sn−1,n ) ∈ V (n) is σ-regular if and only
if σ(s, r) = σ(r, s) for all r ∈ G(n). By a direct calculation from the cocycle formula (9), we
get that
 Y
 Y
 Y

sjk ri sik rj
sjk rj rk sjk
−r s
rk sij
σ(r, s)σ(s, r) =
λi,jk
λj,ik
λj,jk
λk,jk
λi,jkk ij λj,ik
i<j<k

=

n 
Y
i=1

j<k

Y

s

jk
λi,jk

i<j<k

 ri

1≤j<k≤n

is equal to 1 for all r ∈ G(n) if and only if the inner parenthesis is 1 for each 1 ≤ i ≤ n.
18

Corollary 4.6. We have that C ∗ (G(n), σ) is simple if and only if for each nontrivial central
element s = (0, . . . , 0, s12 , s13 , . . . , sn−1,n ) there is some 1 ≤ i ≤ n such that
Y
sjk
λi,jk
6= 1.
1≤j<k≤n
∗

Example 4.7. In particular, C (G(3), σ) is simple if and only if for each nontrivial central
element s = (0, 0, 0, s12 , s13 , s23 ) at least one of the following hold:
12
13
23
λs1,12
λs1,13
λs1,23
6= 1,
12
13
23
λs2,12
λs2,13
λs2,23
6= 1,
12
13
23
λs3,12
λs3,13
λs3,23
6= 1.

Next, set λi,jk = e2πiti,jk for ti,jk ∈ [0, 1) and consider the n × 12 n(n − 1)-matrix T with
entries ti,jk in the corresponding spots. Then T induces a linear map
1

R 2 n(n−1) → Rn .
Corollary 4.8. Let T be the matrix described above. Then following are equivalent:
(i) C ∗ (G(n), σ) is simple
1

(ii) T −1 (Zn ) ∩ Z 2 n(n−1) = {0}
1

(iii) T (Z 2 n(n−1) \ {0}) ∩ Zn = ∅
Remark 4.9. Clearly, condition (ii) above is equivalent to that T restricts to an injective
map
1
Z 2 n(n−1) → Rn /Zn ∼
= Tn .
Furthermore, for 1 ≤ j < k ≤ n, define
Λjk = {ti,jk ∈ [0, 1), 1 ≤ i ≤ n | e2πiti,jk = λi,jk }
and for 1 ≤ i ≤ n, define
Λi = {ti,jk ∈ [0, 1), 1 ≤ j < k ≤ n | e2πiti,jk = λi,jk }.
Proposition 4.10. If there exists i such that all the elements of Λi are irrational and linearly
independent over Q, then C ∗ (G(n), σ) is simple.
Proof. It follows immediately from Lemma 4.5, that “equation i” cannot be satisfied unless
s = 0. Hence, no nontrivial σ-regular central elements exists.
Proposition 4.11. If there exists j < k such that Λjk consists of only rational elements,
then C ∗ (G(n), σ) is not simple.
Proof. Let q be the least common two-cocycle of the denominators of the elements of Λjk .
Then qvjk is central and σ-regular. Indeed,
σ(r, qvjk )σ(qvjk , r) =

n−1
Y

i
λqr
i,jk = 1

i=1

for all r ∈ G(n).
Remark 4.12. In the case where C ∗ (G(n), σ) is not simple, some more information about
the primitive ideal space can be deduced from [11, Proposition 1.3].
19

5

On isomorphisms invariants of C ∗ (G(n), σ)

Fix n ≥ 2 and let σ be a two-cocycle of G(n). If ϕ is an automorphism of G(n), define the
two-cocycle σϕ of G(n) by
σϕ (r, s) = σ(ϕ(r), ϕ(s)).
(21)
Then it is well-known that the associated twisted group C ∗ -algebras C ∗ (G(n), σ) and
C ∗ (G(n), σϕ ) are isomorphic. Indeed, the map
i(G,σ) (r) 7→ i(G,σϕ ) (ϕ−1 (r))
extends to an isomorphism C ∗ (G(n), σ) → C ∗ (G(n), σϕ ). Moreover, for any automorphism ϕ
of G(n), it is easily seen that two two-cocycles σ and τ of G(n) are similar if and only if σϕ
and τϕ are similar. Hence, there is a well-defined group action of the automorphism group
Aut G(n) on H 2 (G(n), T) defined by ϕ · [σ] = [σϕ ].
Therefore, we will now briefly investigate Aut G(n). Let V (n)n be the subgroup of
Aut G(n) consisting of the automorphisms G(n) → G(n) of the form ui 7→ zi ui for 1 ≤ i ≤ n
and elements zi ∈ V (n) = Z(G(n)). In particular, these automorphisms leave all the vjk ’s
fixed, i.e. V (n)n is the subgroup of Aut G(n) leaving V (n) fixed. Clearly, V (n)n contains
Inn G(n). In fact, in the case n = 2, we have V (2)2 = Inn G(2).
Proposition 5.1. There is a split short exact sequence:
1

V (n)n

Aut G(n)

GL(n, Z)

1

Proof. Assume that ϕ is any endomorphism G(n) → G(n). The image of a central element
under ϕ must be central, so ϕ restricts to an endomorphism ϕ1 : V (n) → V (n). Therefore,
ϕ also induces an endomorphism ϕ2 : G(n)/V (n) → G(n)/V (n) determined by ϕ2 (q(r)) =
q(ϕ(r)). Consider now the following commutative diagram:
1

V (n)

i

ϕ1

1

V (n)

G(n)

q

ϕ
i

G(n)

Zn

1

ϕ2
q

Zn

1

Assume that ϕ2 is an automorphism. Since ϕ2 is surjective, then for all ui there is some
si ∈ G(n) such that ϕ(si ) = zi ui for some zi ∈ V (n). Hence, for all j < k, we have
−1
n
ϕ1 (sj sk s−1
j sk ) = vjk and therefore, ϕ1 is surjective. Every surjective endomorphism of Z
is also injective, so ϕ1 is an automorphism as well. Thus, by the “short five lemma”, ϕ is an
automorphism.
The converse obviously holds and hence, ϕ is an automorphism if and only if ϕ2 is an
automorphism.
Furthermore, the construction of G(n) in terms of generators and relations means that
every endomorphism G(n) → G(n) is uniquely determined by its values at {ui }ni=1 . In
particular, we let ϕ : G(n) → G(n) be determined by the pair of matrices given by its entries
(ϕ(ui )j ), (ϕ(ui )jk ) ∈ Mn (Z) × Mn, 21 n(n−1) (Z)
so that the induced endomorphism ϕ2 is coming from a matrix in Mn (Z).
By the above argument, the map between endomorphism groups defined by
End G(n) → End Zn ,

(ϕ(ui )j ), (ϕ(ui )jk ) 7→ (ϕ(ui )j )
20

(22)

restricts to a surjective map Aut G(n) → Aut Zn = GL(n, Z).
Before concluding the argument, we need the following.
Lemma 5.2 (nested inside the proof). If ϕ and ϕ0 are two endomorphisms of G(n), then
(ϕ ◦ ϕ0 )(ui )j =

n
X

ϕ0 (ui )k ϕ(uk )j .

k=1

If ϕ and ϕ0 are two endomorphisms of G(n) that both induce the trivial map on G(n)/V (n),
then
(ϕ ◦ ϕ0 )(ui )jk = ϕ0 (ui )jk + ϕ(ui )jk .
Proof. For the moment, set ϕ(ui )j = rij and ϕ0 (ui )j = sij . Then
(ϕ ◦ ϕ0 )(ui ) = ϕ(usnin · · · us1i1 z) = (urnnn · · · ur1n1 )sin · · · (urn1n · · · ur111 )si1 z 0
for some elements z, z 0 ∈ V (n). Moreover, we can change the order of the ui ’s in the expression
just by replacing z 0 by another central element z 00 and thus,
(ϕ ◦ ϕ0 )(ui )j = rnj sin + rn−1,j si,n−1 + · · · + r1j si1 =

n
X

sik rkj .

k=1

If both ϕ2 and ϕ02 are trivial, then ϕ(ui ) = zi ui and ϕ0 (ui ) = zi0 ui for all 1 ≤ i ≤ n and some
elements zi , zi0 ∈ V (n). Hence, ϕ(vjk ) = ϕ0 (vjk ) = vjk for all j < k and thus,
(ϕ ◦ ϕ0 )(ui ) = ϕ(zi0 ui ) = zi0 zi ui .
Therefore, (22) restricts to a surjective homomorphism Aut G(n) → GL(n, Z) with kernel
isomorphic to the group Mn, 12 n(n−1) (Z) under addition, that is, to V (n)n .
Moreover, if A is a matrix in GL(n, Z) with entries aij , then one can define an automorphism ϕA of G(n) by ϕA (ui )j = aij . Thus, it should be clear that GL(n, Z) sits inside
Aut G(n) as a subgroup so that the sequence splits.
Proposition 5.3. If ϕ belongs to V (n)n , then σϕ is similar to σ. Thus, the action of V (n)n
on H 2 (G(n), T) given by (21) is trivial.
Proof. It is not hard to see that
σ(ui , vjk )σ(vjk , ui ) = σϕ (ui , vjk )σϕ (vjk , ui ),
that is,
[i(G,σ) (ui ), i(G,σ) (vjk )] = [i(G,σϕ ) (ui ), i(G,σϕ ) (vjk )]
for all 1 ≤ i ≤ n and 1 ≤ j < k ≤ n. It then follows from the universal property of
C ∗ (G(n), σ) described in Theorem 3.1 that σϕ ∼ σ.
To describe the GL(n, Z)-action on H 2 (G(n), T) requires more work. To any A in GL(n, Z)
we may associate a square matrix Ã of dimension 12 n(n − 1), with entries coming from the
determinant of all 2 × 2-matrices inside A. More precisely, if A = (aij ), Ã is given by entries
ãij,kl for i < j, k < l such that ãij,kl = aik ajl − ail ajk . Then A acts on the matrix T defined
prior to Corollary 4.8 by A · T = AT Ã. Tedious computations of commutation relations and
use of the universal property of C ∗ (G(n), σ) from Theorem 3.1 now lead to the following
result.
21

Proposition 5.4. Let σ and σ 0 be two-cocycles of G(n) of the form (9) and let T and T 0 be
the associated matrices of Corollary 4.8. If there exists a matrix A in GL(n, Z) such that
A · T = T 0 , then C ∗ (G(n), σ) and C ∗ (G(n), σ 0 ) are isomorphic.
For n = 2, it is shown by Packer [21, Theorem 2.9] that C ∗ (G(2), σ) and C ∗ (G(2), σ 0 ),
where σ and σ 0 are of the form (9), are isomorphic if and only if there is a GL(2, Z)-matrix
A taking σ to σ 0 . Note in this case that Ã = det A = ±1.
For n ≥ 3, it is at the moment not clear whether the GL(n, Z)-action on H 2 (G(n), T)
described above is such that the orbits represent different isomorphism classes of twisted group
C ∗ -algebras. Therefore, the problem of determining the isomorphism classes of C ∗ (G(n), σ)
remains open for future investigation.
σλ
Remark 5.5. Every two-cocycle σλ of G(n) is of the form e2πie
for some two-cocycle σ
eλ
on G(n, R). Moreover, any pair of two-cocycles σλ and σµ of the form described above are
homotopic in the sense of Packer and Raeburn [22, Section 4]. Hence, one may use [22,
Theorem 4.2 and Corollary 4.5] to deduce that
1

i+ n(n−1)
Ki (C ∗ (G(n)), σλ ) ∼
(G(n, R)/G(n)).
= Ki (C ∗ (G(n)), σµ ) ∼
= Ktop2

Remark 5.6 (new). The groups G(n), or more generally all the free nilpotent groups G(m, n)
of class m and rank n are finitely generated (torsion-free) nilpotent groups. Let σ be a
two-cocycle of G(m, n) and suppose that there are no nontrivial central σ-regular elements
in G(m, n), that is, C ∗ (G(m, n), σ) is simple with a unique trace by [20] (see Theorem 4.4
and the subsequent results above for the case of G(n)). Then there exists an irreducible
representation πσ of G(m + 1, n) such that C ∗ (G(m, n), σ) ∼
= C ∗ (πσ (G(m + 1, n))) by using
Theorem 1.1, Remark 3.2, and (4). Thus it follows from [9] and [8] that C ∗ (G(m, n), σ) is
classified by its ordered K-theory within the class of simple, unital, nuclear C ∗ -algebras with
finite nuclear dimension that satisfy the universal coefficient theorem.

References
[1] Joel Anderson and William L. Paschke. The rotation algebra. Houston J. Math.,
15(1):1–26, 1989.
[2] Nigel B. Backhouse and Christopher J. Bradley. Projective representations of space
groups. I. Translation groups. Q. J. Math., 21:203–222, 1970.
[3] Lawrence W. Baggett and Judith A. Packer. C ∗ -algebras associated to two-step nilpotent
groups. In Selfadjoint and nonselfadjoint operator algebras and operator theory, Contemp.
Math., vol. 120, pp. 1–6, Amer. Math. Soc., Providence, RI 1991.
[4] Lawrence W. Baggett and Judith A. Packer. The primitive ideal space of two-step
nilpotent group C ∗ -algebras. J. Funct. Anal., 124(2):389–426, 1994.
[5] John Dauns and Karl Heinrich Hofmann. Representation of rings by sections. Mem.
Amer. Math. Soc., vol. 83, Amer. Math. Soc., Providence, RI 1968.
[6] Siegfried Echterhoff, Ryszard Nest, and Herve Oyono-Oyono. Principal non-commutative
torus bundles. Proc. Lond. Math. Soc., 99(1):1–31, 2009.
[7] Siegfried Echterhoff and Dana P. Williams. Locally inner actions on C0 (X)-algebras. J.
Operator Theory, 45(1):131–160, 2001.
22

[8] Caleb Eckhardt and Elizabeth Gillaspy. Irreducible representations of nilpotent groups
generate classifiable C ∗ -algebras. Münster J. Math., to appaer.
[9] Caleb Eckhardt and Paul McKenney. Finitely generated nilpotent group C ∗ -algebras
have finite nuclear dimension. J. Reine Angew. Math., to appear.
[10] Yuri V. Kuz’min and Yuri S. Semenov. On the homology of a free nilpotent group of
class 2. Mat. Sb., 189(4):49–82, 1998.
[11] Soo Teck Lee and Judith A. Packer. Twisted group C ∗ -algebras for two-step nilpotent
and generalized discrete Heisenberg groups. J. Operator Theory, 34(1):91–124, 1995.
[12] Soo Teck Lee and Judith A. Packer. The cohomology of the integer Heisenberg groups.
J. Algebra, 184(1):230–250, 1996.
[13] George W. Mackey. Unitary representations of group extensions. I. Acta Math., 99:265–
311, 1958.
[14] Paul Milnes and Samuel G. Walters. Simple quotients of the group C ∗ -algebra of a
discrete 4-dimensional nilpotent group. Houston J. Math., 19(4):615–636, 1993.
[15] Paul Milnes and Samuel G. Walters. Simple infinite-dimensional quotients of C ∗ (G) for
discrete 5-dimensional nilpotent groups G. Illinois J. Math., 41(2):315–340, 1997.
[16] Calvin C. Moore. Extensions and low dimensional cohomology theory of locally compact
groups. II. Trans. Amer. Math. Soc., 113:64–86, 1964.
[17] Ole A. Nielsen. Unitary representations and coadjoint orbits of low-dimensional nilpotent
Lie groups. Queen’s Papers Pure Appl. Math., vol. 63, Queen’s Univ., Kingston, ON
1983.
[18] Tron Ånen Omland. On the structure of certain C ∗ -algebras arising from groups.
Doctoral thesis, Norwegian University of Science and Technology (NTNU), 2013.
[19] Tron Ånen Omland. Primeness and primitivity conditions for twisted group C ∗ -algebras.
Math. Scand., 114(2):299–319, 2014.
[20] Judith A. Packer. C ∗ -algebras generated by projective representations of the discrete
Heisenberg group. J. Operator Theory, 18(1):41–66, 1987.
[21] Judith A. Packer. Twisted group C ∗ -algebras corresponding to nilpotent discrete groups.
Math. Scand., 64(1):109–122, 1989.
[22] Judith A. Packer and Iain Raeburn. Twisted crossed products of C ∗ -algebras. II. Math.
Ann., 287(4):595–612, 1990.
[23] Judith A. Packer and Iain Raeburn. On the structure of twisted group C ∗ -algebras.
Trans. Amer. Math. Soc., 334(2):685–718, 1992.
[24] Michael D. Spivak. Calculus on manifolds. A modern approach to classical theorems of
advanced calculus. W. A. Benjamin, Inc., New York-Amsterdam 1965.
[25] Markus Szymik. Twisted homological stability for extensions and automorphism groups
of free nilpotent groups. J. K-Theory, 14(1):185–201, 2014.
[26] Terence Tao. The free nilpotent group. http://terrytao.wordpress.com/2009/12/
21/the-free-nilpotent-group/
23

[27] Charles A. Weibel. An introduction to homological algebra. Cambridge Stud. Adv. Math.,
vol. 38, Cambridge Univ. Press, Cambridge 1994.
[28] Dana P. Williams. The structure of crossed products by smooth actions. J. Aust. Math.
Soc., 47(2):226-235, 1989.
[29] Georges Zeller-Meier. Produits croisés d’une C ∗ -algèbre par un groupe d’automorphismes.
J. Math. Pures Appl., 47:101–239, 1968.
Department of Mathematical Sciences, Norwegian University of Science and Technology
(NTNU), NO-7491 Trondheim, Norway.

24

