A higher categorical approach to graded bivariant -theories for Real -algebras
Abstract
We present an -categorical refinement of classical -theory and -theory for graded, -equivariant for a locally compact second countable group , Real -algebras. As a consequence, we obtain a couple of fiber sequences connecting the different -theory spectra, and explicitly analyse the induced endomorphisms on -groups. We also answer precisely some folklore questions in the area. Among other things, we show that graded - and -categories are not a Dwyer-Kan localization of graded -algebras.
Contents
1 Introduction
This article is devoted to studying bivariant -theories for -algebras found in an index theorist’s toolkit using methods from higher category theory. Recent works of Bunke and coauthors ([13], [17], [11]) have refined the classical - and -categories of -algebras to stable -categories, which then enjoy an -categorical version of the classical (-categorical) universal properties as mentioned in [33] and [20]. This -categorical enhancement is not just for the satisfaction of the modern homotopy theorist, but also helps segregate the homotopical and analytical aspects of the subject.
In [17], Bunke constructs small stable -categories (where denotes the kind of excision we want to have) by universally enforcing certain properties Kasparov’s - and Connes-Higson’s -theory are known to satisfy, namely, homotopy invariance, compact stability, -excision, and Bott periodicity. The same construction can also be done equivariantly in the presence of the action of locally compact second countable group, as mentioned in [16]. That the homotopy category of (resp. ) is equivalent to Kasparov’s - (resp. Connes-Higson’s -)categories can be seen by comparing with the classical universal properties, as is worked out in [17, Section 13]. The advantage of defining bivariant -categories as a Dwyer-Kan localization is that one can write functors out of the -categories by verifying that a functor defined on separable -algebras satisfies certain properties.
However, [13], [17], [11] have been written exclusively with ungraded -algebras. In contrast, most of classical bivariant -theories have been applied to problems in geometry and topology in their graded avatar. For example, consider the proof of the Baum-Connes conjecture for a-T-menable groups in Higson-Guentner’s article [32], where a myriad of the exotic functorial properties of the graded -category were used. Nevertheless, it is the ungraded -theories11 1 we adopt Bunke’s notation and denote by either - or -theory, even in the classical contexts. whose universal properties are classically known. Given the importance of the graded theory and the effectiveness of realizing as Dwyer-Kan localizations as mentioned earlier, one can ask the same for the graded -category. It turns out that the answer is in the negative, as shown in Section 4.1. The author does not know if this fact was known earlier. However, not all is lost, and higher categorical refinements of graded -categories can still be provided. Following ideas in an unpublished note of Bunke-Duenzinger (see also [15, Section 2.4]), we define an -categorical refinement of graded, -equivariant -category as a certain category of comodules over a distinguished cocommutative coalgebra in , the -equivariant, ungraded bivariant -category. It turns out that this picture captures the formal properties of the classical graded -categories. The details of this higher categorical refinement of graded bivariant -categories is one of the cornerstones of this article, and is developed in Section 4.
The other aspect missing from the writings of Bunke on higher categorical approaches to -theories is a discussion of Real -algebras. Apart from being of independent interest, Real -theory encodes finer information than its complex counterpart, as for example is clear from the seminal works of Hitchin ([36]) and Rosenberg ([51]). Luckily, the construction of Real -categories for separable -algebras follow the same path as in [17] (see also [11, Section 3.4]), with only one difference: we would have to enforce the well known -periodicity at the final step of the construction. The construction of stable -categories refining classical Real -categories is the content of the first few subsections of Section 3.22 2 In our treatment of graded -categories, we have worked with Real -algebras equipped with the action of an external locally compact group. We did not mention this in the last paragraph because the passage from ungraded to graded is much more drastic than the one from complex to Real. And equivariant matters were already considered in works of Bunke. Unless otherwise mentioned, in this article we work with Real -algebras by default.
We now mention some applications of the abstract theory developed in Sections 3 and 4 of this article. In order to streamline the presentation, we package all of them in the next theorem. To simplify the exposition, we also ignore the external (compact) group action here. The (more or less straightforward) generalization to the equivariant case is present in Section 5.
Theorem 1.1.
Denote by the ungraded (classical), -equivariant, and graded spectrum valued -theory functors on the corresponding categories of (Real) -algebras. Let be a -algebra with a -action . Then we have the following33 3 the labels are just notation and should not be confused with the multiplication with some constant maps!.
- 1.
There is a natural fiber sequence of spectra
Here denotes the underlying -algebra functor. Furthermore, the fiber sequence splits if is inner graded.
- 2.
There is a natural fiber sequence of spectra
Here denotes the graded tensor product of and , the Clifford algebra on two generators which square to . If is inner graded, the fiber sequence splits.
- 3.
There are endomorphisms of the different -theory spectra of arising from the above two fiber sequences. At the level of , their effect can be concretely described when the algebra is unital:
- (a)
is given by mapping the class of a -equivariant projective -module to .
- (b)
is given by mapping the class of a Fredholm cycle44 4 see Section 2.2. to .
- (c)
When is inner graded or is complex, then , and the map is given by mapping the class of a finitely generated projective -module to , where has the same underlying abelian group as , and the -action is given by
- (d)
Under the same assumption on as in the last point, the map is given by mapping the class of a -equivariant finitely generated projective -module to .
- (a)
Before describing the organization of this article, we mention the relation between our fiber sequences and the Clifford module quotient55 5 the author learnt this sleek term from a talk of Luuk Stehouwer at the Max Planck Institute for Mathematics in 2025. picture of -theory of a point as described by Atiyah, Bott and Shapiro in [4]. Roughly speaking, one of the main results of loc. cit. (see also [41, Section I.9]) is the following (recall that denotes the Clifford algebra on generators, where generators square to , and generators square to .)
Theorem 1.2.
(Atiyah-Bott-Shapiro) For every non-negative integer , there is a canonical isomorphism of abelian groups
It can be seen (Section 5.1) that Theorem 1.2 is asserting that the long exact sequence of homotopy groups of the fiber sequence labeled “ABS” splits off into short exact sequences when is a Clifford algebra. Our results therefore clarifies the situation for a general graded, Real (-equivariant for a compact group ) -algebra: replace the process of taking cokernels in abelian groups by taking cofiber in spectra. This also answers a folklore question pertaining to whether higher -groups of a -algebra can be given a Clifford module quotient description analogous to Theorem 1.2; see Section 5.1 for details.
As the reader may guess, the other fiber sequence labeled “van Daele” has been tagged so because it recovers the classical definition of van Daele -theory ([60],[61]). After a bit of massaging66 6 by working with the (graded) opposite -algebra, this sequence can be seen to recover Karoubi’s definition of graded -theory ([38, Chapitre II.2.1]) as well. We do not delve into these comparisons (and the inter-comparisons) in this article, and point the curious reader to the work of David Aretz and Luuk Stehouwer ([3]), where such considerations have been discussed in detail. Note that loc. cit. is written in the generality of Banach algebras, and our fiber sequence “ABS” is more or less their definition of the graded -theory spectrum (see [3, Definitions 3.42 & 3.55]).
Finally, we mention that Ulrich Haag has works ([30],[31]) in this area. Therein, Haag obtains a couple of long exact sequences involving the different flavors of -groups, but only for complex -algebras. It can be seen that exactly one of Haag’s sequences survives the Real case, and the other one does not. The sequence that survives can be readily identified with the long exact sequence of homotopy groups of our sequence “ABS”. In the author’s view, some of the proofs presented in his papers would benefit from a more detailed and transparent exposition. Hence the methods of higher categories used in this paper both generalize and clarify Haag’s works.
1.1 Organization of the article
We now discuss the organization of this article.
Section 2 contains well-known results from equivariant and graded -theory. The key highlights of this section are Theorem 2.3 and Section 2.2. The non-equivariant case of Theorem 2.3 is the content of [26], and the equivariant generalization is more or less straightforward. Section 2.2 contains some miscellaneous results on the graded -theory of a distinguished graded -algebra , and the results therein are going to be really crucial in the later sections.
In Section 3, we emulate the analogous chapters of [17], and construct a stable -categorical refinement of the -equivariant, Real - and -categories. We actually combine the approaches of [17] and [11]; Section 3.3 is taken from the relevant section of [11]. In Section 3.4, we (have to) deviate from the writings of Bunke and work with a Real variant of the Toeplitz extension so as to enforce -periodicity. The category so obtained is denoted by , where denotes whether we enforced excision for semi-split exact or all exact sequences. Section 3.5 discusses the well-known change of group functors: restriction, induction and coinduction. These come in handy while studying the graded theory, although in the simple case with the groups involved being and . Section 3.6 makes connections with the models of equivariant and graded -theory as studied in Section 2 with certain corepresentable functors out of (see Theorem 3.14 for a precise statement). Finally in Section 3.7, the extension of to the large category of all --algebras is considered.
Section 4 contains the higher categorical approach to defining the graded bivariant -categories, which we denote by . Without apriori knowing that the homotopy category of recovers classical graded - and -theory according as or , we show that the formal consequences of our definition, together with a calculation in classical graded -theory yields the familiar equivalence between and in . We also connect the spectral model of -theory as discussed in Section 2 with the functor corepresented by in .
Section 5 is devoted to deducing Theorem 1.1 as a consequence of the machinery developed in Sections 3 and 4. As advertised before, in this section we also discuss the folklore question of representing graded -groups of a (graded), (Real) unital -algebra in terms of Clifford module quotients.
Finally in Section 6, we compare the homotopy categories of the ungraded and graded -categories we developed with the classical ungraded and graded - and -categories (upon restricting to separable -algebras; the general comparison is discussed in Section 6.1). We give more details in the context of -theory: the well-known universal property of ungraded -theory lacks a proof in the foundational writings [20] and [29], and a detailed proof (following the work of Thomsen in [59]) is provided in Section 6.2. In Section 6.3, we discuss an equivariant generalization of a technical result of Dadarlat and Loring, which is an intermediary in making the comparison of the homotopy category of (denoted ) and . We mention that the comparison of the homotopy category of (denoted ) and is not directly possible using the techniques we used for their -theoretic counterparts, but instead can be deduced from results of Meyer ([46]).
Acknowledgments: The author is deeply grateful to Johannes Ebert for suggesting this project, his generous guidance throughout, and his thoughtful comments on earlier drafts. Many thanks to David Aretz and Luuk Stehouwer for having several pleasant discussions on topics related to this article, and also for freely sharing some ideas from their recent (and related) project. The author would also like to thank Ulrich Bunke, Benjamin Duenzinger, Michael Joachim, Matthias Lesch, Yuezhao Li and Maxime Ramzi for discussions at several points which clarified some mathematical issues.
This paper forms part of the PhD thesis of the author at the University of Bonn. Throughout the duration of his PhD, the author was supported by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) under Germany’s Excellence Strategy – GZ 2047/1 - 390685813, Hausdorff Center for Mathematics.
2 Background on -theory spaces, groups, and some calculations
In this section, we discuss the necessary background from classical / equivariant / graded -theory that will be needed in the later sections. We emphasize that (morally) -theory is a significantly simpler concept than -theory, and we use our knowledge of -theory as discussed in this section later while studying the bivariant -categories.
Before proceeding further, we have to introduce the main objects of the entire project, namely, graded, Real, equivariant -algebras.
Definition 2.0.
- 1.
A graded complex -algebra is a complex -algebra equipped with a -automorphism such that . is called the grading on . The elements of the and eigenspaces of are called even and odd, respectively.
- 2.
For a locally compact second countable group, a complex --algebra is a -algebra together with a continuous homomorphism , where is equipped with the point-norm topology.
- 3.
A Real -algebra is a complex -algebra equipped with a -anti-linear -automorphism such that . is called the Real structure on . 77 7 Sometimes, the Real structure will simply be denoted by . The real -algebra associated to is , and it can be shown that this induces an equivalence of categories between real and Real -algebras.
- 4.
For any two (or all three) of the adjectives defined before, we combine them in the obvious way by requiring the corresponding structure maps to commute.
Notation 2.0.
We follow the following conventions throughout this article.
- •
Unless otherwise mentioned, will denote a locally compact second countable group.
- •
As already mentioned in the introduction, we will by default be working be working with Real -algebras. Results in the complex case can be deduced by simply ignoring the Real structure. We do not mention the word “Real” unless there is an explicit need to do so.
- •
We denote the category of (ungraded) Real --algebras (with the obvious morphisms) by . This category is enriched over topological spaces using the point-norm topology on the hom sets (see [26, Section 2.2] for details), and the mapping space is denoted by . The set of path componentns of is denoted by . If it is clear from the context, we suppress the from the notation.
- •
The symmetric monoidal structures on will be denoted by , where corresponds to the minimal and maximal tensor products. If an algebra under consideration is nuclear, we often omit the decoration from the tensor product.
- •
We denote the category of graded, Real --algebras (with the obvious morphisms) by . Its symmetric monoidal structures will be denoted by , where corresponds to the graded minimal and maximal tensor products. If an algebra under consideration is nuclear, we often omit the decoration from the tensor product (see also [63, Corollary E.2.19]). is also topologically enriched in a way analogous to the ungraded case mentioned above; the only difference being that the desired equivariance now is with respect to .
- •
Finally, we remark that in exceptional cases where we do have to work with the category of complex -algebras (for example, in Section 5.2), we keep using the same notation as above. This should not create any confusion.
We next mention some examples of graded -algebras which we will often encounter. Further examples and discussions can be found in [26]
Example 2.0.
- 1.
The base field is trivially graded, and is always equipped with the trivial -action. In the Real situation, the Real structure on is given by pointwise complex conjugation, and is omitted from the notation.
- 2.
The Clifford algebras come with a natural grading, and carry the trivial action of the external group .
- 3.
with the even-odd grading, trivial -action, and the Real structure given by pointwise complex conjugation is going to be a very important algebra for us. By choosing an odd, increasing homeomorphism between and (the choice of this homeomorphism does not matter as the space of all such homeomorphisms is contractible), we obtain an isomorphism between and , the bounded transform of . We mention another perspective on below, which comes very handy in concrete situations. Consider the map
where denote the even and odd parts of respectively, and is the non-trivial generator of . can directly be checked to be an isomorphism in .
- 4.
A grading on a -algebra is said to be inner if it is given by conjugation with a self-adjoint unitary in the multiplier algebra of . If is furthermore equivariant and/or Real, the unitary needs to satisfy the required invariance conditions. The algebras of -continuous bounded and compact operators on a graded -Hilbert space are naturally inner graded. The Clifford algebra is inner graded if .
Before proceeding, we set up some shorthand notation that we will be using throughout this article.
Notation 2.0.
We denote by the group (equipped with the product topology).
Remark 2.0.
Although the categories and are equivalent (by definition!), the symmetric monoidal structures on them are different. See [3, Section 3.1] for a categorical perspective on the symmetric monoidal structures on .
We now begin our study of -theory. As is customary in the development of equivariant -theory, we obtain interesting results when the action is by a compact group. So throughout the remainder of this section, will denote a compact group.
2.1 Miscellaneous results on equivariant (ungraded) -theory
In this subsection, we record some well known results in the realm of equivariant -theory following [8, Chapter 11]. Recall that (by definition) the equivariant -group of a unital --algebra is the Grothendieck group of the abelian monoid (under direct sum) of finitely generated, -equivariant projective -modules. We summarize some well-known properties of the equivariant -functors in the next remark for the ease of reference later.
Remark 2.0.
The following facts about -equivariant -theory are well-known.
- 1.
is a ring with multiplication obtained from the external tensor product of -vector spaces, and is isomorphic to , the representation ring of . In particular, the ring is isomorphic to , the group ring of . The preferred isomorphism maps the trivial representation of on to and the sign representation of on to .
- 2.
More generally, the external product with an element of refines to functors 88 8 this should not be confused with the “-action on -groups induced by the action on the algebra”, because in general there is no such action! When is , then this action exists, but can be shown to be always trivial.
- 3.
For our applications later, we need to compute the -equivariant -groups of the graded -algebras and . Though the calculations of these groups are surely well known, we include in the proofs some details which will come handy in Section 5.
Proposition 2.0.
. The -action on induced by (as dictated by Section 2.1.2) is given by the identity.
Proof.
We begin by analyzing the maps
Consider the commutative diagram (with the unlabeled horizontal arrow us so defined to render the diagram commutative)
where the top vertical isomorphisms are induced by the Green-Julg theorem, and the lower vertical isomorphisms are induced by the canonical maps. We claim that the bottom horizontal map is given by addition. To that end, one checks that the inclusion corresponds to the homomorphism
under the standard identifications. Precomposing with the two inclusions of into therefore induce the homomorphisms given by
The two homomorphisms can be homotoped to the left-upper-corner inclusion and/or the right-lower-corner inclusion. The claim now follows from [63, Lemma 2.7.6].
To understand the -action on induced by , one notes that the flip action on is invariant under the addition map, and that is an -module homomorphism. ∎
Corollary 2.0.
. The -action on induced by is given by .
Proof.
99 9 We probably are not giving the cleanest of this result! Instead, we mention in the proof some ideas which we will use later. We are also implicitly identifying with the bounded transform of in this proof.Consider the diagram in
| (2.1) |
where is as in Section 2.3. Note that the right square is a pullback square (it is the defining square of the mapping cylinder construction; see also Section 3.1.2), and the left square as well as the two triangles involving the dashed edge commute up to homotopy. The rest follows by applying the functor to Equation 2.1, using the homotopy invariance and exicision properties of equivariant -theory and the proof of Section 2.1. Observe that the kernel of the addition map is which is evidently isomorphic to with the action . ∎
We now want to present a generator of . To that end, we need a concrete model for the -equivariant -group of a non-unital -algebra. This picture is going to be convenient for later use, especially in Section 3.6.
We begin with the relevant definitions.
Definition 2.1.
Let be a separable --algebra. Set , the coproduct in the category of separable --algebras. Denote by the kernel of the fold map . gets a natural -action from .
Remark 2.1.
The following remarks about are in order.
- 1.
fits in a short exact sequence
The sequence splits in two canonical ways, depending on embedding into one of the components of .
- 2.
The construction is functorial, and there are two natural maps given by restricting the homomorphisms
to .
- 3.
Given , a prequasi-homomorphism from to consists of a --algebra , two -equivariant -homomorphisms1010 10 should not be confused with any sort of complex conjugation! , an ideal , and a -equivariant -homomorphism such that . We write it as
By universal properties, a prequasi-homomorphism yields a map , which we simply denote by .
- 4.
When , there is a concrete description of :
This is stated in [8, Exercise 10.11.13.g], and a proof with a lot of details and other background is available in [54]. Technically, loc. cit. gives a concrete function algebra description of the universal unital -algebra on two projections, from which our result can be directly deduced in light of the defining short exact sequence of as mentioned in the first remark above. See also [21, Section 6].
- 5.
The above isomorphism directly shows that, in light of Section 2.3,
This bridges the gap between the spectral model (studied in the next subsection) and the Cuntz picture. In particular, the proof of the next proposition can also be deduced from Theorem 2.3 in light of a restriction-coinduction adjunction at the level of the compact-stabilized homotopy categories. Similar ideas are used in the proof of Section 3.6.
- 6.
An important technical feature of is semi-projectivity, which implies that for all , the canonical map
from the -equivariant homotopy classes of maps to the -equivariant asymptotic homotopy classes of maps from to is a bijection of sets. See [8, Exercise 4.7.1, Proposition 25.1.7] and [Blackadar1985Shape] for general results on semi-projective -algebras. The proof of being semi-projective is the content of [42, Theorem 7].
Proposition 2.1.
Let be a compact group and a --algebra. Then, there is a natural isomorphism of abelian groups
Proof.
The result is well known, see for example [8, Section 17.6], [22, Remark 1]. The compact group action (and the Real structure) do not cause any extra difficulty as -equivariant1111 11 -equivariant adjointable operators are precisely the -fixed points of the --algebra of adjointable operators on a -Hilbert module., -continuous Fredholm operators on -Hilbert modules classify -equivariant when is compact; see Theorem 2.3.5 for example. ∎
Remark 2.1.
We mention that the isomorphism
| (2.2) |
is given by precomposition with the first map as described in Section 2.1.2, see [8, Exercise 10.11.13.f]. By taking -fold loops on both sides of Equation 2.2, we obtain
for all .
We are now in a position to supply a concrete generator of . To that end, we consider two distinguised -invariant projections in . Note that with the even-odd grading is the multiplier algebra of 1212 12 we implicitly identified with its bounded version and has the diagonal-off diagonal grading, thereby inducing the tensor product action on . Set
and
It is clear that are -invariant projections in , and that they induce a homomorphism
in the notation of Section 2.1.3.
Proposition 2.2.
The homomorphism given by renders the diagram
commutative, where the right isomorphism is the isomorphism described in Section 2.1.1.
Proof.
From the descriptions of and and Section 2.1, it is clear that corresponds to the map given by the difference of the -equivariant projections and in . Now, with the diagonal-off diagonal grading is nothing but the algebra of operators on the -vector space . The rest follows directly. ∎
Corollary 2.2.
The left vertical arrow above is in fact an isomorphism. We declare to be the preferred generator of .
Proof.
Since we know that is abstractly isomorphic to , this follows from the elementary observation that the map
can only factor through (in the category of abelian groups) through an isomorphism . ∎
2.2 The spectral model of graded, -equivariant -theory
Recall that throughtout this subsection, is a compact group. We want to develop a -equivariant version of the spectral model of -theory, originally due to Higson and Guentner in the complex case ([32, Section 1.5]), and discussed with details in the Real case in [26]. The spectral model predates any -categorical refinements of -theory, and in the present work, we would need to have formal properties of it setup a priori in order to get mileage out of the stable -categories for graded bivariant -theories constructed in Section 4 (see especially the proof of Theorem 4.4).
We begin with the relevant definitions.
Definition 2.2.
Let . Define the -equivariant spectral -theory space of , denoted , to be
the -equivariant -homomorphisms from to equipped with the point-norm topology. We define the spectral -theory groups of to be the homotopy groups of ,
Before studying the spectral model, we introduce the so-called Fredholm model, which formalizes the notion of -equivariant Fredholm operators classifying -equivariant -theory. It is also a crucial bridge between showing that the spectral model recovers the classical projective module picture of -theory when the algebra is inner graded.
Definition 2.2.
Let .
- •
A -Fredholm cycle over is a tuple , where is a graded, countably generated Hilbert -module 1313 13 see [46, Section 2.1] for the definition, and is a -continuous, -invariant, odd, self-adjoint Fredholm operator on it.
- •
Two -Fredholm cycles and over are said to be concordant if there exists a -Fredholm cycle over such that for , where is the homomorphism given by .
- •
Denote by the abelian monoid of concordance classes of -Fredholm cycles over .
Theorem 2.3.
Some key features of the spectral model and the Fredholm model of graded, -equivariant -theory are mentioned below. In what follows, denote arbitrary graded --algebras, and all the morphisms are in the category .
- 1.
is an -group. Consequently, all the equivariant spectral -groups are in fact abelian groups.
- 2.
A short exact sequence in yields a Serre fibration on the associated spectral -theory spaces.
- 3.
The functors preserve filtered colimits for all .
- 4.
The functors
are lax monoidal.
- 5.
We have a natural isomorphism of abelian groups
- 6.
When is inner graded, we have a natural isomorphism of abelian groups
Proof sketch.
Assertion 1 follows from the more general statement that given a graded morphism , the induced morphism
is nullhomotopic in (here is the grading on ), where has the grading given by , where . See [32, Remark 1.7].
Assertion 2 follows from the non-equivariant assertion proven in [26, Section 3.2] by taking -fixed points. Note that taking -fixed points is an exact functor because is compact.
By similar reductions as done before, to show Assertion 3, it suffices to prove that for a filtered diagram of non-equivariant graded -algebras with colimit , one has a weak homotopy equivalence of spaces
Upon passing to the Cayley transform picture (see [26, Lemma 3.1]), the result follows from [48, Corollary to Theorem 12].
The key to demonstrating Assertion 4 is the comultiplication map on as described in [26, Section 4.2]. The details are in [26, Section 6], and the same proofs go through equivariantly. See also Section 4.
We now discuss Assertion 5. A natural map can be written by directly emulating the non-equivariant construction as in [26, Section 8.5]. We mention some aspects of it for ease of reference later.
Firstly, we implicitly replace with , and the Fredholm cycles with essentially unitary ones. Recall that
the -equivariant graded -algebra of -compact operators on the standard graded -equivariant Hilbert -module. Given , set
and note that restricts to a non-degenerate homomorphism
The crucial point here is that indeed maps to the -compact operators on the (not necessarily complementable) submodule , as is guaranteed by [46, Lemma 4.1]. Non-degeneracy of implies that there exists a unique -equivariant, graded homomorphism extending . The natural map is now given by
The proof that this map is bijective now follows with the obvious modifications from [26, Section 8.5].
Finally, we come to Assertion 6. We just discuss the case of when is unital and ungraded, the general case follows from the techniques described in [63, Section 2.9]. One proof strategy in the unital, ungraded case would be to show that the natural map has an inverse given by taking the -equivariant index of -invariant Fredholm operators (as done in the non-equivariant case in [26, Section 8.4]), and then conclude by Assertion 5. However, granted the results of loc. cit. and the Green-Julg theorem, we can quickly obtain the conclusion by leveraging the fact that , as shown in [29, Proposition 11.2]. See also the proof of [27, Proposition 3.1].
∎
Notation 2.3.
Having established natural isomorphisms between different models of graded -theory, we henceforth denote the -equivariant graded -groups as .
Next, we analyse the graded -group of (ignoring the external group ). We summarize our results in the following proposition. Note that all the algebras in the below proof (and in general) carry the trivial grading. The author learnt most of these results from Johannes Ebert.
Proposition 2.3.
- 1.
There is a short exact sequence
in .
- 2.
For every , the map
have natural continuous sections . Furthermore, .
- 3.
For every , we have naturally split exact sequences
- 4.
For each , multiplication by the Bott class yields natural isomorphisms
In particular, , and the isomorphism identifies and . The grading on induces the map .
- 5.
as abelian groups, with the preferred isomorphism mapping to and to .
- 6.
The composition
induces multiplication by on .
- 7.
In the context of Assertion 5, we have and , where denotes the grading on .
- 8.
There exists an isomorphism of -abelian groups between and with the flip action, with the preferred isomorphism sending to and to .
Proof.
We begin with Assertion 1. Consider
where . Then, we have
| (2.4) |
where , and is the canonical generator of . Take a homeomorphism such that
For concreteness, take . We can define our sought after map using and the isomorphism above.
For Assertion 2, note that a direct calculation using the generators and of shows that the composite
is the identity, and has the required effect on too.
Assertion 3 follows immediately from Assertion 2.
We just prove the last part of Assertion 4, since the first two parts are the content of [26, Section 9]. Recall that the Bott class is the class in graded -theory represented by the Bott map, which is the functional calculus of the embedding of in as a homomorphism .1515
15
strictly speaking, we mean here
We begin with the case . To simplify the notation, we denote by . We have to show that . By definition of , we have
This is same as the map , as can be readily checked on the generators and of . Therefore, we have
We now identify
Furthermore, under the Cayley transform isomorphism, we have a homeomorphism1616 16 in what follows, we denote by the one-point compactification of . is the point at infinity.
| (2.5) | ||||
| (2.6) | ||||
| (2.7) |
Whence, we have a homeomorphism of spaces
under which corresponds to the identity, and corresponds to the negative of identity. Since degree of the negative identity as a map from to itself is , the conclusion follows.
For the general case, we consider the commutative diagram of abelian groups (see [26, Section 7.1] for the details)
From [63, Lemma 9.3.4] on the one hand we get
Since for the case dealt with above, from the commutativity of the above diagram, we get on the other hand
This proves Assertion 4.
Assertion 5 follows immediately from Assertions 3 and 4.
We now show Assertion 6. Choose a homeomorphism as in the proof of Assertion 1. By definition, the composition is
where the unlabelled arrow sends
where is the sign function1717 17 strictly speaking these are the formulae when . At we by default assign the value . We also do this at certain places later without explicitly mentioning. (this function is nothing but the inverse to the isomorphism in Equation 2.4 postcomposed with the inclusion of into ). The whole composite therefore sends
From the description of the Bott map as in the proof of Assertion 4, the induced map
sends the Bott map to the homomorphism
Upon identifying
the Bott map therefore gets mapped to
But this is same as the function
Under the identification
from Equation 2.5, this corresponds to the function
The local degree formula yields that the degree of is . The proof is now completed by the following argument: consider the diagram
where the bottom horizontal arrow is defined so as to make the diagram commute. Therefore the bottom horizontal arrow sends
to
since we showed above that the right-down itinerary maps to , and the left vertical composite identifies and , as was observed in the proof of Assertion 4. Thus, the map induced by on is multiplication by the degree of , which is equal to .
For Assertion 7, we consider the commutative diagram (we denote by the grading on the respective algebras)
where the the top horizontal map is negation from Assertion 4, and the bottom horizontal map is the identity since has the trivial grading. The commutativity of the top rectangle yields that
Understanding takes a bit more work. From Assertion 5 and the commutativity of the lower rectangle in the above diagram, we can say that
for some . To compute the value of , we consider the commutative diagram
From Assertion 4 and Assertion 6, we can say that and . Tracing the fate of under the two itineraries from to , we obtain the equation
which shows
This finishes the proof of Assertion 7.
To prove Assertion 8, we note that Assertion 7 shows (in light of Assertion 5) that is also a -basis of , and the grading evidently swaps the basis elements.
∎
3 Equivariant (ungraded) Real -theory
Throughout this section, we work with Real -algebras as always. Recall that denotes the type of excision we have in our bivariant -theory, where stands for semi-split and stands for exact. In the remainder of this article, we use the superscript “sep” to denote separable versions of the categories described in Section 2.
In this section, we will first define a small stable -category as a series of Dwyer-Kan localizations of . Then, we take ind-completions to get a presentable, stable -category together with a universal functor . We devote the next few subsections to analyzing each step of the localization. Before proceeding, we remind the readers that is an essentially small category.
3.1 Inverting homotopy equivalences
In the first step, we perform the Dwyer-Kan localization of at the class of (-equivariant) homotopy equivalences. We begin by recalling the relevant definitions.
Definition 3.0.
- 1.
Two maps in are said to be homotopic if there exists a morphism such that for .
- 2.
Let be a morphism in . is said to be a homotopy equivalence if there exists a morphism in such that the two composites are homotopic to the respective identity maps.
We denote by the (essentially small) class of homotopy equivalences in .
Definition 3.0.
Denote by the Dwyer-Kan localization of at , and denote by
the localization functor.
By definition, this means for any -category , we have an equivalence of functor categories
| (3.1) |
where the right-hand side denotes the full subcategory of spanned by functors which sends homotopy equivalences in to equivalences in .
To phrase the relevant properties of the -category , we need the notion of Schochet fibrations, defined first in [52]. Recall that the category is topological enriched, as mentioned in Section 2. Although it is not necessary for us, the basic definitions and properties of Schochet fibrations also work verbatim in the category .
Definition 3.1.
- 1.
A morphism in is said to be a Schochet fibration if for all , the induced map of topological spaces
is a Serre fibration.
- 2.
A cartesian square in
is called Schochet fibrant if is a Schochet fibration.
- 3.
For an -category , a functor will be called Schochet exact if it maps Schochet fibrant cartesian squares to cartesian squares. We denote by
the full subcategory of spanned by functors which are Schochet exact.
Example 3.1.
We present a few important examples of Schochet fibrations which will be required later on. For proofs see the relevant sections in [52] and [17].
- 1.
For any -algebra , the canonical map is a Schochet fibration (and a homotopy equivalence). is also called the path algebra of , and denoted .
- 2.
Pullback of a Schochet fibration along any -homomorphism is a Schochet fibration. Given a -homomorphism , denote by the pullback . is called the mapping cylinder of , and the canonical map is a Schochet fibration (and a homotopy equivalence).
Concretely, we have
There is also a canonical map which is also a Schochet fibration. By definition, the mapping cone of fits in the short exact sequence
This sequence is furthermore semi-split and is called the mapping cone sequence. It will be extremely important for us in Section 3.3.
In the special case that is an inclusion, is isomorphic to all paths in which start at .
- 3.
The maximal tensor product with an auxilliary algebra of a Schochet fibrant cartesian square remains a Schochet fibrant cartesian square. The minimal tensor product with an auxilliary algebra of of a mapping cone sequence remains a mapping cone sequence.
The following proposition discusses properties of and .
Proposition 3.1.
- 1.
The -category is locally small, and is canonically equivalent to the -category presented by the Kan-enriched1818 18 we implicitly always view a topologically enriched category as a Kan enriched category category , i.e., by taking its homotopy coherent nerve.
- 2.
is pointed and is reduced, i.e. maps the zero algebra to the zero object in .
- 3.
has finite limits and countable coproducts. preserves finite products and countable coproducts.
- 4.
For every left-exact -category , the equivalence in Equation 3.1 restricts to an equivalence
where the left-hand entity denotes the full subcategory of spanned by left-exact functors.
- 5.
has a symmetric monoidal refinement for both the minimal and maximal tensor products on . Moreover, the functors
are bi-left exact for .
- 6.
For every left-exact and symmetric monoidal -category and , the pullback along the symmetric monoidal refinement of induces an equivalence
where the subscript indicates two separate formulas, one for symmetric monoidal functors and the other for lax monoidal functors.
Proof.
The proofs of [17, Section 3] can be readily adapted to this situation. The Real structure poses no extra difficulty. Note that the key point for the left-exact assertions is that the category of separable --algebras becomes a category of fibrant objects with fibrations as the Schochet fibrations and weak equivalences as the homotopy equivalences. ∎
Remark 3.1.
For later use, we explicitly mention an easy corollary of Section 3.1.4: we have an equivalence of functors
The details are exactly the same as in [17, Example 3.19].
We also mention at this juncture that all the subsequent localizations leading to will be left-exact Dwyer-Kan localizations. Hence we can take (descended to the category under consideration) as a model for the loops functor in each of the subsequent localizations.
We end this subsection by a casting the idea of the proof of Section 2.1 using the language of fiber sequences.
Proposition 3.1.
There exists a fiber sequence in of the form
| (3.2) |
where is the canonical inclusion of into .
Proof.
This is immediate from Equation 2.1 and Section 3.1. ∎
3.2 Enforcing -stability
At the second step, we want to enforce a equivariant form of stability in . The idea is to enforce that the map induced on the --algebras of compact operators by isometric inclusions of -Hilbert spaces become equivalences. We begin with a couple of definitions.
Definition 3.2.
- •
A morphism in is said to be a -equivalence if the induced map
is a homotopy equivalence.
- •
For any -category , a functor is said to be -stable if for every isometric embedding of separable -Hilbert spaces , with , and for all objects , the induced map is an equivalence.
Remark 3.2.
It is easy to see that a homotopy invariant functor on inverts -equivalences if and only if is -stable. See [47, Proposition 2.2] for a proof. It so turns out that inverting the -equivalences enables one to control the mapping spaces in the localization, whereas to verify that a homotopy invariant functor indeed inverts -equivalences, one usually just checks -stability.
We denote by the (essentially small) class of -equivalences.
Definition 3.2.
Denote by the Dwyer-Kan localization of at , and denote by
the localization functor.
Note that this means that the canonical functor
is a Dwyer-Kan localization of at , whence we have an equivalence of functor categories
| (3.3) |
where the right-hand side denotes the full subcategory of spanned by functors which are homotopy invariant and -stable.
Proposition 3.3.
- 1.
The -category is canonically equivalent to the full-subcategory of spanned by -stable algebras. When is compact, the functor is in fact the left-adjoint of a left Bousfield localization.
- 2.
has finite limits and countable coproducts. preserves finite products and countable coproducts. is left-exact.
- 3.
For every left-exact -category , the equivalence in Equation 3.3 restricts to an equivalence
(3.4) - 4.
Countable coproducts in are given by countable direct sums of the respective -algebras. The canonical map from a binary (resp. countable) coproduct to a binary (resp. countable) product in is an equivalence, whence is a semi-additive -category.
- 5.
For every left-exact semi-additive -category with countable coproducts, the equivalence in Equation 3.4 restricts to an equivalence
(3.5) where the superscripts denote countable coproduct and countable sum preserving functors, respectively.
- 6.
has a symmetric monoidal refinement for both the tensor products on . Consequently the same assertion is also true for . Moreover, the functors
are bi-left exact and bi-countable coproduct preserving for .
- 7.
For every symmetric monoidal left-exact semi-additive -category with countable coproducts, the pullback along the symmetric monoidal refinement of induces an equivalence
3.3 Enforcing -excision
Let
be an extension of algebras in , where the cpc-split exists if we are dealing with the case . From this extension, we form the natural diagram
| (3.6) |
We now explain the algebras and the morphisms in the above diagram. The middle row is the mapping cone extension of as described in Section 3.1.2. is the map , and is the map (without loss of generality, we are assuming that is an ideal in ). is the cokernel of . Note that we have an isomorphism
and therefore is contractible.
We now note that if is a cpc-split of , then it induces natural cpc-splits and of and , given by and .
We denote by the (essentially small) class of morphisms for all -exact sequences. We then define to be the closure of inside under pullbacks, the 2-out-of-3 property and countable sums. Note that is also essentially small.
Definition 3.6.
Denote by the Dwyer-Kan localization of at , and denote by
the localization functor.
Note that the composite
is a Dwyer-Kan localization of , as can be seen from the proof of [11, Proposition 3.40]. Before describing the key properties of this localization, we mention the motivation for closing under countable sums.
Remark 3.6.
It is a non-trivial property of classical - and -categories for separable -algebras that they have countable coproducts, which are furthermore modeled by countable direct sums of the respective -algebras. If we do not close up under countable sums, then there is no formal reason why our to-be-constructed category will have countable coproducts (see the next paragraph too). The issue therefore arises when we want to extend to the large category on all of : on the one hand, we can simply consider -completion of , but then we would destroy the countable coproducts which already exist in (since a posteori the homotopy category of is equivalent to the classical bivariant -categories), and would therefore be an unnatural object to consider. On the other hand, our current approach (as done in Section 3.7) of taking would a priori have no reason to have countable coproducts, but would have all uncountable filtered colimits, and would be yet another unnatural object! Of course, if we already know the comparison between the homotopy category of and the classical bivariant -categories, then the -completion of works out fine and becomes a presentable stable -category, but we want to postpone this comparison until the very end. Thus, it calls for enforcing that our categories have countable coproducts.
Having said that, we mention that the step of closing up under countable sums is only relevant for non-separable algebras (and even then, more for the aesthetic features of our large categories). In particular, if the reader is only interested in separable -algebras, then this step can be omitted, and one would still get a stable -categorical refinement of the classical bivariant -categories for separable -algebras which would a fortiori have countable coproducts.
Proposition 3.6.
- 1.
The -category is left-exact, semi-additive and posseses countable coproducts.
- 2.
The localization functor is left-exact and countable sum preserving. The functor is -exact.
- 3.
For every left-exact semi-additive -category admitting countable coproducts, we have equivalences
(3.7) where the superscript in the middle entity stands for functors on which map morphisms in to equivalences, and the superscript in the last entity stands for functors on which map -exact sequences to fiber sequences.
- 4.
When ,
has a symmetric monoidal refinement for both the tensor products on . When ,
has a symmetric monoidal refinement for only the maximal tensor product on . Consequently, the same assertions are true for and .
Moreover, the functors
are bi-left exact and bi-countable coproduct preserving (for every choice of except ).
- 5.
For every symmetric monoidal left-exact semi-additive -category admitting countable coproducts, the pullback along the symmetric monoidal refinement of (as discussed in the previous assertion) induces an equivalence
(3.8)
Proof.
This follows by combining the approaches in [17, Section 5] and [11, Remark 3.35]. Note that closing up under countable sums has only been considered in [11], and an argument for the localization to be countable coproduct preserving is omitted in loc. cit. This however follows from a dual version of [49, Theorem 2.6.4]1919 19 note that loc. cit. is written with cofibration categories, whereas our current business is with fibration categories. However, loc. cit. uses [18, Proposition 7.7.1] in the proof, which is indeed written with fibration categories.. ∎
We end this subsection with an important lemma, which will be useful in formulating the universal property of in the next section. The lemma can be considered as an automatic Schochet-exactness result, which is ubiquitous for applications since Schochet exactness of a functor can be very difficult to verify.
Lemma 3.8.
Any homotopy invaraint and -exact functor from to a stable -category is automatically Schochet exact.
Proof.
The proof can be taken directly from [17, Lemma 5.2]. ∎
3.4 Inverting Bott
This subsection is going to somewhat different than the corresponding step in the complex theory as developed in [17, Sections 6,7]. Indeed, in the complex case, an analysis of the Toeplitz extensions
yields a boundary map
in (the complex analog of) , which subsequently are inverted yielding the stable -category (check loc. cit. for details). This also shows that is a self-inverse endofunctor on .
In the Real case, one has to work with the Real version of the Toeplitz extension. We discuss it next. Before proceeding, we setup some notation.
Notation 3.8.
Let denote the Real space , with the involution given by
Denote by the unit sphere in with the induced involution.
The following result is going to be our workhorse for the Real Bott periodicity.
Proposition 3.8.
There exists a semi-split extension of Real -algebras
where is the Real isometry classfier -algebra, i.e., there is a distinguised Real isometry in such that for any unital (non-equivariant) Real -algebra , there is a bijection of sets
between the set of unital, Real homomorphisms from to and the set of Real isometries in .
Before proving the above result, we begin with a quick justification that indeed exists, and also set up some notation along the way.
Lemma 3.8.
The Real -algebra as defined in Section 3.4 exists.
Proof.
Recall that the complex Toeplitz algebra , given by the -subalgebra generated by the unilateral shift (denoted from now on) in , is the universal (complex) isometry classifier ([19]). It therefore follows that one model for is equipped with the unique Real structure such that the unilateral shift is fixed by it. It is also easily seen to be the same as the Real -subalgebra of generated by the unilateral shift, where the Real structure on the Hilbert space is by complex conjugation (as always). ∎
We now show that is also a universal Real -algebra.
Lemma 3.8.
is the Real unitary classifier -algebra.
Proof.
Again as before, the complex version of this result is well-known, see for example [56, Proposition 2.3.4]. It follows that the Real structure on the -algebra of continuous functions on the circle should be so defined that the identity function on the circle is a Real unitary. Since the Real structure on the codomain is complex conjugation, it directly follows from the definitions that the Real structure stemming from the Real space is indeed the right one. ∎
Proof (of Section 3.4).
The morphism is given by mapping (in the concrete model of mentioned in Section 3.4) to the inclusion . The kernel of contains
and therefore also contains the Real -subalgebra of . It is well-known that upon forgetting the Real structure, the kernel of is precisely , see for example [56, Section 2.4]. This shows the existence of the extension.
To show that it also admits a Real cpc-split, one directly checks that the cpc-split described in [17, Remark 6.7] is a Real map. ∎
Corollary 3.8.
There exists a semi-split extension of Real -algebras
| (3.9) |
Given and a homotopy invariant, -stable, split exact functor taking values in the group objects of a semi-additive -category , .
Proof.
The existence of the semi-split extension readily follows from Section 3.4 and the isomorphism of Real -algebras
The second part of the corollary is proven just as in the complex case, see [17, Section 6] and [53, Corollary 1.5.3]. ∎
Having Section 3.4 at our disposal, we can again emulate the treatment of [17] without the Real structure posing any extra difficulty.
For each , Equation 3.9 yields a semi-split extension
Applying the semi-split exact functor to these extensions, one obtains a Puppe sequence
|
|
(3.10) |
where are the relevant “boundary maps” in . Using the stability of , we obtain a natural transformation
The important feature of this natural transformation is the following.
Corollary 3.10.
If is a group object in , then the component of
is an equivalence.
Proof.
The proof of [17, Corollary 6.11] will work with the obvious modifications. ∎
We are now in a position to define the small stable -category . We denote by the (essentially small) class of maps as in Equation 3.10.
Definition 3.10.
Define to be the Dwyer-Kan localization of at , and denote by
the localization functor.
Note that the composite
| (3.11) |
is a Dwyer-Kan localization of , as can be deduced from the proof of [11, Proposition 3.40].
Proposition 3.11.
- 1.
is left-exact. is also left-exact and has a fully faithful left-adjoint. can be realized as the full subcategory of group objects of .
- 2.
is a small stable -category.
- 3.
is countably cocomplete. For a countable collection of algebras in , we have an equivalence
When , even preserves general countable filtered colimits.
- 4.
Every left-exact functor from to a left-exact additive -category automatically factors (essentially uniquely) through . More precisely, for every left-exact -category , we have an equivalence
- 5.
For every countably cocomplete stable -category , we have an equivalence
where the superscript denotes the full subcategory of functors which are countable colimit preserving.
- 6.
has a symmetric monoidal refinement for both the tensor products when , and only for the maximal tensor product when .
- 7.
has a symmetric monoidal refinement for the tensor product(s) on . Consequently, the same assertions are true for . Moreover, the functors
are bi-countable colimit preserving (for every choice of except ).
- 8.
For every left-exact symmetric monoidal additive -category , pullback along the symmetric monoidal refinement(s) of induces an equivalence
- 9.
For every symmetric monoidal countably cocomplete stable -category , pullback along the symmetric monoidal refinement(s) of induces an equivalence
Proof.
We give some details in this proof as the result is ubiquitous for what we do later.
Assertion follows directly from Equation 3.9 and the dual version of [43, Proposition 5.2.7.4], as has been spelled out at the beginning of Section 7 in [17].
We now show Assertion 2. In light of [44, Proposition 1.4.2.27], it suffices to show is small, pointed, left-exact and the loop functor on it is an equivalence. The first three properties are clear in light of Assertion 1 and the work done in the previous three subsections. It remains to see that loops is an equivalence. But this follows from Section 3.4 and the last part of Assertion 1.
We now move onto Assertion 3. By Section 3.3.1, has countable coproducts, whence so does being a Bousfield localization of it (see [45, Subsection 7.1.4]). Any stable -category having countable coproducts is automatically countably cocomplete. That countable coproducts in are modeled by countable direct sum of the algebras follows from Section 3.3.3 and because of general properties of (co)limits in a Bousfield localization; see again [45, Subsection 7.1.4]. The case of is the content of [11, Proposition 3.17] (the Real structure poses no additional difficulty).
Assertion 4 follows directly from Section 3.4 and Section 3.4.
Assertion 5 is arguably the most important result from this section for us. It follows from the series of equivalences
where the first equivalence follows from Assertion 4 and (the proof of) Assertion 3, and the second one is Equation 3.7. We now conclude using Section 3.3.
Assertion 6 follows from [35, Proposition 3.3.2] and the basic permeance properties of -exact sequences with respect to the minimal and maximal tensor products.
The first two parts of Assertion 7 follow immediately from the nuclearity of and [35, Proposition 3.3.2]. For the final part, we use the fact that a left-exact and countable coproduct preserving functor between stable -categories is automatically countable colimit preserving.
For Assertion 8, we build the diagram
The lower horizontal arrow is an equivalence from Section 3.4 and [35, Proposition 3.3.2]. The dashed arrow can be seen to exist using the fact that is left-exact. It remains to show that it is an equivalence. For that, we use the following general fact about symmetric monoidal left-exact Dwyer-Kan localizations: for any symmetric monoidal -category and an (essentially small) collection of morphisms which are a tensor ideal in , if the Dwyer-Kan localization of at is left-exact, then we have an equivalence
for every left-exact symmetric monoidal -category . See [18, Proposition 7.5.6] for details.
The proof of Assertion 9 follows in parallel to the proof of Assertion 5, in light of Assertion 8.
∎
We end this subsection by mentioning a couple of important corollaries to the construction of .
Corollary 3.11.
- 1.
In , we have an equivalence for all .
- 2.
- 3.
The composite
is an equivalence in .
Proof.
Assertion 1 is the content of [17, Lemma 11.4], the generalization to the equivariant case is routine. Assertion 2 follows directly from Section 3.1, since we have shown before that each of the localizations in Equation 3.11 after are left-exact. Assertion 3 follows from Assertion 1 in light of the function algebra model of as described in Section 2.1.4. ∎
Remark 3.11.
We present a more direct proof of Section 3.4.3 in this remark. Consider the ladder of semi-split exact sequences in
We have to show that the left vertical arrow is an equivalence in . This will follow once the other two vertical arrows are shown to be equivalences in . Only the case of the middle vertical arrow needs an argument. The fiber of
is readily seen to be the mapping cone of the right lower corner inclusion , and hence is contractible in .
We end this subsection by mentioning a -categorical universal property of . The nature of this universal property is different in flavor than the ones described earlier in this section, and is only needed so as to make the comparison with classical - and -theory possible later. This technical result can be skipped until the reader reaches Section 6.
We need a definition before proceeding. See also [17, Section 13] for some definitions circling half exact additive -categories.
Definition 3.11.
Denote by the collection of morphisms inverted by the functor
Proposition 3.11.
(cf. [17, Proposition 13.13]) Let be a half exact additive -category with countable coproducts. Let be a functor which is homotopy invariant, -stable, half exact with respect to -exact sequences, takes countable direct sums in to countable coproducts in , and suspension stable (i.e. for every morphism , is an isomorphism if and only if is an isomorphism). Then inverts .
Proof.
Since by construction is a series of Dwyer-Kan localizations of , we need to show that we can construct factorizations as indicated by the dashed arrows below
| (3.12) |
The first two hypothesis on yields the functor . Note that inverts , as follows from [8, Theorem 21.4.4] (which states that yields natural long exact sequences) and a standard 5-lemma argument applied to Equation 3.6.
We now claim that also inverts the closure of under 2-out-of-3, pullbacks, and countable sums. It suffices to show that the collection of morphisms inverted by is closed under pullbacks and countable sums. The argument for pullbacks can be extracted verbatim from the proof of the analogous assertion in [17, Proposition 13.13]. That the collection of morphisms inverted by are preserved under countable sums follows immediately from our hypothesis that the natural map
is an isomorphism. Thus, we deduce the existence of .
The argument for inverting the maps can be read off from the analogous step in the proof of [17, Proposition 13.13] (with the obvious changes to the Toeplitz extension in the Real case as discussed in Subsection 3.4). This shows the existence of and the proof is complete. ∎
3.5 Change of group functors
In this subsection, we discuss the several change of group functors connecting the categories we defined earlier. The key features of these functors are that they are defined already at the level of algebras, and fit in useful adjunctions upon passing to the categories. Note that it would also have been possible to develop the (dual) Green-Julg adjunctions in this framework, but we omit it since we do not have to put it to use.
We begin by defining the relevant functors at the level of algebras
Definition 3.12.
Let be locally compact, second countable groups.
- 1.
Let be a continuous homomorphism2121 21 not necessarily inclusion of a subgroup. Then we have the obvious restriction functor
- 2.
When is closed, we define the induction functor
as follows:
- •
On objects, sends to the invariant -subalgebra of (the group acts on by ; note that this action is not neccesarily continuous, but it will be so on ) generated by the functions satisfying
- •
On morphisms, sends a morphism in to
given by .
- •
- 3.
When is closed and is compact, then we also call the associated induction functor as the coinduction functor, and is denoted by .2222 22 the coinduction functor can be defined under more general conditions, but we do not have any reason to do so.
Remark 3.12.
Note that denotes the underlying non-equivariant -algebra functor, and denotes the functor which equips a (non-equivariant) -algebra with the trivial -action (we usually omit the trivial group from the notation). Similar comment also applies to the functors and .
Proposition 3.12.
All the functors defined above descend essentially uniquely to the respective equivariant -categories. Furthermore, the descended functors preserve countable colimits.
Proof.
This can be extracted from [13, Section 4] and [16, Section 2.1]; no comparison with classical bivariant -theories is made in loc. cit. to show that the functors descend, and the proof therein is based on universal properties which we have enforced by construction. Note that the last assertion follows from the universal property of the equivariant -category as described in Section 3.4.5. ∎
Remark 3.12.
Note that the restriction functor has a symmetric monoidal refinement for every choice of except , see [13, Corollary 4.8]. The same is not true for the induction or coinduction functors, as can be seen by looking at the unit.
For the next result, we have to provide proofs without banking on classical bivariant -theories. Compare [16, Example 2.6]. Note that in all the adjunctions in this article, the left-adjoint is written on the left and the right-adjoint is written on the right.
Proposition 3.12.
If is open2323 23 recall that open subgroups of topological groups are automatically closed, then we have an adjunction
Proof.
We begin by the description of the unit and the co-unit.
The unit will be the natural transformation with
The description of the co-unit is more complicated. It is easy to see that
Upon representing in as multiplication operators, factors through since is discrete, courtesy being open in . We can now define the co-unit maps by
It remains to check the triangle identities. We have that the composite
maps
where the last map is a left-upper corner inclusion. Note that as a --algebra, has the trivial action. It follows that
The analysis of the other composite is more subtle. We have that the composite
maps
It remains to analyse the fate of under the equivalences
We will be done if we can prove the following
Claim.
The two homomorphisms given by
and
are homotopic, where is the projection onto the summand .
Proof.
Let denote the embedding. Then, is a (not -equivariant) one-dimensional projection. It is elementary to see that there is a rank-one partial isometry such that . Defining , we also have . Our sought after homotopy is then given by the following one-parameter family of -equivariant homomorphisms
∎
This finishes the proof of the proposition. ∎
Remark 3.12.
We give here details of the map labelled in the last proof.
On the one hand, we have
On the other hand, under the identification , we have
corresponds to the map
On a fixed , both the functions take the value if , and otherwise.
Theorem 3.13.
Let be open. Then we have an adjunction
Let be closed and be compact. Then we have an adjunction
Proof.
The first statement follows directly from Section 3.5 and Section 3.5, since adjunctions descend to a Dwyer-Kan localization if functors do.
The second statement also follows from Section 3.5 since we have already have an adjunction
at the level of algebras (see [6, Lemma 4.2]). For our ease of reference later, we mention the unit and counit of this adjunction here:
∎
3.6 Connection to -theories
In this subsection, we show that the mapping spaces in can be understood completely when in the first variable we plug in certain “special” algebras. Consequently, we recover the classical as well as graded, -equivariant -theory spaces as described in Section 2 as the infinite loop spaces of the mapping spectrum out of and in respectively; see Theorem 3.14.
Since we do not yet know that is an -categorical refinement of the classical bivariant -categories, the results of these subsection are crucial for nevertheless being able to make connections to -theory, which we use heavily in Section 5.
We now introduce the notion of a -special -algebra. In what follows, is a compact group.
Definition 3.13.
is called -special if it satisfies the following three conditions2525 25 The H in the enumeration below stands for Hypothesis!.
- 1.
For any -exact sequence in , the induced map
is a fiber sequence in Anima.
- 2.
The natural map of abelian monoids
is an isomorphism for all countable collection of algebras in .
- 3.
The abelian monoid of stable -homotopy classes of maps is a group for all .
Remark 3.13.
Clearly, . In the algebras we consider, we will be showing that they are .
H1 will be satisfied if the induced map of topological spaces
is a Serre fibration of topological spaces for every -exact sequence . Indeed, this follows since is an exact functor on , and because the -category is presented by the topologically enriched category ; see Section 3.1.1.
Similarly, a sufficient criterion to check H2 is that the functor
preserves countable filtered colimits. This is because countable direct sums can be written as a filtered colimit of finite direct sums, and the functor clearly preserves finite direct sums of algebras in .
The reason we care about -special algebras is the following result.
Proposition 3.13.
If is , then
- 1.
The functor
takes values in .
- 2.
The functor
factors through (necessarily essentially uniquely) as the functor
- 3.
For each , there exists a natural equivalence in
Proof.
Assertion 1 is an immediate consequence of H3 and the fact that being a commutative group is a property of a commutative monoid which is furthermore tested on .
To show Assertion 2, we first show that we have a factorization of as indicated by the dashed arrows below.
To see that exists, we bring Section 3.3.3 into play. We need to check that is left-exact, inverts and preserves countable coproducts. Being a corepresentable functor, is clearly left-exact. That it inverts follows directly from H1 in presence of Equation 3.6. That also preserves countable coproducts is a consequence of H2, as can be seen from the Whitehead’s theorem for spectra together with the fact that filtered colimits of spectra commute with finite limits. To now see that exists, we simply use Section 3.4.4.
That the factorizations and are essentially unique follows from the fact that and are Dwyer-Kan localizations. That and are also corepresentable by follows since the left-Kan extension of a corepresentable functor is corepresentable ([45, Corollary 8.3.1.9]), and in our case, and are also left-Kan extensions of along the localization maps.
Assertion 3 also follows from the previous paragraph.
∎
As an immediate consequence of Assertion 3 of Section 3.6 and the Eckmann-Hilton argument we have the following corollary (cf. [25, Remark 3.24]).
Corollary 3.13.
For any -special algebra and any , we have an weak homotopy equivalence of spaces
Moreover, under the above equivalence, the block-sum addition on coincides with the additive structure on .
The next two lemmas show that and are ex-special.
Lemma 3.13.
is .
Proof.
The necessary verifications are the content of the first three assertions of Theorem 2.3. Note that we are implicitly using that the -algebra of compact operators on a Hilbert space is inner graded. ∎
Lemma 3.13.
is .
Proof.
That satisfies H3 follows from the fact that is naturally isomorphic to the abelian group . Since is known to preserve filtered colimits (for example, by combining Assertion 3 and Assertion 6 of Theorem 2.3), also satisfies H2.
That satisfies H1 can be shown directly, but we instead deduce it from Section 3.6. To that end, we leverage the isomorphism of -algebras as mentioned in Section 2.1.5. The rest follows from the fact that satisfies H1 for the group and the restriction-coinduction adjunction. In more detail, for any , we have natural equivalences
Note that for the second equivalence, we are using the identification2626 26 the more well known isomorphism is with the ungraded tensor product, but since has the trivial -action, we can also use the graded tensor product. . For the final equivalence, we are also using that the graded tensor products on also descend to a symmetric monoidal structure on , which is easy to see since the algebras of continuous functions on the unit interval and compact operators on a Hilbert space are inner graded. ∎
Remark 3.13.
We note that is not -special, as H3 fails for it. We mention without proof that is -special.
Finally, we obtain the following important connection between classical models of equivariant and graded -theories and the infinite loop spaces of the mapping spectrum in the stable -categories we constructed, as mentioned at the beginning of this subsection.
Theorem 3.14.
We have natural equivalences of spaces for any and :
Moreover, are equivalent as lax monoidal functors, where denotes the homotopy category of .
Proof.
The first two assertions follow from Section 3.6 and the last two lemmas. For the first assertion we are also using that and are equivalent in , as follows from Section 3.4.1. The last assertion follows from the lax case of Section 3.4.9. ∎
3.7 Extension to all -algebras
In this subsection, we construct presentable stable -categories which contain as its full subcategory of -compact objects.
Definition 3.14.
Denote by
where denotes the -ind completion of , i.e. the category obtained by freely adding2727 27 see [43, Proposition 5.3.5.10] for the precise universal property -filtered colimits to . We define functors
as left Kan-extensions
where denotes the canonical embedding (which preserves countable filtered colimits by [43, Proposition 5.3.5.14]).
Before studying the general properties of the above construction, we need the following definition and an accompanying lemma.
Definition 3.14.
A functor defined on is called s-finitary if for every , the canonical map
is an equivalence, where runs through the separable -invariant -subalgebras of .
Lemma 3.14.
Let be a functor to an -category having all small filtered colimits. We have a canonical natural transformation , where is the left Kan extension of . Then the functor is s-finitary if and only if is an equivalence.
Proof.
This follows immediately from the pointwise formula for left Kan extension, and the fact that every morphism in with separable factors through a -invariant separable -subalgebra of . See [13, Lemma 3.1] for more details. ∎
Proposition 3.14.
- 1.
The category is a presentably symmetric monoidal (for every choice of except ), stable -category, and can be identified with the full subcategory of comprising of -compact objects.
- 2.
The functor is symmetric monoidal (for every choice of except ), homotopy invariant, -stable, -exact, preserves countable direct sums and is s-finitary2828 28 note that any functor on which preserves countable direct sums and is s-finitary automatically preserves all direct sums..
- 3.
Pullback along induces for every cocomplete symmetric monoidal stable -category with bi-cocontinous tensor product an equivalence
where the superscript denotes s-finitary functors.
Proof.
Assertion 1 follows from the general fact that if is a small, symmetric monoidal, -cocomplete (for some regular cardinal ), stable -category such that the tensor product preserves -small colimits in each variable, then is a presentably symmetric monoidal stable -category and can be identified with the full subcategory of comprising of -compact objects. See [43, Theorem 5.5.1.1], [44, Proposition 1.1.3.6] and [44, Corollary 4.8.1.14].
The proof of Assertion 2 can be taken from [13, Theorem 1.18] and [13, Proposition 3.8]2929
29
the proof of lax monoidality of is formal, but to show its (strong) monoidality, one has to look into the structure of the minimal and maximal tensor products; see loc. cit. for details. Note that although [13] is written with -completion, all the filtered diagrams considered in Section 3 of loc. cit. are indeed -filtered, and so the proofs go through in our context too. The Real and the (potentially) non-discrete group case do not pose any difficulties.
Assertion 3 follows from the series of equivalences
where the first equivalence follows from [43, Proposition 5.3.5.10] and [44, Corollary 4.8.1.14], the second equivalence is the content of Section 3.4.9, and the last equivalence follows from Section 3.7 and Assertion 2. Note that the inverse to the last equivalence is precisely the left Kan-extension along the inclusion . ∎
The next result is a generalization of Theorem 3.14 to the non-separable case.
Theorem 3.15.
We have natural equivalences of spaces for any and :
Moreover, are equivalent as lax monoidal functors, where denotes the homotopy category of .
Proof.
This follows immediately from Theorem 3.14 upon noting that all the relevant functors preserve -filtered colimits. ∎
Corollary 3.15.
as rings, with the preferred isomorphism mapping to , and to . For any graded -algebra , the action of on coincides with the action of on stemming from the product in the category.
Proof.
This is immediate from Assertion 8 of Section 2.2 and Theorem 3.15. ∎
Remark 3.15.
The second perspective in Section 3.7 directly shows why even the boundary maps in the long exact sequences of graded -theory groups preserve the action of the grading (and this is because of the associativity of composition in the category), and hence the associated long exact sequence can be viewed as a long exact sequence of -abelian groups.
The final result of this section discusses the change of group functors on the categories of all -algebras.
Theorem 3.16.
There are obvious analogues of the change of group functors of Section 3.5 to the categories of all -algebras. These functors then descend to cocontinuous functors between the respective equivariant -categories. The restriction functors have symmetric monoidal refinement for every choice of except for . If is open, then we have an adjunction
If is closed and is compact, then we have an adjunction
Proof.
In light of the results of Section 3.5 and Section 3.7.3, we have to show that the functors between the relevant categories of all -algebras are s-finitary. But this is contained in [13, Section 4], see also [16, Section 2.1]. ∎
4 Graded, Real -theory
In this section, we define the graded -categories. We follow some ideas from [15] and an unpublished note of Bunke-Duenzinger ([12]). Note that we make our definitions on the large category from the get go.
It will be ubiquitous for our approach to graded bivariant -theories that is a cocommutative coalgebra (also called comonoid) in . In what follows, we stop decorating the tensor product because is nuclear, see [63, Corollary E.2.19]. We first come with a diagonal map . The following result is proven in detail in [26, Proposition 4.3].
Proposition 4.0.
There is a unique graded -homomorphism such that
where , .
We also have a graded -homomorphism , given by .
Corollary 4.0.
The -homomorphisms and equip with a cocommutative coalgebra structure; in the sense that the following diagrams commute
Proof.
This is immediate by considering the elements and in . ∎
Lemma 4.0.
has a presentably symmetric monoidal structure for the graded tensor products for every choice of except , and the canonical functor has a symmetric monoidal refinement too.
Proof.
We just discuss the separable analogue of the statement; the generalization to the large categories is a routine argument in light of the results of Section 3.7.
One checks directly that each of the steps in the localizations
has a symmetric monoidal refinement for the graded tensor products, since under the restrictions imposed on , it is clear that at each step preserves the class of morphisms that are inverted at that step (to see this for the excision step, we use that the underlying Banach spaces of the graded and ungraded tensor products coincide, see [63, Lemma E.2.18]). The rest of the details are exactly as in the ungraded case. ∎
Notation 4.0.
Henceforth whenever we mention symmetric monoidal structures on equivariant categories, we consider all choices of except . We also stop decorating the tensor product every time; the decoration is implicitly assumed to be there abiding by the exception mentioned in the previous sentence.
We now proceed with the task of defining symmetric monoidal bivariant -categories for . We achieve this by defining as a full subcategory of the category of comodules over in . In general, if is any presentably symmetric monoidal category with a cocommutative coalgebra object , then we have an adjunction
where denotes the presentable -category of comodules over , and denotes the cofree comodule functor. The details of this can be found in [44, Section 4.2.4]. 3030 30 Note that use of the word (co)free is not analogous to the use of the word free as in “free abelian group on a set”, and should not create any confusion! We mention that the proof of presentability of the category of comodules is subtle (see [50, Proposition 3.8]), and was explained to the author by Maxime Ramzi.
The next definition should be read together with the remarks following it.
Definition 4.0.
The graded bivariant -category, denoted , is the full subcategory spanned by cofree comodules in . Note that becomes a symmetric monoidal category with respect to the balanced tensor product of comodules ([44, Section 4.4]).
Denote by the composition of the symmetric monoidal functors
Remark 4.0.
The following remarks about Section 4 are in order.
- 1.
Explicitly written out, the relative tensor product of and is , with the codiagonal map being used to cancel out one action of . This also roughly shows why is symmetric monoidal.
- 2.
It is not clear if the category is stable, since cofree comodules need not be closed under the formation of finite limits or colimits. Nevertheless, it is enriched over Spectra being the full subcategory of a stable -category, as follows from the next point.
- 3.
At first glance, a natural solution to the above problem could seem to simply work with the category of all -comodules. But then, there is no reason for this category to be symmetric monoidal, since one does not have appropriate commutation of the tensor product with cosimplicial limits in general (necessary for the dual of [44, Theorem 4.5.2.1] to be applicable). Note that the monoidality assertions in [15, Definition 2.45] are incorrect.
- 4.
In applications, it is more important to have symmetric monoidality of the graded bivariant -categories than having presentability. Therefore we choose the definition above.
- 5.
Denote by the homotopy category of . From the forgetful-cofree adjunction, we immediately get the hom groups in are given by
The composite of and is given by the composite in
The functor
is identity on objects and precomposes with on morphisms emanating out of .
We now mention important by-products of our definitions. These will be crucially used in the next section.
Proposition 4.0.
If are equivalent in , then and are equivalent in .
Proof.
By Section 4, and are equivalent in means that we have an equivalence
of cofree comodules. Invoking the functoriality of the forgetful functor now finishes the argument. ∎
Theorem 4.1.
For any , we have a natural equivalence of spaces
Moreover, are equivalent as lax monoidal functors.
Proof.
This is an immediate consequence of Section 4, Theorem 3.15, and Theorem 2.3.4. The lax monoidality assertion follows upon observing that the lax monoidality of stems from the codiagonal map too, as mentioned in Section 4.1. ∎
We now show that graded -theories recover ungraded -theories when the algebras are trivially graded. More precisely,
Theorem 4.2.
In the commutative square
the right functor is fully faithful.
Proof.
We have to show that the composite
| (4.3) |
is an equivalence. To that end, we accommodate Equation 4.3 into the commutative diagram (note that the left part of the diagram commutes can be seen by explicitly calculating the fate of a -equivariant homomorphism from to using the definition of the unit of the restriction-coinduction adjunction as described in Section 3.5. The formulae of loc. cit. also work in the non-separable case)
Note that we implicitly have used that and have the trivial grading so as to replace some graded tensor products with the ungraded ones. In light of the above diagram, our thesis would follow once we have shown that the composite
is an equivalence in . But this readily follows from Section 3.4.3.
∎
4.1 The Bott map in and consequences
We can now export results from [26, Section 9] in our setup. We begin with the definition of the Bott class. For any Euclidean vector space equipped with a self-adjoint involution ( was called a pseudo Euclidean vector space in [26, Section 9.1]), we denote by the graded -algebra . For the next few results, we do not consider the external group .
Definition 4.3.
Let be a pseudo Euclidean vector space. Let denote the canonical inclusion of into . Then the functional calculus of yields a graded homomorphism
which we call the Bott map. It naturally determines a point in the spectral -theory space and hence also a point in In light of Theorem 4.1, we denote either of them by .
Remark 4.3.
[26, Section 9] contains a detailed proof that , and that is a generator of this group. Consequently, is also a generator of . Furthermore, the proof of Section 2.2.4 shows that
is a generator of the group.
We end this subsection with a technical lemma. Although the result is an immediate corollary of Theorem 4.4, we need the lemma in the proof of it, and so must have it a priori.
Lemma 4.3.
For any pseudo-Euclidean vector space , the morphism
is an isomorphism in .
Proof.
Section 4.1 shows that is a unit in . On the other hand, the Toeplitz extension theory shows that there is a -equivalence between and , given by the image of the boundary map of the Toeplitz extension under the canonical functor . This also has to be a unit in because of the following general fact: in any additive -category , if there are isomorphic objects and such that as abelian groups, then the isomorphism necessarily corresponds to .3131 31 a proof of this fact can be deduced from the elementary algebra fact that any commutative unital ring structure on the abelian group must be isomorphic to the standard ring structure on ([1, Exercise 2.16]). To prove our thesis, we simply use that if is an isomorphism in an additive category, then so is . ∎
We next prove the following result, which is well known in the classical frameworks of - and -theory; see [39], [40], [32]. We remind the reader that we do not yet know that our categories are equivalent to classical graded - or -categories, and hence need to give an independent proof.
Theorem 4.4.
For any pseudo Euclidean vector space , the Bott element is an equivalence in .
We now build up to the proof of Theorem 4.4. We start off by spelling out the interchange law in a monoidal ()-categories.
Lemma 4.4.
Let be a monoidal -category, and let be objects of . For composable morphisms
the functoriality of the tensor product gives a canonical homotopy
in the mapping space
Lemma 4.4.
For any , the following diagram of abelian groups commutes
| (4.5) |
Furthermore, all the arrows in the above diagram are isomorphisms.
Proof.
That all the morphisms in the diagram are additive is clear. That it also commutes is an application of Section 4.1. In the notation of loc. cit. we take
As for the morphisms, we can take any , and
Since Equation 4.5 commutes, it suffices to show that the two left vertical arrows and the bottom horizontal arrows are isomorphisms. That
is an isomorphism follows because tensoring with yields an isomorphism in (with the inverse being tensoring with ), and because the cofree comodule functor is symmetric monoidal. That is an isomorphism follows from Section 4.1, and the bottom horizontal arrow being an isomorphism is the content of [26, Theorem 9.13]. ∎
Remark 4.5.
We mention that the proof of [26, Theorem 9.13] uses non-trivial functional analysis and features of classical graded -theory (such as graded asymptotic morphisms between graded -algebras induce morphisms between the graded -groups). However, the “-theoretic” result is enough for the proof of Section 4.1, and we do not need to know that there is any relation between the categories and asymptotic morphisms. And indeed, when , a general asymptotic morphism would not induce a morphism in .
Proof of Theorem 4.4.
This readily follows from the Yoneda lemma and Section 4.1. ∎
We next deduce an important corollary of Theorem 4.4. We can now bring back our external compact group .
Corollary 4.5.
In , we have an equivalence . In particular, the functor
is equivalent to the loops functor on .
Proof.
We begin by first observing that Theorem 4.4 also shows that the Bott element is an equivalence in . This is because and have the trivial -action, and we have an obvious “equipping with the trivial -action” functor .3232 32 More formally, we could have developed a graded variant of the change of group functors, and deduced this from the functoriality of the restriction functor. But because we would not have the occassion to use it anywhere else, we omit the details.
It suffices to show that and are isomorphic in . But this follows from the implications
where we used that tensoring with is already an isomorphism in , and because is a -equivalence.
The last assertion follows from the observation that the canonical functor is left-exact, and loops in is modeled by . ∎
We end this section by showing a fundamental feature (or defect!) of graded -categories. Recall that (equivariant) -categories for ungraded, separable algebras enjoy the universal property of being a Dwyer-Kan localization at certain class of morphisms. We show that the analogous statement for categories is false. This issue seems to not have been discussed anywhere in the literature, and Bunke-Duenzinger left it as an open question (in the complex case) in [12]. The author learnt the crux of the proof from Johannes Ebert. The proof in its present form was suggested by Maxime Ramzi.
Proposition 4.5.
The full subcategory of spanned by separable, graded -algebras (denoted ) is not the Dwyer-Kan localization of the category of separable, graded -algebras at any class of morphisms.
Proof.
Since the grading on a graded -algebra induces a -action on the graded -groups, we have a commutative diagram of functors
Note that the bottom triangle commutes from Theorem 4.1. But since the forgetful functor reflects isomorphisms, had been a Dwyer-Kan localization, we would obtain a lift in the above diagram , and thereby conclude that the -groups of two -equivalent -algebras are in fact isomorphic as -abelian groups. In light of Theorem 4.4, this a contradiction, since with the trivial -action, whereas with the action , as shown in Section 2.2.4. ∎
Remark 4.5.
Note that there is an obvious equivariant version of Section 4.1 too.
5 Applications: certain fiber sequences connecting different K-theories
We now use the technology developed in the previous section in order to study the relationships between graded -theory, -equivariant -theory and ungraded (classical) -theory. All the results can be deduced in the presence of an external compact group , as we will be doing. The following remarks are in order.
Remark 5.0.
We will be using the following elementary observations in this section even without mentioning.
- 1.
The datum of a -action on a -algebra is same as the datum of a -action and a -action on which commute. Under this identification, it makes sense to talk about the - and -actions on a --algebra. Similar comment also applies to equivariant projective modules. For -equivariant projective modules, we will be omitting the -action from the notation, and just keep track of the -action. For example, when we write , we mean the -action is given by .
- 2.
Suppose have trivial -action, and fit in a fiber sequence in . Then, since is left-exact, they also fit in a fiber sequence in .
- 3.
With Theorem 3.15 and Theorem 4.1 at our disposal, we will henceforth be (abusing notation and) denoting by (resp. ) the -equivariant (resp. graded -equivariant) -theory spectra, given by (resp. ). As before, we will be denoting their homotopy groups by (resp. ).
- 4.
In the remainder of this section, we fix a compact group . For concreteness, we work with in this section. The same calculations can also be done with .
5.1 A fiber sequence connecting the different -theory spectra
The low hanging fruit that we can now pluck off is the following. We will be using the shorthand to denote the functor ( stands for the “underlying ungraded -algebra”).
Proposition 5.0.
We have a natural fiber sequence of spectra
| (5.1) |
for every .
Proof.
Upon applying the exact functor
to the fiber sequence of Section 3.4.2, we are done once we justify the maps , , and in the following diagram:
The map labeled arises from the induction-restriction adjunction (Theorem 3.16), since we can identify with . The second and third equivalence follow from Theorem 3.15. ∎
In the next two remarks, we explain a couple of different formulations of the fiber sequence in Equation 5.1. Though the above sequence will be our main workhorse, these other formulations come handy in certain cases.
Remark 5.1.
We claim that there is a fiber sequence
| (5.2) |
which is equivalent to the fiber sequence in Equation 5.1. Indeed, this will follow from the following commutative diagram
| (5.3) |
Note that the top triangle commutes because the diagram below commutes in , where is any morphism in . The left triangle below does not commute at the level of algebras, but only up to homotopy.
| (5.4) |
Remark 5.4.
We claim there is a fiber sequence
| (5.5) |
which is equivalent to the fiber sequence in Equation 5.1. The map labeled should be taken with a pinch of salt as is naturally covariantly functorial; what we mean is the map obtained from the zig-zag
When is unital, it can be shown ([3, Section 4.5.2]) that on , this has the same effect as precomposing the structure map of a -equivariant projective module with the homomorphism . The equivalence of the fiber sequences in Equation 5.1 and Equation 5.5 can be shown by a similar treatment as in the last remark.
This formulation of the fiber sequence is directly related to the classical Atiyah-Bott-Shapiro description of -groups of a point, see Section 5.1 for more details.
Proposition 5.5.
When is inner graded, the fiber sequence in Equation 5.1 (and hence also the ones in Equation 5.2 and Equation 5.5) splits.
Proof.
In light of Equation 5.2, we have to show that the map of spectra
has a retraction when is inner graded. In this case, since in , we can extend the aforementioned map to
It can be directly checked that this composite is the diagonal map of . Since the diagonal map of any spectrum has two canonical retractions, we are done. ∎
Remark 5.5.
At this stage, the reader may want to see an example where the fiber sequence in Equation 5.1 does not split. This is intimately related to a folklore question (Section 5.1), and we discuss it in Section 5.1.
One next want to analyze the fiber sequence in Equation 5.1 when is not inner graded. To that end, we give an explicit description of the maps in the sequence at level of .
Lemma 5.5.
Let be a unital algebra in . We have a natural group homomorphism
given by taking a finitely generated -equivariant projective -module to the Fredholm cycle .
Proof.
The assertion is clear, modulo the verification that every finitely generated -equivariant projective -module is canonically a graded -equivariant Hilbert -module. This follows by an easy case by case analysis with signs in light of [8, Proposition 11.2.3]. ∎
Corollary 5.5.
Proof.
Given a -equivariant projective -module , we study the fate of along the up-right-down itinerary.
The classifying map of is a -equivariant -homomorphism
where is a finite dimensional -vector space. is the image of in under the left vertical map, as can be seen by unraveling the maps in Theorem 3.15 and the equivariant Kasparov stabilization theorem. Also note that since is unital, see [62, Theorem 15.4.2]. It remains to determine the image of under the right vertical map. From Theorem 2.3.5, one gets that this image is the Fredholm cycle (we are also using the notation of the proof of Theorem 2.3.5)
Indeed, this follows from the commutative diagram
The dotted extension of is unique. However, is yet another extension, whence they must agree. Our thesis is deduced readily from the latter. ∎
Before stating the next result, we need to setup some notation
Notation 5.5.
Let . Denote by the -equivariant -module (the underlying abelian group of ) with the -action given by and the -action given by . Note that is a - bimodule in a canonical way.
Lemma 5.5.
Let be a unital algebra in . We have a natural group homomorphism
given by taking a finitely generated -equivariant projective -module to the -equivariant finitely generated projective -module , where 3333 33 explicitly, is the abelian group with the -action given by . and are not isomorphic as -modules in general. and the -action on is flip, i.e. given by .
Proof.
Obvious. ∎
Corollary 5.5.
Proof.
This follows by chasing through the maps in the diagram. Given a -equivariant finitely generated projective -module , the classifying map of is a -equivariant -homomorphism
where is some finite dimensional -vector space. We therefore obtain
where for the last inclusion we used elementary properties of induction for group representations on vector spaces and -algebras (see [13, Lemma 4.10]), as well as the description of the co-unit of the induction-restriction adjunction. Precomposing with the inclusion , we conclude that the up-right-down itinerary maps to the homomorphism
It remains to check that the -equivariant -modules and are isomorphic. We have as -equivariant -modules by definition. To see that as -equivariant -modules, note that we have
The map
now readily produces an isomorphism between the -equivariant -modules and . It is now also direct to check that juxtaposing the two isomorphisms yields a -equivariant isomorphism between and ∎
We end this subsection with the following remark, which connects our results to the classical result of Atiyah-Bott-Shapiro as mentioned in Theorem 1.2. For simplicity, we ignore the external group in this remark.
Remark 5.5.
When , Atiyah-Bott-Shapiro asserts that there are short exact sequences of abelian groups
| (5.6) |
where the first map is as described in Section 5.1. Since , one obtains a convenient (and perhaps miraculous!) description of higher -groups of a point as certain Clifford module quotients. This immediately makes one ask the following question.
Question 5.6.
Can the higher -groups of any (graded), (Real) unital -algebra be expressed in terms of Clifford module quotients a’la Atiyah-Bott-Shapiro? More precisely, does there exist a short exact sequence of abelian groups of the form
We explain that the answer to this question is in the negative. To that end, we recall that to show exactness of Equation 5.6 at , one explicitly constructs a section of the map using the notion of index of a Fredholm operator on a Hilbert space with Clifford symmetries. The construction of this index map crucially needs the analytic fact that the kernel of a Fredholm operator on a Hilbert space is automatically finitely generated projective. Since the same is not true for a general Hilbert module over a -algebra, the index of a Fredholm operator over an ungraded unital -algebra is typically defined using the notion of taming (as described in detail in [26, Section 8.2]). Roughly speaking, taming works by adding a dummy finite dimensional free -module to the game, and then subtracting it later in the group . When is graded, the taming construction can fail; for example when the taming construction can be seen to not necessarily preserve the relevant Clifford symmetries. So in general, one cannot expect to construct the crucial index map witnessing a section of the map .
And indeed, concrete counterexamples exist. Taking to be the complex -algebra and , we know that , but the relevant Clifford module quotient can be shown to be . In context of the fiber sequence in Equation 5.5, this failure can be explained to be due to the corresponding boundary map being injective. More elaborations on this can be found in [3, Example 4.51]. See also [10, Appendix A] for other examples and discussions.
5.2 The dual fiber sequence and endomorphisms of -groups
In this subsection, we obtain a dual of the fiber sequence described in Section 5.1. The key to the existence of this fiber sequence is the equivalence between and in , as shown in Section 4.1.
Proposition 5.6.
We have a fiber sequence
in , where is obtained from the zig-zag and is the image under the homomorphism of a generator of (Section 2.1).
Proof.
We begin the proof by mentioning that the assertion of the proposition is indeed just: in any stable -category , a fiber sequence naturally yields a equivalent fiber sequence . In light of Section 5.2, it suffices to demonstrate the existence of the fiber sequence in .
We begin by applying the functor to Equation 3.2, thereby obtaining the fiber sequence
Now, Section 4 and Section 4.1 show that we have a fiber sequence
in . Taking cofibering in and using the equivalence we obtain a fiber sequence
To prove our thesis, it will suffice to show that the second morphism above is a generator of . Consider the long exact sequence of groups associated to this fiber sequence
By tensor invertibility of in and the induction-restriction adjunction, we have
whence the map
above is surjective. We now consider the square
where the vertical maps are isomorphisms as mentioned in Section 2.1 and Section 2.1, and the map is so defined to make the diagram commute. Now, since the morphisms in the square are also -equivariant and the -abelian group is generated by , we conclude from the surjectivity of that it maps to . ∎
Proposition 5.6.
We have a natural fiber sequence
| (5.7) |
for every .
Proof.
We apply the exact functor
to the fiber sequence in Section 5.2. In light of the proof of Section 5.1, we only need to identify with . For that we use the route
∎
At this juncture, we record an interpretation of the map which will come handy later.
Lemma 5.7.
The diagram
commutes.
Proof.
We expand the diagram to
It suffices to show that each of the four shapes with one vertex commutes. But all of them are clear (for the right-angled triangle shaped diagram, use an argument similar to the one for Equation 5.4). ∎
Unlike in the case of Section 5.1, the induced maps at the level of groups of the fiber sequence in Equation 5.7 are not easy to write down explicitly. We instead discuss the various endomorphisms of the -theory groups that arise from the fiber sequences in Equation 5.1 and Equation 5.7.
Consider the following diagram in :
Lemma 5.7.
, with the isomorphism being as in Section 2.1.1 (keeping in mind Theorem 3.153434 34 the two natural ring structures on the endomorphisms of the unit in any monoidal category coincide thanks to the Eckmann-Hilton argument. See also [14, Lemma 5.1].).
Proof.
From Section 2.1 and Section 2.1, we have a short exact sequence
The composition in the -category will be the image of under . The rest follows from Section 2.1. ∎
We now record a corollary of the above calculation which will come handy later.
Corollary 5.7.
The diagram
commutes.
Proof.
It suffices to show that the diagram commutes on . The bottom-right itinerary maps it to . To analyse its fate under the right-down itinerary, we bring Section 5.2 into play, which shows that the upper horizontal arrow is product in -product with .
Postcomposition with maps to itself, since is the identity element of . To prove our thesis, we have to show that postcomposition with maps to . Unraveling the definition of postcomposition with , this follows directly from the proof of Theorem 2.3.1. ∎
Corollary 5.7.
Let be a unital algebra in . The composite
maps a finitely generated -equivariant projective -module to , where is as a -equivariant -module, with the -action given as the negative of the -action on .
Proof.
Unraveling the definitions and from Section 5.2, we conclude that the composite is nothing but the composition with the image under of . Identifying with the classical -equivariant -theory of a point, it is clear that corresponds to the trivial representation, and corresponds to the sign representation of on .3535 35 more precisely, acts trivially on in both cases, and acts either trivially or via the sign representation. Since the internal and external products
are the same (this is true in any monoidal category), our thesis follows since the external multiplication of with yields (keeping in mind the lax monoidality assertion of Theorem 3.15). ∎
The proof of the next result requires slightly more work than needed in the proof of Section 5.2, but is similar in spirit. Somewhat surprisingly Section 5.2 is needed in the proof!
Lemma 5.7.
, with the isomorphism being as in Section 3.7.
Proof.
From the fiber sequence of Section 5.2, we obtain a long exact sequence of groups
The composition will be the image of under . Since is a -equivariant map, there exists rendering the diagram
| (5.8) |
commutative, where the left isomorphism is the standard one (mapping to ), and the right one is the one mentioned in Section 2.2.8.
Claim.
in the above diagram.
Proof.
We expand the diagram to
| (5.9) |
Observe that the right square commutes, as can be explicitly checked on the two generators and . Furthermore, the rectangle
commutes too, as seen in Section 5.2. The claim follows. ∎
This also finishes the proof of the lemma. ∎
Corollary 5.9.
Let be a unital algebra in . The composite
maps the Fredholm cycle to .
Proof.
This follows from Section 5.2 and the formula of the explicit isomorphism as mentioned in Theorem 2.3.6. ∎
Remark 5.9.
Note that is not the inverse of ; the usual formula of the inverse also requires to flip the grading on (see [26, Lemma 8.24] for details). In fact, when is inner graded, , as can be seen from Theorem 2.3.6. Thus, for inner graded , is the multiplication by map.
We now consider the composite
For a general unital . the composite does not have an illuminating description, since we do not have a good understanding of the algebra . However, the situation is better in the following cases
- 1.
is inner graded (and potentially Real).
- 2.
is complex (with potentially non-inner grading).
We begin with the first case. So let be a unital, inner graded algebra in . Then, we assert that the map of spectra splits. To see this, we identify with via the route:
| (5.10) |
We want to understand the induced map under the identification above. To that end, we need the following lemma.
Lemma 5.10.
The diagram
commutes, where the left vertical equivalence is induced from Theorem 3.15, and the right vertical equivalence is induced by Equation 5.10. In particular, for unital , the induced map forgets the -action on a -equivariant projective -module in .
Proof.
In light of Section 5.2, we just need to show that the composite
identifies with the restriction map. But this is clear in light of description of the counit of the restriction-coinduction adjunction as mentioned in Theorem 3.13 (the adjunction holds good for non-separable algebras too). ∎
Proposition 5.10.
Let be an inner graded algebra in . Then, the fiber sequence in Equation 5.7 splits.
Proof.
In light of Section 5.2, it suffices to construct a section of the map . If were trivially graded, this section could have been taken to be . In the general inner graded case, we use the fact that in as follows by an application of [63, Example E.2.13] (see also [16, Lemma 2.1]). ∎
As an immediate consequence of Section 5.2, we have the following corollary.
Corollary 5.10.
Let be a unital, inner graded algebra in .
- 1.
The composite is given by
- 2.
The composite is given by
Proof.
Everything follows immediately from Section 5.1 and Section 5.2, except that we have to justify the equalities in Assertions 1 and 2.
For Assertion 1, it suffices to show that for a -equivariant -module over an inner graded , then as -equivariant -modules. If is the symmetry implementing the grading on , then
is such an isomorphism.
For Assertion 2, we first show that when is a -equivariant projective -module, then as -equivariant -modules. Indeed, an isomorphism is given by
Under this isomorphism, . Also compare the proof of Section 5.1.3636 36 actually this argument did not use that is inner graded, see also Section 5.2. ∎
We now tackle the case when is a (potentially non-inner graded) complex -algebra. In this case, we recall that there is a preferred isomorphism , mapping the canonical generator of to times the canonical generator of . Furthermore, the diagram
| (5.11) |
commutes up to homotopy, as can be easily constructed via the usual sine-cosine formula. We can therefore identify with via the route
| (5.12) |
where the last equivalence stems from the induction-restriction adjunction.
Lemma 5.12.
The diagram
commutes, where the left vertical isomorphism is induced from Theorem 3.15, and the other maps are as described above.3737 37 we use the same notations as in the Real case; this should not create any confusion.
Proof.
The commutativity of the upper right triangle follows from the commutativity up to homotopy of Equation 5.11. The commutativity of the trapezoid follows from explicitly chasing the definitions, similar to the proof of Section 5.1. ∎
Corollary 5.12.
Let be a unital, complex -equivariant complex -algebra.
- 1.
The composite is given by
- 2.
The composite is given by
Proof.
Exactly the same proof as Section 5.2. ∎
Remark 5.12.
We also mention another description of the map as in Section 5.2.2. Using the isomorphism , we can treat the composition
as the product by the image under of a certain element in . It turns out that this element is3838 38 we omit the details since it is not really needed anywhere , whence the induced map must be
And indeed, we have an isomorphism of -equivariant -modules
Thus, we actually have isomorphisms of -equivariant -modules
Remark 5.12.
Note that when is a non-inner graded -algebra, the fiber sequence in Equation 5.7 need not split. A concrete counterexample is , since (Section 2.1) and .
6 Connections with classical bivariant -theories
We finally want to show that the homotopy categories of the full subcategories of the graded categories spanned by separable algebras can be identified with classical graded (Kasparov’s) ([39], [40])-category or (Connes-Higson’s) -category ([20],[29],[32]), according as or , respectively. We give a self contained treatment for the case of -theory; see Section 6.4 for a discussion on the graded -theoretic analogue.
As mentioned in the introduction, the results of this section are not relevant for our study of graded/equivariant/classical -theory as in Section 5.
6.1 Recapitulation of classical ungraded -theory
We begin by recalling the classical definitions of the ungraded (Real) -categories. Kasparov in his seminal work defined them in terms of now-called Kasparov modules: given --algebras and , was built out of certain equivalence classes of triples comprising of a Hilbert --module , a equivariant representation of on the adjointable operators on , and an adjointable operator on satisfying certain compactness and equivariance conditions3939 39 Kasparov worked with graded algebras and modules from the get-go.. It then takes a truckload of work to prove that upon restricting to separable algebras there exists a composition law, now known as the Kasparov product
which is unital and associative, and one concludes that is a category.
Since every equivariant -homomorphism naturally gives a Kasparov module, we have a canonical functor
The question whether the category has a universal property was settled in [58, Theorem 2.2],[46, Theorem 6.6] (with non-equivariantly the issue being first tackled in [33, Theorem 4.5]). Note that Meyer also mentions (as can be readily checked too) that the results also work in the Real case.
Theorem 6.1.
(Higson-Meyer-Thomsen) The functor is initial among functors to an additive -category which are reduced, homotopy invariant, -stable and split exact.
Remark 6.1.
The following remarks about Kasparov’s -theory are in order
- 1.
- 2.
One can view the additive -category as a half exact additive category by taking the maximal marking and taking the distinguished half exact sequences to be all short exact sequences in admitting a equivariant cpc-split; the verification that this indeed is a half exact structure follows from [5, Section 7] (see also [28, Theorem 3.28] and the discussion above it).
- 3.
is a symmetric monoidal category and the functor has a symmetric monoidal refinement for both the minimal and the maximal tensor products on ; this is explicitly stated in [23, Theorem 4.a]
Using Theorem 6.1, we can prove the comparison result between and .
Theorem 6.2.
We have a natural equivalence of additive, symmetric monoidal (for both symmetric monoidal refinements) categories
Proof.
By construction, the canonical functor
is reduced, homotopy invariant, -stable, and additive. Thus, Theorem 6.1 says that there exists a unique additive functor such that .
On the other hand, the canonical functor
is clearly reduced, homotopy invariant and -stable, as can be read off from Theorem 6.1. That it also satisfies the other hypothesis asked for in Section 3.4 is the content of Section 6.1. We thus obtain a unique functor such that . is furthermore symmetric monoidal, as follows from the proof of Section 3.4 and [35, Proposition 3.3.2]. Our thesis now follows from a standard yoga with universal functors. ∎
Remark 6.2.
We implicitly used in the above proof the following basic facts: If are additive (resp. symmetric monoidal) categories, and is an additive (resp. symmetric monoidal) functor which is an equivalence of the underlying categories, then the inverse is automatically additive (resp. symmetric monoidal).
We finally compare with the classical non-separable extension of , as described in [55, Definition 5.5] and [2, Section 2.1].
Proposition 6.2.
For and , we have a natural isomorphism of abelian groups
Proof.
In light of Section 3.7, we have for and as in the statement of this proposition, an equivalence (with notation as in Section 3.7) of spectra
Since homotopy groups of spectra commute with filtered colimits, our thesis follows from the classical result that
see for example [2, Lemma 2.1]. ∎
Remark 6.2.
When the -algebra in the first variable is not separable, need not coincide with a’la Skandalis; it boils down to the issue that homotopy groups of homotopy limits need not be limits of homotopy groups.
6.2 Recapitulation of classical ungraded -theory (with some details)
Just as in the last subsection, we begin by recalling the classical definitions of the ungraded (Real) -categories.
Classically, ungraded -theory was defined in terms of asymptotic morphisms by Connes-Higson in [20]. The foundational works on (equivariant) -theory ([20], [29], [34]) did not discuss the Real structure, and the author (of this article) is only aware of Boersema’s work [9] on the same 4040 40 which was pointed out to him by Yuezhao Li. However, loc. cit. does not discuss equivariant matters. Note that although [9] is written with real -algebras, the modifications to the Real case are obvious.
In the remainder of this subsection, we will therefore be making a comparison of with a equivariant version of Boersema’s (Real) -category. The complex situation can be dealt similarly, and with lesser difficulties. Note that we omit a discussion of non-separable -theory (the analogues of Section 6.1 and Section 6.1 hold in this context too). Therefore, we use the notation to always denote the separable theory.
We begin with the key definitions.
Definition 6.2.
- 1.
Let . An asymptotic morphism from to is a one-parameter family of functions with , satisfying the continuity condition that for all , the map
is bounded and continuous, and the asymptotic conditions that for all and
When and are Real, we shall require that in addition
We shall denote an asymptotic morphism with a dashed arrow.
- 2.
There is a natural notion of homotopy between asymptotic morphisms which is an equivalence relation (see [29, Chapter 2]), and we denote by the -equivariant asymptotic homotopy classes of maps4141 41 as in the ordinary homotopy case, if the external group is clear from the context, we omit it from the notation. from to . This forms a category , whose objects are separable --algebras, and morphisms are -equivariant asymptotic homotopy classes of maps.
- 3.
Just as the passage from to (see Section 3.2.1), one can form the category via left and right Bousfield localizations of , whose hom monoids would be -stabilized asymptotic homotopy classes of maps.
Note that and are -categories; an -categorical refinement of these categories has been studied in [11] when is a discrete countable group. The methods of loc. cit. would not generalize to general locally compact second countable groups. We anyway work only with the -categorical variants in this section.
- 4.
The classical -groups are given by
and yield a symmetric monoidal additive category structure on with respect to the maximal tensor product on . That it indeed becomes a symmetric monoidal additive category can be seen by combining the approaches and relevant results of [29] and [9]. There is an obvious functor
- 5.
One can view the additive -category as a half exact additive category by taking the maximal marking and taking the distinguished half exact sequences to be all short exact sequences in ; see Section 6.2.3 for details. In the remainder of this subsection, we by default work with this half exact structure.
For later use, we mention a few technical results about asymptotic morphisms now. In the non-equivariant case, some of these results are also discussed in the PhD thesis of Andreas Thom ([57, Section 2.2]) with a little more elaborations.
Lemma 6.2.
Let . Denote by the set of homotopy classes of asymptotic morphisms which have the property that . Homotopies are also required to satisfy this condition. Then the natural map
is an isomorphism.
Proof.
We just write a map in the other direction; that it is well-defined and inverse to is a routine check.
Fix a function with the property that . Then the pointwise multiplication of with an element of does the job. ∎
The above lemma has the following interesting consequence. For , denote by the (non-separable) --algebra of -continuous, continuous, bounded functions which further satisfy . Section 6.2 shows that the datum of an (equivalence class) of an asymptotic morphism is the same datum as a -equivariant homomorphism . Thus, we can naturally associate to an asymptotic morphism the extension given in the top row of the diagram
| (6.3) |
where the right square is a pullback. Note that courtesy both and being separable.
Lemma 6.3.
In the notation of the above discussion, let be the asymptotic morphism obtained by applying the equivariant (Real) Connes-Higson construction ([29, Proposition 5.5], [9, Proposition 4.3]) to the top extension in Equation 6.3. Then in .
Proof.
Our first important result of this subsection is to prove the following theorem, which is folklore even in the complex case: to the best of the author’s knowledge, the classical literature on -theory just state the result without a proof; see also [11, Remark 3.33].
Theorem 6.4.
(folklore) The functor is initial among functors to an additive -category which are reduced, homotopy invariant, -stable and half exact.
A (detailed) proof of the above result will take us quite some time. We begin with some preparations. The first check one needs to make to prove Theorem 6.4 is that is homotopy invariant, -stable and exact. While the first two are obvious from the definition, half exactness is not so. The first crucial step to that end is demonstrating for each , the functor
is split exact. This follows directly from the equivariant, Real analogue of [8, Corollary 25.5.7]. However, it can also be seen as a consequence of the following stronger result, which is also going to come handy in the next subsection. The complex, non-equivariant case of the result is due to Dadarlat-Loring ([24, Proposition 3.2]).
Proposition 6.4.
For each , the functor is split exact.
Proof.
Let be a short exact sequence in which is split by a homomorphism . Without loss of generality, we can assume that the map is the inclusion of an ideal. From the standard excision properties in the asymptotic category and Puppe sequences in ,([29, Proposition 5.16], [32, Proposition 2.5]), we get a long exact sequence of pointed sets
| (6.5) |
where denotes the mapping cone of . Since is split by , is split by , and we can extract the split exact sequence
from Equation 6.5. To prove our thesis, it therefore suffices to show that the inclusion is an isomorphism in .
Using the split , we can re-write as
Let be a (Real) quasicentral approximate unit in ([29, Lemma 5.3]). In light of [29, Lemma 5.6.(iii)], we can now define a -parameter family of homomorphisms
given by functional calculi of the individual . We can now define an asymptotic morphism given by the family of maps
Note that in defining it, we used the universal property of the maximal tensor product, see [8, Section 25.2.3]. We can now define an asymptotic morphism given by
The verification that it indeed is an inverse to the inclusion in can now be taken from the proof of [24, Proposition 3.2]. The equivariance and Real structure do not pose any additional difficulties. ∎
As the reader may guess, the reason we care about the split exactness result is to bring (or equivalently, ) into the game. From results of the previous subsection and playing around a bit with the uniqueness of universal functors ([9, Theorem 3.2]), we conclude that there is a unique functor such that 4242 42 c stands for comparison functor, which is furthermore symmetric monoidal with respect to the maximal tensor product.
Since we already have knowledge of periodicity in (equivalently, in ), we can now get periodicity results in too. All this (and a little more) is the content of the next lemma.
Lemma 6.5.
- 1.
Let be a functor to a half exact additive -category which is homotopy invariant, -stable, half exact with respect to exact sequences. Then there is an isomorphism
which is natural with respect to morphisms in and also with respect to the boundary maps of the long exact sequence associated to , as described in [8, Theorem 21.4.4].
- 2.
The natural map
is an isomorphism.
- 3.
The functor is homotopy invariant, -stable, and half exact.
- 4.
The natural map
is an isomorphism.
- 5.
The isomorphisms of Assertion 1 applied to the functors and fit into a commutative diagram
Proof.
We begin with Assertion 1. In light of the given properties of , the Real analog of the proof of [29, Proposition 6.16] shows that there exists an asymptotic morphism
such that for each , the asymptotic morphism
yields a natural isomorphism
Our sought after natural map is now obtained by applying the above isomorphism twice
The map in Assertion 2 being an isomorphism can be readily taken from [9, Lemma 4.5], with the obvious modifications to tackle the equivariant case.
We now prove Assertion 3 (note that it settles the easy part of Theorem 6.4). That is homotopy invariant and -stable is obvious. That it is also half exact follows by combining [9, Theorem 4.4] and the excision theory of equivariant -theory developed in chapters 5 and 6 of [29]. The careful reader will observe that (variants of) Assertions 1 and 2 go as an input to proving the exactness in the first variable in [9] and [29].
For Assertion 4, we can accommodate the map in the commutative diagram
The discussion preceding the lemma shows that the horizontal arrow is an isomorphism, since
The right arrow is an isomorphism from Assertion 2.
Finally we show Assertion 5. In light of Assertion 1, it essentially follows from the commutativity of the diagram
for every asympototic morphism , as can be seen from the symmetric monoidal properties of . See also [29, Theorem 4.6] and the proof of [29, Proposition 6.16]. ∎
Before continuing with the proof of Theorem 6.4, we mention a corollary to some results of the last lemma, which will come handy in the next section.
Corollary 6.5.
There exists an asymptotic morphism such that
determines an invertible class in . Furthermore, the functor
exhibits as the -categorical localization of at the classes of maps .
Proof.
The first statement follows readily from the proof of Assertion 1 of Section 6.2 by taking . The second statement follows from the following general fact about categories (it is the dual version of [43, Proposition 5.2.7.4]) : Let be a category with an endofunctor and a natural transformation . If for every object the morphims
are equivalences, then is the right-adjoint of a right Bousfield localization with counit . It is also the Dwyer-Kan localization at the set of morphisms .
Indeed, in the above notation, take , and . The rest follows from the results of Section 6.2 and the definition of . ∎
The heart of the proof of the uniqueness assertion in Theorem 6.4 is contained in the following result.
Proposition 6.5.
(cf. [59, Theorem 4.6]) Let be a homotopy invariant, -stable and half exact functor from to . Fix in and consider an arbitrary element . Then there is a unique natural transformation
such that .
Proof.
Firstly, we massage the hom groups of a bit, and write them as
Indeed this can be done from Assertions 2 and 4 of Section 6.2 (the reason we do this maneuver will be clear from the upcoming proof, but see also Section 6.2).
To avoid notational clutter, we subsequently denote as for any . Same comment applies to functors involving these algebras.
Now consider . Let it be represented by the equivariant asymptotic morphism
As in Equation 6.3, this yields an extension
| (6.6) |
Consequently, we obtain a morphism in via the connecting map of the long exact sequence associated to as in [8, Theorem 21.4.4]. The -stability of together with Assertion 1 of Section 6.2 naturally produces a morphism . Now define
In light of the machinery we developed in this subsection and functoriality properties of the Connes-Higson construction, the well-definedness and naturality of , as well as the verification is a routine check, as has been done in the proof of [59, Theorem 4.6].
We now prove the uniqueness part. Let
be a natural transformation such that . Consider . Let denote the connecting maps obtained by applying the functors
respectively to the extension in Equation 6.64343 43 denoting by any one of these four functors, we are implicitly using the natural identification of with in what follows.. We get a commutative diagram
| (6.7) |
where the undirected edges are induced by the maps described in Section 6.2.1. Note that the fact that the diagram indeed commutes needs a lot of the machinery we developed earlier in this subsection.
We now claim the following.
Claim.
The composite
equals the composite
Proof.
We build the diagram
We need to show that it commutes. The bottom rectangle commutes by the symmetric monoidal properties of . The middle rectangle commutes by an application of Section 6.2, together with the fact that composition with the Connes-Higson morphism yields the boundary map in , as described in [29, Theorem 6.15]. The top square commuting is a consequence of the general fact that for any and , the diagram
commutes. This boils down to the fact that the map has degree .
∎
The above claim therefore shows that the composite of the purple arrows (we are reversing the direction of the last arrow so as to compose) maps to . The commutativity of Equation 6.7 now tells that
Since is given to be , the proof of the proposition follows. ∎
Remark 6.7.
In the above proof, -periodicity played a crucial role. It would indeed be natural to expect that the same could be done by the more standard -periodicity. Unraveling the proof of Section 6.2, one would then want to take
But it is not clear why this definition coincides with : the results of Section 6.2 do not say this! Tracing further back, the reader may wonder “why not define ?” The reason is that then it would not be clear why this category has excision; the development of the excision results in -theory and the Connes-Higson morphism depend on Puppe sequences, where the loops are and not .
Proof of Theorem 6.4.
With Section 6.2 at our disposal, the argument now follows by standard yoga with the uniqueness of the natural transformations described in loc. cit. See for example [33, Theorem 4.5]. A few more details on a similar line of ideas is in [59, Theorem 4.9]. ∎
We can now compare with .
Theorem 6.8.
We have a natural equivalence of additive, symmetric monoidal categories
Proof.
The proof of Theorem 6.2 can be readily adapted to this case. The main check one needs to make is that has countable coproducts, and the functor takes countable direct sums in to countable coproducts in . But this is the content of [29, Proposition 7.1]. The Real structure poses no additional difficulty. ∎
6.3 A technical result of Dadarlat-Loring
In this subsection, we prove the following technical result, which will be handy in the later subsections when we study graded -theory. The complex, non-equivariant case of the result is due to Dadarlat-Loring ([24])
Theorem 6.9.
(Generalized Dadarlat-Loring) Let . Suppose that for all the abelian monoid
is a group. Then, the map
is an isomorphism of abelian groups for all .
Remark 6.9.
An in satisfying the hypothesis of the above theorem is called homotopy symmetric. Note that it is equivalent to asking that the abelian monoid is a group.
Our proof strategy will be very different from [24], except that we too use Section 6.2 in a crucial way. We begin by proving the following result, wherein we use the notation from the last subsection, especially Section 6.2.
Proposition 6.9.
For each homotopy symmetric , the functor
inverts .
Proof.
In light of Section 6.2 and the universal property of , there is a unique dashed arrow rendering the below diagram commutative.
| (6.10) |
We now momentarily ignore the external group . Since satisfies -periodicity, we know in light of the Cuntz picture of that there is a morphism in which implements the -periodicity. There is also a homomorphism given by the composite
We now claim the following.
Claim.
The diagram
| (6.11) |
commutes upto a sign in the -stabilized asymptotic homotopy category .
Proof.
We consider the following diagram, where the vertical maps are induced by the localization functor (i.e. the trivial group case of Section 6.2).
|
|
We now justify the isomorphisms appearing on the diagram. That follows from
We furthermore note that corresponds to under this isomorphism; see Section 2.1. The isomorphisms in the bottom row follow since are all -equivalent to , and . That the right vertical map is an isomorphism follows from the composite map
being an isomorphism from Section 3.6 (we are implicitly also using the universal property of -stabilized homotopy category of separable -algebras here). From the discussion preceding the claim, and map to a generator in under the two left vertical arrows. An argument similar to the one in Section 4.1 shows that the bottom bilinear map must send to . The conclusion follows. ∎
We are now in a position to bring back the group . Since all the algebras in Equation 6.11 have the trivial -action, we conclude that Equation 6.11 also commutes in . Furthermore, and remain equivalences in , whence so is . The proof of the proposition follows in light of Equation 6.10. ∎
Proof of Theorem 6.9.
In light of Section 6.2 and general facts about mapping spaces (in our context, mapping abelian groups) out of colocal objects ([17, Remark 9.9]), it suffices to show that the functor
inverts the morphisms . But this follows upon tensoring Equation 6.11 with ; the diagram continues to commute up to a sign (which is independent of ), and the morphisms and are isomorphisms in . ∎
Remark 6.11.
The following remarks about Theorem 6.9 are in order.
- 1.
There is a non-technical way to think about the result. Note that Section 6.2 roughly says that one obtains from by “inverting Bott”. When is homotopy symmetric, Equation 6.10 shows that the functor
indeed “inverts Bott”, since it factors through . Section 6.3 basically makes this line of argument rigorous. And probably this is also the argument which was hinted at the end of Section 4 in [24].
- 2.
A treatment analogous to Section 3.4 would now show that is the full subcategory of group objects of . This seems to not have been mentioned in the literature.
6.4 Comparison with classical, graded -theory
We are finally in a position to discuss classical, graded -categories. The main reference for the same is [32, Section 2] (in the complex case). Following the formulation given there, we introduce its Real analogue. In what follows, denotes the homotopy classes of graded, -equivariant asymptotic morphisms from to . Recall that still denotes the separable theory.
Definition 6.11.
(cf. [32, Chapter 2]) For , define a category with objects the objects of , and morphims from to being given by
The composition law in is given by the usual formula (see [32, Definition 2.9]) using the codiagonal map . Denote by
the canonical functor induced by precomposition with the homomorphism .
To connect and , we need the following lemma.
Lemma 6.11.
The abelian monoid is a group for all .
Proof.
This follows from an argument very similar to the argument given in the proof of Theorem 2.3.1. See [32, Lemma 2.1] for more details. ∎
Theorem 6.12.
- 1.
For all , we have a natural isomorphism .
- 2.
We have an equivalence of additive, symmetric monoidal (for the graded maximal tensor product) categories
- 3.
For ungraded -algebras and in , we have a natural isomorphism
Proof.
Assertion 1 follows immediately from Theorem 6.9 and Section 6.4, keeping in mind that is inner graded. Assertion 2 follows from Theorem 6.8 for the group (with the monoidal structure being the graded maximal tensor product), Assertion 1, and Section 4.5. Assertion 3 was shown in the context of our stable -categories in Theorem 4.2. We are therefore done by Assertion 2. ∎
We end the article with a remark circling the analogous comparison between and .
Remark 6.12.
In light of the main result of [59], we can rework the last two subsections with completely positive asymptotic morphisms, and obtain that for all ,
However, unlike the definition of (which on the face of it is by asymptotic morphisms), the definition of is in terms of Kasparov cycles. Therefore to complete the circle of ideas, we would need to obtain a natural isomorphism
It is not clear to the author how to get a (clean) natural map in either direction. The problem seems to be that completely positive asymptotic morphisms do not naturally arise in practical situations.
Nevertheless, Meyer has proven using different methods in [46, Section 7] the analogue of the first two assertions of Theorem 6.12 for , whence the analogue of Assertion 3 of Theorem 6.12 for also follows from Theorem 4.2.
References
- [1] (2009) Algebra: chapter 0. Graduate Studies in Mathematics, Vol. 104, American Mathematical Society, Providence, RI. External Links: ISBN 978-0-8218-4781-7, Document, Link, MathReview Entry Cited by: footnote 31.
- [2] (2020) The Baum-Connes conjecture localised at the unit element of a discrete group. Compos. Math. 156 (12), pp. 2536–2559. External Links: ISSN 0010-437X,1570-5846, Document, Link, MathReview (Sayan Chakraborty) Cited by: §6.1, §6.1.
- [3] (2026) Super -theory and group completion. External Links: 2609.02407, Link Cited by: §1, Remark 2.0, Remark 5.5, Remark 5.4.
- [4] (1964) Clifford modules. Topology 3 (suppl), pp. 3–38. External Links: ISSN 0040-9383, Document, Link, MathReview (J. F. Adams) Cited by: §1.
- [5] (1989) -algèbres de Hopf et théorie de Kasparov équivariante. -Theory 2 (6), pp. 683–721. External Links: ISSN 0920-3036,1573-0514, Document, Link, MathReview (Claude Schochet) Cited by: item 2.
- [6] (2015) Restriction to finite-index subgroups as étale extensions in topology, KK-theory and geometry. Algebr. Geom. Topol. 15 (5), pp. 3025–3047. External Links: ISSN 1472-2747,1472-2739, Document, Link, MathReview (André G. Henriques) Cited by: §3.5.
- [7] (2006) Operator algebras. Encyclopaedia of Mathematical Sciences, Vol. 122, Springer-Verlag, Berlin. Note: Theory of -algebras and von Neumann algebras, Operator Algebras and Non-commutative Geometry, III External Links: ISBN 978-3-540-28486-4; 3-540-28486-9, Document, Link, MathReview (Paul Jolissaint) Cited by: footnote 20.
- [8] (1998) -theory for operator algebras. Second edition, Mathematical Sciences Research Institute Publications, Vol. 5, Cambridge University Press, Cambridge. External Links: ISBN 0-521-63532-2, MathReview Entry Cited by: item 3, item 4, item 6, §2.1, §2.1, Remark 2.1, §3.4, §5.1, item 1, §6.2, §6.2, §6.2.
- [9] (2016) Pictures of -theory for real -algebras and almost commuting matrices. Banach J. Math. Anal. 10 (1), pp. 27–47. External Links: ISSN 2662-2033,1735-8787, Document, Link, MathReview (Vladimir Manuilov) Cited by: item 4, Lemma 6.3, §6.2, §6.2, §6.2.
- [10] (2026) Analytic index theory and spectral flow in real hilbert -modules. External Links: 2606.31322, Link Cited by: Remark 5.5.
- [11] (2025) -Theory is compactly assembled. External Links: 2402.18228, Link Cited by: §1.1, §1, §1, §1, §3.2, §3.3, §3.3, §3.4, §3.4, item 3, §6.2.
- [12] KK- and E- theory for graded C*-algebras. Note: Unpublished note (personal communication) Cited by: §4.1, §4.
- [13] (2025) A stable -category for equivariant -theory. External Links: 2102.13372, Link Cited by: §1, §1, §3.5, Remark 3.12, §3.7, §3.7, §3.7, §5.1.
- [14] (2023) A survey on operator -theory via homotopical algebra. External Links: 2311.17191, Link Cited by: footnote 34.
- [15] (2024) Coronas and callias type operators in coarse geometry. External Links: 2411.01646, Link Cited by: §1, item 3, §4.
- [16] (2023) -Theory of crossed products via homotopy theory. External Links: 2311.06562, Link Cited by: §1, §3.5, §3.5, §3.7, §5.2.
- [17] (2024) KK- and e-theory via homotopy theory. Orbita Mathematicae 1 (2), pp. 103–210. External Links: ISSN 2993-6144, Link, Document Cited by: §1.1, §1, §1, §1, §1, §3.1, Remark 3.1, Example 3.1, §3.2, §3.3, §3.3, §3.4, §3.4, §3.4, §3.4, §3.4, §3.4, §3.4, §3.4, Proposition 3.11, §3.4, §3.4, item 1, §6.3.
- [18] (2019) Higher categories and homotopical algebra. Cambridge Studies in Advanced Mathematics, Vol. 180, Cambridge University Press, Cambridge. External Links: ISBN 978-1-108-47320-0, Document, Link, MathReview (Charles Rezk) Cited by: §3.4, footnote 19.
- [19] (1967) The -algebra generated by an isometry. Bulletin of the American Mathematical Society 73 (5), pp. 722 – 726. Cited by: §3.4.
- [20] (1990) Déformations, morphismes asymptotiques et -théorie bivariante. C. R. Acad. Sci. Paris Sér. I Math. 311 (2), pp. 101–106. External Links: ISSN 0764-4442, MathReview (Jeffrey Fox) Cited by: §1.1, §1, §6.2, §6.
- [21] (1993) A survey of some aspects of noncommutative geometry. Jahresber. Deutsch. Math.-Verein. 95 (2), pp. 60–84. External Links: ISSN 0012-0456, MathReview (Carla Farsi) Cited by: item 4.
- [22] (1983) Generalized homomorphisms between -algebras and -theory. In Dynamics and processes (Bielefeld, 1981), Lecture Notes in Math., Vol. 1031, pp. 31–45. External Links: ISBN 3-540-12705-4, Document, Link, MathReview (Thierry Fack) Cited by: §2.1.
- [23] (2005) Bivariant - and cyclic theories. In Handbook of -theory. Vol. 1, 2, pp. 655–702. External Links: ISBN 978-3-540-23019-9; 3-540-23019-X, Document, Link, MathReview (Ralf Meyer) Cited by: item 3.
- [24] (1994) -homology, asymptotic representations, and unsuspended -theory. J. Funct. Anal. 126 (2), pp. 367–383. External Links: ISSN 0022-1236,1096-0783, Document, Link, MathReview Entry Cited by: item 1, §6.2, §6.2, §6.3, §6.3.
- [25] (2026) Equivariant -theory and model categories. J. Funct. Anal. 291 (2), pp. Paper No. 111497, 57. External Links: ISSN 0022-1236,1096-0783, Document, Link, MathReview Entry Cited by: §3.2, §3.6.
- [26] (2024) The spectral model of (Real) K-theory. External Links: 2410.21606, Link Cited by: §1.1, 3rd item, §2.2, §2.2, §2.2, §2.2, §2.2, §2.2, §2, §4.1, §4.1, Remark 4.5, Remark 4.3, §4, Remark 5.5, Remark 5.9.
- [27] (2011) A functorial equivariant k-theory spectrum and an equivariant lefschetz formula. External Links: 1104.3441, Link Cited by: §2.2.
- [28] (2017) Bivariant -theory and the baum-connes conjecure. External Links: 1703.10912, Link Cited by: item 2.
- [29] (2000) Equivariant -theory for -algebras. Mem. Amer. Math. Soc. 148 (703), pp. viii+86. External Links: ISSN 0065-9266,1947-6221, Document, Link, MathReview (Vicumpriya S. Perera) Cited by: §1.1, §2.2, item 2, item 4, Lemma 6.3, §6.2, §6.2, §6.2, §6.2, §6.2, §6.2, §6.2, §6.2, §6.2, §6.
- [30] (1998) Some algebraic features of -graded -theory. -Theory 13 (1), pp. 81–108. External Links: ISSN 0920-3036,1573-0514, Document, Link, MathReview (Daniel Kucerovsky) Cited by: §1.
- [31] (1999) On -graded -theory and its relation with the graded Ext-functor. J. Operator Theory 42 (1), pp. 3–36. External Links: ISSN 0379-4024,1841-7744, MathReview (G. A. Noskov) Cited by: §1.
- [32] (2004) Group -algebras and -theory. In Noncommutative geometry, Lecture Notes in Math., Vol. 1831, pp. 137–251. External Links: ISBN 3-540-20357-5, Document, Link, MathReview (Paul D. Mitchener) Cited by: §1, §2.2, §2.2, §4.1, §6.2, §6.4, Definition 6.11, Definition 6.11, §6.4, §6.
- [33] (1987) A characterization of -theory. Pacific J. Math. 126 (2), pp. 253–276. External Links: ISSN 0030-8730,1945-5844, Link, MathReview (Vern Paulsen) Cited by: §1, §6.1, §6.2.
- [34] (1990) Categories of fractions and excision in -theory. J. Pure Appl. Algebra 65 (2), pp. 119–138. External Links: ISSN 0022-4049,1873-1376, Document, Link, MathReview (Hiroshi Takai) Cited by: §6.2.
- [35] (2016) Dwyer-Kan localization revisited. Homology Homotopy Appl. 18 (1), pp. 27–48. External Links: ISSN 1532-0073,1532-0081, Document, Link, MathReview (Philippe Gaucher) Cited by: §3.4, §3.4, §6.1.
- [36] (1974) Harmonic spinors. Advances in Math. 14, pp. 1–55. External Links: ISSN 0001-8708, Document, Link, MathReview (F. Hirzebruch) Cited by: §1.
- [37] (1999) Universal (co)homology theories. -Theory 16 (1), pp. 1–27. External Links: ISSN 0920-3036,1573-0514, Document, Link, MathReview (Hua Xin Lin) Cited by: §6.2.
- [38] (1968) Algèbres de Clifford et -théorie. Ann. Sci. École Norm. Sup. (4) 1, pp. 161–270. External Links: ISSN 0012-9593, Link, MathReview (J. F. Adams) Cited by: §1.
- [39] (1980) The operator -functor and extensions of -algebras. Izv. Akad. Nauk SSSR Ser. Mat. 44 (3), pp. 571–636, 719. External Links: ISSN 0373-2436, MathReview (V. Cruceanu) Cited by: §4.1, §6.
- [40] (1988) Equivariant -theory and the Novikov conjecture. Invent. Math. 91 (1), pp. 147–201. External Links: ISSN 0020-9910,1432-1297, Document, Link, MathReview (Jonathan M. Rosenberg) Cited by: §4.1, item 1, §6.
- [41] (1989) Spin geometry. Princeton Mathematical Series, Vol. 38, Princeton University Press, Princeton, NJ. External Links: ISBN 0-691-08542-0, MathReview (N. J. Hitchin) Cited by: §1.
- [42] (2008) A projective -algebra related to -theory. Journal of Functional Analysis 254 (12), pp. 3079–3092. External Links: Document Cited by: item 6.
- [43] (2009) Higher topos theory. Annals of Mathematics Studies, Vol. 170, Princeton University Press, Princeton, NJ. External Links: ISBN 978-0-691-14049-0; 0-691-14049-9, Document, Link, MathReview (Mark Hovey) Cited by: §3.4, Definition 3.14, §3.7, §3.7, §6.2, footnote 27.
- [44] (2017) Higher algebra. Note: Unpublished. Available online at http://hfffh3d114c1047974308s9wcb55ofkqcf6pfv.ffgi.hlju.cwkeji.cn/~lurie/ Cited by: §3.4, §3.7, §3.7, item 3, §4, Definition 4.0.
- [45] (2026) Kerodon. Note: http://hfffhe115ab632cbc4e9cs9wcb55ofkqcf6pfv.ffgi.hlju.cwkeji.cn Cited by: §3.4, §3.6.
- [46] (2000) Equivariant Kasparov theory and generalized homomorphisms. -Theory 21 (3), pp. 201–228. External Links: ISSN 0920-3036,1573-0514, Document, Link, MathReview (Emmanuel C. Germain) Cited by: §1.1, §2.2, §6.1, Remark 6.12, footnote 13.
- [47] (2025) A comparison of Takai and Treumann dualities. Ann. K-Theory 10 (3), pp. 563–596. External Links: ISSN 2379-1683,2379-1691, Document, Link, MathReview Entry Cited by: Remark 3.2.
- [48] (1966) Homotopy theory of infinite dimensional manifolds. Topology 5 (1), pp. 1–16. External Links: ISSN 0040-9383, Document, Link Cited by: §2.2.
- [49] (2025) Every motive is the motive of a stable -category. External Links: 2503.11338, Link Cited by: §3.3.
- [50] (2024) Dualizable presentable -categories. External Links: 2410.21537, Link Cited by: §4.
- [51] (1983) -algebras, positive scalar curvature, and the Novikov conjecture. Inst. Hautes Études Sci. Publ. Math. (58), pp. 197–212. External Links: ISSN 0073-8301,1618-1913, Link, MathReview (Howard D. Rees) Cited by: §1.
- [52] (1984) Topological methods for -algebras. III. Axiomatic homology. Pacific J. Math. 114 (2), pp. 399–445. External Links: ISSN 0030-8730,1945-5844, Link, MathReview (Vern Paulsen) Cited by: §3.1, Example 3.1.
- [53] (1993) K-theory for real c*-algebras and applications. Longman Scientific and Technical. Cited by: §3.4.
- [54] (2024) The universal -algebra generated by two projections as a subalgebra of matrix valued continuous functions. Note: http://hfffh33676ae7f8e347fds9wcb55ofkqcf6pfv.ffgi.hlju.cwkeji.cn/fileadmin/upload/lehrstuhl/weber-moritz/Abschlussarbeiten/shireen-masters-thesis.pdf Cited by: item 4.
- [55] (1988) Une notion de nucléarité en k-théorie (d’après j. cuntz). K-theory 1, pp. 549–573. External Links: Link Cited by: §6.1.
- [56] (2025) Notes on -algebras. External Links: 2505.17456, Link Cited by: §3.4, §3.4.
- [57] (2003) Connective -theory and bivariant homology for -algebras. PhD thesis, University of Muenster. Note: http://hfffhbbd89433136b41c6s9wcb55ofkqcf6pfv.ffgi.hlju.cwkeji.cn/mn/math/geometrie/thom/ressourcen/dateien/forschung/thesis?lang=en Cited by: §6.2.
- [58] (1998) The universal property of equivariant -theory. J. Reine Angew. Math. 504, pp. 55–71. External Links: ISSN 0075-4102,1435-5345, Document, Link, MathReview (Jonathan M. Rosenberg) Cited by: §6.1.
- [59] (1999) Asymptotic homomorphisms and equivariant -theory. J. Funct. Anal. 163 (2), pp. 324–343. External Links: ISSN 0022-1236,1096-0783, Document, Link, MathReview (Vicumpriya S. Perera) Cited by: §1.1, §6.2, Proposition 6.5, §6.2, §6.2, Remark 6.12.
- [60] (1988) -theory for graded Banach algebras. I. Quart. J. Math. Oxford Ser. (2) 39 (154), pp. 185–199. External Links: ISSN 0033-5606,1464-3847, Document, Link, MathReview (Alain Valette) Cited by: §1.
- [61] (1988) -theory for graded Banach algebras. II. Pacific J. Math. 134 (2), pp. 377–392. External Links: ISSN 0030-8730,1945-5844, Link, MathReview (Alain Valette) Cited by: §1.
- [62] (1993) -theory and -algebras. Oxford Science Publications, The Clarendon Press, Oxford University Press, New York. Note: A friendly approach External Links: ISBN 0-19-859694-4, MathReview (Mahmood Khoshkam) Cited by: §5.1.
- [63] (2020) Higher index theory. Cambridge Studies in Advanced Mathematics, Vol. 189, Cambridge University Press, Cambridge. External Links: ISBN 978-1-108-49106-8, Document, Link, MathReview (Man-Ho Ho) Cited by: 5th item, §2.1, §2.2, §2.2, §4, §4, §5.2.