## February 15, 2021

#### Posted by John Baez

The great mathematician Isadore Singer died on Thursday February 12, 2021:

He is most famous for his contribution to the Atiyah–Singer index theorem, proved in 1963, so let me say a word about that.

Briefly put, the Atiyah–Singer index theorem gives a topological formula for the dimension of the space of solutions of a differential equation on a manifold. As such, it’s a great way to use topology to learn something about the solutions of differential equations without actually solving them. And conversely, it’s a great way to use differential equations to learn things about the topology of manifolds!

More precisely, the Atiyah–Singer index theorem is a formula for the “index” of a differential equation, where the index is the dimension of the space of solutions (the “kernel”) minus something else (the dimension of the “cokernel”). So, you have to be clever to use it to get precise information about the dimension of the space of solutions. But it easily gives a lower bound.

Furthermore, it only works when the manifold is compact and the differential equation is “elliptic” (like the Laplace equation, not like the wave equation or heat equation).

On the bright side, it works for differential equations where the solutions are not just functions, but vector fields, spinor fields, or more general sections of vector bundles. A great example is the elliptic version of the Dirac equation — the equation that describes the behavior of an electron. In fact the Dirac equation turns out to be the key to the general case! Because this equation involves spinors and Clifford algebras, the Atiyah–Singer index theorem highlights the role of spinors and Clifford algebras in topology.

I spent a lot of time as an undergrad reading Seminar on the Atiyah-Singer Theorem, by Richard Palais. It had great explanations of the analysis prerequisites, like pseudodifferential operators on vector bundles, Sobolev spaces, and chain complexes of Hilbert spaces. Somehow all that seems second nature to me by now. But I still don’t feel I have a great intuitive feel for the topology: that is, why the formula for the index in terms of characteristic classes is what it is.

When I went to grad school at MIT, Singer was one of the stars there: he ran a seminar on mathematics connected to quantum field theory, and a huge crowd attended, including Raoul Bott and many other bigshots. When Singer’s friends like Witten or Atiyah came to town, he’d tell us about their talks, and we’d all go. There was electricity in the air.

At that time — say, 1982-1986 — it seemed that everyone wanted to learn the Atiyah–Singer index theorem and generalize the heck out of it. My friend Varghese Mathai and I attended a seminar where Dan Quillen was trying to find a really simple proof of the Atiyah–Singer theorem. It was very exciting, because Quillen was working in real time. Each class he would start flawlessly, and then continue until he got stuck on something. In the end he was scooped by Ezra Getzler, who however used some fancy analysis that Quillen would have wanted to avoid. But still, one fun thing about this seminar is that given all his work on homotopy theory, you would not expect Quillen to be messing around with differential equations. And the work wasn’t wasted: the Mathai–Quillen formalism was born in this seminar.

So, the importance of the Atiyah–Singer index theorem was in part sociological. It built a bridge between two fields — partial differential equations and topology — which had not existed before. And because the differential equations it applies to are important in physics, it connected physics more firmly to both these fields. So the theorem, very much like Singer himself, brought people together and sparked new ideas.

Posted at February 15, 2021 7:52 PM UTC

TrackBack URL for this Entry:   https://golem.ph.utexas.edu/cgi-bin/MT-3.0/dxy-tb.fcgi/3295

It is a sad occasion to write this blog John, but it is certainly worth recalling what an immense contribution Singer made to uniting analysts, topologists, and physicists. I remember Quillen publish a paper on the determinant of the del-bar operator in Functional Analysis and Applications in the mid-eighties. The paper was in Russian and was not a translation: Quillen wrote it in Russian himself. He could have learned it just for that purpose. It was also shocking to see a homotopy theorist to do what appeared to be serious analysis, but after reading your blog, I understand where he was coming from much better.

Posted by: Alexander A. Voronov on February 16, 2021 7:18 AM | Permalink | Reply to this

I think the paper must be:

• D. Quillen, Детерминанты операторов Коши—Римана на Римановых поверхностях, Funktsional. Anal. i Prilozhen., 19:1 (1985), 37–41; Math-Net.Ru (published in English translation as: Determinants of Cauchy–Riemann operators over a Riemann surface, Funct. Anal. Appl., 19:1 (1985), 31–34, doi:10.1007/BF01086022)
Posted by: David Roberts on February 16, 2021 9:28 AM | Permalink | Reply to this

Now I wonder when and why Quillen learned Russian!

Posted by: John Baez on February 17, 2021 6:32 AM | Permalink | Reply to this

In the late 90s, I applied for a research fellowship to provide a ‘philosophy of real mathematics’ account of the index theorem. I even visited Atiyah in the Master’s Lodge at Trinity, and he kindly offered help. But funding wasn’t forthcoming.

My brief forays suggested that supersymmetric path integral approaches were promising access routes, as in the papers on the nLab here.

Looking back through old Café posts, I see Urs gave us an account of a lecture by Dan Freed on the index theorem, under the break here.

Posted by: David Corfield on February 16, 2021 10:53 AM | Permalink | Reply to this

A few more physics indicators at supersymmetric QM.

Posted by: David Corfield on February 16, 2021 11:00 AM | Permalink | Reply to this