10
$\begingroup$

Let $(A,\alpha, G)$ be a $C^*$-dynamical system, where $G$ is a discrete group. Let $\Gamma$ be a subgroup of $G$, then we can form two universal crossed products $A\rtimes_\alpha \Gamma$ and $A\rtimes_\alpha G$. Question 1: Is the canonical map $A\rtimes_\alpha \Gamma \to A\rtimes_\alpha G$ injective? Question 2: What about reduced crossed products $A\rtimes_{\alpha,r} \Gamma \to A\rtimes_{\alpha,r} G$?

For the universal case, I guess it's wrong even though I can not find a counterexample. But if we let $\alpha$ be the trivial action of $G$, then we only need to look at $A\otimes_{max} C^* (\Gamma) \subseteq A\otimes_{max} C^* (G) $.

For the reduced case, I guess it's should be the case. Just follows from the facts that the left regular representaion of $G$, restricted to $\Gamma$, is a multiple of the left regular representation of $\Gamma$ and $A\rtimes_{\alpha,r} \Gamma = C^*(\pi(A), 1\otimes \lambda(G))$, where $\pi: A\subseteq B(H) \rightarrow B(H\otimes l^2(G))$ and $\lambda$ is the left regular representaion of $G$. Do I make any mistake?

Improve this question
$\endgroup$
0

1 Answer 1

Reset to default
7
$\begingroup$

The universal case is also injective. What one needs to show is that any covariant representation of $(A,\Gamma)$ extends to a covariant representation of $(A,G)$. This can be shown by using induced representation.

Improve this answer
$\endgroup$
3
  • $\begingroup$ Thanks! It's nice to know :)I don't know about induced representations. But I wanted to extend the unitary representation of $\Gamma$ to $G$ such that the action is spatially implemented in this represention. $\endgroup$
    – m07kl
    Commented Oct 9, 2010 at 9:44
  • 1
    $\begingroup$ I believe it, if you say so. But if $A$ and $\Gamma$ just act (in a compatible way) on a Hilbert space $H$ and you enlarge the Hilbert space to the induced representation so that also $G$ can act, why does $G$ act correctly on $A$? $\endgroup$
    – Andreas Thom
    Commented Oct 9, 2010 at 9:46
  • 3
    $\begingroup$ Let me give a proof. Fix a lifting $\sigma\colon G/\Gamma\to G$ such that $\sigma(e\Gamma)=e$, and let $c\colon G\times G/\Gamma\to\Gamma$ be the associated cocycle, $c(g,x):=\sigma(gx)^{-1}g\sigma(x)$. It satisfies $c(g,hx)c(h,x)=c(gh,x)$. Now, let $A\ritmes\Gamma\subset B(H)$. Then, the induced repn is $G \hookrightarrow B(\ell_2(G/\Gamma)\otimes H)$, $g (\delta_x\otimes\xi)=\delta_{gx}\otimes c(g,x)\xi$. The repn of $A$ should be $A \hookrightarrow B(\ell_2(G/\Gamma)\otimes H)$, $a (\delta_x\otimes\xi)=\delta_x\otimes\alpha_{\sigma(x)^{-1}}(a)\xi$. Then, these are covariant. $\endgroup$
    – Narutaka OZAWA
    Commented Oct 10, 2010 at 20:49

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .