Theta, time reversal and temperature

SU(N ) gauge theory is time reversal invariant at θ = 0 and θ = π. We show that at θ = π there is a discrete ’t Hooft anomaly involving time reversal and the center symmetry. This anomaly leads to constraints on the vacua of the theory. It follows that at θ = π the vacuum cannot be a trivial non-degenerate gapped state. (By contrast, the vacuum at θ = 0 is gapped, non-degenerate, and trivial.) Due to the anomaly, the theory admits nontrivial domain walls supporting lower-dimensional theories. Depending on the nature of the vacuum at θ = π, several phase diagrams are possible. Assuming area law for space-like loops, one arrives at an inequality involving the temperatures at which CP and the center symmetry are restored. We also analyze alternative scenarios for SU(2) gauge theory. The underlying symmetry at θ = π is the dihedral group of 8 elements. If deconfined loops are allowed, one can have two O(2)-symmetric fixed points. It may also be that the four-dimensional theory around θ = π is gapless, e.g. a Coulomb phase could match the underlying anomalies.


JHEP05(2017)091
Contents D 't Hooft anomalies in quantum mechanics 40 D.1 A particle on a circle 40 D.2 A non-Abelian example with a discrete θ-parameter 45 1 Introduction One of the central tools for analyzing strongly coupled systems is 't Hooft's anomaly matching [1]. Given a theory with symmetry G, we may try to couple G to classical background gauge fields. It is sometimes impossible to do that in spite of the fact that G is a true symmetry of the theory. 't Hooft argued that the obstruction to coupling G to classical background gauge fields is preserved under the Renormalization Group flow. The obstruction is usually referred to as an anomaly. This idea has had powerful applications, especially when the associated obstruction and symmetry G are continuous and the theory has a weak coupling limit. This is due to the fact that the anomaly could be computed explicitly (for a review see [2]). Rather successful methods have been developed for computing continuous anomalies even for strongly coupled theories (especially for supersymmetric theories). Recently, there has been a lot of interest in discrete anomalies and their implications. There is indeed a rich landscape of theories that have discrete anomalies. Perhaps the simplest example is that of a free fermion in 2+1 dimensions, which has a parity anomaly [3,4]. For more sophisticated examples see, for example, [5,6] and references therein.
In addition, discrete anomalies have been recently used extensively in the context of topological insulators and Symmetry Protected Topological phases, in which the anomalies are canceled by coupling to a higher-dimensional theory (this is known as anomaly inflow [7]). For a review of and references to applications in condensed matter systems see [8].
It has been shown recently that discrete anomalies can arise even in the absence of fermionic degrees of freedom [9,10].
In this note we study 4d SU(N ) Yang-Mills theory as a function of θ. (For early related discussion in two and four dimensions, see e.g. [11][12][13][14][15][16][17][18].) First, we review the fact that the system is not quite 2π periodic as a function of θ. The anomaly in shifting θ by 2π becomes clear either when we consider the system with a boundary or when we turn on nontrivial background fields for its center. This discussion will lead us to a new time reversal anomaly at θ = π. More precisely, we will show that there is a mixed anomaly involving time reversal and the global center 1-form symmetry. (We can use time reversal and CP interchangeably.) The center symmetry is a 1-form symmetry [19,20], because the associated conserved charge is associated to a co-dimension 2 surface (which can wrap a loop). Standard 0-form symmetries are of course associated to co-dimension 1 surfaces (which wrap points). We will review the results of [19,20] that are needed to follow this paper. While time-reversal is a symmetry of the theory, if we couple the center 1-form Z N symmetry to classical background gauge fields, time reversal is broken by a c-number. In other words, we have a mixed time-reversal/center symmetry 't Hooft anomaly.

JHEP05(2017)091
As always with 't Hooft anomalies, they do not invalidate the symmetry, but they lead to powerful constraints on the phases of the theory. In our case, assuming that the pure gauge SU(N ) theory is gapped for all θ, 1 with a trivial non-degenerate vacuum at θ = 0, we derive that time reversal is spontaneously broken at θ = π. Therefore, the vacuum at θ = π is twofold degenerate. Furthermore, the anomaly has interesting implications for the phase diagram of the theory at finite temperature. One can ask at which temperature the CP symmetry is restored. The anomaly implies that it has to be restored at a temperature that is not lower than the deconfinement transition. Otherwise, some Wilson loops would not admit an area law. If the restoration of CP is at a temperature strictly higher than the deconfinement transition, then there is a new phase of the theory with 2N vacua (but the space-like Wilson loop is confined).
We will analyze in detail the case of SU(2) gauge theory and make some proposals regarding the phase diagram. In this particular case the deconfinement transition is second order and the possible phase diagrams are quite rich. In addition, there is no convincing argument that the theory is gapped at zero temperature around θ = π, or that it is confined at finite temperature around θ = π (in the sense that space-like loops have an area law). We investigate these different scenarios in light of the constraints from anomaly matching. We suggest two possibilities that are particular to SU(2) gauge theory. One involves a new gapped phase with one ground state (with all the 0-form symmetries preserved) and a perimeter law for space-like Wilson loops. The phase diagram would contain two critical points with O(2) symmetry. This symmetry is "accidental" or "hidden", i.e. arises only at long distances. This is like a finite temperature Higgs phase. The second scenario is that the theory is in fact gapless already at zero temperature around θ = π. In this case a natural proposal involves a four-dimensional Coulomb phase. (There could also be an interacting 4d CFT for special values of θ.)

An analogous 2d system
The anomaly that we described above and its consequences are reminiscent of the 2d CP n−1 model. 2 We can represent this model as n complex scalars z i with the constraint |z i | 2 = 1, which are coupled to a U(1) gauge field a associated with their phase rotation. The U(1) field can have a θ-term, θ 2π da , (1.1) which can be interpreted as as a background electric field. The parameter θ seems to be 2π periodic.
Our discussion of this model will follow the lines of [6]. Naively, the global symmetry of the model is SU(n). But in fact, only PSU(n) = SU(n)/Z n acts faithfully on the gauge invariant operators. Therefore, it is useful to couple the system to background JHEP05(2017)091 PSU(n) gauge fields A. More precisely, the gauge fields in the problem A are U(n) ∼ = (U(1) × SU(n))/Z n fields. Here the U(1) field a is dynamical and the PSU(n) fields A are classical. The θ-term (1.1) is θ 2πn TrF A , (1.2) where F A is the U(n) field strength. Here we see that θ is 2πn periodic rather than 2π periodic. More explicitly, for A an SU(n) background field (e.g. A = 0) we recover (1.1) with its 2π periodicity. But when A is a connection on a PSU(n) bundle E which cannot be lifted to an SU(n) bundle, the expression (1.2) is more subtle. In this case the dynamical field a is not quite a U(1) gauge field and da is not a multiple of 2π -it is correlated with the background field A. For θ = 2πk it is 2πk 2πn where w 2 (E) is the second Stiefel-Whitney class of the PSU(n) bundle E. (On a closed oriented 2-manifold w 2 (E) is an integer modulo n, and on an open manifold its integral is well-defined only if one specifies a trivialization of E on the boundary.) In other words, as we shift θ by 2π the local physics is unchanged, but a nontrivial term in the background fields (1.3) is added to the Lagrangian. This lack of 2π periodicity in the background fields has a simple physical interpretation. As θ is increased from 0 to 2π a pair of dynamical quanta z i and z i is created, separated, and moved to the boundary to screen the background electric field. This is the physical reason for the apparent 2π periodicity. But a closer inspection shows that the periodicity is not precise. After the pair creation, the boundary of the system carries a nontrivial SU(n) representation. The whole system is still in a PSU(n) representation. But locally the boundary is not in a representation of the true global symmetry group PSU(n). The nontrivial term (1.3) is a reflection of that phenomenon. And its more subtle definition when the manifold has a boundary is associated with the z i particle there.
Stating it differently, if we start at θ = 0 without a w 2 term for the background field A and we continuously change θ to 2π, we end up with a nontrivial w 2 term corresponding to the nontrivial SU(n) representation at the boundary. This is similar to the phenomenon occurring in the famous Haldane chain.
This lack of 2π periodicity is particularly interesting at θ = π. At this point the system is naively time-reversal invariant. 3 The argument for that uses the fact that under time reversal θ → −θ and then using the 2π periodicity we find that θ = π is time reversal invariant. But now we see that the system is not quite 2π periodic. Instead, there is an anomaly in that transformation. This means that for trivial A the system at θ = π is time reversal invariant, but it is not invariant for nontrivial A.
This mixed anomaly between time reversal symmetry and the global PSU(n) symmetry leads to 't Hooft anomaly conditions constraining the long distance behavior -the IR JHEP05(2017)091 system should reflect the same 't Hooft anomaly. Indeed, for n > 2 time reversal is spontaneously broken at θ = π with a two-fold degeneracy of the vacuum (see for instance [21]). And for n = 2 the system is gapless.
Our discussion of the 4d SU(N ) theory will be quite similar to that. Instead of the global PSU(n) symmetry, we will have a one-form global Z N symmetry. The periodicity of θ will be 2πN rather than 2π and the nontrivial 't Hooft anomaly will have consequences at θ = π.

Outline
The outline of the paper is as follows. In section 2 we study some general aspects of SU(N ) Yang-Mills theory and derive the time reversal anomaly. We exhibit the consequences of this anomaly explicitly in the softly broken supersymmetric SU(N ) theory. In section 3 we begin our study of SU(2) Yang-Mills theory on a circle, or equivalently at finite temperature. We discuss in detail the symmetries, the consequences of the new anomaly, the high temperature phase, the various domain walls, and the confinement-deconfinement transition. In section 4 we define a mixed gauge theory, which is essentially an orbifold of the original gauge theory on a circle. It has the advantage that the consequences of the anomaly are clearer in the orbifold theory, while no information about the original theory is lost. The mixed gauge theory has a D 8 symmetry, and we discuss its various phases. We also describe phases of SO(3) gauge theory at nonzero temperature. In sections 5, 6 we discuss two possible scenarios for the phase diagram of the SU(2) theory, assuming that the theory remains gapped at zero temperature for all theta. In section 5 we describe a scenario where there is a phase with 8 vacua and a completely broken D 8 symmetry. We argue that this scenario, appropriately modified, is in fact very natural for SU(N ) Yang-Mills theory at sufficiently large N . In this scenario, a general inequality is derived relating the temperatures at which CP and the center symmetry are restored. In section 6 we describe a situation with a region of unbroken D 8 symmetry. We explain the consequences of these two phases for the original SU(2) theory and make some detailed predictions about the phase diagrams. In section 7 we discuss possible phase diagrams assuming a phase transition at zero temperature but non-zero θ. In the first three appendices we discuss an interesting modification of the topological Z 2 gauge theory in two dimensions, provide another derivation of the D 8 symmetry of the mixed gauge theory, and verify that this symmetry is free from 't Hooft anomaly. This is crucial for the consistency of the phase diagram with unbroken D 8 symmetry. In the fourth appendix we present pedagogical quantum mechanical examples that exhibit anomalies. These theories will appear on some of the domain walls that we encounter.
Let us comment on our notation. When discussing discrete 1-form symmetries and their gauging, it is convenient to adopt a lattice regularization of the gauge theory. We will use a slight modification of the Wilsonian lattice gauge theory where a triangulation is used in place of a hypercubic lattice. The advantage is that discrete gauge fields can be thought of as simplicial cochains, and an action for them can be written in terms of standard operations such as the coboundary operator and the cup product. We will denote by C p (X, Z N ) the Abelian group of p-cochains with values in Z N , and by Z p (X, Z N ) its subgroup consisting of closed p-cochains (i.e. mod N p-cocycles). The coboundary operator JHEP05(2017)091 on cochains is denoted δ, to distinguish if from the exterior differential d on differential forms. A Z N gauge field is represented on the lattice by a Z N 1-cocycle a ∈ Z 1 (X, Z N ), and in the continuum by a U(1) gauge field A satisfying the constraint N A = dφ, where φ is a 2π-periodic scalar. The dictionary between a and A is, roughly, A = 2π N a. Thus a Wilson loop in the charge-1 representation of Z N along a closed loop Γ is written as exp(i Γ A) in the continuum and as exp( 2πi N Γ a) on the lattice. When we write down an action for a Z N gauge theory on a lattice, we impose the constraint δa = 0 by means of a Lagrange multiplier field b ∈ C n−2 (X, Z N ), n = dim X, so that the action is The corresponding action in the continuum is where B is an (n − 2)-form U(1) gauge field and A is an unconstrained 1-form U(1) gauge field. The two actions are related by a formal substitution B → 2π

