arxiv:math/ v1 [math.oa] 3 Nov 2005

Transcription

1 On locally compact quantum groups whose algebras are factors arxiv:math/ v1 [math.oa] 3 Nov 2005 Pierre Fima Laboratoire de mathématiques Nicolas Oresme, Université de Caen BP 5186, F14032 Caen Cedex, France Abstract In this paper we are interested in examples of locally compact quantum groups M, ) such that both von Neumann algebras, M and the dual ˆM, are factors. There is a lot of known examples such that M, ˆM) are respectively of type I,I ) but there is no examples with factors of other types. We construct new examples of type I,II ), II,II ) and III λ,iii λ ) for each λ [0,1]. Also we show that there is no such example with M or ˆM a finite factor. Key words: Quantum groups, Factors, Crossed product 1991 MSC: 46L52, 46L65 1 Introduction A locally compact l.c.) quantum group, in the von Neumann algebra setting see [6,7]), is a pair M, ), where M is a von Neumann algebra and is a comultiplication on M, with left and right invariant weight. In a canonical way, every l.c. group is a commutative l.c. quantum group and every von Neumann group algebra of a l.c. group is a cocommutative l.c. quantum group. Conversely, every commutative or cocommutative l.c. quantum group is obtained in this way. Our aim is to obtain new examples of l.c. quantum groups which are as far as possible from groups so we will be interested in the least commutative and cocommutative examples. The formulation of the problem is the following. Given a pair of factors of a certain type x 1, x 2 ), is it possible to find a l.c. quantum group M, ) such that M is a type x 1 factor and the dual algebra ˆM is a type x 2 factor in the sense of Murray-von Neumann s and Connes classification of factors)? There exists a lot of examples for the address: pierre.fima@math.unicaen.fr Pierre Fima). Preprint submitted to Journal of Functional Analysis 2 February 2008

2 case I, I ). In particular, it is shown in [2] that for any matched pair of conjugated l.c. groups the bicrossed product is a type I, I ) l.c. quantum group. We start with a negative result showing that, if M, ) is a l.c. quantum group and M is a finite factor, then ˆM is not a factor. On a positive side, our tool to construct examples of l.c. quantum groups is to use the bicrossed product of l.c. groups see [11]). One can show that, if an action of a l.c. group on a von Neumann algebra is free on its center, then the type of the cocycle crossed product does not depend a lot on the cocycle. This is why we only consider trivial cocycles. We construct for any λ [0, 1] a l.c. quantum group M, ) such that M and ˆM are type III λ factors. Similary we obtain examples of type I, II ) and II, II ). All of them are ITPFI factors, a kind of infinite tensor product of the p-adic version of the Baaj and Skandalis example see [11]). This paper is organized as follows. In the second section we introduce some notations and recall some elementary facts about l.c. quantum groups, bicrossed product construction, infinite tensor product and ITPFI factors. In the third section we prove that a l.c. quantum group M, ) with M a finite factor is compact. In the fourth section we describe our examples using p-adic numbers. 2 Preliminaries Locally compact quantum groups In this paper we suppose that all von Neumann algebras have separable predual and l.c. groups are second countable. We denote by the tensor product of Hilbert spaces or von Neumann algebras. We refer to [9] for the theory of normal semifinite faithful n.s.f.) weights on von Neumann algebras. If ϕ is a n.s.f. weight on M, we use the standard notation M + ϕ = {x M + ϕx) < }, N ϕ = {x M x x M + ϕ }, M ϕ = N ϕn ϕ. We use l.c. quantum groups in the von Neumann algebraic setting see [6]). A pair M, ) is called a l.c. quantum group when M is a von Neumann algebra and M M is a normal and unital *-homomorphism satisfying the coassociativity condition : ι) = ι ), where ι is the identity map. There exist n.s.f. weights ϕ and ψ on M such that 2

