Abstract

Consider a locally compact group G=Q⋉V such that V is abelian and the action of Q on the dual abelian group Vˆ has a free orbit of full measure. We show that such a group G can be quantized in three equivalent ways:(1)by reflecting across the Galois object defined by the canonical irreducible representation of G on L2(V);(2)by twisting the coproduct on the group von Neumann algebra of G by a dual 2-cocycle obtained from the G-equivariant Kohn–Nirenberg quantization of V×Vˆ;(3)by considering the bicrossed product defined by a matched pair of subgroups of Q⋉Vˆ both isomorphic to Q.In the simplest case of the ax+b group over the reals, the dual cocycle in (2) is an analytic analogue of the Jordanian twist. It was first found by Stachura using different ideas. The equivalence of approaches (2) and (3) in this case implies that the quantum ax+b group of Baaj–Skandalis is isomorphic to the quantum group defined by Stachura.Along the way we prove a number of results for arbitrary locally compact groups G. Using recent results of De Commer we show that a class of G-Galois objects is parametrized by certain cohomology classes in H2(G;T). This extends results of Wassermann and Davydov in the finite group case. A new phenomenon is that already the unit class in H2(G;T) can correspond to a nontrivial Galois object. Specifically, we show that any nontrivial locally compact group G with group von Neumann algebra a factor of type I admits a canonical cohomology class of dual 2-cocycles such that the corresponding quantization of G is neither commutative nor cocommutative.

Highlights

  • (1) by reflecting across the Galois object defined by the canonical irreducible representation of G on L2(V );

  • We show that any nontrivial locally compact group G with group von Neumann algebra a factor of type I admits a canonical cohomology class of dual 2-cocycles such that the corresponding quantization of G is neither commutative nor cocommutative

  • Using recent results of De Commer [12] we show that the G-Galois objects with underlying algebras factors of type I are classified by certain second cohomology classes on G (Theorem 2.4)

Read more

Summary

Preliminaries

Let G be a locally compact group. We fix a left invariant Haar measure dg on G and denote by Lp(G), p ∈ [1, ∞], the associated function spaces. The multiplicative unitary W = WG : L2(G) ⊗ L2(G) → L2(G) ⊗ L2(G) of G is defined by (W f )(g, h) = f (g, g−1h). The duality paring V × V → T will be denoted by ei ξ,v This is just a notation, we do not claim that there is an exponential function here. We fix a Haar measure dv on V and we normalize the Haar measure dξ of Vso that the Fourier transform FV defined by (FV f )(ξ) := e−i ξ,v f (v) dv. For functions in several variables only one of which is in V , we use the same symbol FV to denote the partial Fourier transform in that variable

Projective representations and Galois objects
Dual cocycles
Dual cocycles defined by genuine representations
Examples: subgroups of the affine group
Kohn–Nirenberg quantization
Identification of the Galois objects
Deformation of the trivial cocycle
Multiplicative unitaries
Stachura’s dual cocycle
Bicrossed product construction
Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call