Eduardo García-Valdecasas, Matthew Reece, Motoo Suzuki
SciPost Phys. 18, 162 (2025) ·
published 20 May 2025
|
· pdf
Gauge theories in $d$ dimensions with a nontrivial fundamental group admit a $(d-3)$-form magnetic symmetry and a $(d-5)$-form instantonic symmetry. These are examples of Chern-Weil symmetries, with conserved currents built out of the gauge field strength, which can only be explicitly broken through violations of the Bianchi identity. For U(1) gauge theory, it is clear that magnetic monopoles violate not only the $(d-3)$-form magnetic symmetry but also lower-form symmetries like the instantonic symmetry. It is also known that an improved instanton number symmetry current, which is conserved, can be constructed in the case that the magnetic monopole admits a dyonic excitation. We study the generalization to other gauge groups, showing that magnetic monopoles also violate instantonic symmetries for nonabelian groups like PSU($n$), and that dyon modes can restore such symmetries. Furthermore, we show that in many (but not all) examples where a gauge group $G$ is Higgsed to a gauge group $H$, the structure of monopoles and dyons emerging from the Higgsing process explicitly breaks the instantonic symmetries of $H$ to those of $G$. The meaning of explicit breaking of a $(d-5)$-form symmetry is clearest for $d > 4$, but these results also extend to $d = 4$, where the breaking is interpreted as an obstruction to coupling the theory to a background axion field.
Daniel Aloni, Eduardo García-Valdecasas, Matthew Reece, Motoo Suzuki
SciPost Phys. 17, 031 (2024) ·
published 1 August 2024
|
· pdf
Spontaneous breaking of symmetries leads to universal phenomena. We extend this notion to $(-1)$-form U(1) symmetries. The spontaneous breaking is diagnosed by a dependence of the vacuum energy on a constant background field $\theta$, which can be probed by the topological susceptibility. This leads to a reinterpretation of the Strong CP problem as arising from a spontaneously broken instantonic symmetry in QCD. We discuss how known solutions to the problem are unified in this framework and explore some, so far unsuccessful, attempts to find new solutions.
