arXiv subjects

Claude Schochet

Publications and source records attributed to Claude Schochet.

6 recordsLinked to original sources

arXiv2026

Real $K$-Theory for $C^*$-Algebras: Just the Facts

This work is intended to present the basic properties of $KO$-theory for real $C^*$-algebras and to explain its relationship with complex $K$-theory and with $KR$- theory. Whenever possible we will rely upon proofs in printed literature, particularly the work of Karoubi, Wood, Schröder, and more recent work of Boersema and J. M. Rosenberg. In addition, we shall explain how $KO$-theory is related to the Ten-Fold Way in physics and point out how some deeper features of $KO$-theory for operator algebras may provide powerful new tools there. Commutative real $C^*$-algebras not of the form $C(X, R)$ will play a special role. Unfortunately, there is no single reference for $KO$-theory for operator algebras that begins to compare with Blackadar's wonderful exposition of complex $K$-theory. This work is intended to provide a platform upon which mathematicians and mathematical physicists can rely in order to use these new tools in their research. As we are writing for a diverse audience of functional analysts, topologists, and physicists, we often present material well-known to one group of people and unfamiliar to another.

math.OA↗

arXiv2009

Dixmier-Douady for Dummies

The Dixmier-Douady invariant is the primary tool in the classification of continuous trace $C^*$-algebras. This expository note explores its properties from the perspective of classical algebraic topology.

math.OA↗

arXiv2001

The Fine Structure of the Kasparov Groups III: Relative Quasidiagonality

In this paper we identify QD(A,B), the quasidiagonal classes in KK_1(A,B), in terms of K_*(A) and K_*(B), and we use these results in various applications. Here is our central result. Theorem: Suppose that A is in the category of separable nuclear C^*-algebras which satisfy the UCT and A is quasidiagonal relative to B. Then there is a natural isomorphism QD(A,B) = Pext (K_*(A), K_*(B))_0 . Thus quasidiagonality of KK-classes is indeed a topological invariant. We give several applications. Finally, we establish a converse to a theorem of Davidson, Herrero, and Salinas, giving conditions under which the quasidiagonality of A/K implies the quasidiagonality of the associated representation of A.

math.OA↗

arXiv2001

The Fine Structure of the Kasparov Groups II: topologizing the UCT

The Kasparov groups KK_*(A, B) have a natural structure as pseudopolonais groups. In this paper we analyze how this topology interacts with the terms of the Universal Coefficient Theorem (UCT) and the splittings of the UCT constructed by J. Rosenberg and the author, as well as its canonical three term decomposition which exists under bootstrap hypotheses. We show that the various topologies on Ext_{\Bbb Z}^1(K_*(A), K_*(B)) and other related groups mostly coincide. Then we focus attention on the Milnor sequence and the fine structure subgroup of KK_*(A, B). An important consequence of our work is that under bootstrap hypotheses the closure of zero of KK_*(A, B) is isomorphic to the group Pext_{\Bbb Z}^1(K_*(A), K_*(B)). Finally, we introduce new splitting obstructions for the Milnor and Jensen sequences and prove that these sequences split if K_*(A) or K_*(B) is torsion free.

math.OA↗

arXiv2001

Geometric realization and K-theoretic decomposition of C*-algebras

Suppose that A is a separable C*-algebra and that G_* is a (graded) subgroup of K_*(A). Then there is a natural short exact sequence 0 \to G_* \to K_*(A) \to K_*(A)/G_* \to 0. In this note we demonstrate how to geometrically realize this sequence at the level of C*-algebras. As a result, we KK-theoretically decompose A as 0 \to A\otimes \Cal K \to A_f \to SA_t \to 0 where K_*(A_t) is the torsion subgroup of K_*(A) and K_*(A_f) is its torsionfree quotient. Then we further decompose A_t : it is KK-equivalent to \oplus_p A_p where K_*(A_p) is the p-primary subgroup of the torsion subgroup of K_*(A). We then apply this realization to study the Kasparov group K^*(A) and related objects.

math.OA↗

arXiv2001

The fine structure of the Kasparov groups I: continuity of the KK-pairing

In this paper it is demonstrated that the Kasparov pairing is continuous with respect to the natural topology on the Kasparov groups, so that a KK-equivalence is an isomorphism of topological groups. In addition, we demonstrate that the groups have a natural pseudopolonais structure, and we prove that various KK-structural maps are continuous.

math.OA↗