Single generation of transformation group algebras

If \Gamma is finite, each orbit is closed. Minimality and freeness therefore imply that X is one orbit with |X|=|\Gamma|, and A\cong M_{|\Gamma|}(\mathbb C). A diagonal self-adjoint matrix with distinct positive entries, together with the self-adjoint sum of the adjacent matrix units and their adjoints, generates this matrix algebra.

Suppose henceforth that \Gamma is infinite. Let s_1,\ldots,s_k generate \Gamma. Apply Proposition 4.1 to the real and imaginary parts of the u_{s_j}. Obtain a pair H_0,K_0, three unused positions, and an open plateau W. Then D_0=C^*(1,H_0,K_0) contains every u_\gamma.

Choose z,\chi_n,\vartheta_n as in Lemma 6.1, and let (f_n) be norm dense in C(X)_\mathrm{sa}. By Proposition 5.2, for each n there are H_n\in\operatorname{Her}(\chi_n)_+ and K_n\in\operatorname{Her}(\chi_n)_\mathrm{sa} such that

Replace H_n and K_n, respectively, by H_n/(1+\|H_n\|) and K_n/(1+\|K_n\|). Both norms are then at most one, and multiplication by the original scalar constants recovers the unscaled pair. The series

converge in norm and belong to \operatorname{Her}(W). Encode the three self-adjoint elements z,P,Q in the unused positions of Proposition 4.1. For the resulting K=K^*, D=C^*(1,H_0,K) contains D_0,z,P,Q. Moreover,

Thus D contains every f_n, and therefore C(X) and all implementing unitaries. Hence D=A.

Set z_0=1+H_0+iK. Since \operatorname{Re}z_0=1+H_0 has spectrum in [1,1+\|H_0\|], choose a continuous scalar function vanishing at zero and equal to one on this interval. Its functional calculus shows that 1\in C^*(z_0). Consequently H_0,K\in C^*(z_0), and C^*(z_0)=A.

Enlarge the prescribed buffer to a finite set L' containing e and more than 2N elements, and choose the URP error \delta<1 sufficiently small. For any nonempty shape E and any a\in E,

so |E|\geq N. Also

Taking \delta smaller gives the asserted interior estimate. To obtain cores uniformly in the invariant measures, approximate the indicator functions of the finitely many open bases increasingly by continuous contractions of compact support. The corresponding integrals are continuous on the compact space of invariant measures. Their sets of values greater than a fixed number below 1 form an increasing open cover, so one approximation works for every measure. A level set of that approximation gives compact cores with the required measure estimate, after slightly relaxing the error. Discard towers whose chosen cores are empty. The remaining cores still have the asserted measure estimate, and their translated levels are disjoint. Urysohn functions give the nested plateaux; adding a small strictly positive function off the plateau makes g_s strictly positive on U_s without changing its value near B_s.

A bounded continuous matrix function multiplied by a function in C_0(U) again vanishes at infinity. The hereditary assertion follows from \operatorname{Her}(\chi)=p_\chi A^{**}p_\chi\cap A. For the last formula, T_sv_s and T_tv_t are actual elements of A, and scalar multiplier functions commute with the columns.

Stable rank one is [LN, Theorem 7.8]. We deduce the required implementation from the Hilbert-module description of the Cuntz semigroup of Coward, Elliott, and Ivanescu [CEI, Theorem 3 and Appendix 6]. Put

These are countably generated Hilbert A-modules, and a\precsim b means [E_a]\leq[E_b] in the Hilbert-module picture. Since A has stable rank one, the cited theorem says that this order is realized by an inner-product preserving A-linear embedding U:E_a\to E_b. The element a^{1/2} belongs to E_a by continuous functional calculus. Hence v=U(a^{1/2})\in E_b\subseteq A satisfies

Choose x_n\in A with bx_n\to v. Then bx_nx_n^*b\to vv^*, so vv^*\in\overline{bAb}=\operatorname{Her}(b). No adjointability of the module embedding is needed. For the last assertion, both v^*v and vv^* belong to \operatorname{Her}(\chi). An approximate unit (e_n) of \operatorname{Her}(\chi) satisfies e_nv\to v and ve_n\to v, since

