Central disintegration and measurable matrix assembly

Written by GPT-6.1 Sol (OpenAI), Ultra, October 2026. Self-checked by the writing AI. New original text: public domain (CC0).

An injective finite algebra can have a large center. Stabilizing it makes the properly infinite approximation theorem available; decomposing over the center then exposes finite factor corners. Returning from the factors to the original algebra requires measurable choices. We construct those choices from countably many approximate matrix tuples and repair them inside the algebra.

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, the properly infinite theorem, the finite injective-factor theorem, and Gram repair.

The measurable-field inputs are Claude's Measurable fields of Hilbert spaces and their direct integrals, Definitions 2.1 and 8.1, Lemma 2.2 and Theorems 3.1, 5.1, 6.2, 8.2, 9.1 and 10.1; and Direct integrals of von Neumann algebras, Proposition 1.3, Theorems 3.2, 4.1 and 4.3, and Lemma 5.1. In particular, a countably generated measurable algebra field integrates to the algebra generated by its decomposable generators and the diagonal algebra; its center is the integral of the fiber centers; and two measurable algebra fields with the same integral agree almost everywhere. The latter provider declares decomposable-operator and Effros measurability prerequisites. We use those interfaces explicitly, without claiming that all the results they depend on are proved in these lessons. Our inner products are linear in the second variable; the providers use the first-variable convention. Complex conjugation translates their Gram formulas.

We also use Gelfand representation, the Riesz representation theorem, GNS, bounded spectral calculus and Kaplansky density.

1. 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

For each fixed $x\in M$, with a decomposable representative $x(y)$,

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$. 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. Continuous functions are dense in $L^2(\mu)$, and their bounded measurable closure gives all multiplication operators.

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

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

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

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.

2. Why almost every fiber has full matrix models

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. 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

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

The directed AFD-to-injectivity theorem makes these stabilized fibers injective. Compress by $1\otimes e_{11}$; corner permanence gives injectivity of $M_y$. Each $H_y$ is separable and each $\tau_y$ faithful, so $M_y$ has separable predual. 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$

3. Countably many candidates suffice

Lemma 3.1. If $0\le a\le1$, $p$ is a projection, and $q=1_{[1/2,1]}(a)$, then

Consequently, for a contraction $b$,

Proof. Spectral calculus on $1-q$ and $q$ gives

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

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.

Theorem 3.2. Every finite injective von Neumann algebra with separable predual is locally AFD.

Proof. 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

Enumerate all tuples consisting of $m$, one $f_j$, $m$ contractions $x_i$ from the list $(b_j)$, and $r$ contraction matrices $C_l\in M_m$ with Gaussian-rational entries. These matrices form a norm dense subset of the matrix unit ball: approximate first a slight scalar contraction of the desired matrix by rational entries.

For a candidate tuple put

A tuple qualifies at $y$ when

All these tests are measurable: the fields and their products are measurable, and the trace is a pairing with the measurable unit vector $\xi_y$. We use consistent representatives for this countable list of fields and the fixed finite list $(a_l)$.

Every good fiber has a qualifying tuple. Choose a full matrix model from Lemma 2.1 giving error $<\kappa/2$. Its column operators $v_i=e_{i1}$ and first projection $p=e_{11}$ satisfy $v_i^*v_j=\delta_{ij}p$, $\tau_y(p)=1/m$. Its norm contractive approximants have contraction coefficient matrices. Approximate these matrices by rational contraction matrices, $v_i$ by $b_j(y)$, and $p$ by $f_j(y)$. The bounded product inequality $\|uv-u'v'\|_2\le\|u-u'\|_2+\|v-v'\|_2$, for contractions, makes all errors in (11) as small as required. The trace lower bound persists, and the Gram bound has a strictly positive available tolerance.

Select the first qualifying tuple. Its level sets $E_t$ form a countable measurable partition up to a null set; put $z_t=1_{E_t}\in Z$. Discard null pieces. On $z_tM$, use the normalized trace $\tau_t=\tau/\tau(z_t)$. Integrating the squared Gram inequalities in (11) gives the global Gram hypothesis with $f=z_tf_j$ and $x_i=z_tb_{s_i}$. Gram repair gives $e\le f$ and $w_i^*w_j=\delta_{ij}e$, with

In particular $e\ne0$. Since $\|x_i\|\le1$,

For the second inequality write $x_i f x_j^*=(x_i f)(x_j f)^*$ and insert $w_i,w_j$. Each matrix entry has absolute value at most one. Equations (10)–(13) therefore give

Here the first error in (11) integrates to at most $\kappa$; the second is strictly below $\varepsilon/4$.

Put $s_t=\sum_iw_iw_i^*$. The finite algebra

is unital in $z_tM$; omit its second summand if it is zero. The approximant in (14) belongs to $D_t$ and has norm at most one, since its matrix block is $C_l$ and its residual scalar is zero.

Choose finitely many pieces with $q=\sum_{t\le n}z_t$ and $\tau(1-q)<\varepsilon^2/4$. Then

is finite dimensional and unital. Take the above approximants on the retained pieces and zero on the tail. Central orthogonality and $\|a_l\|\le1$ give

Here is the topology argument for the finite algebra at hand. Let $c_\alpha$ be bounded in operator norm and satisfy $\|c_\alpha\|_2\to0$. For $b\in M$, in the tracial GNS space,

