Are there simple, perhaps concrete and/or constructive examples of type III von Neumann algebra factors? By simple I mean a subset of a matrix space or of the operators of a function space. We know the hyperfinite II$_1$ factor can be represented as matrices in a very concrete and didactic way. I wonder if the type III factors could be presented as easily. If not, what are the easiest ways to illustrate the type III factors?

The main concern for me is to be able to picture the projections in those algebras, hopefully in an explicit way.

Further, could those examples be eventually extended to illustrate all $\lambda$ classes of III$_{\lambda}$ factors?

Thanks in advance for all the answers or for references pointing me to the right track.


Having spent many hours of my life thinking and learning about II$_1$ factors, I strongly think that the premise of the question is misguided. You say that the hyperfinite II$_1$ factor "can be represented as matrices in a very concrete and didactic way". While that's definitely not true, I assume that what you mean is that the hyperfinite II$_1$-factor can be seen as the sot-closure of UHF$(2^\infty)$ (that is, the C$^*$-algebra generated by the unital inclusions $M_{2^n}(\mathbb C)\subset M_{2^{n+1}}(\mathbb C) )$. The sot-closure in this situation is taken in the GNS representation of the trace.

The reason I say that above is "misguided", is that now you could take the same "matricial" C$^*$-algebra UHF$(2^\infty)$ but now consider, instead of the trace, the state induced by the weighted traces $$ \psi(A)=\sum_{j=1}^{2^n}\frac{\alpha_j A_{jj}}{(1+\lambda)^n}\qquad A\in M_{2^n}(\mathbb C) $$ where $\lambda\in(0,1)$ is fixed and the $\alpha_j$ are $1,\lambda,\ldots,\lambda^n$ in a certain order and with adequate repetitions (so that they give you precisely the terms in the expansion of $(1+\lambda)^n$; this is usually defined in a different way, but it is easy to see who the $\alpha_j$ need to be). If you do GNS for this state, on the same "matricial" C$^*$-algebra UHF$(2^\infty)$ as before, now you get a type $\text{III}_\lambda$ AFD factor. These are the Powers' Factors.

I'm not entirely sure what you mean by "subset of a matrix space" but type II and III von Neumann algebras cannot be finite-dimensional, as they don't have minimal projections.

You seem to looking for "explicit" presentations of von Neumann algebras. Not going to happen. Even in the hyperfinite II$_1$-factor case, the number of projections that can be seen explicitly in any sense from the above picture is minimal. And even then, very often it is more convenient to see the hyperfinite II$_1$-factor under other presentations; typically, you take an appropriate group $G$ (ICC, and such that it is an incresing union of finite subgroups) and you get the hyperfinite II$_1$-factor as the sot-closure of the span of the image of $G$ under the left regular representation. In this picture, which as I say is often more useful than the matricial one, not a single projection can be written explicitly. Similarly when you construct your factor as a crossed product of a certain $L^\infty(X)$ and a group action on $X$.

The situation I describe above is just much worse in type III factors. In a type III factor any two nonzero projections are equivalent. So if you want to look at the "concrete" picture you have in UHF$(2^\infty)$, you have for example that the two projections $$ \begin{bmatrix} 1&0&0&0\\ 0&0&0&0\\0&0&0&0\\0&0&0&0\end{bmatrix} ,\qquad \begin{bmatrix} 1&0&0&0\\ 0&1&0&0\\0&0&1&0\\0&0&0&1\end{bmatrix} $$ are equivalent in the type III$_\lambda$ factor. You clearly won't get much mileage of having an "explicit" expression for those projections.