3 ϕ is left invariant in the sense that ϕ ω ι) x)) = ϕx)ω1), x M + ϕ, ω M +, ψ is right invariant in the sense that ψ ι ω) x)) = ψx)ω1), x M + ψ, ω M+. From [6] we know that left invariant weights on M, ) are unique to a positive scalar and the same holds for right invariant weights. A l.c. quantum group is called compact if its left invariant weight is finite. Let M, ) be a l.c. quantum group, fix a left invariant n.s.f. weight ϕ on M, ) and represent M on the GNS-space of ϕ such that H, ι, Λ) is a GNS construction for ϕ. Then we can define a unitary W on H H by W Λa) Λb)) = Λ Λ) b)a 1)) for all a, b N ϕ. Where Λ Λ is the canonical GNS-map for the tensor product weight ϕ ϕ. W is called the fondamental unitary of M, ). The comultiplication can be given in terms of W by the formula x) = W 1 x)w for all x M. Also the von Neumann algebra M can be written in terms of W as M = {ι ω)w) ω BH) } σ strong, where {X} σ strong denote the σ-strong* closure of X. It is possible to define a new von Neumann algebra ˆM = {ω ι)w) ω BH) } σ strong, and a comultiplication on ˆM by ˆ x) = ΣWx 1)W Σ for x ˆM, where Σ is the flip map on H H. Also, one can construct left and right invariant weight on ˆM for ˆ. We obtain in this way a new l.c. quantum group ˆM, ˆ ) called the dual of M, ). From [6] we know that the bidual quantum group ˆM, ˆ ) is isomorphic to M, ). If G is an ordinary locally compact group then M = L G) with the comultiplication G f)s, t) = fst) and left and right invariant weight obtained by left and right Haar measure is a commutative l.c. quantum group. Every commutative l.c. quantum group is obtained in this way. Now, take ˆM = LG) the group von Neumann algebra and ˆ G λ g ) = λ g λ g where λ g ) is the left regular representation of G. One can show that the Plancherel weight on ˆM is left invariant. Also, it is easy to obtain a right invariant weight on ˆM so LG), ˆ G ) is a l.c. quantum group, this the dual of L G), G ). It is obvious that σ ˆ G = ˆ G where σ is the flip map on M M. We say that LG), ˆ G ) is cocommutative. One can show that every cocommutative l.c. quantum group is obtained in this way. 3

4 Bicrossed product Let G 1, G 2 be two closed subgroups of a l.c. group G such that G 1 G 2 = {e} and µg G 1 G 2 ) = 0 where e is the identity element of G and µ is a Haar measure on G. We say that the pair G 1, G 2 ) is matched. We will now describe the bicrossed product construction of l.c. group see [11]). Let G 1, G 2 ) be a matched pair of l.c. groups and g G 1, s G 2, then we can write nearly everywhere gs = α g s)β s g). We obtain two maps defined nearly everywhere and measurable α : G 1 G 2 G 2 : β : G 2 G 1 G 1 : g, s) α g s), s, g) β s g). Now we define two normal unital *-homomorphisms and we have α : L G 2 ) L G 1 G 2 ) : αf)g, s) = fα g s)), β : L G 1 ) L G 2 G 1 ) : βf)s, g) = fβ s g)), ι α)α = G1 ι)α and ι β)β = G2 ι)β. Hence α will be an action of G 1 on the von Neumann algebra L G 2 ) and β an action of G 2 on the von Neumann algebra L G 1 ). So we can define the crossed product von Neumann algebra M = G 1 L G 2 ) and a faithfull *-homomorphism : M M M x) = W 1 L 2 G 1 G 2 ) x)w for x M, where W is a unitary in L 2 G 1 G 2 G 1 G 2 ) defined by Wξ)g, s, h, t) = ξβ αgs) 1 th)g, s, h, α g s) 1 t). Then one can prove that is a comultiplication on M and the dual weight of the left invariant integral on L G 2 ) is left invariant for. In this way we obtain a l.c. quantum group M, ) with dual ˆM, ˆ ) such that ˆM = L G 1 ) G 2, ˆ x) = ΣWx 1L 2 G 1 G 2 ))W Σ for x ˆM Infinite tensor product of von Neumann algebras For each n N let M n be a von Neumann algebra acting on an Hilbert space H n and ξ n a norm 1 vector in H n. The infinite tensor product of M n relatively to ξ n is the von Neumann algebra generated by the operators x 1... x k

