Editing Michael Atiyah

{{Short description|British-Lebanese mathematician (1929–2019)}}
{{primary sources|date=January 2022}}
{{use dmy dates|date=January 2019}}
{{Infobox scientist
| honorific_prefix  = [[Professor]]
| name              = Sir Michael Atiyah
| honorific_suffix  = {{postnominals|country=GBR|size=100%|OM|FRS|FRSE|FMedSci|FAA|HonFREng}}
| birth_name        = Michael Francis Atiyah
| image             = Michael Francis Atiyah.jpg
| caption           = Michael Atiyah in 2007
| birth_date        = {{birth date|1929|04|22|df=y}}
| birth_place       = [[Hampstead]], London, England
| death_date        = {{death date and age|2019|01|11|1929|04|22|df=yes}}
| death_place       = Edinburgh, Scotland
| fields            = [[Mathematics]]
| doctoral_advisor  = [[W. V. D. Hodge]]<ref name=aphd/><ref name="genealogy">{{MathGenealogy|id=30949}}</ref>
| doctoral_students = {{Plainlist|
* [[Simon Donaldson]]
* [[K. David Elworthy]]
* [[Nigel Hitchin]]<ref>{{cite thesis|degree=DPhil|publisher=University of Oxford|title=Differentiable manifolds: the space of harmonic spinors|first=Nigel J.|last=Hitchin|date=1972|url=http://solo.bodleian.ox.ac.uk/OXVU1:LSCOP_OX:oxfaleph020603382|id={{EThOS|uk.bl.ethos.459281}}|website=bodleian.ox.ac.uk|oclc=500473357}}{{Dead link|date=June 2024 |bot=InternetArchiveBot |fix-attempted=yes }}</ref>
* [[Lisa Jeffrey]]
* [[Frances Kirwan]]
* [[Peter Kronheimer]]
* [[Ruth Lawrence]]
* [[George Lusztig]]
* [[Ian R. Porteous]]
* [[Graeme Segal]]
* [[David O. Tall]]<ref name="genealogy"/>}}
| notable_students  = [[Edward Witten]]
| thesis_title      = Some Applications of Topological Methods in Algebraic Geometry
| thesis_url        = https://www.repository.cam.ac.uk/handle/1810/251002
| thesis_year       = 1955
| work_institutions = {{Plainlist|
* [[University of Oxford]]
* [[Institute for Advanced Study]]
* [[University of Leicester]]
* [[University of Edinburgh]]
* [[University of Cambridge]]
}}
| education         = [[Trinity College, Cambridge]] ([[Bachelor of Arts|BA]], [[Master of Arts|MA]], [[Doctor of Philosophy|PhD]])
| known_for         = [[Atiyah algebroid]]<br />[[Atiyah conjecture]]<br />[[Atiyah conjecture on configurations]]<br />[[Flip (mathematics)#Examples|Atiyah flop]]<br />[[Atiyah–Bott formula]]<br />[[Atiyah–Bott fixed-point theorem]]<br />[[Floer homology#Atiyah–Floer conjecture|Atiyah–Floer conjecture]]<br />[[Atiyah–Hirzebruch spectral sequence]]<br />[[Atiyah–Jones conjecture]]<br />[[Atiyah–Hitchin–Singer theorem]]<br />[[Atiyah–Singer index theorem]]<br />[[Atiyah–Segal completion theorem]]<br />[[ADHM construction]]<br />[[Fredholm module]]<br />[[Eta invariant]]<br />[[K-theory]]<br />[[KR-theory]]<br />[[Pin group]]<br />[[Toric manifold]]
| awards            = {{Plainlist|
* [[Berwick Prize]] (1961)
* [[Fields Medal]] (1966)
* [[Royal Medal]] (1968)
* [[De Morgan Medal]] (1980)
* [[Copley Medal]] (1988)
* [[Abel Prize]] (2004)}}
}}
'''Sir Michael Francis Atiyah''' ({{IPAc-en|ə|ˈ|t|iː|ə}}; 22 April 1929 – 11 January 2019) was a British-Lebanese [[mathematician]] specialising in [[geometry]].<ref name="mactutor">{{MacTutor Biography|id=Atiyah}}</ref> His contributions include the [[Atiyah–Singer index theorem]] and co-founding [[topological K-theory]]. He was awarded the [[Fields Medal]] in 1966 and the [[Abel Prize]] in 2004.

==Early life and education==
[[File:TrinityCollegeCamGreatCourt.jpg|thumb|right|[[Trinity Great Court|Great Court]] of [[Trinity College, Cambridge]], where Atiyah was a student and later [[Master of Trinity College, Cambridge|Master]]]]
Atiyah was born on 22 April 1929 in [[Hampstead]], [[London]], England, the son of Jean (née Levens) and [[Edward Atiyah]].<ref name="whoswho">{{Who's Who | title=ATIYAH, Sir Michael (Francis) | id = U5927 | volume = 2014 | edition = online edition via [[Oxford University Press]]}}</ref> His mother was Scottish and his father was a Lebanese [[Eastern Orthodox Christianity in Lebanon|Orthodox Christian]]. He had two brothers, [[Patrick Atiyah|Patrick]] (deceased) and Joe, and a sister, Selma (deceased).<ref name="ja">{{citation|first=Joe|last=Atiyah|url=http://www.atiyah.plus.com/family.htm|title= The Atiyah Family |access-date= 14 August 2008 |year=2007 |ref=none}}</ref> Atiyah went to primary school at the Diocesan school in [[Khartoum]], Sudan (1934–1941), and to secondary school at [[Victoria College, Alexandria|Victoria College]] in [[Cairo]] and [[Alexandria]] (1941–1945); the school was also attended by [[European nobility]] displaced by the [[Second World War]] and some future leaders of Arab nations.<ref>{{citation|last=Raafat|first= Samir |url=http://www.egy.com/victoria/96-03-30.shtml |archive-url= https://web.archive.org/web/20080416003613/http://www.egy.com/victoria/96-03-30.shtml |archive-date= 16 April 2008 |title=Victoria College: educating the elite, 1902−1956|access-date=14 August 2008}}</ref> He returned to England and [[Manchester Grammar School]] for his [[Higher School Certificate (UK)|HSC]] studies (1945–1947) and did his [[National Service in the United Kingdom|national service]] with the [[Royal Electrical and Mechanical Engineers]] (1947–1949). His [[undergraduate]] and [[postgraduate]] studies took place at [[Trinity College, Cambridge]] (1949–1955).<ref name="cv1">{{harvnb|Atiyah|1988a|p=xi}}</ref> He was a [[doctoral]] student of [[William V. D. Hodge]]<ref name="genealogy"/> and was awarded a doctorate in 1955 for a thesis entitled ''Some Applications of Topological Methods in Algebraic Geometry''.<ref name=aphd>{{cite thesis|degree=PhD|first=Michael Francis|last=Atiyah|year=1955|url=https://www.repository.cam.ac.uk/handle/1810/251002|website=repository.cam.ac.uk|publisher=University of Cambridge|title=Some applications of topological methods in algebraic geometry|access-date=17 November 2017|archive-url=https://web.archive.org/web/20171118223928/https://www.repository.cam.ac.uk/handle/1810/251002|archive-date=18 November 2017|url-status=live}}</ref><ref name=genealogy/>

Atiyah was a member of the [[British Humanist Association]].<ref>[https://humanists.uk/about/our-people/recent-humanist-obituaries "Distinguished mathematician and supporter of Humanism."]</ref>

During his time at Cambridge, he was president of [[The Archimedeans]].<ref>{{Cite web|url=https://the-archimedeans.org.uk/committees/archimedeans/presidents.txt|title=[Presidents Archimedeans]|website=Archimedeans: Previous Committees and Officers|access-date=2019-04-10|archive-date=26 August 2019|archive-url=https://web.archive.org/web/20190826044453/https://the-archimedeans.org.uk/committees/archimedeans/presidents.txt}}</ref>

==Career and research==
[[File:Fuld Hall, Institute for Advanced Study, Princeton, NJ.jpg|thumb|right|The [[Institute for Advanced Study]] in Princeton, where Atiyah was professor from 1969 to 1972]]
Atiyah spent the academic year 1955–1956 at the [[Institute for Advanced Study, Princeton]], then returned to [[Cambridge University]], where he was a research fellow and assistant [[lecturer]] (1957–1958), then a university [[lecturer]] and tutorial [[fellow]] at [[Pembroke College, Cambridge]] (1958–1961). In 1961, he moved to the [[University of Oxford]], where he was a [[reader (academic rank)|reader]] and [[professor]]ial fellow at [[St Catherine's College, Oxford|St Catherine's College]] (1961–1963).<ref name="cv1"/> He became [[Savilian Professor of Geometry]] and a professorial fellow of [[New College, Oxford]], from 1963 to 1969. He took up a three-year professorship at the Institute for Advanced Study in [[Princeton, New Jersey|Princeton]] after which he returned to Oxford as a [[Royal Society]] Research Professor and professorial fellow of St Catherine's College. He was president of the [[London Mathematical Society]] from 1974 to 1976.<ref name="cv1"/>

{{quote box
|align=right
|width=33%
|quote= I started out by changing local currency into foreign currency everywhere I travelled as a child and ended up making money. That's when my father realised that I would be a mathematician some day.
|source=Michael Atiyah<ref>{{citation |first=Amba |last=Batra |date=8 November 2003 |url=http://cities.expressindia.com/fullstory.php?newsid=67555 |title=Maths guru with Einstein's dream prefers chalk to mouse. (Interview with Atiyah.) |access-date=2008-08-14 |publisher=Delhi newsline |archive-url=https://web.archive.org/web/20090208121300/http://cities.expressindia.com/fullstory.php?newsid=67555 |archive-date=8 February 2009 }}</ref>
}}
Atiyah was president of the [[Pugwash Conferences on Science and World Affairs]] from 1997 to 2002.<ref name="cv2">{{harvnb|Atiyah|2004|p=ix}}</ref> He also contributed to the foundation of the [[InterAcademy Panel on International Issues]], the Association of European Academies (ALLEA), and the [[European Mathematical Society]] (EMS).<ref>{{citation|url=https://www.ams.org/notices/200406/comm-abel.pdf|title=Atiyah and Singer receive 2004 Abel prize|journal=[[Notices of the American Mathematical Society]]|year=2006|issue=6|pages=650–651|volume=51|access-date=14 August 2008|archive-url=https://web.archive.org/web/20080910170610/http://www.ams.org/notices/200406/comm-abel.pdf|archive-date=10 September 2008|url-status=live}}</ref>

Within the United Kingdom, he was involved in the creation of the [[Isaac Newton Institute for Mathematical Sciences]] in Cambridge and was its first director (1990–1996). He was [[President of the Royal Society]] (1990–1995), [[Master of Trinity College, Cambridge]] (1990–1997),<ref name="cv2"/> [[Chancellor (education)|Chancellor]] of the [[University of Leicester]] (1995–2005),<ref name="cv2"/> and president of the [[Royal Society of Edinburgh]] (2005–2008).<ref>{{citation|url=http://www.royalsoced.org.uk/international/other_academies/norway.htm|title=Royal Society of Edinburgh announcement|access-date=14 August 2008|archive-url=https://web.archive.org/web/20081120025242/http://www.royalsoced.org.uk/international/other_academies/norway.htm|archive-date=20 November 2008|url-status=live}}</ref> From 1997 until his death in 2019 he was an honorary professor in the [[University of Edinburgh]].  He was a Trustee of the [[James Clerk Maxwell Foundation]].<ref>{{Cite web|date=2019|title=James Clerk Maxwell Foundation Annual Report and Summary Accounts|url=https://clerkmaxwellfoundation.org/Trustees_Report_2019.pdf}}</ref>

Atiyah's mathematical collaborators included [[Raoul Bott]], [[Friedrich Hirzebruch]]<ref>{{Cite journal |last1=Atiyah |first1=Michael |author-link1=Michael Atiyah |year=2014 |title=Friedrich Ernst Peter Hirzebruch 17 October 1927 – 27 May 2012 |journal=[[Biographical Memoirs of Fellows of the Royal Society]] |volume=60 |pages=229–247 |doi=10.1098/rsbm.2014.0010 |doi-access=free |title-link=Friedrich Hirzebruch}}</ref> and [[Isadore Singer]], and his students included [[Graeme Segal]], [[Nigel Hitchin]], [[Simon Donaldson]], and [[Edward Witten]].<ref name="Adv">{{cite web |title=Edward Witten – Adventures in physics and math (Kyoto Prize lecture 2014) |url=http://www.sns.ias.edu/ckfinder/userfiles/files/ComemorativeLecturePopular%281%29.pdf |access-date=30 October 2016 |archive-date=23 August 2016 |archive-url=https://web.archive.org/web/20160823223743/http://www.sns.ias.edu/ckfinder/userfiles/files/ComemorativeLecturePopular(1).pdf }}</ref> Together with Hirzebruch, he laid the foundations for [[topological K-theory]], an important tool in [[algebraic topology]], which, informally speaking, describes ways in which spaces can be twisted. His best known result, the [[Atiyah–Singer index theorem]], was proved with Singer in 1963 and is used in counting the number of independent solutions to [[differential equation]]s. Some of his more recent work was inspired by [[theoretical physics]], in particular [[instanton]]s and [[monopole (mathematics)|monopole]]s, which are responsible for some corrections in [[quantum field theory]]. He was awarded the [[Fields Medal]] in 1966 and the [[Abel Prize]] in 2004.

===Collaborations===
[[File:Mathematical Institute, University of Oxford.jpg|thumb|right|The old [[The Mathematical Institute, University of Oxford|Mathematical Institute]] (now the Department of Statistics) in [[Oxford]], where Atiyah supervised many of his students]]
Atiyah collaborated with many mathematicians. His three main collaborations were with [[Raoul Bott]] on the [[Atiyah–Bott fixed-point theorem]] and many other topics, with [[Isadore M. Singer]] on the [[Atiyah–Singer index theorem]], and with [[Friedrich Hirzebruch]] on topological K-theory,<ref>{{harvnb|Atiyah|2004|p=9}}</ref> all of whom he met at the [[Institute for Advanced Study]] in Princeton in 1955.<ref>{{harvnb|Atiyah|1988a|p=2}}</ref> His other collaborators included; [[J. Frank Adams]] ([[Hopf invariant]] problem), Jürgen Berndt (projective planes), Roger Bielawski (Berry–Robbins problem), Howard Donnelly ([[L-function]]s), [[Vladimir Drinfeld|Vladimir G. Drinfeld]] (instantons), Johan L. Dupont (singularities of [[vector field]]s), [[Lars Gårding]] ([[Hyperbolic partial differential equation|hyperbolic differential equation]]s), [[Nigel Hitchin|Nigel J. Hitchin]] (monopoles), [[William V. D. Hodge]] (Integrals of the second kind), [[Michael Hopkins (mathematician)|Michael Hopkins]] ([[K-theory]]), [[Lisa Jeffrey]] (topological Lagrangians), John D. S. Jones (Yang–Mills theory), [[Juan Maldacena]] (M-theory), [[Yuri I. Manin]] (instantons), [[Nick Manton|Nick S. Manton]] (Skyrmions), [[Vijay Kumar Patodi|Vijay K. Patodi]] (spectral asymmetry), A. N. Pressley (convexity), [[Elmer Rees]] (vector bundles), [[Wilfried Schmid]] (discrete series representations), [[Graeme Segal]] ([[K-theory|equivariant K-theory]]), Alexander Shapiro<ref>{{MathGenealogy|name=Alexander Shapiro|id=41807}}</ref> (Clifford algebras), L. Smith (homotopy groups of spheres), [[Paul Sutcliffe]] (polyhedra), [[David O. Tall]] (lambda rings), [[J. A. Todd|John A. Todd]] ([[Stiefel manifold]]s), [[Cumrun Vafa]] (M-theory), [[Richard S. Ward]] (instantons) and [[Edward Witten]] (M-theory, topological quantum field theories).<ref>{{harvnb|Atiyah|2004|pp=xi-xxv}}</ref>

His later research on [[gauge field theories]], particularly [[Yang–Mills]] theory, stimulated important interactions between [[geometry]] and [[theoretical physics|physics]], most notably in the work of Edward Witten.<ref>{{Cite web |url=http://www.sns.ias.edu/ckfinder/userfiles/files/ComemorativeLecturePopular%281%29.pdf |title=Edward Witten – Adventures in physics and math |access-date=30 October 2016 |archive-url=https://web.archive.org/web/20160823223743/http://www.sns.ias.edu/ckfinder/userfiles/files/ComemorativeLecturePopular(1).pdf |archive-date=23 August 2016 |url-status=live  }}</ref>

{{quote box
|align=right
|width=33%
|quote=If you attack a mathematical problem directly, very often you come to a dead end, nothing you do seems to work and you feel that if only you could peer round the corner there might be an easy solution. There is nothing like having somebody else beside you, because he can usually peer round the corner.
|source=Michael Atiyah<ref>{{harvnb|Atiyah|1988a|loc = paper 12, p. 233}}</ref>
}}
Atiyah's students included 
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 (mathematician)|John Roe]] 1985,
Brian Sanderson	1963,
[[Rolph Ludwig Edward Schwarzenberger|Rolph Schwarzenberger]] 1960,
Graeme Segal 1967,
David Tall 1966,
and Graham White 1982.<ref name="genealogy"/>

Other contemporary mathematicians who influenced Atiyah include [[Roger Penrose]], [[Lars Hörmander]], [[Alain Connes]] and [[Jean-Michel Bismut]].<ref>{{harvnb|Atiyah|2004|p=10}}</ref> Atiyah said that the mathematician he most admired was [[Hermann Weyl]],<ref>{{harvnb|Atiyah|1988a|p=307}}</ref> and that his favourite mathematicians from before the 20th century were [[Bernhard Riemann]] and [[William Rowan Hamilton]].<ref>{{citation |url= http://www.superstringtheory.com/people/atiyah.html |title= Interview with Michael Atiyah |publisher= superstringtheory.com |access-date= 14 August 2008 |archive-url= https://web.archive.org/web/20080914135040/http://www.superstringtheory.com/people/atiyah.html |archive-date= 14 September 2008 |url-status= live }}</ref>

The seven volumes of Atiyah's collected papers include most of his work, except for his commutative algebra textbook;<ref>{{harvnb|Atiyah|Macdonald|1969}}</ref> the first five volumes are divided thematically and the sixth and seventh arranged by date.

===Algebraic geometry (1952–1958)===
{{Main|Algebraic geometry}}
[[File:Twisted cubic curve.png|thumb|right|250px|A [[twisted cubic curve]], the subject of Atiyah's first paper]]
Atiyah's early papers on algebraic geometry (and some general papers) are reprinted in the first volume of his collected works.<ref>{{harvnb|Atiyah|1988a}}</ref>

As an undergraduate Atiyah was interested in classical projective geometry, and wrote his first paper: a short note on [[twisted cubics]].<ref>{{harvnb|Atiyah|1988a|loc=paper 1}}</ref> He started research under [[W. V. D. Hodge]] and won the [[Smith's prize]] for 1954 for a [[Sheaf (mathematics)|sheaf-theoretic]] approach to [[ruled surface]]s,<ref>{{harvnb|Atiyah|1988a|loc=paper 2}}</ref> which encouraged Atiyah to continue in mathematics, rather than switch to his other interests—architecture and archaeology.<ref>{{harvnb|Atiyah|1988a|p= 1}}</ref>
His PhD thesis with Hodge was on a sheaf-theoretic approach to [[Solomon Lefschetz]]'s theory of integrals of the second kind on algebraic varieties, and resulted in an invitation to visit the Institute for Advanced Study in Princeton for a year.<ref>{{harvnb|Atiyah|1988a|loc=papers 3, 4}}</ref> While in Princeton he classified [[vector bundle]]s on an [[elliptic curve]] (extending [[Alexander Grothendieck]]'s classification of vector bundles on a genus 0 curve), by showing that any vector bundle is a sum of (essentially unique) indecomposable vector bundles,<ref>{{harvnb|Atiyah|1988a|loc=paper 5}}</ref> and then showing that the space of indecomposable vector bundles of given degree and positive dimension can be identified with the elliptic curve.<ref>{{harvnb|Atiyah|1988a|loc=paper 7}}</ref> He also studied double points on surfaces,<ref>{{harvnb|Atiyah|1988a|loc=paper 8}}</ref> giving the first example of a [[flop (algebraic geometry)|flop]], a special birational transformation of [[3-fold]]s that was later heavily used in [[Shigefumi Mori]]'s work on [[minimal model (birational geometry)|minimal model]]s for 3-folds.<ref>{{harvnb|Matsuki|2002}}.</ref> Atiyah's flop can also be used to show that the universal marked family of [[K3 surface]]s is not [[Hausdorff space|Hausdorff]].<ref>{{harvnb|Barth|Hulek|Peters|Van de Ven|2004}}</ref>

===K-theory (1959–1974)===
{{Main|K-theory}}
[[File:Möbius strip.jpg|thumb|right|250px|A [[Möbius band]] is the simplest non-trivial example of a [[vector bundle]].]]
Atiyah's works on [[K-theory]], including his book on K-theory<ref>{{harvnb|Atiyah|1989}}</ref> are reprinted in volume 2 of his collected works.<ref>{{harvnb|Atiyah|1988b}}</ref>

The simplest nontrivial example of a vector bundle is the [[Möbius band]] (pictured on the right): a strip of paper with a twist in it, which represents a rank 1 vector bundle over a circle (the circle in question being the centerline of the Möbius band). K-theory is a tool for working with higher-dimensional analogues of this example, or in other words for describing higher-dimensional twistings: elements of the K-group of a space are represented by vector bundles over it, so the Möbius band represents an element of the K-group of a circle.<ref>{{cite arXiv |last1=Atiyah |first1=Michael |author1-link=Michael Atiyah |year=2000 |title=K-Theory Past and Present |eprint=math/0012213}}</ref>

Topological K-theory was discovered by Atiyah and [[Friedrich Hirzebruch]]<ref>{{harvnb|Atiyah|1988b|loc=paper 24}}</ref> who were inspired by Grothendieck's proof of the [[Grothendieck–Riemann–Roch theorem]] and Bott's work on the [[Bott periodicity theorem|periodicity theorem]]. This paper only discussed the zeroth K-group; they shortly after extended it to K-groups of all degrees,<ref name="paper28">{{harvnb|Atiyah|1988b|loc=paper 28}}</ref> giving the first (nontrivial) example of a [[generalized cohomology theory]].

Several results showed that the newly introduced K-theory was in some ways more powerful than ordinary cohomology theory. Atiyah and Todd<ref>{{harvnb|Atiyah|1988b|loc=paper 26}}</ref> used K-theory to improve the lower bounds found using ordinary cohomology by Borel and Serre for the [[James number]], describing when a map from a complex [[Stiefel manifold]] to a sphere has a cross section. ([[J. Frank Adams|Adams]] and Grant-Walker later showed that the bound found by Atiyah and Todd was best possible.) Atiyah and Hirzebruch<ref>{{harvnb|Atiyah|1988a|loc=papers 30,31}}</ref> used K-theory to explain some relations between [[Steenrod operation]]s and [[Todd class]]es that Hirzebruch had noticed a few years before. The original solution of the [[Hopf invariant one problem]] operations by J. F. Adams was very long and complicated, using secondary cohomology operations. Atiyah showed how primary operations in K-theory could be used to give a short solution taking only a few lines, and in joint work with Adams<ref>{{harvnb|Atiyah|1988b|loc=paper 42}}</ref> also proved analogues of the result at odd primes.

[[File:Atiyah-Hirzebruch.jpeg|thumb|right|250px|Michael Atiyah and [[Friedrich Hirzebruch]] (right), the creators of K-theory]]
The [[Atiyah–Hirzebruch spectral sequence]] relates the ordinary cohomology of a space to its generalized cohomology theory.<ref name="paper28" /> (Atiyah and Hirzebruch used the case of K-theory, but their method works for all cohomology theories).

Atiyah showed<ref>{{harvnb|Atiyah|1961}}</ref> that for a finite group ''G'', the K theory of its [[classifying space]], ''BG'', is isomorphic to the [[completion (ring theory)|completion]] of its [[representation ring|character ring]]:
:<math> K(BG) \cong R(G)^{\wedge}.</math>
The same year<ref>{{harvnb|Atiyah|Hirzebruch|1961}}</ref> they proved the result for ''G'' any [[Compact group|compact]] [[Connected space|connected]] [[Lie group]]. Although soon the result could be extended to ''all'' compact Lie groups by incorporating results from [[Graeme Segal]]'s thesis,<ref>{{harvnb|Segal|1968}}</ref> that extension was complicated. However a simpler and more general proof was produced by introducing [[Equivariant algebraic K-theory|equivariant K-theory]], ''i.e.'' equivalence classes of ''G''-vector bundles over a compact ''G''-space ''X''.<ref>{{harvnb|Atiyah|Segal|1969}}</ref> It was shown that under suitable conditions the completion of the equivariant K theory of ''X'' is [[isomorphic]] to the ordinary K-theory of a space, <math>X_G</math>, which fibred over ''BG'' with fibre ''X'':
:<math>K_G(X)^{\wedge} \cong K(X_G). </math>

The original result then followed as a corollary by taking ''X'' to be a point: the left hand side reduced to the completion of ''R(G)'' and the right to ''K(BG)''. See [[Atiyah–Segal completion theorem]] for more details.

He defined new generalized homology and cohomology theories called bordism and [[cobordism]], and pointed out that many of the deep results on cobordism of manifolds found by [[René Thom]], [[C. T. C. Wall]], and others could be naturally reinterpreted as statements about these cohomology theories.<ref>{{harvnb|Atiyah|1988b|loc=paper 34}}</ref> Some of these cohomology theories, in particular complex cobordism, turned out to be some of the most powerful cohomology theories known.

{{quote box
| align = right
| width = 33%
| quote = "Algebra is the offer made by the devil to the mathematician. The devil says: `I will give you this powerful machine, it will answer any question you like. All you need to do is give me your soul: give up geometry and you will have this marvellous machine."
| source = Michael Atiyah<ref>{{harvnb|Atiyah|2004|loc = paper 160, p. 7}}</ref>
}}
He introduced<ref name="paper37">{{harvnb|Atiyah|1988b|loc=paper 37}}</ref> the [[J-group]] ''J''(''X'') of a finite complex ''X'', defined as the group of stable fiber homotopy equivalence classes of [[sphere bundle]]s; this was later studied in detail by [[J. F. Adams]] in a series of papers, leading to the [[Adams conjecture]].

With Hirzebruch he extended the [[Grothendieck–Riemann–Roch theorem]] to complex analytic embeddings,<ref name="paper37" /> and in a related paper<ref>{{harvnb|Atiyah|1988b|loc=paper 36}}</ref> they showed that the [[Hodge conjecture]] for integral cohomology is false. The Hodge conjecture for rational cohomology is, as of 2008, a major unsolved problem.<ref>{{citation|url=http://www.claymath.org/millennium/Hodge_Conjecture/Official_Problem_Description.pdf|publisher=The Clay Math Institute|title=The Hodge conjecture|first=Pierre|last=Deligne|access-date=14 August 2008|archive-url=https://web.archive.org/web/20080827172255/http://www.claymath.org/millennium/Hodge_Conjecture/Official_Problem_Description.pdf|archive-date=27 August 2008}}</ref>

The [[Bott periodicity theorem]] was a central theme in Atiyah's work on K-theory, and he repeatedly returned to it, reworking the proof several times to understand it better. With Bott he worked out an elementary proof,<ref>{{harvnb|Atiyah|1988b|loc=paper 40}}</ref> and gave another version of it in his book.<ref>{{harvnb|Atiyah|1988b|loc=paper 45}}</ref> With Bott and [[Alexander Shapiro|Shapiro]] he analysed the relation of Bott periodicity to the periodicity of [[Clifford algebras]];<ref>{{harvnb|Atiyah|1988b|loc=paper 39}}</ref> although this paper did not have a proof of the periodicity theorem, a proof along similar lines was shortly afterwards found by R. Wood.  He found a proof of several generalizations using [[elliptic operator]]s;<ref>{{harvnb|Atiyah|1988b|loc=paper 46}}</ref> this new proof used an idea that he used to give a particularly short and easy proof of Bott's original periodicity theorem.<ref>{{harvnb|Atiyah|1988b|loc=paper 48}}</ref>

===Index theory (1963–1984)===
[[File:Isadore Singer 1977.jpeg|thumb|right|[[Isadore Singer]] (in 1977), who worked with Atiyah on index theory]]
{{Main|Atiyah–Singer index theorem}}
Atiyah's work on index theory is reprinted in volumes 3 and 4 of his collected works.<ref>{{harvnb|Atiyah|1988c}}</ref><ref>{{harvnb|Atiyah|1988d}}</ref>

The index of a differential operator is closely related to the number of independent solutions (more precisely, it is the differences of the numbers of independent solutions of the differential operator and its adjoint). There are many hard and fundamental problems in mathematics that can easily be reduced to the problem of finding the number of independent solutions of some differential operator, so if one has some means of finding the index of a differential operator these problems can often be solved. This is what the Atiyah–Singer index theorem does: it gives a formula for the index of certain differential operators, in terms of topological invariants that look quite complicated but are in practice usually straightforward to calculate.{{Citation needed|date=November 2010}}

Several deep theorems, such as the [[Hirzebruch–Riemann–Roch theorem]], are special cases of the Atiyah–Singer index theorem. In fact the index theorem gave a more powerful result, because its proof applied to all compact complex manifolds, while Hirzebruch's proof only worked for projective manifolds. There were also many new applications: a typical one is calculating the dimensions of the moduli spaces of instantons. The index theorem can also be run "in reverse": the index is obviously an integer, so the formula for it must also give an integer, which sometimes gives subtle integrality conditions on invariants of manifolds. A typical example of this is [[Rochlin's theorem]], which follows from the index theorem.{{Citation needed|date=November 2010}}

{{quote box
|align=right
|width=33%
|quote=The most useful piece of advice I would give to a mathematics student is always to suspect an impressive sounding Theorem if it does not have a special case which is ''both'' simple ''and'' non-trivial.
|source=Michael Atiyah<ref>{{harvnb|Atiyah|1988a|loc = paper 17, p. 76}}</ref>
}}
The index problem for [[elliptic differential operator]]s was posed in 1959 by [[Israil Gelfand|Gel'fand]].<ref>{{harvnb|Gel'fand|1960}}</ref> He noticed the homotopy invariance of the index, and asked for a formula for it by means of [[topological invariant]]s. Some of the motivating examples included the [[Riemann–Roch theorem]] and its generalization the [[Hirzebruch–Riemann–Roch theorem]], and the [[Hirzebruch signature theorem]]. [[Friedrich Hirzebruch|Hirzebruch]] and [[Armand Borel|Borel]] had proved the integrality of the [[Â genus]] of a spin manifold, and Atiyah suggested that this integrality could be explained if it were the index of the [[Dirac operator]] (which was rediscovered by Atiyah and Singer in 1961).

The first announcement of the Atiyah–Singer theorem was their 1963 paper.<ref>{{harvnb|Atiyah|Singer|1963}}</ref> The proof sketched in this announcement was inspired by Hirzebruch's proof of the [[Hirzebruch–Riemann–Roch theorem]] and was never published by them, though it is described in the book by Palais.<ref>{{harvnb|Palais|1965}}</ref> Their first published proof<ref>{{harvnb|Atiyah|Singer|1968a}}</ref> was more similar to Grothendieck's proof of the [[Grothendieck–Riemann–Roch theorem]], replacing the [[cobordism]] theory of the first proof with [[K-theory]], and they used this approach to give proofs of various generalizations in a sequence of papers from 1968 to 1971.

Instead of just one elliptic operator, one can consider a family of elliptic operators parameterized by some space ''Y''. In this case the index is an element of the K theory of ''Y'', rather than an integer.<ref>{{harvnb|Atiyah|1988c|loc=paper 67}}</ref> If the operators in the family are real, then the index lies in the real K theory of ''Y''. This gives a little extra information, as the map from the real K theory of ''Y'' to the [[complex K-theory]] is not always injective.<ref>{{harvnb|Atiyah|1988c|loc=paper 68}}</ref>

[[File:Graeme Segal.jpeg|thumb|right|Atiyah's former student [[Graeme Segal]] (in 1982), who worked with Atiyah on [[K-theory|equivariant K-theory]]]]
With Bott, Atiyah found an analogue of the [[Lefschetz fixed-point formula]] for elliptic operators, giving the Lefschetz number of an endomorphism of an [[elliptic complex]] in terms of a sum over the fixed points of the endomorphism.<ref>{{harvnb|Atiyah|1988c|loc=papers 61, 62, 63}}</ref> As special cases their formula included the [[Weyl character formula]], and several new results about elliptic curves with complex multiplication, some of which were initially disbelieved by experts.<ref>{{harvnb|Atiyah|1988c|p=3}}</ref>
Atiyah and Segal combined this fixed point theorem with the index theorem as follows.
If there is a compact [[Group action (mathematics)|group action]] of a group ''G'' on the compact manifold ''X'', commuting with the elliptic operator, then one can replace ordinary K-theory in the index theorem with [[Equivariant algebraic K-theory|equivariant K-theory]].
For trivial groups ''G'' this gives the index theorem, and for a finite group ''G'' acting with isolated fixed points it gives the Atiyah–Bott fixed point theorem. In general it gives the index as a sum over fixed point submanifolds of the group ''G''.<ref>{{harvnb|Atiyah|1988c|loc=paper 65}}</ref>

Atiyah<ref>{{harvnb|Atiyah|1988c|loc=paper 73}}</ref> solved a problem asked independently by [[Lars Hörmander|Hörmander]] and Gel'fand, about whether complex powers of analytic functions define [[Distribution (mathematics)|distributions]]. Atiyah used [[Heisuke Hironaka|Hironaka]]'s resolution of singularities to answer this affirmatively. An ingenious and elementary solution was found at about the same time by [[J. Bernstein]], and discussed by Atiyah.<ref>{{harvnb|Atiyah|1988a|loc=paper 15}}</ref>

As an application of the equivariant index theorem, Atiyah and Hirzebruch showed that manifolds with effective circle actions have vanishing [[Â-genus]].<ref>{{harvnb|Atiyah|1988c|loc=paper 74}}</ref> (Lichnerowicz showed that if a manifold has a metric of positive scalar curvature then the Â-genus vanishes.)

With [[Elmer Rees]], Atiyah studied the problem of the relation between topological and holomorphic vector bundles on projective space. They solved the simplest unknown case, by showing that all rank 2 vector bundles over projective 3-space have a holomorphic structure.<ref>{{harvnb|Atiyah|1988c|loc=paper 76}}</ref> [[Geoffrey Horrocks (mathematician)|Horrocks]] had previously found some non-trivial examples of such vector bundles, which were later used by Atiyah in his study of instantons on the 4-sphere.

[[File:Raoul Bott 1986.jpeg|thumb|right|[[Raoul Bott]], who worked with Atiyah on fixed point formulas and several other topics]]
Atiyah, Bott and [[Vijay Kumar Patodi|Vijay K. Patodi]]<ref>{{harvnb|Atiyah|Bott|Patodi|1973}}</ref> gave a new proof of the index theorem using the [[heat equation]].

If the [[manifold]] is allowed to have boundary, then some restrictions must be put on the domain of the elliptic operator in order to ensure a finite index. These conditions can be local (like demanding that the sections in the domain vanish at the boundary) or more complicated global conditions (like requiring that the sections in the domain solve some differential equation). The local case was worked out by Atiyah and Bott, but they showed that many interesting operators (e.g., the [[signature operator]]) do not admit local boundary conditions. To handle these operators, Atiyah, Patodi and Singer introduced global boundary conditions equivalent to attaching a cylinder to the manifold along the boundary and then restricting the domain to those sections that are square integrable along the cylinder, and also introduced the [[Atiyah–Patodi–Singer eta invariant]]. This resulted in a series of papers on spectral asymmetry,<ref>{{harvnb|Atiyah|1988d|loc=papers 80–83}}</ref> which were later unexpectedly used in [[theoretical physics]], in particular in Witten's work on anomalies.

[[File:Schlierenfoto Mach 1-2 Pfeilflügel - NASA.jpg|thumb|right|The lacunas discussed by Petrovsky, Atiyah, Bott and Gårding are similar to the spaces between shockwaves of a supersonic object.]]
The fundamental solutions of linear [[hyperbolic partial differential equation]]s often have [[Petrovsky lacuna]]s: regions where they vanish identically. These were studied in 1945 by [[I. G. Petrovsky]], who found topological conditions describing which regions were lacunas.
In collaboration with Bott and [[Lars Gårding]], Atiyah wrote three papers updating and generalizing Petrovsky's work.<ref>{{harvnb|Atiyah|1988d|loc=papers 84, 85, 86}}</ref>

Atiyah<ref>{{harvnb|Atiyah|1976}}</ref> showed how to extend the index theorem to some non-compact manifolds, acted on by a discrete group with compact quotient. The kernel of the elliptic operator is in general infinite-dimensional in this case, but it is possible to get a finite index using the dimension of a module over a [[von Neumann algebra]]; this index is in general real rather than integer valued. This version is called the ''L<sup>2</sup> index theorem,'' and was used by Atiyah and Schmid<ref>{{harvnb|Atiyah|Schmid|1977}}</ref> to give a geometric construction, using square integrable harmonic spinors, of Harish-Chandra's [[discrete series representation]]s of [[semisimple Lie group]]s. In the course of this work they found a more elementary proof of Harish-Chandra's fundamental theorem on the local integrability of characters of Lie groups.<ref>{{harvnb|Atiyah|1988d|loc=paper 91}}</ref>

With H. Donnelly and I. Singer, he extended Hirzebruch's formula (relating the signature defect at cusps of Hilbert modular surfaces to values of L-functions) from real quadratic fields to all totally real fields.<ref>{{harvnb|Atiyah|1988d|loc=papers 92, 93}}</ref>

===Gauge theory (1977–1985)===
{{Main|Gauge theory (mathematics)}}
[[File:Camposcargas.svg|thumb|right|On the left, two nearby monopoles of the same polarity repel each other, and on the right two nearby monopoles of opposite polarity form a [[dipole]]. These are abelian monopoles; the non-abelian ones studied by Atiyah are more complicated.]]
Many of his papers on gauge theory and related topics are reprinted in volume 5 of his collected works.{{sfn|Atiyah|1988e}} A common theme of these papers is the study of moduli spaces of solutions to certain [[non-linear partial differential equation]]s, in particular the equations for instantons and monopoles. This often involves finding a subtle correspondence between solutions of two seemingly quite different equations. An early example of this which Atiyah used repeatedly is the [[Penrose transform]], which can sometimes convert solutions of a non-linear equation over some real manifold into solutions of some linear holomorphic equations over a different complex manifold.

In a series of papers with several authors, Atiyah classified all instantons on 4-dimensional Euclidean space. It is more convenient to classify instantons on a sphere as this is compact, and this is essentially equivalent to classifying instantons on Euclidean space as this is conformally equivalent to a sphere and the equations for instantons are conformally invariant. With Hitchin and Singer<ref>{{harvnb|Atiyah|1988e|loc=papers 94, 97}}</ref> he calculated the dimension of the moduli space of irreducible self-dual connections (instantons) for any principal bundle over a compact 4-dimensional Riemannian manifold (the [[Atiyah–Hitchin–Singer theorem]]). For example, the dimension of the space of SU<sub>2</sub> instantons of rank ''k''>0 is 8''k''−3. To do this they used the Atiyah–Singer index theorem to calculate the dimension of the tangent space of the moduli space at a point; the tangent space is essentially the space of solutions of an elliptic differential operator, given by the linearization of the non-linear Yang–Mills equations. These moduli spaces were later used by Donaldson to construct his [[Donaldson invariant|invariants of 4-manifolds]].
Atiyah and Ward used the Penrose correspondence to reduce the classification of all instantons on the 4-sphere to a problem in algebraic geometry.<ref>{{harvnb|Atiyah|1988e|loc=paper 95}}</ref> With Hitchin he used ideas of Horrocks to solve this problem, giving the [[ADHM construction]] of all instantons on a sphere; Manin and Drinfeld found the same construction at the same time, leading to a joint paper by all four authors.<ref>{{harvnb|Atiyah|1988e|loc=paper 96}}</ref> Atiyah reformulated this construction using [[quaternion]]s and wrote up a leisurely account of this classification of instantons on Euclidean space as a book.<ref>{{harvnb|Atiyah|1988e|loc=paper 99}}</ref>

{{quote box
|align=right
|width=33%
|quote=The mathematical problems that have been solved or techniques that have arisen out of physics in the past have been the lifeblood of mathematics.
|source=Michael Atiyah<ref>{{harvnb|Atiyah|1988a|loc = paper 19, p. 13}}</ref>
}}
Atiyah's work on instanton moduli spaces was used in Donaldson's work on [[Donaldson theory]]. Donaldson showed that the moduli space of (degree 1) instantons over a compact simply connected [[4-manifold]] with positive definite intersection form can be compactified to give a cobordism between the manifold and a sum of copies of complex projective space. He deduced from this that the intersection form must be a sum of one-dimensional ones, which led to several spectacular applications to smooth 4-manifolds, such as the existence of non-equivalent [[smooth structure]]s on 4-dimensional Euclidean space. Donaldson went on to use the other moduli spaces studied by Atiyah to define [[Donaldson invariant]]s, which revolutionized the study of smooth 4-manifolds, and showed that they were more subtle than smooth manifolds in any other dimension, and also quite different from topological 4-manifolds. Atiyah described some of these results in a survey talk.<ref>{{harvnb|Atiyah|1988e|loc=paper 112}}</ref>

[[Green's function]]s for linear partial differential equations can often be found by using the [[Fourier transform]] to convert this into an algebraic problem. Atiyah used a non-linear version of this idea.<ref>{{harvnb|Atiyah|1988e|loc=paper 101}}</ref> He used the Penrose transform to convert the Green's function for the conformally invariant Laplacian into a complex analytic object, which turned out to be essentially the diagonal embedding of the Penrose twistor space into its square. This allowed him to find an explicit formula for the conformally invariant Green's function on a 4-manifold.

In his paper with Jones,<ref>{{harvnb|Atiyah|1988e|loc=paper 102}}</ref> he studied the topology of the moduli space of SU(2) instantons over a 4-sphere. They showed that the natural map from this moduli space to the space of all connections induces epimorphisms of [[homology group]]s in a certain range of dimensions, and suggested that it might induce isomorphisms of homology groups in the same range of dimensions. This became known as the [[Atiyah–Jones conjecture]], and was later proved by several mathematicians.<ref>{{harvnb|Boyer|Hurtubise|Mann|Milgram|1993}}</ref>

Harder and [[M. S. Narasimhan]] described the cohomology of the [[moduli space]]s of [[stable vector bundle]]s over [[Riemann surface]]s by counting the number of points of the moduli spaces over finite fields, and then using the Weil conjectures to recover the cohomology over the complex numbers.<ref>{{harvnb|Harder|Narasimhan|1975}}</ref>
Atiyah and [[R. Bott]] used [[Morse theory]] and the [[Yang–Mills equation]]s over a [[Riemann surface]] to reproduce and extending the results of Harder and Narasimhan.<ref>{{harvnb|Atiyah|1988e|loc=papers 104–105}}</ref>

An old result due to [[Issai Schur|Schur]] and Horn states that the set of possible diagonal vectors of an Hermitian matrix with given eigenvalues is the convex hull of all the permutations of the eigenvalues. Atiyah proved a generalization of this that applies to all compact [[symplectic manifold]]s acted on by a torus, showing that the image of the manifold under the moment map is a convex polyhedron,<ref>{{harvnb|Atiyah|1988e|loc=paper 106}}</ref> and with Pressley gave a related generalization to infinite-dimensional loop groups.<ref>{{harvnb|Atiyah|1988e|loc=paper 108}}</ref>

Duistermaat and Heckman found a striking formula, saying that the push-forward of the [[Liouville measure]] of a [[moment map]] for a torus action is given exactly by the stationary phase approximation (which is in general just an asymptotic expansion rather than exact). Atiyah and Bott<ref>{{harvnb|Atiyah|1988e|loc=paper 109}}</ref> showed that this could be deduced from a more general formula in [[equivariant cohomology]], which was a consequence of well-known [[localization formula for equivariant cohomology|localization theorem]]s. Atiyah showed<ref>{{harvnb|Atiyah|1988e|loc=paper 110}}</ref> that the moment map was closely related to [[geometric invariant theory]], and this idea was later developed much further by his student [[F. Kirwan]]. Witten shortly after applied the [[Duistermaat–Heckman formula]] to loop spaces and showed that this formally gave the Atiyah–Singer index theorem for the Dirac operator; this idea was lectured on by Atiyah.<ref>{{harvnb|Atiyah|1988e|loc=paper 124}}</ref>

With Hitchin he worked on [[magnetic monopole]]s, and studied their scattering using an idea of [[Nick Manton]].<ref>{{harvnb|Atiyah|1988e|loc=papers 115, 116}}</ref> His book<ref>{{harvnb|Atiyah|Hitchin|1988}}</ref> with Hitchin gives a detailed description of their work on [[magnetic monopoles]]. The main theme of the book is a study of a moduli space of [[magnetic monopoles]]; this has a natural Riemannian metric, and a key point is that this metric is complete and [[hyperkähler]]. The metric is then used to study the scattering of two monopoles, using a suggestion of N. Manton that the geodesic flow on the moduli space is the low energy approximation to the scattering. For example, they show that a head-on collision between two monopoles results in 90-degree scattering, with the direction of scattering depending on the relative phases of the two monopoles. He also studied monopoles on hyperbolic space.<ref>{{harvnb|Atiyah|1988e|loc=paper 118}}</ref>

Atiyah showed<ref>{{harvnb|Atiyah|1988e|loc=paper 117}}</ref> that instantons in 4 dimensions can be identified with instantons in 2 dimensions, which are much easier to handle. There is of course a catch: in going from 4 to 2 dimensions the structure group of the gauge theory changes from a finite-dimensional group to an infinite-dimensional loop group. This gives another example where the moduli spaces of solutions of two apparently unrelated nonlinear partial differential equations turn out to be essentially the same.

Atiyah and Singer found that anomalies in quantum field theory could be interpreted in terms of index theory of the Dirac operator;<ref>{{harvnb|Atiyah|1988e|loc=papers 119, 120, 121}}</ref> this idea later became widely used by physicists.

===Later work (1986–2019)===
[[File:Edward Witten at Harvard.jpg|thumb|right|[[Edward Witten]], whose work on invariants of manifolds and [[topological quantum field theories]] was influenced by Atiyah]]
Many of the papers in the 6th volume<ref>{{harvs|nb|first=Michael|last=Atiyah|year1=2004}}</ref> of his collected works are surveys, obituaries, and general talks. Atiyah continued to publish subsequently, including several surveys, a popular book,<ref>{{harvnb|Atiyah|2007}}</ref> and another paper with [[Graeme Segal|Segal]] on [[twisted K-theory]].

One paper<ref>{{harvnb|Atiyah|2004|loc=paper 127}}</ref> is a detailed study of the [[Dedekind eta function]] from the point of view of topology and the index theorem.

Several of his papers from around this time study the connections between [[quantum field theory]], [[knot theory|knots]], and [[Donaldson theory]]. He introduced the concept of a [[topological quantum field theory]], inspired by Witten's work and Segal's definition of a conformal field theory.<ref>{{harvnb|Atiyah|2004|loc=paper 132}}</ref> His book "The Geometry and Physics of Knots"<ref>{{harvnb|Atiyah|1990}}</ref> describes the new [[knot invariant]]s found by [[Vaughan Jones]] and [[Edward Witten]] in terms of topological quantum field theories, and his paper with L. Jeffrey<ref>{{harvnb|Atiyah|2004|loc=paper 139}}</ref> explains Witten's Lagrangian giving the [[Donaldson invariant]]s.

He studied [[skyrmion]]s with Nick Manton,<ref>{{harvnb|Atiyah|2004|loc=papers 141, 142}}</ref> finding a relation with [[magnetic monopoles]] and [[instanton]]s, and giving a conjecture for the structure of the [[moduli space]] of two [[skyrmions]] as a certain [[subquotient]] of complex [[projective 3-space]].

Several papers<ref>{{harvnb|Atiyah|2004|loc=papers 163, 164, 165, 166, 167, 168}}</ref> were inspired by a question of [https://research-information.bristol.ac.uk/en/persons/jonathan-m-robbins(60101278-f877-4e14-946f-262f3b95d5ae).html Jonathan Robbins] (called the [[Berry–Robbins problem]]), who asked if there is a map from the configuration space of ''n'' points in 3-space to the flag manifold of the unitary group. Atiyah gave an affirmative answer to this question, but felt his solution was too computational and studied a conjecture that would give a more natural solution. He also related the question to [[Nahm's equation]], and introduced the [[Atiyah conjecture on configurations]].

{{quote box
|align=right
|width=33%
|quote=But for most practical purposes, you just use the classical groups. The exceptional Lie groups are just there to show you that the theory is a bit bigger; it is pretty rare that they ever turn up.
|source=Michael Atiyah<ref name="ReferenceA">{{harvnb|Atiyah|1988a|loc = paper 19, p. 19}}</ref>
}}
With [[Juan Maldacena]] and [[Cumrun Vafa]],<ref>{{harvnb|Atiyah|2004|loc=paper 169}}</ref> and [[E. Witten]]<ref>{{harvnb|Atiyah|2004|loc=paper 170}}</ref> he described the dynamics of [[M-theory]] on [[Joyce manifold|manifolds with G<sub>2</sub> holonomy]]. These papers seem to be the first time that Atiyah worked on exceptional Lie groups.

In his papers with [[Michael J. Hopkins|M. Hopkins]]<ref>{{harvnb|Atiyah|2004|loc=paper 172}}</ref> and G. Segal<ref>{{harvnb|Atiyah|2004|loc=paper 173}}</ref> he returned to his earlier interest of K-theory, describing some twisted forms of K-theory with applications in [[theoretical physics]].

In October 2016, he claimed<ref>{{cite arXiv |last=Atiyah |first=Michael |eprint=1610.09366 |title=The Non-Existent Complex 6-Sphere|class=math.DG |year=2016 }}</ref> a short proof of the non-existence of [[Complex manifold|complex structures]] on the 6-sphere. His proof, like many predecessors, is considered flawed by the mathematical community, even after the proof was rewritten in a revised form.<ref>{{citation|url=https://mathoverflow.net/q/263301|title=What is the current understanding regarding complex structures on the 6-sphere? (MathOverflow)|access-date=24 September 2018 }}</ref><ref>{{citation|url=https://mathoverflow.net/q/304071 |title=Atiyah's May 2018 paper on the 6-sphere (MathOverflow)|access-date=24 September 2018 }}</ref>

At the 2018 [[Klaus Tschira Foundation|Heidelberg Laureate Forum]], he claimed to have solved the [[Riemann hypothesis]], [[Hilbert's eighth problem]], [[proof by contradiction|by contradiction]] using the [[fine-structure constant]]. Again, the proof did not hold up and the hypothesis remains one of the six unsolved [[Millennium Prize Problems]] in mathematics, as of 2025.<ref>{{Cite news|url=https://www.science.org/content/article/skepticism-surrounds-renowned-mathematician-s-attempted-proof-160-year-old-hypothesis|title=Skepticism surrounds renowned mathematician's attempted proof of 160-year-old hypothesis|date=24 September 2018|work=Science {{!}} AAAS|access-date=26 September 2018|language=en|archive-url=https://web.archive.org/web/20180926115652/https://www.sciencemag.org/news/2018/09/skepticism-surrounds-renowned-mathematician-s-attempted-proof-160-year-old-hypothesis|archive-date=26 September 2018|url-status=live}}</ref><ref>{{cite news|url=https://www.newscientist.com/article/2180504-riemann-hypothesis-likely-remains-unsolved-despite-claimed-proof/|title=Riemann hypothesis likely remains unsolved despite claimed proof|access-date=24 September 2018|archive-url=https://web.archive.org/web/20180924175329/https://www.newscientist.com/article/2180504-riemann-hypothesis-likely-remains-unsolved-despite-claimed-proof/|archive-date=24 September 2018|url-status=live}}</ref>

==Bibliography==
===Books===
This subsection lists all books written by Atiyah; it omits a few books that he edited.
{{Div col|colwidth=35em}}
*{{Citation | last1=Atiyah | first1=Michael F. | author1-link=<!--Michael Atiyah--> | last2=Macdonald | first2=Ian G.|author2-link=Ian G. Macdonald | title=Introduction to commutative algebra | publisher=Addison-Wesley Publishing Co., Reading, Mass.-London-Don Mills, Ont. | mr=0242802 | year=1969}}. A classic textbook covering standard commutative algebra.
*{{Citation | last1=Atiyah | first1=Michael F. | author1-link=<!--Michael Atiyah--> | title=Vector fields on manifolds | publisher=Westdeutscher Verlag | location=Cologne | series=Arbeitsgemeinschaft für Forschung des Landes Nordrhein-Westfalen, Heft 200 | mr=0263102 | year=1970}}. Reprinted as {{harv|Atiyah|1988b|loc=item 50}}.
*{{Citation | last1=Atiyah | first1=Michael F. | author1-link=<!--Michael Atiyah--> | title=Elliptic operators and compact groups | publisher=[[Springer-Verlag]] | location=Berlin, New York | series=Lecture Notes in Mathematics, Vol. 401 | mr=0482866 | year=1974}}. Reprinted as {{harv|Atiyah|1988c|loc=item 78}}.
*{{Citation | last1=Atiyah | first1=Michael F. | author1-link=<!--Michael Atiyah--> | title=Geometry of Yang–Mills fields | publisher=Scuola Normale Superiore Pisa, Pisa | mr=554924 | year=1979}}. Reprinted as {{harv|Atiyah|1988e|loc=item 99}}.
*{{Citation | last1=Atiyah | first1=Michael F.| author1-link=<!--Michael Atiyah--> | last2=Hitchin | first2=Nigel | title=The geometry and dynamics of magnetic monopoles | publisher=[[Princeton University Press]] | series=M. B. Porter Lectures | isbn=978-0-691-08480-0 | mr=934202 | year=1988 | doi=10.1515/9781400859306}}. Reprinted as {{harv|Atiyah|2004|loc=item 126}}.
*{{Citation | last1=Atiyah | first1=Michael F.| author1-link=<!--Michael Atiyah--> | title=Collected works. Vol. 1 Early papers: general papers | publisher=The Clarendon Press Oxford University Press | series=Oxford Science Publications | isbn=978-0-19-853275-0 | mr=951892 | year=1988a}}.
*{{Citation | last1=Atiyah | first1=Michael F.| author1-link=<!--Michael Atiyah--> | title=Collected works. Vol. 2 K-theory| publisher=The Clarendon Press Oxford University Press | series=Oxford Science Publications | isbn=978-0-19-853276-7 | mr=951892 | year=1988b}}.
*{{Citation | last1=Atiyah | first1=Michael F.| author1-link=<!--Michael Atiyah--> | title=Collected works. Vol. 3 Index theory: 1| publisher=The Clarendon Press Oxford University Press | series=Oxford Science Publications | isbn=978-0-19-853277-4 | mr=951892 | year=1988c}}.
*{{Citation | last1=Atiyah | first1=Michael F.| author1-link=<!--Michael Atiyah--> | title=Collected works. Vol. 4 Index theory: 2| publisher=The Clarendon Press Oxford University Press | series=Oxford Science Publications | isbn=978-0-19-853278-1 | mr=951892 | year=1988d}}.
*{{Citation | last1=Atiyah | first1=Michael F.| author1-link=<!--Michael Atiyah--> | title=Collected works. Vol. 5 Gauge theories| publisher=The Clarendon Press Oxford University Press | series=Oxford Science Publications | isbn=978-0-19-853279-8 | mr=951892 | year=1988e}}.
*{{Citation | last1=Atiyah | first1=Michael F. | author1-link=<!--Michael Atiyah--> | title=K-theory | publisher=[[Addison-Wesley]] | edition=2nd | series=Advanced Book Classics | isbn=978-0-201-09394-0 | mr=1043170 | year=1989}}. First edition (1967) reprinted as {{harv|Atiyah|1988b|loc=item 45}}.
*{{Citation | last1=Atiyah | first1=Michael F. | author1-link=<!--Michael Atiyah--> | title=The geometry and physics of knots | publisher=[[Cambridge University Press]] | series=Lezioni Lincee. [Lincei Lectures] | isbn=978-0-521-39521-2 | mr=1078014 | year=1990 | doi=10.1017/CBO9780511623868 | url-access=registration | url=https://archive.org/details/geometryphysicso0000atiy }}. Reprinted as {{harv|Atiyah|2004|loc=item 136}}.
*{{Citation | last1=Atiyah | first1=Michael F.| author1-link=<!--Michael Atiyah--> | title=Collected works. Vol. 6 | publisher=The Clarendon Press Oxford University Press | series=Oxford Science Publications | isbn=978-0-19-853099-2 | mr=2160826 | year=2004}}.
*{{Citation|last1= Atiyah|first1= Michael F.|author1-link= <!--Michael Atiyah-->|title= Siamo tutti matematici (Italian: We are all mathematicians)|publisher= Di Renzo Editore|place= Roma|year= 2007|url= http://www.tuttimatematici.info/|isbn= 978-88-8323-157-5|page= 96|access-date= 23 July 2008|archive-date= 14 January 2019|url-status= usurped|archive-url= https://web.archive.org/web/20190114153347/https://tuttimatematici.info/}}
*{{Citation | last1=Atiyah | first1=Michael| author1-link=<!--Michael Atiyah--> | title=Collected works. Vol. 7. 2002-2013 | publisher=The Clarendon Press Oxford University Press | series=Oxford Science Publications | isbn=978-0-19-968926-2 | mr=3223085 | year=2014}}.
*{{Citation|title=Fields Medallists' Lectures (3rd Edition)|first1=Michael F.|last1= Atiyah|first2= Daniel|last2= Iagolnitzer|first3= Chitat|last3= Chong|year=2015|publisher=World Scientific|isbn=978-981-4696-18-0|doi=10.1142/9652}}.
{{colend}}

===Selected papers===
{{Div col|colwidth=35em}}
*{{Citation|last=Atiyah|first=Michael F.|author-link=<!--Michael Atiyah-->|year=1961|title=Characters and cohomology of finite groups|journal=Inst. Hautes Études Sci. Publ. Math.|volume=9|issue=1 |pages=23–64|url=http://www.numdam.org/item?id=PMIHES_1961__9__23_0|doi=10.1007/BF02698718|s2cid=54764252}}. Reprinted in {{harv|Atiyah|1988b|loc=paper 29}}.
*{{cite book | editor-last=Allendorfer| editor-first=Carl B. |last1=Atiyah|first1=Michael F.|author-link1=Michael Atiyah|last2=Hirzebruch|first2=Friedrich|author-link2=Friedrich Hirzebruch|year=1961|title=Differential Geometry|volume=3| chapter=Vector bundles and homogeneous spaces|pages=7–38|doi=10.1090/pspum/003/0139181  | publisher=American Mathematical Society | publication-place=Providence |series=Proceedings of Symposia in Pure Mathematics|isbn=978-0-8218-1403-1}}. Reprinted in {{harv|Atiyah|1988b|loc=paper 28}}.
*{{Citation|last1=Atiyah|first1=Michael F.|author-link1=<!--Michael Atiyah-->|last2=Segal|first2=Graeme B.|author-link2=Graeme Segal|year=1969|title=Equivariant K-Theory and Completion|journal=Journal of Differential Geometry|volume=3|issue=1–2|pages = 1–18|doi=10.4310/jdg/1214428815|doi-access=free}}. Reprinted in {{harv|Atiyah|1988b|loc=paper 49}}.
*{{Citation|mr=0420729|last=Atiyah|first= Michael F.
|chapter=Elliptic operators, discrete groups and von Neumann algebras|title= Colloque "Analyse et Topologie" en l'Honneur de Henri Cartan (Orsay, 1974)|pages= 43–72|series= Asterisque|volume= 32–33|publisher= Soc. Math. France, Paris|year= 1976}}. Reprinted in {{harv|Atiyah|1988d|loc=paper 89}}. Formulation of the [[Atiyah conjecture|Atiyah "Conjecture"]] on the rationality of the L<sup>2</sup>-Betti numbers.
*{{Citation|last1= Atiyah|first1= Michael F. |last2=Singer|first2= Isadore M. |title=The Index of Elliptic Operators on Compact Manifolds|journal= Bull. Amer. Math. Soc.|volume= 69|issue= 3 |pages= 322–433|year= 1963 | doi = 10.1090/S0002-9904-1963-10957-X|doi-access= free}}. An announcement of the index theorem. Reprinted in {{harv|Atiyah|1988c|loc=paper 56}}.
*{{Citation|last1= Atiyah|first1= Michael F. |last2=Singer|first2= Isadore M. |title=The Index of Elliptic Operators I|journal= [[Annals of Mathematics]] |volume=87|pages= 484–530|year= 1968a|doi= 10.2307/1970715|issue= 3|jstor=1970715}}. This gives a proof using K-theory instead of [[cohomology]]. Reprinted in {{harv|Atiyah|1988c|loc=paper 64}}.
*{{Citation |first1=Michael F. |last1=Atiyah|first2= Graeme B.|last2= Segal |title=The Index of Elliptic Operators: II|journal= [[Annals of Mathematics]] | series = Second Series|volume= 87 |issue=3|year= 1968|pages= 531–545 |doi=10.2307/1970716 |jstor=1970716}}. This reformulates the result as a sort of Lefschetz fixed point theorem, using [[K-theory|equivariant K-theory]]. Reprinted in {{harv|Atiyah|1988c|loc=paper 65}}.
*{{Citation|last1= Atiyah|first1= Michael F. |last2=Singer|first2= Isadore M. |title=The Index of Elliptic Operators III|journal=[[Annals of Mathematics]] | series = Second Series|volume= 87|issue=3|year= 1968b|pages= 546–604|doi= 10.2307/1970717|jstor= 1970717}}. This paper shows how to convert from the K-theory version to a version using cohomology. Reprinted in {{harv|Atiyah|1988c|loc=paper 66}}.
*{{Citation|last1= Atiyah|first1= Michael F. |last2=Singer|first2= Isadore M. |title=The Index of Elliptic Operators IV|journal= Annals of Mathematics | series = Second Series|volume= 93|issue=1|year= 1971|pages= 119–138|doi= 10.2307/1970756|jstor=1970756}} This paper studies families of elliptic operators, where the index is now an element of the K-theory of the space parametrizing the family. Reprinted in {{harv|Atiyah|1988c|loc=paper 67}}.
*{{Citation|last1= Atiyah|first1= Michael F. |last2=Singer|first2= Isadore M. |title=The Index of Elliptic Operators V|journal=[[Annals of Mathematics]] | series = Second Series|volume= 93|issue= 1|year= 1971|pages= 139–149|doi= 10.2307/1970757|jstor=1970757}}. This studies families of real (rather than complex) elliptic operators, when one can sometimes squeeze out a little extra information. Reprinted in {{harv|Atiyah|1988c|loc=paper 68}}.
*{{Citation|first1=Michael F.|last1= Atiyah|first2= Raoul|last2= Bott |title=A Lefschetz Fixed Point Formula for Elliptic Differential Operators|journal= Bull. Am. Math. Soc. |volume=72 |year=1966|pages= 245–50
|doi=10.1090/S0002-9904-1966-11483-0|issue=2 |doi-access=free}}. This states a theorem calculating the Lefschetz number of an endomorphism of an elliptic complex. Reprinted in {{harv|Atiyah|1988c|loc=paper 61}}.
*{{Citation|first1=Michael F.|last1= Atiyah|first2= Raoul|last2= Bott |title=A Lefschetz Fixed Point Formula for Elliptic Complexes: I |journal=[[Annals of Mathematics]] | series = Second Series|volume= 86|issue=2 |year= 1967|pages= 374–407|doi=10.2307/1970694|jstor=1970694}} (reprinted in {{harv|Atiyah|1988c|loc=paper 61}})and {{citation|first1=Michael F.|last1= Atiyah|first2= Raoul|last2= Bott |title=A Lefschetz Fixed Point Formula for Elliptic Complexes: II. Applications
|journal=[[Annals of Mathematics]] | series = Second Series|volume=88|issue=3|year= 1968|pages=451–491|doi=10.2307/1970721|jstor=1970721}}. Reprinted in {{harv|Atiyah|1988c|loc=paper 62}}. These give the proofs and some applications of the results announced in the previous paper.
*{{Citation|mr=0650828 |last1=Atiyah|first1= Michael F.|last2= Bott|first2= Raoul|last3= Patodi|first3= Vijay K.|title= On the heat equation and the index theorem|journal= Invent. Math.|volume= 19 |year=1973|pages= 279–330|doi=10.1007/BF01425417|bibcode = 1973InMat..19..279A|issue=4 |s2cid=115700319|url=https://link.springer.com/content/pdf/10.1007%2FBF01425562.pdf}}; {{citation|mr=0650829|title= Errata |journal=Invent. Math.|volume= 28 |year=1975|pages= 277–280|doi=10.1007/BF01425562|author= Atiyah, Michael F.|last2=Bott|first2=R.|last3=Patodi|first3=V. K.|bibcode = 1975InMat..28..277A|issue=3 |doi-access=free}} Reprinted in {{harv|Atiyah|1988d|loc=paper 79, 79a}}.
*{{Citation|mr=0463358|last1= Atiyah|first1= Michael F.|last2= Schmid|first2= Wilfried |title=A geometric construction of the discrete series for semisimple Lie groups|journal= Invent. Math.|volume= 42 |year=1977|issue= 1|pages= 1–62|doi=10.1007/BF01389783|bibcode = 1977InMat..42....1A |s2cid= 189831012}}; {{citation|mr=0550183|title= Erratum|journal= Invent. Math. |volume= 54 |year=1979|issue= 2|pages=189–192|doi=10.1007/BF01408936|author= Atiyah, Michael F.|last2=Schmid|first2=Wilfried|bibcode = 1979InMat..54..189A |doi-access=free}}. Reprinted in {{harv|Atiyah|1988d|loc=paper 90}}.
*{{Citation | last1=Atiyah | first1=Michael | title=Edinburgh Lectures on Geometry, Analysis and Physics | year=2010| arxiv=1009.4827v1 | bibcode=2010arXiv1009.4827A }}
{{colend}}

==Awards and honours==
[[File:Royal Society 20040420.jpg|thumb|right|The premises of the [[Royal Society]], where Atiyah was president from 1990 to 1995]]
In 1966, when he was thirty-seven years old, he was awarded the [[Fields Medal]],<ref>Fields medal citation: {{citation | last = Cartan | first = Henri | author-link = Henri Cartan | chapter = L'oeuvre de Michael F. Atiyah | title = Proceedings of International Conference of Mathematicians (Moscow, 1966) | publisher = Izdatyel'stvo [[Mir]], Moscow | year = 1968 | pages = 9–14}}</ref> for his work in developing K-theory, a generalized [[Lefschetz fixed-point theorem]] and the Atiyah–Singer theorem, for which he also won the [[Abel Prize]] jointly with [[Isadore Singer]] in 2004.<ref>{{Cite web |title=2004: Sir Michael Francis Atiyah and Isadore M. Singer |url=https://abelprize.no/abel-prize-laureates/2004 |access-date=August 22, 2022 |website=www.abelprize.no}}</ref>
Among other prizes he has received are the [[Royal Medal]] of the [[Royal Society]] in 1968,<ref>{{citation|url=http://royalsociety.org/page.asp?id=1751|title=Royal archive winners 1989–1950|access-date=14 August 2008|archive-url=https://web.archive.org/web/20080609135232/http://royalsociety.org/page.asp?id=1751|archive-date=9 June 2008|url-status=live}}</ref> the [[De Morgan Medal]] of the [[London Mathematical Society]] in 1980, the [[Antonio Feltrinelli Prize]] from the [[Accademia Nazionale dei Lincei]] in 1981, the [[King Faisal International Prize for Science]] in 1987,<ref>{{citation |url=http://www.newton.ac.uk/history/atiyah.html |title=Sir Michael Atiyah FRS |publisher=Newton institute |access-date=14 August 2008 |archive-url=https://web.archive.org/web/20080531085252/http://www.newton.ac.uk/history/atiyah.html |archive-date=31 May 2008 |url-status=live  }}</ref> the [[Copley Medal]] of the Royal Society in 1988,<ref>{{citation|url=http://royalsociety.org/page.asp?id=1742|title=Copley archive winners 1989–1900|access-date=14 August 2008|archive-url=https://web.archive.org/web/20080609135353/http://royalsociety.org/page.asp?id=1742|archive-date=9 June 2008|url-status=live}}</ref> the [[Benjamin Franklin Medal for Distinguished Achievement in the Sciences]] of the [[American Philosophical Society]] in 1993,<ref name="franklinscience_recipients">{{cite web |url=http://www.amphilsoc.org/prizes/franklinscience |title=Benjamin Franklin Medal for Distinguished Achievement in the Sciences Recipients |publisher=[[American Philosophical Society]] |access-date=27 November 2011 |archive-url=https://web.archive.org/web/20120924060358/http://amphilsoc.org/prizes/franklinscience |archive-date=24 September 2012 |url-status=live }}</ref> the Jawaharlal Nehru Birth Centenary Medal
of the [[Indian National Science Academy]] in 1993,<ref>{{citation|url=http://insaindia.org/jnbc.htm|archive-url=https://archive.today/20120710163859/http://insaindia.org/jnbc.htm|archive-date=10 July 2012|title=Jawaharlal Nehru Birth Centenary Medal|access-date=14 August 2008}}</ref> the [[President's Medal of the IOP|President's Medal]] from the [[Institute of Physics]] in 2008,<ref>{{citation|url=http://www.iop.org/activity/awards/The_President's_Medal/Presidents_medal_recipients/page_29148.html |title=2008 President's medal|access-date=14 August 2008}}</ref> the [[Grande Médaille]] of the [[French Academy of Sciences]] in 2010<ref>{{citation|url=http://www.academie-sciences.fr/prix/grande_medaille.htm|title=La Grande Medaille|access-date=25 January 2011|archive-url=https://web.archive.org/web/20100801084446/http://www.academie-sciences.fr/prix/grande_medaille.htm|archive-date=1 August 2010}}</ref> and the Grand Officier of the [[Legion of Honour|French Légion d'honneur]] in 2011.<ref>{{citation|url=http://www2.maths.ed.ac.uk/news/2011/legion-dhonneur-for-sir-michael-atiyah|title=Legion d'honneur|access-date=11 September 2011|archive-url=https://web.archive.org/web/20110924053844/http://www2.maths.ed.ac.uk/news/2011/legion-dhonneur-for-sir-michael-atiyah|archive-date=24 September 2011}}</ref>

He was elected a foreign member of the [[United States National Academy of Sciences|National Academy of Sciences]], the [[American Academy of Arts and Sciences]] (1969),<ref name=AAAS>{{cite web|title=Book of Members, 1780-2010: Chapter A|url=http://www.amacad.org/publications/BookofMembers/ChapterA.pdf|publisher=American Academy of Arts and Sciences|access-date=27 April 2011|archive-url=https://web.archive.org/web/20110510021801/http://www.amacad.org/publications/BookofMembers/ChapterA.pdf|archive-date=10 May 2011|url-status=live}}</ref> the [[Académie des Sciences]], the [[Akademie Leopoldina]], the [[Royal Swedish Academy]], the [[Royal Irish Academy]], the [[Royal Society of Edinburgh]], the [[American Philosophical Society]], the [[Indian National Science Academy]], the [[Chinese Academy of Sciences]], the [[Australian Academy of Science]], the [[Russian Academy of Science]], the [[Ukrainian Academy of Science]], the [[Georgian Academy of Science]], the [[Venezuela Academy of Science]], the [[Norwegian Academy of Science and Letters]], the [[Royal Spanish Academy of Science]], the [[Accademia dei Lincei]] and the [[Moscow Mathematical Society]].<ref name="cv1"/><ref name="cv2"/> In 2012, he became a fellow of the [[American Mathematical Society]].<ref>[https://www.ams.org/profession/fellows-list List of Fellows of the American Mathematical Society] {{Webarchive|url=https://web.archive.org/web/20130805083843/http://www.ams.org/profession/fellows-list |date=5 August 2013 }}, retrieved 3 November 2012.</ref> He was also appointed as a Honorary [[Fellow]]<ref name="List of Fellows">{{cite web|title=List of Fellows|url=http://www.raeng.org.uk/about-us/people-council-committees/the-fellowship/list-of-fellows|access-date=28 October 2014|archive-url=https://web.archive.org/web/20160608094405/http://www.raeng.org.uk/about-us/people-council-committees/the-fellowship/list-of-fellows|archive-date=8 June 2016|url-status=live}}</ref> of the [[Royal Academy of Engineering]]<ref name="List of Fellows"/> in 1993.

Atiyah was awarded honorary degrees by the universities of Birmingham, Bonn, Chicago, Cambridge, Dublin, Durham, Edinburgh, Essex, Ghent, Helsinki, Lebanon, Leicester, London, Mexico, Montreal, Oxford, Reading, Salamanca, St. Andrews, Sussex, Wales, Warwick, the American University of Beirut, Brown University, Charles University in Prague, Harvard University, Heriot–Watt University, Hong Kong (Chinese University), Keele University, Queen's University (Canada), The Open University, University of Waterloo, Wilfrid Laurier University, Technical University of Catalonia, and UMIST.<ref name="cv1"/><ref name="cv2"/><ref>{{Cite web|url=http://www1.hw.ac.uk/graduation/honorary-graduates.htm|title=Heriot-Watt University Edinburgh: Honorary Graduates|last=|website=www1.hw.ac.uk|access-date=4 April 2016|archive-url=https://web.archive.org/web/20160418163907/http://www1.hw.ac.uk/graduation/honorary-graduates.htm|archive-date=18 April 2016|url-status=live}}</ref><ref name="drhccuni">{{Citation|url=https://www.cuni.cz/UKEN-139.html|title=Honorary Doctorates|publisher=Charles University in Prague|access-date=4 May 2018}}</ref>

Atiyah was made a [[Knight Bachelor]] in 1983<ref name="cv1"/> and made a member of the [[Order of Merit (Commonwealth)|Order of Merit]] in 1992.<ref name="cv2"/>

The Michael Atiyah building<ref>{{citation|url=http://www.engg.le.ac.uk/Research_Groups/Mechanics_of_Materials_Research_Group/The_Michael_Atiyah_Building|title=The Michael Atiyah building|access-date=14 August 2008|archive-url=https://web.archive.org/web/20090209061649/http://www.engg.le.ac.uk/Research_Groups/Mechanics_of_Materials_Research_Group/The_Michael_Atiyah_Building/|archive-date=9 February 2009}}</ref> at the [[University of Leicester]]
and the Michael Atiyah Chair in Mathematical Sciences<ref>{{citation|url=http://www.ameinfo.com/142298.html|title=American University of Beirut establishes the Michael Atiyah Chair in Mathematical Sciences|access-date=14 August 2008|archive-url=https://web.archive.org/web/20080403090555/http://www.ameinfo.com/142298.html|archive-date=3 April 2008}}</ref> at the [[American University of Beirut]] were named after him.

==Personal life==
Atiyah married Lily Brown on 30 July 1955, with whom he had three sons, John, David and Robin. Atiyah's eldest son John died on 24 June 2002 while on a walking holiday in the [[Pyrenees]] with his wife Maj-Lis.

Lily Atiyah died on 13 March 2018 at the age of 90<ref name="mactutor"/><ref name="ja"/><ref name="cv1"/> while Sir Michael Atiyah died less than a year later on 11 January 2019, aged 89.<ref name="oxford-death">{{cite web |url=https://www.maths.ox.ac.uk/node/31190 |title=Michael Atiyah 1929-2019 |publisher=University of Oxford Mathematical Institute |date=11 January 2019 |access-date=11 January 2019 |archive-url=https://web.archive.org/web/20190111193302/https://www.maths.ox.ac.uk/node/31190 |archive-date=11 January 2019 |url-status=live  }}</ref><ref name="royal-society-death">{{cite web |url=https://royalsociety.org/news/2019/01/tribute-to-former-president-of-the-royal-society-sir-michael-atiyah/ |title=A tribute to former President of the Royal Society Sir Michael Atiyah OM FRS (1929 - 2019) |publisher=The Royal Society |date=11 January 2019 |access-date=11 January 2019 |archive-url=https://web.archive.org/web/20190111173233/https://royalsociety.org/news/2019/01/tribute-to-former-president-of-the-royal-society-sir-michael-atiyah/ |archive-date=11 January 2019 |url-status=live  }}</ref>

==See also==
* [[List of presidents of the Royal Society]]

==References==
{{reflist|30em}}

===Sources===
{{refbegin|2|indent=yes}}
*{{citation | last1=Boyer | first1=Charles P. | last2=Hurtubise | first2=J. C. |author2-link=Jacques Hurtubise (mathematician) | last3=Mann | first3=B. M. | last4=Milgram | first4=R. J. | title=The topology of instanton moduli spaces. I. The Atiyah–Jones conjecture | mr=1217348 | year=1993 | journal=[[Annals of Mathematics]]| series = Second Series | issn=0003-486X | volume=137 | issue=3 | pages=561–609|jstor=2946532 | doi=10.2307/2946532 }}
*{{citation | last1=Barth | first1=Wolf P. | last2=Hulek | first2=Klaus | last3=Peters | first3=Chris A.M. | last4=Van de Ven | first4=Antonius | title=Compact Complex Surfaces | isbn=978-3-540-00832-3 | year=2004|page=334 | publisher=Springer | location=Berlin}}
*{{citation|first=Israel M. |last=Gel'fand|title=On elliptic equations|journal=Russ. Math. Surv.|volume= 15 |issue=3|year=1960|pages= 113–123|doi=10.1070/rm1960v015n03ABEH004094|bibcode = 1960RuMaS..15..113G }}. Reprinted in volume 1 of his collected works, p.&nbsp;65–75, {{ISBN|0-387-13619-3}}. On page 120 Gel'fand suggests that the index of an elliptic operator should be expressible in terms of topological data.
*{{citation | last1=Harder | first1=G. | last2=Narasimhan | first2=M. S. | title=On the cohomology groups of moduli spaces of vector bundles on curves | doi=10.1007/BF01357141 | mr=0364254 | year=1975 | journal=[[Mathematische Annalen]] | issn=0025-5831 | volume=212 | pages=215–248 | issue=3 | s2cid=117851906 | url=http://gdz.sub.uni-goettingen.de/index.php?id=11&PPN=PPN235181684_0212&DMDID=DMDLOG_0041&L=1 | access-date=30 September 2013 | archive-url=https://web.archive.org/web/20160305005944/http://gdz.sub.uni-goettingen.de/index.php?id=11&PPN=PPN235181684_0212&DMDID=DMDLOG_0041&L=1 | archive-date=5 March 2016 }}
*{{citation | last1=Matsuki | first1=Kenji | title=Introduction to the Mori program | publisher=[[Springer-Verlag]] | location=Berlin, New York | series=Universitext | isbn=978-0-387-98465-0 | mr=1875410 | year=2002 | doi=10.1007/978-1-4757-5602-9}}
*{{citation|first=Richard S. |last=Palais |year=1965|title=Seminar on the Atiyah–Singer Index Theorem| series=Annals of Mathematics Studies|volume=57| isbn=978-0-691-08031-4|publisher=Princeton Univ Press|location=S.l.}}. This describes the original proof of the index theorem. (Atiyah and Singer never published their original proof themselves, but only improved versions of it.)
*{{citation|last=Segal|first=Graeme B.|year=1968|author-link=Graeme Segal|title=The representation ring of a compact Lie group|journal=Inst. Hautes Études Sci. Publ. Math.|volume=34|issue=1 |pages=113–128|url=http://www.numdam.org/item?id=PMIHES_1968__34__113_0|doi=10.1007/BF02684592|s2cid=55847918}}.
*{{citation|editor1-first=Shing-Tung|editor1-last=Yau|editor2-first=Raymond H.|editor2-last=Chan|title=Sir Michael Atiyah: a great mathematician of the twentieth century|publisher=International Press|mr=1701915|url=http://www.intlpress.com/AJM/AJM-v03.php|year=1999|journal=Asian J. Math.|volume=3|issue=1|pages=1–332|isbn=978-1-57146-080-6|archive-url=https://web.archive.org/web/20080808140555/http://www.intlpress.com/AJM/AJM-v03.php|archive-date=8 August 2008}}.
*{{citation|isbn=978-1-57146-120-9|editor1-first=Shing-Tung|editor1-last=Yau|title=The Founders of Index Theory: Reminiscences of Atiyah, Bott, Hirzebruch, and Singer|url=http://www.intlpress.com/books/FoundersIndexTheory.php|archive-url=https://web.archive.org/web/20060207181013/http://www.intlpress.com/books/FoundersIndexTheory.php|archive-date=7 February 2006|publisher=International Press|page=358|year=2005}}.
{{refend}}

==External links==
{{Sister project links| wikt=no | commons=no | b=no | n=no | q=Michael Atiyah | s=no | v=no | voy=no | species=no | d=no}}
*[http://webofstories.com/gl/michael.atiyah Michael Atiyah tells his life story] at [[Web of Stories]]
*[http://www.maths.ed.ac.uk/~aar/atiyah80.htm The celebrations of Michael Atiyah's 80th birthday in Edinburgh, 20-24 April 2009]
*[http://www.maths.ed.ac.uk/~aar/confer/atiyahd.pdf Mathematical descendants of Michael Atiyah]
*{{Citation|url= http://www.superstringtheory.com/people/atiyah.html|title= Sir Michael Atiyah on math, physics and fun|access-date= 14 August 2008|website= superstringtheory.com|publisher= Official Superstring theory web site]|archive-date= 14 September 2008|archive-url= https://web.archive.org/web/20080914135040/http://www.superstringtheory.com/people/atiyah.html}}
*{{Citation |first=Michael |last=Atiyah |url=http://video.google.com/videoplay?docid=-5911099858813393554 |title=Beauty in Mathematics (video, 3m14s) |access-date=14 August 2008 |archive-date=26 May 2011 |archive-url=https://web.archive.org/web/20110526211540/http://video.google.com/videoplay?docid=-5911099858813393554 }}
*{{Citation |first=Michael |last=Atiyah |url=http://online.itp.ucsb.edu/plecture/atiyah/ |title=The nature of space (Online lecture) |access-date=14 August 2008 |archive-date=3 August 2020 |archive-url=https://web.archive.org/web/20200803215854/http://online.itp.ucsb.edu/plecture/atiyah/ }}
*{{Citation |first=Amba |last=Batra |date=8 November 2003 |url=http://cities.expressindia.com/fullstory.php?newsid=67555 |title=Maths guru with Einstein's dream prefers chalk to mouse. (Interview with Atiyah.) |access-date=14 August 2008 |publisher=Delhi newsline |archive-url=https://web.archive.org/web/20090208121300/http://cities.expressindia.com/fullstory.php?newsid=67555 |archive-date=8 February 2009 }}
*{{MathGenealogy|id=30949}}
*{{Citation|title=Michael Atiyah:Euclid and Victoria|url=http://weekly.ahram.org.eg/1998/391/people.htm|archive-url=https://web.archive.org/web/20040816122817/http://weekly.ahram.org.eg/1998/391/people.htm|archive-date=16 August 2004|newspaper=Al-Ahram Weekly On-line|year=1998|issue=391|first=Hala|last=Halim|access-date=26 August 2008}}
*{{Citation|first=James|last= Meek|newspaper= The Guardian|date= 21 April 2004 |url=https://www.theguardian.com/education/2004/apr/21/highereducation.uk|title= Interview with Michael Atiyah|access-date=14 August 2008 | location=London}}
*{{Citation|url=http://www.newton.ac.uk/history/atiyah.html|title=Sir Michael Atiyah FRS|publisher=[[Isaac Newton Institute]]|access-date=14 August 2008|archive-date=31 May 2008|archive-url=https://web.archive.org/web/20080531085252/http://www.newton.ac.uk/history/atiyah.html}}
*{{Citation|url=https://www.ams.org/notices/200406/comm-abel.pdf |title=Atiyah and Singer receive 2004 Abel prize|journal= [[Notices of the American Mathematical Society]]|year=2006|issue=6|pages=650–651|volume=51|access-date=14 August 2008}}
*{{Citation|first1=Martin|last1= Raussen |first2=Christian|last2= Skau |url=http://www.abelprisen.no/en/prisvinnere/2004/interview_2004_1.html|title= Interview with Michael Atiyah and Isadore Singer|date=24 May 2004|access-date=14 August 2008}}
*{{Citation|url=http://owpdb.mfo.de/person_detail?id=124|title=Photos of Michael Francis Atiyah|publisher=Oberwolfach photo collection|access-date=14 August 2008}}
*{{Citation|url=http://www.timesonline.co.uk/tol/news/uk/scotland/article6143896.ece|archive-url=https://web.archive.org/web/20090507224829/http://www.timesonline.co.uk/tol/news/uk/scotland/article6143896.ece|archive-date=7 May 2009|title=Maths and the bomb: Sir Michael Atiyah at 80|first=Mike|last=Wade|journal=Physics Today |publisher=Timesonline| location=London | date=21 April 2009 |issue=5 |page=13725 |doi=10.1063/pt.5.023354 |bibcode=2009PhT..2009e3725. | access-date=12 May 2010}}
*[http://celebratio.org/Atiyah_MF/article/36/ List of works of Michael Atiyah] from [[Celebratio Mathematica]]
* {{cite journal |last1=Connes |first1=Alain |last2=Kouneiher |first2=Joseph |date=2019 |title=Sir Michael Atiyah, a Knight Mathematician: A tribute to Michael Atiyah, an inspiration and a friend |journal=Notices of the American Mathematical Society |volume=66 |issue=10 |pages=1660–1685 |doi= 10.1090/noti1981|arxiv=1910.07851 |bibcode=2019arXiv191007851C |s2cid=204743755 }}
* {{NPG name|id=6509}}

{{S-start}}
{{s-npo|pro}}
{{s-bef|before=[[George Porter]]}}
{{s-ttl|title=[[Royal Society|President of the Royal Society]]|order=57th|years=1990–1995}}
{{s-aft|after=[[Aaron Klug|Sir Aaron Klug]]}}
{{s-break}}
{{s-bef|before=[[Lord Sutherland of Houndwood]]}}
{{s-ttl|title=[[Royal Society of Edinburgh|President of the Royal Society of Edinburgh]]|order=42nd|years=2005–2008}}
{{s-aft|after=[[David Wilson, Baron Wilson of Tillyorn]]}}
{{s-break}}
{{s-aca}}
{{s-bef|before=[[Andrew Huxley|Sir Andrew Huxley]]}}
{{s-ttl|title=[[List of masters of Trinity College, Cambridge|Master of Trinity College, Cambridge]]|order=35th|years=1990–1997}}
{{s-aft|after=[[Amartya Sen]]}}
{{s-break}}
{{s-bef|before=[[George Porter|The Lord Porter of Luddenham]]}}
{{s-ttl|title=[[Chancellor (education)|Chancellor]] of the [[University of Leicester]]|order=4th|years=1995–2005}}
{{s-aft|after=[[Peter Williams (physicist)|Sir Peter Williams]]}}
{{s-break}}
{{S-ach}}
{{S-bef|before=[[Robin Hill (biochemist)|Robin Hill]]}}
{{S-ttl|title=[[Copley Medal]]|years=1988}}
{{S-aft|after=[[César Milstein]]}}
{{S-end}}

{{Abel Prize laureates}}
{{Fields medalists}}
{{Savilian Professors of Geometry}}
{{Royal Society presidents 1900s}}
{{Copley Medallists 1951–2000}}
{{De Morgan Medallists}}
{{Masters of Trinity College, Cambridge}}
{{Authority control}}

{{DEFAULTSORT:Atiyah, Michael}}
[[Category:1929 births]]
[[Category:2019 deaths]]
[[Category:20th-century British mathematicians]]
[[Category:21st-century British mathematicians]]
[[Category:Academics of the University of Edinburgh]]
[[Category:Abel Prize laureates]]
[[Category:Algebraic geometers]]
[[Category:Alumni of Trinity College, Cambridge]]
[[Category:British humanists]]
[[Category:Differential geometers]]
[[Category:English people of Lebanese descent]]
[[Category:English people of Scottish descent]]
[[Category:Fellows of the Academy of Medical Sciences (United Kingdom)]]
[[Category:Fellows of the American Academy of Arts and Sciences]]
[[Category:Fellows of the American Mathematical Society]]
[[Category:Fellows of the Australian Academy of Science]]
[[Category:Fellows of New College, Oxford]]
[[Category:Fellows of Pembroke College, Cambridge]]
[[Category:Fellows of St Catherine's College, Oxford]]
[[Category:Fellows of the Royal Society]]
[[Category:Fellows of the Royal Society of Edinburgh]]
[[Category:Fields Medalists]]
[[Category:Foreign associates of the National Academy of Sciences]]
[[Category:Foreign fellows of the Indian National Science Academy]]
[[Category:Foreign members of the Russian Academy of Sciences]]
[[Category:Institute for Advanced Study faculty]]
[[Category:International members of the American Philosophical Society]]
[[Category:Honorary Fellows of the Royal Academy of Engineering]]
[[Category:Knights Bachelor]]
[[Category:Masters of Trinity College, Cambridge]]
[[Category:Mathematicians from London]]
[[Category:Members of the French Academy of Sciences]]
[[Category:Members of the Norwegian Academy of Science and Letters]]
[[Category:Members of the Order of Merit]]
[[Category:Members of the Royal Swedish Academy of Sciences]]
[[Category:People associated with the University of Leicester]]
[[Category:People educated at Manchester Grammar School]]
[[Category:People from Hampstead]]
[[Category:Presidents of the Royal Society]]
[[Category:Recipients of the Copley Medal]]
[[Category:Royal Electrical and Mechanical Engineers soldiers]]
[[Category:Royal Medal winners]]
[[Category:Savilian Professors of Geometry]]
[[Category:Topologists]]
[[Category:Victoria College, Alexandria alumni]]