What Is Noncommutative Geometry ? How a Geometry Can Be Commutative and Why Mine Is Not

Total Page:16

File Type:pdf, Size:1020Kb

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. 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 ? 1/41 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. ... 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 ? 1/41 They are all anagrams of the letters: adegi2l2no2ruvy Moral of the Story Commutativity ⇒ Loss of Information Why Consider Noncommutativity? Consider the following sentences: Darling I love you Leaving your idol Avoiding our yell 2/41 Moral of the Story Commutativity ⇒ Loss of Information Why Consider Noncommutativity? Consider the following sentences: Darling I love you Leaving your idol Avoiding our yell They are all anagrams of the letters: adegi2l2no2ruvy 2/41 Why Consider Noncommutativity? Consider the following sentences: Darling I love you Leaving your idol Avoiding our yell They are all anagrams of the letters: adegi2l2no2ruvy Moral of the Story Commutativity ⇒ Loss of Information 2/41 If A is commutative we want back all the known machinery. Noncommutative manifolds do NOT exist. The previous method can be adapted to study also: A topological space X and the algebra C(X) A measure space (X, µ) and the algebra L∞(X, µ) ... Commutative Geometries Fundamental Idea of Noncommutative Geometry Replace C∞(M) with a possibly noncommutative algebra A and regard A as the algebra of functions on a "noncommutative smooth manifold". M C∞(M) Vector Fields, Diff. Forms, ... ? A Analogous Algebraic Constructions 3/41 Noncommutative manifolds do NOT exist. The previous method can be adapted to study also: A topological space X and the algebra C(X) A measure space (X, µ) and the algebra L∞(X, µ) ... Commutative Geometries Fundamental Idea of Noncommutative Geometry Replace C∞(M) with a possibly noncommutative algebra A and regard A as the algebra of functions on a "noncommutative smooth manifold". M C∞(M) Vector Fields, Diff. Forms, ... ? A Analogous Algebraic Constructions If A is commutative we want back all the known machinery. 3/41 The previous method can be adapted to study also: A topological space X and the algebra C(X) A measure space (X, µ) and the algebra L∞(X, µ) ... Commutative Geometries Fundamental Idea of Noncommutative Geometry Replace C∞(M) with a possibly noncommutative algebra A and regard A as the algebra of functions on a "noncommutative smooth manifold". M C∞(M) Vector Fields, Diff. Forms, ... ? A Analogous Algebraic Constructions If A is commutative we want back all the known machinery. Noncommutative manifolds do NOT exist. 3/41 Commutative Geometries Fundamental Idea of Noncommutative Geometry Replace C∞(M) with a possibly noncommutative algebra A and regard A as the algebra of functions on a "noncommutative smooth manifold". M C∞(M) Vector Fields, Diff. Forms, ... ? A Analogous Algebraic Constructions If A is commutative we want back all the known machinery. Noncommutative manifolds do NOT exist. The previous method can be adapted to study also: A topological space X and the algebra C(X) A measure space (X, µ) and the algebra L∞(X, µ) ... 3/41 Table of Contents 1. Noncommutative Topology 2. Noncommutative Measure Theory 3. Noncommutative Manifolds 4. The Noncommutative Torus 5. Some Applications to Physics 4/41 Noncommutative Topology Example Let X be a topological space. The set Cb(X) of continuous and ∗ bounded functions f : X → C is a C -algebra where the product is given pointwise, the norm and the involution are defined by kf k = sup |f (x)| (f ∗)(x) = f (x) x∈X C ∗-Algebras and Functions Definition AC ∗-algebra is a complex algebra A endowed with a norm A and an anti-linear map ∗ : A → A such that they satisfy some technical axioms and the following relation: ka∗ak = kak2 ∀a ∈ A 5/41 C ∗-Algebras and Functions Definition AC ∗-algebra is a complex algebra A endowed with a norm A and an anti-linear map ∗ : A → A such that they satisfy some technical axioms and the following relation: ka∗ak = kak2 ∀a ∈ A Example Let X be a topological space. The set Cb(X) of continuous and ∗ bounded functions f : X → C is a C -algebra where the product is given pointwise, the norm and the involution are defined by kf k = sup |f (x)| (f ∗)(x) = f (x) x∈X 5/41 Theorem (First Gelfand-Najmark Theorem) Let X be a locally compact Hausdorff topological space. The ∗ space C0(X) is a commutative C -algebra. Let A be a commutative C ∗-algebra. There exists a locally compact Hausdorff topological space X such that A 'C0(X). The Gelfand-Najmark Correspondence Definition Let X be a locally compact Hausdorff topological space. The algebra C0(X) of functions that vanish at infinity is the norm closure of the functions with compact support Cc (X). 6/41 Let A be a commutative C ∗-algebra. There exists a locally compact Hausdorff topological space X such that A 'C0(X). The Gelfand-Najmark Correspondence Definition Let X be a locally compact Hausdorff topological space. The algebra C0(X) of functions that vanish at infinity is the norm closure of the functions with compact support Cc (X). Theorem (First Gelfand-Najmark Theorem) Let X be a locally compact Hausdorff topological space. The ∗ space C0(X) is a commutative C -algebra. 6/41 The Gelfand-Najmark Correspondence Definition Let X be a locally compact Hausdorff topological space. The algebra C0(X) of functions that vanish at infinity is the norm closure of the functions with compact support Cc (X). Theorem (First Gelfand-Najmark Theorem) Let X be a locally compact Hausdorff topological space. The ∗ space C0(X) is a commutative C -algebra. Let A be a commutative C ∗-algebra. There exists a locally compact Hausdorff topological space X such that A 'C0(X). 6/41 There is a bijective correspondence between maximal modular ideals I ⊆ A and the quotient maps γ : A → A/I ' C. Under this identification, X is endowed with the weak-∗ topology. The isomorphism is given by the Gelfand Transform Γ: A −→ C0(X) a 7→ ba where ba : X → C is the point evaluation ba(γ) = γ(a). How is This Possible ? The correspondence of the previous theorem is very well known: Points of X are given by the maximal modular ideals of A. 7/41 The isomorphism is given by the Gelfand Transform Γ: A −→ C0(X) a 7→ ba where ba : X → C is the point evaluation ba(γ) = γ(a). How is This Possible ? The correspondence of the previous theorem is very well known: Points of X are given by the maximal modular ideals of A. There is a bijective correspondence between maximal modular ideals I ⊆ A and the quotient maps γ : A → A/I ' C. Under this identification, X is endowed with the weak-∗ topology. 7/41 How is This Possible ? The correspondence of the previous theorem is very well known: Points of X are given by the maximal modular ideals of A. There is a bijective correspondence between maximal modular ideals I ⊆ A and the quotient maps γ : A → A/I ' C. Under this identification, X is endowed with the weak-∗ topology. The isomorphism is given by the Gelfand Transform Γ: A −→ C0(X) a 7→ ba where ba : X → C is the point evaluation ba(γ) = γ(a). 7/41 In particular, this means that X ' Y if and only if C0(X) 'C0(Y ). ∗ Every C -algebra homomorphism F : C0(Y ) → C0(X) is the pullback map of a continuous (and proper) map f : X → Y.
Recommended publications
  • Arxiv:1908.09677V4 [Math.AG] 13 Jul 2021 6 Hr Ro Fterm12.1 Theorem of Proof Third a 16
    AN ANALYTIC VERSION OF THE LANGLANDS CORRESPONDENCE FOR COMPLEX CURVES PAVEL ETINGOF, EDWARD FRENKEL, AND DAVID KAZHDAN In memory of Boris Dubrovin Abstract. The Langlands correspondence for complex curves is traditionally for- mulated in terms of sheaves rather than functions. Recently, Langlands asked whether it is possible to construct a function-theoretic version. In this paper we use the algebra of commuting global differential operators (quantum Hitchin Hamilto- nians and their complex conjugates) on the moduli space of G-bundles of a complex algebraic curve to formulate a function-theoretic correspondence. We conjecture the existence of a canonical self-adjoint extension of the symmetric part of this al- gebra acting on an appropriate Hilbert space and link its spectrum with the set of opers for the Langlands dual group of G satisfying a certain reality condition, as predicted earlier by Teschner. We prove this conjecture for G = GL1 and in the simplest non-abelian case. Contents 1. Introduction 2 Part I 8 2. Differential operators on line bundles 8 3. Differential operators on BunG 11 4. The spectrum and opers 15 5. The abelian case 19 6. Bundles with parabolic structures 26 1 7. The case of SL2 and P with marked points 28 arXiv:1908.09677v4 [math.AG] 13 Jul 2021 8. Proofs of two results 30 Part II 33 9. Darboux operators 34 10. EigenfunctionsandmonodromyforDarbouxoperators 38 11. Essentially self-adjoint algebras of unbounded operators 43 12. The main theorem 49 13. Generalized Sobolev and Schwartz spaces attached to the operator L. 49 14. Proof of Theorem 12.1 60 15.
    [Show full text]
  • Arxiv:2107.01242V1 [Math.OA] 2 Jul 2021 Euneo Ievle ( Eigenvalues of Sequence a Eetdacrigt T Agbac Utpiiy Y[ by Multiplicity
    CONNES’ INTEGRATION AND WEYL’S LAWS RAPHAEL¨ PONGE Abstract. This paper deal with some questions regarding the notion of integral in the frame- work of Connes’s noncommutative geometry. First, we present a purely spectral theoretic con- struction of Connes’ integral. This answers a question of Alain Connes. We also deal with the compatibility of Dixmier traces with Lebesgue’s integral. This answers another question of Alain Connes. We further clarify the relationship of Connes’ integration with Weyl’s laws for compact operators and Birman-Solomyak’s perturbation theory. We also give a ”soft proof” of Birman-Solomyak’s Weyl’s law for negative order pseudodifferential operators on closed mani- fold. This Weyl’s law yields a stronger form of Connes’ trace theorem. Finally, we explain the relationship between Connes’ integral and semiclassical Weyl’s law for Schr¨odinger operators. This is an easy consequence of the Birman-Schwinger principle. We thus get a neat link between noncommutative geometry and semiclassical analysis. 1. Introduction The quantized calculus of Connes [18] aims at translating the main tools of the classical infin- itesimal calculus into the operator theoretic language of quantum mechanics. As an Ansatz the integral in this setup should be a positive trace on the weak trace class L1,∞ (see Section 2). Natural choices are given by the traces Trω of Dixmier [23] (see also [18, 34] and Section 2). These traces are associated with extended limits. Following Connes [18] we say that an operator A L is measurable when the value of Tr (A) is independent of the extended limit.
    [Show full text]
  • WEYL's LAW on RIEMANNIAN MANIFOLDS Contents 1. the Role of Weyl's Law in the Ultraviolet Catastrophe 1 2. Riemannian Manifol
    WEYL'S LAW ON RIEMANNIAN MANIFOLDS SETH MUSSER Abstract. We motivate Weyl's law by demonstrating the relevance of the distribution of eigenvalues of the Laplacian to the ultraviolet catastrophe of physics. We then introduce Riemannian geometry, define the Laplacian on a general Riemannian manifold, and find geometric analogs of various concepts in Rn, along the way using S2 as a clarifying example. Finally, we use analogy with Rn and the results we have built up to prove Weyl's law, making sure at each step to demonstrate the physical significance of any major ideas. Contents 1. The Role of Weyl's Law in the Ultraviolet Catastrophe 1 2. Riemannian Manifolds 3 3. Weyl's Law 11 4. Acknowledgements 20 References 20 1. The Role of Weyl's Law in the Ultraviolet Catastrophe In the year 1900 Lord Rayleigh used the equipartition theorem of thermodynamics to de- duce the famous Rayleigh-Jeans law of radiation. Rayleigh began with an idealized physical concept of the blackbody; a body which is a perfect absorber of electromagnetic radiation and which radiates all the energy it absorbs independent of spatial direction. We sketch his proof to find the amount of radiation energy emitted by the blackbody at a given frequency. Take a blackbody in the shape of a cube for definiteness, and assume it is made of con- ducting material and is at a temperature T . We will denote the cube by D = [0;L]3 ⊆ R3. Inside this cube we have electromagnetic radiation that obeys Maxwell's equations bouncing around. The equipartition theorem of thermodynamics says that every wave which has con- stant spatial structure with oscillating amplitude, i.e.
    [Show full text]
  • 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]
  • Scalar Curvature for Noncommutative Four-Tori
    SCALAR CURVATURE FOR NONCOMMUTATIVE FOUR-TORI FARZAD FATHIZADEH AND MASOUD KHALKHALI Abstract. In this paper we study the curved geometry of noncommutative 4 4-tori Tθ. We use a Weyl conformal factor to perturb the standard volume form and obtain the Laplacian that encodes the local geometric information. We use Connes' pseudodifferential calculus to explicitly compute the terms in the small time heat kernel expansion of the perturbed Laplacian which corre- 4 spond to the volume and scalar curvature of Tθ. We establish the analogue of Weyl's law, define a noncommutative residue, prove the analogue of Connes' trace theorem, and find explicit formulas for the local functions that describe 4 the scalar curvature of Tθ. We also study the analogue of the Einstein-Hilbert action for these spaces and show that metrics with constant scalar curvature are critical for this action. Contents 1. Introduction 1 2. Noncommutative Tori 3 2.1. Noncommutative real tori. 3 2.2. Noncommutative complex tori. 4 3. Laplacian and its Heat Kernel 5 4 3.1. Perturbed Laplacian on Tθ. 5 4 3.2. Connes' pseudodifferential calculus for Tθ. 7 3.3. Small time asymptotic expansion for Trace(e−t4' ). 8 4. Weyl's Law and Connes' Trace Theorem 10 4.1. Asymptotic distribution of the eigenvalues of 4'. 10 4 4.2. A noncommutative residue for Tθ. 12 4 4.3. Connes' trace theorem for Tθ. 15 5. Scalar Curvature and Einstein-Hilbert Action 16 5.1. Scalar curvature for 4. 17 arXiv:1301.6135v1 [math.QA] 25 Jan 2013 Tθ 4 5.2.
    [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]
  • Location and Weyl Formula for the Eigenvalues of Some Non Self-Adjoint Operators
    Location and Weyl formula for the eigenvalues of some non self-adjoint operators Vesselin Petkov Abstract We present a survey of some recent results concerning the location and the Weyl formula for the complex eigenvalues of two non self-adjoint operators. We study the eigenvalues of the generator G of the contraction semigroup etG, t ≥ 0, related to the wave equation in an unbounded domain Ω with dissipative boundary conditions on ∂Ω. Also one examines the interior transmission eigenvalues (ITE) in a bounded domain K obtaining a Weyl formula with remainder for the counting function N(r) of complex (ITE). The analysis is based on a semi-classical approach. 1 Introduction ∞ Let P(x,Dx) be a second order differential operator with C (K) real-valued coef- d ficients in a bounded domain K ⊂ R , d ≥ 2, with C∞ boundary ∂K. Consider a boundary problem ( P(x,D )u = f in K, x (1.1) B(x,Dx)u = g on ∂K, where B(x,Dx) is a differential operator with order less or equal to 1 and the princi- 2 pal symbol P(x,ξ) of P(x,Dx) satisfies p(x,ξ) ≥ c0|ξ| , c0 > 0. Assume that there exists 0 < ϕ < π such that the problem ( (P(x,D ) − z)u = f in K, x (1.2) B(x,Dx)u = g on ∂K. is parameter-elliptic for every z ∈ Γψ = {z : argz = ψ}, 0 < |ψ| ≤ ϕ. Then following a classical result of Agranovich-Vishik [1] we can find a closed operator A with Vesselin Petkov Institut de Mathematiques´ de Bordeaux, 351, Cours de la Liberation,´ 33405 Talence, France , e- mail: [email protected] 1 2 Vesselin Petkov domain D(A) ⊂ H2(K) related to the problem (1.1).
    [Show full text]
  • An Introduction to Pseudo-Differential Operators
    An introduction to pseudo-differential operators Jean-Marc Bouclet1 Universit´ede Toulouse 3 Institut de Math´ematiquesde Toulouse [email protected] 2 Contents 1 Background on analysis on manifolds 7 2 The Weyl law: statement of the problem 13 3 Pseudodifferential calculus 19 3.1 The Fourier transform . 19 3.2 Definition of pseudo-differential operators . 21 3.3 Symbolic calculus . 24 3.4 Proofs . 27 4 Some tools of spectral theory 41 4.1 Hilbert-Schmidt operators . 41 4.2 Trace class operators . 44 4.3 Functional calculus via the Helffer-Sj¨ostrandformula . 50 5 L2 bounds for pseudo-differential operators 55 5.1 L2 estimates . 55 5.2 Hilbert-Schmidt estimates . 60 5.3 Trace class estimates . 61 6 Elliptic parametrix and applications 65 n 6.1 Parametrix on R ................................ 65 6.2 Localization of the parametrix . 71 7 Proof of the Weyl law 75 7.1 The resolvent of the Laplacian on a compact manifold . 75 7.2 Diagonalization of ∆g .............................. 78 7.3 Proof of the Weyl law . 81 A Proof of the Peetre Theorem 85 3 4 CONTENTS Introduction The spirit of these notes is to use the famous Weyl law (on the asymptotic distribution of eigenvalues of the Laplace operator on a compact manifold) as a case study to introduce and illustrate one of the many applications of the pseudo-differential calculus. The material presented here corresponds to a 24 hours course taught in Toulouse in 2012 and 2013. We introduce all tools required to give a complete proof of the Weyl law, mainly the semiclassical pseudo-differential calculus, and then of course prove it! The price to pay is that we avoid presenting many classical concepts or results which are not necessary for our purpose (such as Borel summations, principal symbols, invariance by diffeomorphism or the G˚ardinginequality).
    [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]
  • 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]