Michael Atiyah
Modèle:Voir homonymes Modèle:Infobox Biographie2
Sir Michael Francis Atiyah, né le Modèle:Date- à Londres et mort le Modèle:Date-, est un mathématicien anglais d'origine libanaise, fils de l'écrivain Edward Atiyah. Il est professeur à l'université d'Oxford, à l'université de Cambridge et à l'université de Princeton. Membre de la Modèle:Lang depuis 1962, il en est président de 1990 à 1995. Il est lauréat de la médaille Fields 1966, du prix Abel 2004 et de la grande médaille 2010.
Biographie
Les parents de Michael Atiyah, Jean Levens, fille d’un pasteur du Yorkshire d’origine écossaise et Edward Selim Atiyah, fils d'un médecin libanais et chrétien orthodoxe, se rencontrent lors de leurs études supérieures à l'université d'Oxford. Michal Atiyah est leur fils aînéModèle:Sfn. Il fait ses études primaires à Khartoum, au Soudan (1934–1941) et ses études secondaires au Caire et à Alexandrie (1941–1945). Il retourne ensuite en Grande-Bretagne étudier à la grammar school de Manchester, extrêmement réputée pour les mathématiques, où il prépare l’examen d’entrée à Cambridge qu’il réussit en 1947Modèle:Sfn. Il choisit alors de faire deux ans de service national (écourtés dans son cas pour lui permettre d'assister à des cours d’été à Cambridge), pendant lesquels il sert dans le Royal Electrical and Mechanical Engineers (Corps des ingénieurs royaux en électricité et mécanique), mais en profite pour lire des mathématiquesModèle:Sfn. Il entreprend à partir de 1949 des études supérieures à Trinity College (Cambridge), obtenant en 1955 un doctorat sous la direction de William Vallance Douglas Hodge.
Il épouse la même année Lily Brown (1928-2018), une mathématicienne qui fait sa thèse avec Mary CartwrightModèle:Sfn à Girton College et a alors un poste à l’université de Londres ; ils ont trois filsModèle:Sfn.
Atiyah obtient alors une bourse de recherches du Modèle:Lang pour passer l'année universitaire 1955-1956 à l'Modèle:Lang à Princeton, avec son épouse qui abandonne son poste pour l'accompagner. Il décrit cette année comme Modèle:Citation, une Modèle:Citation. Il rencontre à l'institut des mathématiciens dont les travaux jouent un rôle important dans son développement mathématique : Isadore Singer, Raoul Bott, Jean-Pierre Serre, Kunihiko Kodaira, Donald Spencer, Friedrich HirzebruchModèle:Sfn.
À son retour à Cambridge, Atiyah est assistant pendant un an, puis [[Lecteur (université)|Modèle:Lang]] à l'université et Modèle:Lang de [[Pembroke College (Cambridge)|Modèle:Lang]]Modèle:Sfn. En 1961, il part à l’université d’Oxford, où il est Modèle:Lang et Modèle:Lang à [[Collèges de l'université d'Oxford|Modèle:Lang]] (1961–1963). Il est ensuite nommé professeur savilien de géométrie et Modèle:Lang à Modèle:Lang, où il reste six ansModèle:Sfn. Il retourne alors, avec un poste de professeur invité pour trois ans, à l’Modèle:Lang de Princeton, avant de revenir à Oxford, cette fois comme Modèle:Lang de [[Collèges de l'université d'Oxford|Modèle:Lang]] et Modèle:Lang Modèle:LangModèle:Sfn.
Dans les années 1990, Atiyah participe à la création de l’Institut Isaac Newton pour les sciences mathématiques à Cambridge, dont il est le premier directeur de 1990 à 1996<ref>Modèle:Lien web.</ref>. Finalement, à partir de 1997 et jusqu’à sa mort au début de 2019, Atiyah est professeur émérite à l’Université d'ÉdimbourgModèle:Sfn.
Carrière et responsabilités
Atiyah passe l'année académique 1955-1956 à l'Institute for Advanced Study, Princeton, puis retourne à l'Université de Cambridge, où il devient chercheur et assistant maître de conférences (1957-1958), puis maître de conférences et chargé de cours au Pembroke College, Cambridge (1958-1961). En 1961, il s'installe à l'université d'Oxford, où il est lecteur et professeur au St Catherine's College (1961-1963)Modèle:Sfn. Il devient professeur de géométrie et professeur au New College (1963-1969). Il occupe pendant trois ans un poste de professeur à l'Institute for Advanced Study à Princeton, après quoi il retourne à Oxford en tant que Royal Society Research Professor et professorial fellow du New College. Puis en tant que professeur de la Royal Society et membre du St Catherine's College. Il a été président de la London Mathematical Society de 1974 à 1976Modèle:Sfn.
Michael Atiyah a exercé de nombreuses responsabilités, à différentes échelles. Localement, il a été Master (c'est-à-dire directeur) de Trinity College (Cambridge) de 1990 à 1997<ref>Modèle:Lien web.</ref> (en même temps que directeur de l'Institut Isaac Newton) et Modèle:Lang de l'université de Leicester de 1995 à 2005<ref>Modèle:Lien web.</ref>.
Nationalement, il est président de la Modèle:Lang de 1974 à 1976<ref name="LMS">Modèle:Lien web.</ref>, de la Modèle:Lang de 1990 à 1995<ref>Modèle:Lien web.</ref> et de la Modèle:Lang de 2005 à 2008<ref>Modèle:Lien web.</ref>.
Internationalement, il a joué un rôle important dans la création du Panel interuniversitaire sur les affaires internationales<ref name="abel">Modèle:Lien web.</ref>, de l'Association des Académies européennes (ALLEA)<ref name="abel"/> et de la Société mathématique européenne<ref name="LMS"/>.
Il a aussi présidé les Conférences Pugwash, en faveur du désarmement nucléaire, entre 1997 et 2002<ref>Modèle:Article.</ref>,<ref name="abel"/>.
Recherches
Collaborations
Il a collaboré avec de nombreux mathématiciens, en particulier avec Raoul Bott, Friedrich Hirzebruch et Isadore Singer, tous rencontrés à l'Institute for Advanced Study à Princeton en 1955Modèle:Sfn. Il a fondé la K-théorie avec Hirzebruch. Son résultat le plus connu est le théorème de l'indice d'Atiyah-Singer, qui peut être utilisé pour compter le nombre de solutions indépendantes de certaines équations différentielles. Plus récemment, il a travaillé sur des thèmes inspirés par la physique théorique, comme les instantons, utilisés dans la théorie quantique des champs.
Parmi ses autres collaborateurs, on peut citer ; J. Frank Adams (problème de l'Modèle:Lien), Jürgen Berndt (plans projectifs), Roger Bielawski (problème de Berry-Robbins), Howard Donnelly (fonction L), Vladimir G. Drinfeld (instantons), Johan L. Dupont (singularités des champs de vecteurs), Lars Gårding (équation différentielle hyperbolique), Nigel J. Hitchin (monopôles), William V. D. Hodge (intégrales du second type), Michael Hopkins (K-théorie), Lisa Jeffrey (lagrangiens topologiques), John D. S. Jones (théorie de Yang-Mills), Juan Maldacena (théorie M), Yuri I. Manin (instantons), Nick S. Manton (Skyrmions), Vijay K. Patodi (asymétrie spectrale), A. N. Pressley (convexité), Elmer Rees (faisceaux de vecteurs), Wilfried Schmid (représentations en séries discrètes), Graeme Segal (K-théorie équivariante), Alexander Shapiro<ref>Modèle:MathGenealogy</ref> (algèbres de Clifford), L. Smith (groupes d'homotopie de sphères), Paul Sutcliffe (polyèdres), David O. Tall (anneaux lambda), John A. Todd (manifold de Stiefels), Cumrun Vafa (M-théorie), Richard S. Ward (instantons) et Edward Witten (théorie M, théories quantiques topologiques des champs).
Parmi les élèves d'Atiyah se trouvent Peter Braam 1987, Simon Donaldson 1983, K. David Elworthy 1967, Howard Fegan 1977, Eric Grunwald 1977, Nigel Hitchin 1972, Lisa Jeffrey 1991, Frances Kirwan 1984, Peter Kronheimer 1986, Ruth Lawrence 1989, George Lusztig 1971, Jack Morava 1968, Michael Murray 1983, Peter Newstead 1966, Ian R. Porteous 1961, John Roe 1985, Brian Sanderson 1963, Rolph Schwarzenberger 1960, Graeme Segal 1967, David Tall 1966, et Graham White 1982<ref name="genealogy">Modèle:MathGenealogy</ref>.
Parmi les mathématiciens contemporains ayant influencé Atiyah sont Roger Penrose, Lars Hörmander, Alain Connes et Jean-Michel BismutModèle:Sfn. Atiyah a déclaré que le mathématicien qu'il admirait le plus était Hermann WeylModèle:Sfn, et que ses mathématiciens préférés d'avant le Modèle:Lien siècleModèle:Vérification siècle étaient Bernhard Riemann et William Rowan Hamilton<ref>Modèle:Ouvrage</ref>.
Les sept volumes des documents rassemblés d'Atiyah comprennent la plupart de ses travaux, à l'exception de son manuel d'algèbre commutative<ref>Modèle:Harvnb</ref> ; les cinq premiers volumes sont divisés par thème et les sixième et septième par date.
Géométrie algébrique (1952–1958)
Les premiers travaux de Atiyah sont consacrés à la géométrie algébrique. Encore étudiant, Atiyah s’intéresse à la géométrie projective classique et son premier article est une courte note sur la cubique gaucheModèle:Sfn. En 1954, il gagne le prix Smith pour une approche en termes de faisceaux des surfaces régléesModèle:Sfn. Ce prix encourage d’ailleurs Atiyah à poursuivre en mathématiques, plutôt que se consacrer à d’autres sujets qui l’intéressent alors, l'architecture et l'archéologieModèle:Sfn.
Dans sa thèse, sous la direction de WVD Hodge, Atiyah développe une approche en termes de faisceaux de la théorie de Solomon Lefschetz sur les intégrales de deuxième espèce des variétés algébriquesModèle:Sfn. Il la soutient en 1955, sous le titre : Modèle:Lang (Quelques applications des méthodes topologiques en géométrie algébrique). Il est alors invité pour un an à l’Modèle:Lang de Princeton. Pendant son séjour à Princeton, il classifie les fibrés vectoriels sur une courbe elliptique — une extension de la classification par Alexandre Grothendieck des fibrés sur une courbe de genre 0 : Atiyah montre que tout fibré vectoriel est somme de fibrés indécomposables, de manière essentiellement unique, puis que l’espace des fibrés de dimension positive et de degré donné s’identifie avec la courbe elliptique de baseModèle:Sfn. Il étudie aussi les points doubles sur les surfacesModèle:Sfn et donne le premier exemple d’une transformation birationnelle des variétés algébriques de Modèle:Nobr qui sera ensuite fondamentale pour le travail de Shigefumi Mori sur les modèles minimaux de ces variétésModèle:Sfn.
K-théorie (1959–1974)
Modèle:Article détaillé Les travaux d'Atiyah sur la K-théorie sont reproduits dans le volume 2 de ses œuvres rassembléesModèle:Sfn,Modèle:Sfn.
L'exemple non trivial le plus simple d'un faisceau de vecteurs est le ruban de Möbius (illustrée à droite) : une bande de papier avec une torsion, qui représente un fibré de vecteurs de rang 1 sur un cercle (le cercle en question étant la ligne centrale de la bande de Möbius). La K-théorie est un outil permettant de généraliser cet exemple en dimensions supérieures, ou en d'autres termes de décrire des torsions en plus grande dimension : les éléments du K-groupe d'un espace sont représentés par des faisceaux de vecteurs sur cet espace, de sorte que la bande de Möbius représente un élément du K-groupe d'un cercle<ref>Modèle:Lien arXiv</ref>.
La K-théorie topologique a été découverte par Atiyah et Friedrich HirzebruchModèle:Sfnqui ont été inspirés par la preuve de Grothendieck du théorème de Grothendieck-Riemann-Roch et les travaux de Bott sur le théorème de périodicité. Cet article ne concernait que le K-groupe de degré 0 ; ils l'ont étendu peu après aux K-groupes de tous les degrés<Modèle:Sfn, donnant le premier exemple (non trivial) d'une Modèle:Lien.
Plusieurs résultats ont montré que la K-théorie nouvellement introduite était d'une certaine manière plus puissante que la théorie cohomologique ordinaire. Atiyah et ToddModèle:Sfn ont utilisé la K-théorie pour améliorer les limites inférieures trouvées en utilisant la cohomologie ordinaire par Borel et Serre pour le Modèle:Lien, décrivant quand une carte d'une variété de Stiefel complexe à une sphère a une section transversale. (Adams et Grant-Walker ont montré plus tard que la limite trouvée par Atiyah et Todd était la meilleure possible). Atiyah et HirzebruchModèle:Sfn ont utilisé la K-théorie pour expliquer certaines relations entre les Modèle:Lien et les classes de Todd que Hirzebruch avait remarquées quelques années auparavant. La solution originale du problème de l'invariant de Hopf par J. F. Adams était longue et compliquée, utilisant des opérations de cohomologie secondaires. Atiyah a montré comment les opérations primaires de la K-théorie pouvaient être utilisées pour donner une solution courte ne prenant que quelques lignes, et dans un travail commun avec AdamsModèle:Sfn a également prouvé des analogues du résultat pour les nombres premiers impairs.
La suite spectrale d'Atiyah-Hirzebruch relie la cohomologie ordinaire d'un espace à sa théorie de cohomologie généraliséeModèle:Sfn (Atiyah et Hirzebruch ont utilisé le cas de la K-théorie, mais leur méthode fonctionne pour toutes les théories de cohomologie).
Atiyah a montré<ref>Modèle:Harvnb</ref> que pour un groupe fini G, la K-théorie de son espace classificateur, BG, est isomorphe à la complétion de son anneau de caractères :
- <math>K(BG) \cong R(G)^{\wedge}.</math>
La même année<ref>Modèle:Harvnb</ref> ils ont prouvé le résultat pour G tout groupe de Lie compact connexe. Bien que le résultat ait pu être étendu à tous les groupes de Lie compacts en incorporant des résultats de la thèse de Graeme Segal<ref>Modèle:Harvnb</ref>, cette extension était compliquée. Cependant, une preuve plus simple et plus générale a été produite en introduisant la Modèle:Lien, c'est-à-dire les classes d'équivalence des faisceaux de vecteurs G sur un espace compact GX<ref>Modèle:Harvnb</ref>.
Il défini de nouvelles théories d'homologie et de cohomologie généralisées appelées bordisme et cobordisme, et a souligné que de nombreux résultats profonds sur le cobordisme des manifolds trouvés par René Thom, C. T. C. Wall, et d'autres pouvaient être appliqués à l'homologie et à la cohomologie. Wall et d'autres pourraient être naturellement réinterprétés comme des déclarations sur ces théories de cohomologieModèle:Sfn. Certaines de ces théories de cohomologie, en particulier le cobordisme complexe, se sont révélées être certaines des théories de cohomologie les plus puissantes que l'on connaisse.
Il introduisitModèle:Sfn le Modèle:Lien J(X) d'un complexe fini X, défini comme le groupe des classes d'équivalence d'homotopie de fibres stables des fibrés de sphères ; ceci fut plus tard étudié en détail par J. F. Adams dans une série d'articles, menant à la Modèle:Lien.
Avec Hirzebruch, il a étendu le théorème de Grothendieck-Riemann-Roch aux plongements analytiquesModèle:Sfn, et dans un article connexeModèle:Sfn ils ont montré que la conjecture de Hodge pour la cohomologie intégrale est fausse. La conjecture de Hodge pour la cohomologie rationnelle est, en 2008, un problème majeur non résolu<ref>Modèle:Ouvrage</ref>.
Le Modèle:Lien est un thème central dans le travail d'Atiyah sur la K-théorie, et il y est revenu à plusieurs reprises, retravaillant la preuve plusieurs fois pour mieux la comprendre. Avec Bott, il a élaboré une preuve élémentaireModèle:Sfn, et en a donné une autre version dans son livreModèle:Sfn. Avec Bott et Shapiro, il a analysé la relation entre la périodicité de Bott et la périodicité des algèbres de CliffordModèle:Sfn ; bien que cet article ne contienne pas de preuve du théorème de périodicité, une preuve similaire a été trouvée peu de temps après par R. Wood. Atiyah a trouvé une preuve de plusieurs généralisations utilisant des opérateurs elliptiquesModèle:Sfn cette nouvelle preuve utilisait une idée qu'il avait utilisée pour donner une preuve particulièrement courte et facile du théorème de périodicité original de BottModèle:Sfn.
Théorie de l'indice (1963–1984)
Modèle:Article détaillé Les travaux d'Atiyah sur la théorie de l'indice sont reproduits dans les volumes 3 et 4 de ses œuvres rassembléesModèle:Sfn,Modèle:Sfn.
L'indice d'un opérateur différentiel est étroitement lié au nombre de solutions indépendantes (plus précisément, il s'agit de la différence des nombres de solutions indépendantes de l'opérateur différentiel et de son adjoint). De nombreux problèmes mathématiques difficiles et fondamentaux peuvent facilement être ramenés au problème de la recherche du nombre de solutions indépendantes d'un opérateur différentiel, de sorte que si l'on dispose d'un moyen de trouver l'indice d'un opérateur différentiel, ces problèmes peuvent souvent être résolus. C'est ce que fait le théorème de l'indice d'Atiyah-Singer : il donne une formule pour l'indice de certains opérateurs différentiels, en termes d'invariants topologiques qui semblent assez compliqués mais qui, en pratique, sont généralement simples à calculer.
Plusieurs théorèmes profonds, tels que le théorème de Hirzebruch-Riemann-Roch, sont des cas particuliers du théorème de l'indice d'Atiyah-Singer. En fait, le théorème d'indexation donne un résultat plus puissant, car sa preuve s'applique à tous les variétés complexes compactes, alors que la preuve de Hirzebruch ne fonctionne que pour les variétés projectives. Ce théorème a de nombreux corollaire : une application typique est le calcul des dimensions des espaces de modules des instantons. Le théorème de l'indice peut aussi être appliqué « à l'envers » : l'indice est évidemment un entier, donc la formule pour l'indice doit aussi donner un entier, ce qui donne parfois des conditions d'intégralité subtiles sur les invariants des variétés. Un exemple typique est le Modèle:Lien, qui découle du théorème de l'indice.
Le théorème d'Atiyah-Singer apparait pour la première fois dans leur article de 1963<ref>Modèle:Harvnb</ref>. La preuve esquissée dans cette annonce a été inspirée par la preuve de Hirzebruch du théorème de Hirzebruch-Riemann-Roch et n'a jamais été publiée par eux, bien qu'elle soit décrite dans le livre de Palais<ref>Modèle:Harvnb</ref>. Leur première preuve publiée<ref>Modèle:Harvnb</ref> était plus similaire à la preuve de Grothendieck du théorème de Grothendieck-Riemann-Roch, remplaçant la théorie du cobordisme de la première démonstration par la K-théorie, et ils ont utilisé cette approche pour donner des preuves de diverses généralisations dans une série d'articles de 1968 à 1971.
Au lieu d'un seul opérateur elliptique, on peut considérer une famille d'opérateurs elliptiques paramétrés par un espace Y. Dans ce cas, l'indice est un élément de la K-théorie de Y, plutôt qu'un entierModèle:Sfn. Si les opérateurs de la famille sont réels, alors l'indice se trouve dans la K-théorie réelle de Y. Cela donne une information supplémentaire, car la carte de la K-théorie réelle de Y vers la K-théorie complexe n'est pas toujours injectiveModèle:Sfn.
Avec Bott, Atiyah a trouvé un analogue de la Modèle:Lien pour les opérateurs elliptiques, donnant le nombre de Lefschetz d'un endomorphisme d'un Modèle:Lien en termes d'une somme sur les points fixes de l'endomorphismeModèle:Sfn. Comme cas particulier, leur formule incluait la formule du caractère de Weyl, et plusieurs nouveaux résultats sur les courbes elliptiques à multiplication complexe, dont certains ont été initialement rejetés par les expertsModèle:Sfn.
AtiyahModèle:Sfn a résolu un problème posé indépendamment par Hörmander et Gel'fand, à savoir si les puissances complexes des fonctions analytiques définissent distributions. Atiyah a utilisé la résolution des singularités de Hironaka pour répondre par l'affirmative. Une solution ingénieuse et élémentaire a été trouvée à peu près au même moment par J. BernsteinModèle:Sfn.
Atiyah, Bott et Vijay K. Patodi<ref>{{harvnb|Atiyah|Bott|Patodi|1973}</ref> ont donné une nouvelle preuve du théorème de l'indice en utilisant l'équation de la chaleur.
Théorie de jauge (1977–1985)
Modèle:Article détaillé Un grand nombre de ses articles sur la théorie de jauge et les sujets connexes sont réimprimés dans le volume 5 de ses œuvres rassembléesModèle:Sfn. Un thème commun à ces articles est l'étude des espaces de modules des solutions de certaines équations aux dérivées partielles non linéaires, en particulier les équations pour les instantons et les monopôles. Cela implique souvent de trouver une correspondance subtile entre les solutions de deux équations apparemment très différentes. Un des premiers exemples utilisés à plusieurs reprises par Atiyah est la Modèle:Lien, qui peut parfois convertir les solutions d'une équation non linéaire sur une variété réelle en solutions d'équations holomorphes linéaires sur une variété complexe différente.
Dans une série d'articles avec plusieurs auteurs, Atiyah a classé tous les instantons sur l'espace euclidien à 4 dimensions. Les travaux d'Atiyah sur les espaces de moduli des instantons ont été utilisés dans les travaux de Donaldson sur la Modèle:Lien.
Les fonctions de Green pour les équations différentielles partielles linéaires permettent, en utilisant la transformée de Fourier, de les convertir en un problème algébrique. Atiyah a utilisé une version non linéaire de cette idéeModèle:Sfn.
Avec Hitchin, il a travaillé sur les monopôles magnétiques, et a étudié leur diffusion en utilisant une idée de Nick MantonModèle:Sfn. Le thème principal du livre est l'étude d'un espace de modules des monopôles magnétiques ; cet espace a une métrique riemannienne naturelle, et un point clé est que cette métrique est complète et hyperkähler. La métrique est ensuite utilisée pour étudier la diffusion de deux monopôles, en utilisant une suggestion de N. Manton selon laquelle le flux géodésique sur l'espace modules est l'approximation à basse énergie de la diffusionModèle:Sfn.
Atiyah a montréModèle:Sfn que les instantons en 4 dimensions peuvent être identifiés à des instantons en 2 dimensions, qui sont beaucoup plus faciles à manipuler. Il y a bien sûr un problème : en passant de 4 à 2 dimensions, le groupe de structure de la théorie de jauge passe d'un groupe de dimension finie à un groupe de boucles de dimension infinie. Cela donne un autre exemple où les espaces de modules des solutions de deux équations différentielles partielles non linéaires apparemment sans rapport se révèlent être essentiellement les mêmes.
Atiyah et Singer ont découvert que les anomalies de la théorie quantique des champs pouvaient être interprétées en termes de théorie de l'indice de l'opérateur de DiracModèle:Sfn ; cette idée a ensuite été largement utilisée par les physiciens.
Travaux plus tardifs (1986–2019)
De nombreux articles du Modèle:6e volumeModèle:Sfn de ses œuvres sont des enquêtes, des nécrologies et des exposés généraux. Atiyah a continué à publier par la suite, y compris plusieurs enquêtes, un livre populaire<ref>Modèle:Harvnb</ref>, et un autre article avec Segal sur la K-théorie tordue.
Plusieurs de ses articles datant de cette époque étudient les liens entre la théorie quantique des champs, la théorie des nœuds et la théorie de Donaldson. Il introduit le concept de théorie quantique des champs topologique, inspiré par les travaux de Witten et la définition de Segal d'une théorie conforme des champsModèle:Sfn. Son livre "The Geometry and Physics of Knots"<ref>Modèle:Harvnb</ref> décrit les nouveaux invariants de nœuds trouvés par Vaughan Jones et Edward Witten en termes de théories quantiques topologiques des champs, et son article avec L. JeffreyModèle:Sfn explique le lagrangien de Witten en donnant les invariants de Donaldson.
Il a étudié les skyrmions avec Nick MantonModèle:Sfn, trouvant une relation avec les monopôles magnétiques et les instantons, et donnant une conjecture pour la structure de l'espace moduli de deux skyrmions comme un certain sous-quotient de l'espace projectif complexe de dimensions 3.
Dans ses articles avec M. HopkinsModèle:Sfn et G. SegalModèle:Sfn, il revient à son intérêt antérieur pour la K-théorie, décrivant certaines formes tordues de K-théorie avec des applications en physique théorique.
En Modèle:Date-, il annonce son intention de présenter une démonstration simple de l'hypothèse de Riemann au Heidelberg Modèle:Lang (Allemagne). Des mathématiciens interrogés à ce sujet par le Modèle:Lang se sont abstenus de commentaires. Selon le Modèle:Lang, Atiyah a produit dans les dernières années précédant sa déclaration un certain nombre d'articles comportant des assertions remarquables qui n'ont pas convaincu ses collègues<ref>Gilead Amit, « Famed mathematician claims proof of 160-year-old Riemann hypothesis », The New Scientist, 21 septembre 2018, en ligne.</ref>.
Prix et récompenses
Atiyah a reçu le prix Berwick en 1961, la médaille Fields en 1966, la médaille De Morgan en 1980 et la médaille Copley en 1988. En 1989, il est lauréat de la Conférence Forder. En 2004, on lui décerne le prix Abel, conjointement avec Singer avec qui il avait démontré en 1963 le théorème de l'indice<ref name="abel"/>. Enfin, en 2010, il reçoit la Grande médaille de l'Académie des sciences.
Il a été fait Knight Bachelor en 1983<ref>London Gazette : no 49375, Modèle:P., 10-06-1983.</ref>.
Michael Atiyah est [[doctorat honoris causa|docteur Modèle:Lang]] de nombreuses universités : Reading, Helsinski, Salamanque, Montréal, Wales, Liban, Queen's (Canada), Keele, Birmingham, UMIST, Brown, Heriot-Watt, Mexico, Oxford, Hong Kong, Modèle:LangModèle:Sfn ; université américaine de Beyrouth (2004), York (2005), Harvard (2006), École normale supérieure de Pise (2007), université polytechnique de Catalogne (2008), université de science et de technologie de Hong Kong (2012)Modèle:Sfn.
Ouvrages
Sélection de travaux
Notes et références
Modèle:TradRef Modèle:Références
Voir aussi
Bibliographie
- Modèle:Ouvrage.
- Modèle:Ouvrage.
- Modèle:Chapitre.
- Modèle:Ouvrage.
- Modèle:Article.
- Modèle:Lien web.
- Modèle:Article
- Modèle:Ouvrage
- Modèle:Ouvrage
- Modèle:Ouvrage. Reprinted in volume 1 of his collected works, Modèle:P., Modèle:ISBN. On page 120 Gel'fand suggests that the index of an elliptic operator should be expressible in terms of topological data.
- Modèle:Ouvrage
- Modèle:Ouvrage
- Modèle:Ouvrage. This describes the original proof of the index theorem. (Atiyah and Singer never published their original proof themselves, but only improved versions of it.)
- Modèle:Ouvrage.
- Modèle:Ouvrage.
- Modèle:Ouvrage.
