6
$\begingroup$

If $D$ is the Dirac operator for some dynamic spinor fields in background gauge and gravitational fields, then the partition function is supposed to be $\mathrm{det}(D)$. For this to make sense, we need a definition of $\mathrm{det}(D)$. According to ref 1, the Dai-Freed prescription defines $\mathrm{det}(D)$ on any spacetime $\Sigma$ that is null-bordant (also called null-cobordant), meaning that $\Sigma$ is the only boundary of some higher-dimensional manifold. If $\mathrm{det}(D)$ defined this way is gauge-invariant, then we say that the theory is anomaly-free... on spacetimes that are null-bordant.

But not all four-dimensional spacetimes are null-bordant (see this post on Math SE). Quantum field theory (QFT) is supposed to be local, which in this context means that it should be defineable on any spacetime manifold with the given number of dimensions (four in this case) because they all look the same locally. However, according to ref 1, "we still don't have a definition [of $\mathrm{det}(D)$] for spacetimes $\Sigma$ that are not null-bordant." This seems to leave open the possibility that a QFT which appears to be anomaly-free when only null-bordant spacetimes are considered might actually have an anomaly when not-necessarily-null-bordant spacetimes are considered.

Question: Are any examples of this possibility known?

Maybe this isn't the right perspective, because Witten has suggested that "whatever is not determined by the definition of [$\mathrm{det}(D)$] given by the Dai-Freed theorem is really undetermined, and represents a free parameter in the theory" (ref 2). I'm asking the question anyway, because the fact that ref 1 is more recent than ref 2 makes me think that something interesting might still be hiding in this corner.


