6
$\begingroup$

Let $V$ be an operator System in $B(H)$. By Hamana and Ruan theorems, there is an injective envelope $I(V)$ which is minimal injective subspace of $B(H)$ contains $V$. Thus there is a completely contractive onto projection $\varphi: B(H) \to I(V)$.

By Choi-Effross Theorem, $I(V)$ is a $C^{\star}$-algebra by the new product $T \circ_{\varphi} S=\varphi(TS)$ for each $T, S \in I(V)$.

The enveloping $C^\star$-algebra $C^\star_e(V)$ of $V$ is the $C^*$-subalgebra of $I(V)$ generated by $V$.

$C^\star_e(V)$ has the following property: Suppose that $\psi : V \to A$ is any unital completely isometric map such that $A$ is generated by $\psi(V )$ as a $C^{\star}$-algebra. Then there exists a unique $^\star$-homomorphism $\pi: A → C^*_e(V)$ such that $\pi\circ \psi = id_V$.

Question: Let $V \subseteq B(H)$ be an operator system and $U \in U(H)$ such that $UVU^{\star}=V$. What about $UC^{\star}_e(V)U^{\star}=C^{\star}_e(V)$ or $UC^{\star}_e(V)U^{\star}\subseteq I(V)$ ?

$\endgroup$
2
  • $\begingroup$ Are you asking if the $U$ conjugation of $C^*_e(V)$ is an isomorphism? Doesn't it follow from the functoriality of the construction? $\endgroup$
    – Uri Bader
    Aug 14, 2016 at 11:21
  • $\begingroup$ @UriBader C$^*_e(V)$ here is only an operator system when acted on by $U$ in $B(H)$ since its multiplication is coming from $I(V)$. I suspect that there is a negative answer to the question but nothing comes to mind at the moment. $\endgroup$ Aug 14, 2016 at 23:46

1 Answer 1

1
$\begingroup$

Since $C^*_e(V) \subseteq V''$ and $U \in V' = (V'')'$, doesn't this follow automatically? The nontrivial question here is whether $U \in I(V)'$, which implies that $C^*_e(V)$ has a weak expectation.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.