5 for k N and x i M i in the infinite tensor product of Hilbert spaces H n relatively to the norm 1 vectors ξ n. We denote this von Neumann algebra by Mn, H n, ξ n ). If each M n is a factor then M n, H n, ξ n ) is a factor see [1]). The following lemma is certainly well known but we could not find a proof in the literature. Lemma 1 Let p n 0 be a projection in a von Neumann algebra M n and ω n a normal faithful state on M n with GNS space H n such that ω n = ω ξn. Put M = M n, ω n ). The decreasing sequence of projections p 1... p n 1... converge to a projection p M and we have p 0 n 1 p n )ξ n 2 <, and if p 0 pmp p n M n p n, ω ηn ), where η n := p nξ n p n ξ n. PROOF. p 0 if and only if ω n )p) > 0. This is equivalent to 1 p n )ξ n 2 <. n The isomorphism is a simple identification. Example 2 For each n N let M n be a von Neumann algebra, ϕ n a n.s.f. weight on M n and q n M n a projector with ϕ n q n ) = 1. We can take H n the Hilbert space of the G.N.S. construction for ϕ n and ξ n = Λ ϕn q n ). We introduce the notation M = M n, ϕ n, q n ) := M n, H n, ξ n ). Observe that there is a natural projector q M defined by the infinite tensor product of the q n. When ϕ n = ω n is a normal faithful state on M n and q n = 1, we use the standard notation Mn, ω n ) := M n, ω n, 1). 5

6 Proposition 3 Let M n, ϕ n and q n be as above and suppose that q n M ϕn n. Denote by ω ξn the vector state associated to ξ n. Then ω ξn is faithful on q n M n q n and qmq q n M n q n, ω ξn ). PROOF. Let J n be the usual antiunitary operator associated with ϕ n and J = J n, q = q n. We have xξ n 2 = ϕ n q n x xq n ) thus the faithfulness of ϕ n on M n implies that ω ξn is faithful on q n M n q n. Note that the close linear subspace of q n H n generated by q n M n q n ξ n is J n q n J n q n H n. Thus, the GNS space of ω := ω ξn on N := q n M n q n, ω ξn ) is canonically isomorphic with qjqjh, and the image of qmq by the restriction homomorphism to the invariant subspace qjqjh is N. This homomorphism is in fact an isomorphism because the closure of M qjqjh is qh. Remark 4 One can show that if q n Mn ϕn there exists a canonical n.s.f. weight ϕ on M such that σ ϕ t = n σ ϕn t and ϕq = n ϕ n q n. This is the noncommutative analogue of the restricted direct product of measurable spaces with non necessarily finite measure Resctricted direct product action In the sequel, all group actions on von Neumann algebras are supposed to be pointwise σ-weakly continuous. Let G n be a sequence of l.c. groups and µ n a left Haar measure on G n. We suppose that for all n there is a compact open subgroup K n of G n such that µ n K n ) = 1. Recall that the restricted direct product G n, K n ) is defined as the set of x n ) G n such that x n K n for n large enough see [3] for details). Let M n be a sequence of von Neumann algebras with actions α n : G n AutM n ). Let ϕ n be a n.s.f. weight on M n and q n a projection in the centralizer of ϕ n with ϕ n q n ) = 1 and such that for all n, for all g n G n, there exists c n g n ) > 0 such that ϕ n α n = c n g n )ϕ n, c n Kn = 1 and for all g n K n one has α n g n q n ) = q n. With this data one can construct an action of the restricted direct product G = G n, K n ) on the infinite tensor product M = M n, ϕ n, q n ). We fix a G.N.S. construction H n, ι, Λ n ) for ϕ n and we put H = H n, Λ n q n )). Proposition 5 There exists a unique action α : G AutM), called the restricted direct product of α n, such that for all g = g n ) G and x n M n α g x 1... x n 1...) = α 1 g 1 x 1 )... α n g n x n ) 1... PROOF. The uniqueness part is obvious. To show the existence, we first compute a unitary implementation of the actions α n. It is easy to see that, for 6

7 g n G n, the operator U n g n ) : Λ n x) c n g n ) 1 2 Λn α n g n x)), for x N ϕn, can be extended to a unitary operator on H n, still denoted by U n g n ), and such that α n g n x) = U n g n )xu n g n ) for all x M n. The hypotesis implies that for all n and for all g n K n one has U n g n )Λ n q n ) = Λ n q n ). Then for all g G one can define a unitary operator U g on H by U g = n U n g n ) where g = g n ). In this way we obtain a group homomorphism g U g from G to the unitary group of H. Because we have U g MU g = M this allows us to construct a group homomorphism α : G AutM) defined by α g x) = U g xu g for x M. This is obvious that α is pointwise σ-weakly continuous and verifies the equation. Let us identify the crossed product of G by M with an infinite tensor product of the crossed products of G n by M n. We denote by π n the inclusion of M n into G n M n and π the inclusion of M into G M. We denote by ϕ n the dual weight of ϕ n and by 1I A the caracteristic function of a mesurable set A. Proposition 6 Let e n = π n q n ) λ1i Kn ) 1), where λ1i Kn ) is the convolution operator by 1I Kn. Then e n is a projection in G n M n. Moreover, one has ϕ n e n ) = 1, e n G n M n ) ϕn and G M G n M n, ϕ n, e n ). PROOF. Because π n q n ) and λ1i Kn ) are projections, if π n q n ) and λ1i Kn ) 1 commute then e n is a projection. Take ξ L 2 G n, H n ) then λ1i Kn ) 1)π n q n )ξ)g) = 1I Kn t)αg n tq G 1 n )ξt 1 g) dµ n t) n = αg n 1q n) 1I Kn t)ξt 1 g) dµ n t), because t K n, αt n q n) = q n G n = π n q n )λ1i Kn ) 1)ξ)g). Thus e n is a projection. Now, using K n Kerδ Gn ) and c n Kn = 1, we have This implies that σ ϕn t σ ϕn t λ1i Kn ) 1) = λ1i Kn ) 1. e n ) = π n σ ϕn t q n ))σ ϕn t λ1i Kn ) 1) = e n. 7

