Where is the Atiyah-Singer index theorem used in physics?

Question

I'm trying to get motivated in learning the Atiyah-Singer index theorem. In most places I read about it, e.g. wikipedia, it is mentioned that the theorem is important in theoretical physics. So my question is, what are some examples of these applications?

This post imported from StackExchange Physics at 2014-04-01 16:37 (UCT), posted by SE-user Eric

Answer 1

The equations of motion, or the equations of instantons, or solitons, or Einstein's equations, or just about any equations in physics, are differential equations. In many cases, we are interested in the space of solutions of a differential equation. If we write the total (possibly nonlinear) differential equation of interest as $L(u) = 0,$ we can linearize near a solution $u_0,$ i.e. write $u = u_0 + v$ and expand $L(u_0 + v) = 0 + L'|_{u_0}(v) + ... =: D(v)$ to construct a linear equation $D(v)=0$ in the displacement $v.$

A linear differential equation is like a matrix equation. Recall that an $n\times m$ matrix $M$ is a map from $R^n$ to $R^m$, and $dim(ker(M)) - dim(ker(M^*)) = n-m,$ independent of the particular matrix (or linear transformation, more generally). This number is called the "index." In infinite dimensions, these numbers are not generally finite, but often (especially for elliptic differential equations) they are, and depend only on certain "global" information about the spaces on which they act.

The index theorem tells you what the index of a linear differential operator ($D,$ above) is. You can use it to calculate the dimension of the space of solutions to the equation $L(u)=0.$ (When the solution space is a manifold [another story], the dimension is the dimension of the tangent space, which the equation $D(v)=0$ describes.) It does not tell you what the actual space of solutions is. That's a hard, nonlinear question.

This post imported from StackExchange Physics at 2014-04-01 16:37 (UCT), posted by SE-user Eric Zaslow

Comments

+1 great answer

This post imported from StackExchange Physics at 2014-04-01 16:37 (UCT), posted by SE-user user346

---

I guess it's a nice mathematical answer for physicists who don't already know the statement of the index theorem. But I fail to see any actual physical example. Which is a pity, I am certain Eric must know lots of them. I know people use it in string theory all the time. But I don't know enough to provide an answer of my own.

This post imported from StackExchange Physics at 2014-04-01 16:37 (UCT), posted by SE-user Marek

---

The index theorem is very general and applies to all of the examples I cited (instantons, solitons, Einstein's equations). For example, the moduli space of $SU(2)$ instantons on the four-sphere $S^4$ ($R^4$ with constant behavior at infinity) with instanton number $k$ is equal to $8k - 3$ by the index theorem.

This post imported from StackExchange Physics at 2014-04-01 16:37 (UCT), posted by SE-user Eric Zaslow

---

Well, you said "just about any equations in physics" which is in direct contradiction with my everyday observation :-) What I was hoping for were some concrete examples like the ones Steve gave. Or something like your instanton example (I think you meant $S^3$ though?). I would love to see more of these, especially connected to some physical interpretation. Thanks in advance :-)

This post imported from StackExchange Physics at 2014-04-01 16:37 (UCT), posted by SE-user Marek

---

It is true that just about any equation in physics is a differential equation! Not all lead to index problems, though. (I did mean S^4. Instantons are time-dependent field configurations.) An example from string theory, whose Feynman diagrams are two-dimensional QFT amplitudes. That 2d field theory describes maps from a surface to a spacetime, and the instantons of that theory are holomorphic maps. The dimension of the space of such maps is found by an index formula. For a CY, this dimension is zero, which means you can count solutions (this is related to topological string theory).

This post imported from StackExchange Physics at 2014-04-01 16:37 (UCT), posted by SE-user Eric Zaslow

---

+1 on the nice answer and mention of instantons. But is there actually an application to Einstein's equation? AFAIK the index theorem is applicable to linear elliptic operators...

This post imported from StackExchange Physics at 2014-04-01 16:37 (UCT), posted by SE-user Willie Wong

Answer 2

Eric and others have given good answers as to why one expects the index theorem to arise in various physical systems. One of the earliest and most important applications is 't Hooft's resolution of the $U(1)$ problem. This refers to the lack of a ninth pseudo-Goldstone boson (like the pions and Kaons) in QCD that one would naively expect from chiral symmetry breaking. There are two parts to the resolution. The first is the fact that the chiral $U(1)$ is anomalous. The second is the realization that there are configurations of finite action (instantons) which contribute to correlation functions involving the divergence of the $U(1)$ axial current. The analysis relies heavily on the index theorem for the Dirac operator coupled to the $SU(3)$ gauge field of QCD. For a more complete explanation see S. Coleman's Erice lectures "The uses of instantons." There are also important applications to S-duality of $N=4$ SYM which involve the index theorem for the Dirac operator on monopole moduli spaces.