and the analogous identity uses v^*v on the other side. Hence e_nve_n\to v.

The first error is at most 2C\varepsilon. The second convergence is the approximate-unit property of \operatorname{Her}(r).

Spectral permanence gives S^{-1}\in D, and the middle sum equals SaS. For the last assertion, translates of \{\chi>0\} cover X by minimality. A finite subcover, enlarged to a symmetric finite set F containing the identity, gives S=\sum_{\gamma\in F}\alpha_\gamma(\chi)>0 everywhere. Compactness then gives S\geq\kappa1 for some \kappa>0.

The Fourier transform is integrable, so the displayed integral is a norm Bochner integral of elements of C^*(1,H,x). The two formulas follow from Fourier inversion, first in the scalar tower algebra and then in the continuous functional calculus of the right copy of H.

For (1), choose

These labels lie in (2,2.1). The nonzero differences 2^i-2^j are distinct for distinct ordered pairs: for a positive difference, its power of 2 determines the smaller index, and its odd part determines the larger index. Negative differences are treated by reversing the pair. This proves the ratio assertion.

For (2), the rays R_{ij}=\{(\lambda_i\tau,\lambda_j\tau):0\leq\tau\leq1\} meet only at the origin. Fix \varepsilon>0. A smooth compactly supported function on \mathbb R^2 can be chosen equal to \theta_\varepsilon(\tau) on the selected ray and zero on all other rays, where \theta_\varepsilon is the cutoff of Lemma 2.9. One obtains it by a smooth extension along the ray and a narrow tubular cutoff on its portion away from zero. Lemma 3.2 gives \theta_\varepsilon(t)a_{ij}e_{ij}\in C^*(1,H,x). Its distance from a_{ij}e_{ij} is at most 2C_{ij}\varepsilon. The finite-block assertion uses the same construction with the globally distinct ratios.

For an edge x=te_{ij}, the positive square roots of x^*x and xx^* are te_{jj} and te_{ii}. Products along a path give t^ke_{ij}. Multiplying by the continuous function \theta_\varepsilon(t)t^{1-k} of the known diagonal te_{ii}, extended by zero near zero, gives \theta_\varepsilon(t)te_{ij}\to te_{ij} in norm. Continuous functional calculus recovers f(t)e_{ii}. Multiplication by k_\varepsilon(te_{ii})(te_{ij}), where k_\varepsilon(\tau)=\theta_\varepsilon(\tau)/\tau, then gives \theta_\varepsilon(t)f(t)e_{ij}\to f(t)e_{ij}. The last convergence uses continuity at zero, rather than a boundedness assumption on f(t)/t.

We give the construction and then verify recovery in its required order. All matrix units below are multiplier matrix units; every expression asserted to belong to A has a coefficient in the appropriate C_0(U_s). (1) Compression and comparison. Enlarge a common Fourier support to a finite symmetric set L containing the identity, and write \ell=|L|. We may suppose q\geq1. Let \lambda,m be the COS constants. Fix

Choose the towers of Lemma 2.6 with buffer L, error \delta, and shapes of size

Put I_s=\operatorname{int}_L(E_s) and d_s=|I_s|. In their tower algebra B=\bigoplus_s M_{n_s}(C_0(U_s)), set

The diagonal functions in this formula are extended by zero off their tower levels. Since h=1 on every interior closed core,

Indeed, discarding boundary cores loses at most \delta\sum_s n_s\mu(B_s)\leq\delta in addition to the core error.

We have b_i\in B exactly. For a Fourier term f_\gamma u_\gamma, the coefficient of its difference from the compression by r^{1/2} is

