Showing 1–9 of 9 results for author: Schochet, C L

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

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