Omega vs. pi, and 6d anomaly cancellation
Joe Davighi, Nakarin Lohitsiri
Abstract
A bstract In this note we review the role of homotopy groups in determining non-perturbative (henceforth ‘global’) gauge anomalies, in light of recent progress understanding global anomalies using bordism. We explain why non-vanishing of π d ( G ) is neither a necessary nor a sufficient condition for there being a possible global anomaly in a d -dimensional chiral gauge theory with gauge group G . To showcase the failure of sufficiency, we revisit ‘global anomalies’ that have been previously studied in 6d gauge theories with G = SU(2), SU(3), or G 2 . Even though π 6 ( G ) ≠ 0, the bordism groups $$ {\Omega}_7^{\mathrm{Spin}}(BG) $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msubsup> <mml:mi>Ω</mml:mi> <mml:mn>7</mml:mn> <mml:mtext>Spin</mml:mtext> </mml:msubsup> <mml:mfenced> <mml:mi>BG</mml:mi> </mml:mfenced> </mml:math> vanish in all three cases, implying there are no global anomalies. In the case of G = SU(2) we carefully scrutinize the role of homotopy, and explain why any 7-dimensional mapping torus must be trivial from the bordism perspective. In all these 6d examples, the conditions previously thought to be necessary for global anomaly cancellation are in fact necessary conditions for the local anomalies to vanish.