DOCSLIB.ORG

Noncommutative Topology and Quantum Groups

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Noncommutative Topology and Quantum Groups Noncommutative topology and quantum groups . Takeshi Katsura Faculty of Science and Technology, Keio University 27th / June / 2017 Boston University / Keio University Workshop 2017 Geometry and Mathematical Physics Boston University 26th-30th / June / 2017 Takeshi Katsura Noncommutative topology and quantum groups Plan PART I. Noncommutative topology x1: C*-algebras and Gelfand transform x2: Deformation quantization x3: Group C*-algebras x4: Crossed products x5: Warped crossed products PART II. Quantum groups Takeshi Katsura Noncommutative topology and quantum groups PART I. Noncommutative topology • A suitable algebra A of functions on a space X remembers the space X. • Transfer a theory of spaces X to a theory of the algebras A of functions on X. • Extend such theories from commutative algebras to noncommutative algebras. • Regard a noncommutative algebra as an algebra of “functions” on a “noncommutative space”. Takeshi Katsura Noncommutative topology and quantum groups x1: Definition of C*-algebras . .Definition *-algebra := algebra A over complex numbers C ∗ . w/ involution A 3 x 7! x 2 A (αx)∗ = αx∗ (x + y)∗ = x∗ + y∗ (xy)∗ = y∗x∗ (x∗)∗ = x . .Definition C*-algebra := ∗-algebra A w/ complete norm k · k ∗ 2 . satisfying kxyk ≤ kxkkyk, kx xk = kxk In this talk, every C*-algebra is unital i.e. has a multiplicative identity 1 Takeshi Katsura Noncommutative topology and quantum groups x1: Examples of C*-algebras . Example (C*-algebra) . • complex numbers C • the matrix algebras Mn(C) (n = 1; 2;:::) • the algebra B(H) of bounded operators . on a Hilbert space H . Theorem (Gelfand-Naimark) . Every C*-algebra is isomorphic H . to a C*-subalgebra of B( ). Takeshi Katsura Noncommutative topology and quantum groups x1: Gelfand transform . Example (commutative C*-algebra) . X: compact space f ! C j g .C(X) := f : X continuous T := fz 2 C j jzj = 1g n-torus Tn n-sphere Sn real projective n-space RPn . Theorem (Gelfand) . Every unital commutative C*-algebra is isomorphic . to C(X) for a unique compact space X. Takeshi Katsura Noncommutative topology and quantum groups x2: Deformation quantization “continuous” map [0; 1) 3 q 7! Aq: C*-algebra s.t. A0 C(X): commutative C*-algebra Recipe for deformation quantization of a compact space X: ∗ (i) C(X) C (f1;:::; fn j Rc [Ro) Rc: commutation relations fk fl = flfk , ∗ ∗ fk fl = flfk Ro: other relations among ffk g ∗ ;:::; j Rq [R (ii) Aq := C (a1 an c o) Rq iq c : relations ak al = e alak etc. Takeshi Katsura Noncommutative topology and quantum groups x2: Generators and relations X: compact space f1;:::; fn 2 C(X) f1;:::; fn genarates C(X) n () f := (f1;:::; fn): X ! C is injective other relations Ro among ffk g ! relations determining f(X) ⊂ Cn . Example . • C(T) C∗(u j u∗u = uu∗ = 1) u: unitary n ∗ • C(T ) C (u1;:::; un j uk ul = uluk uk : unitary) • n−1 ∗ ;:::; j C(S ) C (h1 hn hk hPl = hlhk ∗; n 2 . hk = hk k=1 hk = 1) Takeshi Katsura Noncommutative topology and quantum groups x2: Examples of deformation quantization • Noncommutative 2-torus 2 R 3 θ 7! Aθ (A0 = C(T )) ∗ 2πiθ Aθ := C (u; v j uv = e vu; u; v: unitary) −n 2 2 ♠ Kn(Aθ) = Kn(A0) = K (T ) = Z (n = 0; 1) • Noncommutative 3-sphere 3 R 3 θ 7! Bθ (B0 = C(S )) 3 ∗ C(S ) Bθ := C (u; v j uv = e2πiθvu; u∗u = uu∗ v∗v = vv∗; u∗u + v∗v = 1) ♠ U(1)-bundle over S2, Heegaard splitting, noncommutative lens space Takeshi Katsura Noncommutative topology and quantum groups x3: Group C*-algebras Γ: (discrete) group ∗ ∗ C (Γ) := C (fut gt2Γ j ut : unitary; ut us = uts) C∗(Γ) remembers all unitary representations of Γ C∗(Γ) is commutative () Γ is abelian in this case C∗(Γ) C(bΓ) where bΓ: the Pontryagin dual of Γ . Example . C∗(Z) C(T), C∗(Zn) C(Tn) F: finite abelian ) C∗(F) C(bF) C(F) CjFj ∗ C ⊕ C ⊕ C . C (S3) M2( ) Takeshi Katsura Noncommutative topology and quantum groups x3: Twisted Group C*-algebra !:Γ × Γ ! T: 2-cocycle of Γ −1 −1 (!(t0; t1)!(t0; t1t2) !(t0t1; t2)!(t1; t2) = 1) ∗ ∗ C!(Γ) := C (fut gt2Γ j ut : unitary; ut us = !(t; s)uts) . Example . 2 2 θ 2 R, !θ : Z × Z ! T by 2πimkθ !θ((n; m); (k; l)) = e ∗ 2 C (Z ) = Aθ: noncommutative 2-torus . !θ In part II, we discuss examples for the Klein 4-group K (Z=2Z) × (Z=2Z). Takeshi Katsura Noncommutative topology and quantum groups x4: Crossed products Γ: (discrete) group, X: compact space, α:Γ y X: action (i.e. Γ 3 t 7! αt 2 Homeo(X): group hom) C(X) oα Γ: crossed product C*-algebra generated by C(X) and unitaries fut gt2Γ satisfying ut us = uts and fut = ut (f ◦ αt ) If α: trivial (αt = id) and Γ is abelian, ∗ b C(X) oα Γ C(X) ⊗ C (Γ) C(X × Γ) Takeshi Katsura Noncommutative topology and quantum groups x4: noncommutative 2-torus revisited C(X) oα Γ “” C(X=Γ) ⊗ MjΓj(C) θ 2 R αθ : Z y T: action by Z 3 n 7! (z 7! e2πinθz) 2 Homeo(T) T o Z Then, C( ) αθ Aθ: noncommutative 2-torus In this way, one can get many deformation quantization of spaces like X × T. Noncommutative crossed product, twisted crossed product, ::: Takeshi Katsura Noncommutative topology and quantum groups x5: Warped crossed products X: compact space, α: Z y X: action ! α1 2 Homeo(X) L: Hermitian line bundle over X C(X) oα,L Z: warped crossed product (Søren Eilers-TK) 1 α: trivial (α1 = id), ) C(X) oα,L Z C(L ) where L1 := fv 2 L j kvk = 1g principal U(1)-bundle associated with L X = S2 and L varies (e.g. Hopf fibration), deformation quantization of S3 or the Lens spaces (Matsumoto-Tomiyama) Takeshi Katsura Noncommutative topology and quantum groups PART II. Quantum groups PART I: X: compact space ! C(X): C*-algebra PART II G: compact group i.e. G: compact space ! C(G): C*-algebra with product G × G ! G with coproduct ∆: C(G) ! C(G × G) by ∆(f)(t; s) = f(ts) ♠ C(G × G) C(G) ⊗ C(G) (c.f. Hopf algebra) Takeshi Katsura Noncommutative topology and quantum groups x1. Definition and Examples . .Definition compact quantum group := C*-algebra A with coproduct ∆: A ! A ⊗ A s.t. ⊗ ◦ ⊗ ◦ 9 . (∆ idA ) ∆ = (idA ∆) ∆ and “ inverse” . Example (compact quantum group) . • C(G) for a compact group G • C∗(Γ) for a discrete group Γ with ∆(ut ) = ut ⊗ ut • ::: . SUq(n), Takeshi Katsura Noncommutative topology and quantum groups x1: Duality Theorem ♠ Dual quantum group a compact quantum group (A; ∆) a discrete quantum group (Ab; ∆)b , a discrete quantum group (A; ∆) a compact quantum group (Ab; ∆)b , . Example . F: finite group (C(F); ∆) and (C∗(F); ∆) are . the duals of each others. Takeshi Katsura Noncommutative topology and quantum groups x2: Definition of free symmetric groups n2 Sn ,! U(n) ,! Mn(C) C ∗ f g n j R [R C(Sn) C ( pk;l k;l=1 c o) Rc: commutation relations pk;lpk 0;l0 = pk 0;l0 pk;l ∗ 2 R ; = = ; o: pPk l projection (i.e. pk;l P pk;l pk l) n n p ; = 1 (8k), p ; = 1 (8l) l=1P k l k=1 k l n ⊗ ∆(pk;l) = m=1 pk;m pm;l . Definition (Wang ’98) . (As(n); ∆): free symmetric group ∗ f g n j R As(n) := C ( pk;l k;l=1 o) . magic square C*-algebra Takeshi Katsura Noncommutative topology and quantum groups x2: Results on free symmetric groups . Proposition . n = 1; 2; 3 ) (As(n); ∆) (C(Sn); ∆) n ≥ 4 ) As(n): noncommutative, 1-dim. n ≥ 5 ) (As(n); ∆): not coamenable, . As(n): not exact . Proposition (Banica-Collins, Ogawa) . ,! R 3 ⊗ C R 3; C .As(4) C( P ) M4( ) C( P M4( )) Takeshi Katsura Noncommutative topology and quantum groups x3: Magic square C*-algebra of size 4 ∗ f g 4 j R As(4) = C ( pk;l k;l=1 o) ∗ 2 R : p ; projection (i.e. p = p = p ; ) o Pk l k;l P k;l k l 4 8 4 8 l=1 pk;l = 1 ( k), k=1 pk;l = 1 ( l) . .Definition K := ft1; t2; t3; t4g ⊂ S4: Klein 4-group . t2 = (12)(34), t3 = (13)(24), t4 = (14)(23) α: S4 × S4 y As(4): action ασ,τ(pk;l) = pσ(k),τ(l) Restrict α to K × K ⊂ S4 × S4. Takeshi Katsura Noncommutative topology and quantum groups x3: 2-cocycle of K k⧹l 1 2 3 4 1 1 1 1 1 "k;l := 2 1 −1 1 −1 3 1 −1 −1 1 4 1 1 −1 −1 !: K × K ! T: 2-cocycle by !(tk ; tl) := "k;l ∗ ∗ 4 C!(K) M2(C) (c.f. C (K) C ) c1; c2; c3; c4 2 M2(C): unitary tk tl = tm ck cl = "k;lcm Takeshi Katsura Noncommutative topology and quantum groups x3: Pauli matrices Pauli matrix c ; c ; c ; c 2 M (C) 1 ! 2 3 4 2 ! 1 0 ; i 0 ; c1 = c2 = − 0 1 ! 0 i ! 0 1 0 i c = ; c = 3 −1 0 4 i 0 fc1; c2; c3; c4g: orthonormal basis of the Hilbert space (M (C); trace) (C4; ⟨·|·⟩) P2 3 3 ; ; ; 7! 4 2 S (a1 a2 a3 a4) k=1 ak ck SU(2) SU(2)={±1g RP3 Takeshi Katsura Noncommutative topology and quantum groups x3: Real projective space n−1 n n−1 S ,! R h1;:::; hn 2 C(S ) n−1 n−1 hk hl factors through RP fk;l 2 C(RP ) .
Load more

