1
$\begingroup$

I've come across a little obstacle and was wondering if anyone could provide a hint/suggestion/help to the following.

First of all, let $\omega$ be some fixed free ultrafilter on $\mathbb{N}$. Let $Q$ be the universal UHF-algebra and $Q_\omega$ be its ultrapower. Let $\tau_\omega$ be the unique trace on $Q_\omega$ and suppose $p$ is some projection in $Q_\omega$ such that $\tau_\omega(p)>0$. Then there exists an integer $k$ and injective $\ast$-homomorphism $\pi \colon Q_\omega \rightarrow p Q_\omega p \otimes \mathbb{M}_k$ fulfilling $\pi(pap)=pap \otimes e_{11}$ with $e_{11}$ being the $(1,1)$'th unit matrix.

So far I have managed to produce $\pi$ in the case where $\tau_\omega(p)m=1$ for some positive integer $m$. Is there any way to reduce the proof to this case?

Thanks in advance.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.