Rieffel Type Discrete Deformation of Finite Quantum Groups
Shuzhou Wang
备注:
AMSLATEX, 21 pages. Accepted for publication in Commun Math. Phys. Corrected an error occured at the end of the proof of Theorem 3.2, as well as some typos, as found by the referee
We introduce a discrete deformation of Rieffel type for finite (quantum) groups. Using this, we give a non-trivial example of a finite quantum group of order 18. We also give a deformation of finite groups of Lie type by using their maximal abelian subgroups.
We start from Rieffel data (A,f,X) where A is a C*-algebra, X is an action of an abelian group H on A and f is a 2-cocycle on the dual group. Using Landstad theory of crossed product we get a deformed C*-algebra A(f). In the case of H being the n-th Cartesian product of the real numbers we obtain a very simple proof of invariance of K-groups under the deformation. In the general case we also get a very simple proof that nuclearity is preserved under the deformation. We show how our approach leads to quantum groups and investigate their duality. The general theory is illustrated by an example o…
The bundle map $π_{h}: Γ((A_{tJ})_{t\in [0,1]})\lra A_{hJ}$, for every $h\in [0,1]$, of the continuous field $(A_{tJ})_{t\in [0,1]}$ associated to the Rieffel deformation $A_{J}$ of a C*-algebra $A$ is shown to be a KK-equivalence by using a 2-cocycle twisting approach and RKK-fibrations.
Assume A is a Frechet algebra equipped with a smooth isometric action of a vector group V, and consider Rieffel's deformation A_J of A. We construct an explicit isomorphism between the smooth crossed products V\ltimes\A_J and V\ltimes\A. When combined with the Elliott-Natsume-Nest isomorphism, this immediately implies that the periodic cyclic cohomology is invariant under deformation. Specializing to the case of smooth subalgebras of C*-algebras, we also get a simple proof of equivalence of Rieffel's and Kasprzak's approaches to deformation.
We develop the twisting construction for locally compact quantum groups. A new feature, in contrast to the previous work of M. Enock and the second author, is a non-trivial deformation of the Haar measure. Then we construct Rieffel's deformation of locally compact quantum groups and show that it is dual to the twisting. This allows to give new interesting concrete examples of locally compact quantum groups, in particular, deformations of the classical $az+b$ group and of the Woronowicz' quantum $az+b$ group.
We show that Rieffel's deformation sends covariant C(T)-algebras into C(T)-algebras. We also treat the lower semi-continuity issue, proving that Rieffel's deformation transforms covariant continuous fields of C*-algebras into continuous fields of C*-algebras. Some examples are indicated, including certain quantum groups.
Let G be a locally compact group, H an abelian subgroup and let f be a continuous 2-cocycle on the dual group of H. Let B be a C*-algebra equipped with a continuous right coaction of G. Using Rieffel deformation, we can construct a quantum group G(f) and the deformed C*-algebra B(f). The aim of this paper is to show that B(f) is equipped with a continuous coaction of G(f). The transition from the original coaction to its deformed counterpart is nontrivial in the sense that the deformed one contains complete information about the undeformed one. In order to illustrate our construction we apply …
Let H be a closed subgroup of a locally compact group G and let X=G/H be the quotient space of left cosets. Let C*X be the corresponding G-C*-algebra of continuous functions on X, vanishing at infinity. Suppose that L is a closed abelian subgroup of H and let f be a 2-cocycle on the dual group of L. Let G(f) be the Rieffel deformation of G. Using these data we may construct G(f)-C*-algebra C*X(f) - the Rieffel deformation of C*X. On the other hand we may perform the Rieffel deformation of the subgroup H obtaining the closed quantum subgroup H(f) of G(f) which in turn, by the results of Vaes, l…
In this paper we consider C*-algebraic deformations a la Rieffel and show that every state of the undeformed algebra can be deformed into a state of the deformed algebra in the sense of a continuous field of states. The construction is explicit and involves a convolution operator with a particular Gauss function.
To a continuous action of a vector group on a $C^*$-algebra, twisted by the imaginary exponential of a symplectic form, one associates a Rieffel deformed algebra as well as a twisted crossed product. We show that the second one is isomorphic to the tensor product of the first one with the $C^*$-algebra of compact operators in a separable Hilbert space and we indicate some applications.
In this paper we apply Rieffel deformation to C*- tensor product viewed as a functor on the category of C*-algebras with an abelian group action. In the case of the Rieffel deformation of a quantum group with the action by automorphisms the deformed tensor product enables us to view the deformed object as a braided quantum group. We construct a bicharacter for a braided quantum group and the dual braided quantum group. We employ our method to get a braided quantum Minkowski space. Its description in terms of the deformed space-time coordinates is provided.
With an action $α$ of $\mathbb{R}^n$ on a $C^*$-algebra $A$ and a skew-symmetric $n\times n$ matrix $Θ$ one can consider the Rieffel deformation $A_Θ$ of $A$, which is a $C^*$-algebra generated by the $α$-smooth elements of $A$ with a new multiplication. The purpose of this paper is to obtain explicit formulas for $K$-theoretical quantities defined by elements of $A_Θ$. We assume that there is a densely defined trace on $A$, invariant under the action. We give an explicit realization of Thom class in $KK$ in any dimension $n$, and use it in the index pairings. When $n$ is odd, for example, we …
Warped convolutions of operators were recently introduced in the algebraic framework of quantum physics as a new constructive tool. It is shown here that these convolutions provide isometric representations of Rieffel's strict deformations of C*-dynamical systems with automorphic actions of R^n, whenever the latter are presented in a covariant representation. Moreover, the device can be used for the deformation of relativistic quantum field theories by adjusting the convolutions to the geometry of Minkowski space. The resulting deformed theories still comply with pertinent physical principles …
We construct a non-formal deformation machinery for the actions of the Heisenberg supergroup analogue to the one developed by M. Rieffel for the actions of R^d. However, the method used here differs from Rieffel's one: we obtain a Universal Deformation Formula for the actions of R^{m|n} as a byproduct of Weyl ordered Kirillov's orbit method adapted to the graded setting. To do so, we have to introduce the notion of C*-superalgebra, which is compatible with the deformation, and which can be seen as corresponding to noncommutative superspaces. We also use this construction to interpret the renor…
Suppose that a compact quantum group Q acts faithfully and isomet- rically (in the sense of [10]) on a smooth compact, oriented, connected Riemannian manifold M . If the manifold is stably parallelizable then it is shown that the compact quantum group is necessarily commutative as a C \ast algebra i.e. Q = C(G) for some compact group G. Using this, it is also proved that the quantum isometry group of Rieffel deformation of such manifold M must be a Rieffel-Wang deformation of C(ISO(M))
Let M be a compact spin manifold with a smooth action of the n-torus. Connes and Landi constructed theta-deformations M_{theta} of M, parameterized by n by n real skew-symmetric matrices theta. The M_{theta}'s together with the canonical Dirac operator (D, H) on M are an isospectral deformation of M. The Dirac operator D defines a Lipschitz seminorm on C(M_{theta}), which defines a metric on the state space of C(M_{theta}). We show that when M is connected, this metric induces the weak-* topology. This means that M_{theta} is a compact quantum metric space in the sense of Rieffel.
We introduce a new distance dist_oq between compact quantum metric spaces. We show that dist_oq is Lipschitz equivalent to Rieffel's distance dist_q, and give criteria for when a parameterized family of compact quantum metric spaces is continuous with respect to dist_oq. As applications, we show that the continuity of a parameterized family of quantum metric spaces induced by ergodic actions of a fixed compact group is determined by the multiplicities of the actions, generalizing Rieffel's work on noncommutative tori and integral coadjoint orbits of semisimple compact connected Lie groups; we …
It is proved that the (volume and orientation-preserving) quantum isometry group of a spectral triple obtained by deformation by some dual unitary 2-cocycle is isomorphic with a similar twist-deformation of the quantum isometry group of the original (undeformed) spectral triple. This result generalizes similar work by Bhowmick and Goswami for Rieffel-deformed spectral triples in [Comm. Math. Phys. 285 (2009), 421-444, arXiv:0707.2648].
The quantum Heisenberg manifolds are noncommutive manifolds constructed by M. Rieffel as strict deformation quantizations of Heisenberg manifolds and have been studied by various authors. Rieffel constructed the quantum Heisenberg manifolds as the generalized fixed-point algebras of certain crossed product $C^*$-algebras, and they also can be realized as crossed products of $C(\mathbb{T}^2)$ by Hilbert $C^*$-bimodules in the sense of Abadie et al. In this paper, we describe how the quantum Heisenberg manifolds can also be realized as twisted groupoid $C^*$-algebras.
We show that the Quantum Isometry Group(as introduced in \cite{goswami}) of the n tori is the classical isometry group. Moreover, using a result in \cite{bhowmick goswami}, we conclude that the Quantum Isometry group of the noncommutative n tori is a Rieffel deformation of the Quantum Isometry Group of the commutative n tori.
Beginning with a skew-symmetric matrix, we define a certain Poisson--Lie group. Its Poisson bracket can be viewed as a cocycle perturbation of the linear (or "Lie-Poisson") Poisson bracket. By analyzing this Poisson structure, we gather enough information to construct a C*-algebraic locally compact quantum group, via the "cocycle bicrossed product construction" method. The quantum group thus obtained is shown to be a deformation quantization of the Poisson-Lie group, in the sense of Rieffel.
We present a modified version of the definition of property RD for discrete quantum groups given by Vergnioux in order to accommodate examples of non-unimodular quantum groups. Moreover we extend the construction of spectral triples associated to discrete groups with length functions, originally due to Connes, to the setting of quantum groups. For quantum groups of rapid decay we study the resulting spectral triples from the point of view of compact quantum metric spaces in the sense of Rieffel.
We give some sufficient conditions for the injectivity of actions of compact quantum groups on $C^{\ast}$-algebra. As an application, we prove that any faithful smooth action by a compact quantum group on a compact smooth (not necessarily connected) manifold is injective. A similar result is proved for actions on $C^{\ast}$- algebras obtained by Rieffel-deformation of compact, smooth manifolds.
Let $G$ be one of the classical compact, simple, centre-less, connected Lie groups or rank $n$ with a maximal torus $T$, the Lie algebra $\clg$ and let $\{ E_i, F_i, H_i, i=1, \ldots, n \}$ be the standard set of generators corresponding to a basis of the root system. Consider the adjoint-orbit space $M=\{ {\rm Ad}_g(H_1),~g \in G \}$, identified with the homogeneous space $G/L$ where $L=\{ g \in G:~{\rm Ad}_g(H_1)=H_1\}$. We prove that the `coordinate functions' $\{ f_i, i=1, \ldots, n \}$, (where $f_i(g):=λ_i({\rm Ad}_g(H_1))$, $\{ λ_1, \ldots, λ_n\}$ is basis of $\clg^\prime$) are `quadrati…
The notion of simple compact quantum group is introduced. As non-trivial (noncommutative and noncocommutative) examples, the following families of compact quantum groups are shown to be simple: (a) The universal quantum groups $B_u(Q)$ for $Q \in GL(n, {\mathbb C})$ satisfying $Q \bar{Q} = \pm I_n$, $n \geq 2$; (b) The quantum automorphism groups $A_{aut}(B, τ)$ of finite dimensional $C^*$-algebras $B$ endowed with the canonical trace $τ$ %endowed with a tracial functional $tr$ when $\dim(B) \geq 4$, including the quantum permutation groups $A_{aut}(X_n)$ on $n$ points ($n \geq 4$); (c) The st…
We formulate a quantum group analogue of the group of orinetation-preserving Riemannian isometries of a compact Riemannian spin manifold, more generally, of a (possibly $R$-twisted in the sense of a paper of one of the authors, and of compact type) spectral triple. The main advantage of this formulation, which is directly in terms of the Dirac operator, is that it does not need the existence of any `good ' Laplacian as in our previous works on quantum isometry groups. Several interesting examples, including those coming from Rieffel-type deformation as well as the equivariant spectral triples …
We consider $C^*$-algebra $\mathcal{E}_{n,m}^q$, which is a $q$-twist of two Cuntz-Toeplitz algebras. For the case $|q|<1$ we give an explicit formula, which untwists the $q$-deformation, thus showing that the isomorphism class of $\mathcal{E}_{n,m}^q$ does not depend of $q$. For the case $|q|=1$ we give an explicit description of all ideals in $\mathcal{E}_{n,m}^q$. In particular $\mathcal{E}_{n,m}^q$ contains unique largest ideal $\mathcal{M}_q$. Then we identify $\mathcal{E}_{n,m}^q / \mathcal{M}_q$ with the Rieffel deformation of $\mathcal{O}_n \otimes \mathcal{O}_m$ and use a K-theoretica…
The main objective of this article is to develop the theory of deformation of $C^*$-algebras endowed with a group action, from the perspective of non-formal equivariant quantization. This program, initiated in \cite{Bieliavsky-Gayral}, aims to extend Rieffel's deformation theory \cite{Ri} for more general groups than $\mathbb R^d$. In \cite{Bieliavsky-Gayral}, we have constructed such a theory for a class of non-Abelian Lie groups. In the present article, we study the somehow opposite situation of Abelian but non-Lie groups. More specifically, we construct here a deformation theory of $C^*$-al…
Over the last 25 years, the notion of "fuzzy spaces" has become ubiquitous in the high-energy physics literature. These are finite dimensional noncommutative approximations of the algebra of functions on a classical space. The most well known examples come from the Berezin quantization of coadjoint orbits of compact semisimple Lie groups. We develop a theory of Berezin quantization for certain quantum homogeneous spaces coming from ergodic actions of compact quantum groups. This allows us to construct fuzzy versions of these quantum homogeneous spaces. We show that the finite dimensional appro…
For a closed subgroup of a locally compact group the Rieffel induction process gives rise to a $C^*$-correspondence over the $C^*$-algebra of the subgroup. We study the associated Cuntz-Pimsner algebra and show that, by varying the subgroup to be open, compact, or discrete, there are connections with the Exel-Pardo correspondence arising from a cocycle, and also with graph algebras.
In this article we present a new C*-algebraic deformation of the Lorentz group. It is obtained by means of the Rieffel deformation applied to SL(2,C). We give a detailed description of the resulting quantum group in terms of generators - the quantum counterparts of the matrix coefficients of the fundamental representation of SL(2,C). In order to construct the most involved of four generators, we first define it on the quantum Borel subgroup, then on the quantum complement of the Borel subgroup and finally we perform the gluing procedure. In order to classify representations of the C*-algebra o…
We consider the $C^*$-algebra $\mathcal{E}_{n,m}^q$, which is a $q$-twist of two Cuntz-Toeplitz algebras. For the case $|q|<1$, we give an explicit formula which untwists the $q$-deformation showing that the isomorphism class of $\mathcal{E}_{n,m}^q$ does not depend on $q$. For the case $|q|=1$, we give an explicit description of all ideals in $\mathcal{E}_{n,m}^q$. In particular, we show that $\mathcal{E}_{n,m}^q$ contains a unique largest ideal $\mathcal{M}_q$. We identify $\mathcal{E}_{n,m}^q / \mathcal{M}_q$ with the Rieffel deformation of $\mathcal{O}_n \otimes \mathcal{O}_m$ and use a K-…
Let $\mathbb B$ be a Lie group admitting a left-invariant negatively curved Kählerian structure. Consider a strongly continuous action $α$ of $\mathbb B$ on a Fréchet algebra $\mathcal A$. Denote by $\mathcal A^\infty$ the associated Fréchet algebra of smooth vectors for the action $α$. In the Abelian case $\mathbb B=\mathbb R^{2n}$ and $α$ isometric, Marc Rieffel proved that Weyl's operator symbol composition formula yields a deformation through Fréchet algebra structures ${\star_θ^α}_{θ\in\mathbb R}$ on $\mathcal A^\infty$. When $\mathcal A$ is a $C^\star$-algebra, every deformed algebra $(\…
We propose a definition of a quantum homogeneous space of a locally compact quantum group. We show that classically it reduces to the notion of a homogeneous spaces. On the quantum level our definition goes beyond the quotient case. It provides a framework which, besides the Vaes' quotient of a locally compact quantum group by its closed quantum subgroup (our main motivation) is also compatible with, generically non-quotient, quantum homogeneous spaces of a compact quantum group studied by P. Podles as well as the Rieffel deformation of G-homogeneous spaces. Finally, our definition rules out t…
For a closed cocompact subgroup $Γ$ of a locally compact group $G$, given a compact abelian subgroup $K$ of $G$ and a homomorphism $ρ:\hat{K}\to G$ satisfying certain conditions, Landstad and Raeburn constructed equivariant noncommutative deformations $C^*(\hat{G}/Γ, ρ)$ of the homogeneous space $G/Γ$, generalizing Rieffel's construction of quantum Heisenberg manifolds. We show that when $G$ is a Lie group and $G/Γ$ is connected, given any norm on the Lie algebra of $G$, the seminorm on $C^*(\hat{G}/Γ, ρ)$ induced by the derivation map of the canonical $G$-action defines a compact quantum metr…
We consider the 2-cocycle deformation of algebras graded by discrete groups. The action of the Maurer-Cartan form on cyclic cohomology is shown to be cohomologous to the cup product action of the group cocycle. This allows us to compute the monodromy of the Gauss-Manin connection in the strict deformation setting.
Let $G$ be a countable discrete group with an orthogonal representation $α$ on a real Hilbert space $H$. We prove $L_p$ Poincaré inequalities for the group measure space $L_\infty(Ω_H,γ)\rtimes G$, where both the group action and the Gaussian measure space $(Ω_H, γ)$ are associated with the representation $α$. The idea of proof comes from Pisier's method on the boundedness of Riesz transform and Lust-Piquard's work on spin systems. Then we deduce a transportation type inequality from the $L_p$ Poincaré inequalities in the general noncommutative setting. This inequality is sharp up to a constan…
We construct discrete versions of $κ$-Minkowski space related to a certain compactness of the time coordinate. We show that these models fit into the framework of noncommutative geometry in the sense of spectral triples. The dynamical system of the underlying discrete groups (which include some Baumslag--Solitar groups) is heavily used in order to construct \emph{finitely summable} spectral triples. This allows to bypass an obstruction to finite-summability appearing when using the common regular representation. The dimension of these spectral triples is unrelated to the number of coordinates …