Multiplicity-two diagonal representation

By [F1] and [F2], the base is standard Borel. By [F3] and [F4], $\lambda ([0,1])=1$, and $\lambda$ is finite and regular. By [F5], identify $\mathcal{H}$ with $L^2(\lambda )\oplus L^2(\lambda )$. This Hilbert space is nonzero and separable, since the two constant-fibre coordinates are nonzero and the direct integral theorem applies.

By [F14], every operator in ${\mathcal{D}}^{\mathrm{\prime }}$ is induced by an essentially bounded weakly measurable field $T(t)\in \mathcal{B}({\mathbb{C}}^2)$. In the fixed standard basis write $T(t)=\left(\begin{array}{cc}{a}_{11}(t)& a_{12}(t)\\ a_{21}(t)& a_{22}(t)\end{array}\right)$. The four entries are measurable exactly when the field is weakly measurable. Essential boundedness of $\mathrm{\parallel }T(t)\mathrm{\parallel }$ implies that all entries are essentially bounded; conversely, if each of the four entries is essentially bounded, then $\mathrm{\parallel }T(t)\mathrm{\parallel }\le {\sum }_{i,j=1}^2\mathrm{\mid }{a}_{ij}(t)\mathrm{\mid }$ almost everywhere, so the field is essentially bounded. The operator-field action theorem realizes every such matrix field, and the commutant theorem supplies the reverse inclusion. Therefore ${\mathcal{D}}^{\mathrm{\prime }}$ is precisely the essentially bounded measurable $2\times 2$ matrix fields modulo almost-everywhere equality.

On either scalar coordinate, $\mathrm{\parallel }{M}_{t}f{\mathrm{\parallel }}_2\le \mathrm{\parallel }f{\mathrm{\parallel }}_2$. For $f,g\in L^2(\lambda )$, the integral pairing in [F6] gives $⟨M_{t}f,g⟩={\int }_0^{1}tf\bar{g}d\lambda ={\int }_0^{1}f\overline{tg}d\lambda =⟨f,M_{t}g⟩,$ since $t$ is real; hence $M_t$ and its direct sum $S$ are bounded self-adjoint. If $z\mathrm{\notin }[0,1]$, the bounded multiplier $(z-t{)}^{-1}$ on each coordinate is a two-sided bounded inverse of $zI-S$. If $s\in [0,1]$, let $B_n=[0,1]\cap (s-1\mathrm{/}n,s+1\mathrm{/}n)$. By [F8], $\lambda (B_n)>0$ even at the endpoints. The unit vectors $x_n=({\mathbf{1}}_{B_n}\mathrm{/}\sqrt{\lambda (B_n)},0)$ satisfy $\mathrm{\parallel }(S-sI)x_n\mathrm{\parallel }\le 1\mathrm{/}n$, so $sI-S$ cannot have a bounded inverse. Thus $\sigma (S)=[0,1]$ by [F7]. For Borel $B\subseteq [0,1]$ put $E_0(B)(f,g)=({\mathbf{1}}_{B}f,{\mathbf{1}}_{B}g)$. These are orthogonal projections with $E_0(\mathrm{\varnothing })=0$, $E_0([0,1])=I$, and $E_0(B\cap C)=E_0(B)E_0(C)$. For disjoint $B_j$ with union $B$, the squared norm of the difference between $E_0(B)(f,g)$ and the first $N$ projection terms is the integral over $B\setminus {\bigcup }_{j\le N}{B}_j$ of $\mathrm{\mid }f{\mathrm{\mid }}^2+\mathrm{\mid }g{\mathrm{\mid }}^2$, which tends to zero by [F15] and the finite $L^2$ norm. Its scalar measures $E_{0,x}(B)={\int }_B(\mathrm{\mid }f{\mathrm{\mid }}^2+\mathrm{\mid }g{\mathrm{\mid }}^2)d\lambda$ are finite regular Borel measures by [F4], so $E_0$ is a regular PVM. For $x=(f,g)$ and $y=(h,k)$, its complex scalar measure is $E_{0,x,y}(B)={\int }_B(f\bar{h}+g\bar{k})d\lambda$; the bounded PVM integral therefore gives $⟨(\int td{E}_0)x,y⟩={\int }_0^{1}t(f\bar{h}+g\bar{k})d\lambda =⟨Sx,y⟩$. The uniqueness clause in [F7] identifies $E_0$ as the spectral PVM of $S$. The same pairing calculation for bounded Borel $\psi$ gives $\psi (S)=M_{\psi }\oplus M_{\psi }$, in particular $E(B)=M_{{\mathbf{1}}_B}\oplus M_{{\mathbf{1}}_B}$.