References:

  1. Lohitsiri (thesis 2020), Anomalies and the Standard Model of Particle Physics (https://www.repository.cam.ac.uk/handle/1810/313091)

  2. Witten (slides 2015), Anomalies Revisited, (https://member.ipmu.jp/yuji.tachikawa/stringsmirrors/2015/6-2.00-2.30-Edward-Witten.pdf)

$\endgroup$
1

1 Answer 1

4
$\begingroup$

First, a misconception (or rather, an oversimplification). QFTs are local, but that does not mean they are insensitive to global properties. For example a free fermion with anti-periodic boundary conditions has a propagator $\psi(z)\psi(w)=1/(z-w)$ but if you choose periodic boundary conditions, the propagator becomes $\psi(z)\psi(w)=(1/2)(\sqrt{z/w}+\sqrt{w/z})/(z-w)$. The two propagators are different, and more generally most properties of the theory are different (e.g., the spectrum of $H$). The fact that the theory is local means that, as $z\to w$, the propagator is independent of the boundary conditions. But it does not mean that the full theory is. It clearly is not. In this sense, the statement

Quantum field theory (QFT) is supposed to be local, which in this context means that it should be defineable on any spacetime manifold with the given number of dimensions (four in this case) because they all look the same locally.

is very much not true. If you can define the same theory on two different manifolds, then local questions yield the same answer. But non-local ones (which most questions are, e.g. correlation functions, particle spectrum, etc.) do not. So it is perfectly conceivable that one of the theories is well-defined while the other is not -- these are two different theories after all.

To give a very specific example, consider the Standard Model. It is chiral, so it depends on the orientation of spacetime. The theory is well defined on orientable manifolds, but it is meaningless on non-orientable manifolds. You need an orientation in order to define the theory, because left-handed fields interact differently from right-handed ones; this statement is meaningless if you cannot distinguish left from right, e.g. if you are on a 4d Möbius strip.

Second, back to anomalies.

An anomaly is a property of the theory, i.e., of its degrees of freedom. It is not a property of a realization of the theory. What I mean by this is, the anomaly does not depend on background fields. And gravity (i.e., the manifold you put the theory on) is a specific choice of background field. So the anomaly does not depend on which manifold you put your theory on. It is intrinsic to the theory.

Consider e.g. the axial anomaly. This anomaly is the statement that, if you have $n$ chiral fermions and turn on a background $U(1)$ connection, then the partition function shifts as $$ \delta \log Z=e^{i Q\nu},\qquad Q:=\sum_{i=1}^nq_i^3 $$ under a gauge transformation of this background connection. Here $q_i$ are the $U(1)$ charges of the fermions, and $\nu\sim\int F\wedge F$ is the instanton number.

The anomaly is $Q$, not the phase itself. If you choose a background field with zero instanton number, $\nu=0$, then there is no phase, yet the theory is still anomalous. With this choice of background, you cannot detect the anomaly, but the system is still anomalous.

In the most general case, you turn on background fields for all the symmetries (including Poincaré), or at least as many as possible. This means, arbitrary instanton number for $U(1)$ symmetries, arbitrary manifolds for gravity (including non-orientable if possible), arbitrary magnetic fluxes for center symmetries, etc.

The more general your background, the more anomalies you can detect. If you choose simpler backgrounds, you can detect fewer anomalies. Which is fine, but it does not mean the anomaly is not there; it just means you didn't work hard enough, and you missed some. This is precisely what people are doing nowadays: they are taking old systems and turning on more general backgrounds, thus detecting more general anomalies, and therefore obtaining more information about the QFT they were interested in.

For example, if you reconsider the $U(1)$ symmetry from before, but now also turn on a gravitational background, you observe that the anomalous shift is $$ \delta \log Z=e^{i Q\nu+iQ'\sigma},\qquad Q':=\sum_{i=1}^nq_i $$ where $\sigma\sim\int R\wedge R$. So we see that $U(1)$ may have two different anomalies (and, if you wished to gauge it, you'd need to make sure they both vanish). You can only see both anomalies if you choose sufficiently non-trivial backgrounds which, in this case, means both non-zero instanton number and non-zero signature. If you had a simpler background, you'd be sensitive to less anomaly information.

Also, going back to the free fermion example, a circle with anti-periodic boundary conditions is null-bordant, with bordism e.g. a disk. The circle with periodic boundary conditions is not null-bordant. So a fermion with the latter boundary conditions has ill-defined partition function, according to the references. But as Witten points out, this is a rather mild issue. It just means that the partition function is defined up to a sign, and there is no canonical way to choose it. But this is fine: just choose whichever sign you want. This is "free parameter" of your anomalous theory. As a fun fact, this free choice is what gives rise to the two types of Type II String Theories. Namely, for one sign you get type A and for the other type B. (See arXiv:1911.11780 if you are interested in the details.)

Hope this helps.

$\endgroup$
3
  • $\begingroup$ Thanks! This is helpful. My statement "should be defineable on any spacetime manifold" was careless, and I'm glad you addressed it. Maybe I should have said "...on any object in the appropriate category of manifolds," such as topological, smooth, orientable, spin, Riemannian, or whatever. But when I wrote the question, I neglected to consider the possibility that null-bordant might be one of the prerequisite structures for defining the given theory, and if it is then the question is empty! I guess I should do more reading to find out if that's a real possibility. $\endgroup$ Apr 3, 2021 at 22:11
  • 1
    $\begingroup$ If I understand correctly, the key message of your answer is that the more general types of background we consider (assuming the theory can be defined on those backgrounds at all), the more anomalies we can detect. If the QFT happens to be defineable on manifolds that aren't null-bordant, then maybe we can use that to detect more anomalies. Then "anomaly-free" is a context-dependent property: a QFT may be anomaly-free when restricted to one category of backgrounds (not just one background, one category of backgrounds), but not on some more general category of backgrounds. Is that the idea? $\endgroup$ Apr 3, 2021 at 22:17
  • 2
    $\begingroup$ @ChiralAnomaly Yep, that is correct. There was a nice recent talk at harvard where they were looking at anomalies for 4d qcd. If you restrict to spin manifolds you see some anomalies, but they are not powerful enough to rule out some exotic phases. If you allow non-spin manifolds, there is an extra anomaly that disproves the exotic phase. It was a nice talk. They usually have nice talks there. And they are free. Anyway, I'm blabbering. I'm glad I could help :-) $\endgroup$ Apr 3, 2021 at 22:55

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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