Whenever this coefficient is nonzero, one endpoint is an L-interior level. Symmetry of L places the other endpoint in the same tower: if the range row is a, its source row is a\gamma; conversely, a source row b has range row b\gamma^{-1}. In base coordinates the scalar multiplier is 0, g_s, or 1-\sqrt{1-g_s}. Since 1-\sqrt{1-g_s}\leq g_s, all three are bounded by g_s. Consequently each block of each b_i has at most \ell n_s possibly nonzero matrix coefficients, and every such coefficient \beta satisfies |\beta|\leq C_i g_s for a fixed finite constant C_i.

In each I_s reserve k_s=m\lfloor\rho n_s/m\rfloor rows and divide them into m groups of equal size k_s/m. The groups in different blocks are combined using the same group index. Let V be the Cartan function obtained by putting f_s in the first group of each block, and let R put f_s in all reserved rows. For each invariant \mu,

Our choices imply 2\delta<\lambda\rho(1-\delta)/(2m). Thus COS and (Proof) give r\precsim V^{\oplus m}. The m row groups are identical copies of the scalar base functions, so V^{\oplus m} is Cuntz equivalent to R. More explicitly, the row identifications, multiplied by f_s^{1/2}, form a rectangular matrix over A whose source square is V^{\oplus m} and whose range square is R. Thus the stabilized comparison has a single-element target R\in A. No bare multiplier is asserted to belong to A. Lemma 2.8 therefore provides v\in A with

Put d_i=vc_iv^*\in\operatorname{Her}(R).

Use the nested cutoffs of Lemma 2.6 and put

This function is strictly positive on U_s, belongs to C_0(U_s), and equals 1 on \operatorname{supp} f_s. Fix a tower s_* with nonempty core, and require that the largest high label occur in this tower. Choose globally distinct high labels \lambda_{s,a}\in[2,2.1], a\in I_s, with all nontrivial ordered ratios distinct, as in Lemma 3.3. Give each boundary row a distinct positive label \nu_{s,b}<\eta, and set

On the support of r, every high row has g_s<1, hence \xi_s=0, and t_s=\eta g_s. Thus

