Showing 1–15 of 15 results for author: Schochet, C

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

Authors: Jeff Boersema, Claude Schochet

Abstract: This paper 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… ▽ More This paper 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^R(X)$ will play a special role. We also will identify Atiyah's $KR^0(X, τ))$ in terms of $KO_0$ of an associated real $C^*$-algebra. △ Less

Submitted 8 July, 2024; originally announced July 2024.

Comments: 76 pages. We welcome and greatly appreciate comments, criticism, corrections, suggestions. Submitted to L'Enseign. Math. After it is published it will be found at https://ems.press.journals/lem

MSC Class: 46L80 (Primary) 14K99; 46M20 (Secondary)

Relating Diffraction and Spectral Data of Aperiodic Tilings: Towards a Bloch theorem

Authors: Eric Akkermans, Yaroslav Don, Jonathan Rosenberg, Claude L. Schochet

Abstract: The purpose of this paper is to show the relationship in all dimensions between the structural (diffraction pattern) aspect of tilings (described by Čech cohomology of the tiling space) and the spectral properties (of Hamiltonians defined on such tilings) defined by $K$-theory, and to show their equivalence in dimensions $\leq 3$. A theorem makes precise the conditions for this relationship to hol… ▽ More The purpose of this paper is to show the relationship in all dimensions between the structural (diffraction pattern) aspect of tilings (described by Čech cohomology of the tiling space) and the spectral properties (of Hamiltonians defined on such tilings) defined by $K$-theory, and to show their equivalence in dimensions $\leq 3$. A theorem makes precise the conditions for this relationship to hold. It can be viewed as an extension of the "Bloch Theorem" to a large class of aperiodic tilings. The idea underlying this result is based on the relationship between cohomology and $K$-theory traces and their equivalence in low dimensions. △ Less

Submitted 31 July, 2020; originally announced July 2020.

Comments: 36 pages, 4 figures, 1 table

MSC Class: 82D30 (Primary); 52C23; 19K14; 37B52; 58J42; 19K56; 46L80 (Secondary)

Journal ref: J. Geom. Physics 165 (2021), 104217

A Case Study in Non-Commutative Topology

Authors: Claude L. Schochet

Abstract: This is an expository note focused upon one example, the irrational rotation $C^*$-algebra. We discuss how this algebra arises in nature - in quantum mechanics, group actions, and foliations, and we explain how $K$-theory is used to get information out of it. Our goal is to write as if we are sitting in Starbucks and explaining an idea to a good friend (on napkins, of course). So we are interest… ▽ More This is an expository note focused upon one example, the irrational rotation $C^*$-algebra. We discuss how this algebra arises in nature - in quantum mechanics, group actions, and foliations, and we explain how $K$-theory is used to get information out of it. Our goal is to write as if we are sitting in Starbucks and explaining an idea to a good friend (on napkins, of course). So we are interested in getting an idea across but not at all interested in the technical details that, in any event, would be lost if the coffee spilled. So come with us for a drink at Starbucks! △ Less

Submitted 22 November, 2017; originally announced November 2017.

Comments: A lot of the best mathematics that I have learned I learned at Starbucks and similar places. Conversations in such places have fairly well-set rules - you are allowed to simplify, lie slightly, explain "the main point" without worrying about pesky details like proofs. There are no actual lies (that I know of) in this paper. There should be more Starbucks papers: here is one

MSC Class: 00-02; 46L80; 46L85; 46M20; 55N15; 57R30; 57S99

Spanier-Whitehead K-duality for $C^*$-algebras

Authors: Jerome Kaminker, Claude L. Schochet

Abstract: Classical Spanier-Whitehead duality was introduced for the stable homotopy category of finite CW complexes. Here we provide a comprehensive treatment of a noncommutative version, termed Spanier-Whitehead $K$-duality, which is defined on the category of $C^*$-algebras whose $K$-theory is finitely generated and that satisfy the UCT with morphisms the $KK$-groups. We explore what happens when these a… ▽ More Classical Spanier-Whitehead duality was introduced for the stable homotopy category of finite CW complexes. Here we provide a comprehensive treatment of a noncommutative version, termed Spanier-Whitehead $K$-duality, which is defined on the category of $C^*$-algebras whose $K$-theory is finitely generated and that satisfy the UCT with morphisms the $KK$-groups. We explore what happens when these assumptions are relaxed in various ways. In particular, we consider the relationship between Paschke duality and Spanier-Whitehead $K$-duality. △ Less

