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

+ 7 like - 0 dislike
466 views

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

+ 6 like - 0 dislike

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
answered Dec 13, 2010 by (385 points)

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
+ 6 like - 0 dislike

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
answered Dec 14, 2010 by (195 points)
+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
+ 4 like - 0 dislike

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
answered Dec 12, 2010 by (1,985 points)
+ 3 like - 0 dislike

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
answered Dec 14, 2010 by (405 points)

 Please use answers only to (at least partly) answer questions. To comment, discuss, or ask for clarification, leave a comment instead. To mask links under text, please type your text, highlight it, and click the "link" button. You can then enter your link URL. Please consult the FAQ for as to how to format your post. This is the answer box; if you want to write a comment instead, please use the 'add comment' button. Live preview (may slow down editor)   Preview Your name to display (optional): Email me at this address if my answer is selected or commented on: Privacy: Your email address will only be used for sending these notifications. Anti-spam verification: If you are a human please identify the position of the character covered by the symbol $\varnothing$ in the following word:p$\hbar$ysicsOver$\varnothing$lowThen drag the red bullet below over the corresponding character of our banner. When you drop it there, the bullet changes to green (on slow internet connections after a few seconds). To avoid this verification in future, please log in or register.