\(K\)-theory of equivariant quantization (Q2444410)

Let \(A\) be a \(C^*\)-algebra, \(\alpha\) an action of \(\mathbb R^n\) on \(A\), and \(\beta\) a strongly continuous action of a compact group \(G\) on \(A\). Let \(J\) be a skew-symmetric matrix. \textit{M. A. Rieffel} [Mem. Am. Math. Soc. 506, 93 p. (1993; Zbl 0798.46053); J. Funct. Anal. 116, No.~1, 199--214 (1993; Zbl 0803.46077)] defined a strict deformation \(\star\)-product as \[ a \star_J b = \int_{\mathbb R^n \times \mathbb R^n} \alpha_{Ju}(a)\alpha_v(b) e^{2\pi i u.v}\, du\,dv. \] Denote by \(A_J\) the same \(C^*\)-algebra with the deformed star product. For the action \(\beta\) of \(G\) on \(A\), one defines a cross-product \(A\rtimes_\beta G\). One may show that \[ \beta_g(a \star_J b) = \beta_g(a) \star_J \beta_g(b),\,\, \beta_g(a^*) = \beta_g(a)^*. \] The group of automorphisms of \(J\) is defined as \(GL(J)= \{ g\in GL(n,\mathbb R)\mid g^tJg= J\}\) and \(SL_n(R,J) := SL_n (\mathbb R) \cap GL(J )\). Let \(\rho : G \to SL_n(\mathbb R,J)\) be a group homomorphism such that \[ \beta_g\alpha_x = \alpha_{\rho_g(x)}\beta_g. \] The action \(\beta\) of \(G\) can easily be extended to the same one on \(A_J\). When \(\rho\) is a trivial group homomorphism, the actions \(\alpha\) and \(\beta\) commute. In the paper, the authors prove (Main Theorem 1.2) that \[ K_\bullet(A_J \rtimes_\beta G) \cong K_\bullet(A \rtimes_\beta G),\quad\forall \bullet = 0,1. \]