DOCSLIB.ORG

Review of Noncommutative Geometry by Alain Connes Vaughan Jones and Henri Moscovici

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Review of Noncommutative Geometry by Alain Connes Vaughan Jones and Henri Moscovici jones.qxp 3/25/98 9:00 AM Page 792 Review of Noncommutative Geometry by Alain Connes Vaughan Jones and Henri Moscovici This and the following article are expositions C(X) of all continuous complex-valued func- of Noncommutative Geometry by Alain Connes tions on X (which, by the famous Gelfand- (Academic Press, 1994, 661 pages, $59.95 hard- Naimark theorem, completely captures the topol- cover), reviewed in the Bulletin of the Ameri- ogy of a compact Hausdorff space). Then replace can Mathematical Society, v. 33 no. 4, October the quotient space not by a smaller algebra such 1996, pp. 459–466. as C(X/ ) but by a larger one, the crossed prod- uct C(X) o consisting of sums γ fγ γ (with ∈ fγ C(XΓ)) which are multiplied according to “The correspondence between geometric spaces ∈ P the rule γfγΓ 1 = f γ 1. This algebraΓ is non- and commutative algebras is a familiar and basic − ◦ − idea of algebraic geometry. The purpose of this commutative and should be completed in some book is to extend the correspondence to the non- fashion, but when this is done, it provides a commutative case in the framework of real analy- powerful tool for the study of X/ . In the con- sis.” text of operator algebras there is nothing patho- Thus begins Connes’ book Noncommutative logical about C(X) o which can beΓ thought of Geometry. The central thesis is that the usual no- as a noncommutative desingularization of X/ . tion of a “space”—a set with some extra struc- In our example theΓ noncommutative algebra ture—is inadequate in many interesting cases was obtained from a group acting on a com-Γ and that coordinates may profitably be replaced mutative one, but once one admits the legitimacy by a noncommutative algebra. Here is a simple of such algebras as “coordinate rings”, one may but central example. Suppose the compact Haus- expect to find new examples devoid of any com- dorff space X is acted on by a discrete group . mutative origin. If the action is sufficiently simple, one may put Connes explores many examples, as diverse the quotient topology on the orbit space, X/Γ, as the space of Penrose tilings and the Brillouin thus capturing the orbit structure in an entirely zone in the quantum Hall effect. In so doing he satisfactory fashion. But as the action becomesΓ develops a myriad of techniques, sometimes, as more complicated, the quotient topology will in the case of his Chern character, as necessary fail to separate orbits, and in extreme cases like generalizations of known tools and sometimes, the action of Z by powers of an irrational rota- as in the case of his quantized calculus, of largely tion of the circle the quotient topology has no noncommutative inspiration. information whatsoever. The noncommutative The technical background of Connes’ pro- approach is first to replace X by the algebra gram is the theory of operator algebras on Hilbert space, closed in some topology. Why should op- Vaughan Jones is professor of mathematics at the Uni- erator algebras be the vessel of noncommutative versity of California, Berkeley. Henri Moscovici is pro- geometry? After all, the Gelfand-Naimark theo- fessor of mathematics at The Ohio State University. rem is not about operators, and, according to 792 NOTICES OF THE AMS VOLUME 44, NUMBER 7 jones.qxp 3/25/98 9:00 AM Page 793 what we have said so far, it is little more than a mann algebra is X⊕ M(ξ)dµ(ξ) for some mea- curiosity that may faithfully represent C(X) on sure space (X,µ) withR each M(ξ) a factor. Fac- a Hilbert space. There is a simple but telling rea- tors themselves were classified in [22] accord- son for operator algebras. The first noncom- ing to algebraic properties of the projections mutative algebras are the n n matrix algebras (operators p with p2 = p = p ) which they con- × ∗ Mn(C), which are algebras of operators on finite- tain. In a von Neumann algebra M we say p q dimensional Hilbert space. So operator algebra if pq = p and p q if there is a u M with≤ ∼ ∈ is just “large matrix algebra”. Or we could take uu∗ = p and u∗u = q. There is a direct analogy a cue from quantum physics, where the classi- with cardinalities of sets, so a projection is called cal observables—continuous functions on phase “infinite” if it is equivalent to a proper subpro- space—are replaced by algebras of operators, in jection, and “ ” induces an order “.” on equiv- general unbounded, on the Hilbert space of wave alence classes≤ of projections in M. If M were the functions. According to von Neumann’s re- n n matrices, we would have p q if and only × ∼ markable insight, algebras of bounded opera- if rank(p)=rank(q). In a factor, . is a total tors, if sufficiently well understood, would in fact order. The factor’s type is determined by the ex- be enough to understand the unbounded ones. istence of infinite projections type II and III, ∞ This led to “algebraic quantum field theory” ini- and the type of the ordered set . according to tiated by Haag and Kastler in [14]. But we digress. the following table (the Hilbert space is assumed In algebraic geometry access to the power of separable). the theory requires nontrivial results in pure commutative algebra. In noncommutative geom- etry, then, we expect to need a serious dose of operator algebraic results right at the start. Far more so indeed than algebraic geometry needs commutative algebra, since the intuition af- forded by the set of points in a variety has dis- appeared and there is no reason to expect that all the interesting phenomena of noncommuta- Here is an enormously condensed summary tive geometry arise as mere perturbations of of the work of Murray and von Neumann. commutative ones. Thus a substantial, but by no • Any type I factor is of the form ( 1) id B H ⊗ means dominant, portion of Connes’ book is de- in some tensor “factorization” voted to the abstract structure theory of opera- = 1 2 (where we use ( ) to de- H H ⊗H B · tor algebras. note the algebra of all bounded operators). Operator algebra theory splits almost dis- • Type II 1 factors may be constructed as the jointly into two halves: von Neumann algebras, commutant of the regular representation of initiated by Murray and von Neumann in the a discrete group all of whose conjugacy 1930s [22], and C*-algebras, initiated by Gelfand classes are infinite. and Naimark in the 1940s [12]. Technically the • Type II factors are always of the form II 1 ∞ ⊗ split is according to the topology in which the I (i.e., infinite matrices over a II 1 factor). ∞ algebras are closed-von Neumann algebras in • Type III factors are more difficult but were the topology of pointwise convergence and C*- constructed in [30]. algebras in the norm topology. But morally the • Type II 1 factors afford a trace—a linear split is the noncommutative version of the split functional tr: M C with tr(x∗x) > 0 for → between measure theory and general topology. x =0 and tr(xy)= tr(yx). Type II factors 6 ∞ If functions on [0,1] are represented on have an infinite trace analogous to that on L2([0, 1],dx) as multiplication operators, the ( ), and type III factors have no trace B H continuous functions form a C*-algebra and the whatsoever. L∞ functions form a von Neumann algebra. • There is, up to isomorphism, a single II 1 Every von Neumann algebra is a C*-algebra, but factor with the “hyperfinite” property; i.e., it is seldom wise to think of it as such. any finite set of elements can be arbitrarily Let us first discuss von Neumann algebras, well approximated by elements in a finite- where Connes has been such a dominant figure dimensional subalgebra. And there are II 1 for the last twenty-five years. Murray and von factors without this property. Neumann quickly recognized the importance of The period from the mid 1940s to the late von Neumann algebras whose center contains 1960s was a period of digestion of the results only scalar multiples of the identity, which they of Murray and von Neumann. Highlights include called “factors”, and von Neumann wrote a paper the discovery by Dixmier of a plethora of max- [30] reducing any von Neumann algebra to a fac- imal abelian subalgebras of a II 1 factor [10], the tor by a “direct integral”—a continuous ana- work of Dye on orbit equivalence [11], estab- logue of the direct sum of algebras. Any von Neu- lishing the hyperfiniteness of crossed products AUGUST 1997 NOTICES OF THE AMS 793 jones.qxp 3/25/98 9:00 AM Page 794 of abelian algebras by Z, and the characteriza- the kernel of the map from R to Out(M). Now tion by Sakai of von Neumann algebras as C*-al- T (M) can be quite complicated, and Connes also gebras which are duals as Banach spaces [26]. Let defined an invariant S(M) as me cite two results as being the ultimate re- ϕ spectrum( ϕ) 0 , which is a closed multi- \{ } + finement of the Murray-von Neumann ideas—the plicativeT subgroup of R . A type III factor is said construction by McDuff of uncountably many II 1 to be of type∆ III , 0 λ 1 , according to λ ≤ ≤ factors [21] and the construction by Powers of whether S(M) is a continuum of type III factors [25].
Load more

