Basic Noncommutative Geometry Second Edition Author

Total Page:16

File Type:pdf, Size:1020Kb

Basic Noncommutative Geometry Second Edition Author Masoud Khalkhali Basic Noncommutative Geometry Second edition Author: Masoud Khalkhali Department of Mathematics The University of Western Ontario London, Ontario N6A 5B7 Canada E-mail: [email protected] First edition published in 2009 by the European Mathematical Society Publishing House 2010 Mathematics Subject Classification: 58-02; 58B34 Key words: Noncommutative space, noncommutative quotient, groupoid, cyclic cohomology, Connes–Chern character, index formula ISBN 978-3-03719-128-6 The Swiss National Library lists this publication in The Swiss Book, the Swiss national bibliography, and the detailed bibliographic data are available on the Internet at http://www.helveticat.ch. This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in other ways, and storage in data banks. For any kind of use permission of the copyright owner must be obtained. © 2013 European Mathematical Society Contact address: European Mathematical Society Publishing House Seminar for Applied Mathematics ETH-Zentrum SEW A27 CH-8092 Zürich Switzerland Phone: +41 (0)44 632 34 36 Email: [email protected] Homepage: www.ems-ph.org Typeset using the author’s TEX files: I. Zimmermann, Freiburg Printed on acid-free paper produced from chlorine-free pulp. TCF °° Printing and binding: Beltz Bad Langensalza GmbH, Bad Langensalza, Germany 9 8 7 6 5 4 3 2 1 For Azadeh and Saman Preface to the second edition The first edition of this book was published about four years ago. My goal was to write an introductory graduate level textbook mostly on topological aspects of Noncommu- tative Geometry to fill a certain gap in the literature. When my publisher told me that the book is out of print and there is still good demand for it and we should perhaps think about a second edition, I felt vindicated! Not much has changed in this second edition. I have just added two new sections, and deleted none. One is a very brief, and I am afraid awfully terse, introduction to a very recent development in the subject concerning the Gauss–Bonnet theorem and scalar curvature for curved noncommutative tori, and the second is a brief introduction to Hopf cyclic cohomology. A proper treatment of curvature in noncommutative geometry requires tools beyond the scope of this book and can only be adequately treated with much extra preparatory material. The bibliography is extended and some new examples are offered. The progress in noncommutative geometry in the last thirty five years can be roughly divided into three phases in chronological order: topological, spectral, and arithmeti- cal. A student of the subject is well advised to follow the historical development and acquaint herself with all three aspects before focusing on a particular research topic. As said before, this book mostly covers topological issues: noncommutative spaces, cyclic cohomology and its relation with K-theory and K-homology, noncommutative index theory, and noncommutative quotients. Much has happened in the field between these two editions which unfortunately cannot be dealt with here without substantially increasing the number of pages. For an introduction to the circle of ideas relating number theory and algebraic geometry to noncommutative geometry I refer to Connes and Consani [43] and their last paper [44] and references therein. For relations with spectral geometry, high energy physics, and number theory, the reader is referred to Connes–Marcolli’s monograph [55]. How to use this book: Noncommutative geometry draws on many ideas and techniques from different areas of mathematics which are usually not all mastered by a graduate student. Given this, I would like to say a few words about using this book as a textbook for a graduate course. My experience is that it is not possible to cover all the material in one term and one really needs a full year course for that. One can teach a one term course based on Chapter 3, cyclic cohomology. Here the instructor needs to fill in background material on homological algebra that I have assumed and is not discussed in the text: resolutions, derived functors, long exact sequences, and spectral sequences. I have also assumed basic knowledge of algebraic topology based on differential forms and de Rham cohomology. Alternatively a one term course can be taught based on Chapter 4, Connes–Chern character. This chapter is more analysis based and assumes viii Preface to the second edition basic notions of functional analysis and operator theory. The instructor can add extra material on K-theory, K-homology, spectral triples, pseudodifferential operators, and the index theorem. I think basic ideas of Chapter 1 on duality theorems, and Chapter 2 on noncommutative quotients should be incorporated in any introductory course on the subject. It is a great pleasure to thank Manfred Karbe and Irene Zimmermann at the EMS Publishing House for their care, support, and advice, in different stages of the produc- tion of this book. I would also like to thank all those who wrote in with encouraging words of support, or critical comments and suggestions. Masoud Khalkhali London, Ontario, September 2013 Contents Preface to the second edition vii Introduction xi 1 Examples of algebra-geometry correspondences 1 1.1 Locally compact spaces and commutative C -algebras ........ 1 1.1.1 The spectrum ........................... 2 1.1.2 The Gelfand transform ...................... 3 1.1.3 Noncommutative spaces ..................... 7 1.1.4 Noncommutative spaces from groups .............. 9 1.1.5 Noncommutative tori ....................... 14 1.2 Vector bundles, finite projective modules, and idempotents ...... 18 1.3 Affine varieties and finitely generated commutative reduced algebras . 24 1.4 Affine schemes and commutative rings ................. 26 1.5 Compact Riemann surfaces and algebraic function fields ....... 28 1.6 Sets and Boolean algebras ....................... 29 1.7 From groups to Hopf algebras and quantum groups .......... 30 1.7.1 Symmetry in noncommutative geometry ............ 39 2 Noncommutative quotients 47 2.1 Groupoids ................................ 47 2.2 Groupoid algebras ............................ 52 2.3 Morita equivalence ........................... 64 2.4 Morita equivalence for C -algebras .................. 73 2.5 Noncommutative quotients ....................... 79 2.6 Sources of noncommutative spaces ................... 86 3 Cyclic cohomology 87 3.1 Hochschild cohomology ........................ 89 3.2 Hochschild cohomology as a derived functor .............. 95 3.3 Deformation theory ........................... 102 3.4 Topological algebras .......................... 112 3.5 Examples: Hochschild (co)homology ................. 115 3.6 Cyclic cohomology ........................... 124 3.7 Connes’ long exact sequence ...................... 136 3.8 Connes’ spectral sequence ....................... 140 3.9 Cyclic modules ............................. 143 3.10 Examples: cyclic cohomology ..................... 148 x Contents 3.11 Hopf cyclic cohomology ........................ 154 4 Connes–Chern character 163 4.1 Connes–Chern character in K-theory .................. 163 4.1.1 Basic K-theory .......................... 164 4.1.2 Pairing with cyclic cohomology ................. 166 4.1.3 Noncommutative Chern–Weil theory .............. 172 4.1.4 The Gauss–Bonnet theorem and scalar curvature in noncommutative geometry .................... 176 4.2 Connes–Chern character in K-homology ................ 177 4.3 Algebras stable under holomorphic functional calculus ........ 194 4.4 A final word: basic noncommutative geometry in a nutshell ...... 199 Appendices 201 A Gelfand–Naimark theorems 201 A.1 Gelfand’s theory of commutative Banach algebras ........... 201 A.2 States and the GNS construction .................... 205 B Compact operators, Fredholm operators, and abstract index theory 212 C Projective modules 219 D Equivalence of categories 221 Bibliography 223 Index 235 Introduction One of the major advances of science in the 20th century was the discovery of a math- ematical formulation of quantum mechanics by Heisenberg in 1925 [103].1 From a mathematical point of view, this transition from classical mechanics to quantum me- chanics amounts to, among other things, passing from the commutative algebra of classical observables to the noncommutative algebra of quantum mechanical observ- ables. To understand this better we recall that in classical mechanics an observable of a system (e.g. energy, position, momentum, etc.) is a function on a manifold called the phase space of the system. Classical observables can therefore be multiplied in a pointwise manner and this multiplication is obviously commutative. Immediately after Heisenberg’s work, ensuing papers by Dirac [73] and Born–Heisenberg–Jordan [16], made it clear that a quantum mechanical observable is a (selfadjoint) linear operator on a Hilbert space, called the state space of the system. These operators can again be multiplied with composition as their multiplication, but this operation is not necessarily commutative any longer.2 In fact Heisenberg’s commutation relation h pq qp D 1 2i shows that position and momentum operators do not commute and this in turn can be shown to be responsible for the celebrated uncertainty principle of Heisenberg. Thus, to get a more accurate description of nature one is more or less forced to replace the commutative algebra of
Recommended publications
  • Noncommutative Geometry and the Spectral Model of Space-Time
    S´eminaire Poincar´eX (2007) 179 – 202 S´eminaire Poincar´e Noncommutative geometry and the spectral model of space-time Alain Connes IHES´ 35, route de Chartres 91440 Bures-sur-Yvette - France Abstract. This is a report on our joint work with A. Chamseddine and M. Marcolli. This essay gives a short introduction to a potential application in physics of a new type of geometry based on spectral considerations which is convenient when dealing with noncommutative spaces i.e. spaces in which the simplifying rule of commutativity is no longer applied to the coordinates. Starting from the phenomenological Lagrangian of gravity coupled with matter one infers, using the spectral action principle, that space-time admits a fine structure which is a subtle mixture of the usual 4-dimensional continuum with a finite discrete structure F . Under the (unrealistic) hypothesis that this structure remains valid (i.e. one does not have any “hyperfine” modification) until the unification scale, one obtains a number of predictions whose approximate validity is a basic test of the approach. 1 Background Our knowledge of space-time can be summarized by the transition from the flat Minkowski metric ds2 = − dt2 + dx2 + dy2 + dz2 (1) to the Lorentzian metric 2 µ ν ds = gµν dx dx (2) of curved space-time with gravitational potential gµν . The basic principle is the Einstein-Hilbert action principle Z 1 √ 4 SE[ gµν ] = r g d x (3) G M where r is the scalar curvature of the space-time manifold M. This action principle only accounts for the gravitational forces and a full account of the forces observed so far requires the addition of new fields, and of corresponding new terms SSM in the action, which constitute the Standard Model so that the total action is of the form, S = SE + SSM .
    [Show full text]
  • Space and Time Dimensions of Algebras With
    Space and time dimensions of algebras with applications to Lorentzian noncommutative geometry and quantum electrodynamics Nadir Bizi, Christian Brouder, Fabien Besnard To cite this version: Nadir Bizi, Christian Brouder, Fabien Besnard. Space and time dimensions of algebras with appli- cations to Lorentzian noncommutative geometry and quantum electrodynamics. Journal of Mathe- matical Physics, American Institute of Physics (AIP), 2018, 59 (6), pp.062303. 10.1063/1.4986228. hal-01398231v2 HAL Id: hal-01398231 https://hal.archives-ouvertes.fr/hal-01398231v2 Submitted on 16 May 2019 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Space and time dimensions of algebras with application to Lorentzian noncommutative geometry and quantum electrodynamics Nadir Bizi, Christian Brouder, and Fabien Besnard Citation: Journal of Mathematical Physics 59, 062303 (2018); doi: 10.1063/1.5010424 View online: https://doi.org/10.1063/1.5010424 View Table of Contents: http://aip.scitation.org/toc/jmp/59/6 Published by the American Institute of Physics Articles you may
    [Show full text]
  • Noncommutative Geometry and Flavour Mixing
    Noncommutative geometry and flavour mixing prepared by Jose´ M. Gracia-Bond´ıa Department of Theoretical Physics Universidad de Zaragoza, 50009 Zaragoza, Spain October 22, 2013 1 Introduction: the universality problem “The origin of the quark and lepton masses is shrouded in mystery” [1]. Some thirty years ago, attempts to solve the enigma based on textures of the quark mass matrices, purposedly reflecting mass hierarchies and “nearest-neighbour” interactions, were very popular. Now, in the late eighties, Branco, Lavoura and Mota [2] showed that, within the SM, the zero pattern 0a b 01 @c 0 dA; (1) 0 e 0 a central ingredient of Fritzsch’s well-known Ansatz for the mass matrices, is devoid of any particular physical meaning. (The top quark is above on top.) Although perhaps this was not immediately clear at the time, paper [2] marked a water- shed in the theory of flavour mixing. In algebraic terms, it establishes that the linear subspace of matrices of the form (1) is universal for the group action of unitaries effecting chiral basis transformations, that respect the charged-current term of the Lagrangian. That is, any mass matrix can be transformed to that form without modifying the corresponding CKM matrix. To put matters in perspective, consider the unitary group acting by similarity on three-by- three matrices. The classical triangularization theorem by Schur ensures that the zero patterns 0a 0 01 0a b c1 @b c 0A; @0 d eA (2) d e f 0 0 f are universal in this sense. However, proof that the zero pattern 0a b 01 @0 c dA e 0 f 1 is universal was published [3] just three years ago! (Any off-diagonal n(n−1)=2 zero pattern with zeroes at some (i j) and no zeroes at the matching ( ji), is universal in this sense, for complex n × n matrices.) Fast-forwarding to the present time, notwithstanding steady experimental progress [4] and a huge amount of theoretical work by many authors, we cannot be sure of being any closer to solving the “Meroitic” problem [5] of divining the spectrum behind the known data.
    [Show full text]
  • Noncommutative Stacks
    Noncommutative Stacks Introduction One of the purposes of this work is to introduce a noncommutative analogue of Artin’s and Deligne-Mumford algebraic stacks in the most natural and sufficiently general way. We start with quasi-coherent modules on fibered categories, then define stacks and prestacks. We define formally smooth, formally unramified, and formally ´etale cartesian functors. This provides us with enough tools to extend to stacks the glueing formalism we developed in [KR3] for presheaves and sheaves of sets. Quasi-coherent presheaves and sheaves on a fibered category. Quasi-coherent sheaves on geometric (i.e. locally ringed topological) spaces were in- troduced in fifties. The notion of quasi-coherent modules was extended in an obvious way to ringed sites and toposes at the moment the latter appeared (in SGA), but it was not used much in this generality. Recently, the subject was revisited by D. Orlov in his work on quasi-coherent sheaves in commutative an noncommutative geometry [Or] and by G. Laumon an L. Moret-Bailly in their book on algebraic stacks [LM-B]. Slightly generalizing [R4], we associate with any functor F (regarded as a category over a category) the category of ’quasi-coherent presheaves’ on F (otherwise called ’quasi- coherent presheaves of modules’ or simply ’quasi-coherent modules’) and study some basic properties of this correspondence in the case when the functor defines a fibered category. Imitating [Gir], we define the quasi-topology of 1-descent (or simply ’descent’) and the quasi-topology of 2-descent (or ’effective descent’) on the base of a fibered category (i.e.
    [Show full text]
  • 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]
  • Representation Theory
    M392C NOTES: REPRESENTATION THEORY ARUN DEBRAY MAY 14, 2017 These notes were taken in UT Austin's M392C (Representation Theory) class in Spring 2017, taught by Sam Gunningham. I live-TEXed them using vim, so there may be typos; please send questions, comments, complaints, and corrections to [email protected]. Thanks to Kartik Chitturi, Adrian Clough, Tom Gannon, Nathan Guermond, Sam Gunningham, Jay Hathaway, and Surya Raghavendran for correcting a few errors. Contents 1. Lie groups and smooth actions: 1/18/172 2. Representation theory of compact groups: 1/20/174 3. Operations on representations: 1/23/176 4. Complete reducibility: 1/25/178 5. Some examples: 1/27/17 10 6. Matrix coefficients and characters: 1/30/17 12 7. The Peter-Weyl theorem: 2/1/17 13 8. Character tables: 2/3/17 15 9. The character theory of SU(2): 2/6/17 17 10. Representation theory of Lie groups: 2/8/17 19 11. Lie algebras: 2/10/17 20 12. The adjoint representations: 2/13/17 22 13. Representations of Lie algebras: 2/15/17 24 14. The representation theory of sl2(C): 2/17/17 25 15. Solvable and nilpotent Lie algebras: 2/20/17 27 16. Semisimple Lie algebras: 2/22/17 29 17. Invariant bilinear forms on Lie algebras: 2/24/17 31 18. Classical Lie groups and Lie algebras: 2/27/17 32 19. Roots and root spaces: 3/1/17 34 20. Properties of roots: 3/3/17 36 21. Root systems: 3/6/17 37 22. Dynkin diagrams: 3/8/17 39 23.
    [Show full text]
  • Minimal Dimension Faithful Linear Representations of Common Finitely
    Minimal dimension faithful linear representations of common finitely presented groups J. O. Button Abstract For various finitely presented groups, including right angled Artin groups and free by cyclic groups, we investigate what is the smallest dimension of a faithful linear representation. This is done both over C and over fields of positive characteristic. In particular we show that Gersten’s free by cyclic group has no faithful linear representation of dimension 4 or less over C, but has no faithful linear representation of any dimension over fields of positive characteristic. 1 Introduction A common question to ask about a given finitely presented group is whether it is linear. We have both algebraic and geometric arguments available for proving linearity, for instance [34] and [36] in the first case, whereas a group which is seen to be the fundamental group of a finite volume hyperbolic orientable 3-manifold will embed in SL(2, C). There are also arguments for arXiv:1610.03712v1 [math.GR] 12 Oct 2016 showing a group is not linear, with lack of residual finiteness surely the most utilised. This means that our options decrease drastically when trying to show that a residually finite group is not linear. However even if we know a group is linear, this still begs the question of what dimension a faithful linear representation will be, and in particular what is the minimum dimension of a faithful linear representation of a given group. This is a question that has been considered for finite groups, for instance [1] which applies it to results on expansion of finite groups (in fact the quantity used is the minimum dimension of a non trivial linear representation, but 1 1 INTRODUCTION 2 this is the same as a faithful linear representation for finite simple groups, which are the main examples studied).
    [Show full text]
  • On the Generalized Non-Commutative Sphere and Their K-Theory
    Global Journal of Pure and Applied Mathematics. ISSN 0973-1768 Volume 12, Number 2 (2016), pp. 1325-1335 © Research India Publications http://www.ripublication.com On the generalized non-commutative sphere and their K-theory Saleh Omran Taif University, Faculty of Science, Taif , KSA South valley university, Faculty of science, Math. Dep. Qena , Egypt. Abstract In the work we follow the work of J.Cuntz, he associate a universal C* - algebra to every locally finite flag simplicial complex. In this article we define * nc a universal C -algebra S3 , associated to the 3 -dimensional noncommutative sphere. We analyze the topological information of the noncommutative sphere by using it’s skeleton filtration Ik )( . We examine the nc K -theory of the quotient 3 /IS k , and I k for such kk 7, . Keywords: Universal C* -algebra , Noncommutative sphere, K -theory of C* -algebra. 2000 AMS : 19 K 46. 1. Introduction Noncommutative 3 -sphere play an important role in the non commutative geometry which introduced by Allain Connes [4] .In noncommutative geometry, the set of points in the space are replaced by the set of continuous functions on the space. In fact noncommutative geometry change our point of view from the topological space itself to the functions on the space ( The algebra of functions on the space). Indeed, the main idea was noticed first by Gelfand-Niemark [8] they were give an important theorem which state that: any commutative C* -algebra is isomorphic of the continuous functions of a compact space, namely the space of characters of the algebra. More generally any C* -algebra ( commutative or not) is isomorphic to a closed subalgebra of the algebra of bounded operators on a Hilbert space.
    [Show full text]
  • What Is Noncommutative Geometry ? How a Geometry Can Be Commutative and Why Mine Is Not
    What is Noncommutative Geometry ? How a geometry can be commutative and why mine is not Alessandro Rubin Junior Math Days 2019/20 SISSA - Scuola Internazionale Superiore di Studi Avanzati This means that the algebra C∞(M) contains enough information to codify the whole geometry of the manifold: 1. Vector fields: linear derivations of C∞(M) 2. Differential 1-forms: C∞(M)-linear forms on vector fields 3. ... Question Do we really need a manifold’s points to study it ? Do we really use the commutativity of the algebra C∞(M) to define the aforementioned objects ? Doing Geometry Without a Geometric Space Theorem Two smooth manifolds M, N are diffeomorphic if and only if their algebras of smooth functions C∞(M) and C∞(N) are isomorphic. 1/41 Question Do we really need a manifold’s points to study it ? Do we really use the commutativity of the algebra C∞(M) to define the aforementioned objects ? Doing Geometry Without a Geometric Space Theorem Two smooth manifolds M, N are diffeomorphic if and only if their algebras of smooth functions C∞(M) and C∞(N) are isomorphic. This means that the algebra C∞(M) contains enough information to codify the whole geometry of the manifold: 1. Vector fields: linear derivations of C∞(M) 2. Differential 1-forms: C∞(M)-linear forms on vector fields 3. ... 1/41 Do we really use the commutativity of the algebra C∞(M) to define the aforementioned objects ? Doing Geometry Without a Geometric Space Theorem Two smooth manifolds M, N are diffeomorphic if and only if their algebras of smooth functions C∞(M) and C∞(N) are isomorphic.
    [Show full text]
  • Quantum Information Hidden in Quantum Fields
    Preprints (www.preprints.org) | NOT PEER-REVIEWED | Posted: 21 July 2020 Peer-reviewed version available at Quantum Reports 2020, 2, 33; doi:10.3390/quantum2030033 Article Quantum Information Hidden in Quantum Fields Paola Zizzi Department of Brain and Behavioural Sciences, University of Pavia, Piazza Botta, 11, 27100 Pavia, Italy; [email protected]; Phone: +39 3475300467 Abstract: We investigate a possible reduction mechanism from (bosonic) Quantum Field Theory (QFT) to Quantum Mechanics (QM), in a way that could explain the apparent loss of degrees of freedom of the original theory in terms of quantum information in the reduced one. This reduction mechanism consists mainly in performing an ansatz on the boson field operator, which takes into account quantum foam and non-commutative geometry. Through the reduction mechanism, QFT reveals its hidden internal structure, which is a quantum network of maximally entangled multipartite states. In the end, a new approach to the quantum simulation of QFT is proposed through the use of QFT's internal quantum network Keywords: Quantum field theory; Quantum information; Quantum foam; Non-commutative geometry; Quantum simulation 1. Introduction Until the 1950s, the common opinion was that quantum field theory (QFT) was just quantum mechanics (QM) plus special relativity. But that is not the whole story, as well described in [1] [2]. There, the authors mainly say that the fact that QFT was "discovered" in an attempt to extend QM to the relativistic regime is only historically accidental. Indeed, QFT is necessary and applied also in the study of condensed matter, e.g. in the case of superconductivity, superfluidity, ferromagnetism, etc.
    [Show full text]
  • [Math-Ph] 28 Aug 2006 an Introduction to Noncommutative Geometry
    An Introduction to Noncommutative Geometry Joseph C. V´arilly Universidad de Costa Rica, 2060 San Jos´e, Costa Rica 28 April 2006 Abstract The lecture notes of this course at the EMS Summer School on Noncommutative Geometry and Applications in September, 1997 are now published by the EMS. Here are the contents, preface and updated bibliography from the published book. Contents 1 Commutative Geometry from the Noncommutative Point of View 1.1 The Gelfand–Na˘ımark cofunctors 1.2 The Γ functor 1.3 Hermitian metrics and spinc structures 1.4 The Dirac operator and the distance formula 2 Spectral Triples on the Riemann Sphere 2.1 Line bundles and the spinor bundle 2.2 The Dirac operator on the sphere S2 2.3 Spinor harmonics and the spectrum of D/ 2.4 Twisted spinor modules arXiv:physics/9709045v2 [math-ph] 28 Aug 2006 2.5 A reducible spectral triple 3 Real Spectral Triples: the Axiomatic Foundation 3.1 The data set 3.2 Infinitesimals and dimension 3.3 The first-order condition 3.4 Smoothness of the algebra 3.5 Hochschild cycles and orientation 3.6 Finiteness of the K-cycle 1 3.7 Poincar´eduality and K-theory 3.8 The real structure 4 Geometries on the Noncommutative Torus 4.1 Algebras of Weyl operators 4.2 The algebra of the noncommutative torus 4.3 The skeleton of the noncommutative torus 4.4 A family of spin geometries on the torus 5 The Noncommutative Integral 5.1 The Dixmier trace on infinitesimals 5.2 Pseudodifferential operators 5.3 The Wodzicki residue 5.4 The trace theorem 5.5 Integrals and zeta residues 6 Quantization and the Tangent Groupoid
    [Show full text]
  • Introduction to Representation Theory by Pavel Etingof, Oleg Golberg
    Introduction to representation theory by Pavel Etingof, Oleg Golberg, Sebastian Hensel, Tiankai Liu, Alex Schwendner, Dmitry Vaintrob, and Elena Yudovina with historical interludes by Slava Gerovitch Licensed to AMS. License or copyright restrictions may apply to redistribution; see http://www.ams.org/publications/ebooks/terms Licensed to AMS. License or copyright restrictions may apply to redistribution; see http://www.ams.org/publications/ebooks/terms Contents Chapter 1. Introduction 1 Chapter 2. Basic notions of representation theory 5 x2.1. What is representation theory? 5 x2.2. Algebras 8 x2.3. Representations 9 x2.4. Ideals 15 x2.5. Quotients 15 x2.6. Algebras defined by generators and relations 16 x2.7. Examples of algebras 17 x2.8. Quivers 19 x2.9. Lie algebras 22 x2.10. Historical interlude: Sophus Lie's trials and transformations 26 x2.11. Tensor products 30 x2.12. The tensor algebra 35 x2.13. Hilbert's third problem 36 x2.14. Tensor products and duals of representations of Lie algebras 36 x2.15. Representations of sl(2) 37 iii Licensed to AMS. License or copyright restrictions may apply to redistribution; see http://www.ams.org/publications/ebooks/terms iv Contents x2.16. Problems on Lie algebras 39 Chapter 3. General results of representation theory 41 x3.1. Subrepresentations in semisimple representations 41 x3.2. The density theorem 43 x3.3. Representations of direct sums of matrix algebras 44 x3.4. Filtrations 45 x3.5. Finite dimensional algebras 46 x3.6. Characters of representations 48 x3.7. The Jordan-H¨oldertheorem 50 x3.8. The Krull-Schmidt theorem 51 x3.9.
    [Show full text]