MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I'm wondering what the statement is that one has to prove for the Millenium Problem "Quantum Yang-Mills Theory".

According to the official article, it is required to show that for every simple Lie group G there exists a YM quantum field theory for G with a mass gap. Finding a quantum field theory amounts to finding a Hilbert space H, a representation of the restricted Lorentz group by unitary transformations of H and operator valued tempered distributions $\varphi_1,...,\varphi_m$ which satisfy density conditions, transformation properties under the Poincare-group, (anti-)commutativity of field operators for test functions of space-like separated supports, an asymptotic completeness property and existence of a unique vacuum state, the field operators acting on this vacuum state span (a dense subspace of) H.

A quantum field theory has a mass gap if the spectrum of the energy operator is contained in $\{0\} \cup [a,\infty)$ for $a>0$.

Now these are straightforward definitions, but what turns a quantum field theory into a YM theory for a group? I know of classical YM theory which gives a Lagrangian and thus equations of motion for the curvature components (fields). Does that mean that $\varphi_1,...,\varphi_n$ have to satisfy these equations? In what way? I could not find any reference for this. Is this millenium problem a mathematical statement at all?

share|cite|improve this question
See Douglas' update paper for a very simple statement of what it means for the YM theory to exist. Basically you want to prove that the lattice gauge partition function has a unique and well-defined limit over a suitably large set of graphs. ... My comment above notwithstanding, I think this question is not suited for MO because a) it is poorly written and b) easily answered by looking at either of two documents (one of which you must know of) on the Clay website itself. Voting to close. – Steve Huntsman Sep 1 '10 at 14:09
I think there is a reasonable question here, although the questioner hasn't quite asked it. The mass gap problem is an oddball among the Millenium problems because it asks not just for a proof of some statement about well-defined mathematical objects but for a definition of these objects! If I understand the situation correctly, the OP is wondering roughly what these definitions should look like. – userN Sep 1 '10 at 15:58
up vote 15 down vote accepted

The term "Yang-Mills theory" in the mass gap problem refers to a particular QFT. It is believed that this QFT (meaning its Hilbert space of states and its observable operators) should be defined in terms of a measure on the space of connections on $\mathbb{R}^4$; roughly speaking, the moments of this measure are the matrix elements of the operator-valued distributions. (People also use the term "gauge theory" to refer to any QFT, like QCD, which has a Yang-Mills sub-theory.)

The mass gap problem really has two aspects: First, one has to construct an appropriate measure $d\mu$ on some space of connections. Then, one has to work out which functions on the space of connections are integrable with respect to this measure, and show that the corresponding collection of operators includes an energy operator (i.e. a generator of time translations) which has a gap in its spectrum.

You'll have to read the literature to really learn anything about this stuff, but I can make a few points to help you on your way. Be warned that what follows is a caricature. (Hopefully, a helpful one for people trying to learn this stuff.)

About the Measure:

First, the measure isn't really defined on the space of connections. Rather, it should be defined on space $\mathcal{F}$ of continuous linear functionals on the space $\mathcal{S}$ of smooth rapidly-vanishing $\mathfrak{g}$-valued vector fields on $\mathbb{R}^4$, where $\mathfrak{g}$ is the Lie algebra of the gauge group $G$. The space ;$\mathcal{F}$ contains the space of connections, since any connection on $\mathbb{R}^4$ can be written as $d$ plus a $\mathfrak{g}$-valued $1$-form and paired with a vector field via the Killing form, but it also has lots of more "distributional" elements.