The algebra $\mathcal{D}$ is an abelian concrete von Neumann algebra by [F10]. To prove $W^{\ast }(S)=\mathcal{D}$, first note that $S\in \mathcal{D}$ and $\mathcal{D}$ is WOT closed, giving $W^{\ast }(S)\subseteq \mathcal{D}$. For the reverse inclusion fix $f\in L^{\mathrm{\infty }}$ and put $M=\mathrm{\parallel }f{\mathrm{\parallel }}_{\mathrm{\infty }}$. If $M=0$, then $M_f=0\in W^{\ast }(S)$. Otherwise choose a Borel representative with $\mathrm{\mid }f\mathrm{\mid }\le M$ everywhere after changing it on a Borel null set, by [F12]. Apply [F12] separately to $u=\mathrm{Re}f$ and $v=\mathrm{Im}f$ to choose real continuous $u_n,v_n$ with $\mathrm{\parallel }{u}_n-u{\mathrm{\parallel }}_2+\mathrm{\parallel }{v}_n-v{\mathrm{\parallel }}_2<2^{-n}$. Clip each real function to $[-M,M]$; clipping is continuous, does not increase its pointwise error from $u$ or $v$, and makes ${\psi }_n=u_n+i{v}_n$ uniformly bounded by $\sqrt{2}M$. The squared approximation errors have finite sum, so [F15] gives ${\sum }_n\mathrm{\mid }{\psi }_n-f{\mathrm{\mid }}^2<\mathrm{\infty }$ almost everywhere; hence ${\psi }_n\to f$ almost everywhere. Every ${\psi }_n(S)=M_{{\psi }_n}$ lies in $C^{\ast }(I,S)\subseteq W^{\ast }(S)$ by continuous functional calculus. The PVM in step 2.1 has the same null sets as $\lambda$: if $\lambda (B)>0$, then ${\mathbf{1}}_B$ is a nonzero vector in scalar $L^2$ and $E(B)\mathrm{\ne }0$, while the converse is immediate. Thus the uniformly bounded pointwise-convergence clause of [F9] gives $M_{{\psi }_n}\to M_f$ strongly. WOT closedness now implies $M_f\in W^{\ast }(S)$. This proves $\mathcal{D}\subseteq W^{\ast }(S)$ as well, so equality holds. The Borel functional calculus identifies $S$ as the coordinate generator for $\mathcal{D}$.

Put $x_1=(\mathbf{1},0)$ and $x_2=(0,\mathbf{1})$. From the spectral projections in step 2.1, for every Borel $B\subseteq [0,1]$, ${\mu }_j(B)=⟨E(B)x_j,x_j⟩=\lambda (B)(j=1,2)\mathrm{.}$ The explicit weights $a_1=2^{-1}\mathrm{/}(1+\mathrm{\parallel }{x}_1{\mathrm{\parallel }}^2)=1\mathrm{/}4$ and $a_2=2^{-2}\mathrm{/}(1+\mathrm{\parallel }{x}_2{\mathrm{\parallel }}^2)=1\mathrm{/}8$ give the finite nonzero regular common measure $\mu =a_1{\mu }_1+a_2{\mu }_2=(3\mathrm{/}8)\lambda$ by [F4]. Its RN densities are $h_1=h_2=8\mathrm{/}3$, since ${\int }_B(8\mathrm{/}3)d\mu =\lambda (B)$. To verify the multiplicity directly, define $U:L^2(\lambda )\oplus L^2(\lambda )⟶L^2([0,1],\mu ;{\mathbb{C}}^2),U(f,g)=\sqrt{8\mathrm{/}3}(f,g)\mathrm{.}$ It is onto with inverse multiplication by $\sqrt{3\mathrm{/}8}$, and $\mathrm{\parallel }U(f,g){\mathrm{\parallel }}^2={\int }_{[0,1]}(8\mathrm{/}3)(\mathrm{\mid }f{\mathrm{\mid }}^2+\mathrm{\mid }g{\mathrm{\mid }}^2)d\mu =\mathrm{\parallel }f{\mathrm{\parallel }}_2^2+\mathrm{\parallel }g{\mathrm{\parallel }}_2^2\mathrm{.}$ It intertwines $S$ with the coordinate multiplier $M_t$. This is a spectral model over the finite nonzero measure $\mu$ with constant two-dimensional fibres, so its multiplicity is $2$; the uniqueness clause of [F13] identifies the multiplicity function as $m(t)=2$ almost everywhere. The two densities are positive everywhere, agreeing with the same active-coordinate count.

The vectors $x_1,x_2$ from step 3.2 are unit vectors by [F3]. By step 3.1, each continuous multiplier $\phi (S)=M_{\phi }$ lies in $W^{\ast }(S)=\mathcal{D}$ and sends $x_j$ to the corresponding coordinate copy of $\phi \in C([0,1];\mathbb{C})$. Thus the cyclic subspace generated by $x_j$ contains that copy. By [F12], $C([0,1];\mathbb{C})$ is dense in complex $L^2(\lambda )$, since its real and imaginary parts are separately approximated in real $L^2$. Hence each $x_j$ is cyclic, and the two orthogonal reducing summands exhaust $\mathcal{H}$.

The constant fields $E_{12}$ and $E_{21}$ belong to ${\mathcal{D}}^{\mathrm{\prime }}$ because scalar matrices commute pointwise with every $f(t)I_2$. Their products are $E_{12}{E}_{21}=E_{11}$ and $E_{21}{E}_{12}=E_{22}$; these differ, since on $x_1$ the first acts as the identity and the second acts as zero. Thus ${\mathcal{D}}^{\mathrm{\prime }}$ is nonabelian and strictly larger than the abelian algebra $\mathcal{D}$.

Steps 1.1, 2.1, and 3.1 identify the base, coordinate generator, and its diagonal von Neumann algebra; steps 3.2 and 4.1 compute the two cyclic scalar measures and multiplicity; steps 1.2 and 4.2 identify the commutant and exhibit its noncommutativity. [step 1.1, step 1.2, step 2.1, step 3.1, step 3.2, step 4.1, step 4.2] $\mathrm{\square }$