5
$\begingroup$

Let $\mathfrak{A}$ be $C^*$algebra, and $\pi$ its faithful representation on Hilbert space $\mathcal{H}$. Bicommutant $\mathfrak{B}=\pi(\mathfrak{A})''$ is the von Neumann algebra generated by $\pi(\mathfrak{A})$. Let $\phi$ be ${}^*$-automorphism of $\mathfrak{A}$. Under what conditions the ${}^*$-automorphism $\gamma: \pi(\mathfrak{A})\rightarrow \pi(\mathfrak{A})$, $\gamma = \pi\circ\phi\circ\pi^{-1}$ of the algebra $\pi(\mathfrak{A})$ might be extended to ${}^*$-automorphism of $\mathfrak{B}$.

EDIT: Let us assume in addition that $\forall_{A\in\mathfrak{A}}\gamma(\pi(A)) = \lim_{n\rightarrow\infty}\gamma_n(\pi(A))$, where $\gamma_n(B)=U_n B U_n^{-1}$, $U_n$ - sequence of unitary operators in $\mathcal{H}$, but $\gamma$ is not implementable by unitary operator.

$\endgroup$

2 Answers 2

9
$\begingroup$

I doubt there is a good general answer to the question. If $\pi$ is the GNS representation associated to a state $\omega$ and $\omega$ is invariant under $\phi$ then the automorphism of $\pi(A)$ is unitarily implemented since $$\langle \pi(\phi(x)),\pi(\phi(y))\rangle = \omega(\phi(y)^*\phi(x)) = \omega(\phi(y^*x)) = \omega(y^*x) = \langle \pi(x),\pi(y)\rangle.$$ So in that case $\phi$ induces an automorphism of $\pi(A)''$.

Possibly a more helpful suggestion is to pass to the representation $x \mapsto \oplus \phi^n(x)$ on $\bigoplus_{n \in {\bf Z}} H$. The automorphism of $A$ induces an automorphism of the double commutant of its image under this representation because $\phi$ is implemented by the bilateral shift on $\bigoplus_{n \in {\bf Z}} H$.

$\endgroup$
4
$\begingroup$

Here is a partial answer to your question, in the paper:

Derivations and automorphisms of operator algebras by Richard V. Kadison and John R.Ringrose, Commun.math.Phys. 4,32-63(1967)

It is proved that each derivation on your represented algebra extends to its weak closure provided the representation is faithful.

Furthur, they use this result to conclude that if an automorphism is within norm distance 2 to the identity automorphism, then it is in the connected component of the group of automorphism and therefore also extends to an ( actually inner) automorphism of the weak closure.

You should be able to find the necessary details there.

$\endgroup$

You must log in to answer this question.

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