8 Next, using definition of the dual weight, we have ϕ n e n ) = ϕ n q n )1I Kn 1) = 1. Recall that, using the classical explicit G.N.S. construction L 2 G n, M n ), ι, Λ n ) for the dual weight, one has see [10]) Λ n e n ) = 1I Kn Λ n q n ). We denote this vector by ξ n. We define the operator on a dense subset by U : L 2 G n, H n ), ξ n ) L 2 G, H) UF 1... F n ξ n n )g) = F i g i ) 1I Ki g i )Λ i p i ), i=1 i=n+1 where F i L 2 G i, H i ), g = g n ) G and ξ n = i=n+1ξ i. Then U is an isometry with dense range. Thus we obtain a unitary operator, again denoted by U, such that, if g = g 1,...,g n, 1,...), U λ g1 1)... λ gn 1) 1...) U = λ g 1, U π 1 x 1 )... π n x n ) 1...) U = πx 1... x n 1...). It follows that U Gn M n, ϕ n, e n ) ) U = G M ITPFI factors and Boca-Zaharescu factors In [1] Araki and Woods define ITPFI factors as infinite tensor product of type I factors Mn, H n, ξ n ), where M n is a type I factor acting on H n and ξ n is a norm 1 vector in H n. All these factors are hyperfinite. If M is a type I factor acting on H, we can write H = H 1 H 2 such that M = BH 1 ) 1. Now, let Ω H be a norm 1 vector and consider the normal state on M ωx) = x 1)Ω, Ω. Hence there exists a density matrix ρ Ω BH 1 ) such that ωx) = Trρ Ω x). It is easy to see that the ordered list with multiplicity) of the non zero eigenvalues of the operator ρ Ω does not depend on the decomposition of H in H 1 H 2. This list is denoted by SpΩ M). The type of the ITPFI factor Mn, H n, ξ n ) only depends on the list Spξ n M n ). In the fourth section we will use the fact that if each M n is a type I nν factor, with 2 n ν, and 8

9 Spξ n M n ) = {λ ni, i = 1, 2,...,n ν } then, if λ n1 δ for some δ > 0 and for all n, M is a type III factor if and only if λ 2 n1 λ ni inf 1, C n,i λ ni =, for some positive C. Let S be an infinite subset of the set P of all prime numbers and β ]0, 1]. In [4] Boca and Zaharescu studied the following ITPFI factor M β,s := p S Bl 2 N)), ω p,β ), where ω p x) := n p nβ 1 p β ) xe n, e n and e n ) is the canonical basis of l 2 N). We denote by N S the factor M 1,S. In [4] Boca and Zaharescu show that 1) For any λ [0, 1] and β ]0, 1], there is a subset S of P such that M β,s is a type III λ factor. 2) For any β ]0, 1], any countable subgroup K of R and any countable subset Σ of R K, there exists a subset S of P such that TM β,s ) contains K and does not intersect Σ, where TM) denotes the Connes T invariant of the von Neumann algebra M see [5]). Remark 7 It was shown in [4] that M β,s is an ITPFI 2 infinite tensor product of type I 2 factors) for all β ] 1, 1]. In fact it is possible to show that for all 2 β ]0, 1], M β,s is an ITPFI m with β > 1. Indeed, for such m and β put m e n if 0 n m 1 q p e n ) = 0 otherwise. Then because of p p S n m1 β )p nβ = p mβ <, p S for all β > 1, we can apply Lemma 1 to obtain a projection p 0 such that m p M β,s ) p is an ITPFI m. Moreover, it is easy to see that p is purely infinite, thus M β,s is ITPFI m. 9

