Definable -homology of separable C*-algebras
Abstract.
In this paper we show that the -homology groups of a separable C*-algebra can be enriched with additional descriptive set-theoretic information, and regarded as definable groups. Using a definable version of the Universal Coefficient Theorem, we prove that the corresponding definable -homology is a finer invariant than the purely algebraic one, even when restricted to the class of UHF C*-algebras, or to the class of unital commutative C*-algebras whose spectrum is a -dimensional connected subspace of .
Key words and phrases:
-homology, -theory, Universal Coefficient Theorem, C*-algebra, definable group2020 Mathematics Subject Classification:
Primary 19K33, 54H05; Secondary 46M20, 46L80Introduction
Given a compact metrizable space , the group classifying extensions of the C*-algebra by the C*-algebra of compact operators was initially considered by Brown, Douglas, and Fillmore in their celebrated work [10]. There, they showed that is indeed a group, and that defining, for a compact metrizable space ,
where is the suspension of , yields a (reduced) homology theory that satisfies all the Eilenberg–Steenrod–Milnor axioms for Steenrod homology, apart from the Dimension Axiom; see also [67]. They furthermore observed, building on a previous insight of Atiyah [7], that such a homology theory can be seen as the Spanier–Whitehead dual of topological -theory [8].
More generally, for an arbitrary separable unital C*-algebra , one can consider a semigroup classifying the essential, unital extensions of by . By Voiculescu’s non-commutative Weyl-von Neumann Theorem [106, 6], the trivial element of correspond to the class of trivial essential, unital extensions. The group of invertible elements of corresponds to the essential, unital extensions that are semi-split. Thus, by the Choi–Effros lifting theorem [26], is a group when is nuclear. One can extend -homology to the category of all separable C*-algebras by setting
where is the suspension of and is the unitization of . This gives a cohomology theory on the category of separable C*-algebras, which can be recognized as the dual of -theory via Paschke duality [80, 54, 68]. Kasparov’s bivariant functor simultaneously generalizes -homology and -theory, where is recovered as and as .
It was already noticed in the seminal work of Brown, Douglas, and Fillmore [10, 9] that the invariant for a compact metrizable space can be endowed with more structure than the purely algebraic group structure. Indeed, one can write as the inverse limit of a tower of compact polyhedra, and endow with the topology induced by the maps for , where is a countable group endowed with the discrete topology. This gives to the structure of a topological group, which is however in general not Hausdorff.
The study of as a topological group for a separable unital C*-algebra was later systematically undertaken by Dadarlat [31, 32] and Schochet [96, 97, 99] building on previous work of Salinas [93]. (In fact, they consider more generally Kasparov’s -groups.) In [96, 32] several natural topologies on , corresponding to different ways to define -homology for separable C*-algebras, are shown to coincide and to turn into a pseudo-Polish group. This means that, if denotes the closure of zero in , then the quotient of by is a Polish group. In [97], for a C*-algebra satisfying the Universal Coefficient Theorem (UCT), the topology on is related to the UCT exact sequence, and is shown to be isomorphic to the group classifying pure extensions of by . A characterization of for an arbitrary separable nuclear C*-algebra is obtained in [31]. For a separable quasidiagonal C*-algebra satisfying the UCT, is shown to be the subgroup of corresponding to quasidiagonal extensions of by [97]; see also [21] for the commutative case. The quotient of by is the group introduced by Rørdam [85]. A universal multicoefficient theorem describing in terms of the -groups of with arbitrary cyclic groups as coefficients is obtained in [34] for all separable nuclear C*-algebras satisfying the UCT; see [32, Theorem 5.4].
In many cases of interest, the topology on turns out to be trivial, i.e. the closure of zero in is the whole group. For example, the topology on is trivial when is a UHF C*-algebra, despite the fact that is not trivial, and in fact uncountable. Similarly, for every -dimensional solenoid , the topology on is trivial, although is an uncountable group.
In this paper, we take a different approach and consider the group , rather than as a pseudo-Polish topological group, as a definable group. This should be thought of as a group explicitly defined as the quotient of a Polish space by a “well-behaved” equivalence relation , in such a way that the multiplication and inversion operations in are induced by a Borel functions on . This is formally defined in Section 1.5, where the notion of well-behaved equivalence relation is made precise. The definition is devised to ensure that the category of definable groups has good properties, and behaves similarly to the category of standard Borel groups. A morphism in this category is a definable group homomorphism, namely a group homomorphism that lifts to a Borel function between the corresponding Polish spaces.
It has recently become apparent that several homological invariants in algebra and topology can be seen as functors to the category of definable groups. The homological invariants and are considered in [16], whereas Steenrod homology and Čech cohomology are considered in [15, 71]. It is shown there that the definable versions of these invariants are finer than the purely algebraic versions.
In this paper, we show that, for an arbitrary separable C*-algebra , can be regarded as a definable group. Furthermore, different descriptions of —in terms of extensions, Paschke duality, Fredholm modules, and quasi-homomorphisms—yield naturally definably isomorphic definable groups. For C*-algebras that have a -filtration in the sense of Schochet [95], we show that the definable subgroup of is definably isomorphic to . The latter is regarded as a definable group as in [16, Section 7]. (In fact, is the quotient of a Polish group by a Borel Polishable subgroup, and hence a group with a Polish cover in the parlance of [16, Section 7].)
Using this and the rigidity theorem for from [16, Section 7] where is a torsion-free abelian group without finitely-generated direct summands, we prove that definable -homology provides a finer invariant than the purely algebraic (or topological) groups for a separable C*-algebra , even when one restricts to UHF C*-algebras or commutative unital C*-algebras whose spectrum is a -dimensional subspace of .
Theorem A.
The definable -group is a complete invariant for UHF C*-algebras up to stable isomorphism. In contrast, there exists an uncountable family of pairwise non stably isomorphic UHF C*-algebras with algebraically isomorphic -groups (and trivial -groups).
Theorem B.
The definable -group is a complete invariant for -dimensional solenoids up to homeomorphism. In contrast, there exists an uncountable family of pairwise non homeomorphic -dimensional solenoids with algebraically isomorphic -groups (and trivial -groups).
The historic evolution in the treatment of -homology described above should be compared with the similar evolution in the study of unitary duals of second countable, locally compact groups or, more generally, separable C*-algebras. Given a separable C*-algebra , its unitary dual is the quotient of the Polish space of unitary irreducible representations of by the relation of unitary equivalence. This includes as a particular instance the case of second countable, locally compact groups, by considering the corresponding universal C*-algebras. While initially was considered as a topological space endowed with the quotient topology, it was recognized in the seminal work of Mackey, Glimm, and Effros [72, 52, 36] that a more fruitfuil theory is obtained by considering endowed with the quotient Borel structure, called the Mackey Borel structure. This led to the notion of type I C*-algebra, which precisely captures those separable C*-algebras with the property that the Mackey Borel structure is standard. It was soon realized that, in the non type I case, the right notion of “isomorphism” of Macky Borel structures on duals corresponds to a bijection that is induced by a Borel function . In our terminology from Section 1.4, this corresponds to regarding a unitary dual as a definable set, where an isomorphism of Mackey Borel structures on is a definable bijection . For example, this approach is taken by Elliott in [40], where he proved that the unitary duals of any two separable AF C*-algebras that are not type I are isomorphic in the category of definable sets. It is a question of Dixmier from 1967 whether the unitary duals of any two non-type I separable C*-algebras are isomorphic in the category of definable sets; see [102, 43, 65]. This problem was recently considered in the case of groups by Thomas, who showed that the unitary duals of any two countable amenable non-type I groups are isomorphic in the category of definable sets [102, Theorem 1.10]. Furthermore, the unitary dual of any countable group admits a definable injection to the unitary dual of the free group on two generators [102, Theorem 1.9].
The work of Mackey, Glimm, and Effors on unitary representations pioneered the application of methods from descriptive set theory to C*-algebras. More recent applications have been obtained by Kechris [64] and Farah–Toms–Törnquist [46, 45], who studied the problem of classifying several classes of C*-algebras from the perspective of Borel complexity theory; see also [70, 50, 37].
The rest of this paper is organized as follows. In Section 1 we recall fundamental results from descriptive set theory about Polish spaces and standard Borel spaces, and make precise the notions of definable set, and the corresponding notion of definable group. In Section 2 we introduce the notion of strict C*-algebra, which is a (not necessarily norm-separable) C*-algebra whose unit ball is endowed with a Polish topology induced by bounded seminorms, called the strict topology, such that the C*-algebra operations are strictly continuous on the unit ball. The main example we will consider are multiplier algebras of separable C*-algebras, endowed with their usual strict topology, as well as Paschke dual algebras of separable C*-algebras. In Section 3 we study the -theory of a strict C*-algebra or, more generally, the quotient of a strict C*-algebra by a strict ideal, such as a corona algebra or the commutant of a separable C*-algebra in a corona algebra. We observe that the -theory groups of a strict C*-algebra can be regarded as quotients of a Polish space by an equivalence relation. As such an equivalence relation is not necessarily well-behaved, they are in general only semidefinable groups, although we they will be in fact definable groups in the case of Paschke dual algebras of separable C*-algebras. In Section 4 definable -homology for separable C*-algebras is introduced, and shown to be given by definable groups by considering its description in terms of the -theory of Pashcke dual algebras. The descriptions of -homology due to Cuntz and Kasparov are considered in Section 5, where they are shown to yield definably isomorphic groups. In Section 6 we discuss properties of definable -homology, which can be seen as definable versions of the general properties that an abstract cohomology theory for separable, nuclear C*-algebras in the sense of Schochet satisfies [94]. A definable version of the Universal Coefficient Theorem of Brown [21], later generalized to -groups by Rosenberg and Schochet [89], is considered in Section 7. Theorem A is a consequence of the definable UCT, the classification of AF C*-algebras by -theory, and the rigidity result for definable of torsion-free finite-rank abelian groups from [16]. Finally, Section 8 considers definable -homology for compact metrizable spaces, and Theorem B is obtained applying again the definable UCT and the rigidity theorem for definable from [16].
1. Polish spaces and definable groups
In this section we recall some fundamental notions concerning Polish spaces and Polish groups, as well as standard Borel spaces and standard Borel groups, as can be found in [11, 63, 48]. We also consider the notion of Polish category, which is a category whose hom-sets are Polish spaces and composition of morphisms is a continuous function, and establish some of its basic properties. Furthermore, we recall the notion of idealistic equivalence relation on a standard Borel space and some of its fundamental properties as established in [66, 76]. We then define precisely the notion of (semi)definable set and (semi)definable group.
1.1. Polish spaces and standard Borel spaces
A Polish space is a second countable topological space whose topology is induced by a complete metric. A subset of a Polish space is if and only if it is a Polish space when endowed with the subspace topology. If is a Polish space, then the Borel -algebra of is the -algebra generated by the collection of open sets. By definition, a subset of is Borel if it belongs to the Borel -algebra. If are Polish spaces, then the product is a Polish space when endowed with the product topology. More generally, if is a sequence of Polish spaces, then the product is a Polish space when endowed with the product topology. The class of Polish spaces includes all locally compact second countable Hausdorff spaces. We denote by the set of natural numbers including . We regard and any other countable set as a Polish space endowed with the discrete topology. The Baire space is the Polish space obtained as the infinite product of copies of .
A standard Borel space is a set endowed with a -algebra (the Borel -algebra) that comprises the Borel sets with respect to some Polish topology on . A function between standard Borel spaces is Borel if it is measurable with respect to the Borel -algebras. A subset of a standard Borel space is analytic if it is the image of a Borel function for some standard Borel space . This is equivalent to the assertion that there exists a Borel subset such that is the projection of on the first coordinate. A subset of is co-analytic if its complement is analytic. One has that a subset of is Borel if and only if it is both analytic and co-analytic.
Given standard Borel spaces , we let be their product endowed with the product Borel structure, which is also a standard Borel space. If is a sequence of standard Borel spaces, then their disjoint union is a standard Borel space, where a subset of is Borel if and only if is Borel for every . The product is also a standard Borel space when endowed with the product Borel structure. In the following proposition, we collect some well-known properties of the category of standard Borel spaces and Borel functions.
Proposition 1.1.
Let be the category that has standard Borel spaces as objects and Borel functions and morphisms.
-
(1)
If is a standard Borel space and is a Borel subset, then is a standard Borel space when endowed with the induced standard Borel structure;
-
(2)
If are standard Borel spaces, is an injective Borel function, and is Borel, then is a Borel subset of ;
-
(3)
If are standard Borel spaces, and is a bijective Borel function, then the inverse function is Borel;
-
(4)
If are standard Borel spaces, and there exist injective Borel functions and , then there exists a Borel bijection ;
-
(5)
The category has finite products, finite coproducts, equalizers, and pullbacks;
-
(6)
A Borel function is monic in if and only if it is injective, and epic in if and only if it is surjective;
-
(7)
An inductive sequence of standard Borel spaces and injective Borel functions has a colimit in .
A Polish group is a topological group whose topology is Polish. If is a Polish group, and is a closed subgroup of , then is a Polish group when endowed with the subspace topology. If furthermore is normal, then is a Polish group when endowed with the quotient topology. If are Polish groups, and is a Borel function, then is continuous. In particular, if is a Polish space, then it has a unique Polish group topology that induces its Borel structure. A subgroup of a Polish group is Polishable if it is Borel and there is a (necessarily unique) Polish group topology on that induces the Borel structure on inherited from . This is equivalent to the assertion that is equal to the range of a continuous group homomorphisms for some Polish group . If is a Polish group, then a Polish -space is a Polish space endowed with a continuous action of . A Borel -space is a standard Borel space endowed with a Borel action of . Given a Borel -space , there exists a Polish topology on such that is a Polish -space; see [11, Theorem 5.2.1].
A standard Borel group is, simply, a group object in the category of standard Borel spaces [75, Section III.6]. Explicitly, a standard Borel group is a standard Borel space that is also a group, and such that the group operation on and the function , are Borel; see [63, Definition 12.23]. Clearly, every Polish group is, in particular, a standard Borel group.
The notion of Polish topometric space was introduced and studied in [24, 23, 22, 25]. A topometric space is a Hausdorff space endowed with a topology and a -valued metric such that:
-
(1)
the metric-topology is finer than ;
-
(2)
the metric is lower-semicontinuous with respect to , i.e. for every the set
is -closed in .
A Polish topometric space is a topometric space such that the topology is Polish and the metric is complete. A Polish topometric group is a Polish topometric space that is also a group, and such that endowed with the topology is a Polish group, and the metric on is bi-invariant
1.2. Polish categories
By definition, we let a Polish category be a category enriched over the category of Polish spaces (regarded as a monoidal category with respect to binary products). Thus, for each pair of objects of , is a Polish space, such that for objects , the composition operation is continuous.
Suppose that is a Polish category. For objects of , define be the set of -isomorphisms . While is not necessarily a subset of , and hence not necessarily a Polish space when endowed with the subspace topology, is endowed with a canonical Polish topology, defined as follows. For a net in and , set if and only if in and in . One can then easily show the following.
Lemma 1.2.
Adopt the notations above. Then is a Polish space.
It is clear from the definition that, for every object of , is a Polish group. Furthermore, the canonical (right and left) actions of and on are continuous.
Definition 1.3.
Suppose that and are Polish categories, and is a functor. We say that is continuous if, for every pair of objects of , the map , is continuous. We say that is a topological equivalence if it is continuous, and there exists a continuous functor such that is isomorphic to the identity functor , and is isomorphic to the identity functor .
The notion of topological equivalence of categories is the natural analogue of the notion of equivalence of categories in the context of Polish categories; see [75, Section IV.4]. The same proof as [75, Section IV.4, Theorem 1] gives the following characterization of topological equivalences.
Lemma 1.4.
Suppose that and are Polish categories, and is a functor. The following assertions are equivalent:
-
(1)
is a topological equivalence;
-
(2)
each object of is isomorphic to one of the form for some object of , and for each pair of objects of , the map is a homeomorphism.
1.3. Idealistic equivalence relations
Suppose that is a set. A -filter on is a nonempty family of subsets of that is closed under countable intersections, and such that and if and then . The dual notion is the one of -ideal. Thus, a nonempty family of subsets of is a -ideal if it is closed under countable unions, , and and imply . Clearly, if is a -filter on , then is a -ideal on , and vice-versa. Thus, one can equivalently formulate notions in terms of -filters or in terms of -ideals.
If is a -filter on , then can be thought of as a notion of “largeness” for subsets of . Based on this interpretation, we use the “-filter quantifier” notation “, ” for a subset to express the fact that . If is a unary relation for elements of , “, ” is the assertion that the set of that satisfy belongs to .
Example 1.5.
Suppose that is a Polish space. A subset of is meager if it is contained in the union of a countable family of closed nowhere dense sets. By the Baire Category Theorem [63, Theorem 8.4], meager subsets of form a -ideal . The corresponding dual -filter is the -filter of comeager sets, which are the subsets of whose complement is meager.
Suppose that is a standard Borel space. We consider an equivalence relation on as a subset of , endowed with the product Borel structure. Consistently, we say that is Borel or analytic, respectively, if it is a Borel or analytic subset of . In the following, we will exclusively consider analytic equivalence relations, most of which will in fact be Borel. For an element of we let be its corresponding -class.
We now recall the notion of idealistic equivalence relation, initially considered in [62]; see also [48, Definition 5.4.9] and [66]. We will consider a slightly more generous definition than the one from [62, 48, 66]. The more restrictive notion is recovered as a particular case by insisting that the function in Definition 1.6 be the identity function of . In the following definition, for a subset of a product space and , we let be the corresponding vertical section.
Definition 1.6.
An equivalence relation on a standard Borel space is idealistic if there exist a Borel function satisfying for every , and a function that assigns to each -class a -filter of subsets of such that, for every Borel subset of , the set
is Borel.
Idealistic equivalence relations arise naturally as orbit equivalence relations of Polish group actions. Suppose that is a Polish group and is a Polish -space. Let be the corresponding orbit equivalence relation on , obtained by setting, for , if and only if there exists such that . Then is an idealistic equivalence relation, as witnessed by the identity function on and the function where if and only if , . (As in Example 1.5, denotes the -filter of comeager subsets of .) In particular, if is a Polish group, and is a Polishable subgroup of , then the coset equivalence relation of in is Borel and idealistic.
Suppose that is an equivalence relation on a standard Borel space . A Borel selector for is a Borel function such that, for , if and only if . If has a Borel selector, then is Borel and idealistic; see [48, Theorem 5.4.11]. (Precisely, an equivalence relation has a Borel selector if and only if it is Borel, idealistic, and smooth [48, Definition 5.4.1].)
1.4. Definable sets
Definable sets are a generalization of standard Borel sets, and can be thought of as sets explicitly presented as the quotient of a standard Borel space by a “well-behaved” equivalence relation .
Definition 1.7.
A definable set is a pair where is a standard Borel space and is a Borel and idealistic equivalence relation on . We think of as a presentation of the quotient set . Consistently, we also write the definable set as . A subset of is Borel if there is an -invariant Borel subset of such that .
We now define the notion of morphism between definable sets. Let and be definable sets. A lift of a function is a function such that for every .
Definition 1.8.
Let and be definable sets. A function is Borel-definable if it has a lift that is a Borel function.
Remark 1.9.
Since Borel-definability is the only notion of definability we will consider in this paper, we will abbreviate “Borel-definable” to “definable”.
We consider definable sets as objects of a category , whose morphisms are the definable functions. We regard a standard Borel space as a particular instance of definable set where and is the relation of equality on . This renders the category of standard Borel spaces a full subcategory of the category of definable sets.
If and are definable sets, then their product in is the definable set , being the equivalence relation on defined by setting if and only if and . (It is easy to see that is Borel and idealistic if both and are Borel and idealistic.)
Many of the good properties of standard Borel spaces, including all the ones listed in Proposition 1.1, generalize to definable sets.
Proposition 1.10.
Let as above be the category that has definable as objects and definable functions as morphisms.
-
(1)
If is a definable and is a Borel subset, then is itself a definable set;
-
(2)
If are definable sets, is an injective definable function, and a Borel subset, then is a Borel subset of ;
-
(3)
If are definable sets, and is a bijective definable function, then the inverse function is definable;
-
(4)
If are definable sets, and there exist injective definable functions and , then there exists a definable bijection ;
-
(5)
The category has finite products, finite coproducts, equalizers, and pullbacks;
-
(6)
A definable function is monic in if and only if it is injective, and epic in if and only if it is surjective;
-
(7)
An inductive sequence of definable sets and injective definable functions has a colimit in .
Proof.
(1) is immediate from the definition. (2) and (3) are consequences of [66, Lemma 3.7], after observing that the same proof there applies in the case of the more generous notion of idealistic equivalence relation considered here. (4) is a consequence of (2) and [76, Proposition 2.3]. Finally, (5), (6), and (7) are easily verified. ∎
Occasionally we will need to consider quotients where is a standard Borel space is an analytic equivalence relation on that is not Borel and idealistic, or has not yet been shown to be Borel and idealistic. In this case, we say that is a semidefinable set. Clearly, every definable set is, in particular, a semidefinable set. The notion of Borel subset and definable function are the same as in the case of definable sets. Thus, if and are semidefinable sets, is a subset and is a function, then is definable if it has a Borel lift , and is Borel if there is a Borel -invariant subset of such that . The category has semidefinable sets as objects and definable functions as morphisms. Notice that, in particular, an isomorphism from to in is a bijection such that both and the inverse function are definable.
Lemma 1.11.
Suppose that is a definable set, is a semidefinable set. If and are isomorphic in , then is a definable set.
Proof.
Suppose that the Borel function and the assignment witness that is idealistic. By assumption, there exists a bijection such that has a Borel lift , and has a Borel lift . For we have that if and only if , whence is Borel. We now show that is idealistic.
Define an assignment from -classes to -filters, by setting if and only if where . Consider also the Borel map . Then it is easy to verify that and the assignment witness that is idealistic. ∎
Lemma 1.12.
Suppose that and are semidefinable sets. Assume that there exists a definable bijection (which is not necessarily an isomorphism in ). If is Borel, then is Borel.
Proof.
By assumption is Borel, and is analytic. Furthermore, has a Borel lift . Since is a bijection, we have that, for ,
This shows that is co-analytic. As is also analytic, we have that is Borel. ∎
Lemma 3.7 in [66] can be stated as the following proposition, which generalizes items (2) and (3) in Proposition 1.10.
Proposition 1.13 (Kechris–Macdonald).
Let be a definable set, be semidefinable set such that is Borel, and be a definable function. If is injective, then the range of a Borel subset of . If is bijective, then the inverse function is definable.
Corollary 1.14.
Suppose that is a definable set, and is a semidefinable set. If is a definable bijection, then is a definable set and is an isomorphism in .
1.5. Definable groups
A definable group can be simply defined as a group in the category in the sense of [75, Section III.6]. Thus, a definable group is a definable set that is also a group, and such that the group operation is definable, and the function , is also definable. As in the case of sets, we regard a standard Borel group as a particular instance of definable group where is a standard Borel group and is the relation of equality on . Thus, standard Borel groups form a full subcategory of the category of definable groups.
Naturally, a semidefinable group will be a group in , i.e. a semidefinable set that is also a group, and such that the group operation is definable, and the function that maps every element to its inverse is definable.
Lemma 1.15.
If is a semidefinable group, then the equivalence relation is Borel if and only if the identity element of , which is the -class of some element of , is a Borel subset of .
Proof.
Clearly, if is Borel, then is Borel. Conversely, suppose that is Borel. If and are Borel lifts of the group operation in and of the function that maps each element to its inverse, respectively, then we have that if and only if . This shows that is Borel. ∎
Corollary 1.16.
Suppose that is a semidefinable group. If is the orbit equivalence relation of a Borel action of a Polish group on the standard Borel space , then is a definable group.
Proof.
Remark 1.17.
A particular instance of definable group is obtained as follows. Suppose that is a Polish group and is a Borel Polishable subgroup. Let be the coset equivalence relation of in . The quotient group is the quotient of by the equivalence relation . Since is Polishable, is the orbit equivalence relation of a Borel action of a Polish group on . Thus, is a definable group by Corollary 1.16. The definable groups obtained in this way are called groups with a Polish cover in [16].
2. Strict C*-algebras
In this section we introduce the notion of strict Banach space and strict C*-algebra and some of their properties. Briefly, a strict Banach space is a Banach space whose unit ball is endowed with a Polish topology (called the strict topology) that is coarser than the norm-topology and induced by a sequence of bounded seminorms. A suitable semicontinuity requirement relates the norm and the strict topology. A strict C*-algebra is a strict Banach space that is also a C*-algebra with some suitable continuity requirement relating the C*-algebra operations and the strict topology. The name is inspired by the strict topology on the multiplier algebra of a separable C*-algebra, which will be one of the main examples. Other examples are Paschke dual algebras of separable C*-algebras.
2.1. Strict Banach spaces
Let be a Banach space. We denote by its unit ball. A seminorm on is bounded if . We say that is contractive if .
Definition 2.1.
A strict Banach space is a Banach space such that is endowed with a topology (called the strict topology) such that, for some sequence of contractive seminorms on , letting be the pseudometric on defined by
one has that:
-
(1)
is a complete metric that induces the strict topology on ;
-
(2)
contains a countable strictly dense subset;
-
(3)
for every .
Example 2.2.
Suppose that is a separable Banach space. Then is a strict Banach space where the strict topology on is the norm topology.
Example 2.3.
Suppose that is a separable Banach space, and is its Banach space dual. Then is a strict Banach space where the strict topology on is the weak*-topology.
Let be a seminormed space, and consider the cone of bounded seminorms on as a complete metric space, with respect to the metric defined by . For a subset , we let be the topology on generated by . We denote by Ball the set of contractive seminorms in . If , , and is a sequence in , then we say that:
-
•
is -Cauchy if for every there exists such that, for , ;
-
•
is -Cauchy if it is -Cauchy for every ;
-
•
is -complete if, for every sequence in Ball, if is -Cauchy, then is -convergent to some element of .
The following lemma is elementary.
Lemma 2.4.
Suppose that is a seminormed space. Let be a topology on . Assume that and are two sets of bounded seminorms on such that the topologies and on coincide with . Then, for a sequence in , is -Cauchy if and only if it is -Cauchy. In this case, we say that is -Cauchy. It follows that is -complete if and only if it is -complete. In this case, we say that is -complete.
In view of Lemma 2.4 one can equivalently define a strict Banach space as follows.
Definition 2.5.
A strict Banach space is a Banach space such that is endowed with a topology (called the strict topology) such that, for some separable cone of bounded seminorms on , one has that:
-
(1)
the strict topology on is the -topology, and is strictly complete;
-
(2)
contains a countable strictly dense subset;
-
(3)
for every .
Proposition 2.6.
Suppose that is a strict Banach space. Then is a Polish topometric space when endowed with the strict topology and the norm-distance.
Proof.
By definition, the strict topology on is Polish. Since the strict topology is induced by bounded seminorms on , it is coarser than the norm topology. The function is strictly lower-semicontinuous, being the supremum of strictly continuous functions. Since the norm on is complete, the distance on Ball is complete. ∎
Suppose that is a strict Banach space. We extend the strict topology of Ball to any bounded subset of by declaring the function
to be a homeomorphism with respect to the strict topology, where
Then we have that addition and scalar multiplication on are strictly continuous on bounded sets, and the norm is strictly lower-semicontinuous on bounded sets. In particular is a strictly closed subspace of for . Notice that, if is a norm-closed subspace of such that is strictly closed in Ball, then is a strict Banach space with the induced norm and the induced strict topology.
Definition 2.7.
Let be a strict Banach space. The (standard) Borel structure on is defined by declaring a subset of to be Borel if and only if is Borel for every .
Notice that the Borel structure on is standard, as is Borel isomorphic to the disjoint union of the standard Borel spaces for .
Definition 2.8.
If and are strict Banach spaces. A bounded linear map is contractive if , and strict if it is strictly continuous on bounded sets. A bounded seminorm on is strict if it is strictly continuous on bounded sets.
Clearly, strict Banach spaces form a category where the morphisms are the strict contractive linear maps. Notice that, if is a strict, bijective, and isometric linear map between strict Banach spaces, then the inverse is not necessarily strict, whence is not necessarily an isomorphism in the category of strict Banach spaces. Nonetheless, is a Borel isomorphism, as both and are standard Borel spaces.
Definition 2.9.
Let be a strict Banach space. Define to be the space of bounded, strict seminorms on .
Notice that is a closed subspace of the complete metric space . A sequence in is strictly convergent if and only if it is -Cauchy. A bounded linear map is strict if and only if for every .
Remark 2.10.
Suppose that is a strict Banach space, and is a separable cone of bounded, strict seminorms on that induces the strict topology on . One can consider the globally defined topology on , induced by all the seminorms in . This topology coincides with the strict topology on . However, it is not first countable on the whole of , unless is a separable Banach space and the strict topology is equal to the norm topology. Indeed, if the -topology on is first-countable, then is a Frechet space. By the Open Mapping Theorem for Frechet spaces [87, Theorem 8, page 120], any two comparable Frechet space topologies must be equal. Thus, equals the norm topology. In particular, the norm-topology on is equal to the strict topology, and it has a countable dense subset. Hence the norm-topology on is separable.
For future reference, we record the easily proved observation that a uniform limit of strictly continuous functions is strictly continuous.
Lemma 2.11.
Suppose that and are strict Banach spaces, and . Suppose that is an function. Assume that there exists an sequence of strictly continuous function such that
Then is strictly continuous.
A standard Baire Category argument shows that one can characterize bounded subsets in terms of bounded, strict seminorms, as follows.
Lemma 2.12.
Let be a strict Banach space. If , then is bounded if and only if, for every , is a bounded subset of .
A natural way to obtain strict Banach spaces is via pairings.
Definition 2.13.
A Banach pairing is a bounded bilinear map , where are Banach spaces. Define the -topology to be the topology on generated by the cone of bounded seminorms for .
The following lemma is an immediate consequence of the definition of strict Banach space.
Lemma 2.14.
Suppose that is a Banach pairing. Assume that:
-
•
are norm-separable Banach spaces;
-
•
for every ,
-
•
is -complete;
-
•
has a countable -dense subset.
Then is a strict Banach space where the strict topology on is the -topology.
Suppose that is a norm-separable Banach space, and is a strict Banach spaces. A linear map is bounded if it maps bounded sets to bounded sets or, equivalently,
This defines a norm on the space of bounded linear maps . We also define the strict topology on Ball to be the topology of pointwise convergence in the strict topology of Ball. Then one can easily show the following.
Proposition 2.15.
Suppose that is a norm-separable Banach space, and is a strict Banach space. Then is a strict Banach space.
2.2. Strict C*-algebras
We now introduce the notion of strict C*-algebra. Given a C*-algebra , we let be the set of its self-adjoint elements. We also denote by the C*-algebra of matrices over , which can be identified with the tensor product . We refer to [14, 33, 78, 82] for fundamental notions and results from the theory of C*-algebras.
Definition 2.16.
A strict C*-algebra is a C*-algebra such that, for every , is also a strict Banach space satisfying the following properties:
-
(1)
the *-operation and the multiplication operation on are strictly continuous on bounded sets;
-
(2)
the strict topology on is induced by the inclusion
where is endowed with the strict topology, and is endowed with the product topology.
Example 2.17.
Suppose that is a separable C*-algebra. Then we have that is a strict C*-algebra where, for every , is endowed with the norm-topology.
Suppose that is a strict C*-algebra. Then, for every , is also a strict C*-algebra. If is a strict C*-algebra, then we regard as a standard Borel space with respect to the standard Borel structure induced by the strict topology on as in Definition 2.7. We say that a subset of is Borel if it is Borel with respect to such a Borel structure. We have that the Borel structure on (as a strict C*-algebra) coincides with the product Borel structure.
Definition 2.18.
Suppose that is a strict unital C*-algebra. A strict ideal of is a norm-closed proper two-sided Borel ideal of that is also a strict C*-algebra, and such that the inclusion map is strict.
Remark 2.19.
In order for to be a strict ideal of , we do not require that be strictly closed in nor that the strict topology on be the subspace topology induced by the strict topology of .
Example 2.20.
Suppose that is a strict unital C*-algebra and is a norm-closed and norm-separable proper two-sided ideal of . Then is a strict ideal of .
We regard strict (unital) C*-algebras as objects of a category with strict (unital) *-homomorphisms as morphisms. (Recall that a bounded linear map is strict if it is strictly continuous on bounded sets.) If , then we say that is strictly dense in if is dense in with respect to the strict topology.
It follows from the axioms of a strict C*-algebra that, if is a strict C*-algebra, and is a *-polynomial, then defines a function that is strictly continuous on bounded sets. In particular, the sets of normal, self-adjoint, and positive elements of norm at most are strictly closed in . If is a continuous function, then induces by continuous functional calculus and Lemma 2.11 a strictly continuous functions from the strictly closed set of -tuples of pairwise commuting self-adjoint elements in to . Similarly, if is a continuous function, then induces by continuous functional calculus and Lemma 2.11 a strictly continuous function from the strictly closed set of -tuples of pairwise commuting normal elements in to .
Suppose that is a strict C*-algebra. Let be the Borel set of normal elements of . For , the spectrum is a closed subset of . We consider the space of closed subsets of as a standard Borel space endowed with the Effros Borel structure [63, Section 12.C]. If is a standard Borel space and is a basis of open subsets of , then a function is Borel if and only if, for every , is Borel. The proof of the following lemma is standard; see [100, Lemma 1.6].
Lemma 2.21.
Suppose that is a strict C*-algebra. The function , is Borel.
Proof.
It suffices to show that the map , is Borel. Observe that has a basis of open sets of the form where is a continuous function. For such a continuous function , we have that
which is closed in . This concludes the proof. ∎
Suppose that is a strict C*-algebra. Fix and consider the set
Then, for we have that is invertible, , and
It follows from Lemma 2.11 that the function , is strictly continuous.
More generally, suppose that is an open subset of , and is a holomorphic function. Suppose that and is such that . Then admits a Taylor expansion
that converges uniformly for [1, Chapter 5, Theorem 3 and Chapter 2, Theorem 2]. Fix and set
Then for ,
see [83, Lemma 4.1.11]. Furthermore, the function , is strictly continuous on by Lemma 2.11, where .
2.3. Multiplier algebras
Suppose that is a separable C*-algebra. A double centralizer for is a pair of bounded linear maps such that and for every . Let be the set of double centralizers for . Then is a C*-algebra with respect to the operations
and the norm
for and . The strict topology on is the topology of pointwise convergence, namely the topology induced by the seminorms
for .
An element can be identified with the multiplier defined by setting and for . This allows one to regard as an essential ideal of . (An ideal of a C*-algebra is essential if is zero or, equivalently, has nonzero intersection with every nonzero ideal of .) If is an approximate unit for [55, Definition 1.7.1] then, by definition, strictly converges to in . In particular, is strictly dense in .
If is a strictly Cauchy sequence in , in the sense that is -Cauchy for every , then setting
for defines a double centralizer that is the strict limit of in . For , one can identify with and consider the corresponding strict topology. From the above remarks and Lemma 2.14, one easily obtains the following; see [44, Chapter 13] or [109, Chapter 2].
Proposition 2.22.
Let be a separable C*-algebra. Then is a strict unital C*-algebra containing as a strictly dense essential strict ideal where, for every , the strict topology on is as described above, and is identified with .
Example 2.23.
When is the algebra of compact operators on a separable Hilbert space, then and the strict topology on is the strong-* topology [14, Proposition I.8.6.3].
Example 2.24.
One can also regard as the dual space of the Banach space of trace-class operators. This turns into a strict Banach space, where the strict topology on is the weak* topology, which coincides with the weak operator topology [14, Definition I.8.6.2]. As the identity map is strong-*–weak continuous, the strong-* topology and weak operator topology on define the same standard Borel structure on .
One can define as above the strict topology on the whole multiplier algebra to be the topology of pointwise convergence of double multipliers. However, this topology on is not first countable whenever is not unital; see Remark 2.10.
Suppose that is a separable C*-algebra, and is a compact metrizable space. One can then consider the separable C*-algebra of continuous functions . Let also be the C*-algebra of strictly continuous bounded functions . There is an obvious unital *-homomorphism , where acts on by pointwise multiplication. The unital *-homomorphism is in fact a *-isomorphism [4, Corollary 3.4]. We can thus identify with and regard it as a strict C*-algebra. Observe that, for , the function , is strictly continuous. We let be the C*-algebra of norm-continuous functions , which is a C*-subalgebra of .
Lemma 2.25.
Suppose that is a separable C*-algebra, and is a compact metrizable space. Then is a Borel subset of .
Proof.
Fix a compatible metric on , and a countable dense subset of . Clearly, it suffices to show that is a Borel subset of . Fix, for every , a finite cover of consisting of open sets of diameter less than , and fix elements for . We have that a strictly continuous function is norm-continuous if and only if, for every there exists such that, for every and , . Since is strictly closed and is strictly continuous, we have that is norm-continuous if and only if for every there exists such that, for every and for every , . This shows that the set of norm-continuous functions is Borel. ∎
Corollary 2.26.
Suppose that is a separable C*-algebra. Then the set of norm-continuous paths is a Borel subset of .
Suppose that and are separable C*-algebra. A morphism from to in the sense of [110, 111, 108, 112] is a *-homomorphism such that is norm-dense in . (This is called -morphism in [103, Definition 0.2.7] and a nondegenerate *-homomorphism in [69].) We recall the well-known fact that there is a correspondence between morphisms from to and strict unital *-homomorphisms ; see [69, Proposition 2.1].
Lemma 2.27.
Let and be separable C*-algebra.
-
•
Suppose that is a strict unital *-homomorphism. Then is a morphism from to .
-
•
Conversely, if is a morphism from to , then extends to a unique strict unital *-homomorphism . If is injective, then is injective.
-
•
If is an approximate unit for , then a *-homomorphism is a morphism from to if and only if strictly converges to .
A further characterization of morphisms is provided in [103, Lemme 0.2.6] and [56, Proposition 1.1]. It follows from Lemma 2.27 that the composition of morphisms and is meaningful, and it gives a morphism .
Suppose that are separable C*-algebras. A *-homomorphism is quasi-unital [57, Definition 1.3.13] (also called strict [69, page 49]) if there exists a projection , called the relative unit of , such that . One has the following generalization of Lemma 2.27; see [69, Corollary 5.7].
Lemma 2.28.
Let and be separable C*-algebra.
-
•
Suppose that is a strict *-homomorphism. Then is a quasi-unital *-homomorphism from to with relative unit .
-
•
Conversely, if is a quasi-unital *-homomorphism from to with relative unit , then extends to a unique strict *-homomorphism with . If is injective, then is injective.
-
•
If is an approximate unit for , then a *-homomorphism is quasi-unital if and only if is strictly Cauchy.
We now observe that the category of multiplier algebras of separable C*-algebras, regarded as a full subcategory of the category of strict unital C*-algebras, can be regarded as a Polish category; see Section 1.2. This means that, for every separable C*-algebras and , the set Mor of strict unital *-homomorphisms is a Polish space, and composition of morphisms is a continuous function.
Following [112] we consider as endowed with the topology of pointwise strict convergence. This is the subspace topology induced by regarding, as in Lemma 2.27, as a subspace of , where is the space of bounded linear maps from to . (Recall that, if is a Banach space and is a strict Banach space, then the space of bounded linear maps is a strict Banach space when is endowed with the topology of pointwise strict convergence; see Proposition 2.15.) As is a subset of , it is a Polish space with the induced topology. It is easy to see that this turns the category of muliplier algebras of separable C*-algebras into a Polish category.
If are separable C*-algebras, then the space of isomorphisms in the category of strict unital C*-algebras endowed with the Polish topology as in Lemma 1.2 can be identified, via the correspondence given by Lemma 2.27, with the space of *-isomorphisms endowed with the topology of pointwise norm-convergence.
Consider now the category of locally compact second countable Hausdorff spaces, where a morphism is simply a continuous map. Given locally compact second countable Hausdorff spaces , let be the set of all continuous maps . This is endowed with a Polish topology called the compact-open topology, that has as subbasis of open sets the sets of the form
for a compact subset of and an open subset of . This turns the category of locally compact second countable Hausdorff spaces and continuous maps into a Polish category. We let be the set of homeomorphisms . The Polish topology induced on as in Lemma 1.2 was shown in [5, Theorem 5], where it is called the -topology, to have as subbasis of open sets the sets of then where are closed sets and at least one between and is compact. For a locally compact second countable Hausdorff space , let be its one-point compactification, obtained by adjoining a point at infinity . Each admits a unique extension to that fixes the point at infinity, in the sense that . By [5, Theorem 5], the assignment defines a homeomorphism from onto the closed subset of consisting of the homeomorphisms that fix the point at infinity.
Given a locally compact second countable Hausdorff space , we let be the separable C*-algebra of continuous complex-valued functions on vanishing at infinity. Its multiplier algebra is the algebra of bounded continuous complex-valued functions on . The unit ball of endowed with the strict topology can be identified with the space of continuous functions endowed with the compact-open topology. Every separable commutative C*-algebra is isomorphic to , where is the locally compact second countable Hausdorff space of nonzero homomorphisms (the spectrum of ).
A continuous map induces a strict unital *-homomorphism given by , . This defines a fully faithful contravariant functor from the category of locally compact second countable Hausdorff spaces to the category of strict unital C*-algebras. In fact, the assignment , is a homeomorphism, where Mor is endowed as above with the compact-open topology and is endowed with the topology of pointwise strict convergence. Thus, by Lemma 1.4, the assignment is a contravariant topological equivalence of categories from the Polish category of locally compact second countable Hausdorff spaces to the Polish category of multiplier algebras of commutative separable C*-algebras; see Definition 1.3.
2.4. Essential commutants and Paschke dual algebras
Suppose that is a separable C*-algebra, and is a separable C*-subalgebra. Define then the essential commutant of in to be the C*-algebra
where is the commutator . Define the strict topology on Ball to be the topology generated by the seminorms
for and . If is a approximate unit for that is approximately central for [55, Definition 3.2.4], then converges strictly to in Ball.
We have that is strictly complete. Indeed, consider a strictly Cauchy sequence in Ball. Then we have that converges to some in the strict topology of . For every , the sequence is norm-Cauchy in , whence it norm-converges to some element of , which must be equal to . This shows that is the strict limit of in . For , we can identify with , where is the image of under the diagonal embedding . From the above remarks and Lemma 2.14 we thus obtain the following.
Proposition 2.29.
Let be a separable C*-algebra, and let be a separable C*-subalgebra. Let be the corresponding essential commutant. Then is a strict C*-algebra containing as a strictly dense essential strict ideal where, for every , is identified with , and is endowed with the strict topology described above.
Suppose now as above that is a separable C*-algebra, and is a separable C*-subalgebra. Let also be a closed two-sided ideal. Define the essential annihilator
which is a closed two-sided ideal of . The strict topology on is the topology generated by the seminorms
for and . A straightforward argument as above gives the following.
Proposition 2.30.
Let be a separable C*-algebra, let be a separable C*-subalgebra, and be a closed two-sided ideal. Let be the corresponding essential commutant, and be the essential annihilator. Then is a strict ideal of , where for every , is identified with and is endowed with the strict topology described above.
Example 2.31.
Suppose that is a separable unital C*-algebra, is a closed two-sided ideal of , and is a nondegenerate representation of that is ample, in the sense that . We regard as the multiplier algebra of . The Paschke dual as defined in [55, Definition 5.1.1] is the essential commutant of inside ; see also [80]. The relative dual algebra as defined in [55, Definition 5.3.2] is the strict ideal of .
2.5. Homotopy of projections
Suppose that is a strict unital C*-algebra. Recall that a strict ideal of is a proper norm-closed Borel two-sided ideal of that is also a strict C*-algebra and such that the inclusion map is a strict *-homomorphism.
Definition 2.32.
A strict (unital) C*-pair is a pair where is a strict (unital) C*-algebra and is a strict ideal of .
We regard strict unital C*-pairs as objects of a category, where a morphism from to is a strict unital *-homomorphism that maps to .
Every strict unital C*-pair determines a quotient unital C*-algebra . If and are two unital C*-algebras obtained in this way, then we say that a unital *-homomorphism is definable if it has a Borel lift (or a Borel representation in the terminology of [42, 49]). This is a Borel function (which is not necessarily a *-homomorphism) such that for every . The notion of definable unital *-homomorphisms determines a category, whose objects are strict unital C*-pairs and whose morphisms are the definable unital *-homomorphism. When the strict unital C*-pair is considered as the object of this category, we call it a unital C*-algebra with a strict cover, and denote it by , as we think of it as a unital C*-algebra explicitly presented as the quotient of a strict unital C*-algebra by a strict ideal. The category of unital C*-algebras with a strict cover thus has unital C*-algebras with strict cover as objects and definable unital *-homomorphisms as morphisms. The notion of a unital C*-algebra with a strict cover is the analogue in the context of C*-algebras to the notion of group with a Polish cover considered in [16]; see Remark 1.17.
Notice that every strict unital *-homomorphism between strict unital C*-pairs induces a definable unital *-homomorphism between the corresponding unital C*-algebras with a strict cover. This allows one to regard the category of strict unital C*-pairs as a subcategory of the category of unital C*-algebras with a strict cover. These categories have the same objects, but different morphisms.
If is a strict unital C*-pair and , we write if . If and , then we set
We let be the identity element of and be the zero element of .
Suppose that is a strict unital C*-pair. A positive element of Ball is a projection if or, equivalently, is a projection in . Define the set to be the Borel set of projections in . The Borel structure on is induced by the Polish topology defined by declaring a net to converge to if and only if strictly in Ball and strictly in Ball. (Recall that the strict topology on might be different from the topology induced by the strict topology on .)
We also say that an element of Ball is a unitary if and or, equivalently, is a unitary in . We let be the Borel set of unitaries in . The Borel structure on is induced by the Polish topology defined by declaring a net to converge to if and only if strictly in , strictly in , and strictly in .
More generally, an element of is called a partial unitary if and is a projection or, equivalently, if is a partial unitary in as in [84, 8.2.12]. We let be the Borel set of partial unitaries in . In a similar fashion one can define the Borel set PI of partial isometries in , consisting of those such that and are projections.
In the rest of this section we record some lemmas about unitaries and projections modulo a strict ideal in a strict unital C*-algebra. The content of these lemmas can be summarized as the assertion that a homotopy between projections and unitaries in a unital C*-algebra with a strict cover is witnessed by unitary elements in the path-component of the identity of the unitary group that can be chosen in a Borel fashion. The proofs follow standard arguments from the literature on -theory for C*-algebras; see [84, 55, 13, 109].
Given elements of , subject to a certain relation , we say that an element satisfying a relation can be chosen in a Borel fashion (from ) if there is a Borel function that assign to each -tuple in satisfying an element in such that satisfies . In other words, the set of tuples such that satisfies and satisfies has a Borel uniformization [63, Section 18.A].
Suppose that is a unital C*-algebra. Let be the set of projections in . Two projections in are:
-
•
Murray–von Neumann equivalent if there exists such that and , in which case we write ;
-
•
unitary equivalent if there exists such that ;
-
•
homotopic if there is a norm-continuous path in with and .
Lemma 2.33.
Suppose that is a strict unital C*-pair, , and satisfies . Then one can choose in a Borel way a self-adjoint element such that .
Proof.
Consider , and observe that there exists such that and , which can be chosen in a Borel way by strict continuity of the continuous functional calculus. Hence, setting , we have that and . Thus, after replacing with and with , we can assume that .
Let be an holomorphic branch of the logarithm defined on . Considering the holomorphic functional calculus, one can define the element . As
is the uniformly convergent power series expansion in , we have that
In particular, . Define
Then we have that satisfies . ∎
Corollary 2.34.
Suppose that is a strict unital C*-pair, and are unitaries. Then there following assertions are equivalent:
-
(1)
there is a norm-continuous path from to in ;
-
(2)
there exists and such that .
Lemma 2.35.
Suppose that is a strict unital C*-pair, and are such that are projections, , and . Then one can choose in a Borel fashion from such that, setting one has that
and
where does not depend on and .
Proof.
Consider the unitary
Notice that satisfies
and
Consider the norm-continuous path of unitaries
for . Notice that the modulus of continuity of does not depend on and . Fix such that if satisfy , then
Thus, for we have that
By Lemma 2.33 we can choose in a Borel fashion such that . Thus
Consider now and the fact that
Thus
and
Thus by Lemma 2.33 one can choose in a Borel fashion such that
and hence
Proceeding recursively in this way, one can choose in a Borel fashion such that
Then we have that, setting ,
and
This concludes the proof. ∎
Lemma 2.36.
Suppose that is a strict unital C*-pair, and are projections such that . Then one can choose in a Borel fashion from such that, setting , one has that , where does not depend on and .
Proof.
As in the proof of [84, Proposition 2.2.4], consider the norm-continuous path of projections for . Let also , and be the continuous function that is on and on . Then for is a norm-continuous path of projections from to . Notice that the uniform continuity moduli of and do not depend on and .
Thus, there exists (that does depend on and ) such that, for every such that , one has that . Thus, are projections (that depend in a Borel way from by strict continuity of the continuous functional calculus) such that for and is a norm-continuous path from to (whose modulus of continuity does not depend on and ) satisfying
for .
Thus, we can assume without loss of generality that for every . We now proceed as in the proof of [79, Proposition 2.17]. Define
By definition, we have that . Notice that
and
This implies that
and
for . We have that
Thus, is invertible. Let be its polar decomposition, where is a unitary. Then we have that . Indeed,
Thus
for and in particular .
Notice that is a norm-continuous path, whose modulus of continuity does not depend on and . Therefore, there exists (which do not depend on and ) such that, whenever satisfy , we have . By Lemma 2.33 one can then choose in a Borel way such that, setting , then and hence . This concludes the proof. ∎
Lemma 2.37.
Suppose that is a strict unital C*-pair, and are projections that satisfy . Then one can choose in a Borel fashion from such that, setting , one has that , where does not depend on and .
Proof.
Consider the path
for . This is a norm-continuous path of projections in from to , whose modulus of continuity does not depend on and . Therefore, the conclusion follows from Lemma 2.36. ∎
Lemma 2.38.
Suppose that is a strict unital C*-pair, and are unitaries. Then one can choose in a Borel fashion from and such that , where does not depend on and .
2.6. The Definable Arveson Extension Theorem
In the rest of this section, we present definable versions of some fundamental results in operator algebras, to be used in the development of definable -homology. Suppose that is a separable Hilbert space. We regard as the multiplier algebra of the C*-algebra of compact operators on . The corresponding strict topology on is the strong-* topology. Consistently, we consider as a standard Borel space with respect to the induced standard Borel structure. If is a separable Banach space, we consider as a strict Banach space, where is endowed with the topology of pointwise strong-* convergence. We denote by the unitary group of , which is a Polish group when endowed with the strong-* topology.
Suppose that is a separable unital C*-algebra, and is an operator system [81, Chapter 2]. Let be a separable Hilbert space. Arveson’s Extension Theorem asserts that every contractive completely positive (ccp) map [17, Section 1.5] admits a contractive completely positive extension [81, Theorem 7.5]. We observe now that can be chosen in a Borel way from . Notice that the space of contractive completely positive maps is closed (hence, compact) in endowed with the topology of pointwise weak* convergence.
Lemma 2.39.
Suppose that is a separable unital C*-algebra, and is an operator system. Let be a separable Hilbert space. Then there exists a Borel function , such that is an extension of .
Towards the proof of Lemma 2.39, we recall the following particular case of the selection theorem for relations with compact sections [63, Theorem 28.8].
Lemma 2.40.
Suppose that are compact metrizable spaces, and is a Borel subset such that, for every , the vertical section
is a closed nonempty set. Then there exists a Borel function such that for every .
Using this selection theorem, Lemma 2.39 follows immediately from the Arveson Extension Theorem.
Proof of Lemma 2.39.
We consider as a compact metrizable space, endowed with the topology of pointwise weak* convergence. Consider the Borel set of pairs such that . Then by the Arveson Extension Theorem, the vertical sections of are nonempty, and clearly closed. Thus, by Lemma 2.40 there exists a Borel function such that for every . ∎
2.7. The Definable Stinespring Dilation Theorem
Suppose that is a separable unital C*-algebra, and is a separable Hilbert space. Stinespring’s Dilation Theorem asserts that, for every contractive completely positive map , there exists a linear map with and a nondegenerate representation of on such that for every . Notice that the set of nondegenerate representations of on is a subset of , whence Polish with the subspace topology, where is endowed with the strong-* topology. It follows from the proof of the Stinespring Dilation Theorem, where and are explicitly defined in terms of , that they can be chosen in a Borel way from ; see [14, Theorem II.6.9.7]
Lemma 2.41.
Suppose that is a separable unital C*-algebra, and is a separable Hilbert space. Then there exists a Borel function , such that for and for every contractive completely positive map .
2.8. The Definable Voiculescu Theorem
Suppose that is a separable unital C*-algebra, and are two maps. If is a unitary operator, write if for every . If is an isometry, write if for every . A nondegenerate representation of on is ample if, for every , . Notice that the set ARep of ample representations of on is a subset of Ball. Similarly, the set of isometries is a subset of . A formulation of Voiculescu’s Theorem asserts that if is an ample representation, and is a unital completely positive (ucp) map, then there exists an isometry such that ; see [55, Theorem 3.4.3, Theorem 3.4.6, Theorem 3.4.7]. We will observe that one can select in a Borel fashion from and .
Lemma 2.42.
Let be a separable unital C*-algebra, and a separable Hilbert space. There exists a Borel function , such that .
Towards obtaining a proof of Lemma 2.42, we argue as in the proof of Voiculescu’s theorem as expounded in [55, Chapter 3]. First, one considers the case of ucp maps where is finite-dimensional. The following can be seen a definable version of [55, Proposition 3.6.7]. Notice that the set of orthogonal projections is closed subset of . Let be the Borel subset of finite-dimensional projections. The following lemma is a consequence of [55, Proposition 3.6.7] itself and the Luzin–Novikov Uniformization Theorem for Borel relations with countable sections [63, Theorem 18.10].
Lemma 2.43.
Fix a finite-dimensional subspace of , and regard as a C*-subalgebra of . For every finite subset of and , there exists a Borel map , such that is orthogonal to and for .
One then uses Lemma 2.43 to establish Lemma 2.42 in the case of block-diagonal maps. Recall that is block-diagonal with respect to if is a sequence of pairwise orthogonal finite-rank projections such that and for every (where the convergence is in the strong-* topology). Consider the set of pairs such that is block-diagonal with respect to . The proof of [55, Lemma 3.5.2] shows the following.
Lemma 2.44.
There exists a Borel function , such that .
Finally, one shows that the general case of Voiculescu’s theorem can be reduced to the block-diagonal case, as in [55, Theorem 3.5.5].
Lemma 2.45.
There exists a Borel function , such that .
As a consequence of the definable Voiculescu Theorem, one obtains the following; see [55, Theorem 3.4.6].
Lemma 2.46.
Let be a separable unital C*-algebra, and a separable Hilbert space. There exist:
-
•
a Borel map , such that ;
-
•
a Borel map , such that .
2.9. Spectrum
Suppose now that is a strict unital C*-algebra, and is a norm-separable closed two-sided ideal of . One can consider the quotient C*-algebra and, for , the spectrum of in . We also let the resolvent be the complement in of . The following lemma is analogous to [2, Theorem 3.16].
Lemma 2.47.
Suppose that is a strict C*-algebra, and a norm-separable closed two-sided ideal of . Suppose that every invertible self-adjoint element of lifts to an invertible self-adjoint element of . If , and is a countable dense subset of , then
Proof.
It suffices to prove that is the union of for . Clearly, for every , so it suffices to prove the other inclusion. Suppose that . We want to show that for some . After replacing with , it suffices to consider the case when . In this case, is invertible in . Therefore, by assumption there exists such that is invertible in . Since the set of invertible elements of is norm-open, there exists such that is invertible in , and hence . ∎
Lemma 2.48.
Suppose that is a strict unital C*-algebra, and a norm-separable closed two-sided ideal of . Suppose that every invertible self-adjoint element of lifts to an invertible self-adjoint element of . Then the function , is Borel.
Proof.
Fix a countable norm-dense subset of . Then by the previous lemma we have that, for ,
As the function , is Borel, this concludes the proof. ∎
Lemma 2.49.
The function , is Borel.
Proof.
An operator induces an invertible element of if and only if it is Fredholm. If is Fredholm and self-adjoint, then it has index , and is an isolated point of the spectrum of that is an eigenvalue with finite multiplicity. Thus, if is the finite-rank projection onto the eigenspace of for , then we have that is invertible and self-adjoint and induces the same element of as . This shows that every invertible self-adjoint element of lifts to an invertible self-adjoint element of . Therefore, the conclusion follows from Proposition 2.48. ∎
Suppose that is a projective. Recall that this means that is a positive operator satisfying . Then it is well-known that there exists a projection . We observe that one can choose such a in a Borel fashion from ; see [3, Lemma 3.1].
Lemma 2.50.
Consider the Borel set of projections in . Then there is a Borel function , such that for every .
Proof.
Suppose that . Observe . In particular, is countable, with only accumulation points and . From Lemma 2.49, the maps and are Borel. If then one can set . If , one can set .
Let us consider the case when . By [63, Theorem 12.13] there exists a Borel map , such that is an increasing enumeration of . One can then choose in a Borel way such that and then a continuous function such that
One can then set . ∎
2.10. Polar decompositions
We now observe that the polar decomposition of an operator is given by a Borel function. We will use the following version of the selection theorem for relations with compact sections from [63, Theorem 28.8].
Lemma 2.51.
Suppose that is a standard Borel space, is a compact metrizable space, and is a Borel subset such that, for every , the vertical section
is a closed nonempty set. Then the assignment , , is Borel, where is endowed with the Effros Borel structure.
As an application, we obtain the following. Let be a separable Hilbert space. We consider the unit ball of as a compact metrizable space endowed with the weak topology. We also consider as a standard Borel space, endowed with the Effros Borel structure.
Lemma 2.52.
The function , , is Borel.
Proof.
By Lemma 2.51, it suffices to show that the set
is Borel. Fix a countable norm-dense subset of . Then we have that, if , then if and only if such that and . Since the norm on is weakly lower-semicontinuous, this shows that is Borel. ∎
Recall that, for an operator , one sets . By strong-* continuity on bounded sets of continuous functional calculus, the function is Borel. Furthermore, there exists a unique partial isometry with such that [83, Theorem 3.2.17]. The decomposition is then called the polar decomposition of .
Lemma 2.53.
The function , that assigns to an operator the partial isometry in the polar decomposition of is Borel.
Proof.
It suffices to notice that is graph, which is the set of pairs such that is a partial isometry with and , is Borel by Lemma 2.52. ∎
Consider the Borel set of unitaries in . Thus, if and only if . If is the partial isometry in the polar decomposition of , then and is an essential unitary. In fact, one can easily define (in a Borel fashion from ) an isometry or co-isometry such that . One has that is in particular a Fredholm operator. Its index is defined by
Thus, is a Borel function of .
More generally, consider the Borel set of pairs such that is a projection, and . If is the partial isometry in the polar decomposition of , then and the index of regarded as a Fredholm operator on is given by the Borel function
3. -theory of unital C*-algebras with a strict cover
In this section we explain how the and groups of a unital C*-algebra with a strict cover can be regarded as semidefinable groups. We also recall the definition of the index map and the exponential map between the and groups, and observe that they are definable homomorphisms. Finally, we consider the six-term exact sequence associated with a strict unital C*-pair, and observe that the connective maps are all definable group homomorphisms.
3.1. -group
Suppose that is a unital C*-algebra with a strict cover. Recall that denotes the Polish space of projections in . Similarly, for we have that is a Polish space. We say that an element of for some is a projection over . We define Z be the set of pairs of projections over , which is the disjoint union of Z for endowed with the induced standard Borel structure. Two projections in are Murray–von Neumann equivalent (respectively, unitary equivalent, and homotopic) if and only if and are Murray–von Neumann equivalent (respectively, unitary equivalent, and homotopic) in .
The -group of —see [55, Chapter 4]—is defined as a quotient of by an equivalence relation , defined as follows. For , if and only if there exist and such that and are Murray–von Neumann equivalent . By Lemma 2.37, we have the following equivalent description of .
Lemma 3.1.
Suppose that is a unital C*-algebra with a strict cover, and where and . Then if and only if there exist and
such that, setting , one has that
where does not depend on and .
The (commutative) group operation on is induced by the Borel function on , . The neutral element of corresponds to . The function that maps an element to its additive inverse is induced by the Borel function on given by . Thus, is in fact a semidefinable group.
If and are unital C*-algebras with a strict cover, and is a definable unital *-homomorphism, then the induced group homomorphism K is also definable. Thus, the assignment gives a functor from the category of unital C*-algebras with a strict cover to the category of semidefinable abelian groups.
Suppose that is a strict unital C*-pair. We denote by the unitization of , which can be identified with the C*-subalgebra . Since is a proper ideal of , we can write every element of uniquely as where and . More generally, every element of can be written uniquely as where and . As the map , is a unital *-homomorphism, we have that and hence for .
We define to be the set of projections in , which we regard as a Borel subset of . Similarly, the unitary group of is regarded as a Borel subset of . Define also to be the Borel subset of consisting of pairs such that . Finally, let to be the disjoint union of for .
The -group of —see [55, Definition 4.2.1]—is defined as a quotient of by an equivalence relation , defined as follows. One has that, for , if and only if there exist and such that and are Murray–von Neumann equivalent. For , we let be the corresponding element of . The (commutative) group operation on is induced by the Borel function on , . The neutral element of corresponds to . The function that maps an element of to its additive inverse is induced by the Borel function on given by . Thus, is a semidefinable group.
If are are strict C*-pairs, and is a strict *-homomorphism, then it induces a strict *-homomorphism . In turn, this induces a definable group homomorphism . This gives a functor from strict unital C*-pairs to semidefinable groups.
Lemma 3.2.
Suppose that is a strict unital C*-pair. Then there is a Borel map , such that and .
Proof.
Suppose that . By definition, we have that for some and , and . Thus, we can define
and
Then we have that
This concludes the proof. ∎
3.2. Relative -group
Suppose now that is a strict unital C*-pair. For , define to be the Borel set of triples where are projections and satisfies and . Define to be the disjoint union of for endowed with the induced standard Borel structure. The elements of are called relative -cycles for ; see [55, Definition 4.3.1]. If , then we say that is a relative -cycle of dimension . A relative -cycle for is degenerate if and . Two relative -cycles and of dimension are homotopic if there exists a norm-continuous path of relative -cycles for of dimension with and .
Notice that if is a relative -cycle of dimension , and is a path of unitaries in starting at , then
and
are norm-continuous paths of relative -cycles starting at . If , then
is a norm-continuous path of relative cycles from to . We have the following lemma; see [79, Proposition 3.4].
Lemma 3.3.
Suppose that is a relative cycle of dimension for . Then is homotopic to the degenerate cycle .
The relative -group is defined to be the quotient of by the equivalence relation defined as follows. For , set if and only if there exists a degenerate relative -cycles such that and are of the same dimension and homotopic. The group operations on are induced by the Borel maps
and
It follows from Lemma 3.3 that is indeed a group. We let be the element of represented by the relative -cycle . The trivial element of is equal to where is any degenerate relative -cycle. Let be the unitization of , which we identify with .
Lemma 3.4.
There is a Borel function , such that , , , and .
Proof.
Notice that is a degenerate relative -cycle of dimension . Consider then
By Lemma 2.38 one can choose in a Borel way such that, setting , one has that , where does not depend on and . Thus, after replacing with
we can assume without loss of generality that .
By Lemma 2.35 one can choose in a Borel fashion from such that, setting , one has that
Thus, after replacing with we can assume without loss of generality that and satisfy and hence .
In this case, we have that , since is a norm-continuous path of relative -cycles from to . This concludes the proof. ∎
Proposition 3.5.
Suppose that is a strict C*-pair. Then is a definable group. The assignment , is a natural definable isomorphism, called the excision isomorphism.
Proof.
There is a natural definable homomorphism that is induced by the Borel map Z . We also have a natural definable homomorphism induced by the Borel map . We have the following result; see [55, Proposition 4.3.5].
Proposition 3.6.
Suppose that is a strict unital C*-pair. The (natural) sequence of definable groups and definable group homomorphisms
is exact.
Combining the excision isomorphism with the natural definable homomorphism , we obtain a natural definable group homomorphism . This is defined by mapping to regarded as an element of . Combining Proposition 3.5 with Proposition 3.6 we have the following.
Corollary 3.7.
Suppose that is a unital strict C*-algebra and is a proper strict ideal of . Then the natural sequence
is exact.
3.3. group
Suppose that is a strict unital C*-pair. We can then consider the Borel set of elements of that are unitaries . We then let to be the disjoint union of for . The equivalence relation B on is defined by setting B for and if and only if there exist with and such that there is a norm-continuous path from to in the unitary group of the quotient unital C*-algebra . This equivalence relation is analytic by Corollary 2.34. The definable -group is then the semidefinable group obtained as quotient with group operations defined as above. This defines a functor from unital C*-algebras with strict cover to semidefinable groups.
Given a strict unital C*-pair , we also consider the definable -group of . As above, we identify the unitization of with . For we let be the unitary group of . Recall that every element of can be written uniquely as where and . We consider as a Borel subset of . We then set to be the disjoint union of for , and let be the (analytic) equivalence relation on obtained by setting B for and if and only if there exist with and such that there is a norm-continuous path from to in . The definable -group is then the semidefinable group obtained as quotient with group operations defined as above.
Suppose that is a strict unital C*-pair. We have natural definable group homomorphisms
The definable group homomorphism is induced by the inclusion , which gives an inclusion for every . The definable group homomorphism is also induced by the inclusion maps for . We have the following result, which can be easily verified directly, and also follows from Corollary 3.7 via the Bott isomorphism theorem [55, Theorem 4.9.1].
Proposition 3.8.
Suppose that is a strict unital C*-pair. The sequence of natural definable homomorphisms
is exact.
3.4. The six-term exact sequence
Suppose that is a strict unital C*-pair. One can define a natural definable group homomorphism called the index map, as follows. An element of is of the form where for some . Then define
and
Then are projections such that and hence . One then defines ; see [55, Proposition 4.8.10]. As is obtained in a Borel fashion from , the boundary map is definable.
Equivalently, one can define as follows. Given an element of for some . Consider the partial isometry defined by
and observe that [84, Lemma 9.2.1]. Then and are projections in such that . Therefore, . One has that ; see [84, Proposition 9.2.3]. Then we have the following; see [84, Lemma 9.3.1 and Lemma 9.3.2].
Proposition 3.9.
Suppose that is a strict unital C*-algebra and is a strict ideal of . Then the sequence
is exact.
Suppose that is a strict unital C*-pair. One can consider a natural definable homomorphism called the exponential map. This is defined as follows. Consider an element of of the form for some . Then we have that and are unitary elements of such that . Then one has that ; see [84, Proposition 12.2.2] and [55, Section 4.9]. From Proposition 3.9 one can obtain via the Bott isomorphism theorem [55, Theorem 4.9.1] the following.
Proposition 3.10.
Suppose that is a strict unital C*-pair. Then the sequence
is exact.
Suppose that is a strict unital C*-pair. Then as discussed above we have exact sequences
and
These are joined together by the index and exponential maps. From Proposition 3.10, Proposition 3.9, Corollary 3.7 and Proposition 3.8, one obtains the six-term exact sequence
for the strict unital C*-pair , where the vertical arrows are the index map and the exponential map; see [84, Theorem 12.1.2].
4. Definable -homology of separable C*-algebras
In this section we recall the definition of the Ext invariant for separable unital C*-algebras, and its description due to Paschke in terms of the -theory of Paschke dual algebras as defined in [54, 55] or, equivalently, of commutants in the Calkin algebra. Following [55, Chapter 3], we consider the group Ext defined in terms of unital semi-split extensions. In the case of separable unital nuclear C*-algebras, every unital extension is semi-split, and the group Ext coincides with the group Ext defined in terms of unital extensions. Using Paschke’s -theoretical description of Ext from [80], we show that yields a contravariant functor from separable unital C*-algebras to the category of definable groups.
We also recall the definition of the -homology groups of separable C*-algebras as in [55, Chapter 5]. Using their description in terms of , we conclude that they can be endowed with the structure of definable groups, in such a way that the assignments and are functors from the category of separable C*-algebras to the category of definable groups.
We define a separable C*-pair to be a pair where is a separable C*-algebra and is a closed two-sided ideal of . A morphism between separable C*-pairs is a *-homomorphisms that maps to . Recall that a C*-algebra is nuclear if the identity map of is the pointwise limit of contractive completely positive maps that factor through finite-dimensional C*-algebras; see [55, Section 3.3]. We say that a separable C*-pair is nuclear if is nuclear. In this section, we will also introduce the relative definable -homology groups, and the six-term exact sequence in -homology associated with a separable nuclear C*-pair.
4.1. C*-algebra extensions and the Ext group
Let be a separable Hilbert space, and be the algebra of bounded linear operators on . We let be the closed ideal of compact operators, and be the Calkin algebra, which is the quotient of by . Let be the quotient map.
If is a unitary operator, then defines an automorphism Ad given by . As is -invariant, we have an induced automorphism of , still denoted by Ad.
Suppose that is a unital, separable C*-algebra. A unital extension of (by ) is a unital *-homomorphism . A unital extension of is injective or essential if it is an injective *-homomorphism . Two extensions are equivalent if there exists such that Ad. An injective, unital extension is semi-split (or weakly nuclear in the terminology of [38]) if there exists a unital completely positive (ucp) map such that [55, Theorem 3.1.5]. An injective unital extension is split or trivial if there exists a unital *-homomorphism such that .
Every unital, essential extension determines an exact sequence
where
and is an essential ideal of . The extension is split if and only if the map is a split epimorphism in the category of unital C*-algebras and unital *-homomorphisms.
Conversely, given an exact sequence
where is a unital *-homomorphism and is an essential ideal of , one can define an essential unital extension as follows. Consider , then define for where is such that . Again, we have that is trivial if and only if is a split epimorphism.
Let be a separable, unital C*-algebra. One defines Ext to be the set of unitary equivalence classes of unital, injective extensions of by ; see [55, Definition 2.7.1], and Ext to be the subset of unitary equivalence classes of unital, injective semi-split (or weakly nuclear) extensions of by [13, 15.7.2].
One can define a commutative monoid operation on . The (additively denoted) operation on Ext is induced by the map where is a surjective linear isometry; see [55, Proposition 2.7.2]. By Voiculescu’s Theorem [55, Theorem 3.4.3], one has that the neutral element of is the set of split extensions, which form a single unitary equivalence class [55, Theorem 3.4.7]. Furthermore, the set Ext is equal to the set of elements of Ext that have an additive inverse, whence it forms a group [55, Definition 2.7.6]. When is a nuclear unital separable C*-algebra, by the Choi–Effros lifting theorem [55, Theorem 3.3.6], one has that every extension of is semi-split, and Ext. In particular, in this case Ext is itself a group.
Let be a separable unital C*-algebra. We regard Ext as a definable group, as follows. Fix a separable Hilbert space . Let us say that a ucp map is ample if for every . Notice that the set of ample ucp maps is a subset of the space of bounded linear maps of norm at most endowed with the topology of pointwise strong-* convergence. Thus, is a Polish space.
Let be the Borel set of ample ucp maps such that
for . An injective, unital semi-split extension of by definition has a ucp lift, which is an element of , and conversely every element of gives rise to an injective, unital semi-split extension of . Thus, we can regard as the space of representatives of injective, unital semi-split extensions of . We define a Polish topology on that induces the Borel structure on by declaring a net in to converge to if and only if, for every , strong-* converges to , and norm-converges to .
Two elements of represent the same element of Ext if and only if there exists such that for every . This defines an analytic equivalence relation on . We can thus regard Ext as the semidefinable set .
We now observe that the group operations on Ext are definable, and thus this turns into a semidefinable group. We will later show in Proposition 4.12 that in fact is a definable group.
Proposition 4.1.
Let be a separable unital C*-algebra. The addition operation and the additive inverse operation on are definable functions. Thus, is a semidefinable group.
Proof.
Fix a representation such that . The assertion for addition is clear, as the Borel map , is a lift for the addition operation, where is a fixed surjective linear isometry .
In order to obtain a lift for the function , , one can use the definable Stinespring Dilation Theorem (Lemma 2.41). Thus, if , and and are the nondegenerate representation of and the isometry obtained from in a Borel fashion as in Lemma 2.41, then defining the projection and , , one has that represents , where as above is a fixed surjective linear isometry; see also [55, Theorem 3.4.7]. ∎
Suppose that are separable unital C*-algebras. A unital *-homomorphism induces a definable group homomorphism , as follows. If is a representative for an injective, unital extension, then one can consider defined by where is a fixed surjective linear isometry. This defines a Borel function , which induces a definable group homomorphism . Thus, is a contravariant functor from the category of separable unital C*-algebras to the category of semidefinable groups.
4.2. -group and the Voiculescu property
Let be a strict unital C*-algebra. Recall that two projections are Murray–von Neumann (MvN) equivalent if there exists such that and , in which case we write . We say that a projection is ample if is Murray–von Neumann equivalent to , and co-ample if is ample.
Definition 4.2.
Let be a strict unital C*-algebra. We say that satisfies the Voiculescu property if the set of ample projections in is a Borel subset of containing , and there exist strict unital *-isomorphisms for such that, for :
-
(1)
for , for every projection ;
-
(2)
,
-
(3)
is unitarily equivalent to ;
-
(4)
is unitarily equivalent to .
We then define to be the Borel set of projections in that are both ample and co-ample.
Remark 4.3.
Let be a strict C*-algebra that satisfies the Voiculescu property. Then for and we have . Indeed, by (1) we have that . Therefore, .
Lemma 4.4.
Suppose that is a strict unital C*-algebra that satisfies the Voiculescu property. Then is the neutral element of .
Proof.
Recall that, by Lemma 3.1, given projections over , we have that if and only if there exist such that and are Murray–von Neumann equivalent. Suppose that is a projection over . As
we have that
Therefore, and represent the same element of . Therefore, we have that
This shows that is the neutral element of . ∎
Lemma 4.5.
Suppose that is a strict unital C*-algebra that satisfies the Voiculescu property. If , then and in .
Proof.
Lemma 4.6.
Let be a strict unital C*-algebra that satisfies the Voiculescu property. If are ample and co-ample projections, then the following assertions are equivalent:
-
(1)
represent the same element of ;
-
(2)
are Murray–von Neumann equivalent;
-
(3)
are unitary equivalent.
Proof.
The implications (3)(2)(1) hold in general.
(1)(3) Suppose that are such that . Then there exist such that
Since are ample, we have
Therefore, we have
Using the fact that are co-ample, the same argument applied to and shows that . Thus, are unitarily equivalent. ∎
Lemma 4.7.
Let be a strict C*-algebra that satisfies the Voiculescu property. If , then .
Proof.
We need to show that is ample and co-ample. We have that
This shows that is ample. The same argument applied to shows that is co-ample. ∎
Suppose that is a strict unital C*-algebra satisfying Voiculescu’s property. Consider the unitary group , which is a strictly closed subset of and hence a Polish group when endowed with the strict topology, and the standard Borel space Z of projections in that are both ample and co-ample, which by assumption is a Borel subset of invariant under unitary conjugation. We can consider the Borel action by conjugation. We let B be the corresponding orbit equivalence relation, and be the corresponding semidefinable set. For , we let be the -class of . The Borel functions and induce a semidefinable group structure on with trivial element . Since is the orbit equivalence relation associated with a Borel action of a Polish group on , we have that is in fact a definable group by Corollary 1.16.
The following proposition is an immediate consequence of the lemmas above.
Proposition 4.8.
Suppose that is a strict C*-algebra satisfying Voiculescu’s property. Adopt the notation from Definition 4.2. Then and are definably isomorphic definable groups.
Proof.
By the above remarks, is a definable group. Furthermore, the Borel functions , and , induce mutually inverse definable isomorphisms between and . By Lemma 1.11, this shows that is also a definable group, definably isomorphic to . ∎
Suppose that is a separable, unital C*-algebra, and is a nondegenerate ample representation. Define the corresponding Paschke dual as in Example 2.31 to be the algebra
Then, is a strict unital C*-algebra, with respect to the strict topology on induced by the seminorms
for and . We now observe that, as a consequence of Voiculescu’s theorem, satisfies the Voiculescu property; see Definition 4.2.
Let be the -fold direct sum of . Notice that, under the usual identification of with , corresponds to . For , as both and are ample representations of , by Voiculescu’s theorem there exists a surjective isometry such that Ad satisfies for every . This implies that Ad induces a strict *-isomorphism . By Voiculescu’s theorem, does not depend, up to unitary equivalence, from the choice of the surjective isometry . Thus, we have that satisfies (2), (3), and (4) of Definition 4.2.
Every projection defines a unital extension , . By [55, Lemma 5.1.2], we have the following.
Lemma 4.9.
Suppose that are projections. The following assertions are equivalent:
-
(1)
are equivalent extensions;
-
(2)
are Murray–von Neumann equivalent.
Furthermore, the following assertions are equivalent:
-
(1)
is ample;
-
(2)
is injective.
From Lemma 4.9 it is easy to deduce the following.
Proposition 4.10.
Suppose that is a separable, unital C*-algebra, is a nondegenerate ample representation of , and is the corresponding Paschke dual. Then satisfies Voiculescu’s property.
Proof.
By Lemma 4.9, a projection is ample if and only if is injective. This is equivalent to the assertion that, for every self-adjoint , every , and every ,
By strict lower semicontinuity of the norm in , this is an open condition. This shows that the set of ample projections is a set.
Since is an ample representation, and , we have that is ample.
Proposition 4.11.
Suppose that is a separable C*-algebra, and is a nondegenerate ample representation of . Then and are definably isomorphic definable groups.
Suppose that are separable unital C*-algebras. Recall that, if are linear maps from to , and is an isometry, then we write if for every . Suppose that are separable unital C*-algebras, is a unital *-homomorphism. Let be ample representations of on a Hilbert space . An isometry covers if .
We have that for every unital *-homomorphism there exists an isometry that covers [55, Lemma 5.2.3]. Furthermore, induces a strict unital *-homomorphism . In turn, induces a definable group homomorphism . This definable group isomorphism only depends on , and not on the choice of the isometry that covers [55, Lemma 5.2.4]. This gives a contravariant functor from the category of separable unital C*-algebras to the category of definable groups. Similarly, one can regard as a contravariant functor, naturally isomorphic to .
Using Proposition 4.11 we can show the following.
Proposition 4.12.
Suppose that is a separable, unital C*-algebra, and is a nondegenerate ample representation of . Then is a definable group, which is naturally definably isomorphic to .
Proof.
Consider the corresponding Paschke dual . Recall that denotes the Polish space of representatives of injective, unital, semi-split extensions of by , which are ample ucp maps satisfying for . An ample and co-ample projection determines an extension of , defined as follows. Choose a linear isometry such that , and define . (Notice that can be chosen in a Borel fashion from .) The Borel function induces a definable group isomorphism
see [55, Proposition 5.1.6].
We claim that the inverse group homomorphism is definable as well. Indeed, if then, by the Definable Voiculescu Theorem (Lemma 2.42), one can choose in a Borel way an isometry such that . Thus, we have that
for every . If then we have that is a projection in such that is equivalent to . As is not necessarily ample and co-ample, one can replace with to obtain an ample and co-ample projection such that is equivalent to . Thus the Borel function is a lift of the inverse map . This shows that is also definable. Therefore, is a natural isomorphism in the category of semidefinable groups.
As is in fact a definable group, this implies that is a definable group. Since is naturally definably isomorphic to , we have that is naturally definably isomorphic to as well. ∎
4.3. Definable -theory of commutants in the Calkin algebra
Suppose that is a unital separable C*-algebra, and is an ample representation of on the infinite-dimensional separable Hilbert space . Then induces an ample representation of the unitization on , defined by for . Recall that the Paschke dual algebra is the strict unital C*-algebra
We also have the Paschke dual algebra
Notice that
see [55, Section 5.2].
Lemma 4.13.
The C*-algebras and defined above have trivial -theory.
Proof.
Lemma 4.14.
Suppose that is a separable unital C*-algebra. For :
-
(1)
the definable group homomorphism is an isomorphism in the category of semidefinable groups;
-
(2)
the strict *-homomorphism , induces an isomorphism
in the category of semidefinable groups.
-
(3)
The map is an isomorphism in the category of semidefinable groups;
-
(4)
The subgroup of , consisting of the kernel of the (surjective) index map
is Borel, and the definable group homomorphism induces an isomorphism in the category of semidefinable groups.
Proof.
(1) Since has trivial -theory, the group homomorphism is an isomorphism. We need to prove that the inverse group homomorphism is definable.
Consider first the case . Consider . Thus, for some . After replacing with we can assume that . Thus, is a projection. This implies that
where is a projection. Then by Lemma 2.50, one can choose in a Borel fashion from a projection such that and hence .
We now consider the case when . Consider . Thus, for some . After replacing with we can assume that . Thus,
where is a unitary. Let be the partial isometry in the polar decomposition of , which depends in a Borel fashion from by Lemma 2.53. Then we have that
is a unitary such that .
(2) Since induces a *-isomorphism , it induces a definable group isomorphism . It is immediate to verify that the inverse group homomorphism is also definable, as it is induced by the Borel function
(3) and (4): Under the isomorphism , the definable group homomorphism maps each to its Fredholm index, and in particular it is surjective. As the Fredholm index is given by a Borel map, and , it follows from the six-term exact sequence in -theory associated with and that is a definable group isomorphism, and that is an injective definable group homomorphism with range equal to . The inverse is definable by Lemma 2.50. The inverse is definable by Lemma 2.53, considering that given such that , then the partial isometry in the polar decomposition of is a unitary such that . ∎
Corollary 4.15.
Suppose that is a separable unital C*-algebra, and is an ample representation of . Then , , , , and are definably isomorphic definable groups.
Suppose that is a unital separable C*-algebra. Let be the unital separable C*-algebra of continuous functions . We identify with the C*-subalgebra of consisting of constant functions. The suspension of is the C*-subalgebra . The unital suspension of is the unitization of , which can be identified with .
Consider an ample representation of on a Hilbert space , and let be its restriction to and be its restriction to . We can then consider the Paschke dual algebras and .
Lemma 4.16.
Suppose that is a separable unital C*-algebra. Then is a definable group, definably isomorphic to the definable group .
Proof.
Proposition 4.17.
Suppose that is a separable unital C*-algebra, and is an ample representation of . Then , , , and are definably isomorphic definable groups.
Proof.
Let and be the ample representations of and , respectively, as in Lemma 4.16. Then by Corollary 4.15, and are definably isomorphic definable groups. By Lemma 4.16, and are definably isomorphic definable groups. By Voiculescu’s theorem, and are isomorphic in the category of unital C*-algebras with a strict cover; see Lemma 2.46. In particular, and are isomorphic in the category of semidefinable groups. From this and Corollary 1.14, it follows that is a definable group. Finally, and are definable groups, definably isomorphic to by Lemma 4.14 and Corollary 1.14 again. ∎
4.4. Definable -homology
Suppose that is a separable C*-algebra. Fix an ample representation of , and define . The -homology groups of are the definable groups
and
see [55, Definition 5.2.7]. By Proposition 4.12, for is a contravariant functor from the category of separable C*-algebras to the category of definable abelian groups.
When is a separable unital C*-algebra, one can also define the reduced -homology groups by considering an ample representation of and the corresponding Pachke dual algebra and set
and
see [55, Definition 5.2.1].
Suppose now that is a separable C*-algebra, and is a closed two-sided ideal of . Fix as above an ample representation of . Define as above, and set to be the strict ideal
of .
Lemma 4.18.
Suppose that is a separable C*-algebra, and . Then is a definable group, definably isomorphic to .
Proof.
Lemma 4.19.
Suppose that is a separable C*-algebra, and is a closed two-sided ideal of . Then the inclusion map induces an isomorphism in the category of separable unital C*-algebras with a strict cover.
Proof.
We identify with its image inside under . It follows from the definition that . Thus, the inclusion map induces a definable injective unital *-homomorphism , which is in fact onto [55, Theorem 5.4.5]. It remains to prove that the inverse unital *-isomorphism is also definable. This amounts at noticing that the proof of [55, Theorem 5.4.5] via Kasparov’s Technical Theorem [55, Theorem 3.8.1] can be used to describe a Borel lift of the unital *-isomorphism .
For let be closed linear span of . Fix a dense sequence in , a dense sequence in , and a dense sequence in . Notice that, for , and , and , we have that
Fix an approximate unit for such that, for ,
and
Fix an approximate unit for such that, if we set
then we have, for ,
One can see that such an approximate unit for exists by considering a approximate unit for that is quasicentral for and [55, Theorem 3.2.6] and then a suitable subsequence via a diagonal argument.
Fix . Then using the Lusin–Novikov Selection Theorem [63, Theorem 18.10] and [55, Theorem 3.2.6] one can see that one can recursively define, for , , , and that depend in a Borel fashion from such that, setting
and
one has that depend in a Borel fashion from and, for ,
Furthermore, we also have from the choice of that, for ,
As in the proof of Kasparov’s Technical Theorem [55, Theorem 3.8.1], one has that
converges in the strong-* topology to some positive element . Furthermore, we have that
for and . Thus, and . Indeed, if then we have that
If then we have that
We have that the function , is Borel, being the pointwise limit of Borel functions
for . Thus, the function , is Borel as well. For the same reasons, the function , is Borel, and hence the function , is Borel. A similar argument shows that the function , is Borel for . Therefore, the function , is Borel. Since , we have that is a lift of the unital *-isomorphism . This concludes the proof. ∎
Corollary 4.20.
Suppose that is a separable C*-algebra, and is a closed two-sided ideal of . Fix . Then is a definable group, definably isomorphic to .
Proof.
Suppose as above that is a separable C*-algebra, and is a closed two-sided ideal of . One defines for the relative -homology groups
see [55, Definition 5.3.4]. These are definable groups by Corollary 4.20. The assignment gives a contravariant functor from the category of separable C*-pairs to the category of definable groups. Here, a separable C*-pair is a pair where is a separable C*-algebra and is a closed two-sided ideal of . A morphism of separable C*-pairs is a *-homomorphism that maps to . If is a morphism of C*-pairs, and is an isometry that covers , then we have that the corresponding strict unital *-homomorphism maps to . Thus, it induces a definable unital *-homomorphism , and a definable group homomorphisms .
Suppose that is a separable C*-pair. The natural definable isomorphisms
from Lemma 4.19 and Lemma 4.14 give a natural definable isomorphism called the excision isomorphism; see [55, Theorem 5.4.5].
Suppose that is a separable C*-pair. We say that is semi-split if the short exact sequence
is semi-split in the sense of [55, Definition 5.3.6], namely the quotient map admits a ucp right inverse. By the Choi–Effros lifting theorem [26], every nuclear separable C*-pair is semi-split. Suppose that is semisplit. If is a linear isometry that covers the quotient map , then the unital *-homomorphism induces a natural definable isomorphism in -theory [55, Proposition 5.3.7]. In this case, from the six-term exact sequence in -theory
associated with the strict unital C*-pair , one obtains the six-term exact sequence in -homology associated with the separable C*-pair
as in [55, Theorem 5.3.10], where the connecting maps are definable homomorphisms.
5. The Kasparov and Cuntz pictures of definable -homology
In this section we recall the notion of graded Hilbert space and of (graded) Fredholm module for a separable C*-algebra as in [55, Chapter 8 and Appendix A]. We also recall Kasparov’s description of -homology groups in terms of Fredholm modules from [61]. We then show that Kasparov’s -homology groups can be regarded as definable groups, and are definably isomorphic to the -homology groups as defined in the previous section. We conclude by recalling the Cuntz picture for -homology from [30]; see also [53] and [57, Chapter 5]. Again, we show that the Cuntz -homology groups can be seen as definable groups, and are naturally definably isomorphic to the -homology groups as previously defined.
5.1. Graded vector spaces and algebras
Let be a vector space. A grading of is a decomposition as a direct sum of two subspaces, called the positive and negative part of . The corresponding grading operator is the involution of whose eigenspaces for and are and , respectively. A vector space endowed with a grading is a graded vector space. The opposite of the graded vector space is the graded vector space obtained from by interchanging the positive and the negative part. An endomorphism of is even if and or, equivalently, ; it is odd if and or, equivalently, .
A graded Hilbert space is Hilbert space endowed with a grading whose positive and negative parts are closed orthogonal subspaces or, equivalently, the grading operator is a self-adjoint unitary.
A graded algebra is a complex algebra that is also a graded vector space, and such that:
and
or, equivalently, the grading operator is an algebra automorphism of . The elements of are even elements of the algebra, and the elements of are called odd elements of the algebra. An element is homogeneous if it is either even or odd. The degree of an even element is , while the degree of an odd element is . The graded commutator of elements of is defined for homogeneous elements by
and extended by linearity.
A graded C*-algebra is a C*-algebra that is also a graded algebra and such that and are closed self-adjoint subspaces or, equivalently, the grading operator is a C*-algebra automorphism of .
Example 5.1.
Suppose that is a graded vector space. Then the algebra of endomorphisms of is a graded algebra, with equal to the set of even endomorphisms of , and is the set of odd endomorphisms of .
If is a graded Hilbert space, then is a graded C*-algebra.
Example 5.2.
Fix . Define to be the graded complex unital *-algebra generated by odd operators such that, for distinct ,
As a complex vector space, has dimension , where monomials for and comprise a basis. Declaring these monomials to be orthogonal defines an inner product on . The left regular representation of on the Hilbert space turns into a graded C*-algebra.
Suppose that and are graded vector spaces. The graded tensor product is the tensor product of and equipped with the grading operator . Thus, we have that
If and are graded algebras, then the graded tensor product (as graded vector spaces) is a graded algebra with respect to the multiplication operation defined on homogeneous elementary tensors by
When are graded vector spaces, then there is canonical inclusion
obtained by setting, for homogeneous and ,
We have that when are finite-dimensional.
Example 5.3.
There is a canonical isomorphism , obtained by mapping to and to for and .
Fix . A -graded Hilbert space is a graded Hilbert space endowed with odd operators such that , , and for distinct . Equivalently, a -graded Hilbert space can be thought of as a graded right module over , where one sets
for and . A -graded Hilbert space is simply a graded Hilbert space. By convention, a -graded Hilbert space is an ungraded Hilbert space. Suppose that and are -graded Hilbert spaces. A -graded bounded linear map is a bounded linear map that is also a right -module map.
Example 5.4.
Suppose that are -graded Hilbert space. Then is -graded, where for , and is -graded, where .
Example 5.5.
If is -graded and is -graded, then considering the isomorphism , and the inclusion , we have that is -graded.
A straightforward verification shows the following; see [55, Proposition A.3.4].
Proposition 5.6.
For , the categories of -multigraded and -multigraded Hilbert spaces are equivalent. The categories of Hilbert spaces and linear maps and -graded Hilbert spaces and even -graded linear maps are equivalent.
5.2. Fredholm modules
Suppose that is a separable C*-algebra. We now recall the definition of Fredholm module over ; see [55, Definition 8.1.1]. For each dimension fix a Hilbert space of dimension .
Definition 5.7.
Suppose that is a separable C*-algebra. A Fredholm module over is a triple such that:
-
•
is a separable Hilbert space for some ;
-
•
is a *-homomorphism;
-
•
satisfies for every .
Remark 5.8.
Recall that, if is a separable Hilbert space, then is a standard Borel space with respect to the Borel structure induced by the strong-* topology on . Similarly, the Banach space of bounded linear maps is a standard Borel space when endowed with the Borel structure induced by the topology of pointwise strong-* convergence on . The set of Fredholm modules over can thus be naturally regarded as a standard Borel space.
The definition of graded Fredholm module is similar, where one replaces Hilbert spaces with graded Hilbert spaces.
Definition 5.9.
Suppose that is a separable C*-algebra. A graded Fredholm module over is a triple such that:
-
•
is a separable graded Hilbert space of the form for some and some grading operator on ;
-
•
is a *-homomorphism such that, for every , is even, and hence for some representations of on , where we regard as a graded C*-algebra;
-
•
is an odd operator that satisfies, for every , .
Remark 5.10.
Again, we have that the set of Fredholm modules over is a standard Borel space.
The notions of graded and ungraded Fredholm modules can be recognized as particular instances (for and , respectively) of the notion of -graded Fredholm module; see [55, Definition 8.1.11].
Definition 5.11.
Suppose that is a separable C*-algebra. A -multigraded Fredholm module over is a triple such that:
-
•
is a separable -multigraded Hilbert space of the form for , grading operator on , and odd operators on ;
-
•
a *-homomorphism such that, for every , is an even -multigraded operator on ;
-
•
is an odd -multigraded operator on such that, for every , .
Remark 5.12.
As in the cases and , the set of -multigraded Fredholm modules over is a standard Borel space.
We recall the notion of degenerate -multigraded Fredholm module; see [55, Definition 8.2.7].
Definition 5.13.
Suppose that is a separable C*-algebra. A -multigraded Fredholm module over is degenerate if for every .
It is clear that the set D of degenerate -multigraded Fredholm modules is a Borel subset of .
Given -multigraded Fredholm modules and over , their sum is the -multigraded Fredholm module . The opposite of is the -multigraded Fredholm module . The sum and opposite define Borel functions , and , .
Let be a separable C*-algebra, and fix . Suppose that and are -multigraded Fredholm modules. Then and are:
The notion of stable homotopy is defined in terms of unitary equivalence and operator homotopy; see [55, Proposition 8.2.12].
Definition 5.14.
Suppose that is a separable C*-algebra, and . The relation of stable homotopy of -multigraded Fredholm modules over is the relation defined by setting if and only if there exists a degenerate -multigraded Fredholm module over such that and are unitarily equivalent to a pair of operator homotopic -multigraded Fredholm modules over .
One has that is an equivalence relation on ; see [55, Proposition 8.2.12]. Furthermore, is an analytic equivalence relation, as it follows easily from the definition and the fact that the set D of degenerate -multigraded Fredholm modules is a Borel subset of , and the set of norm-continuous paths in is a Borel subset of the C*-algebra of strictly continuous bounded functions by Corollary 2.26.
5.3. The Kasparov -homology groups
We now recall the definition of the Kasparov -homology groups in terms of Fredholm modules; see [55, Definition 8.2.5 and Proposition 8.2.12].
Definition 5.15.
Let be a separable C*-algebra, and fix . The Kasparov -homology group is the semidefinable abelian group obtained as the quotient of the standard Borel space by the analytic equivalence relation of stable homotopy of -multigraded Fredholm modules, where the group operation on is induced by the Borel function , , and the function that maps each element to its additive inverse is induced by the Borel function , .
The fact that is indeed a group is the content of [55, Proposition 8.2.10, Corollary 8.2.11, Proposition 8.2.12]. The trivial element of is given by the -class of any degenerate Fredholm module. The assignment is easily seen to be a contravariant functor from separable C*-algebras to semidefinable groups. We will later show in Proposition 5.16 that is in fact a definable group.
Suppose that is a separable C*-algebra. Fix a representation of that is the restriction to of an ample representation of the unitization of . We then let be the corresponding representation (by even operators) on the graded Hilbert space . Consider also the Paschke dual algebra associated with ; see Section 2.10
There is a natural definable group homomorphism , , defined as follows. Given a projection in , define to be the ungraded Fredholm module over ; see [55, Example 8.1.7]. We also have a natural definable group homomorphism , , defined as follows. Given a unitary in , define to be the graded Fredholm module where is graded by , and
see [55, Example 8.1.7]. Then it is shown in [55, Theorem 8.4.3] that and are in fact group isomorphism. From this, we obtain the following.
Proposition 5.16.
Suppose that is a separable C*-algebra and . Then is a definable group, naturally definably isomorphic to .
Proof.
Since is a definable group and is a definable group isomorphism, it follows from Corollary 1.14 that is a definable group, naturally definably isomorphic to . ∎
Remark 5.17.
Suppose that is a separable C*-algebra, and . A -multigraded Fredholm module over is self-adjoint if is self-adjoint, and contractive if is contractive [55, Definition 8.3.1]. A self-adjoint, contractive -multigraded Fredholm module is involutive if [55, Definition 8.3.4]. Kasparov’s -homology groups can be normalized by requiring that the Fredholm modules be involutive. This means that one obtain the same definable abelian group (up to a natural isomorphism) if one only considers in the definition of the Kasparov -homology groups involutive Fredholm modules, where also stable homotopy is defined in terms of involutive Fredholm modules; see [55, Lemma 8.3.5].
A graded Fredholm module over is balanced if there is a separable Hilbert space such that is graded by , and , where and are the same representation of on . Then one has that can be normalized by requring that the graded Fredholm modules be involutive and balanced [55, Proposition 8.3.12].
Suppose that is a separable C*-algebra. Fix . If is a -multigraded Fredholm module over , then one can assign to it the -multigraded Fredholm module where is -multigraded by the operators for together with
When one can define to be the to be the -graded Fredholm module where is graded by and -multigraded by the odd operator
This gives for a natural definable group isomorphism [55, Proposition 8.2.13]. From this, Proposition 1.14, and Proposition 5.16, we obtain that, for , is a definable group, naturally definably isomorphic to .
5.4. Relative Kasparov -homology
The relative Kasparov -homology groups are defined as above, by replacing Fredholm modules with relative Fredholm modules; see [55, Definition 8.5.1].
Definition 5.18.
Suppose that is a separable C*-pair. An ungraded Fredholm module over is a triple where:
-
•
is a separable Hilbert space for some ;
-
•
is a *-homomorphism;
-
•
satisfies for every and .
A graded Fredholm module over is a triple where:
-
•
is a separable graded Hilbert space of the form for some and some grading operator on ;
-
•
is a *-homomorphism such that, for every , is even;
-
•
is an odd operator that satisfies for every and .
As above, one can consider the definable group whose elements are stable homotopy equivalence classes of Fredholm modules over . Considering graded Fredholm modules over one obtains the definable group . These groups are called the relative Kasparov -homology groups of the pair , and turn out to be naturally definably isomorphic to the relative -homology groups and ; see [55, Section 8.5]. More generally, one can define in terms of -multigraded Fredholm modules over .
In the Kasparov picture, the excision isomorphism is induced by the inclusion map from the set of -multigraded Fredholm modules over into the set of -multigraded Fredholm modules over . (Notice that a Fredholm module over is, in particular, a Fredholm module over .)
5.5. KKh-cycles and -homology
Suppose that is a separable C*-algebra. Let be the separable infinite-dimensional Hilbert space. A -cycle for is a pair of *-homomorphisms such that for every ; see [57, Definition 4.1.1]. Define to be the standard Borel space of -cycles for . The standard Borel structure on is induced by the Polish topology obtained by setting if and only if, for every , and in the strong-* topology, and in norm. We regard as a Polish space with respect to such a topology.
Define to be the relation of homotopy for elements of the Polish space . Thus, for , if and only if there exists a continuous path in such that and ; see [57, Definition 4.1.2]. As discussed in Section 2.3 one can regard a strong-* continuous path of *-homomorphisms as an element of the unit ball of . This allows one to regard the set of such paths as a Polish space endowed with the strict topology on , such that norm-continuous paths form a Borel subset by Corollary 2.26. It can be deduced from these observations that the relation of homotopy in is an analytic equivalence relation.
One lets be the semidefinable set obtained as a quotient of the Polish space by the analytic equivalence relation [57, Definition 4.1.3]. One has that is a semidefinable group, where the group operation is induced by the Borel function , , where is a fixed surjective linear isometry, and the function mapping each element to its additive inverse is induced by the Borel function , ; see [57, Proposition 4.1.5]. The trivial element of is the homotopy class of . The assignment gives a contravariant functor from separable C*-algebras to semidefinable groups.
Let be a separable C*-algebra. We now observe that is in fact a definable group, definably isomorphic to and hence to . There is a natural definable isomorphism defined as follows; see [57, Theorem 4.1.8]. Suppose that . Then one can consider the graded Kasparov module over defined as where is graded by and
Then one sets .
We now observe that the inverse function is also definable, as it follows from the proof of [57, Theorem 4.1.8]. Let be a graded Kasparov module, which can be assumed to be involutive and balanced by normalization and where we can assume to be infinite-dimensional; see [55, Proposition 8.3.12]. Then we have that is graded by and are the same representation of on , and
for some unitary . Then by [57, E 2.1.3], the Kasparov modules
represent the same element of , where as above
One has that . As the assignment is given by a Borel function, this shows that the inverse is definable. We thus obtain the following.
Proposition 5.19.
Let be a separable C*-algebra. Then is a definable group, naturally definably isomorphic to .
Proof.
By the above discussion, the natural definable homomorphism is an isomorphism in the category of semidefinable groups. Therefore, is also a definable group, naturally isomorphic to . As in turn is naturally definably isomorphic to , the conclusion follows. ∎
5.6. Cuntz’s -homology
Suppose that are separable C*-algebras. Let be the set of *-homomorphisms . Then is a Polish space when endowed with the topology of pointwise norm-convergence. Two *-homomorphisms are homotopic, in which case we write , if they belong to the same path-connected component of . Thus, two *-homomorphism satisfy if and only if there exists a continuous path in Hom such that and ; see [57, Definition 1.3.10]. Such a path can be thought of as a *-homomorphism , where is the C*-algebra of continuous functions . This shows that the relation of homotopy in is an analytic equivalence relation. We let be the semidefinable set of homotopy classes of *-homomorphisms .
Recall that a separable C*-algebra is stable if is *-isomorphic to . Suppose in the following that is stable. Thus we have that . This implies that one can choose isometries satisfying and for distinct. (This is equivalent to the assertion that generate inside a copy of the Cuntz algebra .) One can then define a *-isomorphism , . A *-isomorphism of this form is called inner; see [57, Definition 1.3.8]. Any two inner *-isomorphisms are unitary equivalent, namely there exists a unitary such that [57, Lemma 1.3.9].
Under the assumption that is stable, one can endow the semidefinable set with the structure of semidefinable semigroup. The operation on is induced by the Borel function , , where is a fixed inner *-isomorphism ; see [57, Lemma 1.3.12]. The trivial element in is the homotopy class of the zero *-homomorphism. Furthermore, the argument of [57, E 4.1.4] shows that is isomorphic to in the category of semidefinable semigroups.
Suppose that is a separable C*-algebra. Define to be the separable C*-algebra , where denotes the free product of with itself. We let be the two canonical inclusions of inside . Let be the closed two-sided ideal of generated by the elements of the form for ; see [57, Definition 5.1.1].
If is a separable C*-algebra, and are *-homomorphism, then there is a unique *-homomorphism such that and . The restriction of to is denoted by . One has that the range of is contained in an ideal of if and only if for every , in which case . One has that is the kernel of the map ; see [57, Lemma 5.1.2].
If is a separable C*-algebra, then the semidefinable semigroup is in fact a semidefinable group, where the function that maps each element to its additive inverse is induced by the Borel function
[57, Theorem 5.1.6]. The proof of [57, Theorem 5.1.12] shows that is isomorphic in the category of semidefinable groups to . In turn, is isomorphic to in the category of semidefinable groups by [57, E 4.1.4].
Observe that, for a fixed C*-algebra , the assignment is a contravariant functor from C*-algebras to semidefinable groups. Suppose that is a separable C*-algebra. Then there is a natural definable homomorphism defined by setting where . One has that in fact is a group isomorphism [57, Theorem 5.2.4]. Therefore, we obtain from Proposition 5.19 and Corollary 1.14 the following.
Proposition 5.20.
Suppose that is a separable C*-algebra. Then is a definable group, naturally definably isomorphic to .
This description of -homology is called Cuntz’s picture, as it was introduced by Cuntz in [30]; see also [12, Section 17.6] and [28, 29, 113]. Using the Cuntz picture, one can easily define the more general Kasparov KK-groups for separable C*-algebras , by setting
These are semidefinable groups, although we do not know whether they are definable groups when is an arbitrary separable C*-algebra. In particular, one has that and . The -theory groups are also recovered as particular instances of the -groups, as and .
Given separable C*-algebras , composition of *-homomorphisms and induces a definable bilinear pairing (Kasparov product)
In particular, is a (semidefinable) ring, with identity element corresponding to the identity map of . The -category of C*-algebras is the category enriched over the category of (semidefinable) abelian groups that has separable C*-algebras as objects and -groups as hom-sets. Two separable C*-algebras are -equivalent if they are isomorphic in the -category of C*-algebras.
By way of the Kasparov product and the natural isomorphisms and , one can regard -homology as a contravariant functor from the KK-category of separable C*-algebras to the category of definable groups, and -theory as a covariant functor from the KK-category of separable C*-algebras to the category of countable groups. In particular, -equivalent C*-algebras have definably isomorphic -homology groups, and isomorphic -theory groups.
6. Properties of definable -homology
In this section we consider several properties of definable -homology, which can be seen as definable versions of the properties of an abstract cohomology theory in the sense of [94] that is C*-stable in the sense of [30].
6.1. Products
Suppose that is a sequence of semidefinable sets . Then the product is the semidefinable set where and is the (analytic) equivalence relation on defined by setting if and only if , . If, for every , is a semidefinable group, then is a semidefinable group when endowed with the product group operation.
Suppose that is a sequence of separable C*-algebra. Define the direct sum to be the C*-algebra consisting of the sequences such that ; see [55, Definition 7.4.1]. If is a separable C*-algebra, then the canonical maps induce an isomorphism of Polish spaces
When is commutative with spectrum , then is commutative with spectrum the disjoint union of for . The following result can be seen as a noncommutative version of the Cluster Axiom for a homology theory for pointed compact spaces from [74].
Proposition 6.1.
Suppose that is a sequence of separable C*-algebras, and set . Fix . Then is a definable group. Furthermore the canonical maps for induce a natural definable isomorphism
Proof.
Since is a definable group, it suffices to prove the second assertion. After replacing with its suspension, it suffices to consider the case when . In this case, we can replace with by Proposition 5.19. Recall that we let be the space of -cycles for . The canonical maps induce an isomorphism of Polish spaces
In turn, this induces a definable isomorphism of the spaces of homotopy classes.
This concludes the proof. ∎
6.2. Homotopy-invariance
Suppose that are separable C*-algebra. Recall that is a Polish space when endowed with the topology of pairwise convergence. Thus, if there exists a path in from to ; see [55, Definition 4.4.1]. This can be thought of as an element of such that and where and , for . We let be the semidefinable set of homotopy classes of *-homomorphisms . The homotopy category of C*-algebras has separable C*-algebras as objects and homotopy classes of *-homomorphisms as morphisms. Two C*-algebras are homotopy equivalent if they are isomorphic in the homotopy category of C*-algebras [55, Definition 4.4.7].
Proposition 6.2.
For , the -homology functor from separable C*-algebras is homotopy-invariant.
Proof.
As in the case of the proof of Proposition 6.1, it suffices to show that the functor is homotopy invariant, which is an immediate consequence of the definition. ∎
Suppose that is a separable C*-algebra. Recall that the suspension of can be seen as the C*-subalgebra of consisting of such that . Then is a semidefinable abelian group, where the group operation is induced by the Borel function where
The function that assigns each element to its additive inverse is induced by the Borel function where
The trivial element of is the homotopy class of . For , there map is a group homomorphism [94, Proposition 6.3].
A separable C*-algebra is contractible if it is homotopy equivalent to the zero C*-algebra; see [55, Definition 4.4.4]. By homotopy invariance, whenever is contractible and . In particular, if is a separable semi-split C*-pair such that is contractible, the boundary homomorphism is a definable isomorphism.
6.3. Mapping cones
Suppose that are separable, nuclear C*-algebras, and is a *-homomorphism. The mapping cone
of is obtained as the pullback of and . As such, it is endowed with canonical *-homomorphisms and ; see [94, Definition 2.1]. We have a natural exact sequence
where , . This induces a boundary homomorphism .
Considering the commutative diagram
where is the identity map, and , , we obtain by naturality of the six-term exact sequence in -homology that the boundary morphism is equal to the composition
The same argument together with the Five Lemma [86, Proposition 2.72] shows that is an isomorphism for every if and only if for every ; see [94, Theorem 6.5].
If is a surjective *-homomorphism with kernel , then considering the exact sequence
one sees that the map induces an isomorphism . Similarly, if is an ideal of and is the inclusion, then considering the exact sequence
shows that the map induces an isomorphism ; see [94, Proposition 6.6].
6.4. Long exact sequence of a triple
Consider a triple where is a separable, nuclear C*-algebra and and are closed two-sided ideals of . Then we have a commutative diagram
By naturality of the six-term exact sequence in -homology, we have that the boundary map
is equal to the composition of the map induced by the quotient map with the boundary map ; see [94, Theorem 6.10].
6.5. Mayer–Vietoris sequence
Consider separable, nuclear C*-algebras , and *-homomorphisms and for . Suppose that are surjective, and
is a pushout diagram. Then there is a six-term exact sequence of definable group homomorphisms
see [94, Theorem 6.11]. The definable group homomorphism is , the definable group homomorphism is . Furthermore, the definable group homomorphism is defined as follows. Let be defined by . Consider the corresponding mapping cone . We can regard as the set of triples such that . We have a *-homomorphism defined by setting
Then we have a natural short exact sequence
where for ; see [94, Proposition 4.5]. Thus, induces a definable isomorphism . The definable group homomorphism is defined as the composition of definable homomorphisms
where the map is associated with the canonical *-homomorphism as in the definition of mapping cone, the map is the inverse of the definable isomorphism induced by , and the map is the suspension isomorphism; see the proof of [94, Theorem 6.11].
6.6. The Milnor sequence of an inductive sequence
A tower of countable abelian groups is a sequence of countable abelian groups and group homomorphism . Given such a tower we let be the identity map of and, for , be the composition . Towers of countable groups form a category. A morphism from to is represented by a sequence where is an increasing sequence in and is a group homomorphism. Two such sequences and represent the same morphism if there exists an increasing sequence in such that and for every . The identity morphism and composition of morphisms are defined in the obvious way.
Given a tower of countable abelian groups, one lets lim be the definable group, which is in fact a group with Polish cover (see Remark 1.17), defined as follows. Consider Z to be the product group
endowed with the product topology, where each is endowed with the discrete topology. Define to be the Polishable Borel subgroup of obtained as an image of the continuous group homomorphism
Then is the corresponding definable group . The assignment lim is easily seen to be a functor from the category of towers of countable abelian groups to the category of definable groups; see also [16, Section 5].
Given a tower of countable abelian groups, we can also consider the (inverse) limit . This is the Polish abelian group obtained as the kernel of the continuous group homomorphism described above. The assignment is a functor from the category of towers of countable abelian groups to the category of Polish abelian groups.
Suppose that is an inductive sequence of separable, nuclear C*-algebras, and let be its inductive limit. If is countable for every , then is a tower of countable abelian groups, where is induced by . The assignment defines a functor from the category of inductive sequences of separable C*-algebras with countable -homology groups to the category of towers of countable abelian groups. The Milnor sequence for describes as an extension of groups defined in terms of ; see [94, Theorem 7.1]. The proof is inspired by Milnor’s argument for the corresponding result about Steenrod homology [74]; see also [73]. We let denote the set of natural numbers not including zero, and .
Proposition 6.3.
Suppose that is an inductive sequence of separable, nuclear C*-algebras with countable -homology groups, and is the inductive limit of . Then for there is a natural short exact sequence of definable group homomorphisms
where the homomorphism is induced by the canonical maps .
The assertion that the group homomorphisms in Proposition 6.3 are definable is a consequence of the proof of [94, Theorem 7.1]. This involves the notion of mapping telescope of an inductive sequence of of separable C*-algebras; see [94, Definition 5.2]. Without loss of generality, we can assume that . Let be the corresponding direct limit and be the canonical maps. For set , . We also let be the identity of . One fixes an increasing sequence in with converging to . Let be the product of in the category of C*-algebras. Define then to be the C*-subalgebra of consisting of those elements such that, for every , . An element of can be seen as a function where, for and one sets . The function defined by for is then continuous.
The mapping telescope consists of the set of pairs such that:
-
(1)
for every there exists such that, for and for and ,
and
-
(2)
lim.
Then one has that is a contractible separable C*-algebra; see [94, Lemma 5.4]. Define the surjective *-homomorphism , , and set . We also have a map , ; see [94, Lemma 5.5]. As is contractible, the short exact sequence
gives rise to a definable boundary isomorphism .
For define to be the C*-subalgebra consisting of such that . The *-homomorphism , is a homotopy equivalence with homotopy inverse , where for . Then we have that the composition is the identity, while the composition maps to where for . This map is homotopic to the identity via the homotopy defined by where
for .
-
•
is defined by
where for and for ;
-
•
is defined by
where for , and ;
-
•
is defined by
where , , , and for ;
-
•
is defined by
where , , and for .
We thus have a corresponding Mayer–Vietoris definable six-term exact sequence
associated with it. Combining this with the definable isomorphism as above, and with the definable isomorphisms
obtained from Proposition 6.1 and from the homotopy equivalences for , one obtains a definable six-term exact sequence
As in the proof of [94, Theorem 7.1], the group homomorphism
for is given by
whereas the boundary homomorphism is induced by the canonical maps . Thus, by definition of and of the tower we have that and yield a definable exact sequence
This concludes the proof of Proposition 6.3.
6.7. C*-stability
Suppose that is a separable C*-algebra, and is a (not necessarily infinite-dimensional) separable Hilbert space. If is a rank one projection, then we can define a *-homomorphism , . In turn, this induces a definable homomorphism . The stability—or C*-stability [30]—property of -homology asserts that such a definable homomorphism is in fact an definable isomorphism; see [55, Theorem 9.4.1].
Proposition 6.4.
Suppose that is a separable C*-algebra, is a separable Hilbert space, is a rank one projection, and is the *-homomorphism defined by . Then the induced map is a definable isomorphism.
Proof.
It is easy to see that one can reduce to the case when is infinite-dimensional. After replacing with its stabilization, we can assume that . As is naturally isomorphic to , it suffices to prove the corresponding statement for . One can then proceed as in [57, E 4.1.3]. Fix an infinite-dimensional separable Hilbert space , and let be defined with respect to . Consider the canonical inclusions and the injective *-homomorphism , . Consider also the *-isomorphism defined by setting where is an isometry with . Then extends to strict *-isomorphism , where is the strict extension of .
One can then consider the definable homomorphism induced by the Borel function
Then we have that is equal to the identity map. Indeed, is induced by the function
We have that
in or, equivalently,
in , where is defined as by replacing with . Indeed, by definition of ,
By [57, Lemma 1.3.7] there exists a stritly continuous path of isometries in connecting to . Thus,
is a continuous path in connecting to . This concludes the proof that is the identity of .
We now show that is the identity of . We have that is the definable group homomorphism induced by the Borel function
We claim that
in or, equivalently
in . Indeed, define be the (strict) *-homomorphisms given by
and
We can consider their strict extensions . Then we have that
and
We have that for some unitary . Since is connected in the strict topology [57, Lemma 1.3.7], we have that
This concludes the proof. ∎
6.8. Split exactness
Suppose that
is an exact sequence of definable groups and definable group homomorphisms. We say that it is definably split if is a split epimorphism in the category of definable groups, namely there exists a definable group homomorphism such that is equal to the identity of . This is equivalent to the assertion that is a split monomorphism in the category of definable groups, namely there exists a definable group homomorphism such that is equal to the identity of . In turn, this is equivalent to the assertion that there exists a definable isomorphism that makes the diagram
commute.
If is a separable C*-pair such that the exact sequence
splits, then is, in particular, semi-split. Thus, there is a corresponding six-term exact sequence in -homology. This reduces to two definably split exact sequences of definable groups and definable group homomorphisms
for . This is the split-exactness property of definable -homology in the sense of [30].
7. A definable Universal Coefficient Theorem
In this section we consider a definable version of the Universal Coefficient Theorem for -homology due to Brown [21], later generalized by Rosenberg and Schochet to -theory [89]. We also consider the fine structure of the definable -homology groups as in [95] in terms of the notion of filtration for a separable nuclear C*-algebra introduced therein. As an application, we show that definable -homology is a complete invariant for UHF C*-algebras up to stable isomorphism, while the same conclusion does not hold for the purely algebraic -homology. In this section, we assume all the C*-algebras to be separable and nuclear.
7.1. Index pairing for -homology
Suppose that is a separable, nuclear C*-algebra. Fix . Then one can define a natural definable index pairing , where and the countable group are regarded as standard Borel spaces with respect to the trivial Borel structure. Suppose that is concretely realized as a C*-subalgebra of such that the inclusion map is an ample representation of , and let be the corresponding Paschke dual algebra. For the pairing is defined by
where , is a unitary, is a projection, is the -fold direct sum of , satisfies
and is its Fredholm index of regarded as a Fredholm operator on ; see [55, Definition 7.2.1]. Such a pairing is definable, in the sense that it is induced by a Borel function , considering that the Fredholm index is given by a Borel map; see Section 2.10.
The index pairing is defined by
where , are projections that satisfy , satisfies
and is the Fredholm index of regarded as a Fredholm operator on and similarly for ; see [55, Definition 7.2.3]. Again, this pairing is definable since the Fredholm index is given by a Borel map.
7.2. Extensions of groups
Suppose that are countable abelian groups. A (-)cocycle on with coefficients in is a function such that, for every :
-
•
;
-
•
.
A cocycle is a coboundary if it is of the form for some function . The set of cocycles on with coefficients in is a closed subgroup of the Polish group endowed with the product topology (where is endowed with the discrete topology). The set of coboundaries is a Polishable Borel subgroup of . A weak coboundary is a cocycle such that, for every finite (or, equivalently, for every finitely-generated) subgroup of , the restriction of to is a coboundary for . Weak coboundaries form a closed subgroup of , which is in fact the closure of inside of .
The group is the definable group, which is in fact a group with Polish cover (see Remark 1.17), obtained as the quotient ; see [16, Section 7]. The pure (or phantom) Ext group is the definable subgroup of obtained as ; see [98, 27]. We also define to be the Polish group obtained as the quotient of the Polish group by the closed subgroup . By definition, we have a short exact sequence of definable groups
The terminology is due to the fact that every cocycle on with coefficients in gives rise to an extension of by , in such a way that two cocycles differ by a coboundary if and only if the corresponding extensions are isomorphic. Furthermore, every extension of by arises from a cocycle in this fashion. Explicitly, if
is an extension of by , the corresponding cocycle is defined as follows. Fix a right inverse for the function . Then one defines for . Conversely, given a cocycle on with coefficients in one can define an extension as above, where is endowed with the operation defined by
The weak coboundaries correspond in this way to extension of by that are pure, i.e. such that is a pure subgroup of ; see [47, Section V.29].
If is an inductive sequence of finitely-generated abelian groups and is the corresponding inductive limit (colimit), then the definable Jensen theorem asserts that is naturally definably isomorphic to , and is naturally isomorphic as a Polish group to lim; see [16, Theorem 7.4] and [98, Theorem 6.1].
7.3. The Universal Coefficient Theorem
Suppose that is a separable, nuclear C*-algebra. The definable index pairing induces a definable homomorphism
where we adopt the notation from [55, Definition 7.2.3]. Recall that is defined as Ext where is the unitization of . The definable homomorphism can be equivalently described as follows; see [88]. Let be an injective unital extension
of by . Then gives rise to a six-term exact sequence in -theory
The group homomorphism induced by in the diagram above depends only on the corresponding element of , and it is equal to . As in [55, Definition 7.6.7], we let be the definable subgroup of obtained as the kernel of the index homomorphism .
There is also a definable group homomorphism , defined as follows. Suppose that is an injective unital extension of by as above, such that moreover . Then the six-term exact sequence above reduces to a short exact sequence
This defines an element of , which in turn defines an element of via the inclusion . This element of depends only on the class in of the extension . This gives a group homomorphism , , which is easily seen to be definable. In a similar fashion, by replacing with its suspension, one can define a definable group homomorphism
with kernel , and a definable group homomorphism
We recall the following definition of a C*-algebra satisfying the Universal Coefficient Theorem (UCT); see [88, Definition 4.4].
Definition 7.1.
A separable C*-algebra is said to satisfy the Universal Coefficient Theorem (UCT) for , or the pair satisfies the UCT, if for the group homomorphisms is surjective, and the group homomorphism is an isomorphism.
It is proved in [21] that all the separable nuclear C*-algebras in the so-called bootstrap class satisfy the UCT for ; see also [20]. In fact one can more generally consider the UCT for , where is any separable C*-algebra, defined in terms of Kasparov’s KK-groups; see [89]. It is unknown whether there exists a separable nuclear C*-algebra that does not satisfy the UCT.
7.4. Weak and asymptotic -homology groups
We now recall the notion of a filtration (or -filtration) for a separable nuclear C*-algebra as in [95, Definition 1.4], and we define the weak and asymptotic -homology groups for C*-algebras with a filtration.
Definition 7.2.
Suppose that is a separable, nuclear C*-algebra. An inductive sequence of separable, nuclear C*-algebras is a filtration of if:
-
•
for every , satisfies the Universal Coefficient Theorem for (as in Definition 7.1);
-
•
for every and , is a finitely generated group;
-
•
is -equivalent to the inductive limit of the sequence .
Remark 7.3.
A slightly more restrictive definition is considered in [95, Definition 1.4], where the C*-algebras are supposed to commutative.
We let be the category that has separable, nuclear C*-algebras with a filtration as objects, and *-homomorphisms as morphisms.
Suppose that is a separable, nuclear C*-algebra with a filtration . Then the inductive limit of the sequence satisfies the UCT for by [95, Theorem 4.1], whence satisfies the UCT as well. Thus, the definable group homomorphism is an isomorphism. After replacing with we can assume that . Notice that, as K and are finitely-generated and satisfies the UCT for , it follows that and K are countable groups.
We define the weak -homology group to be Polish group lim. The assignment defines a homotopy-invariant functor from to the category of Polish groups. The weak -homology group is isomorphic to the group from [85, Section 4]; see also [90, 2.4.8] and [95, Corollary 3.8]. A description of in terms of the sum of all the -theory groups of in all degrees and all cyclic coefficient groups is obtained in [35]; see also [95, Theorem 3.10].
We have a canonical surjective definable homomorphism as in Milnor’s exact sequence. We define the asymptotic -homology group to be the kernel of such a definable homomorphism. As satisfies the UCT for , the definable isomorphism is an isomorphism. Since, for every , satisfies the UCT for , is equal to the inverse image of under . In particular, this shows that does not depend on the choice of the filtration for . The assignment defines a homotopy-invariant functor from to the category of definable groups. As noticed above, is naturally definably isomorphic to . We also have that , and hence is definably isomorphic to by the definable Jensen theorem [16, Theorem 7.4].
Lemma 7.4.
Suppose that is a separable, nuclear C*-algebra, and is a filtration of . Then the definable homomorphism has a definable right inverse , which is not necessarily a group homomorphism.
Proof.
After replacing with it suspension, we can assume that . Furthermore, after replacing with , we can assume that . Finally, after replacing with and with , we can assume that and for are unital, and is a unital *-homomorphism. In this case, we have that and for . We need to show that the definable group homomorphism has a definable right inverse, which is not necessarily a group homomorphism. Recall that Ext is the quotient of the Polish space of representatives of injective, unital extensions of by the equivalence relation as in Section 4.1.
Fix, for every an enumeration of . For define the bonding map
and set for . Define
to be the canonical map. Let also be the group homomorphism induced by the bonding map . Then an element of is a sequence such that, for , . For every fix such that . For every and such that fix such that . If is an element of , then setting , one obtains a sequence such that for every . Therefore, setting defines an element of such that for every , and hence the image of under the definable homomorphism is equal to . This construction describes a definable function , which is a right inverse for . This concludes the proof. ∎
Suppose that is a separable, nuclear C*-algebra with a filtration . The index homomorphisms
for induce a continuous group homomorphism
Similarly the definable group homomorphisms
for induce a definable group homomorphism
This gives a short exact sequence of definable groups
By definition of and , we also have a short exact sequence of definable groups
where is the inclusion map and is the quotient map.
Proposition 7.5.
Suppose that is a separable, nuclear C*-algebra with a filtration and . If is torsion-free, then is naturally isomorphic to , and is naturally isomorphic as a Polish group to .
Proof.
Since is torsion-free, we have that . Therefore,
From the exact sequence
we conclude that
From this and the exact sequence
we conclude that
This concludes the proof. ∎
Corollary 7.6.
Suppose that is a separable, nuclear C*-algebra with a filtration and is such that is a finite-rank torsion-free abelian group and is trivial. We can write
where is finitely-generated and has no nonzero finitely-generated direct summand. Then
and
as definable groups.
Proof.
After replacing with , we can assume that . We have that
Therefore,
Similarly, we have that
and hence, since is torsion-free,
This concludes the proof. ∎
Corollary 7.7.
Suppose that and are separable, nuclear C*-algebras with a filtration, such that and are finite-rank torsion-free abelian groups, and and are trivial. Then the following assertions are equivalent:
-
(1)
and are definably isomorphic for ;
-
(2)
and are isomorphic.
If furthermore and have no nonzero finitely-generated direct summand, then the following assertions are equivalent:
-
(1)
and are definably isomorphic;
-
(2)
and are isomorphic.
Proof.
After passing to the suspension, we can assume that . Since and are finite-rank torsion-free abelian groups, we can write
where have no nonzero finitely-generated direct summand, and are finitely-generated. Then we have that if and only if and . We have that if and only if
Furthermore, by [16, Corollary 7.6], we have that if and only if and are definably isomorphic. The conclusion thus follows from Corollary 7.6. ∎
7.5. Stable isomorphism of UHF algebras
Recall that a uniformly hyperfinite (UHF) C*-algebra is an infinite-dimensional separable unital C*-algebra that is the limit of an inductive sequence of full matrix algebras [33, Example III.5.1]. Since finite-dimensional C*-algebras are nuclear, satisfy the UCT for , and have finitely-generated and groups, UHF C*-algebras are nuclear and have a filtration. If is a UHF C*-algebra, then is a rank torsion-free abelian group that is not isomorphic to , while is trivial. Given a rank torsion-free abelian group that is not isomorphic to , there exists a UHF C*-algebra such that . By Proposition 7.5, we have that is definably isomorphic to , while is trivial.
Recall that a rank torsion-free abelian group is an abelian group that is isomorphic to a subgroup of . Given a torsion-free group and a prime number , one defines its -corank to be the dimension of as a -vector space. As a particular instance of [16, Theorem A.7] we have that, given rank torsion-free abelian groups , and are isomorphic as discrete groups if and only if for every prime . It easily follows that there exists an uncountable family of pairwise nonisomorphic rank torsion-free abelian groups such that and are isomorphic as discrete groups for .
The following result is an immediate consequence of these observations together with Corollary 7.7 and the Elliott classification of approximately finite-dimensional (AF) C*-algebras [39], or Glimm’s classification of UHF C*-algebras [51]; see also [84, Chapter 7]. Recall that two separable C*-algebras are stably isomorphic (or, equivalently, Morita-equivalent; see [92, Definition Theorem 5.55]) if , where is the C*-algebra of compact operators on the separable infinite-dimensional Hilbert space.
Theorem 7.8.
Definable is a complete invariant for UHF C*-algebras up to stable isomorphism. In contrast, there exists an un uncountable family of pairwise non stably isomorphic UHF C*-algebras whose -groups are isomorphic as discrete groups (but not definably isomorphic).
Proof.
It follows from the classification of AF C*-algebras by -theory that the (unordered) -group is a complete invariant for UHF C*-algebras up to stable isomorphism; see [33, Chapter IV]. From this and Corollary 7.7, it follows that the definable -group is also a complete invariant for UHF C*-algebras up to stable isomorphism.
If, adopting the notations above, is an uncountable family of pairwise nonisomorphic rank torsion-free abelian groups not isomorphic to such that and are isomorphic as discrete groups for , then is an uncountable family of pairwise non stably isomorphic UHF C*-algebras whose -groups are isomorphic as discrete groups but not definably isomorphic. ∎
8. Definable -homology of compact metrizable spaces
In this section, we consider definable -homology of compact metrizable spaces, which can be seen as a particular instance of definable -homology when restricted to unital, commutative, separable C*-algebras. As another application of the definable Universal Coefficient Theorem, we show that definable -homology of compact metrizable spaces is a finer invariant than its purely algebraic version, even when restricted to connected -dimensional subspaces of .
8.1. -homology and topological -theory of spaces
The notion (definable) of -homology for compact metrizable spaces is obtained as a particular instance of the corresponding notion for separable C*-algebras, by considering the contravariant functor assigning to a compact metrizable space the separable unital C*-algebra of continuous complex-valued functions on . Thus, if is a compact metrizable space, its definable -homology groups are given by
for ; see [55, Chapter 7]. The reduced definable -homology groups are similarly defined by
In particular, one sets
and
Notice that, by definition,
Similarly, the topological -theory groups of can be defined in terms of the -theory of by setting
see [84, 3.3.7]. Equivalently, the topological -groups can be defined in terms of vector bundles over ; see [60, Chapter II] and [109, Chapter 13]. One can also define the reduced -group to be the quotient of by the subgroup obtained as the image of under the homomorphism induced by the map . (Notice that is trivial and .)
8.2. The Universal Coefficient Theorem
Recall that a compact polyhedron is a compact metrizable space that is obtained as the topological realization of a finite simplicial complex; see [77, Appendix 1]. (In the following, we assume that all the polyhedra are compact.) The topological -groups of a polyhedron are finitely-generated [55, Proposition 7.14]. Furthermore, if is a polyhedron, then it can be proved by induction on the number of simplices of the corresponding simplicial complex that the unital C*-algebra satisfies the UCT for [20, 21].
If is a compact metrizable space, then one can write as the (inverse) limit of a tower of compact polyhedra [77, Section I.6]. Such a tower, called a polyhedral resolution of in [77], can be obtained by considering the topological realizations of the nerves of a sequence of finite open covers of that is cofinal in the ordered set of finite open covers of . If is a polyhedral resolution for , then is a filtration for in the sense of Definition 7.2. Thus, one can consider the weak -homology group
and the asymptotic -homology groups
We can also consider their reduced versions, by letting be the kernel of the definable group homomorphism induced by the map , and similarly for . It is then easy to see that
and
By definition, we have definable short exact sequences
and
As particular instances of Proposition 7.5, Corollary 7.6, and Corollary 7.7 (or, precisely, their analogues for reduced -homology), one obtains the following.
Proposition 8.1.
Suppose that is a compact metrizable space and . If is torsion-free, then is naturally definably isomorphic to , and is naturally isomorphic to .
Corollary 8.2.
Suppose that is a compact metrizable space and is such that is a finite-rank torsion-free abelian group and is trivial. We can write
where is finitely-generated and has no nonzero finitely-generated direct summand. Then
and
as definable groups.
Corollary 8.3.
Suppose that , and are compact metrizable spaces, such that and are finite-rank torsion-free abelian groups, and and are trivial. Then the following assertions are equivalent:
-
(1)
and are definably isomorphic for ;
-
(2)
and are isomorphic.
If furthermore and have no nonzero finitely-generated direct summand, then the following assertions are equivalent:
-
(1)
and are definably isomorphic;
-
(2)
and are isomorphic.
8.3. Solenoids
A (-dimensional) solenoid is a compact metrizable space that is homeomorphic to a -dimensional compact connected abelian group other than . Thus, if is a rank torsion-free abelian group (or, equivalently, a subgroup of ) other than , then its Pontryagin dual group is a solenoid, and every solenoid arises in this fashion (up to homeomorphism). When for some prime number , then the corresponding solenoid is called the -adic solenoid. A solenoid can be realized as a compact subset of (but not of ) [41, Exercise VIII.E]; see also [59, 58, 19, 18]. Solenoids were originally considered by Vietoris [105] and van Danztig [104]. They arise in the context of dynamical systems, and they provided in the work of Smale the first examples of attractors of dynamical systems that are strange [91, 101, 107].
If is the circle, then one has that and . Furthermore, if is a continuous map of degree , then the induced map is given by . It follows easily from this that, if is a subgroup of , then and . Thus, by Proposition 8.1, we have that and as definable groups. (The reduced K-homology of -adic solenoids is also computed in [67, Theorem 6.8].) As in the proof of Theorem 7.8, we have the following.
Theorem 8.4.
Definable is a complete invariant for -dimensional solenoids up to homeomorphism. In contrast, there exist uncountably many pairwise non homeomorphic -dimensional solenoids whose -groups are isomorphic as discrete groups (but not definably isomorphic).
Proof.
If is a -dimensional solenoid, then and . It follows from this and Corollary 8.3 that definable is a complete invariant for -dimensional solenoids up to homeomorphism.
If is an uncountable family of pairwise nonisomorphic rank torsion-free abelian groups such that and are isomorphic as discrete groups for as in Section 7.5, then is an uncountable family of pairwise non homeomorphic solenoids whose -groups are isomorphic as discrete groups but not definably isomorphic. ∎
References
- Ahl [78] Lars V. Ahlfors, Complex analysis, third ed., McGraw-Hill Book Co., New York, 1978, An introduction to the theory of analytic functions of one complex variable, International Series in Pure and Applied Mathematics.
- AM [15] Hiroshi Ando and Yasumichi Matsuzawa, The Weyl–von Neumann theorem and Borel complexity of unitary equivalence modulo compacts of self-adjoint operators, Proceedings of the Royal Society of Edinburgh, Section A 145 (2015), no. 06, 1115–1144.
- And [20] Esteban Andruchow, A note on geodesics of projections in the Calkin algebra, arXiv:2004.01158 (2020).
- APT [73] Charles A. Akemann, Gert K. Pedersen, and Jun Tomiyama, Multipliers of C*-algebras, Journal of Functional Analysis 13 (1973), 277–301.
- Are [46] Richard Arens, Topologies for homeomorphism groups, American Journal of Mathematics 68 (1946), 593–610.
- Arv [77] William Arveson, Notes on extensions of C*-algebras, Duke Mathematical Journal 44 (1977), no. 2, 329–355.
- Ati [70] Michael F. Atiyah, Global theory of elliptic operators, Proc. Internat. Conf. on Functional Analysis and Related Topics (Tokyo, 1969), Univ. of Tokyo Press, Tokyo, 1970, pp. 21–30.
- Ati [89] M. F. Atiyah, -theory, second ed., Advanced Book Classics, Addison-Wesley Publishing Company, Advanced Book Program, Redwood City, CA, 1989.
- BDF [73] Lawrence G. Brown, Ronald G. Douglas, and Peter A. Fillmore, Extensions of C*-algebras, operators with compact self-commutators, and -homology, Bulletin of the American Mathematical Society 79 (1973), 973–978.
- BDF [77] by same author, Extensions of C*-algebras and -homology, Annals of Mathematics. Second Series 105 (1977), no. 2, 265–324.
- BK [96] Howard Becker and Alexander S. Kechris, The descriptive set theory of Polish group actions, London Mathematical Society Lecture Note Series, vol. 232, Cambridge University Press, Cambridge, 1996.
- Bla [86] Bruce Blackadar, K-theory for operator algebras, Mathematical Sciences Research Institute Publications, vol. 5, Springer-Verlag, New York, 1986.
- Bla [98] by same author, K-theory for operator algebras, second ed., Mathematical Sciences Research Institute Publications, vol. 5, Cambridge University Press, Cambridge, 1998.
- Bla [06] by same author, Operator Algebras, Encyclopaedia of Mathematical Sciences, vol. 122, Springer-Verlag, Berlin, 2006.
- [15] Jeffrey Bergfalk, Martino Lupini, and Aristotelis Panagiotopoulos, The definable content of homological invariants II: cohomology and homotopy classification, in preparation.
- BLP [20] by same author, The definable content of homological invariants I: & , arXiv:2008.08782 (2020).
- BO [08] Nathanial P. Brown and Narutaka Ozawa, C*-algebras and finite-dimensional approximations, Graduate Studies in Mathematics, vol. 88, American Mathematical Society, Providence, RI, 2008.
- [18] Mátyás Bognár, On embedding of locally compact abelian topological groups in Euclidean spaces. I, Acta Mathematica Hungarica 51 (1988), no. 3-4, 371–399.
- [19] by same author, On embedding of locally compact abelian topological groups in Euclidean spaces. II, Acta Mathematica Hungarica 52 (1988), no. 1-2, 101–131.
- Bro [75] Lawrence G. Brown, Operator algebras and algebraic -theory, Bulletin of the American Mathematical Society 81 (1975), no. 6, 1119–1121, Publisher: American Mathematical Society.
- Bro [84] by same author, The universal coefficient theorem for and quasidiagonality, Operator algebras and group representations, Vol. I (Neptun, 1980), Monogr. Stud. Math., vol. 17, Pitman, Boston, MA, 1984, pp. 60–64.
- BY [08] Itaï Ben Yaacov, Topometric spaces and perturbations of metric structures, Logic and Analysis 1 (2008), no. 3, 235–272.
- BYBM [13] Itaï Ben Yaacov, Alexander Berenstein, and Julien Melleray, Polish topometric groups, Transactions of the American Mathematical Society 365 (2013), no. 7, 3877–3897.
- BYM [15] Itaï Ben Yaacov and Julien Melleray, Grey subsets of polish spaces, The Journal of Symbolic Logic 80 (2015), no. 4, 1379–1397.
- BYU [10] Itaï Ben Yaacov and Alexander Usvyatsov, Continuous first order logic and local stability, Transactions of the American Mathematical Society 362 (2010), no. 10, 5213–5259.
- CE [76] Man-Duen Choi and Edward G. Effros, The completely positive lifting problem for C*-algebras, Annals of Mathematics 104 (1976), no. 3, 585–609.
- CS [98] J. Daniel Christensen and Neil P. Strickland, Phantom maps and homology theories, Topology. An International Journal of Mathematics 37 (1998), no. 2, 339–364.
- Cun [83] Joachim Cuntz, Generalized homomorphisms between C*-algebras and -theory, Dynamics and processes (Bielefeld, 1981), Lecture Notes in Math., vol. 1031, Springer, Berlin, 1983, pp. 31–45.
- Cun [84] by same author, -theory and C*-algebras, Algebraic -theory, number theory, geometry and analysis (Bielefeld, 1982), Lecture Notes in Math., vol. 1046, Springer, Berlin, 1984, pp. 55–79.
- Cun [87] by same author, A new look at -theory, -Theory 1 (1987), no. 1, 31–51.
- Dad [00] Marius Dadarlat, Approximate unitary equivalence and the topology of , C*-algebras (Münster, 1999), Springer, Berlin, 2000, pp. 42–60.
- Dad [05] by same author, On the topology of the Kasparov groups and its applications, Journal of Functional Analysis 228 (2005), no. 2, 394–418.
- Dav [96] Kenneth R. Davidson, C*-algebras by Example, Fields Institute Monographs, vol. 6, American Mathematical Society, Providence, RI, 1996.
- DE [02] Marius Dadarlat and Søren Eilers, On the classification of nuclear C*-algebras, Proceedings of the London Mathematical Society. Third Series 85 (2002), no. 1, 168–210.
- DL [96] Marius Dadarlat and Terry A. Loring, A universal multicoefficient theorem for the Kasparov groups, Duke Mathematical Journal 84 (1996), no. 2, 355–377.
- Eff [65] Edward G. Effros, Transformation Groups and C*-algebras, Annals of Mathematics 81 (1965), no. 1, 38–55.
- EFP+ [13] George A. Elliott, Ilijas Farah, Vern I. Paulsen, Christian Rosendal, Andrew S. Toms, and Asger Törnquist, The isomorphism relation for separable C*-algebras, Mathematical Research Letters 20 (2013), no. 6, 1071–1080.
- EK [01] George A. Elliott and Dan Kucerovsky, An abstract Voiculescu-Brown-Douglas-Fillmore absorption theorem, Pacific Journal of Mathematics 198 (2001), no. 2, 385–409.
- Ell [76] George A Elliott, On the classification of inductive limits of sequences of semisimple finite-dimensional algebras, Journal of Algebra 38 (1976), no. 1, 29–44.
- Ell [77] George A. Elliott, The Mackey Borel structure on the spectrum of an approximately finite-dimensional separable C*-algebra, Transactions of the American Mathematical Society 233 (1977), 59–68.
- ES [52] Samuel Eilenberg and Norman Steenrod, Foundations of algebraic topology, Princeton University Press, Princeton, New Jersey, 1952.
- Far [11] Ilijas Farah, All automorphisms of the Calkin algebra are inner, Annals of Mathematics 173 (2011), no. 2, 619–661.
- Far [12] by same author, A dichotomy for the Mackey Borel structure, Proceedings of the 11th Asian Logic Conference, World Scientific Publishing Co. Inc., 2012, pp. 86–93.
- Far [19] by same author, Combinatorial set theory of C*-algebras, Springer Monographs in Mathematics, Springer, Cham, 2019.
- FTT [12] Ilijas Farah, Andrew Toms, and Asger Törnquist, The descriptive set theory of C*-algebra invariants, International Mathematics Research Notices (2012), 5196–5226.
- FTT [14] Ilijas Farah, Andrew S. Toms, and Asger Törnquist, Turbulence, orbit equivalence, and the classification of nuclear C*-algebras, Journal für die reine und angewandte Mathematik 688 (2014), 101–146.
- Fuc [70] László Fuchs, Infinite abelian groups. Vol. I, Pure and Applied Mathematics, Vol. 36, Academic Press, New York-London, 1970.
- Gao [09] Su Gao, Invariant Descriptive Set Theory, Pure and Applied Mathematics, vol. 293, CRC Press, Boca Raton, FL, 2009.
- Gha [15] Saeed Ghasemi, Isomorphisms of quotients of FDD-algebras, Israel Journal of Mathematics 209 (2015), no. 2, 825–854.
- GL [16] Eusebio Gardella and Martino Lupini, Conjugacy and cocycle conjugacy of automorphisms of are not Borel, Münster Journal of Mathematics 9 (2016), no. 1, 93–118.
- Gli [60] James G. Glimm, On a certain class of operator algebras, Transactions of the American Mathematical Society 95 (1960), no. 2, 318–340.
- Gli [61] James Glimm, Type I C*-algebras, Annals of Mathematics. Second Series 73 (1961), 572–612.
- Hig [87] Nigel Higson, A characterization of -theory, Pacific Journal of Mathematics 126 (1987), no. 2, 253–276.
- Hig [95] by same author, C*-algebra extension theory and duality, Journal of Functional Analysis 129 (1995), no. 2, 349–363.
- HR [00] Nigel Higson and John Roe, Analytic -homology, Oxford Mathematical Monographs, Oxford University Press, Oxford, 2000.
- Iór [80] Valéria B. de Magalhaes Iório, Hopf C*-algebras and locally compact groups, Pacific Journal of Mathematics 87 (1980), no. 1, 75–96.
- JT [91] Kjeld Knudsen Jensen and Klaus Thomsen, Elements of -theory, Mathematics: Theory & Applications, Birkhäuser Boston, Inc., Boston, MA, 1991.
- JWZ [08] Boju Jiang, Shicheng Wang, and Hao Zheng, No embeddings of solenoids into surfaces, Proceedings of the American Mathematical Society 136 (2008), no. 10, 3697–3700.
- JWZZ [11] Boju Jiang, Shicheng Wang, Hao Zheng, and Qing Zhou, On tame embeddings of solenoids into -space, Fundamenta Mathematicae 214 (2011), no. 1, 57–75.
- Kar [08] Max Karoubi, -theory, Classics in Mathematics, Springer-Verlag, Berlin, 2008.
- Kas [75] Gennadi G. Kasparov, Topological invariants of elliptic operators. I. -homology, Izv. Akad. Nauk SSSR Ser. Mat. 39 (1975), no. 4, 796–838.
- Kec [94] Alexander S. Kechris, Countable sections for locally compact group actions. II, Proceedings of the American Mathematical Society 120 (1994), no. 1, 241–247.
- Kec [95] by same author, Classical descriptive set theory, Graduate Texts in Mathematics, vol. 156, Springer-Verlag, New York, 1995.
- Kec [98] Alexander Kechris, The descriptive classification of some classes of C*-algebras, Proceedings of the sixth Asian logic conference, World Scientific Publishing Co. Inc., River Edge, 1998, pp. 121–149.
- KLP [10] David Kerr, Hanfeng Li, and Mikaël Pichot, Turbulence, representations, and trace-preserving actions, Proceedings of the London Mathematical Society 100 (2010), no. 2, 459–484.
- KM [16] Alexander S. Kechris and Henry L. Macdonald, Borel equivalence relations and cardinal algebras, Fundamenta Mathematicae 235 (2016), no. 2, 183–198.
- KS [77] Jerome Kaminker and Claude Schochet, -theory and Steenrod homology: applications to the Brown-Douglas-Fillmore theory of operator algebras, Transactions of the American Mathematical Society 227 (1977), 63–107.
- KS [17] Jerome Kaminker and Claude L. Schochet, Spanier–Whitehead K-duality for C*-algebras, Journal of Topology and Analysis 11 (2017), no. 01, 21–52, Publisher: World Scientific Publishing Co.
- Lan [95] E. Christopher Lance, Hilbert C*-modules, London Mathematical Society Lecture Note Series, vol. 210, Cambridge University Press, Cambridge, 1995.
- Lup [14] Martino Lupini, Unitary equivalence of automorphisms of separable C*-algebras, Advances in Mathematics 262 (2014), 1002–1034.
- Lup [20] by same author, Definable Eilenberg–Mac Lane Universal Coefficient Theorems, arXiv:2009.10805 (2020).
- Mac [57] George W. Mackey, Borel structure in groups and their duals, Transactions of the American Mathematical Society 85 (1957), no. 1, 134–165.
- Mil [62] John Milnor, On axiomatic homology theory, Pacific Journal of Mathematics 12 (1962), 337–341.
- Mil [95] by same author, On the Steenrod homology theory, Novikov conjectures, index theorems and rigidity, Vol. 1 (Oberwolfach, 1993), London Math. Soc. Lecture Note Ser., vol. 226, Cambridge Univ. Press, Cambridge, 1995, pp. 79–96.
- ML [98] Saunders Mac Lane, Categories for the working mathematician, second ed., Graduate Texts in Mathematics, vol. 5, Springer-Verlag, New York, 1998.
- MR [12] Luca Motto Ros, On the complexity of the relations of isomorphism and bi-embeddability, Proceedings of the American Mathematical Society 140 (2012), no. 1, 309–323.
- MS [82] Sibe Mardešić and Jack Segal, Shape theory, North-Holland Mathematical Library, vol. 26, North-Holland Publishing Co., Amsterdam-New York, 1982.
- Mur [90] Gerard J. Murphy, C*-algebras and operator theory, Academic Press, Inc., Boston, MA, 1990.
- NdK [17] Ryszard Nest and Niek de Kleijn, Excision and Bott periodicity, 2017, Available at http://niekdekleijn.com/wp-content/uploads/2017/11/excision_BP.pdf.
- Pas [81] William L. Paschke, -theory for commutants in the Calkin algebra, Pacific Journal of Mathematics 95 (1981), no. 2, 427–434.
- Pau [02] Vern I. Paulsen, Completely bounded maps and operator algebras, Cambridge Studies in Advanced Mathematics, vol. 78, Cambridge University Press, Cambridge, 2002.
- Ped [79] Gert K. Pedersen, C*-algebras and their automorphism groups, London Mathematical Society Monographs, vol. 14, Academic Press Inc. [Harcourt Brace Jovanovich Publishers], London, 1979.
- Ped [89] by same author, Analysis now, Graduate Texts in Mathematics, vol. 118, Springer-Verlag, New York, 1989.
- RLL [00] Mikael Rørdam, Flemming Larsen, and Niels Laustsen, An introduction to K-theory for C*-algebras, London Mathematical Society Student Texts, vol. 49, Cambridge University Press, Cambridge, 2000.
- Rør [95] Mikael Rørdam, Classification of certain infinite simple C*-algebras, Journal of Functional Analysis 131 (1995), no. 2, 415–458.
- Rot [09] Joseph J. Rotman, An introduction to homological algebra, Universitext, Springer, New York, 2009.
- RR [64] A. P. Robertson and W. J. Robertson, Topological vector spaces, Cambridge Tracts in Mathematics and Mathematical Physics, No. 53, Cambridge University Press, New York, 1964.
- RS [81] Jonathan Rosenberg and Claude Schochet, Comparing functors classifying extensions of C*-algebras, Journal of Operator Theory 5 (1981), no. 2, 267–282.
- RS [87] by same author, The Künneth Theorem and the Universal Coefficient Theorem for Kasparov’s generalized -functor, Duke Mathematical Journal 55 (1987), no. 2, 431–474.
- RS [02] Mikael Rørdam and Erling Størmer, Classification of nuclear C*-algebras. Entropy in operator algebras, Encyclopaedia of Mathematical Sciences, vol. 126, Springer-Verlag, Berlin, 2002.
- Rue [06] David Ruelle, What is a strange attractor?, Notices of the American Mathematical Society 53 (2006), no. 7, 764–765.
- RW [98] Iain Raeburn and Dana P. Williams, Morita equivalence and continuous-trace C*-algebras, Mathematical Surveys and Monographs, vol. 60, American Mathematical Society, Providence, RI, 1998.
- Sal [92] Norberto Salinas, Relative quasidiagonality and -theory, Houston Journal of Mathematics 18 (1992), no. 1, 97–116.
- Sch [84] Claude Schochet, Topological methods for C*-algebras. III. Axiomatic homology, Pacific Journal of Mathematics 114 (1984), no. 2, 399–445.
- Sch [96] Claude L. Schochet, The UCT, the Milnor sequence, and a canonical decomposition of the Kasparov groups, K-Theory 10 (1996), no. 1, 49–72.
- Sch [01] by same author, The fine structure of the Kasparov groups. I. Continuity of the -pairing, Journal of Functional Analysis 186 (2001), no. 1, 25–61.
- Sch [02] by same author, The fine structure of the Kasparov groups. II. Topologizing the UCT, Journal of Functional Analysis 194 (2002), no. 2, 263–287.
- Sch [03] by same author, A Pext primer: pure extensions and for infinite abelian groups, New York Journal of Mathematics. NYJM Monographs, vol. 1, State University of New York, University at Albany, Albany, NY, 2003.
- Sch [05] by same author, The fine structure of the Kasparov groups. III. Relative quasidiagonality, Journal of Operator Theory 53 (2005), no. 1, 91–117.
- Sim [95] Barry Simon, Operators with singular continuous spectrum. I. general operators, Annals of Mathematics. Second Series 141 (1995), no. 1, 131–145.
- Sma [67] Stephen Smale, Differentiable dynamical systems, Bulletin of the American Mathematical Society 73 (1967), 747–817.
- Tho [15] Simon Thomas, A descriptive view of unitary group representations, Journal of the European Mathematical Society (JEMS) 17 (2015), no. 7, 1761–1787.
- Val [85] Jean-Michel Vallin, C*-algèbres de Hopf et *-algèbres de Kac, Proceedings of the London Mathematical Society. Third Series 50 (1985), no. 1, 131–174.
- vD [32] David van Dantzig, Theorie des projektiven Zusammenhangs -dimensionaler Räume, Mathematische Annalen 106 (1932), no. 1, 400–454.
- Vie [27] Leopold Vietoris, Über den höheren Zusammenhang kompakter Räume und eine Klasse von zusammenhangstreuen Abbildungen, Mathematische Annalen 97 (1927), no. 1, 454–472.
- Voi [76] Dan Voiculescu, A non-commutative Weyl-von Neumann theorem, Revue Roumaine de Mathématiques Pures et Appliquées 21 (1976), no. 1, 97–113.
- Wil [74] Robert F. Williams, Expanding attractors, Institut des Hautes Études Scientifiques. Publications Mathématiques (1974), no. 43, 169–203.
- WN [92] Stanisław L. Woronowicz and Kazimierz Napiórkowski, Operator theory in the C*-algebra framework, Reports on Mathematical Physics 31 (1992), no. 3, 353–371.
- WO [93] N. E. Wegge-Olsen, -theory and C*-algebras, Oxford Science Publications, The Clarendon Press, Oxford University Press, New York, 1993.
- Wor [80] Stanisław L. Woronowicz, Pseudospaces, pseudogroups and Pontriagin duality, Mathematical problems in theoretical physics (Proc. Internat. Conf. Math. Phys., Lausanne, 1979), Lecture Notes in Phys., vol. 116, Springer, Berlin-New York, 1980, pp. 407–412.
- Wor [91] by same author, Unbounded elements affiliated with C*-algebras and noncompact quantum groups, Communications in Mathematical Physics 136 (1991), no. 2, 399–432.
- Wor [95] by same author, C*-algebras generated by unbounded elements, Reviews in Mathematical Physics 7 (1995), no. 3, 481–521.
- Zek [89] Richard Zekri, A new description of Kasparov’s theory of C*-algebra extensions, Journal of Functional Analysis 84 (1989), no. 2, 441–471.