Symmetries
We begin by considering SU(N ) Yang-Mills theory on R 4 . The action is with F the field strength of the SU(N ) gauge field. The parameter θ is periodic While the theories with θ and θ + 2π are equivalent (in the sense that there is a similarity transformation 4 that brings the Hamiltonian of the theory at θ to that of the theory at θ + 2π), the identification of line operators is non-trivial due to the Witten effect [22]. We will elaborate on this point below. A CP transformation acts on θ as Therefore at θ = 0 and at θ = π the theory is CP-invariant. (Since CPT is always a symmetry, as we said, we use CP and time reversal interchangeably.) Below we will argue that at θ = 0 CP is preserved by the vacuum while at θ = π it is spontaneously broken (see e.g. [11,23] for a discussion of related questions). Therefore, at θ = π there are two gapped vacua and a domain wall. For other values of θ, it is widely believed that there 4 The similarity transformation is implemented by the unitary operator U = e i 4π Σ 3 T r(A∧dA+ 2 , where Σ3 is the spatial slice.

JHEP05(2017)091
is a single gapped vacuum. Hence, at θ = π there is a first order phase transition with a spontaneously broken CP symmetry.
In the rest of this subsection we review some useful facts about the Z N 1-form global symmetry of our system [19,20], which we will refer to as the the center symmetry. Given a closed two-dimensional surface Σ 2 we can associate to it an operator U(Σ 2 ) which is our Z N charge generator. All local operators are neutral under this symmetry. Hence, this symmetry exists for all θ.
In four dimensions, such a surface Σ 2 can have a nonzero linking number with a loop γ. If we take the Wilson line in the fundamental representation W F = T r F P e i γ A and wrap a homologically trivial Σ 2 around γ so that the linking number is 1, then we find with w = e 2πi/N an N th root of unity. Equivalently, in the Hamiltonian language, the operators U(Σ 2 ) and W F (γ) satisfy where it is assumed that both Σ 2 and γ lie in the spatial slice Σ 3 , and (Σ 2 , γ) is their intersection number in Σ 3 . Let us discuss the other line operators in the theory. We use the notation of [24] and organize line operators into families labeled by pairs (a, b) ∈ Z N × Z N . The fundamental Wilson line belongs to the (1, 0) family. More generally, a Wilson line in a tensor representation of SU(N ) with k fundamental and l anti-fundamental indices belongs to the (k −l, 0) family. Line operators in the family (a, b) have magnetic charge b and for b = 0 must be attached to a topological surface. This topological surface is made of b copies of U(Σ 2 ) such that ∂Σ 2 is the support of the line operator (a, b). The charge of lines with b = 0 mod N under the center symmetry is not well defined since there could be counter-terms when the two surfaces intersect. But for b = 0 mod N the charge is well defined according to (2.4).
The 1-form Z N symmetry does not suffer from an 't Hooft anomaly. That is, the theory can be coupled to a background Z N 2-form gauge field B in such a way that the partition function is invariant under Z N 1-form gauge transformation. This is so because the usual Wilsonian lattice regularization of SU(N ) Yang-Mills theory has a manifest 1form Z N symmetry which acts locally [19]. On the lattice, B is represented by a 2-cocycle with values in Z N , and 1-form gauge symmetry acts on it by B → B + δλ, where λ is a 1-cochain with values in Z N . Coupling the theory to B can also be thought of as inserting a surface operator U(Σ 2 ) such that the homology class of Σ 2 modulo N is Poincaré dual to [B] ∈ H 2 (X, Z N ). The choice of Σ 2 within its homology class is immaterial, precisely because the 't Hooft anomaly is absent.
If all (a, 0) line operators with a = 0 are confined (i.e. their expectation values have an area law), the 1-form Z N center symmetry is unbroken [20]. It is believed that SU(N ) gauge theory without matter confines for all values of θ and hence the 1-form Z N symmetry is always unbroken at zero temperature. In more general SU(N ) gauge theories it might happen that for some nonzero a, which is a divisor or N , the lines (ak, 0) with integer k JHEP05(2017)091 have a perimeter law, while other lines have area law [25]. In that case only a Z a ⊂ Z N subgroup is unbroken [20]. This is the subgroup that leaves the line (a, 0) invariant.

A CP anomaly for even N
As we have remarked above, the identification (2.2) involves a nontrivial action on the line operators in the theory [22]. Indeed, the map θ → θ + 2π induces a transformation An immediate consistency check is that lines that are attached to a topological surface remain such under this transformation and vice versa. In particular, if b = 0 mod N then a mod N is invariant under the transformation and hence also the charge under the center symmetry is invariant. But (2.6) has consequences for other line defects, which do not have a well-defined Z N charge. Consider for instance the loop (0, 1) which is attached to our Z N surface. It transforms to the loop (1, 1), which is also attached to a surface. Now consider coupling the theory to a Z N two-form background gauge field B. This is equivalent to creating a network of surface operators U(Σ 2 ) such that the homology class of Σ 2 is Poincaré dual to [B] ∈ H 2 (X, Z N ). In particular, we can consider a homologically trivial Σ 2 , which links the (0, 1) line defect once, and thus has intersection number 1 with the topological surface attached to the line defect.
But there is a certain ambiguity in the gauging procedure, due to the possibility of adding counter-terms depending only on B (one may think of this counter-term as a seagull term that we are free to add). Geometrically, this ambiguity arises from the freedom to assign weights to intersection points of surface operators . We can choose the counter-terms for B to vanish, namely, when two Σ 2 surfaces intersect (at a point), we do not add any weight. Then the intersection of Σ 2 with the surface attached to the (0, 1) line operator does not introduce any weight and indeed Σ 2 can be shrunk away. We can see however that the transformation under θ → θ + 2π, taking the loop (0, 1) to the loop (1, 1), loosely speaking, changes the charge under the 1-form symmetry. Indeed, (1, 1) operator can be thought of as a composite of a (0, 1) operator and a (1, 0) operator, and the latter gives an extra factor w when one tries to shrink away Σ 2 . To get rid of this factor, one needs to postulate that the transformation θ → θ + 2π induces a counter-term in the action. For even N , this counter-term takes the form The case of odd N is considered in the next subsection. This counter-term guarantees that when two Σ 2 surfaces intersect, we pick up a phase e −2πi/N . This is necessary for the consistency of the mapping (2.6). More generally, if the counter-term was there in the beginning, it is shifted by the amount (2.7) when we shift θ → θ + 2π. It is a somewhat subtle fact that the expression (2.7) is well-defined (for even N ). Indeed, if we regard B as integer-valued 2-cocycle, then replacing B → B + N b for some integral 2-cochain b changes ∆S by

JHEP05(2017)091
The first term is an integral multiple of 2πi for even N and thus is trivial when exponentiated. The second term is either an integral or a half-integral multiple of 2πi, because the cup product is not commutative on the cochain level. It turns out one can correct the expression (2.7) to make sure that ∆S is always shifted by an integral multiple of 2πi [19]. The corrected expression uses the Pontryagin square instead of the usual cup square.
The fact that θ → θ + 2π induces a counter-term for the 2-form background gauge field has many important consequences, which we will now explain.
It is necessary to add the counter-term (2.7) in order to guarantee that θ and θ + 2π are equivalent. However, if we like to make B a dynamical gauge field then we have to pick a particular counter-term. But then θ → θ + 2π cannot describe equivalent theories. Indeed, if we turn B into a dynamical gauge field, we find the PSU(N ) gauge theory, where θ and θ + 2π are not equivalent. The periodicity of θ in PSU(N ) gauge theory is, instead, 2πN . In particular, the PSU(N ) theory at θ = π does not have CP symmetry.
Most interesting is to consider the implications of the counter-term (2.7) at θ = π, where CP is a symmetry in the SU(N ) theory. We see that a CP transformation has to be accompanied by adding the counter-term (2.7). 5 This means that there is a mixed 't Hooft anomaly involving CP and the 1-form Z N symmetry. The discussion in the previous paragraph shows one manifestation of this mixed anomaly: if we gauge the 1-form Z N symmetry, then the CP symmetry is explicitly broken. 6 This is a standard phenomenon in situations with a mixed 't Hooft anomaly -if we gauge one symmetry the other is explicitly broken.
There is another striking implication that we can derive by anomaly matching: if we assume that at θ = π the theory is confined (and hence the 1-form symmetry is preserved), the CP symmetry is either spontaneously broken or the vacuum supports a nontrivial theory at long distances 7 matching the anomaly. But it is well-known that at θ = 0 the theory has a trivial gapped vacuum. Hence either the CP symmetry is spontaneously broken at θ = π, or the gap vanishes for some θ in the interval (0, π], or there is a 1st order phase transition to a topologically-ordered state for some θ in the interval (0, π).
The anomaly (2.7) is reminiscent of the more familiar parity anomaly in three dimensions [3,4]. There, a time-reversal transformation induces a properly-quantized Chern-Simons counter-term for the background gauge field. The anomaly can be interpreted as a mixed time-reversal/U(1) anomaly. Here we see that SU(N ) Yang-Mills theory has a similar mixed time-reversal/Z N center anomaly.
Let us make this analogy a little more precise. Here we discuss SU(N ) for even N , and in the next subsection we extend the discussion to odd N . 5 For θ = 0 CP symmetry does not need to be accompanied by adding a counter-term. There is therefore no anomaly. 6 If the 2-form ZN gauge field is not dynamical but it has some nontrivial value, then the CP symmetry is still present but the vacuum transforms nontrivially under a CP transformation. This can be interpreted by saying that with a nontrivial background B we have introduced the 't Hooft twisted boundary conditions defect [26], which carries charge under CP. Indeed, nontrivial values of the 2-form ZN gauge field are classified by same cohomology group as the 't Hooft twisted boundary conditions. In PSU(N ) we have to sum over all such defects and hence the CP symmetry is destroyed. 7 This nontrivial theory could be either a gapless theory or a topological field theory.

JHEP05(2017)091
We should require from the theory at θ = π to be invariant under CP and all of its counter-terms to be invariant as well. Let us start with the the most general counter-term, namely 8 2πip where p is defined modulo 2N [19]. A CP transformation at θ = π flips the sign of p and adds the term (2.7) . In other words, it acts on p as follows: Since gauge invariance forces p to be quantized, we cannot choose the counter-terms to preserve CP. This is exactly reminiscent of the famous time reversal anomaly of a free Dirac fermion in three dimensions. There, a time reversal transformation shifts the action by the classical term i 4π A ∧ dA. Since there is no properly quantized 3d counter-term that can cancel this effect, there is a mixed anomaly that involves time-reversal and the U(1) symmetry of the free fermion. The only difference between this 3d example and our 4d problem is that the ordinary U(1) symmetry of the 3d problem is replaced by a Z N one-form global symmetry in the 4d problem.
Note that for θ = 0 the CP transformation acts by p → −p, so one can achieve CP invariance by not including any counter-terms. This reflects the fact that there is no mixed anomaly for θ = 0.

A CP anomaly for odd N
For odd N a properly quantized counter-term has the form with an even p [19]. Only p mod 2N is meaningful. If we take θ = π then a CP transformation shifts the counter-term by This ensures that the intersection of two surface operators picks an extra factor w −1 after the shift. Therefore the coefficient of the counter-term transforms as follows under CP:

JHEP05(2017)091
Note however that at θ = 0 CP transformation acts by p → −p. For odd N , this transformation has a unique fixed point, namely p = 0. Therefore, for odd N , even though there exist separate choices that preserve CP at θ = 0 and θ = π, there is no consistent choice that preserves CP invariance for both θ = 0 and θ = π simultaneously. This is almost as good as saying that there is an anomaly. Indeed, it implies that there cannot be a regularization which is CP invariant for both θ = 0 and θ = π. Similarly, the infrared consequences of this slightly weaker statement for odd N are similar to the 't Hooft anomaly matching conditions. Indeed, the infrared theories at θ = 0 and θ = π cannot be both trivial with unbroken CP invariance.
Lattice simulations indicate that CP is not spontaneously broken at θ = 0. Therefore, assuming that the theory is gapped and confining at θ = π, it must either break CP spontaneously, or be in a topologically ordered state with both a CP symmetry and a 1-form Z N symmetry. The former option is much more probable, certainly for sufficiently large N . In the case of a topologically ordered state with both a CP symmetry and a 1-form Z N symmetry, a phase transition must occur for θ in the interval (0, π).

A continuum description of the CP anomaly
It is useful to present the above anomaly (2.7) from the continuum point of view. In (2.7) we have used a cup product between Z N valued 2-cocycles, but here we will show that it can be also understood in the continuum by embedding the 1-form discrete symmetry above into a continuous symmetry. This discussion uses some results that appeared in [19,20].
In the continuum a Z N 2-form gauge field is represented by a pair (B, C), where B is a U(1) 2-form gauge field, C is a U(1) 1-form gauge field, and they satisfy a relation 9 N B = dC. This relation ensures that e i Σ B is an N th root of unity for any 2-cycle Σ. Moreover, given a 2-chain Σ whose boundary is N times a 1-chain Γ, one can define a more general observable with the same property: (2.14) The relation between the discrete field B discr ∈ Z 2 (X, Z N ) and the continuum fields B, C is, roughly, B = 2π N B discr . A Z N 1-form gauge symmetry transformation is replaced by a pair (λ, f ), where λ is a U(1) gauge field and f is a periodic scalar (i.e. f is a continuous function on X with values in R/2πZ). These transformations act as follows: This symmetry leaves invariant the observables (2.14) as well as the constraint N B = dC. We extend the original SU(N ) gauge field a to a U(N ) gauge field a ′ . We add a dynamical 2-form U(1) gauge field u and a background pair (B, C) as above such that our Lagrangian now has the term 1 2π It is tempting to try to solve for B and work with C alone. But one must resist this temptation, since B is not a 2-form, but a 2-form gauge field, and N B does not completely determine B.

JHEP05(2017)091
where F ′ is the field strengths of a ′ . u acts as a Lagrange multiplier setting Tra ′ ∼ C up to a gauge transformation. Clearly, for trivial (B, C) we find the original SU(N ) gauge theory. Under the gauge symmetry (2.15) the U(N ) gauge field a transforms as follows: where 1 a unit matrix in U(N ). Since λ is arbitrary, we can use this gauge freedom to reduce a U(N ) gauge field to an SU(N ) gauge field. Next, we would like to replace an action for the SU(N ) field a by an action for the U(N ) field a ′ . In order to preserve the one-form gauge symmetry (2.15), we replace F → F ′ −B1. For example, the instanton number density becomes where F is the field strengths of a. Taking into account the constraint TrF ′ = dC, the theta-term becomes iθ Finally, we can also add to the Yang-Mills action a gauge-invariant counter-term for the background field (B, C). The most general counter-term is Here p must be integer for even N and an even integer for odd N . In both cases we have an identification p ∼ p + 2N [19]. One can easily check that (2.20) is invariant under (2.15). Let us examine the behavior of the action under θ → θ + 2π. Note first that for a U(N ) gauge field a ′ , X Tr(F ′ ∧ F ′ )/8π 2 can be half-integral, but the expression is always integral. This is because the expression (2.21) is minus the second Chern number c 2 of the U(N ) bundle. Thus the change in the theta-term (2.19) Since c 2 is integral, the first term does not affect exp(S) and can be dropped. The second term can be absorbed into to a shift of the coefficient of the counter-term Note that for N odd it preserves the requirement that p is even. When we consider CP transformation at θ = π, we get that p transforms as

JHEP05(2017)091
This transformation has no integral fixed points for even N and has a unique even fixed point for odd N . Thus we recover the analysis of the previous section. When the periods of dC are in 2πN Z, i.e. B is trivial, we can be set C to zero using the one-form gauge symmetry and then a ′ is traceless (up to a gauge transformation). This leads to the original SU(N ) theory. Otherwise, the periods of B are nontrivial and we find PSU(N ) bundles that are not SU(N ) bundles. If we make the two-form gauge field B dynamical, then p is interpreted as a coupling constant in the Lagrangian, which determines how we sum over the various bundles. If B is a background field then p is interpreted as a counter-term.
Note that in our analysis thus far p has been a counter-term in the ultraviolet. Then, it has to be properly quantized. But there is another possible application of the discussion above. If we have a theory with Z N 1-form symmetry with a nontrivial ground state (gapless, or topologically ordered), it may lead to an effective fractional p ir . We can then think of p ir as an intrinsic observable of the infrared theory, defined modulo the counterterm (2.20). It would be interesting to study this observable. If the ground state is trivial, then p ir would have to be properly quantized. But the difference between the ultraviolet and infrared p's is still a meaningful observable associated to the RG flow. This point of view is analogous to the Hall conductivity in three dimensions, which is an intrinsic infrared observable that is defined modulo an integer, see [27].

Softly broken N = 1 SYM
The anomalies described above follow just from the existence of the center 1-form symmetry and CP symmetry. Hence, they should be present also in softly broken N = 1 SYM. The supersymmetric theory with gauge group SU(N ) has N vacua [28]. We define 10 the instanton parameter η = Λ 3N = µ 3N e − 8π 2 g(µ) 2 +iθ , where µ is a real renormalization point and Λ is complex. Then the gaugino condensate is The N roots of η label N different vacua. Next, we softly break supersymmetry by adding to the Lagrangian a mass term for λ, δL = mλ 2 + c.c., and first take |m| ≪ |Λ|. The above vacua are no longer degenerate. The induced potential is just Using the chiral anomaly the theory depends only on and not separately on θ and Arg(m). Therefore, without loss of generality we let m be real and positive. Let us assume that the physics changes smoothly as a function of m. Therefore, the qualitative behavior of the low m theory is the same as the behavior of the JHEP05(2017)091 theory at large m. This allows us to make contact with the non-supersymmetric SU(N ) gauge theory with the same θ-parameter.
For generic θ only one vacuum remains due to the potential (2.26). However for θ = π the situation is more interesting. At θ = π (2.26) leaves two degenerate vacua for both even and odd N . This is precisely consistent with the anomaly prediction. Furthermore, the anomaly implies that this degeneracy is not lifted for any m. A similar analysis of the softly broken N = 2 theory can be found in [30]. Some aspects of softly broken supersymmetric QCD at large N are discussed in [31].
Finally, as discussed before, it may be that as we increase |m| the two vacua approach each other and lead to a nontrivial gapless ground state. Indeed, the supersymmetric 2d O(3) model is gapped and has two ground states for every θ. But as we break supersymmetry and flow to the non-supersymmetric model, the system is gapless at θ = π.
Other interesting continuous deformations of Yang-Mills theory were considered in detail both at zero and nonzero temperature, see e.g. [32,33]. In these models spontaneous breaking of CP symmetry is observed at θ = π and zero temperature.

Boundaries, interfaces, and domain walls
Since the lack of 2π periodicity is crucial to our discussion we would like to point out another consequence of it, which is associated with an interface between a state with θ and a state with θ + 2π. Such an interface can arise dynamically as a domain wall between two vacua, such as the two expected CP-breaking vacua at θ = π or between two supersymmetric vacua of an N = 1 supersymmetric theory. The discussion of this interface in [20,34] stressed an anomaly in-flow mechanism and proposed a U(1) N topological field theory on the domain wall. (A similar TQFT had been discussed earlier in the context of dynamical domain walls in N = 1 supersymmetric theories in [35].) The anomaly inflow alone, of course, does not completely determine the dynamical theory on the interface. The U(1) N proposal is just one possible solution to the anomaly inflow constraint. Note in particular that U(1) N is a spin-TFT when N is odd. This was not a problem for the N = 1 supersymmetric theory, but is unsuitable for the domain wall expected between the two CP-breaking vacua of pure SU(N ) gauge theory at θ = π.
Level-rank duality provides a naive identification between U(1) N and SU(N ) −1 Chern-Simons theories. This identification, though, is precise only for fermionic theories: the quasi-particles of the two theories match only when dressed by transparent fermion lines [36]. In particular, SU(N ) −1 is always a standard TFT not requiring a choice of spin structure. It is natural to conjecture that the domain wall in the non-supersymmetric SU(N ) gauge theory supports at low energy an SU(N ) −1 TFT.
An alternative way to produce such interfaces is to consider a non-dynamical modification of the UV theory. For example, we could simply consider a position-dependent θ(x) with a sharp step at the interface, increasing from θ 0 to θ 0 + 2πk. This definition of the interface is completely equivalent to adding to the bulk action (with constant θ) an explicit SU(N ) k Chern-Simons action supported at the interface.
We may wonder what low energy degrees of freedom will appear at the interface. As the bulk is gapped, the degrees of freedom can be expressed as a 3d theory, T k , equipped with JHEP05(2017)091 an anomalous Z N 1-form symmetry, which matches the anomaly of the UV Chern-Simons action.
The obvious candidate for T k is an SU(N ) k Chern-Simons TFT. This is not the only possible candidate. For example, if we were to smear the 2πk variation of θ in the UV over a distance larger than the strong coupling scale, we would likely obtain a low energy theory of the form (SU(N ) 1 ) k .
Indeed, if T k = SU(N ) k , there must be a non-trivial phase transition as a function of the UV interface thickness. This phase transition may be first or second order. We can make a crude model for this transition. Consider a 3d quiver [SU(N ) 1 ] k theory with bi-fundamental scalars between consecutive nodes. If the scalars are massive, we get an [SU(N ) 1 ] k theory in the IR. However, in the Higgs phase we get a SU(N ) k TFT in the IR. Whether the transition is first or second order may depend on the couplings in the Lagrangian.

SU(2) Yang-Mills theory on Y × S 1
We now study the SU(2) theory at temperature T = 1 β by putting the theory on Y × S 1 , where Y is a 3-manifold (compact or non-compact, as the case may be), and S 1 has circumference β. Note that most of the discussion in this section (omitting subsection 3.4) is valid, after some appropriate adjustments, for SU(N ) gauge theory. An important element in the analysis is the Polyakov loop, which measures the holonomy around the S 1 with U a 2 × 2 unitary matrix and Φ a 2 × 2 hermitian matrix both depending on the coordinates on Y . The first natural question to ask when studying the theory on Y × S 1 concerns the phases of the theory at long distances, much longer than β. If Y is compact, this means that the diameter of Y is much larger than β. This is described by an effective three-dimensional theory on Y . The symmetries of the theory are inferred by dimensional reduction from four dimensions. On X we had a 1-form Z 2 symmetry for all θ and we had a CP symmetry at θ = 0, π. Upon reduction to three dimensions we find The four-dimensional 1-form symmetry splits upon reduction to three dimensions to a 1form and 0-form symmetry. At θ = 0, π the four-dimensional CP symmetry becomes a global symmetry from the point of view of the three-dimensional theory, since it can be taken to act on the S 1 . Finally, since CPT is preserved for all θ, even when CP is broken, time reversal must be a symmetry of the three-dimensional theory. In 4d we had classes of line operators labeled by (a, b) ∈ Z 2 × Z 2 . These line operators were genuine line operators for b = 0, while for b = 1 they required a topological surface operator attached to them. From the viewpoint of the three-dimensional theory, a genuine JHEP05(2017)091 loop wrapping the S 1 becomes a local operator. A wrapped loop that is attached to a topological surface becomes an operator attached to a topological line. Loops that do not wrap the S 1 remain loops from the viewpoint of the three-dimensional theory. We often refer to such loops as "space-like" loops. They are labeled, as before, by (a, b) with a, b defined mod 2. For example, the wrapped (0, 1) is attached to a topological line that generates the Z 2 1-form symmetry in three dimensions. The space-like (0,1) loop is attached to a topological surface that generates the 0-form Z 2 symmetry in three dimensions.

The CP anomaly reduced to three dimensions
We have seen above that in the four-dimensional theory a CP transformation at θ = π adds to the action the counter-term From the point of view of the three-dimensional theory at distances much larger than β, we have to split the background 2-form gauge field B in 4d into a 2-form gauge field and a 1-form gauge field in 3d. They are gauge fields for the 1-form Z 2 center symmetry and the 0-form Z 2 center symmetry, respectively. We will call them B and A, so that B ∈ Z 2 (Y, Z 2 ) and A ∈ Z 1 (Y, Z 2 ). Since from now on we work exclusively on Y × S 1 , this should not cause confusion.
The anomalies of the four-dimensional theory should be matched by the threedimensional theory. 11 Therefore, to reproduce (3.3) also the three-dimensional theory must acquire some counter-terms upon a CP transformation at θ = π. This is obtained by dimensional reduction of (3.3). Therefore, under a CP transformation at θ = π we must have Since from the point of view of the three-dimensional theory CP is just a global Z 2 symmetry, we can easily couple a classical Z 2 gauge field to it. 12 Let a ∈ Z 1 (Y, Z 2 ) be the corresponding 3d 1-form background gauge field. Then, the anomaly (3.4) can be viewed as arising by anomaly inflow from where a is extended to the auxiliary four-dimensional space M with boundary Y (which is not to be confused with the four-dimensional space X = Y × S 1 where the Yang-Mills theory was defined) as a standard 1-form gauge field. This can be viewed as a variation of the Dijkgraaf-Witten [43] construction, which includes a 2-form gauge field.

JHEP05(2017)091
The anomaly (3.5) forbids the three symmetries, i.e. CP, center 0-form and center 1form, to be simultaneously unbroken in a trivial gapped vacuum. This is therefore a mixed anomaly in three dimensions which involves two Z 2 0-form symmetries and one Z 2 1-form symmetry.
As we will see, this anomaly has profound implications for the phase diagram of the theory at finite temperature.

The high temperature phases
When the S 1 is very small compared to the dynamically generated scale in Yang-Mills theory, we can study the three-dimensional theory simply by dimensional reduction. This is the standard high-temperature expansion in Yang-Mills theory [44,45]. The threedimensional theory has an SU(2) gauge field with gauge coupling g 2 3d ∼ g 2 Y M β −1 and an adjoint scalar Φ, arising as in (3.1). It is convenient to pick a gauge where Φ = In the β → 0 limit the scalar φ becomes non-compact. Equivalently, we can say that only the trace of the holonomy is well-defined. In addition to the standard kinetic terms we have the interaction that is induced by the four-dimensional θ term: If the theory is purely three-dimensional and Φ is a non-compact Lie-algebra valued section then such a term in the Lagrangian is trivial. This is because we can integrate by parts. But in the context of this theory arising from a circle compactification we have the identification (3.6) and hence we are not allowed to integrate by parts since Φ is not a well-defined adjoint-valued scalar field. We can now identify the symmetries of the problem. The center symmetry acts as which is equivalent to its action on the holonomy U → −U . The 1-form symmetries only act on lines, not on local operators. Time reversal acts by combining a reflection in one of the coordinates in R 3 with the gauge transformation Φ → −Φ. This is as expected, as the three-dimensional theory has to obey time-reversal invariance for all θ. While at tree level φ has a flat potential, radiatively a potential is generated [45,46] with two minima at

JHEP05(2017)091
These minima are distinct and indicate a spontaneous breaking of the 0-form center symmetry. As we decrease the temperature, the two vacua approach each other until they collide at βφ = π 2 ∼ − π 2 . Since θ only makes subleading contributions at very high temperatures, the conclusion that the 0-form symmetry is spontaneously broken is valid for all θ.
Let us now consider the 1-form symmetry in three dimensions. The mass squared of the scalar φ in the minima (3.10) scales as β −2 . Therefore, the scalar φ is much heavier than the dynamical scale g 3d We can thus safely integrate it out and the low energy theory is a pure three-dimensional SU(2) Yang-Mills theory, which confines. Hence, the space-like Wilson loops in all representations on which the center Z N acts nontrivially enjoy an area law, and the 1-form Z N symmetry is unbroken [20]. Finally, note that the CP symmetry is preserved in both vacua in (3.10).
We can now summarize the vacuum structure in the high temperature phase and the low temperature phase β ≪ Λ −1 : Importantly, note that for θ = π the situation is consistent with the anomaly (3.5). Indeed, at least one of the three symmetries is broken at θ = π both at very high and at very low temperatures. Note also that we did not find a phase where the 1-form center symmetry is broken. A priori, such a phase would be consistent with the anomaly so it is noteworthy that it does not exist in the high temperature or low temperature regimes. In section 6 we will describe a scenario where such a phase exists at intermediate temperatures. We remind the reader again that we assume here that at zero temperature the system continues to confine with a mass gap for all θ.

The domain wall at high temperatures
There is a two-dimensional domain wall that separates the two vacua (3.10) of the threedimensional theory. We would like to determine the low-energy theory on this domain wall. Furthermore, the domain wall should be consistent with the anomaly (3.5), and we would like to understand how this comes about.
The standard lore is that the effects of θ are vanishingly small at high temperatures. However, here the adjoint scalar needs to undergo a large field excursion of the order of the temperature in order to interpolate between the two vacua, and the theta-term (3.8)

JHEP05(2017)091
is therefore activated. This is an interesting situation where the effects of θ are not small even at high temperatures.
Far from the domain wall U = ±1 and the microscopic SU(2) symmetry is unbroken. Strong dynamics confines it and creates a mass gap. But near the domain wall U must interpolate from +1 to −1 and then the SU(2) symmetry is broken to U(1). Since this happens in a narrow region around the domain wall, we effectively have a U(1) theory in two dimensions, which does not have physical propagating degrees of freedom. Then, due to the term (3.8) a 2d θ-term is induced. Therefore, we can model the effect of θ on the domain wall world-volume as an Abelian 2d theta angle θ 2d = θ . (3.14) For θ 2d = π we expect the domain wall to have a unique massive vacuum and the domain wall theory to be gapped (except for the translation zeromode, of course). For θ 2d = π we may ask if the CP symmetry can be unbroken on the domain wall. Under the CP transformation, the 2d theta angle will have to be shifted by 2π and we will get a corresponding shift of the domain wall action by a counter-term πi B involving the 1-form background connection.
We thus conclude that the charge conjugation symmetry is spontaneously broken on the domain wall for θ 2d = π and that the domain wall at θ 2d = π should have a two-fold vacuum degeneracy. Because of the counter-term shift, the kink between these two vacua carries charge 1 under the 1-form symmetry, much as the bulk Wilson line operator in the fundamental representation.
Hence, the domain wall at θ = π at high temperatures is a nontrivial TQFT consisting of two vacua interchanged by charge conjugation, and a line which interpolates between them. This system reproduces the mixed charge conjugation/1-form anomaly that the domain wall needs to carry.
This system is almost identical to the standard BF TQFT with Z 2 symmetry, except that here orientation plays a role, suggesting that this is a nontrivial modification of the standard BF theory on unorientable spaces. This modification is described in detail in appendix A.
One can think about the domain wall theory intuitively as QED 2 with massive even charges and theta angle (3.14). Since only even charges are present, we have a Z 2 1form symmetry. Since the charges are massive and the gauge field has no propagating degrees of freedom, the vacuum is gapped. However, for θ = π we have a two-fold vacuum degeneracy [12]. A probe unit charge particle, i.e. a Wilson line, would interpolate between these two vacua. The 1-form symmetry is spontaneously broken (this is because inside the Wilson loop of a unit probe charge we have the other vacuum and hence no confining string) and CP is spontaneously broken as well. We see that this domain wall is quite rich. We will have more to say about it in appendix D.

The confinement/deconfinement transition and the 3d Ising model
Let us first focus on the theory at θ = 0. We see from (3.12) and (3.13) that the order parameter for the confinement-deconfinement transition is a real field (i.e. the wrapped JHEP05(2017)091 (1, 0) loop) which undergoes a spontaneous breaking of a 0-form Z 2 center symmetry. It is known that the confinement-deconfinement transition is a 2nd order transition in this case. It is therefore in the same universality class as the 3d Ising model [47,48]. We denote the temperature of the transition by β c . The disordered phase of the Ising model corresponds to the confining (low temperature) phase in SU(2) gauge theory.
The first entry in the dictionary between the Ising model and the gauge theory is that the Polyakov loop becomes the Ising spin field at long distances [47,48] Tr U = TrP e i S 1 A ←→ 2σ . (3.15) The space-like (0, 1) loop lies at the boundary of a topological Z 2 surface operator. This surface operator implements the global Z 2 symmetry transformation of the 3d Ising model. Its boundary has a natural interpretation also in terms of the Ising model. It is the disorder line defect Space − like (0, 1) loop ←→ monodromy defect . (3.16) The disorder line defect in the 3d Ising model flows to a nontrivial conformal line operator at long distances [49,50]. Hence, the (0, 1) loop flows to a nontrivial conformal line operator at the confinement-deconfinement transition. The space-like (1, 0) line is confined and does not appear in the Ising description. The wrapped (0, 1) operator is attached to a topological line operator. This line operator generates the 1-form center symmetry under which the (1, 0) space-like line is charged. This 1-form symmetry also does not appear in the 3d Ising model. There is no contradiction here because the 1-form center symmetry is preserved on both sides of the transition.
In the broken phase of the Ising model, there is a Z 2 domain wall, which interpolates between the σ = 1 vacuum at one end of space and the σ = −1 vacuum at the other end. Such a domain wall will also occur if space-time is endowed with a non-trivial background gauge field for the Z 2 symmetry of the Ising model. This domain wall is the same as the domain wall we discussed above.
So far we considered our system in R 3 × S 1 . We can compactify one of the directions in R 3 on a circle. Then we can impose 't Hooft twisted boundary conditions on the T 2 formed by the original circle and this new circle. These twisted boundary conditions represent the domain wall we discussed above stretched along the noncompact R 2 . We conclude ′ t Hooft twisted b.c. ←→ Ising Domain Wall. (3.17) In other words, the 't Hooft boundary conditions on the T 2 at high temperatures give rise to a string with a Nambu-Goto action with h αβ = ∂ α Z∂ β Z being the induced metric on the domain wall in the static gauge where only the transverse coordinate, Z, appears.

JHEP05(2017)091
Finally, let us consider the confining string. It is convenient to take Y = R × R 2 , and view R as time. Then the spatial slice is R 2 ×S 1 β . We can consider the wrapped (1, 0) loop along the S 1 . It creates some state in the Hilbert space At large β the state that is created in this way does not mix with the vacuum because it is protected by the unbroken center symmetry. (At small β this state is in the same superselection sector as the vacuum.) Therefore, it is interesting to ask about the spectrum of energies in the superselection sector of the state (3.19). This can be probed, for instance, by studying the two-point functions of Wilson loops inserted at different times. The spectrum of energies for large β is controlled again by the Nambu-Goto action (3.18) plus various effective field theory corrections that were studied in great detail, for example, in [51][52][53] and on the lattice in [54] (and see references therein). One of course finds that for large β, the ground state energy E 0 is where the . . . stand for a series expansion in 1/tβ 2 and t is the tension of the confining string.
We can make detailed predictions also about finite β in the vicinity of β c , where this correlation function of wrapped (1, 0) loops is mapped to the two point function σ(x)σ(0) in the 3d Ising model.
It follows from conformal invariance at the phase transition that if we denote the coefficient of the ǫ operator (i.e. the energy operator of the Ising model) as λ then the energy scale in the problem is E ∼ λ Combining (3.20) with (3.21) and also the fact that E 0 = 0 for β < β c (since the string can mix with the vacuum) one obtains a reasonable qualitative picture for the energy of a wrapped closed string in SU(2) Yang-Mills theory as a function of its length.

The confinement-deconfinement transition for nonzero θ
Above we saw that for θ = 0 the deconfinement transition is of second order. Let us now consider nonzero θ. The operator σ in the Ising model (3.15) maps to the wrapped Wilson line. Therefore, it is odd under the center symmetry (and even under CP) and hence cannot be associated to the θ angle deformation. 13 The other relevant deformation by the ǫ operator corresponds to β − β c . We can imagine that β c = β c (θ) and the theta dependence of the coefficient of the energy operator simply shifts the critical temperature. Therefore, for small finite θ, the confinement-deconfinement transition must also be a second order transition. Given that we have already argued that CP symmetry is spontaneously broken at θ = π at zero temperature and given that the phase diagram has to be periodic in θ, we can infer that the phase diagram is as in figure 1. The lines on the diagram have to meet in some way, which we will soon discuss. The reflection symmetry around θ = π is due to CP invariance at θ = π.

A mixed gauge theory with dihedral symmetry
In order to understand better the phase diagram it is crucial to investigate the symmetries at θ = π further. For this, it is useful to define a "Mixed Gauge Theory." This allows us to streamline and simplify the discussion considerably, but as we will explain, it is not strictly necessary to do this in order to proceed.
To define the Mixed Gauge Theory, we put the SU(2) theory on a circle and promote the gauge field that couples to the 1-form Z 2 center symmetry on R 3 into a dynamical variable. This is different from the standard gauging of the center symmetry (which leads to an SO(3) gauge theory) in that we only gauge the 1-form symmetry of the 3d theory, but we do not gauge the 0-form center symmetry. Therefore, the lines that attach to the wrapped (0, 1) and (1, 1) operators disappear (and the wrapped (1, 0) line remains a good local operator).
Hence, the wrapped (1, 0), (0, 1), (1, 1) operators (and in fact all the wrapped (a, b) lines) are now good local operators on R 3 . On the other hand, all space-like loops are now attached to surfaces. This is very convenient since we can discuss more uniformly the different phases of the theory in figure 1.
This mixed theory has no 1-form symmetries but it has a 0-form symmetry. The gauging of the original 1-form symmetry leads to a new 0-form symmetry. 14

JHEP05(2017)091
We see that for θ = π the bonus 0-form symmetry (which replaces the original gauged 1form symmetry) is Z 2 . At θ = π, due to the anomaly (3.4), (3.5), the bonus Z 2 symmetry is extended in a nontrivial way 15 over Z 2 × Z 2 . Let us see how this occurs. We will give one derivation below and another one in appendix B. As before, we denote the 2-form Z 2 gauge field in 3d by B. When gauging the 1-form Z 2 center symmetry, it is promoted to a dynamical variable and it is summer over. The gauged theory has a bonus Z 2 symmetry and thus can be coupled to a background 1-form Z 2 gauge field b. If we use the lattice formulation, the coupling to b is represented by a term Consider now a CP transformation at θ = π. It adds to the action a term (3.4). This term can be absorbed into a redefinition of b: We see that the original mixed 't Hooft anomaly turned into a nontrivial transformation law for the field b under the CP transformation. Let us denote the Z 2 generator associated to b by h and the Z 2 generator associated to the 0-form center by c. The CP generator will be denoted CP . Then (4.3) and the fact that c, h generate a Z 2 × Z 2 subgroup imply that We see that CP · c is an element of order 4. Clearly this group is D 8 , which is the symmetry group of the square. 16 We can represent these generators on the wrapped (0, 1) and ( By studying the mixed gauge theory we lose no information. Indeed, by turning b into a dynamical field (i.e. orbifolding by h) we can go back to SU(2). If, however, we decide to turn A into a dynamical gauge field (i.e. orbifolding by the generator c) then we end up with SO(3) + . In order to study SO(3) − we can orbifold by the generator h·c. In particular, the lines separating the different phases of the mixed theory, SU(2), and SO(3) ± have to be the essentially the same. 15 An analogous phenomenon concerning the bonus symmetries in 2d orbifolds is described in the mathematical literature in [55]. We thank Y. Tachikawa for bringing this to our attention. 16 The only other non-Abelian group at order 8, the Quaternion group, has only two elements of order 2.

JHEP05(2017)091
Let us summarize how to recover various gauge theories on a circle by gauging various Z 2 subgroups of Gauging these subgroup breaks the global D 8 symmetry. 17 In the first case, the Z 2 that is gauged is a normal subgroup of D 8 , and the remaining symmetry group is thus Z 2 ×Z 2 . This is exactly what we expect from the SU(2) gauge theory at θ = π. In the two other cases the Z 2 symmetry that is gauged is not normal, and the quotient N (Z 2 )/Z 2 is isomorphic to Z 2 . This can be understood from the fact that θ = π is CP invariant in SU(2) but not in SO(3) ± as they are interchanged by θ → θ + 2π. In addition, gauging these 0-form symmetries also introduces a new bonus Z 2 one-form symmetry, which we indeed expect to find in the SU(2) and SO(3) ± theories.
When we move away from θ = π in the mixed gauge theory we no longer have a D 8 symmetry but just a Z 2 × Z 2 symmetry (4.1). Indeed, changing the θ angle corresponds to adding some operators that break the symmetry T ↔ D. However, the symmetry generated by T → −T, D → D and T → T, D → −D remains, as needed. If we now further orbifold as in (4.6) then only a Z 2 symmetry would remain. In the SU(2) case, this is just the center symmetry. In the SO(3) ± cases, this is the dimensional reduction of the magnetic 1-form symmetry of the corresponding 4d theories.

The vacuum structure of the mixed theory
In figure 2 we present the phase diagram of the mixed gauge theory, where we also emphasize the number of vacua and their heuristic location in each of the regions. As before, we still need to determine what is happening in the region with the question marks.
The vacua are heuristically plotted on the (T, D) plane and we can compute the expectation values of the Polyakov loop by taking the product T D. θ = π + δ and θ = π − δ are related by T ↔ D, which is a manifestation of the Witten effect in the mixed theory. In the lower left region, Z 2 × Z 2 is spontaneously broken to Z 2 , generated by D → −D. At low temperatures at θ = π each vacuum preserves either D → −D or T → −T . So D 8 is spontaneously broken to Z 2 . This includes the spontaneous breaking of the CP generator. At high temperatures for θ < π, Z 2 × Z 2 is spontaneously broken to the trivial group. At high temperatures and θ = π each vacuum preserves a Z 2 . It is either the CP generator or CP · h in the conventions of (4.5).
We can also see that orbifolding as in the first line of (4.6) we are led to the correct phases of SU(2) gauge theory, coinciding precisely with the phases expected in (3.12) 17 In general, consider a system with symmetry group G.  and (3.13). The symmetry that we orbifold by to arrive at SU(2) gauge theory is (T, D) → (−T, −D). This symmetry is always spontaneously broken in the phase diagram in figure 2. Therefore, the resulting one-form symmetry in SU(2) is always preserved in the vacuum, in agreement with (3.12) and (3.13). Here we used the fact that, quite generally, if a spontaneously broken symmetry is gauged, the bonus symmetry is unbroken, and vice versa. (This is familiar from the 2d Ising model [56] and its generalizations to higher dimensions have been discussed, including various subtleties, in [19,20].)

The vacuum structure of SO(3) ±
The phase diagram in figure 2 for the mixed gauge theory has immediate consequences for the phases and number of vacua in SO(3) ± gauge theory. Consider first the second orbifold in (4.6), which leads to SO(3) + theory. It is presented in figure 3.
There are several rather interesting features in this diagram. First, we plotted the vacua heuristically on the T axis, which corresponds to the wrapped (0, 1) line, since the JHEP05(2017)091 wrapped lines (1, 0) and (1, 1) are projected out by the orbifold (more precisely -they are now attached to a topological line in Y ).
There are three vacua at θ = π at low temperatures. One of them preserves the 0form center symmetry T → −T . The other two vacua break this symmetry spontaneously, however, the symmetry that we gauged is unbroken in these two vacua! This means that these vacua carry a nontrivial TQFT. Indeed, the 1-form symmetry is spontaneously broken in these vacua, which means that the space-like 't Hooft loop (which is not attached to a surface now) has a perimeter law, as we expect. This TQFT exists in the two vacua for θ < π while the single vacuum for θ > π is trivial. At high temperatures we always have two vacua, which break the 0-form center symmetry spontaneously and the 1-form symmetry is always unbroken.
For SO(3) − the picture above is reversed, with one low-temperature vacuum for θ < π and two for θ > π.
This behavior of the vacua at zero temperature is consistent with the description in [24].

The CP domain wall
We have seen above that there is a first order transition at θ = π at low temperatures, where CP is spontaneously broken. Hence, there should be a domain wall at θ = π (at zero and also low, nonzero, temperature). Here we will discuss the properties of this domain wall.
In SU(2) gauge theory the center 1-form and 0-form symmetries are unbroken at low (nonzero) temperatures at θ = π and hence the domain wall between the two vacua should also carry a Z 2 1-form and Z 2 0-form symmetries. The theory cannot be trivial because of the anomaly (3.5). Indeed, upon coupling the 0-form and 1-form symmetries to background gauge fields A, B, the domain wall theory should be gauge invariant only when coupling to the bulk TQFT with an action iπ Y A ∪ B.
A natural way to achieve this is to postulate that the domain wall theory is the Z 2 gauge theory in two dimensions (i.e. BF theory at level 2) (4.7) Here a and b are Z 2 -valued 1-cochain and 0-cochain, respectively. This theory has two vacua distinguished by the expectation values of e iπb = ±1. The line e iπ a is the domain wall between them, and its orientation is not important. There is a quick way to see that this theory reproduces the required anomaly. We gauge the symmetry b → b + 1 so the two vacua become one. We are therefore allowed to consider now the vortex configuration for b where b returns to itself up to a shift by 1 around some point in Σ. This operator carries charge 1 under the gauge field a. We can cancel the gauge charge by adding a line to it or by multiplying by some massive field in the theory. There is therefore no one-form symmetry left in the theory. The conclusion is that if we gauge the symmetry corresponding to shifts of b we at the same time break the 1-form symmetry. This is the hallmark of mixed anomalies.
Another perspective on this domain wall follows from the discussion in the introduction of a domain wall between θ and θ + 2π, which has a SU(2) 1 ∼ U(1) 2 Chern-Simons theory JHEP05(2017)091 on it. It is the boundary of the 4d TQFT with an action iπ 2 X B ∪ B [20]. The CP domain wall at θ = π is the same domain wall. At finite temperature this bulk term becomes iπ Y A ∪ B and the theory on the domain wall becomes the dimensional reduction of the Chern-Simons theory; i.e. (4.7).
We conclude that for low, nonzero temperature, the CP domain wall is the twodimensional BF theory at level 2, which can be also viewed as the Z 2 gauge theory. In the deep infrared the domain wall has just two vacua and a (one dimensional) domain wall relating these two 2d vacua.

An inequality for the multicritical region
There are two essential conceptual possibilities for the physics in the unknown region around θ = π. One option involves at least one point in the phase diagram where the generator h in (4.5) is unbroken. At such a point it is necessarily true that T = D = 0 and hence the full D 8 symmetry is restored. Hence, due to (4.6) the 1-form symmetry of SU(2) is spontaneously broken and the space-like Wilson line has a perimeter law (this is again due to the fact that if an unbroken symmetry is gauged then the bonus symmetry is spontaneously broken). Therefore, the QCD string becomes tensionless. Note that in all the phases that appear in figure 2 there is no point with unbroken h. So this scenario might appear unorthodox at first sight, and indeed we do not expect this to take place for sufficiently large N , but it may be realized for SU(2) Yang-Mills theory. We analyze such scenarios in the next sections.
In this section we make the most conservative assumption, i.e. that there does not exist a vacuum with unbroken D 8 symmetry. Let us study the consequences of this assumption.
Let us assume that the vertical first order line terminates (at some 2nd order transition) before it reaches the deconfinement transition line. This is clearly inconsistent with figure 2 because for θ < π, below the deconfinement transition, we have an unbroken D → −D symmetry while for θ > π we have an unbroken T → −T symmetry. Therefore, if the first order line terminates before it reaches the deconfinement line there must be some line where both symmetries are unbroken and hence also h is unbroken, which leads to a contradiction.
We can repeat the same argument in the original SU(2) gauge theory to see the connection of this argument to our anomaly. Assuming an everywhere unbroken 1-form symmetry, the anomaly implies that there cannot be a trivial vacuum with unbroken CP and 0-form center symmetry. But below the deconfinement transition the 0-form center symmetry is unbroken by definition and hence CP has to be broken.
Therefore, we find that assuming that the space-like Wilson loop is always confined, with T CP being the CP restoration temperature. As we explained, this inequality follows from the anomaly (3.4). The phase diagram (of the mixed gauge theory) would therefore look as in figure 4. It is likely that T CP = T deconf is fine-tuned, but perhaps under special circumstances such an equality can be achieved. Figure 4. The phase diagram in the mixed theory (as in figure 2), where in the region with question marks we assume that the first order line continues to higher temperatures beyond the deconfinement line.

JHEP05(2017)091
Let us make some further comments about the intersection of the first-order and second-order lines. We have at that point two vacua in SU(2) gauge theory and four vacua in the mixed theory. At each of these vacua, we have a three-dimensional Ising model. These vacua are separated by an energy scale of order Λ SU (2) , which is the only energy scale at this point. Therefore, there is no necessity that all the four Ising models would be simultaneously described by one three-dimensional effective field theory. The cutoff of the three-dimensional description is Λ SU (2) and so the UV completion could be just the fourdimensional theory. This is reminiscent of the two vacua in the 4d N = 2 theory [57,58].
In the figure above the first order CP transition line ends with a second order transition in the 3d Ising universality class.
While our description here of the phases of the theory (assuming that the space-like loops are confined) was for SU(2) Yang-Mills theory, in fact, a straightforward adaptation of this scenario makes perfect sense for SU(N ) Yang-Mills theory. The inequality (5.1) continues to hold for all N .
Let us now argue that this scenario requires no fine tuning. In the T − D plane we are allowed to write any potential that is D 8 invariant (D 8 is generated by a rotation by 90 degrees and by a reflection). The general such potential is with ϕ the angle between T and D. If only the term cos(4ϕ) is present, then there are four vacua, but in general, there could be 4 or 8 vacua depending on the relative coefficients of the various terms. It takes fine tuning to have more than 8 vacua. Indeed, if there are four vacua, then D 8 is broken to some Z 2 subgroup. Depending on the situation, it could be either a Z 2 reflecting around an axis or a Z 2 reflecting around a diagonal. These two scenarios are realized at low and high temperatures, respectively. If there are 8 vacua, then D 8 is broken completely. These are the only scenarios that do not require fine tuning.

JHEP05(2017)091
Considering θ = π we can thus view the phase diagram of figure 4 as describing a transition between 4 vacua with an unbroken Z 2 in the conjugacy class of a reflection around one of the axes and 4 vacua with an unbroken Z 2 in the conjugacy class of a reflection around a diagonal. The transition is through a phase with 8 vacua and a completely broken D 8 .

Domain walls
The domain walls at θ = π above the CP restoration temperature and below the deconfinement transition are the same as described in subsections 3.3 and 4.4, respectively. The domain walls in the region above the deconfinement transition and below the CP restoration temperature could have some interesting dynamics.
It is useful to look first at the mixed gauge theory. Then D 8 is completely broken and we have eight massive vacua. We can pick any of the vacua, call it v 1 , and label all other vacua v g by the non-trivial D 8 group element g mapping v 1 into them.
The domain walls between these vacua will generically also have a single gapped vacuum. Notice that not all domain walls are guaranteed to exist: in principle one may interpolate between two vacua by a sequence of stable domain walls involving other vacua of the theory.
Although the vacua are locally equivalent, pairs of vacua are not all equivalent. The seven potential domain walls between v 1 and the other vacua are all physically distinct and can potentially have distinct physical properties, such as tension. We can label the domain walls wall between vacua v 1 and v g as d g .
Because of the broken D 8 symmetry, the domain wall between vacua v ′ g and v g ′ g will have the same properties as d g . A 3d CPT transformation will both exchange the two vacua and act as a reflection in the domain wall world-volume. Thus d g and d g −1 domain walls have identical properties up to a space reflection. In the case at hand, the reflection relates the two domain walls labelled by the order 4 elements of D 8 . The other group elements are of order two and the reflection symmetry does not add more information.
Upon gauging some Z 2 subgroup of D 8 , vacua related by gauge transformations become equivalent. Lets denote the Z 2 generator as x. The domain wall d x which interpolated between v 1 and v x will become a dynamical string in the gauged theory.
Domain walls d g and d xg now interpolate between the same pair of vacua in the gauged theory. These two domain walls are related by a space reflection if g 2 = x.

A Higgs phase at intermediate temperatures
Above we saw that assuming there are no tensionless color flux tubes leads to a prediction of an inequality, (5.1). But it is worthwhile to explore the possibility that a point with unbroken D 8 symmetry exists.
At θ = π, the general effective Lagrangian at distances much larger compared to the inverse temperature has to respect the D 8 symmetry. We know that at sufficiently low temperatures the symmetry is broken spontaneously to a Z 2 subgroup while at sufficiently high temperatures it is broken to a different Z 2 subgroup. In between, whether or not D 8 is restored depends on the coefficients of various terms in the effective Lagrangian (5.2).

JHEP05(2017)091
It requires no fine tuning for the region in between low and high temperatures to have an unbroken D 8 symmetry. But if this happens, it does require the existence of new critical points on the phase diagram. We will see one concrete realization below.
There are two distinct scenarios: 1. There is some finite collection of points with unbroken D 8 .
2. There is a whole region with unbroken D 8 .
Note that straightforward ideas like joining the three lines of figure 2 and having and O(2) model at the intersection (with unbroken D 8 symmetry embedded inside the O(2)) are inconsistent because the O(2) model admits an O(2) invariant deformation in which the O(2) symmetry is unbroken and the vacuum is unique and trivial. This is the usual disordered phase of the O(2) model. Such a phase does not exist in figure 2.
A variation of this scenario is to postulate the existence of some 3d CFT which contains a D 8 subgroup in its symmetry group, has two relevant deformations, but does not have a disordered phase. Such a 3d CFT would typically be expected to have a discrete D 8 't Hooft anomaly (which would explain why a trivial disordered phase does not exist). But we show in appendix C that such an anomaly does not exist in the mixed theory.
In view of these considerations, we regard the first scenario as unlikely and turn to the second one. It is immediately clear that the phase diagram is invariant under k → −k. This just exchanges M 1 and M 2 , which corresponds to the CP generator in (4.5). Clearly, for large positive r > |k| we always get one disordered vacuum. If r < |k| but r is not too small (in a sense that we will specify momentarily), then we get into an ordered phases. One finds the phase diagram in figure 5 and figure 6 corresponding to ν < 0 and ν > 0 respectively. The main difference between them is that the first-order line in figure 5 splits in figure 6 into two second-order transitions due to the dangerously irrelevant operator ν.

A trivial phase with unbroken D 8
We have already noted above that the low temperature phase of the mixed gauge theory,   It is therefore suggestive to glue these two descriptions together, as in figure 7. We obtain a phase diagram with a tricritical O(2) point and a tetracritical O(2) point. As we explained above, both of these are locally possible multicritical points for the O(2) CFT, depending on some dangerously irrelevant operators. The disordered phase is present in a compact region, where T = D = 0, and so the fact that it is not observed at the weakly-coupled or lattice-accessible regions of the theory is not a problem.
The shaded region in figure 7 corresponds to a single, trivial (gapped), D 8 -preserving vacuum. This is possible only if there is no 't Hooft anomaly for the D 8 symmetry, a fact that we verify in appendix C. This phase can be interpreted as a Higgs phase of the SU(2) gauge theory. Indeed, an unbroken bonus Z 2 symmetry of the mixed theory means that the 1-form Z 2 symmetry of the SU(2) gauge theory is broken, and hence the spatial Wilson loops have a perimeter law. This is a hallmark of the Higgs phase. The 0-form center Z 2 symmetry is unbroken, so the Polyakov loop still has zero expectation value, as do the 3d local operators T and D.
Whether the present scenario or the scenario of the previous section is realized depends on whether the D 8 symmetry is unbroken somewhere. None of these scenarios requires fine tuning. In order to compare them, figure 8 depicts a slice at θ = π. As we change the temperature, the parameters r, ν in (6.1) change continuously. The system has D 8 symmetry throughout. For sufficiently negative ν and fixed r we would always have four vacua and an unbroken Z 2 symmetry in the conjugacy class of a reflection around one of the axes. For sufficiently large and positive ν the vacuum is again four-fold degenerate but preserves Z ′ 2 in the conjugacy class of a reflection around a diagonal. In between, for negative r, there is a phase with 8 vacua and completely broken D 8 symmetry. For positive r the system always has one vacuum and unbroken D 8 symmetry. At r = 0 we encounter the O(2) Wilson-Fisher fixed point (this is true for all ν since the corresponding operator is irrelevant in the O(2) fixed point). There are also two lines with r < 0 which support the 3d Ising model. We see that the present scenario corresponds to the wiggly curve (the 7 Scenarios with deconfinement at zero temprerature The scenarios outlined above assumed that SU(2) Yang-Mills theory is confining at zero temperature for all θ. This is suggested by the known behavior of the softly broken N = 1 supersymmetric Yang-Mills theory and (at large N ) the behavior of holographic models. However, none of these arguments are conclusive, and it is conceivable, especially for SU(2) Yang-Mills theory, that there exists a zero-temperature phase with a Coulomb or Higgs behavior of the Wilson loops either at θ = π or in some interval θ ∈ (π − x, π + x) for some 0 < x < π. Let us discuss the possibilities for the phase diagram in such cases.
Coulomb behavior. The simplest possibility, depicted in figure 9, is that the deconfinement temperature decreases as one increases θ, and goes to zero either at θ = π or at two points θ = π ± x with 0 < x < π. In the first case the 4d theory is not confining only at θ = π and in the second case it is not confining in the range θ ∈ (π − x, π + x). 18 If the deconfinement lines touch the zero temperature line at θ = π ± x, there is a critical point at these values of θ. It describe a continuous transition between a confining phase and a non-confining phase for θ ∈ (π − x, π + x). The latter can be Higgs or Coulomb

JHEP05(2017)091
both with broken 1-form Z 2 symmetry. Let us consider the possibility that the physics in the interval θ ∈ (π − x, π + x) is in a Coulomb phase. 19 Assuming x = 0, let us elaborate on this Coulomb phase theory. The free photon theory has continuous magnetic and electric one-form symmetries. We imagine that the electric one-form symmetry is accidental and it is in fact entirely broken by some heavy charged particles. The magnetic one-form symmetry is broken to Z 2 , which matches the Z 2 oneform electric symmetry of the original SU(2) degrees of freedom. This symmetry acts on 't Hooft loops of the U(1) gauge theory and it is spontaneously broken in the Coulomb phase. Now let us examine the physics of this (free) theory at finite temperature. To first approximation the low energy 3d theory consists of a free photon and a real neutral (periodic) scalar arising from the gauge field holonomy. However, we need to add to this theory a monopole operator to reflect the fact that the 4d 1-form symmetry is Z 2 rather than U(1). 20 In addition, since the electric one-form symmetry is completely broken, this shift symmetry of the holonomy scalar is broken and we expect it to have a potential and be massive.
As in the famous Polyakov mechanism, the photon acquires a mass due to the monopole operator. Since the monopole operator is Z 2 invariant, there are two such gapped vacua and the Z 2 0-form symmetry is spontaneously broken. The 4d 1-form symmetry (which is spontaneously broken at zero temperature) therefore leads to a spontaneously broken Z 2 0-form global symmetry and an unbroken Z 2 1-form symmetry in three dimensions. Let us elaborate on the latter point. The Z 2 1-form symmetry in four dimensions splits to a 0-form symmetry and a 1-form symmetry. The former corresponds to the topological Z 2 ⊂ U(1), which is preserved by the explicit monopole operator in the low energy theory. The 1-form symmetry acts on lines in the 3d theory. Confinement in the 3d theory means that these lines have an area law and this symmetry is unbroken.
This is precisely what we require from the finite temperature phase between θ = π ± x, since it is in the same universality class as the high temperature phase -see figure 9. In this example we see that a compactification on a very large circle can lead to a rather dramatic change in the pattern of symmetry breaking and in the spectrum. This is of course only possible if there are massless modes to start with.
It could happen that the two deconfinement transition lines touch the zero temperature line at θ = π. This can be thought of as the x → 0 limit of the previous picture and there would be no Coulomb phase in this case. This picture is reminiscent of the O(3) model in two dimensions, which has a second order phase transition at θ = π at zero temperature (see [61,62] and references therein).
No Higgs phase at zero temperature. We would like to close by making some comments about the possibility that these deconfinement lines do not simply curve down, but there is a more complicated pattern. For example, we can have a phase diagram like figure 7 with the Higgs region extended all the way to zero temperature. It can touch the JHEP05(2017)091 zero temperature line at two points θ = π ± x or at a single point, θ = π. The former scenario can actually be ruled out. Since the 0-form center symmetry is unrbroken inside the blob, it would be also unbroken in four dimensions and hence such a scenario contradicts the fact that the anomaly forces either the center symmetry or CP to be broken at θ = π at zero temperature (if the system is gapped). Similarly, we can exclude in this way the scenario where the deconfinement temperature vanishes at θ = π ± x, and there is a zero-temperature Higgs phase in the interval θ ∈ (π − x, π + x), with a mass gap and a spontaneously broken Z 2 one-form symmetry.

JHEP05(2017)091
The key point is that the cup product is not supercommutative on the cochain level, so a ∪ a is a nonzero 2-cochain, in general.
To see that on orientable manifolds this theory is equivalent to the (4.7) , but not in general, let us integrate over b, so that a is constrained to be closed modulo 2. For such an a, a ∪ a is exact on orientable 2d manifolds, but not necessarily on unorientable ones. For example, for Σ = RP 2 there is a nontrivial Z 2 gauge field a ∈ Z 1 (Σ, Z 2 ), and its square integrates to 1. In general, a ∪ a is cohomologous to w 1 ∪ a, where w 1 ∈ Z 1 (Σ, Z 2 ) is a representative of the 1st Stiefel-Whitney class [w 1 ] ∈ H 1 (Σ, Z 2 ) [63]. Since [w 1 ] = 0 if and only if Σ is orientable, we conclude that the theory (A.2) is equivalent to (A.1) if and only if Σ is orientable.
Let us discuss some properties of the theory (A.2). It is convenient to reinstate b and write an action as follows: Note also that the global 1-form Z 2 symmetry a → a + λ is broken if Σ is unorientable. This is in fact required by the anomaly of the Yang-Mills theory (3.5) if we interpret the 2d TQFT (A.2) as describing the physics of the center-symmetry domain wall. Indeed, on the domain wall the center Z 2 is restored. Placing the domain wall on an unorientable background means gauging the CP symmetry, and the anomaly then requires the 1-form symmetry to be broken. On the other hand, if Σ is orientable, the 1-form symmetry is preserved, and we can gauge it. In the gauged theory the Wilson loop for a is not an observable since it is not invariant under the 1-form symmetry. The operator exp(iπb) becomes trivial since it is the generator of the 1-form symmetry. Thus the gauged theory has a unique vacuum and no nontrivial observables, i.e. it is trivial. This is consistent with the fact that in the mixed theory the center symmetry domain wall does not carry any topological degrees of freedom.

B Another derivation of D 8 symmetry
For the discussion in this appendix we need to introduce a gauge field for CP symmetry in 3d. Indeed, from the 3d viewpoint it is an ordinary global symmetry, and hence we can couple it to a standard one-form Z 2 -valued gauge field a on Y . The anomaly inflow was given in (3.5). Now we define our mixed gauge theory by turning the 2-form gauge field B into a dynamical field and coupling to it the 1-form Z 2 gauge field b.
The coupling iπ Y b∪B is invariant under B → B+δχ if δb = 0, but the rest of the the theory has an anomaly under the 1-form symmetry transformation, and the constraint on b should be chosen to cancel it. Recall that the anomaly is described by the 4d action (3.5), where M is a compact oriented 4-manifold such that ∂M = Y . When performing a 1-form JHEP05(2017)091 symmetry transformation as above, this 4d action varies by a boundary term To cancel the anomaly we must choose Here a and A are 1-cocycles with values in Z 2 , while b is a 1-cochain with values in Z 2 . We want to interpret this equation as a 1-cocycle condition for 1-cochain with values in some group G. In general, when G is an extension of some G 0 by an Abelian group H, the G gauge field can be described by a pair (b, b), where b is a G 0 gauge field (i.e. a 1-cocycle with values in G 0 ), and b is a 1-cochain with values in H satisfying a constraint δb = ω(b), where ω ∈ Z 2 (G 0 , H) is a 2-cocycle describing the extension, and ω(b) ∈ Z 2 (Y, H) is its evaluation on b. Applying this to equation (B.2) , we see that G must be an extension of Z a 2 ×Z A 2 by Z b 2 , and that the cohomology class describing the extension is the product of the generators of H 1 (Z a 2 , Z 2 ) and H 1 (Z A 2 , Z 2 ). This is the usual description of the D 8 group.

C The (absence of ) anomalies for D 8 symmetry
A three-dimensional theory with D 8 global symmetry could, in principle, have global 't Hooft anomalies classified by In three-dimensional theories that arise from some four-dimensional theory, the anomaly could be in principle even larger because not all three-dimensional counter-terms arise from four-dimensional counter-terms. If the anomaly does not vanish, trivial phases with unbroken D 8 are forbidden. It is very useful to start from a seemingly different problem, concerning the 1-form and 0-form symmetries of the original compactified SU(2) theory at θ = π. There could be a discrete analog of the Green-Schwarz mechanism [64], where the two-form background connection, B, for the 1-form center symmetry is not invariant under some 0-form gauge transformations and hence B satisfies a modified Bianchi identity: In this appendix we suppress the cup product and write a 2 instead of a ∪ a, etc. The parameters η i are valued in Z 2 and we have not included a term A 3 since the four-dimensional 2-form gauge field B is closed if a is set to zero. If the gauge field a is nontrivial, although B was closed in four dimensions, its three-dimensional counterpart may not be closed. However, it still has to be homogenous linear in (A, B) and therefore we only have to discuss the possible modification of the Bianchi identity of the form

JHEP05(2017)091
is also invariant under the standard Z 2 gauge transformations of a and A) and hence D 8 has no anomalies. The lack of anomalies is crucially important for the consistency of the phase diagram of figure 7.

C.1 An alternative proof
There is an alternative way to prove the absence of anomalies for the D 8 symmetry in the mixed gauge theory: we can deform our theory to another theory in which the D 8 symmetry is manifestly anomaly-free. As long as the D 8 symmetry is preserved along the deformation, 't Hooft anomaly matching will imply the desired result.
A simple way to accomplish our objective is to add an adjoint Higgs scalar field to the four-dimensional SU(2) gauge theory. This preserves the 1-form center symmetry and CP invariance of the theory.
The original theory is recovered when the Higgs field is very massive. On the other hand, in a Higgs phase one obtains a U(1) gauge theory. The U(1) gauge theory is coupled to massive particles with even electric charges and general magnetic charges, so that the naive U(1) × U(1) 1-form symmetries are broken to the Z 2 of the underlying SU(2) gauge theory.
We can set our conventions so that the non-Abelian Wilson loop in the fundamental representation goes to Abelian loops of electric charge ±1 and the non-Abelian (0, 1) and (1, 1) loops go to Abelian loops of magnetic charge ± 1 2 and appropriate electric charge. For simplicity, we keep using the SU(2) conventions for the θ angle, so that θ → θ + 2π shifts the Abelian electric charges by twice the Abelian magnetic charges. The Abelian gauge theory has CP symmetry at θ = 0 and θ = π inherited from the SU(2) gauge theory.
Upon compactification on the thermal circle, a U(1) gauge theory can be dualized to a sigma model of two scalar fields valued on a two-torus, whose modular parameter coincides with the complexified 4d gauge coupling. The (exponentiated) scalar fields are simply the vevs of wrapped 4d line defects. We have an electric scalar field φ e associated to the wrapped Abelian Wilson loop and a magnetic scalar field φ m associated to the wrapped Abelian 't Hooft loop.
We can take the scalars to have periodicity 2π and encode τ in the metric on the torus. In particular, the metric at θ = π involves orthogonal directions φ e and φ m − φ e . The CP symmetry is a reflection of the latter direction, i.e. CP : φ m → 2φ e − φ m .
The 0-form symmetries which descend from the U(1) × U(1) 1-form symmetries of the U(1) gauge theory coincides with the translations of the torus. We can imagine that the low energy effective action inherited from the SU(2) gauge theory induces a metric and potential on the torus which break translations to a single Z 2 subgroup acting on the electric scalar field as c : φ e → φ e + π.
Dually, the Z 2 1-form symmetry acts non-trivially on twist line defects around which φ m → φ m + 2π. Gauging the Z 2 1-form symmetry to go to the mixed gauge theory has the effect of enlarging the size of the magnetic scalar field φ m to have periodicity 4π. The dual 0-form symmetry is then h : φ m → φ m + 2π.

JHEP05(2017)091
Notice that the CP , h and c generators satisfy the expected D 8 relations. This is continuously connected to the D 8 symmetry of the original compactified, mixed SU(2) gauge theory.
Furthermore, D 8 acts in a completely geometric way on the scalar fields of the sigma model and is thus not anomalous.

D 't Hooft anomalies in quantum mechanics
't Hooft anomalies manifest themselves in quantum mechanics as a projective representation of the global symmetry group. We start with a classical symmetry G. Often the quantum system realizes a central extension of it G. The added central element P obviously commutes with all the group elements in G. But the situation here is more specific than merely saying that the symmetry group is G. Since P does not exist in the classical theory, it commutes with all the operators in the theory. It is central not only with respect to the other symmetry elements but with respect to all the operators. However, it can act nontrivially on the states in the system. But as a central element it must act in the same way on all the states in the system.
The purpose of this appendix is to discuss two examples demonstrating it and to present them in the spirit of the 't Hooft anomalies in the bulk of the paper.

D.1 A particle on a circle
We consider the Lagrangian (in Minkowski space, so that there is an i in front of the action) with compact q ≃ q + 2π. Since for all field configurations on a Euclidean circle q ∈ 2πZ, θ leads to the same physics as θ + 2π. The conjugate momentum is Π q =q + 1 2π θ and the Hamiltonian is just We can see that H θ and H θ+2π are related by a unitary operator e iq which shows more formally that they are equivalent. The appropriate differential operator to diagonalize is (D.4) 22 Note that the wave functions are periodic under q → q + 2π. We could also give them some phase under this transformation, which is equivalent to adding a background gauge field for the phase of the wave function. Equivalently, we can say that θ corresponds to some magnetic flux inside the circle. Here we choose to use the parameter θ and consider only periodic wave functions.

JHEP05(2017)091
We see that the spectrum is invariant under θ → θ + 2π (this of course follows from the fact that H θ and H θ+2π are unitarily equivalent) but this occurs in a nontrivial way (level crossing). Note that for θ = π and only in this case the ground state is two-fold degenerate. We will soon see that these two states are related by a discrete symmetry, i.e. there is a spontaneously broken discrete symmetry (even though we are talking about quantum mechanics, where, naively, discrete symmetries cannot be broken).
Since the particle is free, the spectrum is in representations of U(1), corresponding to O α : q → q + α. At θ = π another generator exists, charge conjugation O C , which maps q → −q. This generator is a symmetry of the Lagrangian because θ = π and θ = −π are the same according to the arguments above. 23 It is a symmetry both for θ = 0 and θ = π. At θ = 0 the action is simply |n → | − n . The ground state is unique and it corresponds to the constant wave function, invariant under all the symmetries. This is the standard picture in QM.
For θ = π the story is more involved (this corresponds to half integer flux through the circle). The instantons have alternating signs and they can partially cancel each other. One can convince oneself that the action of the U(1) symmetry and of charge conjugation on the Hilbert space at θ = π are q → q + α : |n → e iαn |n , q → −q : |n → | − n + 1 .

(D.5)
We would like to compute now the transformations generated by O α and O C : It is also useful to note now that The group generated by O α and O C is therefore not O(2) (which is what we might have expected based on classical considerations) since the above generator does not coincide with O −α . We therefore introduce a new generator, which is central, I β which acts by We call it central because it clearly commutes with O α and O C . If we ignore this central element and consider (D.7) modulo a scalar action on the Hilbert space, we get a projective representation of O(2). Therefore, O(2) is realized projectively. We therefore see that We could consider the combined generator V α = I −α/2 O α with α ∈ [0, 4π) and see that

JHEP05(2017)091
so now we can forget about I α but we have to identify the central extension element P as V 2π = I π = −1. We therefore get a double cover of the group O(2), namely P in (2). This should be viewed as a central extension of O(2) by P . Central extensions are common manifestations of anomalies (this is very familiar in two dimensions, where the Kac-Moody and Virasoro algebras are centrally extended). One should therefore conclude that there is a 't Hooft anomaly in the O(2) symmetry. We will see that this anomaly has many of the usual consequences of anomalies, including anomaly matching in a nontrivial ground state, inability to couple to classical gauge fields, anomaly inflow etc.
Another perspective on the system is obtained by coupling (D.1) to a classical background U(1) gauge field A 0 where kA 0 can be thought of as a "Chern-Simons" counter term for A 0 . Clearly for consistency we need k ∈ Z. In this form it is clear that for nonzero A 0 the system with θ is not the same as with θ + 2π. Instead (θ, k) ∼ (θ + 2π, k − 1). This is similar to the more complicated 4d situation we encounter in the rest of the paper where a shift of θ by 2π does not leave the system invariant, but changes a counter term for a background field. In this form it is clear that for nonzero A 0 the θ = k = 0 system is charge conjugation invariant, but for θ = π this symmetry is absent. We can compactify the Euclidean time direction and compute the partition function in the presence of a U(1) chemical potential µ = A ∼ µ + 2π. Then the partition function due to the vacuum Qubit is Z vac = 1 + e iµ . (D.12) We neglect the contributions from the excited states, as they would not affect the discussion below. Note that (D.12) is not charge conjugation invariant. The Z 2 charge conjugation symmetry is µ → −µ. This is clearly broken by the partition function. We can say that under a charge conjugation the partition function transforms by This can be interpreted as adding a counter-term which is a correctly quantized 1d Chern-Simons term.
Here are some possible additional points of view on this theory.

JHEP05(2017)091
1. We can interpret (D.15) as giving the vacuum half-integer charge. This would mean that the symmetry group is not O(2) but its double cover, which is precisely what we found through the computation of the central extension.
2. There is a way to write a consistent partition function invariant under all the symmetries, but we have to add a two-dimensional bulk. This is similar to the mechanism of anomaly inflow (topological insulator). Indeed, the half-integer Chern-Simons term δS = 1 2 A is not a well defined object in one dimension, but we can view it as resulting from the bulk integral 16) where the two-manifold M 2 ends on our the "time line" of our quantum system. This depends on the choice of M 2 , but once we choose such an M 2 it is well defined. We conclude that as long as we restrict the theory to be one-dimensional, O(2) is a projectively realized symmetry and the vacuum breaks it spontaneously. The O(2) is centrally extended to its double cover and if we couple the system to a U(1) ⊂ O(2) gauge field charge conjugation is necessarily broken. This conclusion can be avoided if we couple the system to a two-dimensional bulk.
It is worth noting that the situation for a massless fermion in three dimensions is entirely analogous. We can either couple it to a U(1) gauge field and thus break time reversal invariance (this is what happens when we choose the fermion path integral phase to be given by a half of the η-invariant, see [65]) or we can add a four-dimensional bulk with θ = π and retain the time reversal symmetry as well as the gauge symmetry.
Adding interactions. A generic potential on the circle, which is some function of sin(q) and cos(q), would explicitly break the O(2) symmetry completely and there would be generically one ground state. It is interesting to leave some subgroup of O(2) unbroken. Let us consider a potential which is only a function of cos(2q), V = V (cos(2q)) . (D.17) One can have in mind some polynomial in cos(2q). This preserves reflections and rotations by π and so we have a symmetry Z 2 × Z 2 . Such a potential generically has two or four minima, depending on the relative coefficients of the polynomial. As proven below, the quantum theory at θ = π still maintains some exact two-fold degeneracy. So the symmetry is spontaneously broken to Z 2 .
In the notation above we now have O π , O C , and due to (D.9) we have to also use I π . The group is therefore 18) which shows that O C O π is an element of order 4, while O π I π and O C I π are elements of rank 2. Hence we identify this with the D 8 group (we identify this as D 8 since it has 6 elements of rank 2).