10 3 The case of a finite factor In this section we show that if M, ) is a l.c. quantum group such that M is a finite factor, then M, ) is compact so ˆM, being an infinite direct sum of full matrix algebras, is not a factor. The idea of the proof of the next lemma was taken from [8]. Lemma 8 Let M, ) be a l.c. quantum group. Suppose that M is a finite factor. Let τ be the unique tracial state on M. Then, for all ρ M with 0 ρ τ, one has : ρ τ = τ ρ = ρ1)τ. PROOF. Let a be in M and define b = ι τ) a). Then, by unicity of τ, one has τ τ = τ, and using the coassociativity of we obtain ι τ) b) = ι τ) ι τ) a)) = ι τ τ) ι) a)) = ι τ τ)ι ) a)) = ι τ τ)) a) = ι τ) a) = b. This implies the following relations. ι τ) b 1) b)) = b ι τ) b) = b b, 1) ι τ) b )b 1)) = ι 1 b)) b = b b. 2) Now define k = b) b 1) b) b 1) = b b) b 1) b) b )b 1) + b b 1. Then k 0 and, from the equations 1) and 2), we obtain τ τ)k) = τι τ)k)) = τ τ) b b) τb b) = τ τb b) τb b) = 0. Then, if ρ M with 0 ρ τ, one has τ ρ)k) τ τ)k) = 0. This implies, with the Cauchy-Schwartz inequality, that for all c M we have τ ρ) c 1) b) b 1)) = 0 thus, τ ρ) c 1) b)) = ρ1)τcb). 10

11 Using the definition of b, we see that the last equation is equivalent to τ ρ) c 1) ι τ) a))) = ρ1)τ cι τ) a)) τ ρ τ) c 1 1) ι) a)) = ρ1)τ τ) c 1) a)) τ ρ τ)) c 1) a)) = ρ1)τ τ) c 1) a)), and this is true for all a and b in M. Now, because M)M 1) is σ-weakly dense in M M and τ is a trace we have, for all x M M, ρ1)τ τ)x) = τ ρ τ))x). Putting x = 1 y in the last equation, we obtain ρ1)τ = ρ τ. The proof of ρ1)τ = τ ρ is the same. We are now able to prove that a l.c. quantum group M, ) with M a finite factor is compact. Theorem 9 Let M, ) be a l.c. quantum group with M a finite factor. Then M, ) is compact and τ is the Haar state on M, where τ is the unique tracial state on M. PROOF. Let H, Λ, ι) be a G.N.S. construction for τ and J the canonical involutive isometry associated to τ. Let a be in M and consider the positive normal linear form ω Λa). We have ω Λa) x x) = Λxa) 2 = Ja JΛx) 2 a 2 τx x). This implies that ω Λa) a 2 τ and, using the previous lemma, we conclude that ω Λa) τ = τ ω Λa) = ω Λa) 1)τ for all a M. Now, using that M BH) is standard, we know that if ω M and ω 0 there exists ξ H such that ω = ω ξ. Take a net a i ) in M such that Λa i ) converges in H to ξ then, for all x M, ω Λai )x) converges to ωx). In particular, for x in M, we have Because of ω Λai ) τ)x) ω τ)x) τ ω Λai ))x) τ ω)x). ω Λai ) τ)x) = τ ω Λai ))x) = Λa i ) 2 τx) ξ 2 τx) = ω1)τx), we see that ω τ = τ ω = ω1)τ and, by linearity, the last equality holds for all ω M. This concludes the proof. 11

12 4 Examples Let P be the set of all prime numbers. In the sequel, if p is a prime number, we denote by Q p the field of rational p-adic numbers and Z p the ring of p-adic integers. Let S be an infinite subset of P and A S the restricted direct product of Q p relatively to the compact open subgroups Z p for p S see [3]) : A S = p S Q p, Z p ). Then A S is a second countable l.c. ring. The group of invertible elements of A S is A S = ) Q p, Z p. p S Now, denote by G S the ax + b-group of A S : and define the following subgroups. G S = A S A S, G 1 S = {a, 0) G S}, G 2 S = {a p), b p )) G, a p + b p p = 1 p S}. We can rewrite G 2 S as ap ), )) 1 a p G 2 p, ap 0 p S S = and a p 1 + pz p for p large enough. G 1 S is the subgroup of G S which fixes 0. G 2 S is, formally, the subgroup of G S which fixes ) 1. We denote by p p S µ+ p the additive Haar measure on Q p such that µ + p Z p) = 1 and by µ p the multiplicative Haar measure on Q p such that µ p Z p ) = 1. Let µ+ be the product measure of µ + p, this is an additive Haar measure on A S, let µ be the product measure of µ p, this is a Haar measure on A S. On G S, the right Haar measure which is equal to 1 on p S Z p Z p is dµ x)dµ + y) and the left Haar measure which is equal to 1 on p S Z p Z p is δx)dµ x)dµ + y), where δx) = p S 1 x p p, x = x p ) A S. We now prove the following easy lemma. 12

