Inverse-Limit Detection Envelopes as Calkin Algebras
Abstract.
For a unital Banach algebra with and a decreasing sequence of proper closed two-sided ideals of finite codimension, we introduce the bounded detection envelope
Combining vector-valued Bourgain–Delbaen extensions, oracle Turing-machine recursion, and Argyros–Haydon operator analysis, we construct a separable Banach space such that, isometrically as unital Banach algebras,
We also characterize these envelopes as the unital Banach algebras with norm-one units admitting an isometric predual and countably many jointly faithful weak-star-to-norm continuous finite-dimensional unital representations.
Applications include arbitrary finite-dimensional unital Banach algebras with norm-one units and their countable -sums, as well as unitized coordinatewise algebras over normalized -unconditional boundedly complete Schauder bases. These include incidence algebras, , and the unitization of Tsirelson’s original space. Further applications concern analytic operator algebras, Fourier–Stieltjes and Fourier multiplier algebras of countable discrete groups, and classical and quantum convolution algebras. In particular, we realize , , , , and as Calkin algebras, with their canonical norms and products.
Key words and phrases:
Calkin algebra, bounded inverse limit, Argyros–Haydon construction, Bourgain–Delbaen construction, oracle Turing-machine2020 Mathematics Subject Classification
Primary 46B07, 46J05, 47L10; Secondary 03D75, 46B25Contents
- 1 Introduction
- 2 Finite-dimensional quotients and their bounded limits
- I Oracle-recursive finite extensions
- II Analytic estimates and operator classification
- III Examples and applications
1. Introduction
For a Banach space , write
where is the algebra of bounded operators on and is the ideal of compact operators on . For , write for its Calkin class. Throughout, or , , and . The name comes from Calkin’s 1941 study of the Hilbert-space quotient [26].
The main result of this paper is a realization theorem for bounded inverse limits of finite-dimensional unital Banach algebras. The norm and multiplication are those prescribed by the inverse system.
Let be a countable inverse system of finite-dimensional unital Banach algebras, with bonding maps for . We assume that the bonding maps are unital homomorphisms and metric quotients, that is,
| (1.1) | ||||
| (1.2) |
Its bounded inverse limit is
| (1.3) |
with coordinatewise multiplication and norm . The boundedness condition makes a Banach algebra.
Theorem 1.1 (Inverse-limit realization).
Let be a countable inverse system of finite-dimensional unital Banach algebras satisfying (1.1)–(1.2), and put . There are a separable Banach space and a linear map , , such that
| (1.4) |
Moreover, we have
| (1.5) |
and
| (1.6) |
The coefficient in (1.5) is unique. Consequently,
is an isometric unital Banach-algebra isomorphism.
Let be a unital Banach algebra with . Consider a decreasing sequence
| (1.7) |
of proper closed two-sided ideals of finite codimension. Give its quotient norm and let be the quotient map. Then we have
Definition 1.2 (Bounded detection envelope).
The bounded detection envelope of is . Its canonical map is
| (1.8) |
Let be the locally convex topology on generated by the quotient seminorms , . The filtration is separating if and norming if . We give the envelope its coordinate topology. For the algebra of convergent sequences, the first coordinates give a separating norming filtration whose bounded envelope is .
Corollary 1.3 (Filtered-algebra realization).
Let be a decreasing sequence of proper closed two-sided ideals of finite codimension in , and let be the associated inverse system. The map in (1.8) has coordinate dense range through uniformly bounded approximants. It is injective when is separating, isometric when is norming, and onto when every closed norm ball is compact in . In particular, if the filtration is separating and every closed norm ball is compact in , then we have
isometrically as unital Banach algebras.
The finite-detection condition also has a dual formulation. By Theorem 2.7, we know that a unital Banach algebra is isometrically a bounded inverse limit as above if and only if it has an isometric predual with increasing finite-dimensional subspaces such that
Equivalently, it has a jointly faithful countable family of weak-star-to-norm continuous finite-dimensional representations. These formulations characterize the algebras to which Theorem 1.1 applies.
The applications also reach Fourier multiplier algebras and convolution duals beyond the universal compact quantum-group case. For the Fourier–Stieltjes and Fourier multiplier terminology, we use [36, 52]. For every countable discrete group , the algebras , , and are realized with pointwise multiplication and their respective Fourier–Stieltjes, multiplier, and completely bounded multiplier norms. In particular, the Herz–Schur multiplier algebra strictly contains , as noted in Corollary 10.36. Using unital completely positive (UCP) coproducts, Proposition 10.5 also realizes the convolution dual of every separable compact quantum hypergroup in the sense of Chapovsky–Vainerman [28] (Corollary 10.38). For any separable compact quantum-group completion in the sense of [54], including reduced and exotic ones, whose coproduct extends to the minimal tensor product, the convolution dual is realized when its counit is bounded, while its standard -unitization is realized without a counit assumption (Corollary 10.40).
The construction uses the Tsirelson and Bourgain–Delbaen methods reviewed below, together with a finite-extension recursion.
1.1. The Argyros–Haydon construction and related work
One line begins in 1974 with Tsirelson’s construction of a reflexive space containing neither nor any [84]. Figiel and Johnson gave the dual Tsirelson space its modern version of that norm, providing the recursive method used in many later constructions [39]. Maurey and Rosenthal constructed a normalized weakly null sequence with no unconditional subsequence, and their argument was an early source of the coding methods used later to suppress unconditional structure [60]. Schlumprecht adapted recursive norming in 1991 to construct the first arbitrarily distortable space [78]. Odell and Schlumprecht subsequently proved that is arbitrarily distortable [68].
In 1993, Gowers and Maurey combined recursive norming, weighted averages, and special coding to solve the unconditional basic sequence problem. Their construction gave the first hereditarily indecomposable (HI) space [42]. Here HI means that no infinite-dimensional closed subspace decomposes as a direct sum of two infinite-dimensional closed subspaces. Gowers later constructed an HI space with an asymptotic unconditional basis [44], and his dichotomy showed that every infinite-dimensional Banach space contains either an unconditional basic sequence or an HI subspace [45]. Ferenczi showed in 1997 that HI can coexist with uniform convexity [37]. He also proved that, for a complex HI space , every operator from a subspace of into is a scalar multiple of the inclusion plus a strictly singular operator [38]. Gowers and Maurey developed related coding methods further to construct Banach spaces with small operator algebras [43].
In parallel, asymptotic and mixed-Tsirelson methods developed along a related line. Maurey, Milman, and Tomczak-Jaegermann introduced a general asymptotic framework and studied asymptotic -spaces [59]. Argyros and Deliyanni constructed asymptotic -spaces through mixed-Tsirelson norms [10]. Argyros, Deliyanni, Kutzarova, and Manoussakis developed modified mixed-Tsirelson spaces, including arbitrarily distortable and HI examples [8]. The work of Odell and Schlumprecht on Krivine sets and block finite universality provided the early form of the method later called saturation under constraints [69, 70]. Argyros and Felouzis used interpolation and HI methods in quotient and operator-factorization problems [11]. In 2004, Argyros and Tolias gave a general method for constructing HI spaces using special convex combinations, rapidly increasing sequences (RIS), the basic inequality, and operator analysis [18]. These methods were further developed in the construction of the first known reflexive space with the hereditary invariant subspace property [15]. Argyros and Motakis later introduced a dual method covering both reflexive HI spaces and HI spaces without reflexive subspaces [16].
The second line comes from separable -spaces. In 1980, Bourgain and Delbaen introduced a rank-by-rank finite-dimensional extension scheme and constructed new -spaces whose duals are isomorphic to and which do not contain [23]. Bourgain and Pisier gave a complementary construction which embeds every separable Banach space into a separable -space with a quotient having the Radon–Nikodým and Schur properties [24]. Alspach established the small Szlenk index of a Bourgain–Delbaen space [7]. Haydon showed that every infinite-dimensional closed subspace of the original contains a further subspace isomorphic to some , [46]. Freeman, Odell, and Schlumprecht later proved that every Banach space with separable dual embeds into an -space whose dual is isomorphic to [40].
In 2011, Argyros and Haydon combined the Bourgain–Delbaen scheme with mixed-Tsirelson restrictions, RIS estimates, and dependent sequences. They constructed an HI space on which every operator is scalar plus compact, and hence [14]. Zisimopoulou subsequently introduced vector-valued Bourgain–Delbaen -sums in 2014 [92]. Later work developed the Bourgain–Delbaen and Argyros–Haydon methods in several directions. Argyros, Freeman, Haydon, Odell, Raikoftsalis, Schlumprecht, and Zisimopoulou showed that every separable uniformly convex space embeds into a scalar-plus-compact space [12]. Argyros, Gasparis, and Motakis proved that every infinite-dimensional separable -space is isomorphic to a Bourgain–Delbaen space [13]. Manoussakis, Pelczar-Barwacz, and Świętek constructed an unconditionally saturated Bourgain–Delbaen space with the scalar-plus-compact property [57]. Argyros and Motakis later constructed a scalar-plus-compact space containing no infinite-dimensional reflexive subspace [17].
The Argyros–Haydon result was followed by realizations of other prescribed Calkin algebras. In 2012, Tarbard first moved beyond the one-dimensional algebra. For every , he constructed a space whose Calkin algebra is the truncated-polynomial algebra , a unital algebra with nilpotent radical [82]. In his thesis, Tarbard also constructed a space whose Calkin algebra is isometrically isomorphic to the convolution algebra [83].
In 2016, Motakis, Puglisi, and Zisimopoulou used Bourgain–Delbaen sums to realize for every countable compact metric space [64]. Motakis later proved that every compact metric space admits a realization whose Calkin algebra is isometrically isomorphic to [66].
Kania and Laustsen used and one of its subspaces to obtain a three-dimensional triangular Calkin algebra in their 2017 work. This algebra has two scalar characters and a one-dimensional square-zero off-diagonal radical [51]. Their note added in proof also realizes every finite-dimensional semisimple complex algebra [51, Note added in proof]. Corollary 10.1 below allows arbitrary finite-dimensional unital Banach algebras with norm-one units and preserves their given norms.
Argyros, Deliyanni, and Tolias developed a method for Banach algebras of diagonal operators and constructed an HI example on which every diagonal operator is scalar plus compact [9]. Building on this work and on Argyros–Haydon sums, Motakis, Puglisi, and Tolias proved that the algebra of scalar-plus-compact diagonal operators associated with every real Banach space with a Schauder basis is a Calkin algebra. Their applications include Banach-algebra structures on the James spaces and their duals. They also proved, at the Banach-space level, that every nonreflexive real Banach space with an unconditional basis is isomorphic to a Calkin algebra [63] in 2020.
Motakis and Pelczar-Barwacz showed that a Calkin algebra can be infinite-dimensional and reflexive, even isomorphic to a Hilbert space. More generally, they realized the unitization of , with coordinatewise multiplication, when has a normalized unconditional basis with no asymptotic version [62]. Motakis and Puglisi realized the unitization of . Their space is an Argyros–Haydon sum of copies of one Argyros–Haydon space, with the internal and external construction parameters kept separate [65].
Another related example comes from the reflexive space . Every operator on this space is scalar plus strictly singular, its strictly singular ideal is nonseparable, and the product of two strictly singular operators is compact [16]. Thus, as observed in [79], its Calkin algebra has a nonseparable zero-product radical. This radical is a quotient of operator ideals.
These results clarify the scope of the present theorem. Theorem 1.1 applies to a unital Banach algebra when it is the bounded inverse limit of its finite-dimensional quotient algebras, with their quotient norms. In particular, Corollary 10.14 realizes the standard unitization of the coordinatewise algebra of a space with a normalized -unconditional boundedly complete basis. The lower estimate in [62, Theorem 7.1] implies bounded completeness under their hypothesis, as shown in Remark 10.15. This class is strictly larger, as witnessed by in Corollary 10.16. The resulting realization and its unital algebra lift are isometric for the standard unitization norm.
1.2. Recursion theory and connections with other areas of mathematics
Recursion theory studies effective procedures and their dependence on information. Besides decidability, it provides tools for comparing the information contained in mathematical objects and for organizing constructions by successive finite requirements [72, 80]. Turing’s oracle machines formalize procedures whose fixed rules may consult a specified oracle [85, Section 4]. The oracle can supply noncomputable information, while each completed computation uses only finitely many queries. Here a fixed oracle program schedules finite requirements and extends the construction records using the finite-dimensional data of .
In group theory, Higman’s embedding theorem says that a finitely generated group embeds into a finitely presented group if and only if it admits a recursively enumerable set of defining relations [47]. Thus a condition on effective presentation has an algebraic characterization by embeddings.
In number theory, the Davis–Putnam–Robinson–Matiyasevich theorem identifies the recursively enumerable subsets of with the Diophantine sets [58]. Membership in such a set can be expressed by the existence of natural-number solutions to a fixed polynomial equation with integer coefficients, with the set element as a parameter. Since some recursively enumerable sets are undecidable, we obtain the negative solution to Hilbert’s tenth problem: no algorithm decides whether an arbitrary polynomial equation with integer coefficients has an integer solution.
In Banach-space theory, Pour-El and Richards developed computability structures compatible with linear operations, norms, and effective limits [74, Chapters 2–3]. Their First Main Theorem [74, Chapter 3] applies to a closed linear operator between such spaces whose domain contains a computable sequence with dense linear span in the source space and whose images of that sequence form a computable sequence. Under these hypotheses, the operator sends every computable vector in its domain to a computable vector if and only if it is bounded.
In real analysis, algorithmic randomness gives a precise description of the points at which computable monotone functions are differentiable. Brattka, Miller, and Nies proved that is computably random if and only if every computable nondecreasing function is differentiable at [25, Theorem 4.3]. This refines the classical almost-everywhere differentiability theorem for monotone functions by characterizing the points that work simultaneously for all computable functions in this class.
In geometric measure theory, we obtain from the point-to-set principle of Jack H. Lutz and Neil Lutz [55]
where is the effective Hausdorff dimension of the point relative to the oracle . The formula turns the task of proving into a pointwise problem: for every oracle and every , one seeks a point such that .
Using algorithmic fractal dimension and this principle, Jack H. Lutz, Renrui Qi, and Liang Yu [56] proved that, for every , there is a Hamel basis of over with . This is a classical geometric and algebraic existence theorem proved by computability-theoretic methods.
1.3. Outline
There are also obstructions to Calkin realization. Horváth and Kania constructed unital Banach algebras that are not isomorphic to Calkin algebras of separable Banach spaces [48]. Acuaviva and Acuaviva constructed a unital Banach algebra that is not isomorphic to the Calkin algebra of any Banach space [1]. The theorem above concerns the dual Banach algebras characterized by the finite-dimensional quotient condition in Theorem 2.7.
The proof combines the following constructions and estimates. The rank-by-rank extension scheme is the Bourgain–Delbaen scheme [23]. The evaluation analysis, the RIS and basic-inequality method, and the exact-pair and dependent-sequence method follow the Argyros–Haydon line [14, 83, 66]. The auxiliary norm is a mixed Tsirelson norm in the sense of Argyros and Deliyanni [10]. Vector-valued BD sums provide related background for the use of finite-dimensional fibres [92]. The fair scheduling of finite requirements uses the recursion-theoretic finite-extension scheme described in [72, Section V.2]. For its Baire-category formulation in terms of dense open sets, see [72, Section V.3].
The proof of Theorem 1.1 has two parts. Part I constructs the space by a monotone finite-extension scheme relative to the local structure of and the corresponding admissibility data. The formal language, transition rules, and scheduler are fixed independently of , as described in the oracle formulation in Remark 4.5.
The finite-dimensional fibres and carry the module actions, while covariant packets make linear and multiplicative and give uniform bounds. The finite-extension and fairness properties realize every admissible finite requirement cofinally. Part I also constructs probes and establishes interval restriction and common-stem comparison. The consequences used later are collected in Theorem 6.7.
Part II first proves the local orbit statement in Theorem 8.11: for every and every RIS , we have The basic inequality gives the upper estimate for dependent sequences. If the displayed distances stay away from zero, separation gives a packet that detects the operator error. A root perturbation removes its error on the multiplier orbit, and the finite-extension property places the resulting data in a dependent sequence. The lower estimate for that sequence then contradicts the upper estimate.
The local statement allows the approximating multiplier to depend on . To obtain one coefficient for the whole operator, Proposition 9.2 first reads finite-dimensional coefficients from unit probes and then compares them using paired probes. The comparison is uniform over detector indices, so the limits form one bounded compatible family . A further pairing argument proves that tends to zero on the whole unit and core probe fibres.
Finally, Lemma 9.3 compares an arbitrary RIS with core probes carrying the same finite-dimensional error. The difference of the two evaluations annihilates every multiplier image. The local orbit statement therefore forces on every RIS. The compactness test in Lemma 7.9 makes compact, and unit probes give the exact essential norm.
Readers interested only in the proof strategy may read Theorem 6.7, then Theorem 8.11, then Proposition 9.2 and Lemma 9.3, and finally Theorem 9.4.
The realization theorem has several immediate algebraic consequences. We record two of them here. The remaining consequences are stated and proved in Section 10.
Corollary 1.4 (Unconditional sums of algebras).
Let have a normalized -unconditional boundedly complete Schauder basis . Suppose that each is isometrically a bounded inverse limit of a countable system of finite-dimensional Banach algebras with metric-quotient bonding homomorphisms. Give coordinatewise multiplication, where
Then is isometrically the Calkin algebra of a separable Banach space, with
For , the algebra is , and the realizing space can be chosen to have a Schauder basis.
Corollary 1.5 (-sums).
Let be finite-dimensional unital Banach algebras with . Their -sum, with coordinatewise multiplication, is isometrically a Calkin algebra:
In particular, is isometrically the Calkin algebra of a separable Banach space.
The -sum and -sum assertions follow from Corollaries 10.9 and 10.7. For , Corollary 10.14 also gives the Schauder basis assertion. This scalar case has the coordinatewise multiplication in [62], with the norm used here.
Constant component towers give arbitrary finite-dimensional summands. For nonzero unital summands with normalized units, Proposition 10.11 gives a converse for the finite-dimensional quotient representation. Remark 10.12 extends the construction to solid sequence spaces with the Fatou property.
Table lists examples from Section 10, with their products, norms, and realizing corollaries. Here is finite dimensional with , and has a normalized -unconditional boundedly complete Schauder basis. The ’s satisfy Corollary 1.4, which defines , and denotes the adjoined unit.
| Example | Algebra | Product | Norm | Cor. |
|---|---|---|---|---|
| Finite algebras and sequence constructions | ||||
| Finite-dimensional algebras | Given | 10.1 | ||
| Finite incidence algebras1 | Incidence | 10.2 | ||
| Bounded scalar sequences | Pointwise | 10.8 | ||
| -sums of matrices | Pointwise matrix | 10.7 | ||
| Unitized -sums | Unitization† | 10.9 | ||
| Unitized basis algebras | Unitization† | 10.14 | ||
| spaces | Unitization† | 10.13 | ||
| Tsirelson’s original space | Unitization† | 10.16 | ||
| Discrete convolution and incidence algebras | ||||
| Free-monoid convolution1 | Convolution | 10.19 | ||
| Dirichlet convolution1 | Dirichlet convolution | 10.20 | ||
| -incidence algebras1 | Incidence | 10.23 | ||
| Upper-triangular matrices1 | Matrix | 10.24 | ||
| Function and operator algebras | ||||
| Hölder algebras1 | Pointwise | 10.26 | ||
| Hardy algebra1 | Pointwise | 10.30 | ||
| Matrix RKHS multipliers1 | Pointwise matrix | multiplier norm | 10.28 | |
| Atomic nest algebras1 | Composition | operator norm | 10.27 | |
| Free semigroupoid algebras1 | Composition | operator norm | 10.31 | |
| Classical harmonic analysis | ||||
| Measure algebras1 | Convolution | 10.34 | ||
| Fourier–Stieltjes algebra1 | Pointwise | 10.35 | ||
| Fourier multipliers1 | Pointwise | 10.36 | ||
| Herz–Schur multipliers1 | Pointwise | 10.36 | ||
| Quantum convolution algebras | ||||
| Universal duals1 | Convolution | dual norm | 10.37 | |
| Quantum hypergroup duals1 | Convolution | dual norm | 10.38 | |
| Duals with bounded counit1 | Convolution | dual norm | 10.40 | |
| Unitized duals1 | Unitization† | 10.40 | ||
† We use the standard Banach-algebra unitization, with where is coordinatewise multiplication in the four sequence-space rows and convolution in the last row.
Pointwise matrix products use and , respectively, with ordinary matrix multiplication.
In the Hölder row, , and we use
For , we have and . Here , , and is Tsirelson’s original space [84], with the usual basis and the -notation described in [21, Section 2.4]. The identification uses the Stone–Čech compactification of the discrete space , as described in [29, Section V.6]. The free monoid includes the empty word, whereas has multiplication of integers. The two -algebras carry convolution, with Dirichlet convolution in the second case (see [75, Section 3, Example 1] for its divisor-poset interpretation). In the incidence rows, is a nonempty partially ordered set that is, respectively, finite or countable and lower-finite. The latter means that is finite for every . The matrices are supported on , and incidence multiplication is the standard product from [75, Section 3]:
For with its usual order, , the upper-triangular matrices with finite displayed row norm. For the -incidence construction used here, see [2, Definition 5.9 and Proposition 5.15] and Corollary 10.23.
The space is a nonzero separable complex scalar reproducing-kernel Hilbert space, and the multiplier norm is that on , with the kernel and multiplier terminology of [4, Chapter 2]. The nest is -atomic with finite-dimensional atoms [35], and is the canonical free semigroupoid algebra of a nonempty countable directed graph [53]. Measure algebras carry convolution and the total-variation norm [32], whereas Fourier–Stieltjes and Fourier multiplier algebras carry pointwise multiplication [36, 52]. Here is any countable discrete group, and denotes multiplication by on its Fourier algebra . In the quantum hypergroup row, is the underlying separable -algebra of a compact quantum hypergroup in the sense of Chapovsky–Vainerman [28]. In the quantum-group rows, has separable , and is a completion in a quantum group norm, so its coproduct extends to the minimal tensor product [91, 54]. The ununitized row requires a bounded counit, while the unitized row includes reduced and exotic completions without this assumption. All these duals carry convolution, and has norm in the unitized row.
2. Finite-dimensional quotients and their bounded limits
We prove the assertions about in Corollary 1.3, construct the predual of the bounded inverse limit, and prove the equivalences in Theorem 2.7. We retain the notation of Section 1: , , , and .
2.1. Quotient inverse systems and the canonical map
Lemma 2.1 (The quotient inverse system).
Proof.
Since , we know that the map is a well-defined surjective unital homomorphism. For , we have
If , we obtain from the quotient norms
Choose a minimizing sequence in the affine fibre . Its norms are bounded, so finite dimensionality of gives a convergent subsequence. The fibre is closed, so the limit is still a lift of , and continuity of the norm shows that it attains the infimum. Finally, the quotient is nonzero, and we have
Hence we obtain , and prove both assertions. ∎
Proposition 2.2 (The canonical homomorphism).
The bounded detection envelope is a unital Banach algebra. The map is a contractive unital algebra homomorphism with . Moreover, we have
| (2.1) |
Thus is injective when is separating and isometric when is norming.
Proof.
The compatibility equations define a closed unital subalgebra of , so is a unital Banach algebra. For , we have and . Hence is a unital algebra homomorphism. Since every quotient map is contractive, we have
Also, if and only if for every , equivalently . Finally, we have . This proves (2.1) and the remaining assertions. ∎
For , an element is a representative of if , or equivalently .
Proposition 2.3 (Bounded coordinate approximation).
Let and . There is a sequence , with , such that
Consequently, is coordinate dense in through uniformly bounded approximants.
This follows directly from the quotient norm and compatibility: choose with and . For , we then have .
The convergence in Proposition 2.3 is coordinatewise. For example, the sequences satisfy
Theorem 2.4 (Surjectivity from compactness).
If every closed norm ball in is compact in , then is onto. If the filtration is also separating, then is an isometric unital algebra isomorphism.
Proof.
Let , put , and fix . Proposition 2.3 gives such that in the coordinate topology. Thus lies in the coordinate closure of . The ball is compact in , and is continuous from to the coordinate topology. Its image is therefore compact and hence closed in the Hausdorff coordinate topology. Thus there is such that and .
Suppose that the filtration is separating. Then is injective, so all the elements are equal to one element . Hence we have for every , and therefore we obtain . By contractivity of , we obtain the reverse inequality . Thus we have , as required. ∎
Corollary 2.5 (Weak-star closed envelopes).
Suppose that isometrically and every ideal is weak-star closed. If is separating, then we have
isometrically as unital Banach algebras.
Proof.
Put . Since is weak-star closed, we obtain from the annihilator theorem. The space is finite dimensional, and restriction to identifies isometrically with . Fix a basis of . By equivalence of finite-dimensional norms, there is such that
If in the weak-star topology, then the right-hand side tends to zero. Hence is weak-star-to-norm continuous. Thus is weaker than the weak-star topology on every norm ball. By the Banach–Alaoglu theorem, we know that the ball is weak-star compact, and hence compact in . Then we can apply Theorem 2.4. ∎
2.2. The bounded-limit predual
Let be any countable inverse system of finite-dimensional unital Banach algebras satisfying (1.1)–(1.2), and put . Put and . Let be the algebraic direct limit, and let be the canonical embeddings, so that .
Lemma 2.6 (Bounded-limit predual).
is a unital Banach algebra, and every is an isometry. Equip with the norm for and , and let be its completion. We use the same notation for the embeddings of into . Then isometrically, with the duality given by
Moreover, for every , the coordinate map , given by , is a metric quotient and satisfies . On every norm-bounded subset of , the coordinate topology agrees with the weak-star topology induced by .
Proof.
The compatibility equations define a closed subspace of . Coordinatewise multiplication preserves compatibility, and we have
The compatible family has norm one. Hence is a unital Banach algebra.
We next check that the maps used to form the predual preserve norms. Fix and . By contractivity of , we have
Conversely, the fibre is closed in the finite-dimensional space , so the infimum in (1.2) is attained. Thus, for every , there is with and . Therefore, we have . Taking the supremum over , we obtain , and hence .
We now identify the dual of the completed direct limit. Let , and restrict it to each stage. Since , there is a unique such that
If , then we have
Thus is compatible. Moreover, we have , and hence with .
Conversely, let . On the algebraic direct limit define . To check that this is well defined, suppose that . At a common later stage , we have . Compatibility then gives
Linearity follows by moving any two vectors to a common stage. Moreover, we have
Therefore extends to and . On the other hand, we have
Thus we obtain . For the family obtained from the original functional , the functionals and agree on the algebraic direct limit and hence on its closure. Therefore, we have isometrically.
Fix . The minimum in (1.2) is attained because all stages are finite dimensional. Starting with , choose successively such that
For , put , so . By the inverse-system identities, we have
Thus , with and . Thus every has a lift of the same norm. Since is contractive, we obtain both the metric-quotient property and .
It remains to compare the two topologies. On bounded subsets of , coordinate convergence is precisely -convergence. Indeed, suppose that and for every . For and , we have
Given , density gives and such that . Keeping this and fixed, we obtain
Since is arbitrary, we obtain weak-star convergence. Conversely, weak-star convergence gives weak convergence in each finite-dimensional , hence norm convergence. ∎
Theorem 2.7 (Duality for bounded inverse limits).
Let be a unital Banach algebra with . The following assertions are equivalent.
- (i)
There is a countable inverse system of finite-dimensional unital Banach algebras with unital metric-quotient bonding homomorphisms such that isometrically as unital Banach algebras.
- (ii)
There are a Banach space , an isometric identification , and weak-star-to-norm continuous unital homomorphisms , , where every is finite dimensional, such that .
- (iii)
There are a Banach space , an isometric identification , and increasing nonzero finite-dimensional subspaces with , such that every annihilator is a proper two-sided ideal of .
Whenever these assertions hold, the predual may be chosen separable.
Proof.
We prove . The first implication reads off the coordinate maps. The second takes their common kernels, and the third reconstructs each functional from its compatible restrictions.
Suppose first that (i) holds. Lemma 2.6 gives the isometric predual of the bounded inverse limit. After transporting this predual to , let be the coordinate map. Under , this map is the adjoint of the canonical inclusion . Hence is weak-star-to-norm continuous. The coordinate maps are unital homomorphisms, and because the coordinates determine every element of the inverse limit. This proves (ii).
Suppose that (ii) holds, and put and . The map has finite-dimensional range and kernel . Hence has finite codimension. Since each is weak-star-to-norm continuous, its kernel is weak-star closed. Each kernel is a two-sided ideal, and unitality gives . Thus is proper and weak-star closed. The annihilator identities show that
The ideals decrease, and therefore the spaces increase. By joint faithfulness, we have
By the Hahn–Banach theorem, we now obtain , which proves (iii).
Suppose next that (iii) holds. Put and . By the restriction form of the Hahn–Banach theorem, we obtain
For , the bonding map is restriction . It is a unital homomorphism because the ’s are ideals, and, by the Hahn–Banach theorem, we obtain
Also, we have and , so .
Let be a bounded compatible family and put . On , define
If , compatibility gives , so is well defined. Addition and scalar multiplication may be checked in a common , proving linearity. The displayed bound and density of give a unique extension , with , and we have
Hence is an onto isometry. Since all its coordinates are unital homomorphisms, we conclude that it is a unital algebra isomorphism. This proves (i). Finally, is separable, as asserted. ∎
Part I Oracle-recursive finite extensions
3. The block Bourgain–Delbaen construction
The next lemma is a block form of the Bourgain–Delbaen extension estimate [23], and its scalar version appears in [14, Theorem 3.4]. Its bound is independent of the dimensions of the blocks. This allows us to use the finite-dimensional algebras and their duals as fibres in Section 5. Subscripts denote chosen preduals, while superscripts are also used for their correction maps and projections.
Let be finite sets, let be finite-dimensional Banach spaces, and put
Write for the ambient injection. Consider a family
where . We call the correction functional. In the scalar case, is the Bourgain–Delbaen extension functional in the terminology of Motakis [66]. Denote by the algebraic projection onto the first ranges , along the later -blocks. We use the conventions and .
Figure 1 displays the ambient components of , with rows indexed by and columns by the ambient rank . The diagonal entries are identities, and each is a possibly zero component of . All entries with vanish.
We call the corrections in (3.1) and (3.2) type zero and type one, respectively. Their scalar versions correspond to Types 1 and 2 in [14, Definition 3.3]. Motakis [66, Proposition 3.2] uses types (a) and (b) for the analogous scalar corrections without and with a predecessor term, respectively.
Lemma 3.1 (Block BD lemma).
Let . On each summand of , assume that the correction has one of the forms
| (3.1) | ||||
| (3.2) |
where , , and is a contraction. In the second form, and is a contraction. Then we have
The blocks biorthogonal to form a finite-dimensional decomposition (FDD) of a block BD space whose projections satisfy
Proof.
We first bound the algebraic projections on finite ambient sums, and then use their adjoints to construct the FDD. The change from the ambient blocks to the -blocks is unit triangular on each finite initial sum. Therefore, we obtain
In particular, we have for . We prove the estimate on the first ambient blocks by induction on . The first block has zero correction. Suppose the estimate holds through rank , and fix . On a type-one summand, we have , so we obtain
If , the second term vanishes, and the first term is controlled by the inductive bound on the first ambient blocks. If , then , so the first term is . Since also lies in the first ambient blocks, we have
Consequently, we have
On a type-zero summand, we obtain from the same calculation, with the predecessor term omitted,
Since , we obtain, on writing ,
Thus, for in the first ambient blocks, we have
For the projection is the identity, completing the induction.
Each extends to . If is supported on the first ambient blocks, then, for , we have
Hence, by density, we obtain . Let be the -th ambient coordinate map and define . The top ambient coefficient of is , so we have
Hence we have , while every other -block annihilates . Thus is injective. For and , biorthogonality gives
Since the -blocks span a dense subspace of , we obtain
On , the restrictions therefore converge strongly to the identity: if and , then we have . This proves the FDD assertion, with
∎
4. Finite modules and the oracle
We use the tower and bounded limit of Theorem 1.1. As in Lemma 2.6, and are the predual fibres and their isometric connecting maps. We specify the finite modules and the exact statements used by the recursion. The block estimate in Lemma 3.1 applies uniformly to these modules.
4.1. Finite detector modules
For , write and . For , let act on the core fibre by , and on the unit-probe fibre by . Both actions are contractive homomorphisms, since and . By the metric-quotient assertion in Lemma 2.6, we have .
4.2. Covariant finite packets
For the reader’s convenience, we recall some basic facts about Banach modules.
At a finite stage, an atom carries a detector index and a finite-dimensional fibre . We denote its module action by the contractive unital algebra homomorphism . In operator terms, is a linear assignment of a bounded operator on to each , satisfying
We write . The first identity says that and this is the left module law. We denote this space together with its action by . For the two fibre types introduced above, we have
We next describe the induced action on the dual space. For each , the bounded operator has a Banach adjoint . Here the star applies to the whole operator . Its action on a functional is given by composition:
Thus we first apply to , and then evaluate the resulting vector with . Using the bilinear evaluation pairing , we have, for , , and ,
The first identity makes a right module, and the second expresses compatibility with the evaluation pairing. Using the canonical identifications and with the biduals, we obtain the two dual right actions
Write for the injection of into the ambient -sum of fibre duals. Fix an ordered packet representation , with and , and write its value as
| (4.1) |
Take for every entry. For the empty packet, set and , with no restriction on . For each entry, define by specifying the value of on a vector:
| (4.2) |
Here we first apply to , apply the corresponding operator to , and then evaluate with . Equivalently, using the adjoint notation just introduced, we have
We then pass these functionals into the map , given by
| (4.3) |
Lemma 4.1 (Covariant packet lemma).
Regard as taking values in the finite ambient sum where repeated atoms contribute to the same coordinate. Then is a contraction, and we have The adjoint intertwines the left module actions, that is, for every , we have
| (4.4) |
Proof.
Fix . By contractivity of the module actions and the bonding maps, we have . Hence we obtain
By unitality, we have , and hence .
The identity will be used in the root perturbation in Lemma 8.3.
4.3. The finite oracle
Choose ordered bases in and the dual bases in . Let be the countable set of structure constants of the units, multiplication maps, and bonding maps. Write over and over . For a subfield , let and denote the vectors with coordinates in . Put
| (4.5) | ||||
Here consists of the complex conjugates of the members of , and equals in the real case.
Lemma 4.2 (Coded normalization).
The field is countable and dense in . If or , then we have
In each fibre, the coded vectors in the closed unit ball are norm dense in that ball.
Proof.
A field generated by countably many scalars is countable. Since each fibre is finite dimensional, we have
By induction, we obtain , and density follows from . In the complex case, is closed under conjugation, and each later field is obtained by adjoining real scalars. Thus every , and hence , is closed under conjugation. The fields are increasing, so the finitely many coordinates of belong to one . Hence we obtain
To prove the density assertion, fix in the unit ball and a coded vector close to . Then is coded, , and we have
Since coordinate convergence is norm convergence in a finite-dimensional fibre, we obtain the assertion from density of . ∎
Fix an enumeration of , with and . A scalar is represented by its index, a vector by a finite list of indices and its fibre tag, and a matrix by its source and target tags and its entries. Thus the syntax consists of finite words of natural numbers and has a fixed Gödel coding [41]. The syntax is independent of , while the oracle supplies the interpretation of its scalar and fibre tags.
Definition 4.3 (Inverse-limit detection oracle).
Let be the following family of finite statements, with all vectors and matrices well typed:
- (i)
dimensions, scalar-field tags, and coordinate types;
- (ii)
the scalar and structure tables, including
and the coded entries of the units, multiplication, bonding maps, and module matrices;
- (iii)
for a coded fibre vector , a coded finite matrix , and a coded real scalar , the comparisons
- (iv)
finite packet bounds and separation inequalities, including
The detection oracle is the truth set
| (4.6) |
A query with code returns the membership bit . Figure 2 illustrates a query for .
Remark 4.4.
To compute , we query whether for until the oracle answers . Since , we find such a after finitely many queries. We treat multiplication, conjugation, and inversion of nonzero scalars in the same way. Alternatively, we could encode scalars by expressions and form the codes of sums and products inside the machine.
Remark 4.5 (Oracle-recursive form).
In Turing’s terminology [85], there is one oracle program , independent of the tower, which performs each transition in Construction 5.3. Write for the code of the finite state through rank , with the code of the empty state. Then we have
where means that the coded states extend one another without changing old records. Iterating this transition computes from relative to . The finite transition and its termination are verified in Section 5. The oracle encodes the finite-dimensional tower and may be noncomputable.
5. Oracle-recursive BD construction
The coding of special histories in the Argyros–Haydon construction follows the method of Gowers and Maurey [42, 14]. The current realized outer stem determines the next inner level and the initial cutoff of the attached inner chain. After the inner chain is complete, a compatible certificate permits one outer continuation. We record these steps as separate finite requirements, and prove that every admissible continuation occurs cofinally.
Recall that is the detector tower, is its bonding map, and . We apply the block construction of Section 3 to the core fibres , with action , and the unit-probe fibres , with action , as in Section 4. The finite recursion has four kinds of requirements: generic continuations, seeds, coded inner continuations, and outer continuations with a finite certificate. Each transition reads only old records and finitely many answers from . The resulting finite-extension property allows the operator argument to select suitable chains in the completed space.
5.1. Finite states and parameters
Fix the numerical parameters recursively by
where
At step , first compute , and then . Thus all these integer sequences are computable, with serving as the branching bound used below. Put
| (5.1) |
These choices give
| (5.2) | |||
| (5.3) | |||
| (5.4) |
Indeed, we have , and hence we obtain
The remaining estimates follow from
Construction ranks belong to , whereas detector indices belong to . At rank , there is a finite set of atoms. Every atom carries a detector index , a module , and an level . Thus is the construction rank, selects the finite algebra, and is the level. For a core record of level below, we have and its weight is . An atom records one fibre and its place in the construction. We use three atom tags on two fibre types. Figure 3 summarizes their information and uses.
- (i)
a core atom has and .
- (ii)
a unit probe has and .
- (iii)
a core probe has the core fibre and the core action, but has zero correction and is never used as a predecessor.
The core atoms are the nonprobe atoms. Both types of probes may occur in represented packets, but neither is used as a predecessor. Their evaluation and norm estimates are given in Lemma 6.2 and Proposition 6.6.
Put
For an atom , let be the ambient predual injection. A represented packet is an ordered finite word
| (5.5) |
All coefficients, atoms, and fibre vectors in this word are part of the record. In particular, zero entries and their positions are retained, so two packets can have the same value without being the same represented packet. Put
If for every entry, the lift of to detector index is the map defined by (4.2)–(4.3). For the empty word, the value and the lift are zero, and the detector condition is vacuous. Lemma 4.1 gives
| (5.6) |
A represented packet is oracle-coded when its coefficients and the coordinates of all its fibre vectors belong to . Only oracle-coded packets are admitted to atom records and finite requirements. An interval restriction is a derived analysis of the ordered entries rather than a new represented packet. The restriction formula and the records retained by this operation are specified in Lemma 6.4.
The coefficient field and oracle are those of Definition 4.3. Every admissibility test uses finitely many coded finite-dimensional statements from that definition. We use the finite-extension method relative to this oracle [72, Section V.2]. In its Baire-category formulation, finite conditions determine basic open sets of infinite extensions, and eventual satisfaction of a requirement is expressed by a dense open set above a condition that activates it. Simultaneous satisfaction of the countably many requirements then corresponds to a comeager set of branches; see [72, Section V.3]. A finite condition is the finite datum below a rank, ordered by end extension. Lemma 5.4 proves persistence and least-code fairness, and Proposition 5.5 gives the resulting cofinal realizations. Proposition 5.6 separately verifies that the prescribed corrections satisfy the block BD estimate.
5.2. Stage recursion and finite requirements
5.2.1. Atom records and triangular coordinates
The rank, weight, age, and predecessor are the usual BD–AH chain data [14, 83, 66]. The detector index specifies the finite algebra acting on the fibre. Fix an injective coding by , where is the position of an atom among those of rank . These positions are assigned in the fixed order
followed, for core atoms, by the requirement code and copy index. Within each probe tag, order the canonical probes by their detector indices. Identifiers are never reused. A nonprobe atom has the core record
| (5.7) |
whose parameters have the following meaning.
| Parameter | Meaning |
|---|---|
| the birth rank of | |
| , , or | |
| the level and root weight | |
| the age, with | |
| the initial cutoff | |
| the root label, fixed along a predecessor chain | |
| the identifier of the predecessor, or at age one | |
| the local cutoff and left endpoint of the cell | |
| the represented packet in the current correction | |
| the detector index, with | |
| the seed, attached stem, and certificate, empty in the generic case | |
| the copy index |
We write , , and for the corresponding entries of the record. We write when occurs earlier on the predecessor chain of , and use ⌢ for concatenation of finite words. The entries satisfy the following compatibility conditions.
- (A1)
Every nonprobe atom is a core atom. Thus we have and .
- (A2)
If , then we have and . If , the identifier belongs to a unique old core atom, still denoted by , and we have
- (A3)
The packet uses only old atoms and is supported in the open cell:
(5.8) - (A4)
The root label is
where is the copy index of the age-one generic atom.
- (A5)
The structural history is the finite word
(5.9) It is used both for predecessor recursion and common-stem comparison.
The cell of is . Along a predecessor chain the cells are successive and disjoint. All core records and histories are fixed at birth and are never subsequently modified.
A probe record has the form
| (5.10) |
For canonical probes, set . For its fibre is with action , whereas for its fibre is with action . Every probe has level zero and zero correction. It may occur in a later represented packet, but it is never admitted as a predecessor.
For every atom and , let be the correction functional specified below and put
| (5.11) |
We call the Bourgain–Delbaen (BD) biorthogonal part of the ambient coordinate functional. Once the ranks below have been constructed, the unit lower-triangular change of coordinates identifies their ambient predual sum with the span of the corresponding -blocks. We denote by the algebraic projection onto the blocks of rank at most , and put . Thus every symbol in a rank- correction is already defined before that correction is formed.
At a completed finite stage, invert this finite unit-triangular change of coordinates and take its finite-dimensional adjoint. We use , , , and for the resulting block injection, block coefficient, ambient coordinate, and ambient coordinate evaluation. Equations (5.23)–(5.29) below prove that these finite objects are compatible under end extension. More explicitly, on the first ambient blocks write the triangular change as , where is strictly block triangular. Then we have
Starting with the zero probe corrections, induction shows that every entry of , , and their finite adjoints belongs to . At the inductive step, the only new entries come from the old projections, the coded packet maps, the bonding maps, and , through finite sums and products. Thus all finite coordinate maps used in a certificate have codes obtained by querying the scalar tables in Definition 4.3.
Every nonprobe atom has core fibre , so its dual fibre is . If it has age one (type zero) and level , its correction is
| (5.12) |
where is an old represented packet and for every atom in that packet. If has age greater than one (type one), with old core predecessor , put
| (5.13) |
All raw packet supports lie in the open cell . A probe has zero correction. Lemma 4.1 makes the unprojected packet map contractive, and the predecessor map in (5.13) is contractive. These observations will be used in Proposition 5.6.
Fix the recursive partition of the positive levels
into generic, outer, and coded-inner levels. Generic levels admit the packet choices in (R1). An inner level is determined by the current stem through , and an outer continuation must carry the strong packet and certificate in (R4). This is the history restriction used in the dependent sequence estimate. Let be the set of finite well-typed words over the oracle language. A formal stem is a word in having the entries displayed below, and its length is the number of its outer entries. Before the BD recursion begins, fix an injective map
Enumerate the domain by Gödel code, using the oracle to decide finite typing. Assign to each word the least unused inner level above every rank, level, and cutoff written in which also satisfies
| (5.14) |
The choice is possible since is infinite and . Also, we have
For any fixed input, only finitely many smaller Gödel codes are inspected, and only finitely many inner levels have already been assigned. Thus the search terminates and computes relative to .
Definition 5.1 (Seeds, realized stems, and certificates).
A seed is a record
born at rank . A realized outer stem over is
| (5.15) |
where is an outer core chain of level . Put
Recursively, if is the stem before the -th triple, then we have , and is the terminal atom of an attached inner core chain of level and age . The represented strong packet on the outer edge is
| (5.16) |
If , then, because is a core atom, we obtain
| (5.17) |
Let be such an inner terminal and let . If a finite-dimensional subspace is given by a stored finite spanning matrix, define
Equivalently, this is the union of the coefficient supports of the stored columns. A certificate compatible with is a finite coded record
| (5.18) |
satisfying the following conditions.
- (C1)
The vectors , the interval , the integer , and the finite coefficient matrix defining belong to the old coded finite-stage structure, and we have
- (C2)
The integer dominates and the detector indices of every atom for which , and is the image of under the finite coefficient map
(5.19) The subspace is unchanged when is increased, as verified below.
- (C3)
, equivalently , and for some .
To verify these assertions, write for the map in (5.19). Compatibility and surjectivity give, for ,
On each nonzero coefficient of , the definition gives
Take finite adjoints in (5.12)–(5.13). Every ancestor used to compute has detector index at most . The predecessor maps intertwine by multiplicativity of the bonding maps, and the packet maps intertwine by (4.4). For an FDD interval , deleting the coefficient rows outside gives
for each nonzero coefficient of , with both sides zero at the other atoms. Here the same formula (5.19) defines . Thus , and the projected packet terms also intertwine. Starting with the zero-correction atoms and inducting on these old ranks, we obtain
Pairing this identity with , we obtain
Since is a finite-dimensional metric quotient, it maps onto . Indeed, the minimum norm in each fibre is attained in finite dimensions and equals the quotient norm. Hence we obtain
| (5.20) |
This proves the equivalence in (C3) entirely on the completed finite stage. If are the stored columns spanning , its support and annihilation tests are precisely
These are finite algebraic, support, and norm statements, and hence are well-defined oracle queries. The later operator argument selects certificates from this coded family.
The finite requirement language consists of the following four types. Every requirement also contains a lower rank bound and a copy index .
- (R1)
Generic requirement. Choose , an initial cutoff , and either an empty generic chain or an old generic core chain of level , initial cutoff , and age . In the empty case set , , and , and otherwise let be the last atom and set . Choose an old oracle-coded represented packet supported after , and a detector index at least those of and all packet atoms. Set when , and when . The output is the age-one root or the age- core continuation. Its entries other than the birth rank are
- (R2)
Seed requirement. Choose . At a rank , register the new seed . The seed has no root-label entry. This adds no nonprobe atom, and the canonical probes at rank are still added.
- (R3)
Inner requirement. Choose a seed , a realized stem over it, put , and give the attached inner chain initial cutoff . Choose either the empty inner chain attached to , in which case , , and , or its old last atom of age , in which case . Choose an old oracle-coded packet supported after and an output detector index above the detector indices already named. Set . The output has entries
- (R4)
Outer requirement. Choose a seed , a realized stem of length , the completed inner chain of level , its terminal , and a compatible certificate . Put , use the strong packet , and choose an output detector index . The output is the age- outer core atom, whose predecessor is the last atom of when , and is empty when . Set . Its entries are
The new realized stem extends by the output identifier, its core record, and .
The requirements use only coded vectors. The operator argument obtains coded approximations through Lemma 8.2.
The seed requirement (R2) is admissible at rank precisely when . It has no BD weight and requires no inequality between and its seed level . A nonseed requirement is admissible at rank when all named atoms, packets, seeds, stems, terminals, and certificates are old, every named packet is oracle-coded, , every required detector index is at most , the relevant age bound holds, the local cutoff is smaller than , and the raw packet support is contained in . For (R1), (R3), and (R4) we also require , where is the output level, and choose above every named detector index. In (R1), (R3), and (R4), a continuation with must satisfy . For (R4), the whole certificate interval and the inner terminal lie in . These are finite tests. In particular, every atom occurring in a correction has rank strictly below the output rank.
Remark 5.2 (Order of the seed, inner, and outer requirements).
Let (R2) register , and put . For , suppose that the realized outer stem has length , and set
The seed fixes the outer level . The inner level is fixed by the whole current stem and remains unchanged while (R3) builds its attached inner chain. Writing for that chain, an ensuing (R4) realization satisfies
The last inner atom supplies the strong packet , while the outer predecessor is when , and is empty when . Given a certificate satisfying (C1)–(C3), (R4) records
In the operator argument, Lemma 8.3 gives the vanishing condition in (C3) by
and Lemma 8.4, under its stated hypotheses, supplies the remaining certificate data. Thus each such outer chain begins with one use of (R2), followed, for each , by uses of (R3) and one compatible use of (R4). Other requirements may be met between any two of these steps.
Figure 4 records these dependencies. The dashed arrow indicates the outer predecessor when .
Construction 5.3 (Fair oracle recursion).
Fix a Gödel enumeration of the formal candidate requirements of types (R1)–(R4). A candidate referring to an atom or stem not yet present is inadmissible at that stage. Every choice of finite data in (R1)–(R4), together with a lower bound , occurs with infinitely many distinct copy indices, and no copy index is reused. An unmet requirement is called active at a rank when it is admissible there. Let code the empty state. Let be the code of the completed state below rank : the atom records, seeds, finite coordinate matrices, and met requirements. Write for its set of met requirement codes, with . Define
| (5.21) | ||||
The rank- transition consists of the following steps.
- Step 1.
For every , add one unit probe and one core probe of detector index , with zero correction.
- Step 2.
If , act on : register its seed, or add its prescribed core atom. In either case put
- Step 3.
Let be the code of the resulting completed state. Each rank has probes and at most one core atom, so we have
where denotes end extension.
The transition is computed by one oracle program , independent of the detector system. For , its stage- computation has the form
where and are computable procedures on codes. There are only candidate codes . For each candidate, the stored dependencies can be checked in the finite state. The scalar-table queries in Definition 4.3 implement exact arithmetic, and the searches terminate because is closed under the required field operations. Computing any required -value also terminates by the construction above. Thus the admissibility tests, the selected action, and the finite triangular inversion all finish after finitely many oracle queries. In particular, writing , the stage output satisfies
Indeed, run the same transition with , and use primes for its query and answer codes. Induction on the query number gives
The program therefore halts at the same step and returns the same output after the last answer. This shows the relative recursiveness asserted in Remark 4.5.
Here Figure 5 shows the finite queries and the records added at one rank.
For the finite-extension and priority-method background, see [72, Section V.2], [80, Chapters 6–7], and [30].
Lemma 5.4 (Persistence and no injury).
Every action in Construction 5.3 has only lower-rank dependencies. Admissibility of a requirement is persistent under end extension, every active requirement is eventually met, and the construction has the no-injury property.
Proof.
Admissibility gives
whenever the corresponding predecessor, packet, or inner terminal is present. Probe corrections vanish. Thus every correction has only lower-rank dependencies.
All finite records and all answers to their oracle queries are fixed. The remaining rank conditions are lower bounds, so we have
Suppose is active at . As long as it remains unmet, the scheduler selects an unmet code . If , then we have
There are at most such codes. Hence we obtain
proving fairness. Finally, each step assigns fresh identifiers and appends records, so end extension preserves all earlier corrections, packet words, histories, stems, and certificates. ∎
Proposition 5.5 (Finite-extension property).
Construction 5.3 has the following properties.
- (a)
Every admissible oracle-coded generic extension has a realization above every prescribed lower bound. Successive admissible choices of packets are realized along one generic predecessor chain, up to its age bound.
- (b)
Seeds of every outer level occur after every cutoff. Given a realized outer stem , packets may be chosen successively, with later choices allowed to depend on the atoms and ranks already realized. Every such finite oracle-coded list is realized along one inner predecessor chain of level , up to age .
- (c)
After an inner chain is complete, every compatible coded certificate has an outer continuation after every cutoff. Iterating this assertion realizes every finite compatible outer stem, up to age .
- (d)
The canonical probes give cofinally many unit and core probes of every fixed detector index.
Proof.
Fix an admissible extension with old dependencies and a desired cutoff . Choose its occurrence with lower bound greater than . If it has already been met, its output has the required rank. Otherwise, all rank conditions are lower bounds, so there is such that
By Lemma 5.4, this occurrence is met at a rank . This proves cofinal realization of each extension.
For a generic chain, once is realized, select the next admissible packet with
After its entries are old, the preceding argument produces with predecessor exactly and . Induction proves (a). A seed is produced by the same argument. For a fixed realized stem , every inner continuation names that same stem, so its level remains . After each realization, the next packet may be chosen using the newly known identifier and rank. The enumeration contains the resulting finite requirement, and the preceding argument applies again. This proves (b).
For (c), let be the completed inner terminal and the interval of a compatible old certificate. An occurrence of (R4) with
produces the required outer continuation. Iteration extends the stem up to age . Finally, every rank contains both canonical probes of detector index , proving (d). ∎
5.3. Bourgain–Delbaen realization of the finite records
Proposition 5.6 (Bourgain–Delbaen correction forms).
Proof.
For , put
Unit triangularity gives algebraically. For , let
Eliminating the top ambient block first shows that, if , we have
| (5.22) |
Lemma 3.1 and Proposition 5.6 give . Define
| (5.23) |
By finite-dimensional duality, we have . To verify compatibility of the maps , take and . Then we have
Thus (5.22) implies
The compatible vectors define in the ambient -sum, and we have
Since fixes the first ambient blocks, preserves the prescribed initial coordinates. For , we have , and finite-stage adjointness gives
The last functional uses only ranks below . Thus the extensions satisfy
| (5.24) | ||||
| (5.25) |
Conversely, these equations determine all later coordinates by induction on the rank, so the adjoint and recursive definitions agree. For , the vectors and have the same first coordinates and satisfy the same recurrence thereafter. By uniqueness, we obtain
| (5.26) |
Put
where in the last formula the vector in is placed in the last block and all earlier blocks are zero. If , define for . For atoms , finite-stage adjointness gives the atomic biorthogonality relation
| (5.27) |
Indeed, project to the birth rank of . If , its -block is either retained away from the one nonzero input coordinate or deleted, whereas at the same rank the correction of is old, leaving only the ambient coordinate.
Equation (5.27) defines the coefficient maps
| (5.28) |
If , then for , so finite-stage adjointness gives at those ranks. The invertible triangular change of coordinates gives the same first ambient coordinates for and . Both vectors belong to , so uniqueness of the extension gives
Consequently, is exactly the algebraic span of the blocks , and the initial FDD projection is
Indeed, pairing either side with gives . For , let be the set of ranks at which one of these coefficients is nonzero, and let be its integer interval hull. For nonzero finitely supported vectors and an atom , write , , or when, respectively,
This is the FDD/rank order used below. The ambient coordinate vector is defined by
| (5.29) |
When ambient functionals act on , we use the same notation for their restrictions to , and in particular on . For , we have , and the evaluations with form a norming family for . The block maps and projections satisfy
| (5.30) |
Indeed, since carries the norm inherited from the ambient -sum, we have
If and has only the -coordinate , then we have and
Moreover, is the -ambient coordinate of the singleton FDD projection . Contractivity of the ambient coordinate map and the interval estimate give
This proves the last two bounds in (5.30), whereas the first three are the extension, initial-projection, and interval-projection estimates above. In particular, every extends uniquely to , and the same symbol denotes this extension.
The maps and give different coordinates of the same vector, as illustrated in Figure 6. For , we have whenever , while the later ambient coordinates are determined by the correction equations (5.25). Thus a vector with finite FDD support may have nonzero ambient coordinates at later ranks. For a probe atom, the correction is zero, so we have .
6. Evaluation analyses and multipliers
Recall that is the BD block coefficient, whereas is the ambient coordinate and . We write for the FDD projection onto the ranks in , and for the covariant packet lift in (4.2)–(4.3). The constants and are the extension and interval-projection bounds in (5.30), and we continue to denote the level of an atom by . We derive the evaluation analysis and prove the probe isometries, scalarization identity, and finite shielding estimates used in Part II.
6.1. Evaluation analysis
The following expansion is the block version of the scalar evaluation analysis in [14, Proposition 4.5].
Let be a nonprobe atom. Its stored history gives the predecessor chain
For , put
| (6.1) |
Both maps in (6.1) are contractions.
Lemma 6.1 (Evaluation analysis).
Every scalarized evaluation of level has the analysis
| (6.2) |
The cells are successive, and each lies in the absolute convex hull of lower-rank scalarized ambient coordinates occurring in that cell. A probe evaluation has level zero and equals its own -coordinate.
Proof.
The packet is supported on ambient ranks below , so unit triangularity gives . Hence the finite interval projection in the correction can be replaced by a tail projection:
For , the triangular coordinate identity now gives
The predecessor term is omitted when . When , compatibility of the bonding maps gives
Summing the one-edge identities cancels every intermediate evaluation and proves (6.2). The record conditions give and , so the packet cells are successive.
If , then we have
Put
The bonding maps and module actions are contractive. Since , we have Consequently, we obtain
For the coefficients, we have
This proves both contractivity and the absolute-convex-hull assertion. The maps are contractive because they are bonding maps, and is contractive by Lemma 4.1. For a probe, we have , so we obtain . ∎
Lemma 6.2 (Isometric probes).
If is a unit or core probe and , then we have
| (6.3) |
In particular, we have .
Proof.
Since , we have , , and . Fix , and put and . By (5.24) and atomic biorthogonality, we have
For every probe , we have
If and , all the -terms in its evaluation analysis vanish on , because a probe is never a predecessor. Using the raw support of below , the vanishing of the ambient coordinates of below , and , we obtain
The cells are successive, so there is at most one index satisfying . On that cell the tail projection fixes . Hence we obtain
Taking the supremum over all atoms and gives
If , then the preceding inequality would give , contrary to and . Thus we obtain . ∎
For , define on
| (6.4) |
The sum is finite because has finite FDD support, and it introduces no new nonzero BD coefficients.
Lemma 6.3 (Scalarization identity).
For , , , and , we have
| (6.5) | ||||
| (6.6) |
The multiplier extends to , and we have
| (6.7) |
Proof.
We first show that the action on BD coefficients agrees with the action on ambient coordinates. This will give the upper norm bound, while unit probes will give the reverse bound. In this proof, abbreviate for each atom . Suppose first that is a nonprobe atom of level , local cutoff , packet , and optional predecessor . Taking adjoints in the correction formula gives the recurrence for :
| (6.8) |
When , put , and when , omit the whole predecessor term here and in the induction below. The map is from Lemma 4.1. For a probe, the recurrence is .
We induct on . The definition of gives, for every atom , . It also shows that commutes with every FDD interval projection on . Indeed, we have
And hence we have on .
If is a probe, then we have , and we obtain
This proves the probe case. For a nonprobe predecessor, compatibility and multiplicativity of give, for and ,
Therefore we obtain
Every packet term intertwines by (4.4). Since the predecessor and all packet atoms have smaller rank, the inductive hypothesis, the commutation with interval projections, and (6.8) give
On the full ambient -sum, let act on the -coordinate as . Contractivity of both module actions gives
Thus we have , uniformly over both fibre types. Equations (5.25) and (6.5) show that each range is invariant under , whose restriction to that range equals . Hence we have for . Therefore extends to and . For each detector index , choose a unit probe of index and put . By Lemma 6.2, we have , while (6.4) gives and . Since , we obtain . Taking the supremum over gives , which proves the norm identity in (6.7). Finally, using on core fibres and on unit-probe fibres, we obtain
Thus every coefficient of is zero. Since the FDD is total, we obtain . The same coefficient calculation and unitality of every module give , proving (6.7). The definition also gives on . Therefore boundedness and density extend this identity to . ∎
6.2. Interval restrictions, common stems, and shielding
Let be an FDD interval. Restrict a labelled scalarized coordinate evaluation recursively by applying to its analysis in Lemma 6.1. At a probe, retain when and replace it by zero otherwise. For a scalarized packet , restrict each lower-rank coordinate recursively in its original position and retain zero positions. This operation changes only the analysis and leaves the represented packet stored in the atom record unchanged. The recursion terminates because ranks decrease strictly.
For an evaluation as in Lemma 6.1, put
If , let be determined by , with before and from onwards. Since , we have
Thus each has BD support inside , and we obtain
Only can be cut by the boundary , so we obtain
| (6.9) | ||||
Here empty sums are zero. The conventions and cover both and .
The restriction formula below is the scalarized form of the tail calculation in [14, Lemma 5.3].
Lemma 6.4 (Interval restriction formula).
If and , then we have
| (6.10) |
The restriction preserves the stored labelled analysis and may partially cut only the two boundary packet cells.
Proof.
Since , subtracting (6.9) at from the identity at gives (6.10). Since the packet cells are successive, only the first and last cells meeting can be partially cut. Recursive restriction of packet entries terminates because ranks strictly decrease. By definition, the stored labels and histories are unchanged. ∎
The next comparison uses the injective-coding argument of [14, Lemma 4.6].
Lemma 6.5 (Common-stem comparison).
Let two outer histories have seed level . If their seed records differ, every coded inner level in one history differs from every coded inner level in the other. If the seed records agree, let be their longest common realized stem. Their labelled strong packets and certificates agree along . When both strong packets immediately following exist, their inner terminals have the common level , while apart from this possible pair, every later inner level in one history differs from every later inner level in the other.
Proof.
Let and be the stems preceding the -th and -th strong packets in the two histories. Injectivity gives
Each stem contains its seed, so different seeds make this equality impossible. Suppose the seeds agree and their longest common stem has length . Equality of finite words forces equality of their lengths and every earlier entry, so whenever both packets exist, we have
For , the common word fixes the terminal identifier, strong packet, and certificate. At , it fixes only the common input , and thus the common inner level. There are no further equal inner levels across the two histories. ∎
For a finite-stage vector and a set , let retain the atom summands of the finite -sum whose levels lie in . Both complementary coordinate projections are contractive: and . The two vectors and sum to , and we have
| (6.11) |
Indeed, fixes its first ambient blocks, so we have . Hence we obtain
This is the finite-stage local-level decomposition used in Part II.
Let and be the unit and core probes of detector index , and put for every probe. Their norm properties are given by Lemma 6.2.
Proposition 6.6 (Uniform probe shielding).
If is a probe and , then we have
| (6.12) |
The estimate is uniform in the detector indices, fibre dimensions, and probe tags.
This follows from the evaluation estimate in the proof of Lemma 6.2 and the identity .
6.3. Properties of the constructed space
Theorem 6.7 (Construction and properties of the space).
Let be any inverse system satisfying (1.1)–(1.2). Construction 5.3 is a well-defined oracle-recursive monotone finite-extension construction. It produces a separable block BD space with an FDD satisfying the following conditions.
- (G1)
the initial projection bound is and the interval projection bound is .
- (G2)
- (G3)
canonical restriction, common-stem comparison, and the decomposition by local levels have the properties stated above.
- (G4)
the cofinal extension properties of Proposition 5.5 hold, and canonical unit and core probes of every detector index occur cofinally.
- (G5)
the shielding estimate (6.12) holds uniformly in the detector indices and fibre dimensions.
- (G6)
Proof.
Lemma 5.4 shows that each correction uses only atoms of smaller rank, and Proposition 5.6 verifies the two correction forms. Lemma 3.1 therefore gives the uniform dual projection bound . The finite adjoint construction (5.23) and its consistency (5.22) produce the nested extension ranges, and their closure is a block BD space. Every is a finite sum of finite-dimensional fibres and there are countably many ranks, so is separable. This proves (G1).
Lemma 6.1 and Lemma 6.2 prove (G2) from the one-edge recurrence, including contractivity, the absolute-convex-hull statement, and the probe norm identity. Lemma 6.4, Lemma 6.5, and (6.11) prove the three assertions in (G3). Restriction preserves every stored packet and stem, as required by the no-injury property.
Part II Analytic estimates and operator classification
7. Rapidly increasing sequences and the basic inequality
We use the RIS and basic-inequality method of the Argyros–Haydon construction and its subsequent Bourgain–Delbaen variants [14, 82, 83, 92, 64, 57, 17, 63, 66, 62]. For the background in recursive norming, weighted averages, and mixed Tsirelson spaces, see [78, 42, 43, 10, 8]. A general treatment of HI methods is given in [18]. For vector-valued BD sums and later AH implementations, see also [83, 92, 57, 63, 62].
We retain the BD notation from Subsection 5.3 and the evaluation analysis in (6.2). Thus is the fibre at , and are its level and rank, and and are the scalarized ambient and BD coordinates. The FDD projection onto an interval is denoted by , with . For a scalarized evaluation , we write . The sequences and the constants below are those fixed in (5.1)–(5.4). Unless otherwise stated, scalarized evaluations in norm estimates have , and all unqualified suprema over use this range.
7.1. Auxiliary norming set
Let be the space of finitely supported scalar sequences, with unit vectors and coordinate functionals . We use the mixed Tsirelson norming set generated by successive -averages, as in [10] and [14, Section 2.4]. Since a functional may have more than one tree analysis, we retain the root level as part of the data. Define recursively as follows.
- (i)
For and , the tagged leaf belongs to , has value , and has root level .
- (ii)
If have successive supports of their values and , then the new tagged tree belongs to , has , and has value
Adjoin a zero symbol and set . For , put
Let be the completion of under this norm.
The following definition is the fibre version of [14, Definition 5.1].
Definition 7.1.
A block sequence is a -RIS if and there are strictly increasing positive integers such that
whenever and .
Corollary 7.2 (Shielded probe RISs).
The shielding estimate in Proposition 6.6 has the following consequences.
- (i)
Every sufficiently separated sequence , with , is a -RIS.
- (ii)
If probes satisfy then uniformly for and , we have both and are -RISs, and is a -RIS.
- (iii)
If is a -RIS, then, after passing to a subsequence, probes can be chosen with so that is a -RIS uniformly for .
Proof.
For (i), choose the RIS index strictly after the preceding probe block and strictly before the next one. If , we obtain from Proposition 6.6 . Lemma 6.2 gives , so Definition 7.1 applies.
For (ii), put . Both component estimates hold with a common RIS index before the two probe ranks, and we have
The separation of these intervals gives the RIS range condition. And we obtain
Hence the sums form a -RIS. For (iii), let be the original RIS indices. After , choose , then choose such that
This is possible because the original indices and block supports tend to infinity. Relabel the selected vectors and their retained indices. Then we have and . For , we obtain from the original RIS estimate and shielding
Together with , this proves the assertion. ∎
7.2. Truncation estimates
We adapt the truncation estimates of [14, Lemmas 5.2 and 5.3] to scalarized evaluations.
Lemma 7.3 (Two truncation estimates).
Let be a -RIS with RIS indices , let , and let have level . Then we have
| (7.1) |
Proof.
Let , where , is the initial cutoff, and , be the stored level- predecessor chain. Put . Write , put , and put for . For , let , with if the set is empty, and put .
Put . If , then we have . We may therefore assume , in which case . If , subtract (6.9) for and . The two inherited evaluations satisfy
For with , the boundary term satisfies
If , this boundary term is zero. From the two inherited evaluations and the two boundary terms, we therefore obtain
Suppose that . Rank admissibility of a level- predecessor chain and the RIS range condition give . Every predecessor term and every packet after the first is supported beyond , and only the first packet can act. Hence we obtain
∎
7.3. The basic inequality
We next estimate scalarized evaluations on finite RIS sums, using the basic-inequality argument of [14, Proposition 5.4]. Recall from (5.1) that .
Lemma 7.4 (Scalarized basic inequality).
Let be a nonempty finite integer interval, let be a finite part of a -RIS, let , let , and let be a scalarized evaluation. There are and such that has nonnegative coefficients and, if , then and its value is supported after , and
| (7.2) |
Proof.
Put . We induct on the rank of the ambient coordinate defining . We prove the stronger assertion that . A level-zero evaluation meets at most one block, so the assertion holds with .
Let have level , and put . Then we have for , while whenever . By Lemma 7.3 and monotonicity of , we obtain
Since and , we have Choose so that . Therefore we obtain
| (7.3) |
Put . In (6.2), put
Since the block ranges are successive, we have , and the nonempty ’s are successive integer intervals. A block outside cannot meet two packet cells without containing their common boundary rank. The evaluation analysis therefore gives
In the second case the truncated block misses every predecessor rank and packet cell. For each nonempty , put .
Fix with . By the scalarization in the proof of Lemma 6.1, we have a finite expansion, with ,
Omit zero terms in this expansion and put and . Then we have
If , put , , and . Otherwise, choose such that
The packet support condition gives . In this case, we obtain
For a zero packet, we have . Thus we obtain
| (7.4) |
For every nonempty with , the coordinate defining has strictly smaller rank. The inductive hypothesis with cutoff gives and satisfying the following inequality, and the choices above give the same inequality when :
| (7.5) |
The stronger inductive assertion gives . Thus the leaf at precedes , and both stay inside the same cell-index interval. In support order, the coordinate leaves , , and the pairs , , satisfy
Omit zero children, arrange the remaining terms in support order, and denote the resulting list by . If the list is empty, put . Otherwise put . In the nonzero case its root level is , and its value is supported after . By this definition, we have
Since , we obtain from (7.4) and (7.5)
7.4. Auxiliary and special averages
The stopping-event formulation below was prompted by a suggestion from a generative-AI system. Subsequent literature review identified the underlying counting and tree-truncation techniques in [14, Lemma 2.4 and Proposition 2.5], [57, Sections 2 and 3.2], and [62, Proposition 11.7]. We adapt these techniques to the parameters fixed in (5.2)–(5.4) and record the first stopping event on each branch. For further details, see the AI assistance statement at the end of the paper.
Lemma 7.5 (Auxiliary special averages).
For , we have
| (7.6) |
Proof.
Fix and . Stop its tagged tree at the first node of level at least , at the -th node of level less than , or at a coordinate leaf. Let , , and be the corresponding classes of coordinate indices in . Successive child supports place each coordinate index on at most one branch, so these classes are disjoint and cover the coordinates which contribute to . The coefficient of each such coordinate is the product of the weights on its branch, and weights below the stopping node can only decrease its absolute value. A node of level less than has at most successors. Thus we obtain
and the branch coefficients on , , and are at most , , and one, respectively. Therefore we obtain
Consequently, we have
Taking the supremum over proves the assertion for .
For , we obtain from a coordinate root and a weighted root, respectively,
Since , taking the supremum proves (7.6) also for . ∎
Corollary 7.6 (Bounds for RIS special averages).
If is a -RIS, then we have
| (7.7) | ||||
| (7.8) |
Proof.
Put , and apply Lemma 7.4 with and . For every scalarized evaluation , using and (7.6), we obtain
Since scalarized ambient coordinates norm , we prove (7.7). A fixed -coordinate meets at most one block. Moreover, it is the restriction of an ambient evaluation to one FDD coordinate, so its norm is at most . Hence we obtain
which is (7.8). ∎
Corollary 7.7 (RIS are weakly null).
Every RIS is weakly null.
Proof.
Let be finitely supported and put . For the and supplied by Lemma 7.4, the coordinate leaves belong to , so we have . Thus every scalarized ambient evaluation satisfies . Taking the supremum over the norming scalarized evaluations, we obtain
| (7.9) |
Suppose a -RIS has a subsequence , a functional , and with . Choose with so that . Reindexing this subsequence gives a -RIS with indices , since
For each , we obtain from (7.9) and Lemma 7.5
On the other hand, we have
a contradiction. ∎
7.5. Shrinking and the compactness test
We use the local-weight splitting method of [14, Propositions 5.10–5.12], separating a bounded block sequence according to its local levels. Each fixed low-level part is a RIS, and a diagonal selection makes the remaining high-level parts a RIS as well. This reduces both shrinking and compactness to the estimates already proved.
For , put and write with . Define
and define . The next estimate is the block version of [14, Lemma 5.8].
Lemma 7.8 (Local-level estimate).
If has level and for every , then we have
| (7.10) |
Proof.
If , the conclusion is immediate. Assume that . Let and use the predecessor chain in the proof of Lemma 7.3. Put , with if the set is empty. Every predecessor in the finite stage has level , so the local-support hypothesis gives . Since , we obtain from (6.9)
If , then we have and . Otherwise, only one packet term in the level- evaluation remains, and we obtain from the boundary formula
∎
Lemma 7.9 (RIS reduction and compactness).
The FDD of is shrinking. Let be a Banach space. If is bounded and for every RIS, then is compact.
Proof.
Let be a bounded block sequence, , put , and write . For , split , where contains the atoms of level at most and the atoms of level greater than . Put and . These vectors remain in the block range of . Indeed, put . Since , the ambient coordinates of up to rank vanish. From coordinate deletion and the definition of the BD extension, we obtain
Both vectors belong to , so we have , with zero vectors omitted when forming block sequences. If either vector has a smaller last FDD rank, its coordinates at that stage are the restriction of or . Therefore its local support still contains only levels at most , or only levels greater than , respectively. The coordinate restriction of gives . Deleting coordinates according to their levels is contractive on the ambient finite sum, and . Hence we obtain
| (7.11) |
For fixed , choose RIS indices , increasing beyond the preceding block ranges. If , we obtain from Lemma 7.8 . If , we obtain from monotonicity and contractivity of the scalarized evaluation . Therefore is a -RIS, where is independent of . Hence we have for each fixed .
Choose recursively and so that
This is possible because, after the next level cutoff has been fixed, permits a sufficiently late choice of the next block index. Put . The local support of has levels at least , and we have . If , the local support contains no atom of level . From Lemma 7.8 and (7.11), we therefore obtain
Since , the sequence is a -RIS. Hence we have , and hence we obtain . The same construction applies inside every subsequence. If , a subsequence bounded below away from zero would therefore have a further subsequence converging to zero, a contradiction. Thus sends the original bounded block sequence to a sequence converging to zero in norm.
Finally, suppose . Since , there are , arbitrarily large , and such that . Put . Then is a unit vector in the tail after , and we have
Put , and choose and, successively, such unit tail vectors after cutoffs . Since the FDD projections converge strongly to the identity and , we may choose so that
The interval-projection bound gives For its image under , we have
This contradicts the block-sequence conclusion. Therefore we have , and is the norm limit of the finite-rank operators , hence compact. Apply the same tail conclusion to , using Corollary 7.7. Then we have
Thus we have , which proves that the FDD is shrinking. ∎
8. Inner and outer chains: collisions
Recall that , where is the canonical isometric map from Lemma 2.6. The action on a fibre is denoted by , and is its ambient coordinate, as in (5.29). We use the multipliers from (6.4) and the inner-level coding map from (5.14). For a represented packet, is the sum of the norms of its represented entries, as in (5.5).
The exact-pair and dependent-sequence argument follows [14, Sections 6 and 7]. For rooted auxiliary averages, see [14, Proposition 2.5] and compare [62, Proposition 11.7]. For off-weight estimates, see [14, Definition 6.1 and the following remark] and [66, Definition 6.7]. The broader exact-pair methods and their subsequent developments are treated in [18, 83, 92, 57, 63]. The proofs below give the versions needed for our parameters, interval restrictions, and root perturbations. Here the orbit is . A persistent separation from this orbit first gives a coded packet with small annihilation error. The inner chain and its root perturbation make that error zero while retaining the operator separation (Lemmas 8.2 and 8.4). Successive outer continuations then give the lower estimate in Lemma 8.10, whereas Proposition 8.9 gives the upper estimate that proves Theorem 8.11.
8.1. The annihilation error
For a finite scalarized packet and , we retain the fixed finite packet representation when writing . Combining entries at the same atom, we obtain
Thus the sum of the entry norms can exceed the norm of the represented element in . In a difference of packets we use a common finite presentation, adding zero entries if necessary.
Define the annihilation error by
| (8.1) |
Here, for and , the coefficient functional is determined by
| (8.2) |
It satisfies .
Lemma 8.1 (Error identity and continuity).
For every , we have
| (8.3) |
Consequently, we have
| (8.4) |
If lie in one finite sum of ambient predual blocks, then we have
| (8.5) |
Proof.
For a finite vector , put . Then we have
| (8.7) |
where any compatible lift of is used on the right. This is well defined because all lower coefficients are determined by . The map is linear, so is a finite-dimensional, hence closed, linear subspace of . Lemma 2.6 gives , so is compact.
Lemma 8.2 (Coded approximate annihilator).
Let , let be a RIS, and assume that
| (8.8) |
Given a cutoff , , and positive , there are a later , a coded block vector with the same FDD range, and a coded packet , such that
| (8.9) |
Moreover, may be chosen so that and are arbitrarily small, for any finite-rank and any finitely many functionals .
Proof.
By Corollary 7.7, we know that is weakly null, and so is . Choose and such that
Put . Since multipliers preserve FDD supports, we have . The truncation error satisfies
For the distance to the multiplier orbit, we then obtain By the Hahn–Banach theorem, we can choose such that
Scalarized ambient coordinates norm . By the bipolar theorem, we obtain a bounded net of finite scalarized packets , with sum of entry norms at most one, converging weak-star to . The set is compact by (8.7). To prove uniform convergence on , fix and choose a finite -net in . Since and , we have . Weak-star convergence gives an index after which for every . For , choose with . Then we have
Thus we have uniformly on . Since annihilates , we obtain from (8.6) .
If an ambient coordinate has rank at most , then it belongs to the span of the first dual FDD blocks and hence vanishes on . Since multipliers preserve FDD supports, deleting all such entries from a packet changes neither its value on nor any of its values on . In view of (8.6), we may therefore choose a finite packet , after this deletion, such that
Therefore we obtain Choose sufficiently close to one and put . The strict inequalities above allow the choice so that
Put and . Choose
Density in the fixed finite coded spaces gives with the same FDD range as , and supported in the finite packet block of , such that
For the change in , we obtain
For the change in , we obtain from (8.5) that
Consequently, we have For the value of at , we obtain The annihilation error satisfies This gives (8.9).
If has finite-dimensional range and , fix positive target bounds . First pass to a tail on which and for . Replace by
Then we obtain , and similarly for . ∎
8.2. Root perturbation
Let , , be successive coded packets represented along a complete level- inner chain. Let be its core atoms, put , and put . Suppose that the coded vectors satisfy
Put and .
Lemma 8.3 (Root perturbation).
With the preceding notation, we have
| (8.10) |
If , then we have
Every complete scalarization of the matching outer strong packet annihilates .
Proof.
Since is a core atom, we have , and for and , we obtain
Hence we have . Thus the first equality in (8.10) follows from (8.1). By (5.6), we obtain the terminal analysis
Fix . Multipliers preserve FDD supports. Since , we obtain from the placement conditions
For , the tail projection vanishes, whereas for , every ambient coordinate in has rank below whenever . When we apply the terminal analysis to , the resulting double sum reduces to its diagonal, and we obtain
Since , this proves the second equality in (8.10).
By biorthogonality, we have , and hence . The map is an isometry, and the block-injection norm is at most . Therefore we obtain
Let the complete matching outer strong packet be scalarized by , , and let be the local cutoff of its outer atom. For the core action, the packet formula gives the following identity. If and , then we have
Therefore we have . Hence the scalarization is , and its value on is . ∎
Although is supported before in the FDD, its ambient coordinate may be nonzero. As Figure 7 shows, subtracting leaves the earlier FDD blocks unchanged and gives . We therefore obtain exact cancellation for every scalarization of the complete matching outer strong packet. By (8.10), the correction is small whenever the packet errors are small.
Recall from (5.1) that . The next selection adapts the operator-dependent exact-pair argument in [14, Lemma 7.2] to multiplier orbits.
Lemma 8.4 (Operator-dependent pairs).
Let , let be a -RIS, and assume
Let , let be a realized outer stem over a seed of level , with age below , and put . After every cutoff there are a coded root-perturbed vector and the terminal evaluation of a completed inner chain such that
| (8.11) | ||||
| (8.12) |
The pair gives a coded certificate compatible with for an outer continuation. For a fixed stem , these pairs may be chosen successively so that the sequence of vectors is bounded and weakly null.
Proof.
Pass to a tail with RIS indices , and put . Perturbations with the same FDD range and form a -RIS. Indeed, their norms satisfy
For the evaluations of level , we have
Equality of the FDD ranges preserves the block order and the RIS range condition.
Choose
| (8.13) |
Write , , and put
Put .
Suppose , , have been chosen, and put . Apply Lemma 8.2 to the finite-dimensional operator and the functionals and , . With perturbation radius at most , it gives a coded and a coded packet such that
| (8.14) | ||||
| (8.15) | ||||
| (8.16) | ||||
| (8.17) |
Choose beyond so that
Proposition 5.5(b) then selects, after , the next occurrence in the same level- inner chain, representing exactly . Only after is fixed is chosen.
The terminal evaluation has the analysis For , we obtain from Lemma 8.3
| (8.18) |
Expanding the terminal evaluation at , we obtain
| (8.19) |
For , use (8.14). For , we have , and hence
There are pairs with and with . Therefore we obtain
| (8.20) |
Similarly, we obtain from (8.15)
| (8.21) |
For , we have , so nested tail projections give
Summing over these pairs, we obtain
| (8.22) |
Finally, we have , so we obtain
| (8.23) |
| (8.24) |
By (8.17), we obtain
From Corollary 7.6 and the correction estimate, we obtain
The correction has only the BD coefficient at . Thus, using biorthogonality, (8.18), and (8.13), we obtain
The vectors and functionals constructed above lie in one finite coded structure. The finite-dimensional space (8.7) has a coded spanning matrix, and Lemma 8.1 gives . The proof gives . The inner analysis of is supported after , so . Choose a coded finite vector , supported after , such that
Since , we have
Choose with , a finite integer interval containing , and an integer satisfying (C2). Since , the record is a coded certificate compatible with . Proposition 5.5(c) realizes its outer continuation. Fix the stem , and hence the inner level . Repeating the construction after successive cutoffs gives pairs with
From the shrinking conclusion of Lemma 7.9, we now obtain, for every ,
In particular, every finite-rank operator sends to a norm-null sequence. ∎
8.3. Collisions and dependent means
The following definition adapts [14, Definition 6.3] to the stored outer histories.
Definition 8.5 (Dependent sequence).
Let be an outer seed level and let . A -bounded -dependent sequence is a successive family with realized outer stems over one fixed seed. Here is the age-zero stem, and is the outer-age continuation of whose edge uses the completed inner terminal and whose certificate contains . Put for , and put for . The following conditions are required.
- (i)
, and is the terminal evaluation of the completed matching level- inner chain.
- (ii)
where is a -RIS.
- (iii)
- (iv)
.
The stems have distinct lengths. Injectivity of makes the levels pairwise distinct, and we obtain from (5.14)
| (8.25) |
Recall from (5.1) that .
The next lemma gives off-weight estimates for interval restrictions of the root-perturbed vectors. For the exact-pair estimates underlying this argument, see [14, Definition 6.1 and the following remark].
Lemma 8.6 (Rooted auxiliary averages and off-weight estimates).
Let , let be a tagged auxiliary analysis with weighted root level , and put . Then we have
| (8.26) |
Consequently, if
where is a -RIS, then every level- scalarized evaluation , with and , satisfies
| (8.27) |
for every FDD interval .
Proof.
Suppose first that . Write and , so that
Apply the stopping argument from the proof of Lemma 7.5 to each child tree, counting the low-level nodes within that tree. Let be the unions of the corresponding classes of coordinate indices in . Since the supports of the ’s are disjoint and every node of level less than has at most successors, we obtain
Retaining the root factor , we obtain
If , write and . Then we have , where . The supports are disjoint and every coordinate coefficient of every has modulus at most one. Hence we obtain
This proves (8.26).
Every -bounded dependent sequence is a -RIS with RIS indices . Indeed, from the placement conditions and (5.14), we obtain
Moreover, we have . If , we obtain from Lemma 8.6, for every level- scalarized evaluation and every FDD interval ,
Thus Definition 7.1 applies.
We use the common-initial-segment comparison from [14, Lemma 6.5]. The interval restriction leaves at most two boundary cells in addition to the first cell where the histories differ.
Lemma 8.7 (Stem collision).
Let be a -bounded -dependent sequence, let be a scalarized outer evaluation of level , and let be an FDD interval. Put and assume . Then we have
| (8.28) |
Proof.
Let be the age of , and write . Let be its stored outer predecessor chain, and put for . Thus . For , let be its packet cell, let be the stored stem before this cell, and let be the inner terminal carried by its strong packet. Put . Packet covariance writes the scalarized strong packet as , where , , and . The restricted evaluation analysis is
| (8.29) |
Put , and define subsets of by
Since for , we obtain from (8.29)
| (8.30) | ||||
The block ranges are successive. Consequently, we have
From Definition 8.5 and (8.25), we therefore obtain
| (8.31) |
We next count . Compare the history of with the history of the dependent sequence. If the seeds agree, let be their longest common realized stem, of age . By injectivity of the coding map, we have
Indeed, equal stems have equal ages, and if , their common prefix would be longer than . By Lemma 6.5, packets on agree. For a matching pair on this stem, we obtain from placement and root annihilation
Among complete cells, the only possible nonzero equal-level incidence is therefore . If one history ends at , this pair is absent. Distinct seeds give no equal-level pair. Thus we obtain
Since the cells are successive and the ’s are distinct, we have
Splitting the matching incidences into complete and partial cells, we obtain
For each such incidence, we have . Hence we obtain
| (8.32) |
For evaluations of level below , we retain the carrier intervals while stopping the evaluation tree. We identified the remaining gap in the proof as the dependent-sequence estimate for evaluations of level . GPT-5.6 Sol (OpenAI) then supplied the carrier-labelled stopping-tree construction and its counting proof used in Lemma 8.8 and Proposition 8.9 to close this gap. We rewrote the proof in our notation, verified it in the setting of our construction, and checked its technical antecedents in the literature. This review confirmed earlier uses of the underlying tree and counting techniques, whose sources are cited below. For further details, see the AI assistance statement at the end of the paper.
For trees, branches, and asymptotic games, see Odell and Schlumprecht [71]. Interval-labelled tree analyses and stopping by weight and depth are used in [57, Sections 2 and 3.2]. For a related decomposition of auxiliary averages by node weights and branch lengths, see [62, Proposition 11.7]. Here one scalarized constituent is selected from each packet for the fixed vector , and incomparable nodes retain disjoint carriers. For related estimates on repeated averages using tree analyses and a refined basic inequality, compare [62, Propositions 11.8 and 13.6, Corollary 13.7].
Lemma 8.8 (Carrier-labelled tree).
Let be a scalarized evaluation, let be a nonempty FDD interval, let have finite FDD support, and fix . There are a finite rooted tree , with terminal set , pairwise disjoint nonempty intervals , coefficients , and functionals , , such that
| (8.34) |
Moreover, we have
| (8.35) |
After zero terms are omitted, each is either , with and , or a scalarized evaluation of positive level. In the latter case, we have
| (8.36) |
Proof.
Since has finite support, we may replace by a nonempty finite subinterval without changing . Give the root the data , and write for the depth of a node. At every node, stop with coefficient zero if . Otherwise, stop at a BD coordinate, a level-zero evaluation, an evaluation of level at least , or depth , whichever occurs first. For a level-zero evaluation , nonzero contribution implies , and we replace by .
Suppose that a node has not stopped, and put , so that . Write its same-level chain as , with , ranks , and initial cutoff . Let and be the scalarized fibre functionals and packets in its evaluation analysis. Define
Since every raw constituent of has rank below , it annihilates FDD blocks of rank at least . Thus (6.2) gives the identity
where an empty carrier contributes zero. The nonempty carriers in this identity are successive and disjoint. Discard zero packet contributions on . For every remaining packet, normalized scalarization gives
with and scalarized evaluations of smaller rank than . Choose maximizing . Then we obtain
For each nonempty BD carrier and each retained packet carrier, give the corresponding child the data
Applying the stopping rules to these children, we obtain
In particular, a nonzero node which has not stopped has at least one child. For , let
For , replacing only the nonterminal terms in by their children gives
Since and , iteration proves (8.34).
Obviously, incomparable nodes have successive disjoint carriers. For the number of children of a node, we have
Consequently, the number of nodes at depth satisfies
Summing over proves (8.35). For a node with nonzero coefficient, let be the set of ancestors whose edge on the path to is a packet edge. The recursive definition of the coefficients gives
A BD edge ends its branch. Hence a terminal evaluation with has only packet edges on its path and stops at depth . Thus , which proves (8.36).
∎
Figure 8 shows representative branches for a root of level . The edge labels give the coefficient factors: for a BD edge and for a packet edge from level . The bottom terminal is reached after packet edges. Each branch stops at its first stopping event.
Recall from (5.1) that .
The next estimate separates boundary incidences from blocks contained in terminal carriers, as in the interval decompositions of [43, Section 3]. We also use disjointness when summing the depth remainder (compare [57, Section 3.2]). With denoting the contained-block index sets in the proof, the boundary count involves , while the depth remainder uses .
Proposition 8.9 (Dependent mean estimate).
Every -bounded -dependent sequence satisfies
| (8.37) |
Proof.
Put and fix a scalarized evaluation of level . If , meets at most one block, say . Hence we obtain
| (8.38) |
Suppose , and put . The levels are distinct, so we have . Since , we obtain from the norm bound on and Lemma 8.6 on its complement
| (8.39) |
If , the disjointness of the sets of inner and outer levels makes an outer evaluation, and we obtain from Lemma 8.7
| (8.40) |
Suppose . Apply Lemma 8.8 to , a carrier containing , and . Put
A partial intersection contains an endpoint of . Hence we obtain
A block may contain endpoints of several terminal carriers, so the summation must count pairs . Moreover, the terminal carriers are disjoint, and therefore we have
For every terminal carrier, the support decomposition is
Inserting this identity into (8.34), we obtain
If is a positive-level evaluation, then we have
If is a BD or level-zero coordinate, its singleton carrier is retained by , and we obtain from the coordinate estimate
Thus the boundary terms satisfy
After omitting terms with , a BD terminal or a level-zero coordinate terminal has a singleton carrier and meets at most one block. From the coordinate estimate and (8.25), we obtain, for that block,
There are at most such terminals. Therefore we obtain
Omit zero terms and empty ’s from the remaining sums. For the level- terminals, we have and , so we obtain from Lemma 8.7
For the terminals above level , define
Since the ’s are distinct, we have
By the disjointness of the ’s, we also have
For , we have . From the norm bound and Lemma 8.6, we therefore obtain
Splitting the sum over these two sets, we obtain
Finally, after the zero terms have been omitted, a terminal of level strictly between and can occur only at the depth cutoff. By (8.36), we have
In Figure 9, contributes both and , and the dashed boxes are contained block ranges. Here, we have
8.4. The local-orbit theorem
Lemma 8.10 (Operator-dependent extraction).
Let , let be a -RIS with , and assume
For each sufficiently large seed level , there is a -bounded -dependent sequence , where , such that
If , then we have
| (8.41) |
Proof.
Put , , and , and fix a seed with initial cutoff . Put
Suppose that the first outer cells have been selected. Their realized stem determines . Lemma 8.4 gives a successive sequence of pairs over this fixed stem, with weakly null. Put for . Every previous functional is now fixed, and the head projection has finite-dimensional range. Hence, with empty sums interpreted as zero, we have
Choose and put so that the following three inequalities hold:
| (8.42) | ||||
| (8.43) | ||||
| (8.44) |
After this pair and its coded certificate are fixed, the finite set satisfies
Choose beyond the supports of the certificate so that
| (8.45) |
Proposition 5.5(c) realizes after an outer successor carrying . Put , and choose the next pair only after this successor is fixed.
After steps, put for , and let . This terminal outer evaluation has the analysis
| (8.46) |
In the -th application of Lemma 8.4, write , where is the inner special average, and denote the parameter in (8.13) by . Since , we obtain from Lemma 8.3 and the construction
Thus the inner -RIS is also a -RIS, and clause (ii) of Definition 8.5 holds. Lemma 8.4 and the root perturbation give the other three clauses, so the resulting sequence is a -bounded dependent sequence, where .
For the corresponding scalar-orbit result, see [14, Proposition 7.3].
Theorem 8.11 (Local multiplier orbit).
For every and every RIS , we have
| (8.52) |
Proof.
Suppose (8.52) fails. Pass to a -RIS subsequence with on which the distances are at least . For every sufficiently large seed level , Lemma 8.10 gives a -bounded dependent sequence, and we have
Proposition 8.9 gives . Therefore we obtain
The constant is independent of , while the seed levels are unbounded. Multiplying by , we obtain
Choosing a seed level for which exceeds this fixed bound gives a contradiction. ∎
9. RIS synchronization and global operator classification
Throughout this section, is the block BD space of Theorem 6.7 and . For , let be the multiplier defined in (6.4). We shall find one such coefficient for each and prove that the remainder is compact. Unit probes determine the coordinates , and paired probes give compatibility. The convergence is uniform over detector indices. After subtracting , a core probe reproduces the annihilation error of a finite block, giving the compactness argument in Lemma 9.3. We retain the normalization for scalarized evaluations used in the estimates below.
For each probe , recall that , , and are the block injection, block coefficient, and ambient coordinate maps. The fibre carries the action . Let and denote the cofinal unit and core probes of detector index , with fibres and , respectively. By Lemma 6.2, we have , , and for . For a unit probe , write .
9.1. Compatibility of finite-dimensional coefficients
We adapt the paired-RIS argument in [14, proof of Theorem 7.4] to coefficients in the detector algebras.
Lemma 9.1 (Local detector coefficients).
Let , and put
| (9.1) |
Then . For every , we may choose such that, with , we have
| (9.2) |
In particular, we have
The coefficients satisfy . Finally, we have
| (9.3) |
Proof.
For a unit probe of index , Lemma 2.6 gives . Since , we have
Suppose that does not tend to zero. Since the supremum in (9.1) is taken over every detector index, we can choose and unit probes recursively so that
By Corollary 7.2, is a RIS. Theorem 8.11 now gives
a contradiction. Thus we have , uniformly in the detector index. Choose so that
This is (9.2).
By the probe isometry, we have Suppose that (9.3) fails. Since decreases with , we can choose such that every tail contains a pair with compatibility error at least . Choose these pairs recursively so that
The two atoms in each pair are distinct, since an identical pair has zero compatibility error. The choices satisfy
Corollary 7.2 makes the two component sequences and RISs. The local-orbit theorem supplies and such that
| (9.4) |
The individual unit-probe approximations are and , where .
Figure 10 summarizes the argument for the separated sequence of probe pairs used above. Applying the local-orbit theorem to , we obtain one for both probes. Its coordinates satisfy the bonding relation exactly, while the coefficient maps show that and approach those coordinates. The detector indices may vary with , as required for the uniform estimate in (9.3).
Proposition 9.2 (Common multiplier coefficient).
For every , there is a unique bounded compatible family such that, for ,
| (9.5) |
Moreover, .
Proof.
Fix . Equation (9.3), with , shows that, whenever have ranks at least , . By completeness of , we therefore obtain
Now fix , and choose unit probes and of ranks at least . Then . By contractivity of , we have
Thus we obtain for . Along the unit probes of index , we have
Thus we have and . If and , let a unit probe of the same index tend to infinity in (9.3). Since , we obtain
| (9.6) |
Combining (9.2) and (9.6), we obtain, for every unit probe of rank at least ,
The bound is independent of and .
It remains to pass from these unit vectors to whole probe fibres. We shall apply the local-orbit theorem first to a fibre vector and then to its sum with a unit probe of the same detector index. The first application makes the coefficient in the other probe fibre small, and the second compares the local multiplier coefficient with . Suppose that (9.5) fails. There are separated probes , with detector indices , and such that
After choosing , use cofinality to choose of larger rank. Failure of (9.5) persists on every tail, so the next probe satisfying this inequality may be chosen to satisfy
Corollary 7.2 makes both and RISs.
Apply the local-orbit theorem to . There are and , with , such that
Since , we obtain by biorthogonality . Hence we obtain
| (9.7) |
Apply the local-orbit theorem to . There are and , with , such that
| (9.8) |
Write , where . Applying to (9.8) and using (9.7), we obtain the identity
By contractivity and (9.7), we obtain
Combining this with (9.6), we obtain
Subtracting the unit-probe identity from (9.8), we obtain
Since , we obtain from the probe isometries and contractive module actions
This contradicts the choice of and and proves (9.5).
Finally, suppose that both satisfy (9.5). Fix and let tend to infinity. By the probe isometry, we have
Thus we have for every , and . ∎
9.2. The compact remainder
The reduction to RISs in Lemma 7.9 follows [14, Proposition 5.11]. We combine it below with the core probes.
Lemma 9.3 (Compactness of the remainder).
Let satisfy (9.5). Then is compact.
Proof.
By Lemma 7.9, it is enough to prove that sends every RIS to zero in norm. Suppose, after passing to a subsequence, that a -RIS , with , satisfies . We shall add a core-probe vector to and construct such that
for all large . These two estimates will contradict the local-orbit theorem. Recall that . These scalarized ambient coordinates norm , so we may choose with . Changing its scalar phase, we obtain
| (9.9) |
Define by
By (8.2) and (8.1), this is the finite-dimensional representative of the annihilation error:
By contractivity, we have
Taking the supremum over , we obtain .
Pass recursively to a subsequence. After and have been chosen, the convergence of the FDD decomposition gives as . Hence we may take so that
Choose a core probe after , of detector index , and then choose the next original RIS member so that its support and retained RIS index both exceed . After relabelling the selected vectors and their indices , we obtain
Put and , and define
The predual connecting maps and the probe injections are isometries, so we have
Since and , we obtain Apply Corollary 7.2 to and the probe vector . For every scalarized evaluation of level , we obtain
Since , we conclude that is a -RIS. In Figure 11, the two evaluation arrows give the same scalar on the corresponding multiplier images, as verified below.
For every , we obtain from the scalarization identity
Since is a core probe, we have . The multiplier commutes with the FDD projections, so we have
Since , we obtain from the evaluation analysis that
As , we also have . It follows that
Therefore, we obtain
| (9.10) |
Theorem 9.4 (Global multiplier classification).
For every , there is a unique such that is compact. Moreover, we have
Proof.
For the lower bound on the essential norm, fix and choose a sufficiently separated cofinal sequence . Corollary 7.2 makes a -RIS, and Corollary 7.7 makes it weakly null. Compact operators send weakly null sequences to norm-null sequences, so we have for every compact , whereas . Since , we obtain from the probe isometry
Take the supremum over and the infimum over . Combining this with , we obtain
Thus we have . If both and are compact, then is compact. The essential-norm identity gives , and hence . ∎
Proof of Theorem 1.1.
By Theorem 6.7, we have a separable block BD space and an isometric unital representation . Compose this representation with the quotient map to define by . For , we have and . Theorem 9.4 gives
Thus is an isometric unital algebra isomorphism onto . The same theorem gives the unique decomposition in (1.5) and the essential-norm identity (1.6). ∎
Corollary 1.3 follows by applying Theorem 1.1 to the quotient tower from Lemma 2.1. Proposition 2.3 gives coordinatewise approximation by images of bounded sequences. Its injectivity and isometry follow from Proposition 2.2, while its surjectivity when closed norm balls are compact in follows from Theorem 2.4.
Part III Examples and applications
10. Examples
We apply Theorem 1.1 to finite-dimensional quotients, dual operator algebras, and convolution algebras. Recall that consists of bounded compatible sequences, with norm . For a decreasing sequence of finite-codimensional ideals in , the detection envelope is the bounded inverse limit of the quotients . Theorem 2.4 identifies this envelope isometrically with when the ideals separate points and every closed ball is compact for the quotient seminorms. In each example below we identify the whole limit, including its norm and multiplication.
Many of the concrete examples below, both within and beyond our initially planned classes, were suggested by GPT-5.6 Sol (OpenAI) and GPT-6 Astra (OpenAI). These include the incidence-algebra applications. For details, see the AI assistance statement at the end of the paper.
We shall repeatedly use the following observation. If is contractive and every has a lift of the same norm, then we have
Thus is a metric quotient.
10.1. Finite detection and first consequences
Corollary 10.1 (Finite-dimensional algebras).
Let be a finite-dimensional unital Banach algebra with . Then there is a separable Banach space such that isometrically as unital Banach algebras.
This follows by applying Theorem 1.1 to the constant system .
Corollary 10.2 (Finite incidence algebras).
Let be a nonempty finite partially ordered set. Equip its incidence algebra (see [75, Section 3])
with incidence multiplication and the row norm . Then is isometrically a Calkin algebra.
Proof.
Under its canonical matrix representation on , the algebra is a finite-dimensional unital subalgebra of . For , we have
so we obtain . For a fixed , choose of modulus one so that . Then we have . Taking the maximum over , we obtain the reverse inequality. Thus the operator norm is this row norm. In particular, we have . Apply Corollary 10.1. ∎
Proposition 10.3 (Separation by finite-dimensional representations).
Let be a unital Banach algebra with , and suppose that isometrically. Suppose that there are finite-dimensional algebras and weak-star-to-norm continuous unital homomorphisms
Then is isometrically its bounded detection envelope and is isometrically a Calkin algebra.
Proof.
Put , and give its quotient norm. Each is a weak-star closed finite-codimensional two-sided ideal. Since the maps are unital and jointly faithful, these ideals are proper and satisfy . Assertion (ii) of Theorem 2.7 gives isometrically. Apply Theorem 1.1. Here carries its quotient norm, which may differ from the norm inherited by a representation range. ∎
Lemma 10.4 (Finite-dimensional compressions).
Let be a nonzero separable Hilbert space, and let be a weak-star closed unital algebra. Suppose that there are increasing finite-rank orthogonal projections converging strongly to such that, for every ,
Then admits a countable separating family of weak-star continuous finite-dimensional unital representations and is isometrically a Calkin algebra.
Proof.
Since is weak-star closed in , it is isometrically a dual space, with predual the quotient of the trace class by its preannihilator. Discarding finitely many initial zero projections and reindexing, we may assume that for every . Define
This map is unital, has finite-dimensional range, and is weak-star continuous, since each of its matrix entries is a matrix coefficient of . Under either assumption, we have
Thus is a homomorphism.
For and , we obtain from strong convergence that
Since , we deduce that
Proposition 10.3 applies. The finite quotients carry their quotient norms, and the displayed equality alone does not identify an individual quotient norm with its compression norm. ∎
In the next proposition and the convolution examples below, denotes a coproduct. Here denotes the minimal -tensor product [73, Chapter 12].
Proposition 10.5 (Realization from finite-dimensional subcoalgebras).
Let be a unital -algebra with a unital completely positive map and a character satisfying
Suppose that there are increasing finite-dimensional subspaces
such that and . Then the convolution algebra , with
is isometrically its bounded detection envelope and is a Calkin algebra.
Proof.
A unital completely positive map is contractive [73, Proposition 3.2], and the norm of a product functional is the product of the norms [73, Chapter 12]. Hence, for , we have
and therefore we obtain . Coassociativity gives associativity of , and the two counit identities make its unit. As is a character on a unital -algebra, we have . Thus is a unital Banach algebra.
Put . If , , and , write with . Then we have
Hence is a weak-star closed finite-codimensional two-sided ideal. By the Hahn–Banach theorem, every element of has a norm-preserving extension to . Thus restriction is a metric quotient with kernel . Density of gives . Assertion (iii) of Theorem 2.7 therefore applies with , and Theorem 1.1 completes the proof. ∎
Remark 10.6.
Assertion (iii) of Theorem 2.7 is stated in terms of finite-dimensional predual subspaces and their annihilator ideals, without assuming a coproduct or positivity. Here complete positivity gives contractivity and the tensor ampliations on the minimal tensor product [73, Proposition 3.2 and Theorem 12.3]. A merely contractive linear map does not provide the minimal-tensor ampliations. Every unital ∗-homomorphism is unital completely positive [73, p. 28].
The subspaces in Proposition 10.5 need not be subalgebras. The finite coalgebra condition ensures that each annihilator is a two-sided ideal.
10.2. Sequence, convolution, and incidence algebras
Corollary 10.7 (-sums of finite algebras).
Let be finite-dimensional unital Banach algebras with . Then is isometrically a Calkin algebra.
Proof.
Put , with coordinatewise multiplication. Then we have . Coordinate restriction is a contractive unital homomorphism. Zero extension preserves the norm, so is a metric quotient. A compatible sequence is determined by , and we have
Its product has -th coordinate . Thus the bounded limit is the displayed -sum as a normed algebra, and Theorem 1.1 applies. ∎
Corollary 10.8 (The algebra ).
There is a separable Banach space with isometrically as unital Banach algebras.
This follows directly from Corollary 10.7 with and the isometric algebra identification [29, Section V.6]. Corollary 10.8 answers Motakis’s question on the existence of a nonseparable Calkin algebra [66, Section 9, Problem 2].
For the standard notions of unconditional and boundedly complete bases, see [5, Sections 3.1 and 3.2].
Corollary 10.9 (Unconditional sums of algebras).
Let have a normalized -unconditional boundedly complete Schauder basis . For each , let isometrically as Banach algebras, where the are finite-dimensional and the bonding maps are metric-quotient algebra homomorphisms. Write for the coordinate sum, defined by
| (10.1) |
Give coordinatewise multiplication and the standard unitization product and norm
| (10.2) |
Then there is a separable Banach space such that isometrically as unital Banach algebras.
Proof.
By normalization and unconditionality, we have And we then obtain
Thus we have and . The identification below also proves completeness. For , take the finite-dimensional unital Banach algebra
| (10.3) |
Its norm and product are those of (10.2), with finite sums. Hence we have , and is a contractive unital homomorphism. Given , choose with and , and put for . These minimum-norm lifts exist because is finite-dimensional. The resulting lift has norm
Thus every is a metric quotient.
Let be a compatible sequence with . The bonding maps preserve the scalar coordinate, so we may write with one fixed . For fixed , the coordinates form a compatible sequence on a cofinal set of stages. Applying the bonding maps defines the missing earlier coordinates, so this sequence determines , with . These coordinate norms increase with . For every , we have
By bounded completeness, we obtain . Conversely, the coordinate images of every give a bounded compatible sequence. Combining the preceding estimate with contractivity, we obtain
Hence we obtain isometrically and multiplicatively. Theorem 1.1 applies. ∎
Corollary 10.10 (Unconditional finite-dimensional decompositions).
Let be a Banach algebra with a -unconditional boundedly complete finite-dimensional decomposition into two-sided ideals. Then , with the unitization product in (10.2) and norm , is isometrically a Calkin algebra of a separable Banach space.
Proof.
Since for , we know that each partial-sum projection is a contractive algebra homomorphism. Put
Each is finite-dimensional and has unit norm one. The inclusion is an isometric right inverse of , so these maps are unital metric-quotient homomorphisms. A bounded compatible sequence has the form , with for . By bounded completeness, we obtain with and . Conversely, every gives such a sequence. Hence isometrically as unital Banach algebras, and Theorem 1.1 applies. ∎
The same argument applies to any boundedly complete FDD into two-sided ideals whose initial projections are contractive.
Proposition 10.11 (Unital summands).
Let be a normalized -unconditional Schauder basis of , and let each be a nonzero unital Banach algebra with . Give the norm and product in (10.2). Then is isometrically isomorphic, as a unital Banach algebra, to the bounded inverse limit of a countable system satisfying (1.1)–(1.2) if and only if is boundedly complete and each has such a representation.
Proof.
For sufficiency, use the tower (10.3). For necessity, write , with coordinate maps . Each is onto: from , successively take minimum-norm lifts to obtain
The lower coordinates are fixed by the bonding maps, so this is a bounded compatible sequence of norm . Let have -th coordinate and all other coordinates, including the scalar one, zero. It is a central idempotent of norm one, and isometrically. Fix and put . Surjectivity of makes central in . Since the ’s separate points, we have for some and then for all later . On this tail, we have and . The finite-dimensional corner therefore has unit norm one.
The restrictions of to these corners are unital metric quotients. Indeed, for , choose a minimum-norm lift . Then we have
A bounded compatible sequence , with , determines , and on the cofinal tail. Thus we have , and we obtain
isometrically as unital Banach algebras.
Suppose now that is not boundedly complete. By unconditionality, there are nonnegative scalars whose partial sums are bounded and not Cauchy. Choose and successive finite intervals , separated by at least one index, such that . Set on , and elsewhere. By suppression unconditionality, we have
Thus does not converge and infinitely many vanish. Put . This sequence is bounded in . Finite-dimensional compactness and diagonal extraction give such that for every . The limit sequence is bounded and compatible, so it determines . For every , we have
By separation, we have , and hence we obtain . Since , we have . Along the infinite set where , this forces . Consequently, we have , contrary to the divergence of . ∎
These conditions characterize the finite-dimensional quotient representation used in Theorem 1.1, but need not hold for Calkin realizations obtained by other methods. The converse uses the units of all the summands. The sufficient condition of Corollary 10.9 also applies to nonunital summands.
Remark 10.12 (Sequence spaces with the Fatou property).
The outer sequence norm can be generalized. Let be a solid Banach sequence space whose standard unit vectors have norm one. Solidity means that coordinatewise domination of absolute values implies membership and domination of norms. Write . Assume that, for every scalar sequence ,
For the algebras of Corollary 10.9, put
Then , with coordinatewise multiplication and , is isometrically a Calkin algebra. To see this, replace the finite -norms in (10.3) by the corresponding -norms. Solidity gives contractivity and the same norm-preserving lifts. Let , where , be a bounded compatible sequence and put . For each , let be the element determined by the compatible coordinate sequence . By finite-dimensional continuity, we have
By the Fatou property, we obtain . Combining this with contractivity, we obtain
Conversely, the coordinate images of each form a bounded compatible sequence. The coordinate maps preserve multiplication, so this identifies with the bounded inverse limit isometrically as unital Banach algebras. Apply Theorem 1.1.
For a normalized -unconditional basis, its scalar sequence space has this property precisely when the basis is boundedly complete. Finite sequences need not be dense in a general . In particular, gives the -sum of the ’s. If all these algebras are unital with unit norm one, the -sum itself is unital with unit norm one. The recursive lifting argument in Proposition 10.11 makes every coordinate map onto. Its image of is therefore the unit of , of norm one whenever this stage is nonzero. Discarding initial zero stages and reindexing each component tower gives unital bonding maps and normalized units. Omitting the extra scalar coordinate from the finite tower then realizes the -sum directly.
Taking constant component towers shows that the summands in Corollary 10.9 may be arbitrary finite-dimensional Banach algebras, including matrix and finite incidence algebras. Infinite-dimensional summands are also allowed whenever they have the specified representations, for example and the multiplier algebras in Corollaries 10.30 and 10.28. The next two corollaries give the block and scalar cases.
Corollary 10.13 (Unitized block -algebras).
Let , and let be finite-dimensional Banach algebras. Give coordinatewise multiplication. Then
with the unitization product in (10.2), is isometrically a Calkin algebra.
The unit vector basis of is normalized, -unconditional, and boundedly complete. Taking and the constant component towers in Corollary 10.9, we obtain the conclusion with the stated norm and product.
The dimensions and multiplication tables of the ’s are arbitrary. For example, one may take with unbounded matrix sizes, or fixed truncated-polynomial algebras with their coefficient -norms.
Corollary 10.14 (Boundedly complete unconditional bases).
Let have a normalized -unconditional boundedly complete basis , and give coordinatewise multiplication. The algebra , with and the product in (10.2), is isometrically isomorphic, as a unital Banach algebra, to for a separable Banach space with a Schauder basis. There are infinite-rank projections on such that for and . For every finitely supported scalar sequence and every , we have
| (10.4) |
In particular, taking gives an isometric lifting of the prescribed basis. Moreover, we have the topological direct sum
| (10.5) |
Equivalently, we have the isometric identification
with the norm and unitization product of (10.2).
Proof.
Apply Corollary 10.9 with and constant component towers. In this case, we have
where is the basis projection onto . Use the multiplier representation of Theorem 1.1 and put , viewing in . Since , we obtain from the exact representation and essential-norm identities that
In particular, is not compact and therefore has infinite rank. The same identities give (10.4).
The map is an isometry onto . Every operator has a unique expression , and we have
For the compact term , we obtain
These estimates prove that the three summands in (10.5) are closed and their coordinate projections are bounded.
It remains to verify the Schauder basis assertion. Return to the BD notation , , , , and of Subsection 5.3, where denotes an FDD projection on . Both and have their canonical normalized -unconditional bases. These are precisely the two fibre types used in the construction. At construction rank , their finite -sum therefore has a concatenated basis whose partial-sum projections have norm at most one. Let , with the earlier coordinates set equal to zero. Since fixes its first ambient blocks, we obtain from (5.30) that
Concatenate the transported bases of in rank order. For the partial-sum projections, we have
Their span is dense because is an FDD. The uniform bound therefore proves that the concatenated sequence is a Schauder basis. ∎
Remark 10.15 (Comparison with the reflexive construction).
Corollary 10.14 applies to every space in [62, Theorem 1.2]. Indeed, under the hypothesis of that theorem, [62, Theorem 7.1] gives a blocking , constants and , and the lower estimate
| (10.6) |
for every finite successive -block sequence. Suppose that , but the series does not converge. Contractivity of interval projections implies that the partial sums at the blocking endpoints are not Cauchy. Thus there are successive intervals , each a union of complete -blocks, and such that
By suppression unconditionality and (10.6), we have
a contradiction. Hence the basis is boundedly complete. In [62, Theorem 1.2], the realizing projections and their Calkin images are -equivalent to the prescribed basis. Here (10.4) gives an isometric unital algebra lift for the standard unitization norm.
In particular, Corollary 10.14 applies whenever is reflexive and has a normalized -unconditional basis, since every basis of a reflexive space is boundedly complete [5, Theorem 3.2.19]. Indeed, bounded partial sums have a weak cluster point whose basis coefficients are the prescribed scalars, so the basis expansion of this point gives norm convergence. We fix the notation for the next example. For nonempty finite sets , write if , and put for . Following the Figiel–Johnson construction [39, Section 2], define iteratively
The norms increase and are bounded above by . The Figiel–Johnson Tsirelson space is the completion of for . We write for its Banach dual, which is Tsirelson’s original space [84], and for the basis biorthogonal to (see [21, Section 2.4]). The coordinatewise multiplication used below is determined by . The next example shows that our admissible class of bases is strictly larger than the class in [62, Theorem 1.2].
Corollary 10.16 (Tsirelson’s original space).
Let be Tsirelson’s original space with its usual normalized -unconditional basis and coordinatewise multiplication. Then , with the norm and product in (10.2), is isometrically a Calkin algebra of a Banach space with a Schauder basis, with the projections and decomposition in Corollary 10.14. With this basis, does not satisfy the hypothesis of [62, Theorem 1.2].
Proof.
The space is reflexive and has a normalized -unconditional basis [21, Section 2.4], so the basis is boundedly complete [5, Theorem 3.2.19]. The first assertion follows from Corollary 10.14. For successive blocks in the unit ball with , we obtain from [21, Section 2.4, (2.13)] that
Here means that the basis supports are successive. For any blocking and any , choose basis vectors in distinct successive -blocks with . If this blocking satisfied (10.6), then we would have
which is impossible. By [62, Theorem 7.1], with its canonical basis is therefore outside that class. ∎
Remark 10.17.
Proposition 10.11 explains the role of bounded completeness for the usual coordinatewise sum. Without bounded completeness, the finite coordinate tower can give a larger inverse limit. For the unit vector basis of , we obtain from the same construction that
Indeed, the norm of a compatible sequence is
The constant coefficient sequence defines a bounded compatible sequence although it does not belong to . Thus this tower does not recover . Both sums carry the norm and product in (10.2).
The following construction by finite quotients covers several convolution examples (see [31, Chapters 3 and 4] for background on semigroup quotients and convolution algebras).
Corollary 10.18 (Weighted monoid algebras).
Let be a countable monoid with identity . Suppose that there are finite subsets such that
| (10.7) |
Let satisfy and for . Then the weighted convolution algebra
is isometrically a Calkin algebra.
Proof.
Condition (10.7) says that is a two-sided semigroup ideal. Write for the coefficient family that is at and elsewhere. Let be the span of , with the product
This is the quotient of the algebraic semigroup algebra by the span of , and is therefore associative. Give it the norm . Its unit is , of norm one. For , we have
Hence is a finite-dimensional unital Banach algebra.
For , let be coefficient restriction. Since is a two-sided ideal, is a unital homomorphism. It is contractive, and zero extension preserves the weighted norm. Hence every bonding map is a metric quotient.
A compatible sequence has one coefficient for every , and by monotone convergence we have
If and , then we obtain from (10.7). In particular, has only finitely many factorizations , and the -coordinate of the stage product is the full convolution coefficient. Hence the inverse-limit multiplication is convolution, and the bounded inverse limit is isometrically. Apply Theorem 1.1. ∎
Corollary 10.19 (Free-monoid convolution algebras).
If , then , with convolution on the free monoid on generators, is isometrically a Calkin algebra.
Proof.
For , this recovers , previously obtained by Tarbard [83], while for the algebra is noncommutative.
Corollary 10.20 (Dirichlet convolution algebras).
Let , with multiplication, and let satisfy and Then , with Dirichlet convolution (see [75, Section 3, Example 1]), is isometrically a Calkin algebra.
Proof.
Let be the prime numbers, and write for the exponent of the prime in . Put , and, for , put
Every is finite, the sets increase, and unique prime factorization gives . The factor-closure condition is immediate for . If and , neither nor contains a prime factor larger than , and we have
with the same estimate for . Hence we have , so (10.7) holds. Apply Corollary 10.18. ∎
Under prime factorization, the unweighted algebra in Corollary 10.20 is the absolutely summable formal power-series algebra in countably many commuting variables:
Here denotes the set of finitely supported sequences of nonnegative integers, and [27, Section 1.1]. This algebra is not a scalar -algebra. Indeed, if , let
If a summand in is nonzero, then we have and . Since their product is , both inequalities are equalities. Therefore we obtain
Thus the algebra is an infinite-dimensional integral domain, whereas has nonzero zero divisors whenever contains more than one point.
Corollary 10.21 (Finite-quiver path algebras).
Let be a nonempty finite directed graph, and let be its set of finite paths, including the paths of length zero (see [20, Section II.1] for the path-algebra construction). Write , , and for the initial vertex, terminal vertex, and length of a path . The concatenation first traverses and then , and is defined when . Write for the coefficient family that is at and elsewhere. Suppose that satisfies
whenever and are composable. Let consist of the coefficient families for which the following norm is finite, with path convolution as multiplication:
Then is isometrically a Calkin algebra.
Proof.
For paths , define
Each sum has terms, corresponding to the possible places at which to split . Associativity follows by expanding either iterated product over the finite set of factorizations of into three paths. Fix . By absolute convergence and the weight inequality, we have
Taking the maximum over proves that the displayed norm is an algebra norm. Since is finite, the algebra is a finite -sum of weighted -spaces and is complete. Its unit is . Every source row contains exactly one nonzero coefficient of this element, so we have .
Let be the span of the paths of length at most , with truncated path concatenation and the corresponding row norm. The paths of length greater than span a two-sided ideal in the algebraic path algebra, so truncation gives an associative quotient product. Since is finite, is finite dimensional. Length restriction is a unital homomorphism because a path of length at most can only be factored into paths of length at most . It is contractive, and zero extension preserves the row norm. Hence the bonding maps are metric quotients.
A compatible sequence has one coefficient for every finite path. Since is finite, we have
Thus the coefficient identification gives isometrically as Banach algebras. Apply Theorem 1.1. ∎
When has one vertex and loops and , Corollary 10.21 reduces to Corollary 10.19. The row norm gives , whereas the global coefficient -norm gives .
Corollary 10.22 (Tensor power-series algebras).
Let be a finite-dimensional Banach space, and let satisfy and Put , and let
Equip this space with multiplication and norm
Then is isometrically a Calkin algebra.
Proof.
We use the natural associative identifications of the projective tensor powers. Expanding the degree- coefficient of either iterated product over proves associativity. Since [76, Proposition 2.1], we obtain from the weight inequality that
The weighted -sum is complete, and the scalar in degree zero is a unit of norm one.
Let with the weighted -norm and multiplication truncated above degree . The terms of degree greater than form a two-sided ideal, so this product is associative. Every is finite dimensional. Degree restriction is a unital homomorphism. It is contractive, and zero extension gives a lift of every with the same norm. Thus the bonding maps are metric quotients.
Finally, a compatible sequence of finite truncations is determined by coefficients , and we have
For each , every stage has product coefficient . Thus the bounded inverse limit is , with its prescribed norm and multiplication. Apply Theorem 1.1. ∎
For , with its canonical basis and , the projective tensor-product identification for -spaces [76, Section 2.1] shows that this recovers . Other finite-dimensional norms on give further isometric tensor-series examples.
The next example uses the incidence multiplication of [75, Section 3] on a lower-finite poset, with a row norm. For the -incidence algebra notation, see [2, Definition 5.9].
Corollary 10.23 (Lower-finite -incidence algebras).
Let be a nonempty countable lower-finite partially ordered set, meaning that is finite for every . Let be the algebra of matrices satisfying
Then these matrices define bounded operators on , the displayed norm is their operator norm, and is isometrically a Calkin algebra.
Proof.
For each , the -th column of an incidence matrix is supported by the finite set . If , only finitely many columns contribute to , and hence we have . Moreover, for , we have
Thus extends to an operator on with .
Conversely, fix and a finite set . Choose , supported by , with and for . Then we have
Taking the supremum first over finite , and then over , we obtain
Hence the two norms coincide.
Incidence multiplication is well defined and submultiplicative. In fact, for every , we have
The diagonal matrix is a unit of row norm one. The zero pattern is closed under operator-norm limits, so is a unital Banach algebra.
Choose a sequence whose range is , repeating elements if is finite, and put Lower finiteness makes finite. These lower subsets increase and satisfy . Let , with the finite row norm, and let be matrix restriction.
The lower-set property makes multiplicative. Indeed, if and , then we have , so we obtain . Therefore we have
The restriction map is unital and contractive. Extending a matrix by zero on pairs involving preserves its row norm. Hence every bonding map is a metric quotient.
A compatible sequence determines one coefficient for every pair . Since the sets increase to , we obtain its bounded-limit norm by monotone convergence:
Thus the coefficient identification gives isometrically as Banach algebras. Theorem 1.1 applies. ∎
Corollary 10.24 (Infinite upper-triangular matrices).
Let be the algebra of scalar upper-triangular matrices with . Then , with the row norm, is isometrically a Calkin algebra.
This follows directly from Corollary 10.23 with in its usual order.
Further examples are given by countable rooted trees ordered by ancestry, with the coordinate order, and the Young lattice [81, Example 3.4.4(b)]. Whenever contains distinct comparable elements, its incidence algebra is noncommutative.
10.3. Compactness for quotient seminorms and dual operator algebras
We next apply Theorem 2.4 to function algebras and Proposition 10.3 to operator algebras. For the scalar Lipschitz spaces and their algebra structure, see [89, Chapters 2 and 7].
Corollary 10.25 (Algebra-valued Hölder classes).
Proof.
Fix . For with , we have for every . Thus every such is bounded, and its stated norm is finite. From the identity , we obtain . For the full norm, we then get
The constant function with value is a unit of norm one.
If is Cauchy in this norm, let be its uniform limit. By lower semicontinuity of the Hölder seminorm, we have . Hence and , which proves completeness.
Let be the coordinate homomorphism, choose a sequence with dense range in , and put
Each is a closed two-sided ideal and . The map embeds the quotient into , so has finite codimension. It is proper because it does not contain the constant unit. If , then, for fixed and , we have . Thus for every , and density and continuity give . Hence the filtration is separating.
Fix , and let . Passing to a subsequence, suppose that and , where . For each , we have and . Since is finite dimensional, we obtain from the Arzelà–Ascoli theorem and a diagonal selection functions such that, along a further subsequence,
Passing to the limit in , we obtain whenever . Moreover, and for every . Thus belongs to , with and , and we obtain
The finite-dimensional embedding of the quotient into has a bounded inverse on its range, so there is such that for every . Applying this to , we obtain
Corollary 10.26 (Scalar Hölder algebras).
Let be a nonempty compact metric space and let . The scalar Hölder algebra
with pointwise multiplication, is isometrically a Calkin algebra.
This follows directly from Corollary 10.25 for the constant inverse system with identity bonding maps. In this case, we have and , with the same norm and pointwise multiplication.
Other choices give, for example, and where the ’s are finite-dimensional unital Banach algebras with .
Corollary 10.27 (Atomic nest algebras).
Let , where , and put
Then the nest algebra , with its operator norm, is isometrically a Calkin algebra.
Proof.
Let be the orthogonal projection onto . Recall that consists of the operators leaving every member of invariant [35]. This algebra is weak-operator closed and unital, and hence weak-star closed. Since is invariant under every , we have
Moreover, is finite dimensional and strongly. Apply Lemma 10.4. ∎
In the reproducing-kernel examples below, consists of complex-valued functions on a set , with reproducing kernel , and we write for its kernel vectors [19, Part I, Sections 1–2].
Corollary 10.28 (Matrix-valued RKHS multipliers).
Let be a nonzero separable complex scalar reproducing-kernel Hilbert space and let . Then
with the multiplier norm, is isometrically a Calkin algebra. Multiplier symbols inducing the same operator are identified throughout.
Proof.
For , write . The multiplier algebra consists of the symbols for which is bounded on , with norm . See [3, Section 2] for matrix-valued multipliers. Taking matrix entries relative to the standard basis of shows that every entry of is a bounded scalar multiplier. Conversely, a finite matrix of bounded scalar multiplier operators defines a bounded . Thus the two multiplier algebras in the statement agree. Put . For each nonzero kernel vector , let be the orthogonal projection onto . Then we have
Indeed, invariance defines a matrix by , and we have
Thus we obtain . At points with , every function vanishes, so no additional condition is needed. Each displayed corner condition is weak-operator closed. Hence is weak-star closed and has the quotient of the trace class by its preannihilator as a predual.
Separability gives a sequence of points with such that . Define by . These are unital homomorphisms, and they are weak-star-to-norm continuous because we have
Their joint faithfulness follows from
Proposition 10.3 applies.
More explicitly, put and identify with the finite algebra of attainable values . Its norm is
| (10.8) |
To see attainment, take a bounded minimizing sequence of multipliers and a weak-star convergent subnet. The evaluation identities preserve its values, while weak-star lower semicontinuity gives the minimum. Coordinate deletion is the bonding map, and multiplication is . To check the metric-quotient property, take a norm-minimizing multiplier for at stage . For , its values give a lift, and we have
Theorem 2.7 therefore identifies the bounded limit with , including its multiplier norm and product. ∎
Corollary 10.29 (Complete Pick multiplier algebras).
Every multiplier algebra of a nonzero separable scalar complete Pick space is isometrically a Calkin algebra. Fix distinct points with , and let be attainable multiplier values at these points. Write for the quotient norm in (10.8), with . Then, for every , we have
| (10.9) |
Proof.
The realization follows from Corollary 10.28. If interpolates and has norm at most , then we have
On , the norm bound gives
Expanding this quadratic form gives the matrix in (10.9). Conversely, for , its positivity and the complete Pick property give an interpolating multiplier of norm at most [3, Section 2] (see also [4]). If , its diagonal entries force for every , and the zero multiplier suffices. Now use (10.8). ∎
If is a nonzero separable scalar complete Pick space, fix distinct points with , and let be attainable values of a matrix-valued multiplier from Corollary 10.28. Writing for the quotient norm in (10.8), we obtain from the matrix-valued complete Pick property [3, Section 2], for every ,
For , positivity of the diagonal blocks gives and hence for every , so the zero multiplier gives the required interpolant.
This includes and the multiplier algebras of the Drury–Arveson spaces [3, Section 4], as well as the standard Dirichlet-type complete Pick multiplier algebras [4] (for the classical Dirichlet kernel, see [3, Section 1]). For , the Taylor and point-evaluation filtrations give the following quotients.
Corollary 10.30 (Taylor and point-evaluation quotients of ).
The algebra has the following bounded detection envelopes. Let be the truncated shift on : for , and , where is the standard basis.
- (i)
For the Taylor filtration , the quotient is the algebra of analytic Toeplitz matrices
with its operator norm.
- (ii)
If is pairwise distinct and has an accumulation point in , and
then is the finite interpolation algebra whose norm is determined, for every , by
Proof.
For (i), write and put . From Taylor multiplication, we obtain
Compression of multiplication on gives . By the Carathéodory–Fejér theorem, we obtain the reverse quotient inequality in its attained form [77]:
Hence these are exactly the quotient norms. The bonding maps truncate coefficients, so Lemma 2.1 gives the metric-quotient condition.
A bounded compatible sequence determines coefficients . Put
Choose the preceding interpolants with . By Montel’s theorem, we obtain a subsequence converging locally uniformly to . By Cauchy’s formula, we have For the norm of , we obtain
Thus the bounded limit is , with its original norm, and Taylor coefficients give uniqueness and preserve multiplication.
For (ii), finite polynomial interpolation makes onto . Its product is coordinatewise, and the Nevanlinna–Pick theorem gives the displayed quotient norm, again with a norm-minimizing interpolant [77]. As above, the bonding maps are metric quotients. If satisfies in the finite interpolation quotient norms, choose such that
A locally uniformly convergent subsequence has a limit with
For its norm, we obtain
The interior accumulation point and the identity theorem give uniqueness. Thus this bounded limit also identifies isometrically with , and the identification is multiplicative. ∎
Corollary 10.31 (Canonical free semigroupoid algebras).
Let be a nonempty countable directed graph. Then its canonical free semigroupoid algebra , with its operator norm, is isometrically a Calkin algebra.
Proof.
Let be the set of finite paths in , including the vertices, and put . In this example, first traverses and then , as in [53, Section 3]. Write for the standard orthonormal basis of . For , let
The algebra is the weak-operator closed algebra generated by these operators, and hence is weak-star closed. It is unital, since finite sums of the vertex projections converge strongly to .
Choose a sequence whose range is . Let be the set of all right factors of , let
and let be the orthogonal projection onto . Every finite path has only finitely many right factors. Hence is finite dimensional, , and strongly.
Fix and . If and , then is a right factor of an element of , and hence a right factor of one of . This contradicts . Therefore we obtain
This corner condition is preserved by sums and products and is weak-operator closed, so we have
Lemma 10.4 applies. For the graph with one vertex and loops this recovers , and, when is finite, the usual length compressions are the noncommutative interpolation models of [34]. ∎
Corollary 10.32 (Finite-dimensional -correspondence Hardy algebras).
Let be a finite-dimensional von Neumann algebra and let be a -correspondence over which is finite dimensional as a complex vector space. Then the Hardy algebra , with its standard operator norm, is isometrically a Calkin algebra.
Proof.
Choose a faithful normal representation on a finite-dimensional Hilbert space. Here denotes the -fold internal tensor product over , with , and is the Fock module. On the induced Fock-space representation
the Hardy algebra is the ultraweak closure of the algebra generated by the diagonal left action of and the creation operators [67, Definition 2.2]. The induced representation is faithful and normal [67, Lemma 2.1 and Corollary 2.3], so we identify with its image in .
Let be the orthogonal projection onto . This subspace is finite dimensional, and strongly. The diagonal left action preserves tensor degree and every creation operator increases it. Hence every analytic polynomial satisfies . The map is ultraweakly continuous, so the same identity holds for every . Apply Lemma 10.4. ∎
Corollary 10.33 (Weak-star semicrossed products).
Let be a finite-dimensional unital operator algebra on a finite-dimensional Hilbert space, and let be a unital completely contractive endomorphism. On , define
This is the Fock representation of the dynamical system (see [33, Example 2.5]). Let be the weak-star semicrossed product of by , namely the weak-star closed algebra generated by and [50, Definition 2.1]. Then , with its operator norm, is isometrically a Calkin algebra.
Proof.
Since every iterate of is contractive and the degree-zero block is , we have
Thus the displayed formula defines a bounded isometric representation. The algebra is weak-star closed and unital. Let be the orthogonal projection onto . These projections have finite rank and converge strongly to the identity. Each preserves the second tensor degree, while increases it by one. Therefore every polynomial in the generators satisfies . This corner condition is weak-star closed, and hence it holds for every . Apply Lemma 10.4. ∎
10.4. Harmonic analysis and quantum convolution algebras
The measure and quantum convolution algebras below satisfy the hypotheses of Proposition 10.5. Fourier multiplier algebras are treated through pointwise compactness of their norm balls.
Corollary 10.34 (Compact hypergroup measure algebras).
Let be a compact metrizable hypergroup in the sense of Jewett [49]. Then , with convolution and the total-variation norm, is isometrically a Calkin algebra.
Proof.
For , define
The hypergroup axioms imply that
is unital and positive. Since is commutative, is completely positive [73, Theorem 3.11]. Associativity gives , and evaluation at the identity is a character satisfying the two counit identities.
By the Peter–Weyl theorem for compact hypergroups, every continuous irreducible representation of is finite dimensional and the span of all matrix coefficients is uniformly dense in [87, Theorems 2.2 and 2.13]. Since is metrizable, is separable. Choose a countable dense subset of , and approximate each of its members to every accuracy by finite linear combinations of matrix coefficients. The resulting countable family of coefficients involves only countably many representations. Taking their full coefficient spaces and including the trivial representation first gives a sequence whose coefficient spaces have dense linear span.
Write , choose an orthonormal basis for each representation space, and put
Then is increasing and finite dimensional, contains the constants, and has dense union. Since is a representation of the measure algebra, we have
Hence we have . Under the Riesz identification , the dual product induced by is the usual measure convolution. Apply Proposition 10.5. ∎
This includes , , and . The last arises from the connected non-abelian compact group . The finite-dimensional quotient carries the quotient total-variation norm.
There are also non-group examples. Let , and give identity , trivial involution, and convolution [86, Example 4.1]
The countable product , with
is a compact metrizable hypergroup, as the inverse limit of its finite coordinate hypergroups [86, Theorem 1.5]. Hence is an infinite-dimensional isometric Calkin algebra.
Corollary 10.35 (Fourier–Stieltjes algebras).
Let be a countable discrete group. Then , with pointwise multiplication, is isometrically a Calkin algebra.
Proof.
By Eymard’s identification [36], we have isometrically. Put , and write for its canonical unitaries. The universal property of gives a unital ∗-homomorphism and a character with
Coassociativity and the counit identities hold on the generators, hence on . Choose a sequence whose range is , and put . Then we have , and the group algebra is dense in . For , we have
Thus the convolution in Proposition 10.5 is the prescribed pointwise product. Apply that proposition. ∎
In particular, is an isometric Calkin algebra.
Corollary 10.36 (Fourier multiplier algebras).
Let be a countable discrete group, and let be its Fourier algebra [36]. The algebras
with pointwise multiplication and, respectively, the multiplier norm and the completely bounded multiplier norm, are isometrically Calkin algebras of separable Banach spaces.
Proof.
For a scalar function on , write . Thus consists of the functions for which is bounded, with norm , while the completely bounded version uses the canonical operator-space structure of . See [52, Section 2]. These are unital Banach algebras with . For the point indicators , we have
We first check that closed balls of are pointwise closed. Let pointwise and . Write for the left regular representation. Finitely supported functions are dense in : approximate the vectors in coefficients of the left regular representation by finitely supported vectors, using the coefficient-norm estimate [36]. For a finitely supported , all lie in the same finite-dimensional subspace of , so by pointwise convergence we obtain
Hence multiplication by extends to an operator of norm at most on , and continuity of point evaluations identifies the extension with .
For the completely bounded case, put . By the Herz–Schur identification and the finite-restriction formula for the Schur-multiplier norm [52, Section 2 and Lemma 4.1], we have
Each finite restriction norm is continuous in the entries, so these closed balls are also pointwise closed. In either algebra, the closed -ball is therefore a closed subset of the compact product , and is pointwise compact.
Now let denote either algebra, choose increasing nonempty finite sets with union , and put
These are proper closed two-sided ideals of finite codimension, and . Restriction induces a linear injection . Since its domain is finite dimensional, the inverse on its range is bounded. Thus there is such that, for , we have
Consequently agrees with the topology of pointwise convergence, although the quotient norms need not be maximum norms. The closed balls are compact in , so Theorems 2.4 and 1.1 apply. ∎
In particular, both and the Herz–Schur multiplier algebra occur with the multiplier and completely bounded multiplier norms, respectively. The latter strictly contains , since holds exactly for amenable discrete groups [52, Proposition 5.6].
For a compact quantum group , write for the Hopf ∗-algebra spanned by its finite-dimensional corepresentation coefficients [91, Theorem 1.2]. Write and for its universal and reduced -completions, respectively [22, Sections 2–3].
Corollary 10.37 (Universal compact quantum-group duals).
Let be a compact quantum group for which is separable. Then , with convolution, is isometrically a Calkin algebra.
Proof.
The Hopf ∗-algebra spanned by the irreducible corepresentation coefficients is dense in [91, Theorem 1.2]. On the universal completion, the coproduct extends to a unital ∗-homomorphism and the counit to a character [22, Section 3]. On the coefficients, we have
Applying the countable selection used in the proof of Corollary 10.34, we obtain a sequence of complete coefficient spaces with dense span. Include the trivial corepresentation first, and let be the sum of the first spaces. Then we have
Proposition 10.5 applies. ∎
Thus the universal duals associated with () [90] and the free orthogonal compact quantum groups () [88] are noncommutative examples. The UCP hypothesis in Proposition 10.5 also permits coproducts that are not multiplicative.
Corollary 10.38 (Compact quantum-hypergroup duals).
Let be the separable unital -algebra of a compact quantum hypergroup in the sense of Chapovsky–Vainerman [28, Definition 4.1]. Then , with its dual norm and convolution product, is isometrically a Calkin algebra.
Proof.
The axioms provide a coassociative UCP coproduct and a character counit [28, Definitions 1.1 and 4.1]. If the coproduct is initially given in the maximal tensor product, compose it with the canonical quotient onto the minimal tensor product. The Peter–Weyl theorem gives a norm-dense span of finite-dimensional corepresentation coefficients [28, Theorem 5.11], satisfying
By separability and the countable selection in the proof of Corollary 10.34, we obtain complete coefficient spaces with dense span. Let be the span of and the first such spaces. These spaces are increasing and finite dimensional, their union is dense in , and . Proposition 10.5 applies. ∎
This includes the compact quantum double-coset hypergroups of [28, Section 3 and Example 4.3]. Thus the finite-coalgebra argument covers both classical hypergroup measure algebras and their quantum counterparts.
The bounded-counit condition can be removed at the cost of standard unitization. The following construction preserves the prescribed norm.
Lemma 10.39 (Adjoining a counit).
Let be a unital -algebra with a coassociative UCP map . Suppose that has increasing finite-dimensional subspaces with dense union such that and . No bounded counit is assumed. Then the standard unitization
with , is isometrically a Calkin algebra.
Proof.
Put , with its usual -algebra structure and unit . In the canonical decomposition
define
Each coordinate of is completely positive, and the displayed formula preserves the unit, so is UCP. The functional is a character, and slicing either tensor factor by it gives . Under the eight-component decomposition of , ordered lexicographically with before in each factor, the components of are
Those of are the same, with first component . Hence is coassociative. The subspaces satisfy
Under the canonical isometric identification , we have and . Moreover, we have
Thus this isometric identification gives exactly the unitization product. Apply Proposition 10.5 to . ∎
Corollary 10.40 (Reduced and exotic quantum-group completions).
Let be a separable completion of in a quantum group norm: the algebraic coproduct extends to a unital ∗-homomorphism
If the algebraic counit is bounded in this norm, then , with its dual norm and convolution, is isometrically a Calkin algebra. Without any counit assumption, its standard unitization
is isometrically a Calkin algebra. In particular, the latter assertion applies to every separable reduced completion, without coamenability, and to every separable exotic quantum-group completion.
Proof.
Choose a sequence of complete corepresentation coefficient spaces with dense span in , including the trivial corepresentation first. Their successive sums contain and satisfy , as in the proof of Corollary 10.37. Coassociativity holds on the dense Hopf ∗-algebra and therefore on the completion. A bounded algebraic counit extends to a character satisfying both counit identities, so Proposition 10.5 gives the first assertion. Lemma 10.39 gives the second. ∎
The coproduct-extension condition is part of the term quantum group norm, but it is not automatic for an arbitrary -norm on [54, Definition 7.1 and Section 9]. When the original counit is unbounded, the preceding direct-sum construction agrees with adjoining the neutral element in [54, Section 8]. For a non-coamenable reduced completion, the ununitized convolution dual has no identity. Indeed, if were a convolution identity, separation by bounded functionals would give
For a finite-dimensional unitary corepresentation , put . The coefficient formula for then gives , and multiplication by yields . Thus , so would extend the algebraic counit boundedly, contrary to non-coamenability [22, Section 2]. Hence the ununitized dual cannot itself be a nonzero Calkin algebra. For example, is realized for every , and these reduced compact quantum groups are non-coamenable [54, Remark 8.4(3)].
Corollary 10.41 (Sequentially ultramatricial -algebras).
Let
be an increasing union of finite-dimensional -algebras with a common unit, whose connecting maps are unital injective ∗-homomorphisms. Suppose that these inclusions preserve coassociative unital ∗-homomorphic coproducts and character counits , in the sense that
If , then its Banach dual , with convolution, is isometrically a Calkin algebra.
Proof.
If , then we have
The compatibility identities make these values independent of the stage containing . Thus contractivity extends the finite coproducts to a coassociative unital ∗-homomorphism
and the compatible counits extend to a character on . The spaces satisfy the hypotheses of Proposition 10.5, which gives the claimed isometric realization of . The algebra is a sequentially ultramatricial -algebra in Mori’s sense [61, Example 3.5]. ∎
An arbitrary -algebra, or an arbitrary AF completion, does not carry a canonical multiplication on its Banach dual.
Corollary 10.42 (Profinite monoids).
Let be a compact metrizable profinite monoid with identity, meaning that is an inverse limit of finite discrete monoids [6, Section 3.1]. Then , with convolution, is isometrically a Calkin algebra.
Proof.
By the finite-quotient description of profinite semigroups [6, Theorem 3.1] and metrizability, we obtain finite quotient monoids and quotient homomorphisms
which separate the points of . Here is the bonding homomorphism. To obtain a countable separating family, consider, for each finite quotient , the open set of pairs with . These sets cover the complement of the diagonal in . Since this complement is second countable, a countable subfamily still covers it. Include the trivial quotient and repeat quotients if the family is finite. Replacing the first quotients by their joint image gives the nested sequence above. Write for the pullback map , and put . The spaces are increasing and finite dimensional. Their union is a unital self-adjoint algebra separating points, and is therefore dense by Stone–Weierstrass. Define
Continuity and associativity of multiplication make a coassociative unital ∗-homomorphism, and is a character counit. For , we have
Since is finite, this is a function in . Under , the dual norm is the total-variation norm and the induced product is measure convolution. Apply Proposition 10.5. ∎
Corollary 10.43 (Compact matrix-monoid measure algebras).
Let be a compact submonoid containing the identity matrix. Then , with convolution and the total-variation norm, is isometrically a Calkin algebra.
Proof.
For , let for . Let be the restrictions to of the complex polynomials in the functions and of total degree at most . Each is finite dimensional, the spaces are increasing, and . Their union is a unital self-adjoint algebra which separates the points of . The Stone–Weierstrass theorem therefore gives .
Define and . Then is a unital ∗-homomorphism and is its counit. Associativity of matrix multiplication makes coassociative. Moreover, we have
For a monomial of degree , multiplicativity of gives a finite sum of tensors whose two factors each have degree . Thus both factors belong to . Hence we obtain
Under the isometric identification , we have
which is the prescribed measure convolution. Proposition 10.5 applies. ∎
In particular, for ,
is a compact noncommutative matrix monoid. Thus is a noncommutative isometric Calkin algebra. In dimension one the same result contains and the closed unit disc under multiplication.
11. Discussion
11.1. Possible injury constructions
Lemma 5.4 ensures persistence without injury in the present construction. In other problems, finite requirements may cease to be compatible with later choices. An injury rule could then abandon a current realization and restart it at a larger rank; see [80, Chapters 6–7] for the recursion-theoretic background.
An old BD atom remains in the space after its realization is abandoned. Thus a construction with injury would need estimates showing that the accumulated contribution of abandoned pieces is compact. Finite injury to each requirement is insufficient, since infinitely many requirements may leave such pieces. One possible approach would be to control their tail effects uniformly while preserving the evaluation and coding estimates. An infinite-injury version would require stronger convergence estimates.
11.2. The algebra
Corollary 10.8 realizes as a Calkin algebra. The present mechanism does not yield a Calkin realization of .
11.3. Reusing the analytic input
Theorem 6.7, summarized by (G1)–(G6), records the construction properties used in Part II. A different requirement language or family of finite modules can use the same analytic argument after these properties, the parameter and coding bounds, and the finite-certificate conditions have been verified. In particular, the finite-extension property, common-stem comparison, uniform probe shielding, and multiplier identities must be preserved. An injury rule would additionally require the compactness control discussed above.
Acknowledgements
Rui Liu and Jie Shen were partially supported by the National Natural Science Foundation of China (Grant Nos. 12471131 and 12071230). Rui Liu is grateful for the opportunities to make several extended visits to the Departments of Mathematics at Texas A&M University and at The University of Texas at Austin, during which he benefited greatly from the guidance of Thomas Schlumprecht and Edward Odell and from many helpful discussions with them. Rui Liu and Jie Shen also thank Longyun Ding and Su Gao for their valuable advice and discussions on set theory, and for their encouragement and support over the years. Jie Shen is grateful to Liang Yu for his lectures on recursion theory at the 2025 Fudan Logic Summer School. He also thanks Zhaokuan Hao, Ruizhi Yang, Ningyuan Yao, and Will Johnson, as well as the School of Philosophy at Fudan University, for organizing and hosting the summer school.
AI assistance, provenance, and authors’ responsibility
- (1)
The authors’ original design. The authors formulated the main theorem and designed the finite-detection construction. Our original work also includes the bounded detection envelope and its formulation through finite-dimensional quotient towers. We also established the characterization by countably many jointly faithful weak-star-to-norm continuous finite-dimensional representations outlined in Section 1. We incorporated oracle Turing machines and recursion-theoretic methods into the AH-type construction developed here. The design includes the finite detector modules, covariant packets, finite requirements and certificates, and the unit and core probes. We also developed the vector-valued Bourgain–Delbaen construction, the multiplier representation of the bounded inverse limit, and the reduction of operator classification to local orbit estimates. The paired probes then make the finite-dimensional detector coefficients compatible and yield one coefficient in . These descriptions concern the specific design used in this paper.
- (2)
Research and writing support. We used GPT-5.6 Sol (OpenAI) and GPT-6 Astra (OpenAI) to check notation, formulas, and the domains and codomains of maps, look for gaps in arguments, suggest clearer wording, generate figures and tables, and help find references. These systems helped us locate related work in the Bourgain–Delbaen, Gowers–Maurey, and Argyros–Haydon literature, and we checked the relevant statements in the original sources. The technical notes in Sections 7–9 identify earlier methods for auxiliary averages, off-weight estimates, stopping trees, boundary-incidence counting, and RIS reduction and synchronization. The references are given at the points where these methods are used.
- (3)
AI contributions to the proofs. The stopping-event formulation in Lemma 7.5 was prompted by an AI suggestion. Subsequent literature checks showed that the underlying counting and tree-truncation techniques were already established.
The contribution to the carrier-labelled argument in Lemma 8.8 and Proposition 8.9 was more substantial. We confirmed that the remaining gap we had identified in the proof concerned the dependent-sequence estimate for evaluations with low level. GPT-5.6 Sol (OpenAI) then supplied the carrier-labelled stopping-tree construction and its counting proof that we used to close this gap. We rewrote this argument in our notation and checked it independently against the definitions and assumptions of the construction. Later source checks confirmed earlier uses of weight and depth stopping, boundary-incidence counting, and summation over disjoint intervals. These sources are cited beside the relevant arguments.
- (4)
Calkin realization examples. Our initial list of applications comprised unitizations associated with boundedly complete unconditional bases, finite-dimensional algebras, the algebras with finite-dimensional , and the convolution-dual examples associated with the special -algebras in Corollary 10.41. GPT-5.6 Sol (OpenAI) and GPT-6 Astra (OpenAI) suggested many of the concrete examples developed in Section 10, both within these initially planned classes and beyond them. Representative suggestions include finite incidence algebras, lower-finite -incidence algebras, weighted monoid and path algebras, Hölder algebras, atomic nest algebras, complete Pick multiplier algebras, free semigroupoid algebras, correspondence Hardy algebras, weak-star semicrossed products, Fourier–Stieltjes and Fourier multiplier algebras, and classical and quantum convolution duals. Concrete examples include , , , , and . We checked that each included example satisfies the hypotheses of the realization results used.
- (5)
Authors’ responsibility. We independently checked the AI-assisted arguments included in the paper and made all final decisions. The authors take full responsibility for the mathematical statements, proofs, citations, and final text. No AI system is treated as an author or as an authority for mathematical correctness.
References
- [1] (2026) A unital Banach algebra which is not a Calkin algebra. Note: arXiv:2607.15075 Cited by: §1.3.
- [2] (2025) -spaces with few operators relative to posets. Note: arXiv:2511.22339 Cited by: §1.3, §10.1, §10.2.
- [3] (2000) Complete Nevanlinna–Pick kernels. J. Funct. Anal. 175 (1), pp. 111–124. Note: doi:10.1006/jfan.2000.3599 Cited by: §10.3, §10.3, §10.3, §10.3.
- [4] (2002) Pick interpolation and Hilbert function spaces. Graduate Studies in Mathematics, Vol. 44, American Mathematical Society, Providence, RI. Note: doi:10.1090/gsm/044 Cited by: §1.3, §10.3, §10.3.
- [5] (2016) Topics in Banach Space Theory. Second edition, Graduate Texts in Mathematics, Vol. 233, Springer, Cham. Note: doi:10.1007/978-3-319-31557-7 Cited by: §10.2, §10.2, §10.2.
- [6] (2005) Profinite semigroups and applications. In Structural Theory of Automata, Semigroups, and Universal Algebra, V. B. Kudryavtsev and I. G. Rosenberg (Eds.), NATO Science Series II: Mathematics, Physics and Chemistry, Vol. 207, pp. 1–45. Note: doi:10.1007/1-4020-3817-8_1 Cited by: §10.4, Corollary 10.42.
- [7] (2000) The dual of the Bourgain–Delbaen space. Israel J. Math. 117, pp. 239–259. Note: doi:10.1007/BF02773572 Cited by: §1.1.
- [8] (1998) Modified mixed Tsirelson spaces. J. Funct. Anal. 159 (1), pp. 43–109. Note: doi:10.1006/jfan.1998.3310 Cited by: §1.1, §7.
- [9] (2011) Hereditarily indecomposable Banach algebras of diagonal operators. Israel J. Math. 181 (1), pp. 65–110. Note: doi:10.1007/s11856-011-0004-x Cited by: §1.1.
- [10] (1997) Examples of asymptotic Banach spaces. Trans. Amer. Math. Soc. 349 (3), pp. 973–995. Note: doi:10.1090/S0002-9947-97-01774-1 Cited by: §1.1, §1.3, §7.1, §7.
- [11] (2000) Interpolating hereditarily indecomposable Banach spaces. J. Amer. Math. Soc. 13 (2), pp. 243–294. Note: doi:10.1090/S0894-0347-00-00325-8 Cited by: §1.1.
- [12] (2012) Embedding uniformly convex spaces into spaces with very few operators. J. Funct. Anal. 262 (3), pp. 825–849. Note: doi:10.1016/j.jfa.2011.10.004 Cited by: §1.1.
- [13] (2016) On the structure of separable -spaces. Mathematika 62 (3), pp. 685–700. Note: doi:10.1112/S0025579315000492 Cited by: §1.1.
- [14] (2011) A hereditarily indecomposable -space that solves the scalar-plus-compact problem. Acta Math. 206 (1), pp. 1–54. Note: doi:10.1007/s11511-011-0058-y Cited by: §1.1, §1.3, §3, §3, §5.2.1, §5, §6.1, §6.2, §6.2, §7.1, §7.1, §7.2, §7.3, §7.4, §7.5, §7.5, §7, §8.2, §8.3, §8.3, §8.3, §8.4, §8, §9.1, §9.2.
- [15] (2014) A reflexive hereditarily indecomposable space with the hereditary invariant subspace property. Proc. Lond. Math. Soc. (3) 108 (6), pp. 1381–1416. Note: doi:10.1112/plms/pdt062 Cited by: §1.1.
- [16] (2016) A dual method of constructing hereditarily indecomposable Banach spaces. Positivity 20 (3), pp. 625–662. Note: doi:10.1007/s11117-015-0378-9 Cited by: §1.1, §1.1.
- [17] (2019) The scalar-plus-compact property in spaces without reflexive subspaces. Trans. Amer. Math. Soc. 371 (3), pp. 1887–1924. Note: doi:10.1090/tran/7353 Cited by: §1.1, §7.
- [18] (2004) Methods in the theory of hereditarily indecomposable Banach spaces. Mem. Amer. Math. Soc. 170 (806), pp. vi+114 pp.. Note: doi:10.1090/memo/0806 Cited by: §1.1, §7, §8.
- [19] (1950) Theory of reproducing kernels. Trans. Amer. Math. Soc. 68 (3), pp. 337–404. Note: doi:10.1090/S0002-9947-1950-0051437-7 Cited by: §10.3.
- [20] (2006) Elements of the Representation Theory of Associative Algebras. Vol. 1. Techniques of Representation Theory. London Mathematical Society Student Texts, Vol. 65, Cambridge University Press, Cambridge. Note: doi:10.1017/CBO9780511614309 Cited by: Corollary 10.21.
- [21] (2018) The coarse geometry of Tsirelson’s space and applications. J. Amer. Math. Soc. 31 (3), pp. 699–717. Note: doi:10.1090/jams/899 Cited by: §1.3, §10.2, §10.2.
- [22] (2001) Co-amenability of compact quantum groups. J. Geom. Phys. 40 (2), pp. 129–153. Note: doi:10.1016/S0393-0440(01)00024-9 Cited by: §10.4, §10.4, §10.4.
- [23] (1980) A class of special spaces. Acta Math. 145 (3–4), pp. 155–176. Note: doi:10.1007/BF02414188 Cited by: §1.1, §1.3, §3.
- [24] (1983) A construction of -spaces and related Banach spaces. Bol. Soc. Brasil. Mat. 14 (2), pp. 109–123. Note: doi:10.1007/BF02584862 Cited by: §1.1.
- [25] (2016) Randomness and differentiability. Trans. Amer. Math. Soc. 368 (1), pp. 581–605. Note: doi:10.1090/tran/6484 Cited by: §1.2.
- [26] (1941) Two-sided ideals and congruences in the ring of bounded operators in Hilbert space. Ann. of Math. (2) 42, pp. 839–873. Note: doi:10.2307/1968771 Cited by: §1.
- [27] (2015) The Dirichlet–Bohr radius. Acta Arith. 171 (1), pp. 23–37. Note: doi:10.4064/aa171-1-3 Cited by: §10.2.
- [28] (1999) Compact quantum hypergroups. J. Operator Theory 41 (2), pp. 261–289. Cited by: §1.3, §1, §10.4, §10.4, Corollary 10.38.
- [29] (1990) A course in functional analysis. Second edition, Graduate Texts in Mathematics, Vol. 96, Springer-Verlag, New York. Note: doi:10.1007/978-1-4757-4383-8 Cited by: §1.3, §10.2.
- [30] (2004) Computability Theory. Chapman & Hall/CRC, Boca Raton, FL. Cited by: §5.2.1.
- [31] (2010) Banach algebras on semigroups and on their compactifications. Mem. Amer. Math. Soc. 205 (966), pp. vi+165 pp.. Note: doi:10.1090/S0065-9266-10-00595-8 Cited by: §10.2.
- [32] (2000) Banach algebras and automatic continuity. London Mathematical Society Monographs, New Series, Vol. 24, Clarendon Press, Oxford. Cited by: §1.3.
- [33] (2018) Semicrossed products of operator algebras: a survey. New York J. Math. 24a, pp. 56–86. External Links: Link Cited by: Corollary 10.33.
- [34] (1998) Nevanlinna–Pick interpolation for non-commutative analytic Toeplitz algebras. Integral Equations Operator Theory 31, pp. 321–337. Note: doi:10.1007/BF01195123 Cited by: §10.3.
- [35] (1988) Nest algebras: triangular forms for operator algebras on Hilbert space. Pitman Research Notes in Mathematics Series, Vol. 191, Longman Scientific & Technical, Harlow. External Links: ISBN 9780582019935 Cited by: §1.3, §10.3.
- [36] (1964) L’algèbre de Fourier d’un groupe localement compact. Bull. Soc. Math. France 92, pp. 181–236. Note: doi:10.24033/bsmf.1607 Cited by: §1.3, §1, §10.4, §10.4, Corollary 10.36.
- [37] (1997) A uniformly convex hereditarily indecomposable Banach space. Israel J. Math. 102, pp. 199–225. Note: doi:10.1007/BF02773800 Cited by: §1.1.
- [38] (1997) Operators on subspaces of hereditarily indecomposable Banach spaces. Bull. London Math. Soc. 29 (3), pp. 338–344. Note: doi:10.1112/S0024609396002718 Cited by: §1.1.
- [39] (1974) A uniformly convex Banach space which contains no . Compositio Math. 29 (2), pp. 179–190. Cited by: §1.1, §10.2.
- [40] (2011) The universality of as a dual space. Math. Ann. 351 (1), pp. 149–186. Note: doi:10.1007/s00208-010-0601-8 Cited by: §1.1.
- [41] (1931) Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I. Monatsh. Math. Phys. 38, pp. 173–198. Note: doi:10.1007/BF01700692 Cited by: §4.3.
- [42] (1993) The unconditional basic sequence problem. J. Amer. Math. Soc. 6 (4), pp. 851–874. Note: doi:10.1090/S0894-0347-1993-1201238-0 Cited by: §1.1, §5, §7.
- [43] (1997) Banach spaces with small spaces of operators. Math. Ann. 307 (4), pp. 543–568. Note: doi:10.1007/s002080050050 Cited by: §1.1, §7, §8.3.
- [44] (1995) A hereditarily indecomposable space with an asymptotic unconditional basis. In Geometric aspects of functional analysis (Israel, 1992–1994), Oper. Theory Adv. Appl., Vol. 77, pp. 111–120. Note: doi:10.1007/978-3-0348-9090-8_11 Cited by: §1.1.
- [45] (1996) A new dichotomy for Banach spaces. Geom. Funct. Anal. 6 (6), pp. 1083–1093. Note: doi:10.1007/BF02246998 Cited by: §1.1.
- [46] (2000) Subspaces of the Bourgain–Delbaen space. Studia Math. 139 (3), pp. 275–293. Note: doi:10.4064/sm-139-3-275-293 Cited by: §1.1.
- [47] (1961) Subgroups of finitely presented groups. Proc. Roy. Soc. London Ser. A 262 (1311), pp. 455–475. Note: doi:10.1098/rspa.1961.0132 Cited by: §1.2.
- [48] (2021) Unital Banach algebras not isomorphic to Calkin algebras of separable Banach spaces. Proc. Amer. Math. Soc. 149 (11), pp. 4781–4787. Note: doi:10.1090/proc/15589 Cited by: §1.3.
- [49] (1975) Spaces with an abstract convolution of measures. Adv. Math. 18 (1), pp. 1–101. Note: doi:10.1016/0001-8708(75)90002-X Cited by: Corollary 10.34.
- [50] (2012) Semicrossed products and reflexivity. J. Operator Theory 67 (2), pp. 379–395. External Links: Link Cited by: Corollary 10.33.
- [51] (2017) Ideal structure of the algebra of bounded operators acting on a Banach space. Indiana Univ. Math. J. 66 (3), pp. 1019–1043. Note: doi:10.1512/iumj.2017.66.6037 Cited by: §1.1.
- [52] (2014) Semigroups of Herz–Schur multipliers. J. Funct. Anal. 266 (3), pp. 1565–1610. Note: doi:10.1016/j.jfa.2013.11.002. arXiv:1303.6780 Cited by: §1.3, §1, §10.4, §10.4, §10.4.
- [53] (2004) Free semigroupoid algebras. J. Ramanujan Math. Soc. 19 (2), pp. 117–159. Note: arXiv:math/0309394 Cited by: §1.3, §10.3.
- [54] (2012) Property (T) and exotic quantum group norms. J. Noncommut. Geom. 6 (4), pp. 773–800. Note: doi:10.4171/JNCG/105 Cited by: §1.3, §1, §10.4, §10.4.
- [55] (2018) Algorithmic information, plane Kakeya sets, and conditional dimension. ACM Trans. Comput. Theory 10 (2), pp. 7:1–7:22. Note: doi:10.1145/3201783 Cited by: §1.2.
- [56] (2024) The Point-to-Set Principle and the dimensions of Hamel bases. Computability 13 (2), pp. 105–112. Note: doi:10.3233/COM-210383 Cited by: §1.2.
- [57] (2017) An unconditionally saturated Banach space with the scalar-plus-compact property. J. Funct. Anal. 272 (12), pp. 4944–4983. Note: doi:10.1016/j.jfa.2017.01.017 Cited by: §1.1, §7.4, §7, §8.3, §8.3, §8.
- [58] (1970) The Diophantineness of enumerable sets. Dokl. Akad. Nauk SSSR 191 (2), pp. 279–282. Note: In Russian Cited by: §1.2.
- [59] (1995) Asymptotic infinite-dimensional theory of Banach spaces. In Geometric aspects of functional analysis (Israel, 1992–1994), Oper. Theory Adv. Appl., Vol. 77, pp. 149–175. Note: doi:10.1007/978-3-0348-9090-8_15 Cited by: §1.1.
- [60] (1977) Normalized weakly null sequence with no unconditional subsequence. Studia Math. 61 (1), pp. 77–98. Note: doi:10.4064/sm-61-1-77-98 Cited by: §1.1.
- [61] (2023) On regular *-algebras of bounded linear operators: A new approach towards a theory of noncommutative Boolean algebras. Tohoku Math. J. (2) 75 (3), pp. 423–463. Note: doi:10.2748/tmj.20220316 Cited by: §10.4.
- [62] (2025) Reflexive Calkin algebras. J. Eur. Math. Soc.. Note: Published online first. doi:10.4171/JEMS/1709 Cited by: §1.1, §1.1, §1.3, §10.2, §10.2, Remark 10.15, Remark 10.15, Corollary 10.16, §7.4, §7, §8.3, §8.
- [63] (2020) Algebras of diagonal operators of the form scalar-plus-compact are Calkin algebras. Michigan Math. J. 69 (1), pp. 97–152. Note: doi:10.1307/mmj/1574845272 Cited by: §1.1, §7, §8.
- [64] (2016) A hierarchy of Banach spaces with Calkin algebras. Indiana Univ. Math. J. 65 (1), pp. 39–67. Note: doi:10.1512/iumj.2016.65.5756 Cited by: §1.1, §7.
- [65] (2025) The compact operators on as a Calkin algebra. Pure Appl. Funct. Anal. 10 (4), pp. 945–966. Cited by: §1.1.
- [66] (2024) Separable spaces of continuous functions as Calkin algebras. J. Amer. Math. Soc. 37 (1), pp. 1–37. Note: doi:10.1090/jams/1024 Cited by: §1.1, §1.3, §10.2, §3, §3, §5.2.1, §7, §8.
- [67] (2004) Hardy algebras, -correspondences and interpolation theory. Math. Ann. 330 (2), pp. 353–415. Note: doi:10.1007/s00208-004-0554-x Cited by: §10.3.
- [68] (1994) The distortion problem. Acta Math. 173 (2), pp. 259–281. Note: doi:10.1007/BF02398436 Cited by: §1.1.
- [69] (1995) On the richness of the set of ’s in Krivine’s theorem. In Geometric aspects of functional analysis (Israel, 1992–1994), Oper. Theory Adv. Appl., Vol. 77, pp. 177–198. Note: doi:10.1007/978-3-0348-9090-8_16 Cited by: §1.1.
- [70] (2000) A Banach space block finitely universal for monotone bases. Trans. Amer. Math. Soc. 352 (4), pp. 1859–1888. Note: doi:10.1090/S0002-9947-99-02425-3 Cited by: §1.1.
- [71] (2002) Trees and branches in Banach spaces. Trans. Amer. Math. Soc. 354 (10), pp. 4085–4108. Note: doi:10.1090/S0002-9947-02-02984-7 Cited by: §8.3.
- [72] (1989) Classical recursion theory. Vol. I: The theory of functions and sets of natural numbers. Studies in Logic and the Foundations of Mathematics, Vol. 125, North-Holland, Amsterdam. Cited by: §1.2, §1.3, §5.1, §5.2.1.
- [73] (2003) Completely Bounded Maps and Operator Algebras. Cambridge Studies in Advanced Mathematics, Vol. 78, Cambridge University Press, Cambridge. Note: doi:10.1017/CBO9780511546631 Cited by: §10.1, §10.1, §10.4, Remark 10.6.
- [74] (1989) Computability in Analysis and Physics. Perspectives in Mathematical Logic, Springer-Verlag, Berlin. Cited by: §1.2.
- [75] (1964) On the foundations of combinatorial theory. I. Theory of Möbius functions. Z. Wahrscheinlichkeitstheorie und Verw. Gebiete 2, pp. 340–368. Note: doi:10.1007/BF00531932 Cited by: §1.3, §10.2, Corollary 10.2, Corollary 10.20.
- [76] (2002) Introduction to Tensor Products of Banach Spaces. Springer Monographs in Mathematics, Springer-Verlag, London. Note: doi:10.1007/978-1-4471-3903-4 Cited by: §10.2, §10.2.
- [77] (1967) Generalized interpolation in . Trans. Amer. Math. Soc. 127 (2), pp. 179–203. Note: doi:10.1090/S0002-9947-1967-0208383-8 Cited by: §10.3, §10.3.
- [78] (1991) An arbitrarily distortable Banach space. Israel J. Math. 76 (1–2), pp. 81–95. Note: doi:10.1007/BF02782845 Cited by: §1.1, §7.
- [79] (2015) The uniqueness-of-norm problem for Calkin algebras. Math. Proc. R. Ir. Acad. 115A, pp. 145–152. Note: doi:10.3318/pria.2015.115.14 Cited by: §1.1.
- [80] (2016) Turing Computability: Theory and Applications. Theory and Applications of Computability, Springer, Berlin–Heidelberg. Note: doi:10.1007/978-3-642-31933-4 Cited by: §1.2, §11.1, §5.2.1.
- [81] (2012) Enumerative combinatorics. Volume 1. Second edition, Cambridge Studies in Advanced Mathematics, Vol. 49, Cambridge University Press, Cambridge. Note: doi:10.1017/CBO9781139058520 Cited by: §10.2.
- [82] (2012) Hereditarily indecomposable, separable Banach spaces with dual having few but not very few operators. J. Lond. Math. Soc. (2) 85 (3), pp. 737–764. Note: doi:10.1112/jlms/jdr066 Cited by: §1.1, §7.
- [83] (2013) Operators on Banach spaces of Bourgain–Delbaen type. D.Phil. thesis, University of Oxford. Note: arXiv:1309.7469 Cited by: §1.1, §1.3, §10.2, §5.2.1, §7, §8.
- [84] (1974) Not every Banach space contains an imbedding of or . Funct. Anal. Appl. 8 (2), pp. 138–141. Note: doi:10.1007/BF01078599 Cited by: §1.1, §1.3, §10.2.
- [85] (1939) Systems of logic based on ordinals. Proc. London Math. Soc. (2) 45, pp. 161–228. Note: doi:10.1112/plms/s2-45.1.161 Cited by: §1.2, Remark 4.5.
- [86] (1996) Compact almost discrete hypergroups. Canad. J. Math. 48 (1), pp. 210–224. Note: doi:10.4153/CJM-1996-010-8 Cited by: §10.4, §10.4.
- [87] (1979) Harmonic analysis on compact hypergroups. Pacific J. Math. 85 (1), pp. 239–251. Note: doi:10.2140/pjm.1979.85.239 Cited by: §10.4.
- [88] (1995) Free products of compact quantum groups. Comm. Math. Phys. 167 (3), pp. 671–692. Note: doi:10.1007/BF02101540 Cited by: §10.4.
- [89] (2018) Lipschitz algebras. Second edition, World Scientific, Hackensack, NJ. Note: doi:10.1142/9911 External Links: ISBN 9789814740630 Cited by: §10.3.
- [90] (1987) Compact matrix pseudogroups. Comm. Math. Phys. 111 (4), pp. 613–665. Note: doi:10.1007/BF01219077 Cited by: §10.4.
- [91] (1998) Compact quantum groups. In Symétries quantiques (Les Houches, 1995), pp. 845–884. Cited by: §1.3, §10.4, §10.4.
- [92] (2014) Bourgain–Delbaen -sums of Banach spaces. Note: arXiv:1402.6564 Cited by: §1.1, §1.3, §7, §8.