Recommended publications
  • Noncommutative Geometry, the Spectral Standpoint Arxiv
    Noncommutative Geometry, the spectral standpoint Alain Connes October 24, 2019 In memory of John Roe, and in recognition of his pioneering achievements in coarse geometry and index theory. Abstract We update our Year 2000 account of Noncommutative Geometry in [68]. There, we de- scribed the following basic features of the subject: I The natural “time evolution" that makes noncommutative spaces dynamical from their measure theory. I The new calculus which is based on operators in Hilbert space, the Dixmier trace and the Wodzicki residue. I The spectral geometric paradigm which extends the Riemannian paradigm to the non- commutative world and gives a new tool to understand the forces of nature as pure gravity on a more involved geometric structure mixture of continuum with the discrete. I The key examples such as duals of discrete groups, leaf spaces of foliations and de- formations of ordinary spaces, which showed, very early on, that the relevance of this new paradigm was going far beyond the framework of Riemannian geometry. Here, we shall report1 on the following highlights from among the many discoveries made since 2000: 1. The interplay of the geometry with the modular theory for noncommutative tori. 2. Great advances on the Baum-Connes conjecture, on coarse geometry and on higher in- dex theory. 3. The geometrization of the pseudo-differential calculi using smooth groupoids. 4. The development of Hopf cyclic cohomology. 5. The increasing role of topological cyclic homology in number theory, and of the lambda arXiv:1910.10407v1 [math.QA] 23 Oct 2019 operations in archimedean cohomology. 6. The understanding of the renormalization group as a motivic Galois group.
    [Show full text]
  • Noncommutative Functional Analysis for Undergraduates"
    N∞M∞T Lecture Course Canisius College Noncommutative functional analysis David P. Blecher October 22, 2004 2 Chapter 1 Preliminaries: Matrices = operators 1.1 Introduction Functional analysis is one of the big fields in mathematics. It was developed throughout the 20th century, and has several major strands. Some of the biggest are: “Normed vector spaces” “Operator theory” “Operator algebras” We’ll talk about these in more detail later, but let me give a micro-summary. Normed (vector) spaces were developed most notably by the mathematician Banach, who not very subtly called them (B)-spaces. They form a very general framework and tools to attack a wide range of problems: in fact all a normed (vector) space is, is a vector space X on which is defined a measure of the ‘length’ of each ‘vector’ (element of X). They have a huge theory. Operator theory and operator algebras grew partly out of the beginnings of the subject of quantum mechanics. In operator theory, you prove important things about ‘linear functions’ (also known as operators) T : X → X, where X is a normed space (indeed usually a Hilbert space (defined below). Such operators can be thought of as matrices, as we will explain soon. Operator algebras are certain collections of operators, and they can loosely be thought of as ‘noncommutative number fields’. They fall beautifully within the trend in mathematics towards the ‘noncommutative’, linked to discovery in quantum physics that we live in a ‘noncommutative world’. You can study a lot of ‘noncommutative mathematics’ in terms of operator algebras. The three topics above are functional analysis.
    [Show full text]
  • REPORT on the Progress of the MAGIC Project 2006-07. Contents
    REPORT on the progress of the MAGIC project 2006-07. Contents 1. Introduction .................................................................................................................2 2. Overview of the procurement process and installation of equipment. ..........................4 3. Academic Aspects.......................................................................................................5 4. Other MAGIC activites................................................................................................8 5. Budget Matters............................................................................................................9 6. Summary.....................................................................................................................9 APPENDIX 1.................................................................................................................11 APPENDIX 2a..............................................................................................................20 APPENDIX 2b...............................................................................................................21 APPENDIX 4.................................................................................................................23 APPENDIX 5.................................................................................................................31 1. Introduction The MAGIC (Mathematics Access Grid Instruction and Collaboration) project commenced in October 2006 following the receipt of
    [Show full text]
  • Arxiv:1902.10451V4 [Math.OA] 2 Dec 2019 Hntedsac Rmtepair the from Distance the Then Neligspace)
    ALMOST COMMUTING MATRICES, COHOMOLOGY, AND DIMENSION DOMINIC ENDERS AND TATIANA SHULMAN Abstract. It is an old problem to investigate which relations for families of commuting matrices are stable under small perturbations, or in other words, which commutative C∗-algebras C(X) are matricially semiprojective. Extend- ing the works of Davidson, Eilers-Loring-Pedersen, Lin and Voiculescu on al- most commuting matrices, we identify the precise dimensional and cohomo- logical restrictions for finite-dimensional spaces X and thus obtain a complete characterization: C(X) is matricially semiprojective if and only if dim(X) ≤ 2 and H2(X; Q)= 0. We give several applications to lifting problems for commutative C∗-algebras, in particular to liftings from the Calkin algebra and to l-closed C∗-algebras in the sense of Blackadar. 1. Introduction Questions concerning almost commuting matrices have been studied for many decades. Originally, these types of questions first appeared in the 1960’s and were popularized by Paul Halmos who included one such question in his famous list of open problems [Hal76]. Specifically he asked: Is it true that for every ǫ> 0 there is a δ > 0 such that if matrices A, B satisfy kAk≤ 1, kBk≤ 1 and kAB − BAk < δ, then the distance from the pair A, B to the set of commutative pairs is less than ǫ? (here ǫ should not depend on the size of matrices, that is on the dimension of the underlying space). Is the same true in additional assumption that A and B are Hermitian? First significant progress was made by Voiculescu [Voi83] who observed that arXiv:1902.10451v4 [math.OA] 2 Dec 2019 almost commuting unitary matrices need not be close to exactly commuting unitary matrices.
    [Show full text]
  • Mathematical Sciences Meetings and Conferences Section
    page 1349 Calendar of AMS Meetings and Conferences Thla calandar lists all meetings which have been approved prior to Mathematical Society in the issue corresponding to that of the Notices the date this issue of Notices was sent to the press. The summer which contains the program of the meeting, insofar as is possible. and annual meetings are joint meetings of the Mathematical Associ­ Abstracts should be submitted on special forms which are available in ation of America and the American Mathematical Society. The meet­ many departments of mathematics and from the headquarters office ing dates which fall rather far in the future are subject to change; this of the Society. Abstracts of papers to be presented at the meeting is particularly true of meetings to which no numbers have been as­ must be received at the headquarters of the Society in Providence, signed. Programs of the meetings will appear in the issues indicated Rhode Island, on or before the deadline given below for the meet­ below. First and supplementary announcements of the meetings will ing. Note that the deadline for abstracts for consideration for pre­ have appeared in earlier issues. sentation at special sessions is usually three weeks earlier than that Abatracta of papara presented at a meeting of the Society are pub­ specified below. For additional information, consult the meeting an­ lished in the journal Abstracts of papers presented to the American nouncements and the list of organizers of special sessions. Meetings Abstract Program Meeting# Date Place Deadline Issue
    [Show full text]
  • An Introduction to Noncommutative Topology Francesca Arici
    An introduction to noncommutative topology Francesca Arici Mathematical Institute, Leiden University, P.O. Box 9512, 2300 RA Leiden, the Netherlands E-mail address: [email protected] This work was partially funded by the Netherlands Organisation of Scientific Research (NWO) under the VENI grant 016.192.237. Abstract. C∗{algebras provide an elegant setting for many problems in mathematics and physics. In view of Gelfand duality, their study is often referred to as noncommutative topology: general noncommutative C∗{algebras are interpreted as noncommutative spaces. These form an established research field within mathematics, with applications to quantum theory and other areas where deformations play a role. Many classical geometric and topological concepts can be translated into operator algebraic terms, leading to the so-called noncommutative geometry (NCG) dictionary. These lectures aim to provide the participants with the tools to understand, consult and use the NCG dictionary, covering the basic theory of C∗-algebra and their modules. Focus will be given on examples, especially those that come from deformation theory and quantisation. Contents Chapter 1. An introduction to commutative C∗-algebras5 Motivation 5 1. Trading spaces for algebras5 Chapter 2. Noncommutative C∗-algebas, representations, and the GNS construction 19 1. Representation of C∗-algebras 19 2. States and the GNS construction 22 3. Notable C∗-algebras 25 Chapter 3. Modules as bundles 29 1. Modules and fiber bundles 29 2. Line bundles, Self-Morita equivalence bimodules, and the Picard group 34 Chapter 4. Cuntz{Pimsner algebras and circle bundles 37 1. Pimsner algebras 37 2. Circle actions 39 Bibliography 41 3 CHAPTER 1 An introduction to commutative C∗-algebras Motivation Over the past decades, the term noncommutative topology has come to indicate the study of C∗-algebras.
    [Show full text]
  • 'Interpolating' Between Hilbert Space Operators, and Real Positivity For
    `Interpolating' between Hilbert space operators, and real positivity for operator algebras David Blecher University of Houston June 2014 Abstract With Charles Read we have introduced and studied a new notion of (real) positivity in operator algebras, with an eye to extending certain C-algebraic results and theories to more general algebras. As motivation note that the `completely' real positive maps on C∗-algebras or operator systems are precisely the completely positive maps in the usual sense; however with real positivity one may develop a useful order theory for more general spaces and algebras. This is intimately connected to new relationships between an operator algebra and the C∗-algebra it generates, and in particular to what we call noncommutative peak interpolation, and noncommutative peak sets. We report on the state of this theory (joint work with Read, and some with Matt Neal, some in progress at the time of writing) and on the parts of it that generalize further to certain classes of Banach algebras (joint work with Narutaka Ozawa). Part I. Noncommutative topology and `interpolation' • We make a noncommutative generalization of function theory, and in particular the theory of algebras of continuous functions on a topological space (function algebras/uniform algebras), where historically there was an interesting kind of `relative topology' going on (peak sets). Part I. Noncommutative topology and `interpolation' • We make a noncommutative generalization of function theory, and in particular the theory of algebras of continuous functions on a topological space (function algebras/uniform algebras), where historically there was an interesting kind of `relative topology' going on (peak sets).
    [Show full text]
  • Short Steps in Noncommutative Geometry
    SHORT STEPS IN NONCOMMUTATIVE GEOMETRY AHMAD ZAINY AL-YASRY Abstract. Noncommutative geometry (NCG) is a branch of mathematics concerned with a geo- metric approach to noncommutative algebras, and with the construction of spaces that are locally presented by noncommutative algebras of functions (possibly in some generalized sense). A noncom- mutative algebra is an associative algebra in which the multiplication is not commutative, that is, for which xy does not always equal yx; or more generally an algebraic structure in which one of the principal binary operations is not commutative; one also allows additional structures, e.g. topology or norm, to be possibly carried by the noncommutative algebra of functions. These notes just to start understand what we need to study Noncommutative Geometry. Contents 1. Noncommutative geometry 4 1.1. Motivation 4 1.2. Noncommutative C∗-algebras, von Neumann algebras 4 1.3. Noncommutative differentiable manifolds 5 1.4. Noncommutative affine and projective schemes 5 1.5. Invariants for noncommutative spaces 5 2. Algebraic geometry 5 2.1. Zeros of simultaneous polynomials 6 2.2. Affine varieties 7 2.3. Regular functions 7 2.4. Morphism of affine varieties 8 2.5. Rational function and birational equivalence 8 2.6. Projective variety 9 2.7. Real algebraic geometry 10 2.8. Abstract modern viewpoint 10 2.9. Analytic Geometry 11 3. Vector field 11 3.1. Definition 11 3.2. Example 12 3.3. Gradient field 13 3.4. Central field 13 arXiv:1901.03640v1 [math.OA] 9 Jan 2019 3.5. Operations on vector fields 13 3.6. Flow curves 14 3.7.
    [Show full text]
  • An Essay on Noncommutative Topology*
    Topology and its Applications 31 (1989) 203-223 203 North-Holland AN ESSAY ON NONCOMMUTATIVE TOPOLOGY* Francis BORCEUX and Gilberte VAN DEN BOSSCHE Dipartement de Mathhmatique, Uniuersite’ Catholique de Louvain, 2 chemin du Cyclotron, 1348 Louvain-la-Neuve, Belgium Received 11 July 1985 Revised 12 October 1987 A quantum space is a set provided with a family of open subsets, stable under arbitrary unions and a noncommutative finite “intersection”. A basic example is given by the spectrum of a C*-algebra, where the noncommutative “intersection” is induced by the product of ideals. We develop the basic theory of quantum spaces and some applications to @*-algebras. AMS (MOS) Subj. Class.: 54A05, 54B35, 46LO5,46L30 irreducible representation If A is a @*-algebra, its spectrum Spec A is classically defined as the set of its pure states provided with a convenient topology. For every closed right ideal Z, consider the subset 6, = {f~ Spec A /3x E I f(xx*) # 0). The topology classically considered on Spec A is given by the B,‘s, with I closed and 2-sided. When A is the @“-algebra of compact linear operators on a Hilbert space, it turns out that (0) and A are the only closed 2-sided ideals; in that case the topology on the spectrum is just the indiscrete one, which fails to be interesting. On the other hand, the family of all “open subsets” ol, for every closed right ideal I, provides the spectrum of A with an interesting structure. For example when A is the matrix algebra C=“““, this construction produces exactly the n - 1 dimensional complex projective space, with its projective subspaces as “closed subsets”.
    [Show full text]
  • 208 C*-Algebras
    208 C*-algebras Marc Rieffel Notes by Qiaochu Yuan Spring 2013 Office hours: M 9:30-10:45, W 1:15-2:)0, F 9-10, 811 Evans Recommended text: Davidson, C*-algebras 1 Introduction The seeds of this subject go back to von Neumann, Heisenberg, and Schrodinger in the 1920s; observables in quantum mechanics should correspond to self-adjoint operators on Hilbert spaces, and the abstract context for understanding self-adjoint operators is C*-algebras. In the 1930s, von Neumann wrote about what are now called von Neumann algebras, namely subalgebras of the algebra of operators on a Hilbert space closed under adjoints and in the strong operator topology. This subject is sometimes called noncommutative measure theory because a commutative von Neumann algebra is isomorphic to L1(X) for some measure space X. In 1943, Gelfand and Naimark introduced the notion of a C*-algebra, namely a Banach algebra with an involution ∗ satisfying ka∗k = kak and ka∗ak = kak2. They showed that if such an algebra A is commutative, then it is isomorphic to the C*-algebra C(X) of continuous complex-valued functions on a compact Hausdorff space X. This space X is obtained as the Gelfand spectrum of unital C*-algebra homomorphisms A ! C. Noncommutative examples include the algebra B(H) of bounded operators on a Hilbert space. Gelfand and Naimark also showed that any C*-algebra is *-isomorphic to a *-algebra of operators on a Hilbert space. This subject is sometimes called noncommutative topology (as C*-algebras behave like the algebra of functions on a compact Hausdorff space).
    [Show full text]
  • A Case Study in Noncommutative Topology
    COMMUNICATION A Case Study in Noncommutative Topology Claude L. Schochet Communicated by Gerald B. Folland space 푋 is compact Hausdorff and 퐴 ≅ 퐶(푋). So studying ABSTRACT. This is an expository note focused upon commutative unital 퐶∗-algebras is the same as studying ∗ one example, the irrational rotation 퐶 -algebra. We compact Hausdorff spaces—a natural category for alge- discuss how this algebra arises in nature—in quantum braic topology. Most 퐶∗-algebras are noncommutative, mechanics, group actions, and foliated spaces, and and so studying them we explain how 퐾-theory is used to get information is doing noncommuta- out of it. tive topology! Mathematicians Our goal is to write as if we are sitting in struggled to keep Introduction a coffeehouse and ex- up, to keep the This is the opposite of a survey paper. Here we are plaining an idea to a interested in one example, usually known as the irrational good friend (on nap- ∗ physics honest. rotation 퐶 -algebra or noncommutative torus and written kins, of course). So we 퐴휆, where 휆 is some irrational number between 0 and 1. are interested in get- We will show that 퐴휆 arises in at least three quite different ting an idea across but not at all interested in the contexts: technical details that, in any event, would be lost if the (1) quantum mechanics, coffee spilled.1 (2) action of a group on a compact Hausdorff space, (3) foliated spaces. Quantum Mechanics Then we will use 퐾-theory and traces to show that for 휆 In 1926–1927 the quantum-mechanical revolution in irrational between 0 and 1/2, the 퐴휆 are all nonisomorphic.
    [Show full text]
  • Quantum Spaces and Their Noncommutative Topology, Volume
    fea-cuntz.qxp 8/2/01 9:03 AM Page 793 Quantum Spaces and Their Noncommutative Topology Joachim Cuntz oncommutative geometry studies the differential operators, and the algebra of differential geometry of “quantum spaces”. Put a forms all on the same footing. little more prosaically, this means the Now, what is a “geometric” property of a non- “geometric properties” of noncommu- commutative algebra? How can one describe Ntative algebras (say, over the field C characteristic classes or additional structures of complex numbers). Such algebras include, for like a Riemannian metric for a noncommutative instance, algebra? These questions are what noncommuta- • algebras of pseudodifferential operators, tive geometry is all about; see the fascinating book algebras of leafwise differential operators on by Connes [5]. foliated manifolds, algebras of differential The two fundamental “machines” of noncom- forms, group algebras or convolution algebras mutative geometry are cyclic homology and for groupoids; (bivariant) topological K-theory. Cyclic theory can • noncommutative or “quantized” versions of be viewed as a far-reaching generalization of familiar algebras such as algebras of functions the classical de Rham cohomology, while bivariant on spheres, on tori, on simplicial complexes, K-theory includes the topological K-theory of or on classifying spaces; Atiyah-Hirzebruch as a very special case. genuinely new noncommutative algebras, Bivariant K-theory was first defined and devel- • ∗ for instance, ones motivated by quantum oped by Kasparov on the category of C -algebras, mechanics. thereby unifying and decisively extending previous The underlying philosophy is based on the ob- work by Atiyah-Hirzebruch, Brown-Douglas- servation that various categories of spaces can be Fillmore, and others.
    [Show full text]