13 Lemma 10 The groups G 1 S, G2 S are matched. Moreover, the bicrossed product of G 1 S by G2 S is not regular, it is semi-regular in the sense of [2]. PROOF. It is clear that G 1 S and G2 S are closed subgroups of G S and G 1 S G 2 S = {1}. So we must prove that G S G 1 SG 2 S is closed and its Haar measure is zero. From G 2 S G1 S = ap b p ), )) 1 a p p, b = bp ) p S A S, a p 0 p S and a p 1 + pz p for p large enough, we conclude that { G 2 S G1 S = a, b) G S, b p 1 } p p S with b = b p) p S. It follows that G 2 S G1 S is open and G S G 2 SG 1 S = {a, b) G S, p S, b p = 1p } with b = b p) p S has Haar measure equal to zero. Denote by M S, S ) the bicrossed product of G 1 S and G2 S. Under the canonical identification of G 1 S with A S and G2 S with K S, where K S is the following restricted direct product K S = p S Q p, 1 + pz ) p, the group actions α of G 1 S on the measurable space G 2 S and β of G 2 S on the measurable space G 1 S can be easily calculated : take s = s p) K S and g = g p ) A S such that for all p S, g ps p 1) and, for p large enough, g p s p 1) pz p. Then ) g p s p α g s) = g p s p 1) + 1), β s g) =. 3) g p s p 1) + 1 We define on G 1 S the Haar measure µ 1 obtained, through the identification with A S, from the Haar measure µ on A S. Also, we define on G2 S the Haar measure µ 2 corresponding to the product of the measures µ p on Q p, where µ p is the Haar measure on Q p such that µ p 1 + pz p ) = 1. Taking into account equation 3), we see that α is a restricted direct product action for p S of the α p : Q p AutQ p ), αp g p s p ) = g p s p 1) + 1. Also β is a restricted direct 13

14 g ps p g ps p 1)+1 product action of β p : Q p AutQ p ), βp s p g p ) =. We introduce the notation ν p for the Haar measure on Q p such that ν p Z p ) = 1. We have µ p = p 1)µ p, ν p = 1 p 1 ) 1 µ + p and dµ + p x) = 1 p 1 ) x p dµ p x). The main result of this section is the following theorem which implies the description of the types of the factors M S and ˆM S. Theorem 11 For any infinite subset S of P we have the following isomorphisms M S N S and ˆMS M S R, where N S is the Boca-Zaharescu factor and R is the hyperfinite II 1 factor. PROOF. Let π p be the canonical inclusion of L Q p ) in Q p L Q p ). We first prove the following lemma. Lemma 12 Let µ be a Haar measure on Q p and ν a Haar measure on Q p. Let K Z p be a subgroup of finite index with µk) = 1 and L a compact open subset of Z p such that KL = L and νl) = 1. Define ek, L) = λ1i K ) 1)π p 1I L ) and ξk, L) = 1I K L. Then ek, L) is a projection in Q p L Q p ) and ek, L) Q p L Q p ) ) ek, L), ω ξk,l) ) Bl 2 N)), ω ) where ω is the faithful normal state on Bl 2 N)) with eigenvalue list given by µ + p K) µ + p L) p n with multiplicity L p n Z p / K, n N. PROOF. The fact that ek, L) is a projection has been proved in Proposition 6. We define the following unitary Then this implies that U : L 2 Q p Q p, µ ν) L 2 Q p Q p, µ µ) Uξ)x, y) = )1 µ + p K) µ + p L) y 2 p) ξxy 1, y). Uλ g 1U = λ g 1 and Uπ p F)U = F 1, UQ p L Q p )U = BL 2 Q p, µ)) 1. 14