This post imported from StackExchange Physics at 2014-04-01 16:37 (UCT), posted by SE-user pho

Comments

+1 you know your stuff !

This post imported from StackExchange Physics at 2014-04-01 16:37 (UCT), posted by SE-user user346

---

Jeff, stay on the line! I think Physics Stack Exchange could be helpful to the physics community if it is used as widely and as wisely as Math Overflow -- e.g., from people like you!

This post imported from StackExchange Physics at 2014-04-01 16:37 (UCT), posted by SE-user Eric Zaslow

---

Thanks Eric. I gather this just got restarted. I hope it works. It has some ways to go before it is MO quality.

This post imported from StackExchange Physics at 2014-04-01 16:37 (UCT), posted by SE-user pho

---

Indeed. I think there's now a site in development (Theoretical Physics Stack Exchange) which will aim to be more like Math Overflow, but this one has the advantage of being extant.

This post imported from StackExchange Physics at 2014-04-01 16:37 (UCT), posted by SE-user Eric Zaslow

---

Hi pho, would you be interested in a higher-level Physics site, Physics Overflow? We are in our "private beta", and will be starting our public beta next week, during which we will finish importing high-level P.SE questions (we have already imported some, and all of TP.SE), and work on a "reviews" section, where users can review ArXiV papers and papers from journals, conferences, etc. Currently, there are many reputable SE users, including, Dilaton, Ron, Arnold Neumaier, etc. and Lubos and Urs Schrieber will join us in the public beta.

This post imported from StackExchange Physics at 2014-04-01 16:37 (UCT), posted by SE-user Dimensio1n0

---

If you are interested in participating on Physics Overflow, you may find us here: physicsoverflow.org/trollsouthere14 Some of your questions and answers on Physics Stack Exchange have already been imported, and the others will be imported soon, so you technically already have an account on Physics Overflow, and may regain access to it here: physicsoverflow.org/trollsouthere14/regain-account-page

This post imported from StackExchange Physics at 2014-04-01 16:37 (UCT), posted by SE-user Dimensio1n0

Answer 3

First let me explain what the index in question refers to. If the math gets too full of jargon let me know in the comments.

In physics we are often interested in the spectrum of various operators on some manifolds we care about. Eg: the Dirac operator in 3+1 spacetime. In particular the low-energy long distance physics is contained in the zero modes (ground states).

Now what the "index" measures, for the Dirac operator $D$ and a given manifold $M$, is the difference between the number of left-handed zero modes and the number of right-handed zero modes. More technically:

$$ ind\,D = dim\,ker\,D - dim\,ker\,D^{+} $$

where $D$ is the operator in question; $ker\,D$ is the kernel of $D$ - the set of states which are annihilated by $D$; and $ker\,D^{+}$ is the kernel of its adjoint. Then, as you can see, $ind\,D$ counts the difference between the dimensionalities of these two spaces. This number depends only on the topology of $M$.

In short, the ASI theorem relates the topology of a manifold $M$ to the zero modes or ground states of a differential operator $D$ acting on $M$. This is obviously information of relevance to physicists.

Perhaps someone else can elaborate more on the physical aspects.

The best reference for this and other mathematical physics topics, in my opinion, is Nakahara.

This post imported from StackExchange Physics at 2014-04-01 16:37 (UCT), posted by SE-user user346

Answer 4

In the case of a Dirac operator, the index is the (signed) excess dimension of the space of vacuum modes of one chirality w/r/t the other: i.e., the number of anomalous “ghost” states in a chiral field theory.

Anomalies arise when the classical/quantum symmetry correspondence breaks down under renormalization (a global anomaly could be responsible for quark mass in QCD; resolving the local chiral anomaly in the SM accounts for quarks and leptons; resolving it in superstring theory fixes the gauge group [to either SO(32) or E8 x E8], and the resolution of a conformal anomaly fixes the dimension of spacetime and the fermion content). When trying to turn string theory into actual physics, one asks

• Can it explain three generations of chiral fermions?
• Can it explain the experimental results on proton decay?
• Can it explain the smallness of the electron mass?
• Can it explain [things about the cosmological constant]?

and AST helps to answer these questions.

This post imported from StackExchange Physics at 2014-04-01 16:37 (UCT), posted by SE-user S Huntsman