Skip to main content

Full text of "$κ$-Deformation and Spectral Triples"

See other formats


K-Deformation and Spectral Triples 


Centre de Physique Theorique % 
^ ' CNRS-Luminy, Case 907 13288 Marseille Cedex 9 FRANCE 

qq , The aim of the paper is to answer the following question: does K-defor- 

mation fit into the framework of noncommutative geometry in the sense of 
spectral triples? 

Using a compactification of time, we get a discrete version of K-Minkowski 
deformation via C*-algebras of groups. The dynamical system of the un- 
I , derlying groups (including some Baumslag-Solitar groups) is used in order 

f^ to construct finitely summable spectral triples. This allows to bypass an ob- 

struction to finite-summability appearing when using the common regular 

Pacs numbers: ll.10.Nx, 02.30.Sa, 11.15.Kc 


Q^ \ 1. Introduction 

■^J- . Lukierski, Ruegg, Nowicki & Tolstoy discovered a Hopf algebraic de- 

formation of the Poincare Lie algebra and called k the deformation pa- 

^. ■ rameter |44,45j. Since this pioneering work, the subject became very ac- 

tive: the Hopf algebra was represented on the K-deformation of Minkowski 
space [UlEQ]. This has been used to generalize the notion of a quantum 
particle [IB] or in quantum fields [25] , Algebraic properties like differen- 
tial calculi on the K-Minkowski space were investigated [S2] as well as the 

S^ Noether theorem [213]. The K-Minkowski space has also been popularized 

as 'double special relativity' [2] and appears in spin foam models [30] . 

It is natural to ask whether K-geometry is a noncommutative one in the 
sense of Connes [181119] (see [23J for a first attempt). While the algebraic 

' Talk presented by B. I. at the conference "Geometry and Physics in Cracow" , Septem- 
ber 21-25, 2010, 

* The Smoluchowski Institute of Physics, Jagiellonian University, Reymonta 4, 30-059 
Krakow, Poland, Partially supported by MNII grant 189/6.PRUE/2007/7 and N 201 
1770 33 

§ Unite Mixte de Recherche du CNRS et des Universites Aix-Marseille I, Aix-Marseille 
II et de l'Universite du Sud Toulon- Var 


setting is quite clear, the main difficulty is to overcome the analysis which 
is an essential part in the definition of spectral triples. 

The K-deformation of n-dimensional Minkowski space is based on the 
Lie-algebraic relations 

[x°,x j ] := j:x j , [x j ,x k }=0, j, k = 1, . . . ,n - 1. (1) 

Here we assume k > 0. As in [32l eq. (2.6)], one gets 

e i0^ = e i C0 X° e ic'xl where / . = K. (1 _ e - C °/«) c 

J Co v ' J 

Assuming that the x^'s are selfadjoint operators on some Hilbert space, we 
define unitaries _ 

U w := e iwx ° and V % := e^^^ 

with oj, kj G R, which generate the K-Minkowski group considered in [I]. 
If W(k,u) := Vj:Uu, one gets as in pQ eq. (13)] 

W(k,u)W(k',uj') =W(e- u/K k' + k,u + cj'). (2) 

The group law (|2J) is, for n = 2, nothing else but the crossed product 

G K := R X Q R with group isomorphism a{uj)k := e~ UJ ' K k, k 6 R. (3) 

Note that G K ~ R xi R^_ is the affine group on the real line which is solvable 
and nonunimodular. The irreducible unitary representations are either one- 
dimensional, or fall into two nonequivalent classes pQ. When k — > oo, the 
usual plane R 2 is recovered but with an unpleasant pathology at the origin 

For a given uj, a particular case occurs when m := e W ' K G N*, since 

U U V% = (V % ) m U^ (4) 

m being independent of kj. This means that for chosen uj and kj, the 
presentation of the group is given by two generators and one relation. 

