# Central disintegration and measurable matrix assembly *AI-generated exposition by OpenAI GPT models. CC0-1.0 to the extent of rights held.* Finite-dimensional approximation is the goal. We assemble bounded matrix models from countably many measurable candidate tuples, repair them inside central pieces, and retain finitely many pieces with a controlled trace tail. We then construct the countable candidates, establish the required factor models by stabilization, and build the central tracial field from its Gram data. Throughout this lesson \(M\) is finite with separable predual and faithful normal tracial state \(\tau\). Write \(Z=Z(M)\), and let \(T:M\to Z\) be its normalized faithful normal center-valued trace. Thus \(\tau=\tau|_Z\circ T\). We use the selected trace and projection inputs of [Hypertraces and finite injectivity](hypertraces-finite-injectivity.md), the [properly infinite theorem](properly-infinite-injective-algebras-and-dyadic-approximation.md#theorem-4-2), the [finite injective-factor theorem](unitary-couplings-and-finite-injective-factors.md#theorem-5-1), and [Gram repair](repairing-small-matrix-corners.md#theorem-2-1). The full field constructions used here are [Countably generated measurable fields and their algebras](../components/countable-measurable-fields.md), MF1–9. They construct a measurable field from countable Gram data, its Hilbert direct integral and localization, measurable operator fields and the diagonal commutant. Compact metric selections for the supported operator commutant give the countable generators needed for the algebra, center and fixed-base uniqueness formulas. MF9 proves the tensor-field identity. The base here is a probability space, and all Hilbert fibers are separable. Our inner products are linear in the second variable. We use the complete Gelfand, GNS, bounded spectral calculus and bounded-density arguments in the operator foundations, and the [compact-metric measure representation](../components/compact-rmk-from-function-covers.md). The latter includes its scalar integration and regularity inputs. The central field, the norm separable algebra \(A\), and the fiber traces used in the assembly proof are constructed in Theorem 1.1 below. Lemma 2.1 supplies full matrix models in almost every fiber. The countable contraction and projection candidates are constructed after Theorem 3.2. All three inputs are proved in full. ## Assembling finite matrix models **Theorem 3.2.** Every finite injective von Neumann algebra with separable predual is locally AFD. **Proof.** Use the central field of Theorem 1.1, the matrix models of Lemma 2.1, and the countable candidates proved below. Fix contractions \(a_1,\ldots,a_r\in M\) and \(0<\varepsilon<1\). Put \(\kappa=\varepsilon/4\). For each \(m\ge1\), choose a positive rational \(b(m)\) small enough for Gram repair with \(B=1\), and such that \[ 4m^2D_m(b(m))<\varepsilon/4. \tag{10} \] **An explicit Gram budget.** Use the modulus supplied by the complete [simultaneous Gram-normalization proof](repairing-small-matrix-corners.md#simultaneous-gram-normalization). For the fixed \(0<\varepsilon<1\) and every integer \(m\ge1\), choose a positive rational number with \[ 0 ### Countable candidates and spectral rounding **Lemma 3.1.** If \(0\le a\le1\), \(p\) is a projection, and \(q=1_{[1/2,1]}(a)\), then \[ \|q-p\|_2\le2\|a-p\|_2. \tag{8} \] Consequently, for a contraction \(b\), \[ \left\|1_{[1/2,1]}(b^*b)-p\right\|_2\le4\|b-p\|_2. \tag{9} \] **Proof.** Spectral calculus on \(1-q\) and \(q\) gives \[ \|(1-q)p\|_2\le2\|(a-p)p\|_2,\qquad \|q(1-p)\|_2\le2\|(a-p)(1-p)\|_2. \] The square of \(\|q-p\|_2\) is the sum of the two left squares. The two right squares add to \(4\|a-p\|_2^2\), by tracial orthogonality. For (9), write \(b^*b-p=b^*(b-p)+(b^*-p)p\) and use contraction bounds. \(\square\) Choose a countable norm dense set of contractions \(b_j\) in \(A\), and put \(f_j=1_{[1/2,1]}(b_j^*b_j)\in M\). For every good fiber, the \(b_j(y)\) are \(2\)-norm dense in the unit ball of \(M_y\). Indeed the quotient norm on \(\lambda_y(A)\) permits lifts with norm arbitrarily close to one; rescaling these lifts and using Kaplansky density proves the assertion. Formula (9) then gives a countable family \(f_j(y)\) that approximates all fiber projections. Spectral rounding is compatible with these decomposable representatives. For \(h=b_j^*b_j\), take continuous functions \[ g_n(t)=\min\{1,\max\{0,1+n(t-1/2)\}\},\qquad 0\le t\le1. \] They are bounded by one and converge pointwise to \(1_{[1/2,1]}\). Continuous functional calculus, using uniform polynomial approximation, makes \(g_n(h(y))\) a measurable operator field and gives \(g_n(h)=\int^\oplus g_n(h(y))\). The spectral theorem gives strong convergence in every fiber to \(q_j(y)=1_{[1/2,1]}(h(y))\). The measurable-operator testing criterion and closure of measurable sections under pointwise norm limits show that \(q_j\) is measurable. Dominated convergence on each square-integrable section identifies its integral with the strong limit \(1_{[1/2,1]}(h)=f_j\). Uniqueness of decomposable operator representatives therefore permits the choice \(f_j(y)=q_j(y)\); the countably many choices fit one conull set. ## Full matrix models in the factor fibers **Lemma 2.1.** If \(M\) is injective, almost every factor \(M_y\) in (1) is either \(M_n(\mathbb C)\) for a finite \(n\), or the tracial infinite product \(R\). **Proof.** The algebra \(N=M\bar\otimes B(\ell^2)\) is injective, properly infinite and has separable predual. We give the permanence details. In a faithful normal representation of \(M\) on \(H\), let \(E:B(H)\to M\) be a ucp retraction, using the full retraction criterion. For \(x\in B(H\otimes\ell^2)\), apply \(E\) to every matrix entry of \(x\). Complete positivity and contractivity on each finite matrix corner bound the resulting form on finitely supported vectors by \(\|x\|\), so it defines a bounded operator \(E_\infty(x)\). Testing positive matrices on finitely supported vectors proves complete positivity at every matrix size. The diagonal entries of \(E_\infty(1)\) are one and the others zero. An operator on \(H\otimes\ell^2\) belongs to \(M\bar\otimes B(\ell^2)\) exactly when all its entries belong to \(M\). One direction follows by commuting with \(M'\otimes1\) and testing entries; the other follows because the finite block compressions lie in \(M\otimes M_n\) and converge strongly to the operator. Hence \(E_\infty\) takes values in \(N\) and fixes \(N\). It is a ucp retraction, proving injectivity of \(N\); no normality of \(E\) was assumed. The two coordinate isometries onto the even and odd basis vectors exhibit proper infiniteness. Separable predual of \(M\) gives a separable faithful tracial GNS space, so \(N\) has a faithful normal representation on the separable space \(H\otimes\ell^2\). The normal-functional quotient of the completed Hilbert projective tensor product, proved in CP1–6, gives separable predual of \(N\): finite rational combinations of pairs from a countable Hilbert-dense set are dense in that tensor product, and their quotient images remain dense. The proved properly infinite theorem gives increasing unital dyadic matrix algebras \(Q_k\), with \((\bigcup_k Q_k)''=N\). Tensoring the Hilbert field with \(\ell^2\) and adjoining the constant matrix units gives \[ N=\int_Y^\oplus\bigl(M_y\bar\otimes B(\ell^2)\bigr)\,d\mu(y). \tag{6} \] This identity also follows directly from the countable-generator theorem: both sides are generated by the fields from \(A\), the constant matrix units and the diagonal algebra. Choose decomposable representatives for all matrix units of all \(Q_k\). Their countably many identities and inclusions hold off one null set. At each remaining point, \(Q_k(y)\) is a unital copy of its full matrix algebra. The integral of the field generated by their union is \(N\): apply the generator theorem, noting that adjoining its diagonal algebra still gives \(N\). Field uniqueness now gives \[ \left(\bigcup_kQ_k(y)\right)''=M_y\bar\otimes B(\ell^2) \quad\text{almost everywhere}. \tag{7} \] The full [directed AFD-to-injectivity proof](central-traces-and-afd-finite-algebras.md#theorem-4-1) makes these stabilized fibers injective. It averages onto the finite-algebra commutants and then uses the standard-form commutant; it does not presume that a possibly nonnormal limit fixes a strongly dense subalgebra's closure. Corner permanence follows directly from the retraction criterion: for a projection \(p\) and a ucp retraction \(F:B(K)\to L\), the map \(b\mapsto pF(b)p\) on \(B(pK)\), with \(b\) extended by zero on \(p^\perp K\), is a ucp retraction onto \(pLp\). Its unit value is \(p\), and it fixes the corner. Compress by \(1\otimes e_{11}\), taking \(p=1\otimes e_{11}\) in this retraction, to obtain injectivity of \(M_y\). Each \(H_y\) is separable and each \(\tau_y\) faithful, so \(M_y\) has separable predual by the same normal-functional quotient. A finite factor is either a finite matrix algebra or type \(\mathrm{II}_1\); in the latter case the finite injective-factor theorem identifies it with \(R\). Thus every finite list in \(M_y\) has tracial approximants in a unital full matrix subalgebra. \(\square\) ## Building the central tracial field **Theorem 1.1.** There are a compact metrizable probability space \((Y,\mu)\), a measurable field of separable Hilbert spaces \(H_y\), and finite factors \(M_y\subset B(H_y)\) with faithful normal tracial states \(\tau_y\), such that \[ L^2(M,\tau)\cong\int_Y^\oplus H_y\,d\mu(y),\qquad M\cong\int_Y^\oplus M_y\,d\mu(y),\qquad Z\cong L^\infty(Y,\mu). \tag{1} \] For each fixed \(x\in M\), with a decomposable representative \(x(y)\), \[ \tau(x)=\int_Y\tau_y(x(y))\,d\mu(y). \tag{2} \] **Proof.** Choose countably many self-adjoint central contractions generating \(Z\), and put \(C=C^*(1,z_1,z_2,\ldots)\). Separability of the predual supplies such a sequence: choose a countable weak* dense subset of the central unit ball and take real and imaginary parts. Gelfand representation gives \(C=C(Y)\) for compact metrizable \(Y\). To see metrization explicitly, send a character to its values on the \(z_j\). These lie in \([-1,1]\) and determine the character on the dense polynomial algebra, hence on \(C\). This is a continuous injection from the compact character space into the Hausdorff countable cube, so is a homeomorphism onto its image. The metric \(\sum_j2^{-j}|s_j-t_j|\) induces the product topology on that cube. The state \(\alpha=\tau|_Z\) gives a probability measure \(\mu\). In its faithful normal GNS representation, the strong closure of \(C(Y)\) is \(L^\infty(Y,\mu)\); this identifies \(Z\) with that algebra. Here is the scalar density step. Regularity approximates each measurable set by a compact subset and an open superset with arbitrarily small difference in measure. The compact metric separator between them is a continuous function between zero and one. These functions approximate the indicator in \(L^2(\mu)\). Their uniform bound gives strong convergence as multiplication operators, first on bounded functions and then on all of \(L^2(\mu)\). Indicators and uniform simple approximation consequently give all bounded measurable multipliers. Conversely those multipliers form a von Neumann algebra by MF4 on the constant one-dimensional field. Choose a norm separable unital C* algebra \(A\subset M\), containing \(C\), with \(A''=M\). A countable weak* dense set in the unit ball of \(M\) gives the required generators. Let \(A_0\) be the countable algebra over \(\mathbb Q+i\mathbb Q\) generated by these generators and a countable dense subalgebra \(C_0\subset C\). Choose measurable representatives for the countably many functions \(T(a^*b)\), \(a,b\in A_0\). Their linearity, positivity, trace identities and inequalities \[ T(b^*a^*ab)\le\|a\|^2T(b^*b) \tag{3} \] hold simultaneously off one null set: positivity is tested on countably many rational linear combinations. Include \(T(ca)=cT(a)\), \(c\in C_0\), in these simultaneous identities. Define \[ \langle[a],[b]\rangle_y=T(a^*b)(y). \tag{4} \] Quotient by its null space and complete to \(H_y\). Left multiplication \(\lambda_y(a)[b]=[ab]\) is bounded by \(\|a\|\), by (3). Right multiplication \(\rho_y(a)[b]=[ba]\) has the same bound by the trace identity. Both extend continuously from \(A_0\) to \(A\), with the usual adjoints, and commute. The sections \([a]\) have measurable Gram functions and are total, so the measurable-field generation theorem applies. Its operator testing criterion makes the \(\lambda_y(a)\) measurable. Put \(\xi_y=[1]\), \(M_y=\lambda_y(A)''\). The vector \(\xi_y\) has norm one and is cyclic for both actions. It is therefore separating for \(M_y\): if \(x\xi_y=0\), then \(x\rho_y(a)\xi_y=0\) for every \(a\), hence \(x=0\). The vector state \(\tau_y\) is normal and faithful. It is tracial on \(\lambda_y(A)\) by construction, and on \(M_y\) by bounded strong* approximation and normality. More explicitly, approximate each of two bounded operators in \(M_y\) strongly* by bounded elements of \(\lambda_y(A)\); their products converge strongly, so the two trace pairings agree in the limit. Thus \(M_y\) is finite. Equation (4) and \(\tau=\alpha T\) make \[ U:[a]\longmapsto(y\longmapsto[a]_y) \tag{5} \] an isometry from \(L^2(M,\tau)\) into the direct integral. It is onto. The range contains \(c(y)[a]_y\) for \(c\in C(Y)\), since multiplication by \(c\) agrees with central multiplication. The bounded fundamental sections satisfy \(\|[a]_y\|\le\|a\|\). Density of continuous functions in scalar \(L^2\) therefore gives \(1_E[a]_y\) in the closed range for every measurable \(E\). These sections span a dense subspace of the direct integral by the localization theorem. The unitary \(U\) intertwines left multiplication by \(A\) with its decomposable fields. It intertwines \(Z\) with all diagonal multipliers. The countable-generator theorem gives \(UMU^*=\int^\oplus M_y\). Its center is \(UZU^*\), the diagonal algebra, so the direct-integral center theorem says that \(M_y\) is a factor almost everywhere. Formula (2) follows from the vector \(\xi=(\xi_y)\). All exceptional sets here concern countably many construction identities, followed by any fixed finite family of operators under consideration. We do not assert evaluation of every element of \(M\) on one universal conull set. \(\square\) If the statement is read as assigning finite factors at every point of the compact base, replace the Hilbert space and algebra on the exceptional measurable null set by \(\mathbb C\) and \(\mathbb C1\), with their usual trace. Such a null-set replacement changes neither direct integral nor any of the displayed integral identities. All countable construction identities remain asserted on the common conull set. ## 4. Exercises with complete solutions ### Candidates, Gram repair and central tails **Exercise 6.** Check (8) when \(a\) and \(p\) do not commute. *Solution.* On \(1-q\), the operator \(1-a\) is bounded below by \(1/2\); hence \(\|(1-q)p\|_2\le2\|(1-q)(1-a)p\|_2\le2\|(a-p)p\|_2\). On \(q\), \(a\ge1/2\) gives the other estimate. Trace cyclicity identifies \(\|q-p\|_2^2=\|(1-q)p\|_2^2+\|q(1-p)\|_2^2\). Right multiplication by \(p\) and \(1-p\) decomposes \(\|a-p\|_2^2\) into orthogonal squares. No commutation with \(p\) is used. **Exercise 7.** Why are rational contraction matrices dense in the closed matrix unit ball? *Solution.* Given a contraction \(C\) and \(\delta>0\), put \(\eta=\min\{\delta,1\}\) and first replace it by \((1-\eta/2)C\). Approximate its finitely many entries by Gaussian rationals so the operator norm error is below \(\eta/2\). The resulting matrix has norm at most one and distance below \(\eta\le\delta\) from \(C\). The smaller positive budget ensures that the scalar contraction stays between zero and one for every original tolerance \(\delta>0\). **Exercise 8.** Describe the first-qualifying selection sets explicitly. *Solution.* If \(B_t\) is the measurable set where tuple \(t\) satisfies (11), put \(E_t=B_t\setminus\bigcup_{s