JHEP05(2017)091
Since the central extension is by I π = −1, the ground state is indeed guaranteed to be a nontrivial representation proving our assertion above. 24 The instantons that are normally expected to remove the degeneracy and leave one symmetric vacuum cancel here because of the signs with which we multiply instanton factors.
One place where we can find this model is by thinking of q as the sphaleron degree of freedom in Yang-Mills theory, q = 1 4π Σ 3 A ∧ dA + 2 3 A 3 . Then CP becomes q → −q and the 1-form Z 2 symmetry acting on A becomes q → q + π. The identification q ≃ q + 2π is just due to the usual gauge transformations in the homotpoy classes of S 3 → SU(N ). Equivalently, only the exponential of the Chern-Simons term is well defined. So we can interpret our quantum mechanical model as the sphaleron theory. It preserves a Z 2 × Z 2 symmetry. The two vacua and the anomaly are indicative of the anomaly and spontaneous breaking of CP in the original theory.
For a connection between the above-discussed model with hidden supersymmetry in purely bosonic systems see [66,67]. We now describe the connection to 1+1 dimensional U(1) gauge theory.
Connecting with QED 2 . Consider free Abelian gauge theory in two dimensions This model has no degrees of freedom on R but let us study it a space manifold which is a circle of size L. Then we can pick the gauge A 0 = 0 and remain with S = d 2 xȦ 2 1 + θ 2π Ȧ 1 . (D.20) The residual gauge transformations A 1 → A 1 + ∂ 1 Ω(x 1 ). This can be used to turn A 1 into a constant mod 2π (but the constant cannot be removed). In other words e i S 1 A 1 is gauge invariant. In terms of (dimensionless) q = A 1 , which is identified with q + 2π, we therefore have S = 1 e 2 L dtq 2 + θ 2π q . (D.21) The mass of the quantum mechanical particle is therefore ∼ e 2 L. This is precisely the theory (D.1) with the spectrum (D.4). In particular, for θ = π there are two degenerate ground states. They can be viewed as the configurations E = ± 1 2 for the electric field. Now let us add massive charged particles and suppose that the two-dimensional QED 2 model has a one-form Z 2 symmetry. In other words, all the charges are even. Then we have no dynamical charge 1 particles and the two ground states cannot mix even in finite volume. This is the twofold degeneracy found above. If we integrate out the even charge particles, we remain with a theory that has charge conjugation and Z 2 symmetry and a potential like (D.17), which is some polynomial in cos(2q).