Here, we investigate different spectral triples (A,H,T>) associated to 
the group C*-algebra of G K . To avoid technicalities due to a continuous 
spectrum of P, we want a unital algebra so that we consider a periodic time 
x° which induces a discrete version G a of G K where a is a real parameter 
depending on k. This is done in section [21 

In section O we give the main properties of the algebra U a = C*{G a ) 
and its representations. For C*-algebras of groups, the left regular repre- 
sentation is the natural one to consider. But due to the structure of G a 

(solvable with exponential growth, see Theorem 13, 2p . there is a known ob- 
struction to construct finite-summable spectral triples on U a based on this 
representation. In order to bypass this obstruction, we need to refine our 
understanding of the structure of G a in terms of an underlying dynamical 
system. This structure permits to define a particular representation of U a 
using only the periodic points of the dynamical system. Following Brenken 
and J0rgensen [TT], the topological entropy of this dynamics is considered. 

It is worthwhile to notice that the elementary building blocks G a given 
by a = m € N* as in are some of the amenable Baumslag-Solitar groups, 
already encountered in wavelet theory [38J . The power of harmonic analysis 
on groups also justifies a reminder of their main properties in section UJ 

The question of the finite summability of these triples is carefully con- 
sidered with results by Connes [T5] and Voiculescu [551157] : using the regular 
representation of C*(G a ), an obstruction to finite-summability appears and 
allows only 0-summability. However, faithful representations of C*(G a ), not 
quasi-equivalent to the left regular one and based on the existence of peri- 
odic points for dynamical systems, can give rise to arbitrary finite-summable 
spectral triples. These results are summarized in Theorems 15.21 and 15.31 
All proofs will appear elsewhere. 

2. Motivations and models 

Let us consider the example given by ([1]) for two hermitian generators 
x° and x 1 . For any (k,u) G M. 2 , one defines W(k,0j) := Vj. U w = e~ lkx e tulx . 
Then one has ^ which is a representation of the group G K defined in © . 
The bounded operators W(f) := J G f(k, u) W(k, uj) e^/ K dk duj for any / G 

L 1 (G K , e^' K dk dw) (here e^' K dk du is the left Haar measure on G K ) generate 
a representation of C* ed (G K ). The product of /, g € L 1 (G re , e u ' K dk dui) takes 
the form (/ * K g)(k,J) = J G J(k',J)g(e w 'l K (k-k'),uj-uj l )e ul 'l ,i dk'du'. 
The advantage of considering the theory of group C*-algebras is twofold. 
Many structural properties on groups will turn out to be useful in studying 
some properties of the corresponding C*-algebras. Moreover, this allows us 
to construct in a natural way compact versions of noncommutative spaces 
as we now explain. 

For an abelian topological group G, C* ed (G) is isomorphic to Cq{G) 
where G is the Pontryagin dual of G. Both algebras are defined as spaces of 
functions. By duality, a discrete subgroup F C G produces the C*-algebra 
C* ed (T) ~ C(r) where C(T) is the C*-algebra of continuous functions on 
the compact space T. Notice that there is a natural dual map G — y T. For 
the example of the plane, consider the discrete subgroup r = 1? C M 2 . 
Then the resulting C*-algebra is C*{I?) ~ C(T 2 ) because Z = T 1 . The 

dual map R ~ R — >■ Z = T 1 is explicitly given by x *— > e 2mx . The choice of 
the subgroup T = Z 2 C R 2 corresponds then to the choice of the compact 
version T 2 of the (dual) space R 2 ~ R 2 . The compactification takes place 
in the space of the variables (x,y). 

In order to get a compact version of this K-deformed Minkowski space, 
one has to choose a discrete subgroup H K C G K . Since H K is discrete and 
non-abelian, the associated algebra C*(H K ) is unital and noncommutative, 
so it can be interpreted as a compact noncommutative space. This point is 
motivated in section 12.11 and is done in section 12.21 

As a final preliminary remark, let us mention that the groups we will en- 
counter will be decomposed as crossed products with Z, so both the (related) 
theories of discrete dynamical systems and crossed products of C*-algebras 
will be intensively used in many parts of this work. 

2.1. Spectral triples 

The goal is to study the existence of spectral triples for the K-deformed 
space. A spectral triple (or unbounded Fredholm module) (A, H, V) pT7|.fT8l 
[20] is given by a unital C*-algebra A with a faithful representation it on a 
Hilbert space Ti and an unbounded self-adjoint operator T> on ~H such that 

- the set A = { a G A : [D, ir(a)] is bounded } is norm dense in A, 

- (1 + D 2 )^ 1 has a compact resolvent. 
(A is always a *-subalgebra of A) 

Of course, the natural choice of the algebra A is to take the C*-algebra of 
the group G K , but since A = C*(G K ) has no unit, we need to replace the 
second axiom by: 

- 7r(a)(l + V 2 )' 1 has a compact resolvent for any a € A. 

This technical new axiom generates a lot of analytical complexities but is 
necessary to capture the metric dimension associated to T>. For instance, if 
a Riemannian spin manifold M is non-compact, the usual Dirac operator T> 
has a continuous spectrum on % = L 2 (S) where S is the spinor bundle on M. 
Nevertheless, the spectral triple (C°°(M) : L 2 (S), Tn has a metric dimension 
which is equal to the dimension of M. A noncommutative example (the 
Moyal plane) of that kind has been studied in [31] . 
We try to avoid these difficulties here by using a unital algebra A. 

2.2. The compact version model as choice of a discrete subgroup 

We consider only dimension n = 2 but the results can be extended 
to higher dimensions thanks to Hf. To get a unit, we choose a discrete 
subgroup H K of G K such that 1 G C*(H K ). 

Since we want also to keep separate the role of the variables x° and x 1 , 
we consider the subgroup of the form H K = H x Q Z: we first replace the 

second R of G K in ([3]) by the lattice Z which corresponds to unitary periodic 
functions of a chosen frequency ujq (the time x° is now periodic). So, given 
k > and u>o G R, with 

,-w /k 


the group R x aa Z is a subgroup of G K where a a (n) is the multiplication by 
a n . This subgroup is a non-discrete a ax + 6" group. 

Then, we want a group H to be a discrete (now, not necessarily topo- 
logical) subgroup of the first K in 1 x fto Z, which is invariant by the action 
a a . Given ko G R, a natural building block candidate for a discrete H is 
given by H = B a ■ k$ ~ S a where 

5 a := { ^ mja™' : m^njGZ}, 

j, finite 

and more generally, one can take H ~ (Bk B a . 

The search for a discrete subgroup H K of G K such that 1 G C*(H K ) leads 
to ff re ,a := -Ba Xa a Z which is isomorphic to a subgroup of G K once ko is 

This procedure drives us to the analysis of the algebraic nature of a. For 
instance, when a = m G N* is an integer, this group H K ^ m is well known 
since it is the solvable Baumslag-Solitar group BS(l,m) = Z[~] » am Z as 
shown in section H] where we get B m = Bi/ m = Z[l/m]. A broad family of 
noncommutative spaces appears: 

Lemma 2.1. In two dimensions, there exists a unital subalgebra C*{H K)Tn ) 
of the k- deformation algebra, associated to the subgroup H Kj7n = Z[— ] x Qm Z 
of G K)m and which can be seen as generated by two unitaries U, V such that 
U = U U0 , V = V ko and UV = V m U. Here, k := -uo log _1 (m) > for 
some given integer m > 1 and some loq G R~, fco S R- 

3. The algebra W a and its representations 

We now compute the C*-algebra U a which is our model for a compact 
version of the 2-dimensional K-Minkowski space. The structure of this alge- 
bra is described through a semi-direct product of two abelian groups, one 
of which depends explicitly on the real parameter a > 0. This semi-direct 
structure gives rise to a dynamical system which is heavily used in the fol- 
lowing. The classification of the algebras U a is performed: the -ff-groups are 
not complete invariants, and we use the entropy defined on the underlying 
dynamical system to complete this classification. Then some representations 
of U a are considered. They strongly depend on the algebraic or transcenden- 
tal character of a. In the algebraic case, some particular finite dimensional 

representations are introduced based on periodic points of the dynamical 
system. This construction will be used in section [5j 

Let a = e~ UJ °' ti £ R+ with a/1, and let us recall general facts from |llj : 

B a := { N mi a"' for finitely many rrij, ?ij £ Z }. 

This discrete group is torsion-free so its Pontryagin dual B a is connected 
and compact. 

Let a a be the action of Z on b € .B a defined by a a (n)b := a n 6, let 5^ be 
the associate automorphism on B a and 

G a := B a x Qa Z, U a := C*(G a ) = C*(B a ) x Qa Z = C(S ) x^ Z. 

This kind of C*-algebras also appeared in [13J for totally different purposes. 
The group G a is generated by u := (0, 1) and v := (1,0). 

Lemma 3.1. Let a € R+, £/ien £> a = B\i a and G a ~ G\i a . Thus the 
C* -algebra U a andUi/ a are isomorphic. 

The symmetry point a = \/a corresponds to the commutative case in 
Q with a = 1 or the undeformed relation ([1]) with k = oo. In this spirit £Y a 
can be viewed as a deformation of the two-torus. 

The dynamical system U a ~ C{B a ) x Q Z has an ergodic action (if a^l) 
[lOyilj and if the set of (/-periodic points is 

Per g (£ a ) :={x€B a : a fc (x) # X, VA: < g, 5*(x) = X } 

then the growth rate lim^oo q^ 1 log (#Per g (i? a )) of this sets is an invariant 
of U a which coincides with the topological entropy h(a^): 

h(oT a ) = lim q~ l log (#Per 9 (i? a )) . (6) 

This entropy can be finite or infinite, dividing the algebraic properties of a 
into two cases: a can be a an algebraic or a transcendental number. 

3.1. Transcendental case 

If a is a transcendental number, then B a ~ Z[o, a -1 ]. Thus, i? a ~ ©zZ, 
5 a ~ S a := {z = (Zk)^^ € T z } and (S(z)) fc = z fc+1 for z £ S a , k e Z 
so that a is just the shift a on T . Thus W a ~ C(T ) x^ Z and /i(a) = oo. 
Note that the wreath product I appears with its known presentation: 

G a = B a x Q Z~Z?Z~ (u,v : [«*««"*,«] = 1 for all i > 1). 

This group is amenable (solvable), torsion- free, finitely generated (but not 
finitely presented), residually finite with exponential growth. 
S a contains a lot of g-periodic points: they are obtained by repeating any 
sequence (zk)i~Zo °^ arbitrary elements in T. Aperiodic points are easily 
constructed also. Moreover, S a is the Bohr compactification 6,e a M of M. 

3.2. Algebraic case 

Assume now that a is algebraic. Let P € Q[x] be the monic irreducible 
polynomial such that P(a) = and let P = cQ a where Q a G T\x\. If d is 
the degree of Q a , we get the ring isomorphism B a ~ r L[x,x~ 1 ]/{Q a ) [IT] . 
Moreover, B a has a torsion-free rank d. If Q a (x) = Ylj=oQj xJ ( so Qa, 
has leading coefficient qa € N*), let A a € M^ X rf(Z) be the d x d-matrix 
defined by (A»)i,j := Qd^ij-i for 1 < j < d and (A a ) d j = -qj-i- Then 

For instance, if a = 1/m for m G N* then P(x) = x — 1/m, Q a ( x ) = mx — 1, 
d = 1, so B a = Z[-M and A a is just the number 1. 

Let cr be the shift on the group (T d ) and consider its cr-invariant sub- 

group K a :={z = (z fc )r=-oc G (T d f : 9d z fc+ i = 4,**} (use T ~ M/Z). 
If 5 a is the connected component of the identity of K a , then there exists a 
topological group isomorphism ij) : B a — >• S a such that o"|5 o o ip = ip o S [HI 

Theorem 19]. For any x £ -^oj the associated z = (2fc)fcL-oo is given by 
zj, = x( afc+J_1 ) where z k = (zjj. )f=i G T d . In particular zq is given by 
(x(l), xi a )i ■ ■ ■ )X(° d_1 ))- This map is only surjective on the connected 
component of the identity. 
When a = 1/m with m £ N*, we will recover Si/ m = S m in (|13p . 

There is a morphism of groups I : ffi — > S a defined as follows: to any 

eh = U(*)V-_i j (= TR d . nnp a.ssnr>ia.t.fis ?U"l = z = ^,^9° <= (T d 


d G M d , one associates t(0) = z = (z fc )^_ 00 € (T d ) with 

^ =exp(2ivr^^(^) M ^)). (7) 


This shows that 5a is a Bohr compactification of K [XO^ Proposition 2.4]. 
Then a((j)) = qj A a (p defines an action of Z on Mr which satisfies toa = aoi. 
If ti, i = 1, ■ ■ ■ d are the roots of P, then by [11| Proposition 3, Corollary 1], 

c q (a) := # Per q (S a ) = n\ =1 \Q a {e^ k / <>)\ = |<fc|«n£ =1 |l - r k *\. (8) 
Thus by ([6]), the topological entropy is 

h{c£) = log \q d \ + ^ log|ri|. (9) 

», N>i 

In case a = m or a = 1/m, ([9]) gives h(c£m) = h(a\i m ) = log(m). 
Aperiodic points in S a can be easily constructed using the map I denned by 
([?]): any 4> G (M\Q) a! defines an aperiodic point i(4>) G S a . 

3.3. On the structure and classification of algebras U a 
We can now give the main properties of the algebras U a : 

Theorem 3.2. Let a£R* + anda^l. Then 

(i) The group G a = B a y\ a 7* is a torsion-free discrete solvable group with 
exponential growth and B a is a compact set isomorphic to a solenoid S a . 

(ii) U a = C* red {B a x Q Z) ~ C(S a ) x S 2 is a NGCRR, AF-embeddable, 
non-simple, residually finite dimensional C* -algebra and its generated von 
Neumann algebra for the left regular representation is a type Hi - factor. 

A main point of this theorem, crucial for the sequel is that the algebra U a 
is residually finite and its proof is based on properties of the underlying 
dynamical system: 

Proposition 3.3. Let a G M*^_ and o/l. The subgroup of periodic points 
and the set of aperiodic points of S a under a are dense. The space of orbits 
of S a is not a T^-space. 

The classification of algebras U a is also based on the dynamical system: 

Theorem 3.4. Let ujq £ R and k € R+ defining o/l in ([5|). 
(i) U a ^ U a i yields c q (a) = c q (a'), \/q G N*. 
(ii) The entropy h(a) is also an isomorphism-invariant oflA a . 

This result has important physical consequences since a full Lebesgue 
measure dense set of different parameters a (namely the transcendental 
ones) generates the same algebra or K-deformed space, while in the rational 
case, these spaces are different: 

Corollary 3.5. As already seen, U a ~U\i a . Moreover, 

(i) All transcendental numbers a generate isomorphic algebras U a . 

(ii) If U a ~ U a i , then a and a 1 are both simultaneously algebraic or 
transcendental numbers. 

(Hi) IfU a — U a i , then a! = a or a' = a -1 in the following cases: a, a' or 
their inverses are in Q* or are quadratic algebraic numbers. 

(iv) Ifa = m/l G Q* + , K (U a ) ~ Z and K x {U a ) ~ Z Z z _ m . 

1 A C*-algebra A is said to be CCR or liminal if ir(A) is equal to the set of compact 
operators on the Hilbert space "H-n- for every irreducible representation it. The algebra 
A is called NGCR if it has no nonzero CCR ideals. 

An ylF-algebra is a inductive limit of sequences of finite-dimensional C*-algebras. 
The algebra A is residually finite-dimensional if it has a separating family of finite- 
dimensional representations. 

Using [9], we can show that the -ftT-groups do not give a complete clas- 
sification even in this algebraic case. 

3.4- On some representations oflA a for algebraic a 

We will concentrate ona/ 1 algebraic and follow the construction of 
finite dimensional representations [55|l59]: Let z q £ Per q (S a ) be a ^-periodic 
point of a. Let p Zq : C(S a ) — > M g (C) be a representation of C(S a ) defined 

p Zq (f):=Di ag (f(z q ),--- j{a^ 1 (z q )))€M q (C) 

and for i£T, let u XtZq := ( x X Q ) G M q (C). It is a unitary which satisfies 
the covariance relation u% }Zq p Zq {f) u x>Zq = p Zq (foa) thus n x , Zq := p Zq x u x>Zq 

is a representation of U a on M q (C). Again, ir x := ®^ =1 ® 2 e p er rs a ) ^ s a 
representation oilA a . So, for a dense family { X\ }?l-\ in T, using the canonical 
faithful conditional expectation C(S a ) x^ Z — }• C(S a ) and the density of 
periodic points, one show that it := ®fl 1 n Xl is a faithful representation of 

U a Such that 7T(W a ) C ©^ e~ i ®^Per q (5 a )^(C). 

The representation 7^^ where x = z q € -B a = S a , can be extended to a 
r x on the Hilbert space 1i x 

representation tt x on the Hilbert space H x = L 2 (T) <g> C q by 

n x , x dx. (10) 


Denote by {e s 9 } s =i,... q the canonical basis of C q and by e n : 9 i-» e m6) , for 
n£Z, the basis of L 2 (T) ~ ^ 2 (Z). Then let, for / G C*(5 a ) = C(5 a ): 

7r x (/)(e n ® e<«>) := / o a^Hx) e n ® 4«\ 

e n +i ® e^ for s = g, 

, („). \en®ey' for 1 < s < q, 

U{e n ®ef , ):= { {q) 

where U is the generator of Z. This representation is constructed from the 
representation of G a = i? a x Q Z given by 7r x (6)(e ri <S>es ) = xoa s-1 (&) e n <g>ei 
for any 6 € B a (the generator £/ of the action of Z is the same) . 

Another natural representation to consider is the representation of U a 
obtained from the left regular representation of G a . 

In [43j and more systematically in [29], the induced representations a la 
Mackey of G a for algebraic a have been investigated. The main results are 
the following. 

For any \ £ B a , let the space of functions (p : B a x a Z — > C such that 
(p(b, k) = x(6)(/?(0, fc) for any b G B a and fc € Z be endowed with the norm 
IMIy = Sfcez lv(0> ^)P- This defines a Hilbert space denoted by T-L l ^ d . The 


induced representation of G a on %^ nd is given by (TT x nd (g)ip)(h) = ip(hg) for 
any g,h € G a . 

This representation is unitarily equivalent to the following it' [29, The- 
orem 4.2]: the Hilbert space is £ 2 (Z) and for any £ = (£fc)fceZ) one takes 
(tt' (b)^)h := x ° « fc (fr)6c and the generator of Z is (£/£)& = Cfc+l- As a 
representation oiU a , one has {^' x {f)C)k = / ° « fc (x)6c for any / G C*(B a ). 

Theorem 3.6. Assume a ^ 1 is algebraic. 

(i) There is a natural bijection between the set of orbits of a in S a and 
the set of all equivalence classes of induced representations ofU a = C*(G a ). 
This bijection is realized by x^ 7r y ld - 

(ii) The representation n x nd is irreducible if and only if x is aperiodic. 

(Hi) The commutant of ir x for a q-periodic point x is the commutative 
algebra C(T). 

(iv) The right regular representation R of U a = C*{G a ) is unitarily 
equivalent to the representation J B 7rJ, nd d/j,(x) ■ 

For a q-periodic x> the representation 7r^ nd is reducible. Explicitly one has: 

Proposition 3.7. If x is q-periodic, 7rJ\ nd is unitarily equivalent to the rep- 
resentation tt x on rl x , so that its continuous decomposition into irreducible 
finite dimensional representations on C q is realized by (|l(jp along T. 

This proposition states that, while the finite dimensional representations 
of U a are not obtained as induced representations, they are nevertheless re- 
ductions of induced representations. The right regular representation R 
contains the infinite dimensional irreducible induced representations which 
are only accessible using aperiodic points. The representations R and n x 
are not quasi-equivalent: this difference will play a crucial role in the con- 
struction of different spectral triples, see Remark 15.41 

While the 7r^ nd 's yield a von Neumann factor of type I, R gives a type 
Hi factor because of the integral. So the group G a is non-type I. 

4. The particular case a = m £ N* 

According to Lemma 13.14 the case a = m £ N* also covers the case 
a = 1/m. We do insist on this «;-deformed space since the algebra is then 
generated by two unitaries related by one relation (see (jlip below) in the 
spirit of the noncommutative two-torus: G m = BS(l,m) is the Baumslag- 
Solitar group which is generated by two elements and one-relator while, 
when o and a -1 are not integers, G a is not a finitely presented group (still 
with two generators). This simplifies the computations of section! 


Moreover, the results described now rely more on some properties of the 
Baumslag-Solitar group than on the dynamical system. Thus, these results 
(which for the most are already valid and exposed for generic values of a) are 
presented independently. These structures appear also naturally in wavelet 
theory, which could benefit from our analysis. 

4-1- The algebra 

Definition 4.1. Let U m be the universal C* -algebra labelled by m € Z* 
(restricted to N* later) and generated by two unitaries U and V such that 

uvu- 1 = V m . (11) 

This universal C*-algebra U m is denoted by 0{Ei^ m ) in [39] , and also 
0m,i(Tr) in [59] (where only m € N* is considered.) These algebras are 
topological graph C*-algebras which can be seen as transformation group 
C*-algebras on solenoid groups as already noticed in [IQ1[TTJES] ■ They have 
been used in wavelets and coding theory [2"7H2T)] . 

Relation (fTT]l also appeared in the Baumslag-Solitar group 55(1, m) 
introduced in |5j as the group generated by u, v with a one-relator: 

55(1, m) := (u, v\uvu~ l = v m ). 

This group plays a role in combinatorial and geometric group theory. It 
is a finitely generated, meta-abelian, residually finite, Hopfian, torsion-free, 
amenable (solvable non-nilpotent) group. It has infinite conjugacy classes, 
a uniformly exponential growth (for m ^ 1) but is not Gromov hyperbolic 
[33] . Note that 55(1,1) is the free abelian group on two generators and 
55(1, —1) is the Klein bottle group. As for the 55(1, m) groups, within the 
algebras U m , we remark that U\ and U-\ play a particular role: IA\ = C(T 2 ) 
and U-\ D C(T 2 ) will not be considered here since we need a = m > 0. 

For m > 2, a solenoid appears as in section 13. 21 as well as a crossed 
product structure, a fact that we recall now in this particular context. 

Assume 2<m£N and let the subring of Q generated over Z by — 

B m = 5 1/m := Z[i] := (J rrT l Z C Q. 

It is the additive subgroup of Q which is an inductive limit of the rank- 
one groups m _; Z, for I = 0, 1, 2, . . . and B m has a natural automorphism 
a defined by a(b) := mb. Note that the abelian group 5 m is not finitely 
generated. When m — > oo, 55(1, m) — > 'LlTL (in the space of marked 
groups on two generators) [51]. This group also appears when m = e~ w "' K 
is replaced by a transcendental number a £ M*. as seen in section [3J 


B, m can be identified with the subgroup of the affine group Affn, 
generated by the dilatation u : x —> mx and the translation v : x — >• x + 1. It 
is the subgroup normally generated in 55(1, m) by {v,u~ 1 vu,u~ 2 vu 2 , ...}. 
The Baumslag-Solitar group BS(l,m) is then isomorphic to the crossed 
product BS(l,m) ~ B m x a Z so that one has the group extension 


Using this crossed product decomposition, the group 55(1, m) has the fol- 
lowing explicit law: (6, /)(&', Z') = (b+a^i/), /+/') for 1,1' el and 6, 6' E 5 m . 
It is of course generated by the elements u := (0, 1) and /& := (6,0) with 
6 E 5 m . Thus for j,l £ Z,n £ N, uf^u^ 1 = f a (p), and 

if / a -„j := («- n j,0) = u~ n f jU n , then ((£) n j,0 = /i»tt'. (12) 

55(1, m) is a subgroup of the "ax + b" group (endowed with the law 
(b,a)(b' ,a') := (b + ab',aa')) and can be viewed as the following subgroup 

of two-by-two matrices { (™' J) : I £ Z, b £ B m }. 55(1, m) ~ 5(1, m') is 
equivalent to m = mf |49|. 

Let 5 m be the Pontryagin dual of 5 m endowed with the discrete topol- 
ogy. It is isomorphic to the solenoid 


S m = 5 1/m ~ { (z fc )r=o eII T:z W = **> Vfc E No } (13) 


using Zfc := x((;^) fc ) for an Y X £ ^m- The group 5 m is compact connected 

and abelian. Notice that (see section l3T2"j) 

S m ~ { (**)£=_«, G T z : z™ +1 = Zfc , fc G Z } defining z. k := zj«* for fc > 0. 

The embedding t : 9 G R ■-»• xe 6 5 m where x»(6) := e i2?reb G T for 
6 G 5 m identifies 5 m as the Bohr compactification &B m R of R. 

5 m is endowed with a natural group automorphism a given by 

a(z ,Z 1 ,Z 2 ,...) = (Zq,Zq,Z\,...) oT 1 (z ,z 1 ,Z2,...) = (z 1 ,z 2 ,...). 

All q-periodic points in 5 m are of the following form: if zq is a solution of 
z m _1 = 1, then (zq, z™ , . . . , z™, zq, . . . ) G 5 m ; so there are only finitely 
many periodic points, namely c q {m) = m q — 1 such points. 

The C*-algebra C(S m ) ~ C*(B m ) is precisely the algebra of almost 
periodic functions on R, with frequencies in B m and the isomorphism is the 
map /h/oj, Thus 

U m = C*(55(l,m)) ~ C*(B m ) x Q Z ~ C(S m ) x s Z. 


The unitary element U of Definition 14.11 is precisely the generator of the 
action a of Z on C* (B m ) while V is one of the generators { U~ £ VU e : £ G Z } 
of the abelian algebra C*(B m ). As a continuous function on S m , U~ l VU e 
is the function (zk)^L >->• Z£ and in particular, V : (^fc)^ =0 >->• zo- 

The subgroup { z := (zAi)fcLo G Sm : S^z) = z for some g G N* } 
of periodic points is dense in S m and a is ergodic on S m for m > 2 as 
previously seen |11[ Proposition 1]. 

^.5. TTie representations 

The knowledge of ^representations of lA m is essential in the context of 
spectral triples (see Definition 15. ip . According to (fl2"j) . any unitary rep- 
resentation of BS(l,m) is given by a unitary operator U and a family of 
unitaries T^, k G Z, with the constraint UT^U = T m ^, so there is a bi- 
jection between the * -representations of U m on some Hilbert space H and 
the corresponding unitary representations of BS(l,m). This is rephrased 
usefully in the following lemma |38j : 

Lemma 4.2. The algebra U m is the C* -algebra generated by L°°(T) and a 
unitary symbol U with commutation relations, where e n (z) := z n 

UfU- l = foe m , V/gL°°(T). (14) 

U m contains a family of abelian subalgebras An '■= U~ n L°°(T)U n for 
n G N, which is increasing since U~ n f U n = C/ _ ( n + 1 ) f o e m U^ n+l \ 

If we choose the Hilbert space % '■= 7 2 (R), the scaling and shift opera- 
tors give rise to a representation tt of U m on H by tt(U) : tfj(x) i-> —j= fp(^) 

and 7r(V) : ^(a;) *->■ ^(a; — 1). 

The Haar measure v on 7? m gives rise to a faithful trace on U m and, 
since there are many finite dimensional representations of U m (see proof of 
Theorem 13. 2p . there are many traces on it. 

With H := L 2 (S m , v) ~ P{B m ) and 17 : i/> G W H- V°S G ft, C(5 m ) acts 
on % by left multiplication, we get a covariant representation for (S m , U) of 
the dynamical system (C(S m ),a, Z), so a representation oilA m on %. Since 
S is ergodic, this representation is irreducible and faithful [111 Theorem 1]. 

If we choose H := ^ 2 (Z), for each flgKwe get an induced representation 
of U m by TV 9 (U)ip(k) := ^(k - 1) and vr (y)^(A;) := X9(m~ k ) ip(k), keZ. 

5. On the existence of spectral triples 

Since we want to construct spectral triples on U a , it is worthwhile to 
know the heat decay of G a = B a x Q Z via a random walk on the Cay ley 


graph of G a with generators S = {x,x _1 ,y,y _1 } where x = (0,1) and 
y = (1,0), and with a constant weight and standard Laplacian. 

The decay of the heat kernel pt, with t G N, has been computed on 
the diagonal in |5H Theorem 1.1], |22t Theorem 5.2]: when t —> oo, we get 

P2t ~ e~* ( lo s*) if a is transcendental while pit ~ e ~* if a is algebraic. 
This is related to the fact that G a has exponential volume growth. 

However, for a finite dimensional connected non-compact Lie group, the 
behaviour of the heat kernel pt depends on t G M+ and can diverge for 
the short time behaviour when t — > 0. Let us explain how this point is 
related to the dimension: In noncommutative geometry, a (regular sim- 
ple) spectral triple (A,rl,T>) has a (spectral) dimension which is given by 
max{n G N : n is a pole of C,v ■ s G C — >■ Tr(|D|~ s ) } (here £> is assumed 
invertible). In particular, when M is a n-dimensional compact Riemannian 
spin manifold, and A = C°°(M), H = L 2 (S) where S is the spinor bun- 
dle and T> is the canonical Dirac operator, the spectral dimension coincides 
with n. Via the Wodzicki residue, an integral f X := ~Res s= oTi(X\T>\~ s ) is 
defined on (classical) pseudo differential operators X acting on smooth sec- 
tions of S. For instance, f \D\~ n coincides (up to a universal constant) with 

the Dixmier trace TrDixG^I - ™) = nm A^oo log(-/V) -1 J2k=i l^fc|~™ where 
the Afc are the singular values of T>. The dimension of M appears in 
Tr(e- w2 ) ~ J2n>o F^=W «A r ( :p ) wnen t -)• 0. In particular, when M = W 1 
with Lebesgue measure and T> 2 = — A is the standard Laplacian (non- 
compactness is not a problem), the heat kernel is pt(x,x) = , j. n/2 for all 

xeM (see (IS|I20|I52] ) . As a consequence, Tr(|D|-( n+e )) < oo for all e > 0. 
We will see that, depending on the chosen representation of U a , such an 
n does not always exist, meaning that the "dimension is infinite". 

Definition 5.1. A spectral triple (also called unbounded Fredholm module) 
(A,H,T>) is given by a unital C* -algebra A with a faithful representation -k 
on a Hilbert space H and an unbounded self-adjoint operator T> such that 

- the set A = { a G A : [D, 7r(a)] is bounded } is norm dense in A, 

- (1 + P 2 ) -1 G J where J is a symmetrically-normed ideal of the 
compact operators K,(H) on %. 

The triple is p-summable if J = jC p (T-L) for 1 < p < oo which means 
Tr ((1 + V 2 )-p/ 2 ) < oo. It is p + -summable if J = 0> + {H). 

It is finitely summable if it is p-summable for some p. 

It is 9-summable if there exists to > such that Tr (e~ ) < oo for all 
t > t (thus J = K(H)). 

Note that A is a *-subalgebra of A and p-summability implies #-summability. 

Connes proved in [15J that, for an infinite, discrete, non-amenable group 

G, there exist no finitely summable spectral triples on A = C* ed {G). How- 


ever, in this case, there always exist ^-summable spectral triples on A (even 
with D > 0). Using a computable obstruction to the existence of qua- 
sicentral approximate units relative to J for A, Voiculescu was able to 
derive, for solvable groups with exponential growth, the non-existence re- 
sult for unbounded (generalized) Fredholm modules using the Macaev ideal 
J = £ 00,1 ('H) [57] . We use these results in the following: 

Theorem 5.2. Non-existence of finite- summable spectral triples. 
Let A = U a , G a = B a xi a Z and A = C[G a j. 

(i) There is no finitely summable spectral triple (tt(A),'H 7T ,T)) when the 
representation n is quasiequivalent to the left regular one. 

(ii) There exist 9-summable spectral triples (tt(A),T-L 7T ,TJ^ with to = 
where the representation ir is quasiequivalent to the left regular one. 

Despite the previous result, we add a few explicit examples of spectral 
triples using the fact that the algebra U a is residually finite. Clearly, these 
triples deal with a restrictive part of the geometry of the K-deformation 
based on U a , namely the dynamical system which is behind. The residually 
finite property is seen via the periodic points of this dynamics. 

Theorem 5.3. Existence of finite- summable spectral triples. 
Let A = U a andA = C[G a ]. 

(i) There exist spectral triples (tt(A),'H 1t ,'D) which are compact, i.e. 
[V, ir(x)] is compact for all x E A. 

(ii) There exist spectral triples (it (A), 71^, T)) such that [V,tt(x)] = 0, 
Vx ElA a , and with arbitrary summability. 

(Hi) When a is algebraic, there exist spectral triples (tt (A), 'H 7r ,2?) such 
that [T>,tt(v)] = 0, [D,tt(u)] ^ and with an arbitrary summability p > 2. 

In case (i), [X>,7r(:r)] is not necessarily zero but the summability is not 
controlled while for case (ii), the condition [P,7r(x)] = enables us to 
control summability. In a sense, case (in) is a mixed situation requiring 
that a be algebraic. In that situation, we have an explicit representation tt 
so that formulae for Dirac operators can be proposed. 

Remark 5.4. There is no contradiction between Theorems \5.2\ and \5.3\ since 
the faithful quasidiagonal representation (or residually finite one) tt of U a 
used above to construct T> is not quasiequivalent to the left regular one: 
actually, as already mentioned, the von Neumann algebra generated byir(Ll a ) 
is a Hi factor when it is the left regular representation, while it is of type I 
when tt is the quasidiagonal or residually finite one J26[ 5.4-3.]. 

A more direct way to confirm that the representation tt used in the proof 
of point (Hi) of Theorems \5.3\ is not quasiequivalent to the left regular repre- 
sentation (or to the right regular representation which is unitarily equivalent 


to the left one) is to notice that -k is the direct integral it = J p tt x dfi(x) 
of the finite dimensional representations n x defined in (jlOp . As such, this 
representation is strictly contained in the right regular representation R as 
can be checked using (iv) of Theorem \3.6l The part of R which is not in 
7r is given by the induced infinite dimensional irreducible representations 
constructed on aperiodic x 's- 

As noticed in f53j/ - if (A, y H- K ,T>) is a spectral triple with [D, 7r(x)] = 0, 
Vx E A, then A is a residually finite C* -algebra. 

Remark 5.5. Theorem 15. 1?l savs that the 2-dimensional n-deformed space 
reflected by the algebra U a with k = —ujq log - (a) is in fact "infinite di- 
mensional" as a metric noncommutative space. Theorem 15.31 is a tentative 
to restore a metric. For instance, the distances on the state space S(U a ) 
generated by Connes ' formula 

d(uj, u/) := sup{ |w(a) — u/(a) | : a £ A, \\ [D, a] \ \ < 1 }, co, oj' € S(U a ) 

are infinite in case (ii) of Theorem \5.3[ while in case {Hi) some states can 
be at finite distances. 

Remark 5.6. The operator T> given in Theorem 15,31 (Hi) is not directly 
related to the group structure of G a but rather connected to the underly- 
ing dynamical system associated to the algebraic nature of a: it depends 
explicitly of the isomorphism-invariant {c q (a) : q £ N* }. 

6. Conclusion 

We have shown that ^-Minkowski space defined by ([1]) can be reduced 
to a compact or discrete version. Depending on k, or on a defined in ([5]), 
this involves discrete amenable groups G a , in particular the well-known 
Baumslag-Solitar ones. The associated C*-algebras U a can be viewed as a 
deformation of the two-torus. They are different when a varies within the 
rational numbers (of zero Lebesgue measure) because of the structure of 
the underlying dynamical system. For transcendental values of a, which are 
dense in M + and of full Lebesgue measure, all these algebras are isomorphic 
to each other. 

Due to the exponential growth of G a , we have proved that the algebras 
U a are not only quasidiagonal but also residually finite dimensional. They 
admit different spectral triples: the ones which are quasi-equivalent to the 
left regular representation and are never p-summable but only 0-summable, 
i.e. they are of "infinite metric dimension" . This situation reminds us of the 
passage from non-relativistic to relativistic quantum mechanics: in quantum 
field theory, the #-summability (and not the p-summability) naturally occurs 


due to the behaviour of Tr(e~ ) (when t — > 0) where H is the Hamiltonian 
(or T> 2 ), see for instance [14] . 

The other faithful representations can generate fancy spectral triples 
which can have arbitrary summability (or "dimension") depending on the 
algebraic properties of the real parameter a, but are in fact degenerate 
to some extent. It is also not entirely clear what the topological content 
of these unbounded Fredholm modules is (i.e. whether they correspond 
to nontrivial elements of K- homology) . The dimension of these spectral 
triples is unrelated to the number of coordinates defining the K-deformed 
Minkowski spaces. 

The nonexistence theorem, though powerful, does not preclude the pos- 
sible existence of a genuine, non-degenerate, nontrivial spectral geometry 
on the K-deformation spaces presented here, they only restrict the possible 
algebra representations that could be used in the construction. 

This shows how delicate the notion of spectral or metric dimensions of 
K-Minkowski space is, and how subtle its analysis through noncommutative 


We thank Alain Connes, Michael Puschnigg, Adam Skalski and Shinji 
Yamashita for helpful discussions or correspondence. B. I. and T. S. ac- 
knowledge the warm hospitality of the Institute of Physics at the Jagiel- 
lonian University in Krakow where this work was started under the Transfer 
of Knowledge Program "Geometry in Mathematical Physics" . 


[1] A. Agostini, "^-Minkowski representations on Hilbert spaces", J. Math. Phys. 

48 (2007), 052305. 
[2] G. Amelino-Camelia, "Relativity in spacetimes with short-distance structure 

governed by an observer-independent (Planckian) length scale", Int. J. Mod. 

Phys. D 11 (2002), 35-59. 
[3] G. Amelino-Camelia, A. Marciano and D. Pranzetti, "On the 5D differential 

calculus and translation transformations in 4D K-Minkowski noncommutative 

spacetime", Int. J. Mod. Phys. A 24 (2009), 5445-5463. 
[4] G. Amelino-Camelia, G. Gubitosi, A. Marciano, P. Martinetti and F. Mercati, 

"A no-pure-boost uncertainty principle from spacetime noncommutativity" , 

Phys. Lett. B 671 (2009) 298-302 

G. Amelino-Camelia, G. Gubitosi, A. Marciano, P. Martinetti, F. Mercati, 

D. Pranzetti and R. A. Tacchi, "First results of the Noether theorem for 

Hopf-algebra spacetime symmetries", Prog. Theor. Phys. Suppl. 171 (2007), 



[5] G. Baumslag and D. Solitar, "Some two-generator one-relator non-Hopfian 
groups", Bull. Amer. Math. Soc. 68 (1962), 199-201. 

[6] M. B. Bekka and N. Louvet, "Some properties of C*-algebras associated to dis- 
crete linear groups, in C* -Algebras, J. Cuntz and S. Echterhoff (Eds), Springer- 
Verlag, Berlin Heidelberg New York 2000, 1-22. 

[7] B. Blackadar, Operator Algebras, Theory of C* -Algebras and von Neumann 
Algebras, Springer, Springer- Verlag, Berlin Heidelberg New York, 2006. 

[8] B. Brenken, "Isomorphism classes of solenoidal algebras I, Can. J. Math. 36 
(1993), 414-418. 

[9] B. Brenken, "X-Groups of solenoidal algebras I, Proc. Amer. Math. Soc. 123 
(1995), 1457-1464. 

[10] B. Brenken, "The local product structure of expansive automorphisms of 
solenoids and their associated C*-algebras" , Can. J. Math. 48 (1996), 692-709. 

[11] B. Brenken and P. E. T. J0rgensen, "A family of dilation crossed product 
algebras", J. Operator Theory 25 (1991), 299-308. 

[12] N. P. Brown and N. Ozawa, C* -algebras and Finite Dimensional Approxima- 
tions, Graduate Studies in Mathematics, 88 Amer. Math. Soc., Providence, 
RI, 2008. 

[13] A.L. Carey, J. Phillips, I.F. Putnam and A. Rennie, "Families of type III 
KMS states on a class of C*-algebras containing O n and Qn" , arXiv: 1001. 0424 

[14] S. Carpi, R. Hillicr, Y. Kawahigashi and R. Longo, "Spectral triples and the 
super- Virasoro algebra", Commun. Math. Phys. 295 (2010), 71-97. 

[15] A. Connes, "Compact metric spaces, Fredholm modules, and hypcrfiniteness" , 
Ergod. Th. & Dynam. Sys., 9 (1989), 207-220. 

[16] A. Connes, Noncommutative geometry, Academic Press, 1994. 

[17] A. Connes, "Noncommutative geometry and reality", J. Math. Phys. 36 
(1995), 6194-6231. 

[18] A. Connes, "Gravity coupled with matter and the foundation of non- 
commutative geometry", Commun. Math. Phys. 182 (1996), 155-176. 

[19] A. Connes, "On the spectral characterization of manifolds" , arXiv:0810.2088 

[20] A. Connes and M. Marcolli, Noncommutative Geometry, Quantum Fields and 
Motives, Colloquium Publications, Vol. 55, American Mathematical Society, 

[21] A. Connes and H. Moscovici, "Cyclic cohomology, the Novikov conjecture and 
hyperbolic groups", Topology 29 (1990), 345-388. 

[22] T. Coulhon, A. Grigor'yan and C. Pittet, "A geometric approach to on- 
diagonal heat kernel lower bounds on groups", Ann. Inst. Fourier, Grenoble, 
51 (2001), 1763-1827. 

[23] F. D'Andrea, "Spectral geometry of K-Minkowski space", J. Math. Phys. 47 
(2006), 062105. 


[24] L. Dabrowski and G. Piacitelli, "The K-Minkowski spacetime: Trace, classical 
limit and uncertainty relations", arXiv:0909.3215 [hcp-th]. 

[25] M. Daszkiewicz, J. Lukierski and M. Woronowicz, "re-deformed oscillators, the 
choice of star product and free K-deformed quantum fields", arXiv:0807.1992 

[26] J. Dixmier, les C* -algebres et leurs representations, Gauthicr-Villars, Paris, 

[27] D. Dutkay, D. Han, G. Picioroaga and Q. Sun, "Orthogonal dilations of Par- 
seval wavelets", Mathematische Annalen 341 (2008), 483-515. 

[28] D. Dutkay, P. E. T. J0rgensen and G. Picioroaga, "Unitary representations 
of wavelet groups and encoding of iterated function systems in solenoids", 
in Ergodic Theory and Dynamical Systems, Published online by Cambridge 
University Press 2009. 

[29] D. Dutkay and P. E. T. J0rgensen, "A duality approach to representations of 
Baumslag-Solitar groups", Contemporary Mathematics 449 (2008), 99-127. 

[30] L. Frcidcl and E. R. Livine, "Effective 3d quantum gravity and non- 
commutative quantum field theory", Phys. Rev. Lett. 96 (2006) 221301. 

[31] V. Gayral, B. Iochum, J. M. Gracia-Bondia, T. Schiicker and J. C. Varilly, 
"Moyal planes are spectral triples", Commun. Math. Phys. 246 (2004), 569- 

[32] J. M. Gracia-Bondia, J. C. Varilly and H. Figueroa, Elements of Noncommu- 
tative Geometry, Birkhauser Advanced Texts, Birkhauser, Boston, 2001. 

[33] P. dc la Harpe, Topics in Geometric Group Theory, The university of Chicago 
Press, Chicago, 2000. 

[34] N. Higson and G. Kasparov, "Operator if-theory for groups which act properly 
and isometrically on Hilbert space", Electron. Res. Announc. Amcr. Math. 
Soc. 3 (1997), 131-142. 

[35] N. A. Ivanov, "On the structure of some reduced amalgamated free product 
C*-algebras, arXiv:0705.3919 [math.OA]. 

[36] R. Ji, "Smooth dense subalgebras of reduced group C*-algebras, Schwartz 
cohomology of groups, and cyclic cohomology", J. Funct. Anal., 107 (1992), 

[37] P. Jolissaint, "Rapidly decreasing functions in reduced C*-algebras of groups" , 
Trans. Amer. Math. Soc. 317 (1990), 167-196. 

[38] P. E. T. J0rgensen, "Ruelle operators: Functions which are harmonic with 
respect to a transfer operator", Memoirs of the A. M. S., 152 (2001), number 

[39] T. Katsura, "A class of C*-algebras generalizing both graph algebras and 
homeomorphism C*-algebras IV, pure infinitcness, J. Functional Analysis 254 
(2008), 1161-1187. 

[40] S. Kawamura, J. Tomiyama and Y. Watatani, "Finite-dimensional irreducible 
representations of C* -algebras associated with topological dynamical sys- 
tems", Math. Scand. 56 (1985), 241-248. 


[41] W. Lawton, "The structure of compact connected groups which admit an 
expansive automorphism" , in Recent advances in Topological Dynamics, A. 
Beck Ed., Lecture Notes in Mathematics, vol 318 (1973), 182-196. 

[42] P. Kosihski, P. Maslanka, J. Lukicrski and A. Sitarz, "Towards K-deformed 
d=4 rclativistic field theory", Czech. J. Phys. 48 (1998), 1407-1414. 

[43] L. T. Lim, J. A. Packer and K. F. Taylor, "A direct integral decomposition of 
the wavelet representation", Proc. Amer. Math. Soc. 129 (2001), 3057-3067. 

[44] J. Lukierski, H. Ruegg, A. Nowicki and V. N. Tolstoy, "g-deformation of 
Poincare algebra," Phys. Lett. B 264 (1991), 331-338. 

[45] J. Lukierski, A. Nowicki and H. Ruegg, "New quantum Poincare algebra and 
K-dcformcd field theory", Phys. Lett. B 293 (1992), 344-352. 

[46] J. Lukierski, H. Ruegg and W. J. Zakrzewski, "Classical quantum mechanics 
of free k relativistic systems", Annals Phys. 243 (1995), 90-116. 

[47] S. Majid and H. Ruegg, "Bicrossproduct structure of K-Poincare group and 
non-commutative geometry", Phys. Lett. B 334 (1994), 348-354. 

[48] F. Martin and A. Valette, "Markov operators on the solvable Baumslag-Solitar 
groups", Experimental Math., 9 (2000), 291-300. 

[49] D. I. Moldavanskii, "Isomorphism of the Baumslag-Solitar groups" , Ukrainian 
Math. J. 43 (1991), 1569-1571. 

[50] M. V. Pimsner, "Embedding transformation group C*-algebras into AF- 
algebras", Ergodic Theory Dynam. System 3 (1983), 613-626. 

[51] C. Pittet and L. Saloff-Coste, "Random walks on abelian by cyclic groups", 
Proc. Amer. Math. Soc, 131 (2002), 1071-1079. 

[52] A. Sitarz, "Noncommutative differential calculus on the K-Minkowski space," 
Phys. Lett. B 349 (1995), 42-48. 

[53] A. Skalski and J. Zacharias, "A note on spectral triples and quasidiagonality" , 
Expositioncs Math. 27 (2009), 137-141. 

[54] Y. Stalder, "Convergence of Baumslag-Solitar groups" , Bull. Belgian Math. 
Soc. 13 (2006), 221-233. 

[55] C. Svensson and J. Tomiyama, "On the commutant of C(X) in C*-crossed 
products by Z and their representations", J. Funct. Anal 256 (2009), 2367- 

[56] D. Voiculescu, "Some results of norm-ideal perturbations of Hilbert space 
operators", J. Operator Theory 2 (1979), 3-37. 

[57] D. Voiculescu, "On the existence of quasicentral approximate units relative to 
normed ideals. Part I, J. Function. Anal. 91 (1990), 1-36. 

[58] D. P. Williams, Crossed Products of C* -Algebras, Math. Surveys and Mono- 
graphs, Vol 134, 2007. 

[59] S. Yamashita, "Circle correspondence C*-algebras" , to appear in Houston J. 
Math. arXiv:0808.1403vl [math.OA]. 

[60] S. Zakrzewski, "Quantum Poincare group related to the /t-Poincare algebra", 
J. Phys. A 27 (1994) 2075-2082.