Skip to main content
added 109 characters in body
Source Link
Narutaka OZAWA
  • 10.1k
  • 1
  • 42
  • 50

No. Take any irreducibly represented simple and injective C*-algebra $A\subset B(H)$ and an outer automorphism $\theta$ of period $2$ (which is easy to find when $A$ is the hyperfinite II_1 factor).

Case 1: The representation is covariant, i.e., $\exists u\in{\mathcal U}(H)$ such that $uau^*=\theta(a)$ for $a\in A$. We may assume $u^2=1$ by irreducibility. Since $\theta$ is outer, $A\rtimes_\theta({\mathbb Z}/2{\mathbb Z})$ is simple by Kishimoto's theorem. Hence, $\mathrm{C}^*(A,u)\cong A\rtimes_\theta({\mathbb Z}/2{\mathbb Z})$ and there is a conditional expectation $\phi\colon\mathrm{C}^*(A,u)\ni a+bu\mapsto a\in A$, $a,b\in A$. The map $\phi$ extends on $B(H)$.

Case 2: The representation is not covariant, in which case there is no nonzero $x\in B(H)$ such that $xa=\theta(a)x$ for all $a\in A$, by Schur's lemma. Consider Consider $A_1:=A\rtimes_\theta({\mathbb Z}/2{\mathbb Z})=\mathrm{C}^*(A,v)$ represented on $H\oplus H$, where $a\in A$ acts by $a\oplus\theta(a)$ and the switching unitary operator $v(\xi\oplus\eta)=\eta\oplus\xi$ implements $\theta$. Now, $A_1$ is injective, irreducibly represented on $H\oplus H$, and the dual automorphism $\hat{\theta}\colon a+bv\mapsto a-bv$ is outer and implemented by the unitary operator $u:=1\oplus-1$ on $H\oplus H$. Hence it reduces to Case 1.

No. Take any irreducibly represented simple and injective C*-algebra $A\subset B(H)$ and an outer automorphism $\theta$ of period $2$ (which is easy to find when $A$ is the hyperfinite II_1 factor).

Case 1: The representation is covariant, i.e., $\exists u\in{\mathcal U}(H)$ such that $uau^*=\theta(a)$ for $a\in A$. We may assume $u^2=1$ by irreducibility. Since $\theta$ is outer, $A\rtimes_\theta({\mathbb Z}/2{\mathbb Z})$ is simple by Kishimoto's theorem. Hence, $\mathrm{C}^*(A,u)\cong A\rtimes_\theta({\mathbb Z}/2{\mathbb Z})$ and there is a conditional expectation $\phi\colon\mathrm{C}^*(A,u)\ni a+bu\mapsto a\in A$, $a,b\in A$. The map $\phi$ extends on $B(H)$.

Case 2: The representation is not covariant. Consider $A_1:=A\rtimes_\theta({\mathbb Z}/2{\mathbb Z})=\mathrm{C}^*(A,v)$ represented on $H\oplus H$, where $a\in A$ acts by $a\oplus\theta(a)$ and the switching unitary operator $v(\xi\oplus\eta)=\eta\oplus\xi$ implements $\theta$. Now, $A_1$ is injective, irreducibly represented on $H\oplus H$, and the dual automorphism $\hat{\theta}\colon a+bv\mapsto a-bv$ is outer and implemented by the unitary operator $u:=1\oplus-1$ on $H\oplus H$. Hence it reduces to Case 1.

No. Take any irreducibly represented simple and injective C*-algebra $A\subset B(H)$ and an outer automorphism $\theta$ of period $2$ (which is easy to find when $A$ is the hyperfinite II_1 factor).

Case 1: The representation is covariant, i.e., $\exists u\in{\mathcal U}(H)$ such that $uau^*=\theta(a)$ for $a\in A$. We may assume $u^2=1$ by irreducibility. Since $\theta$ is outer, $A\rtimes_\theta({\mathbb Z}/2{\mathbb Z})$ is simple by Kishimoto's theorem. Hence, $\mathrm{C}^*(A,u)\cong A\rtimes_\theta({\mathbb Z}/2{\mathbb Z})$ and there is a conditional expectation $\phi\colon\mathrm{C}^*(A,u)\ni a+bu\mapsto a\in A$, $a,b\in A$. The map $\phi$ extends on $B(H)$.

Case 2: The representation is not covariant, in which case there is no nonzero $x\in B(H)$ such that $xa=\theta(a)x$ for all $a\in A$, by Schur's lemma. Consider $A_1:=A\rtimes_\theta({\mathbb Z}/2{\mathbb Z})=\mathrm{C}^*(A,v)$ represented on $H\oplus H$, where $a\in A$ acts by $a\oplus\theta(a)$ and the switching unitary operator $v(\xi\oplus\eta)=\eta\oplus\xi$ implements $\theta$. Now, $A_1$ is injective, irreducibly represented on $H\oplus H$, and the dual automorphism $\hat{\theta}\colon a+bv\mapsto a-bv$ is outer and implemented by the unitary operator $u:=1\oplus-1$ on $H\oplus H$. Hence it reduces to Case 1.

Source Link
Narutaka OZAWA
  • 10.1k
  • 1
  • 42
  • 50

No. Take any irreducibly represented simple and injective C*-algebra $A\subset B(H)$ and an outer automorphism $\theta$ of period $2$ (which is easy to find when $A$ is the hyperfinite II_1 factor).

Case 1: The representation is covariant, i.e., $\exists u\in{\mathcal U}(H)$ such that $uau^*=\theta(a)$ for $a\in A$. We may assume $u^2=1$ by irreducibility. Since $\theta$ is outer, $A\rtimes_\theta({\mathbb Z}/2{\mathbb Z})$ is simple by Kishimoto's theorem. Hence, $\mathrm{C}^*(A,u)\cong A\rtimes_\theta({\mathbb Z}/2{\mathbb Z})$ and there is a conditional expectation $\phi\colon\mathrm{C}^*(A,u)\ni a+bu\mapsto a\in A$, $a,b\in A$. The map $\phi$ extends on $B(H)$.

Case 2: The representation is not covariant. Consider $A_1:=A\rtimes_\theta({\mathbb Z}/2{\mathbb Z})=\mathrm{C}^*(A,v)$ represented on $H\oplus H$, where $a\in A$ acts by $a\oplus\theta(a)$ and the switching unitary operator $v(\xi\oplus\eta)=\eta\oplus\xi$ implements $\theta$. Now, $A_1$ is injective, irreducibly represented on $H\oplus H$, and the dual automorphism $\hat{\theta}\colon a+bv\mapsto a-bv$ is outer and implemented by the unitary operator $u:=1\oplus-1$ on $H\oplus H$. Hence it reduces to Case 1.