Recommended publications
  • A Short Survey of Cyclic Cohomology
    Clay Mathematics Proceedings Volume 10, 2008 A Short Survey of Cyclic Cohomology Masoud Khalkhali Dedicated with admiration and affection to Alain Connes Abstract. This is a short survey of some aspects of Alain Connes’ contribu- tions to cyclic cohomology theory in the course of his work on noncommutative geometry over the past 30 years. Contents 1. Introduction 1 2. Cyclic cohomology 3 3. From K-homology to cyclic cohomology 10 4. Cyclic modules 13 5. Thelocalindexformulaandbeyond 16 6. Hopf cyclic cohomology 21 References 28 1. Introduction Cyclic cohomology was discovered by Alain Connes no later than 1981 and in fact it was announced in that year in a conference in Oberwolfach [5]. I have reproduced the text of his abstract below. As it appears in his report, one of arXiv:1008.1212v1 [math.OA] 6 Aug 2010 Connes’ main motivations to introduce cyclic cohomology theory came from index theory on foliated spaces. Let (V, ) be a compact foliated manifold and let V/ denote the space of leaves of (V, ).F This space, with its natural quotient topology,F is, in general, a highly singular spaceF and in noncommutative geometry one usually replaces the quotient space V/ with a noncommutative algebra A = C∗(V, ) called the foliation algebra of (V,F ). It is the convolution algebra of the holonomyF groupoid of the foliation and isF a C∗-algebra. It has a dense subalgebra = C∞(V, ) which plays the role of the algebra of smooth functions on V/ . LetA D be a transversallyF elliptic operator on (V, ). The analytic index of D, index(F D) F ∈ K0(A), is an element of the K-theory of A.
    [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]
  • 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]
  • Annals of K-Theory Vol. 1 (2016)
    ANNALSOF K-THEORY Paul Balmer Spencer Bloch vol. 1 no. 4 2016 Alain Connes Guillermo Cortiñas Eric Friedlander Max Karoubi Gennadi Kasparov Alexander Merkurjev Amnon Neeman Jonathan Rosenberg Marco Schlichting Andrei Suslin Vladimir Voevodsky Charles Weibel Guoliang Yu msp A JOURNAL OF THE K-THEORY FOUNDATION ANNALS OF K-THEORY msp.org/akt EDITORIAL BOARD Paul Balmer University of California, Los Angeles, USA [email protected] Spencer Bloch University of Chicago, USA [email protected] Alain Connes Collège de France; Institut des Hautes Études Scientifiques; Ohio State University [email protected] Guillermo Cortiñas Universidad de Buenos Aires and CONICET, Argentina [email protected] Eric Friedlander University of Southern California, USA [email protected] Max Karoubi Institut de Mathématiques de Jussieu – Paris Rive Gauche, France [email protected] Gennadi Kasparov Vanderbilt University, USA [email protected] Alexander Merkurjev University of California, Los Angeles, USA [email protected] Amnon Neeman amnon.Australian National University [email protected] Jonathan Rosenberg (Managing Editor) University of Maryland, USA [email protected] Marco Schlichting University of Warwick, UK [email protected] Andrei Suslin Northwestern University, USA [email protected] Vladimir Voevodsky Institute for Advanced Studies, USA [email protected] Charles Weibel (Managing Editor) Rutgers University, USA [email protected] Guoliang Yu Texas A&M University, USA [email protected] PRODUCTION Silvio Levy (Scientific Editor) [email protected] Annals of K-Theory is a journal of the K-Theory Foundation(ktheoryfoundation.org). The K-Theory Foundation acknowledges the precious support of Foundation Compositio Mathematica, whose help has been instrumental in the launch of the Annals of K-Theory.
    [Show full text]
  • Lie Groupoids, Pseudodifferential Calculus and Index Theory
    Lie groupoids, pseudodifferential calculus and index theory by Claire Debord and Georges Skandalis Université Paris Diderot, Sorbonne Paris Cité Sorbonne Universités, UPMC Paris 06, CNRS, IMJ-PRG UFR de Mathématiques, CP 7012 - Bâtiment Sophie Germain 5 rue Thomas Mann, 75205 Paris CEDEX 13, France [email protected] [email protected] Abstract Alain Connes introduced the use of Lie groupoids in noncommutative geometry in his pio- neering work on the index theory of foliations. In the present paper, we recall the basic notion involved: groupoids, their C∗-algebras, their pseudodifferential calculus... We review several re- cent and older advances on the involvement of Lie groupoids in noncommutative geometry. We then propose some open questions and possible developments of the subject. Contents 1 Introduction 2 2 Lie groupoids and their operators algebras 3 2.1 Lie groupoids . .3 2.1.1 Generalities . .3 2.1.2 Morita equivalence of Lie groupoids . .7 2.2 C∗-algebra of a Lie groupoid . .7 2.2.1 Convolution ∗-algebra of smooth functions with compact support . .7 2.2.2 Norm and C∗-algebra . .8 2.3 Deformation to the normal cone and blowup groupoids . .9 2.3.1 Deformation to the normal cone groupoid . .9 2.3.2 Blowup groupoid . 10 3 Pseudodifferential calculus on Lie groupoids 11 3.1 Distributions on G conormal to G(0) ........................... 12 3.1.1 Symbols and conormal distributions . 12 3.1.2 Convolution . 15 3.1.3 Pseudodifferential operators of order ≤ 0 ..................... 16 3.1.4 Analytic index . 17 3.2 Classical examples .
    [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]
  • The Top Mathematics Award
    Fields told me and which I later verified in Sweden, namely, that Nobel hated the mathematician Mittag- Leffler and that mathematics would not be one of the do- mains in which the Nobel prizes would The Top Mathematics be available." Award Whatever the reason, Nobel had lit- tle esteem for mathematics. He was Florin Diacuy a practical man who ignored basic re- search. He never understood its impor- tance and long term consequences. But Fields did, and he meant to do his best John Charles Fields to promote it. Fields was born in Hamilton, Ontario in 1863. At the age of 21, he graduated from the University of Toronto Fields Medal with a B.A. in mathematics. Three years later, he fin- ished his Ph.D. at Johns Hopkins University and was then There is no Nobel Prize for mathematics. Its top award, appointed professor at Allegheny College in Pennsylvania, the Fields Medal, bears the name of a Canadian. where he taught from 1889 to 1892. But soon his dream In 1896, the Swedish inventor Al- of pursuing research faded away. North America was not fred Nobel died rich and famous. His ready to fund novel ideas in science. Then, an opportunity will provided for the establishment of to leave for Europe arose. a prize fund. Starting in 1901 the For the next 10 years, Fields studied in Paris and Berlin annual interest was awarded yearly with some of the best mathematicians of his time. Af- for the most important contributions ter feeling accomplished, he returned home|his country to physics, chemistry, physiology or needed him.
    [Show full text]
  • 17 Oct 2019 Sir Michael Atiyah, a Knight Mathematician
    Sir Michael Atiyah, a Knight Mathematician A tribute to Michael Atiyah, an inspiration and a friend∗ Alain Connes and Joseph Kouneiher Sir Michael Atiyah was considered one of the world’s foremost mathematicians. He is best known for his work in algebraic topology and the codevelopment of a branch of mathematics called topological K-theory together with the Atiyah-Singer index theorem for which he received Fields Medal (1966). He also received the Abel Prize (2004) along with Isadore M. Singer for their discovery and proof of the index the- orem, bringing together topology, geometry and analysis, and for their outstanding role in building new bridges between mathematics and theoretical physics. Indeed, his work has helped theoretical physicists to advance their understanding of quantum field theory and general relativity. Michael’s approach to mathematics was based primarily on the idea of finding new horizons and opening up new perspectives. Even if the idea was not validated by the mathematical criterion of proof at the beginning, “the idea would become rigorous in due course, as happened in the past when Riemann used analytic continuation to justify Euler’s brilliant theorems.” For him an idea was justified by the new links between different problems which it illuminated. Our experience with him is that, in the manner of an explorer, he adapted to the landscape he encountered on the way until he conceived a global vision of the setting of the problem. Atiyah describes here 1 his way of doing mathematics2 : arXiv:1910.07851v1 [math.HO] 17 Oct 2019 Some people may sit back and say, I want to solve this problem and they sit down and say, “How do I solve this problem?” I don’t.
    [Show full text]