1.2 Motivation

Why do we care about symmetry and its anomaly in quantum field theory? There are two (closely related) uses cases of symmetry and its anomaly in the study of QFT and its applications:

  1. to construction of a model, given observed spectrum or other desired properties, and
  2. to constraining possible long range physics from ’t Hooft anomaly matching.

An example for the case one is the Standard Model (SM) of the particle physics. The spectrum of the fermions fits into a representation of \(SU(3)\times SU(2) \times U(1)\) nicely, and gauging of the symmetry, after including the Higgs boson, magically explains almost all physics that occur in a collider. (The finding of the quark model involving the color symmetry was also mainly from group theory: it was to reproduce the observed \(SU(3)\) symmetry among hadrons. )

The quantum anomaly is also very important in construction of the SM: a single family of fermions in SM has chiral spectrum but seemingly miraculous cancellation of the quantum anomaly, which makes the model consistent. This cancellation also leads to the idea of grand unification.

The second case is about the quantum anomaly for global symmetry.1 ’t Hooft anomaly matching states that the anomaly should match between the UV and IR of an renormalization group (RG) flow (see Fig. 1.1). Let \(G_\text{UV}\) and \(G_\text{IR}\) be the symmetry group for the UV and IR theory, respectively. The existence of the RG flow between them in particular means that an isomorphism between them: \[\begin{equation} \tag{1.1} \phi: G_\text{UV} \to G_\text{IR}. \end{equation}\] The RG flow also assigns a map between the quantum anomalies, which are a property of symmetries in a local quantum system, for the symmetries \(G_\text{UV}\) and \(G_\text{IR}\); but this time it is backwards: \[\begin{equation} \tag{1.2} \phi^*: \mathcal{A}_\text{IR} \to \mathcal{A}_\text{UV}. \end{equation}\] This map is in a sense linear, in particular \(\phi^* (0) = 0\), where \(\mathcal{A}=0\) means that there is no anomaly. Therefore, if you know that \(\mathcal{A}_\text{UV}\neq 0\), which immediately means \(\mathcal{A}_\text{IR}\neq 0\). In turn, you also conclude that the IR theory it self is not trivial: you need some degrees of freedom to match the anomaly.

This is the power of ’t Hooft anomaly matching: that you can say something without analyzing the dynamics about where the theory can flow into. This can be done even if the theory is very hard to analyze, i.e. strongly coupled, for example asymptotically free theories. For such theories the anomaly matching (and some generalization) are sometimes the only, or one of the few, analytical tools that one can apply. Thus the ’t Hooft anomaly matching is a part of the foundation in the research of strongly coupled quantum systems.

't Hooft anomaly matching

Figure 1.1: ’t Hooft anomaly matching

1.2.1 Example without explanation: 4d pure YM at \(\theta =\pi\)

Let me give an example of usage of ’t Hooft anomaly, based on  [6]. Here we see some fact, and for the thorough explanation see the original paper of Córdova’s lecture  [2]. However we an analyze lower-dimensional analogue (,or two if time permits).

The theory we consider here is the 4d \(SU(2)\) pure Yang-Mills. (Generalization to \(SU(\text{even})\) is straightforward, and odd \(N_c\) needs a bit different tool.) Note that the pure Yang-Mills does not contain any fermions. The quantum anomaly is not peculiar to chiral fermion, but it is just that chiral fermion is the most common place to find a quantum anomaly. A bosonic theory may well have anomalies, and this is one of many examples.

The pure Yang-Mills theory contains a parameter called \(\theta\), coupling to the instanton number (in Euclidean signature): \[\begin{equation} \tag{1.3} \mathrm{i}\frac{\theta}{32\pi^2}\int \epsilon_{\mu\nu\rho\sigma}\mathrm{Tr}F^{\mu\nu}F^{\rho\sigma}. \end{equation}\] What  [6] found is

  • \(\theta = \pi\) has a time-reversal (i.e. anti-unitary) symmetry (this was known way before),
  • this time-reversal symmetry has a mixed quantum anomaly with one-form symmetry (which we do not have time to learn in this lecture),
  • and this constrains the phase diagram.

Let us expand the last point by a bit. The YM theory is asymptotic free and strongly coupled in the IR, preventing us from easily determine its long-range behavior. However, the mixed anomaly at \(\theta = \pi\) should be matched by whatever the long-range physics realized in the IR. One easy conclusion is that the IR is not trivial; something happens at \(\theta = \pi\). ’t Hooft anomaly matching says more, and at least one of the following must be true:

  1. the time- reversal is broken in the IR; leading to 2 vacua,
  2. the “one-form symmetry” is broken in the IR, meaning de-confinement, or
  3. gapless modes; realizing a CFT.2

The power of anomaly is that this conclusion can come only with pens and papers. No super computer, or even Mathematica. Before the work, it felt like hopeless to have any robust conclusion on the phase structure of the pure YM, but now we have a bit even if it is a statement with options. This was clearly an unexpected advance in science, if not a breakthrough.

References

[2]
C. Córdova, Symmetries and Anomalies, (2020), https://indico.cern.ch/event/857396/timetable/.
[6]
D. Gaiotto, A. Kapustin, Z. Komargodski, and N. Seiberg, Theta, Time Reversal, and Temperature, JHEP 05, 091 (2017), https://arxiv.org/abs/1703.00501.
[7]
C. Córdova and K. Ohmori, Anomaly Obstructions to Symmetry Preserving Gapped Phases, (2019), https://arxiv.org/abs/1910.04962.

  1. Some authors, including the author of this lecture note, sometimes use the term “’t Hooft anomaly”, to mean a quantum anomaly for a global symmetry, to distinguish it from a quantum anomaly involving gauge symmetry. However this terminology does not seem to have a historical root (while the term “’t Hooft anomaly matching” is easily justified), so in this lecture KO tries to avoid the terminology to avoid any possible confusion.↩︎

  2. The argument in  [6] could not exclude the forth possibility of an anomaly-matching topological phase, which was later excluded in  [7].↩︎