JHEP05(2017)091
Another interesting consequence is that QED 2 at θ = π with only even charges has a mixed charge-conjugation/1-form anomaly which upon a circle compactification manifests itself as the quantum mechanical model above.

D.2 A non-Abelian example with a discrete θ-parameter
Here we consider a simple example with an anomaly associated with a discrete θ-parameter. We study a quantum mechanical particle moving on the SO(3) = S 3 /Z 2 group manifold.
One way to think about it is to start with 4 scalars q i with a constraint q i q i = 1 leading to S 3 ∼ = SU(2). This system has an O(4) ∼ = Z 2 × (SU(2) L × SU(2) R )/Z 2 global symmetry. Next, we gauge the Z 2 symmetry generated by the nontrivial central element P ∈ SO(4); i.e. we orbifold by this symmetry leading to the target space S 3 /Z 2 . After the gauging the global symmetry is Z 2 × SO(3) L × SO(3) R . All the operators transform under this symmetry; there are no operators in SO(4) = SU(2) L × SU(2) R /Z 2 representations with half-integer isospin in the two SU(2) factors.
The target space of the system is not simply connected and therefore there is a discrete θ-parameter, which we will denote by θ = 0 or π.
The Hilbert space is of the form H = ⊕ j R j where R j is the (j, j) representation of the SU(2) L × SU(2) R symmetry. Before the Z 2 gauging we had all integer and half-integer values of j. After the gauging all the operators have j L , j R ∈ Z and there are no transitions between states with integer j and states with half-integer j. This is consistent with the fact that the Hilbert space depends on θ (D. 22) The nontrivial element in the Z 2 orbifold, P acts as +1 on H 0 and as −1 on H π . Now we want to couple the system to background gauge fields. In quantum mechanics we compactify Euclidean time and all the information in the background field is in the holonomy U around that circle. The effect of this holonomy is that we compute traces with an insertion of the group element U . Let us start with SO(4) gauge fields. There is no problem computing such traces with any U either in H 0 or in H π in (D.22).
Next, we try to repeat this with background SO(3) L × SO(3) R gauge fields. Let us compare the traces with insertions of the two different group elements U and U ′ = U P in SO(4), which are identified in SO(3) L × SO(3) R . When working in H 0 these traces are the same. However, in H π a trace with an insertion of U differs by a sign from a trace with an insertion of U ′ . This means that the answers with background SO(3) L × SO(3) R fields are gauge invariant in H 0 but are not gauge invariant in H π . SO(3) L × SO(3) R suffers from an 't Hooft anomaly in H π . 25 25 It is often stated that 't Hooft anomalies are diagnosed by making the gauge field dynamical and checking whether the Hilbert space is empty, or equivalently checking whether the partition function vanishes. If 't Hooft anomalies exist this conclusion is right. But the converse is not true. It is clear in our case that gauging the SO(4) symmetry leaves one invariant state in H0 and no invariant state in Hπ. But evidently, there is no 't Hooft anomaly in SO(4).

JHEP05(2017)091
As is common in situations with 't Hooft anomaly, we can fix the anomaly by extending the SO(3) L × SO(3) R gauge fields to a 2d manifold Σ and adding a bulk term Open Access. This article is distributed under the terms of the Creative Commons Attribution License (CC-BY 4.0), which permits any use, distribution and reproduction in any medium, provided the original author(s) and source are credited.