Submitted 13 June, 2017; v1 submitted 1 September, 2016; originally announced September 2016.

Comments: 28 pages, Typos corrected and referees comments incorporated. To appear in Journal of Topology and Analysis

MSC Class: 46L80; 46L87; 46M20; 55N15; 55P25

Banach algebras, Samelson products, and the Wang Differential

Authors: Claude L. Schochet

Abstract: Supppose given a principal $G$ bundle $ζ: P \to S^k$ (with $k \geq 2$) and a Banach algebra $B$ upon which $G$ acts continuously. Let \[ ζ\otimes B : \qquad P \times_G B \longrightarrow S^k \] denote the associated bundle and let \[ A_{ζ\otimes B} = Γ(S^k, P \times_G B) \] denote the associated Banach algebra of sections. Then $π_*\GL A_{ζ\otimes B} $ is determined by a mostly degenerate spectral… ▽ More Supppose given a principal $G$ bundle $ζ: P \to S^k$ (with $k \geq 2$) and a Banach algebra $B$ upon which $G$ acts continuously. Let \[ ζ\otimes B : \qquad P \times_G B \longrightarrow S^k \] denote the associated bundle and let \[ A_{ζ\otimes B} = Γ(S^k, P \times_G B) \] denote the associated Banach algebra of sections. Then $π_*\GL A_{ζ\otimes B} $ is determined by a mostly degenerate spectral sequence and by a Wang differential \[ d_k : π_*(\GL B) \longrightarrow π_{*+k-1} (\GL B) .\] We show that if $B$ is a $C^*$-algebra then the differential is given explicitly in terms of an \esp\, with the clutching map of the principal bundle. Analogous results hold after localization and in the setting of topological $K$-theory. We illustrate our technique with a close analysis of the invariants associated to the $C^*$-algebra of sections of the bundle \[ ζ\otimes M_2 : \qquad S^7 \times_{S^3} M_2 \to S^4 \] constructed from the Hopf bundle $ζ: \,S^7 \to S^4$ and by the conjugation action of $S^3$ on $M_2 = M_2(\CC)$. We compare and contrast the information obtained from the homotopy groups $π_*(A_{ζ\otimes M_2})$, the rational homotopy groups $π_*(A_{ζ\otimes M_2})\otimes\QQ $ and the topological $K$-theory groups $K_*(A_{ζ\otimes M_2})$. △ Less

Submitted 22 February, 2014; v1 submitted 18 September, 2012; originally announced September 2012.

Comments: A few typos corrected. Final version, to appear in Journal of Topology and Analysis

MSC Class: 46L80; 46L85; 46M20; 55Q52; 55R20; 55T25

Spaces of sections of Banach algebra bundles

Authors: Emmanuel Dror Farjoun, Claude L. Schochet

Abstract: Suppose that $B$ is a $G$-Banach algebra over $\mathbb{F} = \mathbb{R}$ or $\mathbb{C}$, $X$ is a finite dimensional compact metric space, $ζ: P \to X$ is a standard principal $G$-bundle, and $A_ζ= Γ(X, P \times_G B)$ is the associated algebra of sections. We produce a spectral sequence which converges to $π_*(GL_o A_ζ) $ with [E^2_{-p,q} \cong \check{H}^p(X ; π_q(GL_o B)).] A related spectral s… ▽ More Suppose that $B$ is a $G$-Banach algebra over $\mathbb{F} = \mathbb{R}$ or $\mathbb{C}$, $X$ is a finite dimensional compact metric space, $ζ: P \to X$ is a standard principal $G$-bundle, and $A_ζ= Γ(X, P \times_G B)$ is the associated algebra of sections. We produce a spectral sequence which converges to $π_*(GL_o A_ζ) $ with [E^2_{-p,q} \cong \check{H}^p(X ; π_q(GL_o B)).] A related spectral sequence converging to $\K_{*+1}(A_ζ)$ (the real or complex topological $K$-theory) allows us to conclude that if $B$ is Bott-stable, (i.e., if $ π_*(GL_o B) \to \K_{*+1}(B)$ is an isomorphism for all $*>0$) then so is $A_ζ$. △ Less

