Comments on one-form global symmetries and their gauging in 3d and 4d
We study 3d and 4d systems with a one-form global symmetry, explore their consequences, and analyze their gauging. For simplicity, we focus on \mathbb{Z}_N β€ N one-form symmetries. A 3d topological quantum field theory (TQFT) \mathcal{T} π― with such a symmetry has N N special lines that generate it. The braiding of these lines and their spins are characterized by a single integer p p modulo 2N 2 N . Surprisingly, if \gcd(N,p)=1 gcd ( N , p ) = 1 the TQFT factorizes \mathcal{T}=\mathcal{T}'\otimes \mathcal{A}^{N,p} π― = π― β² β π N , p . Here \mathcal{T}' π― β² is a decoupled TQFT, whose lines are neutral under the global symmetry and \mathcal{A}^{N,p} π N , p is a minimal TQFT with the \mathbb{Z}_N β€ N one-form symmetry of label p p . The parameter p p labels the obstruction to gauging the \mathbb{Z}_N β€ N one-form symmetry; i.e. it characterizes the βt Hooft anomaly of the global symmetry. When p=0 p = 0 mod