On a reserved row supporting vv^*, however, t_s=1 and H_0 has the fixed corresponding high label. (2) Assignment of the matrix coefficients. We now assign the entries of K_0. An unordered high–high position means a pair of distinct high rows; both orientations of that position are occupied together. First choose, in each block, a chain through all its high rows, and put t_s e^s_{a,a'} on its successive edges. For each actual scalar coefficient \beta of each b_i, assign a new high–high position in the same block and put t_s\beta e^s_{p,q} there. Assign one further position to t_sg_s e^s_{p,q}.

For the entries of d_i, write Q_{s,a}=\xi_s e^s_{aa} on each reserved row. Since \xi_s=1 on \operatorname{supp} f_s, the actual corners

sum to d_i over all ordered reserved row pairs. For an unordered pair of different reserved rows, encode one corner, obtaining its adjoint automatically. Encode each diagonal corner separately in an off-diagonal position. Choose a new position (p,q) between the same two tower blocks (within that block for a diagonal corner), and put

there. These are actual elements of A. Their endpoint functions equal 1 on the support of the original corner, so

Only the two endpoint labels specify a position between different blocks; no multiplier matrix unit between those blocks is used.

Here is an explicit check that these assignments are possible. Within block s they require at most

unordered positions, including the three positions we leave vacant. The available number is d_s(d_s-1)/2, with d_s>(1-\delta)n_s. Since q\rho^2\leq10^{-4}, q\rho\leq q/100, and n_s\geq100(q\ell+q+10), the right side of (?) is less than 0.011n_s^2, whereas d_s(d_s-1)/2>0.48n_s^2. Between different blocks the number required is qk_sk_t\leq10^{-4}n_sn_t, whereas there are d_sd_t>0.98n_sn_t available positions. Thus every assignment can be made injectively. Fix three vacant unordered positions in block s_*.

For every boundary row b\in E_s\setminus I_s, choose a distinct high target row j(b)\in I_s outside the reserved rows, and put t_se^s_{j(b),b} in the packet. This is possible because |E_s\setminus I_s|<\delta n_s and d_s-k_s>(1-\delta-\rho)n_s. Let S be the sum of all the chain entries, scalar entries, corner entries, and boundary entries just described, using one orientation for each assigned unordered position. Define

(3) Spectral separation and recovery. We verify recovery from D_0=C^*(1,H_0,K_0). For a high label pair i,j, write R_{ij}=\{(\lambda_i\tau,\lambda_j\tau):0\leq\tau\leq1\}. Here and in Table ?, a joint spectral type means that the formulas of Lemma 3.2 annihilate the indicated entry whenever the filter vanishes on the displayed set.

The first two types have coordinate ratios in [2/2.1,2.1/2]. Distinct assigned ordered positions have distinct ratios, including the reverse orientations. Boundary rays have ratios greater than 2/\eta, and their adjoints have ratios less than \eta/2. For a component of v, its range is on a reserved plateau row and its source is in 1_{[0,2.1\eta]}(H_0), by (?). Thus the mixed rectangles in the table are disjoint from every high–high ray and point. Indeed, a high–high ray with first coordinate at least 2 has second coordinate at least 4/2.1>2.1\eta.

Fix a scalar or chain entry and \varepsilon>0. Its ray segment away from the origin is separated by a positive distance from every other type. Choose the smooth joint filter equal to \theta_\varepsilon(\tau) on that ray and zero on every unwanted type. The resulting element is the selected entry times \theta_\varepsilon(t_s). Since its coefficient is O(t_s), Lemma 2.9 gives convergence to the entry in norm. For a moved corner, its single point has positive distance from all other types; a filter equal to 1 at that point recovers it exactly. Consequently all high–high entries, and their finite self-adjoint sum K_{\mathrm{hh}}, belong to D_0. Boundary links and comparison links may overlap each other; they are recovered subsequently, in the order below.

The chain entries give every t_se^s_{ab} for a,b\in I_s, by Lemma 3.4. The coded entry t_sg_se^s_{pq} gives g_se^s_{aa} for every high row a: multiply on the two sides by the known soft matrix units to obtain t_s^3g_se^s_{aa}, and use continuous inverse cutoffs of t_se^s_{aa}. The error tends to zero because g_s\leq t_s/\eta. Thus

This argument uses only high rows and precedes recovery of v.

Choose a scalar continuous function \chi equal to zero on [0,2.1\eta] and to one on [2,2.1]. On a reserved row the cutoff Q_{s,a} equals the row projection on the range support of v. Its product with every boundary entry vanishes because boundary targets lie outside the reserved rows. Also \chi(H_0)v^*=0, by (?). Consequently

The projection notation on the right merely identifies the recovered element; the expression on the left consists of actual known elements.

Subtract v+v^* as well. The remaining packet consists just of the boundary links and their adjoints. Multiplication on the left by t_se^s_{j(b),j(b)} isolates t_s^2e^s_{j(b),b}, because the high targets are distinct. Inverse cutoffs of that known diagonal recover t_se^s_{j(b),b}. Its modulus gives t_se^s_{bb}. The high chain and these boundary links form a connected graph through every row of the block, so products and inverse cutoffs give

We can now decode every original coefficient of b_i. If t_s\beta e^s_{pq} was its coded entry and its original position was (a,b), multiplication by the two known soft matrix units gives t_s^3\beta e^s_{ab}. Inverse cutoffs on the left diagonal recover \beta e^s_{ab} in norm, since \beta=O(g_s)=O(t_s). Summing gives b_i\in D_0. Similarly, multiplying (?) by t_se^s_{a,p} and t_te^t_{q,b} recovers d_i^{s,a;t,b} exactly: the endpoint functions equal 1 on its support. Include the adjoints for the opposite corners and sum to obtain d_i\in D_0. Finally r=v^*v\in D_0 and

To complete the norm recovery, use the actual functions k_\varepsilon(\tau)=\theta_\varepsilon(\tau)/\tau, extended by zero near zero. Then

This follows from c_i=r^{1/2}a_ir^{1/2}\in\operatorname{Her}(r) and the approximate-unit property of \theta_\varepsilon(r). Thus a_i=b_i+c_i\in D_0. The measure estimate (Proof) was used only to obtain v; the recovery in (?) is a norm argument. (4) Three additional hereditary elements. It remains to verify the three additional positions. Let w be the row in block s_* with the largest high label. Choose a nonempty open set W whose closure lies in the w-level of \operatorname{int}\{\xi_{s_*}=1\}. In particular, t_{s_*}=1 on \overline W. Give each of the three vacant positions an orientation (p_j,q_j), j=1,2,3, and define the known actual elements

For any prescribed P_j\in\operatorname{Her}(W)_\mathrm{sa}, put

The support plateau gives

The point (\lambda_{s_*,p_j},\lambda_{s_*,q_j}) lies on no old occupied high–high ray or point, since its unordered position was vacant and all ordered ratios are distinct. It also lies off every boundary ray and every mixed spectral set of v+v^*. It differs from the three reverse points and the other new points. A smooth joint filter, equal to one near this point and zero on all the other spectral types, recovers E_j exactly from H_0,K. Subtracting all six entries recovers K_0, hence D_0, and

This proves the proposition.

Compute in the original tower matrix coordinates. At y\in U_s with g_s(y)<1, the nesting of the plateaux implies \xi_s(y)=0. Hence t_s(y)\leq\eta and 0\leq H(y)\leq b\eta1; the positive part in (5.1) is zero on the whole fibre. If g_s(y)=1, a selected row is yc_{s,l}\delta with \delta\in F. For \gamma\in F,

Thus e_\gamma vanishes on every row supporting any q_{s,l}. In this fibre, q_{s,l}e_\gamma^{1/2}=0, and consequently (H-b\eta)_+e_\gamma^{1/2}=0. Outside the tower levels, H=0. The products just computed are actual elements of the tower algebras: multiplication of their bounded matrix coefficients by a function vanishing with t_s is covered by Lemma 2.7. Faithfulness of the tower embeddings therefore proves the first identity in A.

In A^{**}, the closure of the range of e_\gamma^{1/2} lies in the kernel of (H-b\eta)_+. Since H\geq0, the projection onto this kernel is 1_{[0,b\eta]}(H). This proves the second assertion. The argument establishes annihilation, not only a bound on a compression of H.

Write

Replacing \chi by a scalar multiple, assume \|\chi\|\leq1. Minimality and compactness give a finite symmetric set F\subseteq\Gamma, containing e, such that

In particular, V_\gamma,S^{-1}\in D_0. Put M=|F| and C_F=2|FF^{-1}|. The functions

belong to D_0\cap C(X), are positive, and sum to 1.

We first specify the numerical room needed later. Fix 0<\eta<10^{-3} and 0<\rho<10^{-2}. If (\lambda,m) are the COS constants, choose

The tower heights will be taken large enough to satisfy all the finite inequalities below. This is possible in Lemma 2.6, since the constants F,M,C_F,\rho,m have already been fixed. For example, it suffices to require N_s\geq C_FR_*, where

Apply Lemma 2.6 with buffer F^2, error \varepsilon, and the prescribed minimum height. Since \varepsilon<1/4, its interior estimate gives

Use its mutually disjoint towers (U_s,E_s), closed cores B_s, and nested functions g_s,\xi_s,f_s. Write N_s=|E_s|. Let C_s\cong M_{N_s}(C_0(U_s)) be the original tower algebra, with multiplier matrix units e^s_{ab}, a,b\in E_s. In this identification a point y\in U_s represents all the physical levels ya, a\in E_s. Define

The direct-sum notation denotes the inclusions into A, and h is a diagonal function on X. The function g_s is strictly positive on U_s, and

Moreover, t_s=1 on an open neighborhood of \operatorname{supp} f_s, containing B_s. The open support E=\{r>0\} satisfies

because h=1 on all the closed core levels.

The positive functions and the remainder functions to be transported are

Thus e_\gamma,c_\gamma^{(0)}\in\operatorname{Her}(\chi), c_\gamma^{(0)}\in\operatorname{Her}(e_\gamma), and

By invariance, the open support of each e_\gamma has measure less than \varepsilon for every invariant measure.

(1) Return columns inside \operatorname{Her}(\chi). Choose a maximal family of mutually disjoint sets c_{s,l}F\subseteq E_s with c_{s,l}\in\operatorname{int}_{F^2}(E_s), and denote its cardinality by R_s. If cF\cap c'F\ne\varnothing, then c'\in cFF^{-1}. Hence each chosen tile excludes at most |FF^{-1}| centers. Maximality and the preceding interior estimate give

Index these tiles by 0\leq l<R_s, and take c_{s,0} as the reference center. Put

This is an open projection in A^{**}; it is not assumed to be in the generated algebra. The following are bounded multiplier columns of the original algebra C_s:

The denominator is at least \kappa^{1/2}. Disjointness of the tiles and the normalization imply

Every q_{s,l} has its range in the support projection of \chi. Indeed, its component at a level where \chi vanishes is zero. Consequently

The factor t_s\in C_0(U_s) guarantees membership in A. The operator T_s is central in C_s and commutes with all its multiplier columns and scalar coefficient functions.

Choose, simultaneously for all pairs (s,l), labels \lambda_{s,l}\in[2,2.1] as in Lemma 3.3, and set

Apply Lemma 5.1 with b=2.1 to the functions e_\gamma in (?). Their open supports lie in that of \alpha_\gamma^{-1}(r), and the return centers satisfy the required F^2 buffer. We obtain the exact identity

This is the support statement needed for the comparison links below.

(2) Comparison and the reserved columns. Let

By increasing the minimum tower height, assume k_s\geq\rho R_s/(2Mm). Reserve, for each \gamma\in F, m mutually disjoint sets J_{s,\gamma,1},\ldots,J_{s,\gamma,m} of k_s column indices. All these sets, for all \gamma, are disjoint. Their union has at most \rho R_s elements. Write

Avoid the reference column and, in addition, leave M different nonreserved column indices l_{s,\gamma} for the frame links below. This is possible for sufficiently large R_s.

Choose an open set \Omega_s containing B_s, with compact closure in the open plateau where t_s=1, and a positive function \beta_s\in C_0(U_s) with open support \Omega_s. For a fixed \gamma, select one original center level from each of k_s distinct return tiles, and let b_\gamma\in C(X)_+ be the sum of the copies of \beta_s on these levels, over all s. Its open support O_\gamma is a Cartan open set. By invariance and (?),

Equations (?) and (?) give the strict COS inequality. Hence

For each of these m copies, match its selected original center rows with the column indices in J_{s,\gamma,j}. If a is a selected center row and l its matched column, the multiplier v_{s,l}e^s_{c_{s,0},a} carries that row to q_{s,l}. Multiplication by \beta_s^{1/2} makes this an element of A. The relations in (?) show that these matches give Cuntz equivalence of the matrix direct sum with

Thus e_\gamma\precsim B_\gamma in A. Lemma 2.8 gives w_\gamma\in\operatorname{Her}(\chi) with

If e_\gamma=0, take w_\gamma=0 and omit its unused data. The range of w_\gamma is supported on its own reserved indices T_{s,\gamma} and on t_s=1. On each of those rows the left H-value is the constant \lambda_{s,l}\in[2,2.1], whereas the right H-spectrum is contained in [0,2.1\eta] by (?).

(3) The coefficients to be recovered. In every column algebra include the adjacent chain T_sv_{s,l}v_{s,l+1}^*, 0\leq l<R_s-1. For every original level a\in E_s, the scalar base function

satisfies |F_{s,a}|\leq\eta^{-1}\|f\|t_s. Assign an unused off-diagonal position (i,j) to the actual entry

The quotient is continuous and bounded on U_s, and the entry belongs to A since F_{s,a}\in C_0(U_s). Also assign positions to the M entries T_sc'_\gamma v_{s,i}v_{s,j}^*, using the scalar functions defined below in (?).

The other high/high data are the corners of

For each pair of its reserved range rows (s,p),(t,q), move the corner to an unused off-diagonal pair of coding rows. More explicitly, if

place v_{s,i}c v_{t,j}^* in the chosen position ((s,i),(t,j)). The coefficient c is supported on t_s=t_t=1. In fact

Its translated corner is also in A, because

All four multiplied columns are actual elements of their tower algebras. For s=t use a distinct unused unordered pair \{i,j\}, with one orientation; even a diagonal corner is moved to such an off-diagonal pair. Encode only original pairs p\leq q when s=t: restore an off-diagonal source corner together with its adjoint, and restore a diagonal source corner once. For s<t use distinct pairs between the two blocks and let adjoints encode the reverse corners. The operators A_\gamma are self-adjoint, since f is real-valued.

Here is explicit room for these assignments. Put d_{s,\gamma}=|T_{s,\gamma}|=mk_s\leq\rho R_s/M. Within one block, it suffices to assign at most

unordered pairs, each followed by its adjoint in K. This is less than R_s(R_s-1)/2 with the stated choice of R_*. Indeed, R_s\geq16(C_F+M+2)\geq80 bounds the linear terms by R_s^2/16, while \rho^2/M<10^{-4}. The required number is therefore less than 0.063R_s^2, and the available number is greater than 0.49R_s^2. Between two blocks the number of positions is at most

These inequalities explain why one may require all heights to be sufficiently large before choosing the towers. They also avoid counting a diagonal corner as a separate self-adjoint generator.

(4) The frame links and the second self-adjoint element. Fix s temporarily and omit its subscript. In the reference tile set

Here c'_\gamma is the bounded scalar base function for which a position was reserved above. We regard it as a central multiplier of the original tower block; c'_\gamma p is its corner on the reference source row. The tower relations give

For l\ne0, the second identity uses disjointness of the reference tile and the other tiles. Introduce the additional links

They belong to A\cap\operatorname{Her}(\chi). Indeed, they are bounded multiplier coefficients of the original tower block multiplied by t_s\in C_0(U_s), and both their endpoints lie in the support of \chi. They have left H-value 0 and right joint values \lambda_{s,l_{s,\gamma}}t_s.

Let \mathcal P be the finite list of all the high/high entries just assigned, including the chain, the scalar data, and the moved corners. Define the self-adjoint element

For the rest of the proof put D=C^*(D_0,H,K).

(5) Recovery of the columns and the remainder. Table ? records all terms of K. Here R_{ij}=\{(\lambda_i\tau,\lambda_j\tau):0\leq\tau\leq1\}, with the tower index included in a label index.

Every scalar high/high entry has joint spectral support on its assigned ray

Its coefficient is O(t), including the scalar functions F_{s,a} and t_sc'_\gamma. A moved remainder corner in one block has its support at the endpoint of its assigned ray; one between blocks has the single joint point (\lambda_{s,i},\lambda_{t,j}). The generic ratios make all these assigned types distinct, including their adjoints. By contrast, the additional links have joint types on the axes, and the comparison links have high/low or low/high joint types. A comparison link has a left value in [2,2.1] and a right value in [0,2.1\eta], or the reverse values for its adjoint. Such a type cannot meet a high/high ray: a point on that ray has the ratio of its coordinates in [2/2.1,2.1/2]. The axis types meet the high/high rays only at the origin. This proves the required separation.

Lemma 3.2, using smooth functions which avoid a shrinking neighborhood of the origin, therefore recovers every member of \mathcal P. The omitted origin part is O(t) and tends to zero in norm. Lemma 3.4 then recovers

For example, a scalar entry T_s\phi v_{s,i}v_{s,j}^* is transported to the reference diagonal by

The product equals \theta_\delta(t_s)^2T_s\phi q_{s,0}; the convergence follows from its O(t_s) coefficient. Thus F_{s,a}q_{s,0} and T_sc'_\gamma q_{s,0} are in D. Similarly, the moved remainder corners are transported back to their reserved rows using (?). Here no inverse limit is needed, because these corners have t_s=t_t=1. Summing the restored corners, using each diagonal corner once and adding adjoints only for the off-diagonal source corners, gives A_\gamma\in D.

Subtract the recovered high/high terms from K. Choose a continuous function G equal to 0 on [0,2.1\eta] and equal to 1 on [2,2.1]. For the reserved range of a fixed \gamma, set

For \delta<1/2, this acts as the identity on the range of w_\gamma, since that range has t_s=1. Other comparison links have disjoint reserved ranges. The adjoints of all comparison links have low left H-spectrum. The x_{s,\gamma} have left value 0, and their adjoints have high ranges on the indices l_{s,\gamma}, all outside the reserved sets. It follows that

Hence each w_\gamma\in D. The relations in (?) and (?) give

Division by soft cutoffs of e_\gamma, as in Lemma 2.9, recovers

After subtracting all comparison links, the remaining expression is \sum_{s,\gamma}(x_{s,\gamma}+x_{s,\gamma}^*). Right multiplication by \theta_\delta(T_sq_{s,l_{s,\gamma}}) selects x_{s,\gamma}\theta_\delta(t_s): the other links have different right column indices, and the adjoints have right supports orthogonal to every column. This converges in norm to x_{s,\gamma}, because x_{s,\gamma} has an O(t_s) coefficient. Therefore all these links belong to D.

(6) Recovery of the diagonal function. Again fix one block and suppress s. From its recovered link and soft matrix units,

Adding the recovered scalar term Tc'_\gamma q_0 gives

Notice that p has not been recovered. Instead, the recovered L_\gamma records its image under each known frame operator.

Let \phi=F_{s,a} be one of the scalar functions in (?). Define the actual diagonal function A_\phi=\phi p\in C(X) on the reference level U_sc_{s,0}, extended by zero. It belongs to C(X) because \phi\in C_0(U_s). The corresponding column corner Y_\phi=\phi q_0 has already been recovered. Put

extended by zero near zero. Functional calculus on the known element Tq_0, followed by the column relations, gives

Here \theta_\delta(t) is the scalar base cutoff on the indicated tower entries. The frame buffer ensures that all their endpoints remain in the same original block. Since |\phi|\leq\eta^{-1}\|f\|t, the error in (?) is at most 2\delta\eta^{-1}\|f\|\|V_\gamma\|\|V_\nu\|. Thus each V_\gamma A_\phi V_\nu^* belongs to D.

Apply Lemma 3.1 to the known frame (V_\gamma)_{\gamma\in F} and the just recovered inner corners. It gives

The middle sum equals SA_\phi S. Every outer operator in this identity belongs to D_0. In particular, no inverse of a compressed frame and no membership assertion for p is needed.

For the chosen \phi=F_{s,a}, the diagonal function on the original level U_sa is

Its value at ya is A_\phi(yc_{s,0})=g_s(y)f(ya), by the right-action convention. Its support is contained in U_sa. All these unitaries belong to D_0, so summing over the levels gives hf\in D. Finally, (?), the group unitaries, and (?) give f\in D.

The space has no isolated points: otherwise the orbit of an isolated point would have invariant closed complement, and minimality would make X a compact discrete orbit, contradicting freeness of the infinite group. Choose a smaller open set with closure in W, a sequence of distinct points x_n converging to a point there, and disjoint small neighborhoods of the x_n. Choose bump functions b_n of compact support in those neighborhoods, with b_n(x_n)=1. Then z=\sum_n4^{-n}b_n converges uniformly, has compact support in W, and takes each value 4^{-n}. Take disjoint intervals around these values and choose the indicated functions. The last assertion holds first on \chi_mA\chi_m and then on its norm closure.