15 Next, we have ek, L)ξ)x, y) = 1I L xy) 1I K t)ξt 1 x, y) dµt) Q p thus, after a simple computation, we obtain UeK, L)U = fk, L) 1 where, fk, L)ξ)x) = 1I L x) 1I K t)ξt 1 x) dµt). Q p Observe that the image of fk, L) is the set of functions ξ L 2 Q p, µ) such that the support of ξ is in L {0} and ξ is invariant under translations of K. Writing L {0} = n N L p n Z p, we see that every function ξ in the image of fk, L) is of the form Thus we have ξ = ξy)1i [y]. n N [y] L p n Z p / K fk, L)L 2 Q p, µ) = Span < 1I [y], n N, [y] L p n Z p / K >, where Span < X > means the closed vector space generated by X. Because µ[y]) = µk) = 1, the set of vectors 1I [y] for [y] L p n Z p / K and n 0 is an orthonormal basis of fk, L)L 2 Q p, µ). Thus, there is a unitary W between fk, L)L 2 Q p, µ) and l 2 N) such that W 1)UeK, L) Q p L Q p ) ) ek, L)U W 1) = Bl 2 N)) 1, and, using the computation UξK, L) = n [y] L p n Z p / K λ 1 2 n,[y] 1I [y] 1I [y], where λ n,[y] = µ+ p K) µ + p L) p n, we conclude the proof. Remark 13 We obtain, for K, L, µ, ν) = Z p, Z p, µ p, µ + p ), the list 1 p 1 )p n with multiplicity one and, for K, L, µ, ν) = 1 + pz p, Z p 1, µ p, ν p ), the following list : p 1) 1 with multiplicity p 2 and p 1) 1 p n with multiplicity p 1 for n 1. The next ingredient of the proof is the following lemma. Lemma 14 For any infinite subset S P we have 15

16 1) M S p S Q p L Q p ), L 2 Q p Q p, µ p µ + p ), ξz p, Z p ) ), 2) ˆMS p S Q p L Q p ), L 2 Q p Q p, µ p ν p ), ξ1 + pz p, Z p 1)). PROOF. To obtain the first isomorphism, recall that G 1 S L G 2 S ) G1 S L G S /G 1 S ), and because G 1 S = A S {0}, it is easy to see that G 1 S L G 2 S ) A S L A S ). Next, using Proposition 6, we obtain immediately the first isomorphism. For the second isomorphism, we first use Proposition 6 and the discussion preceding the lemma to obtain ˆM S Q p β p L Q p), L 2 Q p Q p, µ p µ p ), 1I 1+pZp) Zp). p S Now define V : L 2 Q p Q p, µ p µ p ) L 2 Q p Q p, µ p ν p ), V is unitary and V ξ)g, s) = ξg 1, s + 1) 1 ) s p. V Q p β p L Q p )) V = Q p L Q p ), where the action for the crossed product on the right is the translation. Finally, the computation V 1I 1+pZp) Z p = 1I 1+pZ p) Z p 1) concludes the proof. We can now prove the Theorem. Using Lemmas 12 and 14, the remark between these two lemmas and Proposition 3 we obtain, using the notation e 1 = p S ez p, Z p) and e 2 = p S e1 + pz p, Z p 1), e 1 M S e 1 N S and, e 2 ˆMS e 2 p S Bl 2 N)), ψ p ), where the eigenvalue list of ψ p is given by p 1) 1 p n with multiplicity p 2 if n = 0 p 1 if n 1. 16

17 Next, because M S, ˆMS, e 1 and e 2 are purely infinite and e 1 and e 2 have central support equal to 1 we have that e 1 M S e 1 M S and e 2 ˆMS e 2 ˆM S. Thus, to conclude the proof, it is sufficient to prove that ) Bl 2 N)), ψ p NS R. Using Lemma 1 and p S 1) p S n 1p 1 p n = p 1) 2 < p S we can remove one copy of p 1, p 2,... without changing the isomorphism class of the ITPFI factor the projection obtained in Lemma 1 is clearly purely infinite), thus, we obtain ) Bl 2 ) N)), ψ p Bl 2 N)) M p 2 C), ω p τ p, p S p S where τ p is the normalized trace of the matrix algebra M p 2 C). The theorem follows. Corollary 15 For any infinite subset S P, we have 1) p S 1 p < + µ+ A S A S ) = 0 M S, S ) is of type I, II ). 2) p S 1 p = + µ+ A S ) = 0 M S, S ) is of type III, III). Moreover we have For any λ [0, 1] there exists a subset S P such that M S, S ) is of type III λ, III λ ). For any countable subgroup K of R and countable subset Σ of R K there exists a subset S of P such that TM S ) contains K and does not intersect Σ. PROOF. We have µ + p S Zp) = 0 µ + A S ) = 0. Then, because we have µ + Z p = µ + p p S p S p S ) Z p = 1 1 ), p p S 1 p = + µ+ A S ) = 0. 4) Now, the Borel-Cantelli lemma gives p S 1 p < + µ+ A S A S ) = 0, then 4) implies that the last implication is an equivalence. Note that for any l.c. ring A, such that A A has additive Haar measure zero, the translation 17

