automorphisms of C*-algebras and partial isometries

Question

Let $A$ be a $C^*$-algebra, let $p$ and $q$ be Murray-von Neumann equivalent projections in $A$, i.e. there is a partial isometry $v$ such that $v^*v = p$ and $vv^* = q$. Suppose $\alpha \in Aut(A)$ is an automorphism of $A$, such that $\alpha(p) = p$ and $\alpha(q) = q$.

Under what condition is it true that $\alpha$ fixes $v$ as well?

For example, if we assume that $\lVert p - q \rVert < 1$, then $p$ and $q$ are Murray-von Neumann equivalent via a partial isometry explicitly constructed from $p$ and $q$ only - using continuous functional calculus. Thus, $\alpha$ fixes $v$ as well in this case.

If it helps, you may assume $A$ to be a unital Kirchberg algebra.

Answer 1

This isn't really an answer to the question, but I thought I'd add a simple-minded example demonstrating how things can break down.

Let $A$ be the full algebra of bounded operators on the Hilbert space $L^2(\mathbb{T})$. Let $u \in A$ be multiplication by $z \mapsto z$. Let $\alpha \in \mathrm{Aut}(A)$ be conjugation by $u$. The fixed subalgebra is all elements commuting with $u$. But, $u$ generates all of $C(\mathbb{T})$ and the commutant of $C(\mathbb{T})$ in $A$ is $L^\infty(\mathbb{T})$. Certainly there are plenty of pairs of projections in $L^\infty(\mathbb{T})$ that are MvN equivalent in $A$. But, only trivial equivalences are possible the (commutative) fixed subalgebra.

Answer 2

I don't think you'll be able to prove that $v$ itself is fixed in general, even if $p$ and $q$ are MvN equivalent in $A^\alpha$: you could perturb a fixed partial isometry to get another partial isometry from $p$ to $q$ that is no longer fixed.

It seems like you are asking for sufficient (and necessary?) conditions for the inclusion $A^\alpha\hookrightarrow A$ to induce an injective map $K_0(A^\alpha)\to K_0(A)$. The naive thing to do is to simply average the partial isometry $v$ to get something that is fixed and almost a partial isometry with the right source and range projections, and then use functional calculus in the fixed point algebra. However, this does not in general work since you don't in general get an approximate partial isometry (even if the group is compact, in which case you can take the conditional expectation).

In some cases you will get this conclusion for trivial reasons. For example, if $\alpha$ is a pointwise outer automorphism of $\mathcal{O}_2$, then $\mathcal{O}_2 \rtimes_\alpha \mathbb{Z}$ has trivial $K$-theory by the Pimsner-Voiculescu exact sequence, and this crossed product is moreover Morita equivalent to the fixed point algebra. In this case you get that $K_0(A^\alpha)\to K_0(A)$ is injective (and even an isomorphism!) because both $K$-groups are trivial. If you look at non-pointwise outer automorphisms of $\mathcal{O}_2$ (specifically, of finite order), than the examples that Gabor mentioned show that this can fail for non-pointwise outer automorphisms.

If you're working (or willing to work) with automorphisms on Kirchberg algebras of finite order (equivalently, actions of $\mathbb{Z}_n$), then pointwise outerness will of course not be enough, and the condition you need is probably the Rokhlin property (though this may be overkill). If $\alpha\colon \mathbb{Z}_n\to \mbox{Aut}(A)$ is an action with the Rokhlin property on any unital $C^*$-algebra (Kirchberg or not), then $A^\alpha\hookrightarrow A$ induces an injective map $K_\ast(A^\alpha)\to K_\ast(A)$ (you also get this for $K_1$).

There is also a definition of the Rokhlin property for automorphisms ($\mathbb{Z}$-actions), but I don't know if you get the same conclusion in this case. In the case of Kirchberg algebras, the Rokhlin property for an automorphism is equivalent to it being pointwise outer.