Submitted 11 January, 2012; v1 submitted 2 January, 2011; originally announced January 2011.

Comments: 15 pages. Results generalized to include both real and complex K-theory. To appear in J. K-Theory

MSC Class: 46L80; 46L85; 46M20; 55Q52; 55R20; 55T25

From Rational Homotopy to K-Theory for Continuous Trace Algebras

Authors: John R. Klein, Claude L. Schochet, Samuel B. Smith

Abstract: Let $A$ be a unital $C^*$-algebra. Its unitary group, $UA$, contains a wealth of topological information about $A$. However, the homotopy type of $UA$ is out of reach even for $A = M_2(\CC)$. There are two simplifications which have been considered. The first, well-traveled road, is to pass to $π_*(U(A\otimes \KK ))$ which is isomorphic (with a degree shift) to $K_*(A)$. This approach has led to… ▽ More Let $A$ be a unital $C^*$-algebra. Its unitary group, $UA$, contains a wealth of topological information about $A$. However, the homotopy type of $UA$ is out of reach even for $A = M_2(\CC)$. There are two simplifications which have been considered. The first, well-traveled road, is to pass to $π_*(U(A\otimes \KK ))$ which is isomorphic (with a degree shift) to $K_*(A)$. This approach has led to spectacular success in many arenas, as is well-known. A different approach is to consider $π_*(UA)\otimes\QQ $, the rational homotopy of $UA$. In joint work with G. Lupton and N. C. Phillips we have calculated this functor for the cases $A = C(X)\otimes M_n(\CC)$ and $A$ a unital continuous trace $C^*$-algebra. In this note we look at some concrete examples of this calculation and, in particular, at the $\ZZ$-graded map \[ π_*(UA)\otimes\QQ \longrightarrow K_{*+1}(A)\otimes\QQ . \] △ Less

Submitted 21 September, 2009; originally announced September 2009.

Comments: 6 pages, submitted to proceedings of NSF/CBMS Conference on "Topology, C*-algebras, and String Duality", Principal Lecturer Jonathan Rosenberg, TCU, May 18-22, 2009

MSC Class: 46J05; 46L85; 55P62; 54C35; 55P15; 55P45

Localization of grouplike function and section spaces with compact domain

Authors: Claude L. Schochet, Samuel B. Smith

Abstract: We extend the standard localization theory for function and section spaces due to Hilton-Mislin-Roitberg and Moller outside the CW category to the case of compact metric domain in the presence of a grouplike structure. We study applications in two cases directly generalizing the gauge group of a principal bundle. We prove an identity for the monoid of fibre-homotopy self-equivalences of a Hurewi… ▽ More We extend the standard localization theory for function and section spaces due to Hilton-Mislin-Roitberg and Moller outside the CW category to the case of compact metric domain in the presence of a grouplike structure. We study applications in two cases directly generalizing the gauge group of a principal bundle. We prove an identity for the monoid of fibre-homotopy self-equivalences of a Hurewicz fibration -- due to Gottlieb and Booth-Heath-Morgan-Piccinini in the CW category -- in the compact case. This leads to an extended localization result for this monoid. We also obtain an extended localization theory for groups of sections of a fibrewise group. We give two applications in rational homotopy theory. △ Less

Submitted 22 August, 2009; originally announced August 2009.

Comments: 14 pages

MSC Class: 55P60; 55P62; 55R70; 55R10; 55Q42

Dixmier-Douady for Dummies

Authors: Claude Schochet

Abstract: 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. 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. △ Less

Submitted 29 April, 2009; v1 submitted 11 February, 2009; originally announced February 2009.

Comments: Typos corrected, very minor changes. This paper has been accepted by the Notices AMS and will appear as a feature article - projected for August 2009

MSC Class: 46L05; 55N05 (Primary) 46L20; 46L85;55-02 (Secondary)