We're supposed to get $d\mu$ as the "infinite-volume/continuum limit" of a collection of regularized measures. This means that we are going to write $\mathcal{S}$ as an increasing union of chosen finite-dimensional vector spaces $\mathcal{S}(V,\epsilon)$; these spaces are spanned by chosen vector fields which have support in some finite-volume $V \subset \mathbb{R}^4$ and which are slowly varying on distance scales smaller than $\epsilon$. (You should imagine we're choosing a wavelet basis for $\mathcal{S}$.) Then we're going to construct a measure $d\mu_\hbar(V,\epsilon)$ on the finite dimensional dual vector space $\mathcal{F}(V,\epsilon) = \mathcal{S}(V,\epsilon)' \subset \mathcal{F}$; these measures will have the form $\frac{1}{\mathcal{Z}(V,\epsilon,\hbar)} e^{-\frac{1}{\hbar}S_{V,\epsilon,\hbar}(A)}dA$. Here, $dA$ is Lesbesgue-measure on $\mathcal{F}(V,\epsilon)$, and $S_{V,\epsilon,\hbar}$ is some discretization of the Yang-Mills action, which is adapted to the subspace $\mathcal{F}(V,\epsilon)$. (Usually, people use some version of Wilson's lattice action.)

Existence of the Yang-Mills measure means that one can choose $S_{V,\epsilon}$ as a function of $V$,$\epsilon$, and $\hbar$ so that the limit $d\mu_\hbar$ exists as a measure on $\mathcal{F}$ as $vol(V)/\epsilon \to \infty$. We also demand that the $\hbar \to 0$ limit of $d\mu_\hbar$ is supported on the space of critical points of the classical Yang-Mills equations. (We want to tune the discretized actions to fix the classical limit.)

About the Integrable Functions:

Generally speaking, the functions we'd like to integrate should be expressed in terms of the "coordinate functions" which map the $A$ to $A(f)$, where $f$ is one of the basis elements we used to define the subspaces $\mathcal{S}(V,\epsilon)$. You should imagine that $f$ is a bump vector field, supported near $x \in \mathbb{R}^4$ so that these functions approximate the map sending a $\mathfrak{g}$-valued $1$-form to the value $A_{i,a}(x)$ of its $(i,a)$-th component.

There are three warnings to keep in mind:

First, we only want to look at functions on $\mathcal{F}$ which are invariant under the group of gauge transformations. So the coordinate functions themselves are not OK. But gauge invariant combinations, like the trace of the curvature at a point, or the holonomy of a connection around a loop are OK.

Second, when expressing observables in terms of the coordinate functions, you have to be careful, because the naive classical expressions don't always carry over. The expectation value of the function $A \mapsto A_{i,a}(x)A_{j,b}(y)$ with respect to $d\mu_\hbar$ (for $\hbar \neq 0$) is going to be singular as $x \to y$. This is OK, because we were expecting these moments to define the matrix elements of operator-valued distributions. But it means we have to be careful when considering the expectation values of functions like $A \mapsto A(x)^2$. Some modifications may be required to obtain well-defined quantities. (The simplest example is normal-ordering, which you can see in many two-dimensional QFTs.)

Finally, the real problem. Yang-Mills theory should confine. This means, very very roughly, that there are some observables which make sense in the classical theory but which are not well-defined in the quantum theory; quantum mechanical effects prevent the phenomena that these observables describe. In the measure theoretic formulation, you see this by watching the expection values of these suspect observables diverge (or otherwise fail to remain integrable) as you approach the infinite-volume limit.

About the Operators:

In classical Yang-Mills theory, the coordinate observables $A \mapsto A_{i,a}(x)$ satisfy equations of motion, the Yang-Mills equations. Moreover, in classical field theory, for pure states, the expectation value of a product of observables $\mathcal{O}_1\mathcal{O}_2...$ is the product of the individual expectation values. In quantum YM, the situation is more complicated: coordinate observables may not have be well-defined, thanks to confinement, and in any case, observables only satisfy equations of motion in a fairly weak sense: If $\mathcal{O}_1$ is an expression which would vanish in the classical theory thanks to the equations of motion, then then the expectation value of $\mathcal{O}_1\mathcal{O}_2...$ is a distribution supported on the supports of $\mathcal{O}_2...$.

share|cite|improve this answer
Thanks a lot! This is exactly the kind of description I was looking for without explicitly noticing it myself. With MO and the internet the world seems to have became one big math department. A couple of questions: Where does the renormalizability come in this picture? Can you give one reference on one of the simplest nontrivial cases (e.g., two-dimensional QFT) where this programme has been successfully carried out, and one reference on one of the strongest known results in this direction? – timur Dec 6 '10 at 22:56
The theory of renormalization tells you how the lattice actions for different lattices should be related to one another; in particular, it tells you which interactions become stronger and which become weaker as you change the lattice spacing. – userN Dec 6 '10 at 23:54
The main reference for this stuff is Glimm & Jaffe's book. Get the 2nd edition if you can; a lot of important material appears in the Appendix there. You'll probably also like Battle's 'Wavelets & Renormalization', if you can find it. Rivasseau's writings are also very much worth reading. I'm not sure what you mean by "strongest results" in this context. Maybe Balaban's construction of finite-volume 4d Yang-Mills measure on gauge invariant observables... – userN Dec 6 '10 at 23:56

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.