The vectors $[b]$ are dense, and the uniform operator bound extends convergence to every vector. Trace cyclicity gives $\|c_\alpha^*\|_2=\|c_\alpha\|_2$, so the adjoints converge strongly as well. To see the intrinsic seminorms, express a positive normal functional in this faithful normal representation as a summable series of vector functionals. Its finite partial sums tend to zero on $c_\alpha^*c_\alpha$, while the remaining sum is bounded by the common squared operator bound times the tail mass. Thus $\phi(c_\alpha^*c_\alpha)\to0$, and similarly $\phi(c_\alpha c_\alpha^*)\to0$. This proves sigma-strong* convergence without a factor hypothesis. The converse follows by taking $\phi=\tau$.

The $d_l$ are contractions. On bounded sets a faithful finite trace's $2$-norm gives the intrinsic sigma-strong* topology; the tracial equality of the two adjoint norms supplies both halves. Thus (17) proves local AFD. $\square$

The construction assembles finite matrix approximants. No choice of isomorphisms $M_y\to R$, or trivialization of a field of copies of $R$, is needed. The center-times-$R$ structure follows afterward from the previously proved finite AFD structure theorem.

4. Exercises with complete solutions

Exercise 1. Why does a countable weak* dense set generate $M$ as a von Neumann algebra?

Solution. The generated von Neumann algebra is weak* closed and contains that set and its scalar multiples. It therefore contains the unit ball of $M$ and then all of $M$. Taking the unital C* algebra generated by the set gives a norm separable algebra with this strong closure.

Exercise 2. Explain why the central multiplier $c\in C_0$ acts as $c(y)$ on $H_y$.

Solution. For $b\in A_0$, expand $T(((c-c(y))b)^*(c-c(y))b)(y)$. Center bimodularity identifies its four terms with the same value $|c(y)|^2T(b^*b)(y)$, with coefficients $1,-1,-1,1$; their sum is zero. Thus $[cb]_y=c(y)[b]_y$. Norm density extends this identity to every $c\in C$.

Exercise 3. Prove the separating assertion for $\xi_y$.

Solution. If $x\in M_y$ kills $\xi_y$, commutation with the bounded right action gives $x[b]_y=x\rho_y(b)\xi_y=\rho_y(b)x\xi_y=0$. These vectors are dense, so the bounded operator $x$ vanishes. A vector state's support is therefore the identity, proving faithfulness.

Exercise 4. Why does a countable collection of identities admit a common conull set?

Solution. Each identity fails on a null set. The union of countably many such sets is measurable and null. The complement works for all identities. An uncountable union has no such guarantee, which is why universal evaluation of $M$ was not asserted.

Exercise 5. What makes the field in (7) the whole stabilized field?

Solution. The integral of its countably generated matrix field, after adjoining the diagonal algebra, is generated by $\bigcup_kQ_k$ and $Z\otimes1$. The first set already generates $N$. Both measurable fields therefore have integral $N$, and the field uniqueness theorem identifies them almost everywhere.

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$, first replace it by $(1-\delta/2)C$. Approximate its finitely many entries by Gaussian rationals so the operator norm error is below $\delta/2$. The resulting matrix has norm at most one and distance below $\delta$ from $C$.

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<t}B_s$. These sets are measurable and disjoint. Their union is the union of the $B_t$, which contains every good fiber. Thus its complement is null.

Exercise 9. Why does the integrated Gram estimate have the correct trace scale?

Solution. Squaring and integrating its pointwise bound gives $\tau_t((fx_i^*x_jf-\delta_{ij}f)^*(fx_i^*x_jf-\delta_{ij}f))\le b(m)^2\tau_t(f)$. Taking square roots gives precisely the hypothesis of Gram repair in the normalized trace $\tau_t$.

Exercise 10. Derive the first bound in (13).

Solution. Write $x_if-w_i=x_i(f-e)+(x_ie-w_i)$. The first term has norm at most $\sqrt{\tau_t(f-e)}\le D_m\sqrt{\tau_t(e)}$; the second has the same bound by (12). Their sum gives $2D_m\sqrt{\tau_t(e)}$.

Exercise 11. Why may the matrix size depend on the selected central piece?

Solution. There are only countably many sizes and candidate tuples. Each retained piece has a finite matrix algebra, and only finitely many pieces are retained in (16). Their direct sum is finite dimensional even if the original countable selection has unbounded sizes.

Exercise 12. Check that the central tail causes at most the error stated in (17).

Solution. Its approximant is zero and $\|a_l\|\le1$, so $\tau((1-q)a_l^*a_l)\le\tau(1-q)$. Central orthogonality eliminates cross terms with all retained pieces. Summing (14) squared with weights $\tau(z_t)$ proves (17).

References and proof scope

This lesson supplies the central tracial field and measurable matrix assembly at separable-predual scope relative to the declared prerequisites. The next lesson proves the broader local conclusion without separability. Public access reconciliation, complete freely accessible human-source foundations and independent review remain pending.

Haagerup, A new proof of the equivalence of injectivity and hyperfiniteness for factors on a separable Hilbert space, JFA 62 (1985), 160–201, §6.3, gives the nonfactor extension context and a sketch, rather than the measurable matrix assembly proved here. Elliott, On approximately finite-dimensional von Neumann algebras, Math. Scand. 39 (1976), 91–101, Lemmas 3.3 and 3.5, pp. 94–96, concerns central summands of biduals. Its Lemma 3.3 invokes previously established direct integral representation and field uniqueness; it does not supply their proofs or the candidate selection argument of Theorem 3.2. The four proofs in this lesson are complete relative to the declared prerequisites.