18 action of A on A is free and ergodic, and the corresponding crossed product is a type I factor, the proof of 1) follows. Now, suppose that p S 1 p = then p S,i 0 p i 1 p 1 ) inf{ p i 1 2, 1} = p S,i 1p i 1 p 1 ) = 1 p S p = +. This implies, taking into account preliminaries about ITPFI factors, that M S and ˆM S are type III factors. The last results follow from [4]. There is a minor modification of the preceding example. Take and define the following subgroups G S = K S A S { G 1 S = K S {0} and G 2 S = a p, 1 a ) } p, a p ) K S. p Then it is easy to see that G 1 S, G2 S ) is a matched pair. A direct computation gives, for a p ), b p ) K S, α ap,0) b p, 1 b p p ) = β ) a b p, 1 bp p, 0) = p a p b p 1) + 1, a p1 b p ) p ) a p b p a p b p 1) + 1, 0. ) and, We can construct the bicrossed product l.c. quantum group L S, S ) having the following property. Proposition 16 For any infinite subset S of P, the l.c. quantum group L S, S ) is self-dual and L S N S R. PROOF. Define the isomorphism u : G 1 S G1 S by one verifies that u β b p, 1 bp p ua p, 0) = p, 1 ) a 1 p, p a 1 ) a p, 0) = α u 1 b p, 1 bp p ) ua p, 0)). 18

19 Hence, interchanging α and β, we get an isomorphic matched pair and so an isomorphic l.c. quantum group. To obtain the isomorphism, recall that G 1 S L G 2 S) G 1 S L G S /G 1 S ), and because G1 S = K S {0}, it is easy to see that G 1 S L G 2 S ) K S L A S ). Next, using Lemma 6 we obtain L S p S Q p L Q p ), L 2 Q p Q p, µ p µ + p ), ξ1 + pz p, Z p ) ). This implies, using Lemma 12 with K, L, µ, ν) = 1 + pz p, Z p, µ p, µ + p ) and Proposition 3, the following isomorphism L S p S Bl 2 N)) M p 1 C), ω p τ p ), where τ p is the normalized trace of the matrix algebra M p 1 C). Acknowledgements I would like to thank Prof. S. Vaes for suggesting the subject of the paper and for many comments and Prof. F. Boca for helpful discussions. I am also grateful to Prof. L. Vainerman for many helpful discussions and comments. References [1] H. Araki and J. Woods. A classification of factors. Publ. Res. Inst. Math. Sci. Kyoto. Univ., Ser. A, 4:51 130, [2] S. Baaj, G. Skandalis, and S. Vaes. Non-Semi-Regular Quantum Groups Coming from Number Theory. Commun. Math. Phys., 235: , [3] B. Blackadar. The regular representation of the restricted direct product groups. J. Funct. Anal., 25: , [4] F.P. Boca and A. Zaharescu. Factors of type III and the distribution of prime numbers. Proc. London Math. Soc. 3), 80: , [5] A. Connes. Une classification des facteurs de type III. Ann. Sci. ENS, 6: , [6] J. Kustermans and S. Vaes. Locally compact quantum groups. Ann. Sci. ENS, 33 6): , [7] J. Kustermans and S. Vaes. Locally compact quantum groups in the von Neumann algebraic setting. Math. Scand., 92, No.1:68 92,

20 [8] A. Maes and A. Van Daele. Notes on Compact Quantum Groups. Nieuw Arch. Wiskd., IV. Ser. 16, No.1-2:73 112, [9] S. Stratila. Modular Theory in Operator Algebras. Abacus Press, Tunbridge Wells, England, [10] S. Vaes. The unitary implementation of a locally compact quantum group action. J. Func. Anal., 180: , [11] S. Vaes and L. Vainerman. Extensions of locally compact quantum groups and the bicrossed product construction. Adv. in Math., 175:1 101,