Continuous trace C*-algebras, gauge groups and rationalization

Authors: John R. Klein, Claude L. Schochet, Samuel B. Smith

Abstract: Let ζbe an n-dimensional complex matrix bundle over a compact metric space X and let A_ζdenote the C*-algebra of sections of this bundle. We determine the rational homotopy type as an H-space of UA_ζ, the group of unitaries of A_ζ. The answer turns out to be independent of the bundle ζand depends only upon n and the rational cohomology of X. We prove analogous results for the gauge group and the… ▽ More Let ζbe an n-dimensional complex matrix bundle over a compact metric space X and let A_ζdenote the C*-algebra of sections of this bundle. We determine the rational homotopy type as an H-space of UA_ζ, the group of unitaries of A_ζ. The answer turns out to be independent of the bundle ζand depends only upon n and the rational cohomology of X. We prove analogous results for the gauge group and the projective gauge group of a principal bundle over a compact metric space X. △ Less

Submitted 19 August, 2009; v1 submitted 5 November, 2008; originally announced November 2008.

Comments: Final version. To appear in J. of Topology and Analysis. Garbled text in abstract removed

MSC Class: 46J05; 46L85; 55P62; 54C35; 55P15; 55P45

Banach Algebras and Rational Homotopy Theory

Authors: Gregory Lupton, N. Christopher Phillips, Claude L. Schochet, Samuel B. Smith

Abstract: Let $A$ be a unital commutative Banach algebra with maximal ideal space $X.$ We determine the rational H-type of the group $GL_n (A)$ of invertible n by n matrices with coefficients in A, in terms of the rational cohomology of $X.$ We also address an old problem of J. L. Taylor. Let $Lc_n (A)$ denote the space of "last columns" of $GL_n (A).$ For $n > 1 + s/2,$ we construct a natural isomorphism… ▽ More Let $A$ be a unital commutative Banach algebra with maximal ideal space $X.$ We determine the rational H-type of the group $GL_n (A)$ of invertible n by n matrices with coefficients in A, in terms of the rational cohomology of $X.$ We also address an old problem of J. L. Taylor. Let $Lc_n (A)$ denote the space of "last columns" of $GL_n (A).$ For $n > 1 + s/2,$ we construct a natural isomorphism from the rational Cech cohomology group $H^s (X; Q)$ to the rational homotopy group $π_{2 n - 1 - s} (Lc_n (A)) \otimes Q,$ which shows that the rational cohomology groups of $X$ are determined by a topological invariant associated to $A.$ As part of our analysis, we determine the rational H-type of certain gauge groups $F (X, G)$ for $G$ a Lie group or, more generally, a rational H-space. △ Less

Submitted 26 April, 2007; v1 submitted 12 September, 2005; originally announced September 2005.

Comments: 29 pages, AMSLaTeX2e, uses xypic. Version 2 contains various minor corrections and improvements (including additional references), and is to appear in Trans. AMS

MSC Class: 46J05; 46L85; 55P62; 54C35; 55P15; 55P45

The Fine Structure of the Kasparov Groups III: Relative Quasidiagonality

Authors: Claude Schochet

Abstract: 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 . T… ▽ More 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. △ Less

Submitted 12 July, 2001; originally announced July 2001.

Comments: 34 pages

MSC Class: 46L80; 47A66; 19K35 (Primary)

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

Authors: Claude Schochet

Abstract: 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 E… ▽ More 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. △ Less

Submitted 10 July, 2001; originally announced July 2001.

Comments: 25 pages

MSC Class: 46L80; 47A66 19K35 (Primary)

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

Authors: Claude Schochet

Abstract: 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. 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. △ Less

Submitted 6 July, 2001; originally announced July 2001.

Comments: 35 pages. To appear in J. Functional Analysis

MSC Class: 46L80; 19K35; 47A66 (Primary) 19K56 (Secondary)

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

Authors: Claude Schochet

Abstract: 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 torsi… ▽ More 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. △ Less

Submitted 5 July, 2001; originally announced July 2001.

Comments: 9 pages.To appear in International J. Math

MSC Class: 46L80; 19K35; 46L85