Marco Robalo I3M - Montpellier June 24, 2013

Total Page:16

File Type:pdf, Size:1020Kb

Marco Robalo I3M - Montpellier June 24, 2013 Noncommutative Motives and K-theory Marco Robalo I3M - Montpellier June 24, 2013 Contents 1 Noncommutative Algebraic Geometry 1 2 Motives 4 3 Noncommutative Motives 6 4 K-Theory and Noncommutative Motives 8 5 Relation with the work of Cisinski-Tabuada 11 6 Future Works 12 In these notes we explain a new approach to the theory of noncommutative motives suggested by B.Toen, M. Vaquie and G. Vezzosi, which I have been studying in my ongoing doctoral thesis with B. Toen (see [30, 31]). The idea of a motivic theory for noncommutative spaces was originally proposed by M. Kont- sevich [20, 21] and in the later years G.Tabuada and D-C. Cisinski [38, 12, 11, 39] developped a formal setting that makes this idea precise. The new approach we want to explain in this talk is independent of the approach by Cisinski-Tabuada (as all the proofs) and the motivation for it is simple: to have a natural theory of noncommutative motives that is naturally comparable to the motivic stable A1-homotopy theory of Morel-Voevodsky. At the end of this talk we dedicate a special section to explain how our theory relates to methods of Cisinski-Tabuada. We assume the reader to be familiar with the theory of ( , 1)-categories as developed by J. Lurie in [22, 23]. 1 Throughout these notes we fix k a commutative base ring. 1 Noncommutative Algebraic Geometry The original guiding principle of noncommutative geometry is that we can replace the study of a given space X by the study of its ring of functions. This principle appears in the very foundations of algebraic geometry. Grothendieck took it to a new level by understanding that the abelian category Qcoh(X) of quasi-coherent 1 sheaves of an algebraic varitiety X contains most of the information encoded by X. For instance, everything that at that time was considered as a “cohomology theory” can be obtained by means of the two steps 1 Qcoh( ) cohomology Schemes − / Abelian Categories / Abelian Groups Grothendieck was also the first one to realize that the second factorization (aka, homological algebra) factors through a more fundamental step cohomology Abelian Categories / Abelian Groups 4 homotopy groups ✏ (k-linear) homotopy theories where the vertical arrow sends a k-abelian category A to the k-linear homotopy theory of complexes of objects in A studied up quasi-isomorphisms. The problem was that at that time homotopy theories were studied by means of the strict formal (categorical) inversion of those morphisms we wish to consider as isomorphism. The resulting object (the classical derived category) is very poorly behaved and many of the expected information of the homotopy theory is lost in the process. In the 90’s, dg-categories2 appeared as a technological enhancement of this classical derived category (see [7, 9, 10] and [19, 5] for an introduction) and Kontsevich envisioned them as the perfect objects for noncommutative geometry (the reason will become clear below). Nowadays, Kontsevich vision adds to the understanding that: “homotopy theories” = ( , 1)-categories 1 “k-linear homotopy theories” = k-linear ( , 1)-categories =3 k-dg-categories 1 Under this vision, the assignement X L (X) realizes the dotted map first forseen by Grothendieck. 7! qcoh Here Lqcoh(X)isthebigk-dg-category obtained from the dg-enhanced category of complexes of sheaves with quasi-coherent cohomology by inverting the quasi-isomorphisms, this time not in the world of categories but within dg-categories. This big dg-category is generated by its full sub dg-category Lpe(X) spanned by the (homotopy) compact objects - so-called perfect complexes. We will return to this below. We should also emphasize that dg-categories are important not only for algebraic geometry. They appear out of many di↵erent mathematical contexts Algebraic Geometry Symplectic Geometry Lqcoh Fukaya cat. ) u dg categories −5 O i DQ modules − complex geometry Matrix Factorizations dg algebras − 1In fact, the replacement X Qcoh(X)issostrongthatinsomecasesitallowustoreconstructthewholescheme(seethe thesis of P. Gabriel for the notion! of spectrum of an abelian category [14]). 2Don’t worry! We will not repeat here the definition of a dg-category. 3This equality is known to be true when k is the sphere spectrum (in this case a k-dg-category is just a spectral category by definition - see [?]). When k is a classical commutative ring this equality is still just a philosophical principle. People are working to prove this. 2 and can be used as a unifying language. The map from dg-algebras to dg-categories is particularly impor- tant. It sends a dg-algebra A to the dg-category with one object and A as a complex of endomorphisms with the composition given by the associative product on A. The theory of modules makes sense for any dg-category. If T is a small dg-category, we define its big dg-category of dg-modules as the dg-category of dg-enriched functors from T to the category of complexes of k-modules with its natural dg-enrichement. This carries a natural k-linear homotopy theory and we will write T for the dg-category that codifies it. If T the dg-category associated to a dg-algebra A, T is a dg-enhancement of the classical derived category of A. The fact that Lpe(X) generates the whole Lqcoh(X) can now be madeb precise by means of an equivalence L\(X) L (X). b pe ' qcoh Let us now review some standard invariants that we can extract from a small dg-category: The Hoschschild Homology of a dg-category T , HH(T ) (see [6] for a precise construction of this • invariant with values in spectra). The cyclic homology and the periodic cyclic homology of a dg- category are defined by an appropriate base-change of HH(T ). By the Hochschild-Konstant-Rosenberg theorem, the periodic cyclic homology of the small dg-category Lpe(X) is isomorphic to the de Rham cohomology of X. More recentely, Kaledin [?] introduced a noncommutative version of the cristalline cohomology. • Connective K-theory, Non-connective K-theory and A1-invariant K-theory. We will come back to this • later in the talk (Section 4). At this point we merely want to emphazise that all these K-theory flavours can be defined directly at the level of dg-categories and that their values at Lpe(X) recover the values associated to X; More recently, A. Blanc in his thesis [6], introduce a noncommutative version of topological K-theory. • top If X is a scheme defined over C, K (Lpe(X)) recovers the topological K-theory of the underlying space of complex points in X; Comparison results like the ones above enhance the understanding of dg-categories as good bodies for noncommutative spaces. An important feature of all these theories is the invariance along morphisms T T 0 such that the map ! induced between the big dg-categories of modules T T 0 is an equivalence. Such morphims are called Morita equivalences. The study of dg-categories up to! Morita equivalence admits a (combinatorial) model structure (see [37]) and throughout this notes we willb let cg(k)idem denote its underlying ( , 1)-category. It admits a natural monoidal structure given by the derivedD tensor product of dg-categories and1 by the results of [41] it admits an internal-hom (which can be explicitely described). We now introduce a bit of notation. Let A be a dg-algebra and A its dg-category of modules. We let Ape denote the full sub dg-category of A spanned by the (homotopy) compact objects. Of course, we have b Ape A. The following is a crucial result in noncommutative algebraic geometry: b ' b Theoremdb b 1.1. (Bondal-Van den Bergh [8]) Let X be a scheme over k. Then, if X is quasi-compact and quasi-separated there is a dg-algebra AX such that Lpe(X) is Morita equivalent to the small dg-category AX pe. dIn other words, every quasi-compact and quasi-separated schemes becomes affine in the noncommutative world. Definition 1.2. (Toen-Vaquie [42]) A dg-category T g(k)idem is said to be of finite type if it is a compact object in the ( , 1)-category g(k)idem.Wesaythat2TDis smooth and proper if it is a dualizable object. In particular, smooth1 and properD dg-categories are of finite type. 3 We will denote g(k)ft the full subcategory of g(k)idem spanned by the dg-categories of finite type. We can easily see thatD it is closed under the derived tensorD product of dg-categories. Moreover, we can prove that a small dg-category T is of finite type if and only if it is Morita equivalent to a small dg-category of the form Ape for a dg-algebra A which is (homotopy) compact in the homotopy theory of dg-algebras (see [42]). This description, together with the result of Bondal- Van den Bergh motivates the following definition: b Definition 1.3. The ( , 1)-category of smooth non-commutative spaces cS(k) is the opposite of g(k)ft 1 N D and we have Proposition 1.4. (Toen-Vaquie [42, 3.27]) Let X be a smooth and proper variety over k. Then Lpe(X) is a smooth and proper dg-category. In particular, it is of finite type. The assignement X Lpe(X) is known not to be fully faithful (see [44] for an explicit example and [33] for a more complete discussion! about the behavior of this assignement). In his program [20, 21] Kontsevich envisioned also that similarly to schemes, noncommutative spaces should also admit a motivic theory and one of the interesting questions is how better Lpe behaves at the motivic level.
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]
  • 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]
  • Noncommutative Geometry Andrew Lesniewski
    lesniewski.qxp 3/25/98 9:11 AM Page 800 Noncommutative Geometry Andrew Lesniewski Noncommutative Spaces is a locally compact space, and A C0(M), where ' 0(M) denotes the C∗ -algebra of continuous It was noticed a long time ago that various prop- C erties of sets of points can be restated in terms functions on M vanishing at infinity. of properties of certain commutative rings of Recall that a C∗-algebra is an algebra over C, functions over those sets. In particular, this ob- equipped with an involutive operation and a servation proved to be extremely fruitful in al- ∗ norm , which satisfies the condition gebraic geometry and has led to tremendous k·k SS = S 2. In other words, the category of progress in this subject over the past few k ∗k k k decades. In these developments the concept of locally compact spaces is equivalent to the cat- a point in a space is secondary and overshadowed egory of abelian C∗ -algebras. The points of a by the algebraic properties of the (sheaves of) topological space can be characterized in purely rings of functions on those spaces. algebraic terms as the maximal ideals of an al- This idea also underlies noncommutative gebra of functions on the space. geometry, a new direction in mathematics initi- Another important source of inspiration for ated by the French mathematician Alain Connes noncommutative geometry is quantum physics. and outlined in his recent book [3]. In noncom- It has been known since the heroic days of quan- mutative geometry one goes one step further: it tum mechanics (Heisenberg, Born, Jordan, is no longer required that the algebra of func- Schrödinger, Dirac, von Neumann, … ) that or- tions be commutative! Furthermore, while alge- dinary concepts of classical mechanics and sym- braic geometry did not entirely rid itself of the plectic geometry do not apply to the subatomic concept of a point, noncommutative geometry world.
    [Show full text]
  • Contemporary Mathematics 365
    CONTEMPORARY MATHEMATICS 365 Operator Algebras, Quantization, and Noncommutative Geometry A Centennial Celebration Honoring John von Neumann and Marshall H. Stone AMS Special Session on Operator Algebras, Quantization, and Noncommutative Geometry: A Centennial Celebration Honoring John von Neumann and Marshall H. Stone January 15-16, 2003 Baltimore, Maryland Robert S. Doran Richard V. Kadison Editors http://dx.doi.org/10.1090/conm/365 Dedicated to the memory of John von Neumann and Marshall H. Stone CoNTEMPORARY MATHEMATICS 365 Operator Algebras, Quantization, and Noncommutative Geometry A Centennial Celebration Honoring John von Neumann and Marshall H. Stone AMS Special Session on Operator Algebras, Quantization, and Noncommutative Geometry: A Centennial Celebration Honoring John von Neumann and Marshall H. Stone January 15-16,2003 Baltimore, Maryland Robert S. Doran Richard V. Kadison Editors American Mathematical Society Providence, Rhode Island Editorial Board Dennis DeTurck, managing editor Andreas Blass Andy R. Magid Michael Vogelius This volume contains the proceedings of an AMS Special Session entitled "Operator Algebras, Quantization, and Noncommutative Geometry: A Centennial Celebration Hon- oring John von Neumann and Marshall H. Stone" marking the lOOth anniversary of the birth of both von Neumann and Stone. It was held January 15-16, 2003; in Baltimore, Maryland. 2000 Mathematics Subject Classification. Primary 01A70, 19K56, 22D25, 46L05, 46L07, 46L10, 46L53, 46L65, 46L87, 58B34, 58J22,81R05. The opening paragraph of a classic paper, John von Neumann's "Die Eindeutigkeit des Schroedingerschen Operatoren", Mathematische Annalen 104 (1931), 570-578, translated in English, appears on pp. 335-336 of Jonathan Rosenberg's article "A Selective History of the Stone-von Neumann Theorem".
    [Show full text]
  • Spectral Action in Noncommutative Geometry
    Michał Eckstein, Bruno Iochum Spectral Action in Noncommutative Geometry Published as SpringerBriefs in Mathematical Physics Volume 27 https://www.springer.com/la/book/9783319947877 arXiv:1902.05306v1 [math-ph] 14 Feb 2019 Preface This book is dedicated to Alain Connes, whose work has always been a fantastic source of inspiration for us. The Least Action Principle is among the most profound laws of physics. The action — a functional of the fields relevant to a given physical system — encodes the entire dynamics. Its strength stems from its universality: The principle applies equally well in every domain of modern physics including classical mechanics, gen- eral relativity and quantum field theory. Most notably, the action is a primary tool in model-building in particle physics and cosmology. The discovery of the Least Action Principle impelled a paradigm shift in the methodology of physics. The postulates of a theory are now formulated at the level of the action, rather than the equations of motion themselves.Whereas the success of the ‘New Method’ cannot be overestimated, it raises a big question at a higher level: “Where does the action come from?” A quick look at the current theoretical efforts in cosmology and particle physics reveals an overwhelming multitude of models determined by the actions, which are postulated basing on different assumptions, beliefs, intuitions and prejudices. Clearly, it is the empirical evidence that should ultimately select the correct theory, but one cannot help the impression that our current models are only effective and an overarching principle remains concealed. A proposal for such an encompassing postulate was formulated by Ali Chamsed- dine and Alain Connes in 1996 [5].
    [Show full text]