Permutations of massive vacua

We discuss the permutation group G of massive vacua of four-dimensional gauge theories with N\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{N} $$\end{document} = 1 supersymmetry that arises upon tracing loops in the space of couplings. We concentrate on superconformal N\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{N} $$\end{document} = 4 and N\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{N} $$\end{document} = 2 theories with N\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{N} $$\end{document} = 1 supersymmetry preserving mass deformations. The permutation group G of massive vacua is the Galois group of characteristic polynomials for the vacuum expectation values of chiral observables. We provide various techniques to effectively compute characteristic polynomials in given theories, and we deduce the existence of varying symmetry breaking patterns of the duality group depending on the gauge algebra and matter content of the theory. Our examples give rise to interesting field extensions of spaces of modular forms.


JHEP05(2017)042
Four-dimensional gauge theories play a paramount role in our description of nature. While we understand the phase structure of gauge theories reasonably well, we have an even better control over the subset of theories with supersymmetry. The minimal amount of supersymmetry in four dimensional Poincaré invariant theories is four supercharges, or N = 1. We comprehend a lot of the vacuum structure of N = 1 theories, including the number of vacua for the pure N = 1 super Yang-Mills theory, methods to solve for the superpotential in any given vacuum, as well as the systematics of the chiral ring of N = 1 theories (see e.g. [1,2] and [3] respectively). While the theory of the chiral sector of N = 1 theories is well-grounded, concrete answers about the vacuum structure or the chiral ring of particular theories can still be hard to obtain. In this paper, we develop further tools to characterize the vacua.
We consider quantum field theories that can be defined using discrete data (for instance, the gauge group and the field content) as well as parameters that take values in a continuous space (e.g. the coupling constants). We call the space of parametersC, which is a connected space by definition. In a regime where a Lagrangian description is available, the spaceC can be identified with the parameters needed to define this Lagrangian, such as gauge coupling constants and masses. If the theory permits duality transformations, those appear as discrete quotients andC is an orbifold.
We focus on N = 1 supersymmetric gauge theories in four dimensions. In such theories, an efficient probe of the spaceC is the vacuum structure, which is a fiber bundle with basē C. More precisely, we expect to find at each point ofC a finite number of massive isolated vacua, along with massless vacua that form continuous branches. Let us call V massive the space of massive vacua: it is a fiber bundle where the fiber is finite or in other words, V massive is an n-fold cover ofC, where n is the number of massive vacua. However, there might be points in parameter space where some or all vacua become indistinguishablefor instance at the zero coupling point in pure N = 1 Yang-Mills theory. We assume that these points are isolated. In order to characterize completely both the parameter space and the bundle of massive vacua, we will restrict our attention to the subspace C ⊂C where the massive vacua are distinguishable, i.e. the space C is the parameter spaceC with points where vacua merge excluded.
As a consequence, when moving along a non-contractible cycle of C the n vacua are permuted in a well defined way. This means that the cover V massive → C can be described through a map σ : π 1 (C) → S n , (1.1) where S n is the permutation group of n elements acting on the massive vacua of the theory. The full parameter spaceC is in general an orbifold characterized by the fact that its fundamental group π 1 (C) is a maximal quotient of π 1 (C) such that σ passes to the quotient. In other words, the fundamental group ofC is the smallest subgroup of π 1 (C)

JHEP05(2017)042
whose image under σ is all of Im σ, and the following diagram commutes π 1 (C) One goal of this paper is to develop tools that allow to understand the map σ, which in turn gives precious information about the two objects that it relates: • On the S n permutation group side, we learn how the vacua are transformed when the parameters are varied. For reasons that will become clear in the following, we call the image of σ the Galois group Amongst other information, this provides knowledge on which semi-classically distinct vacua can be continuously connected in the quantum theory.
• On the π 1 side, we learn about the structure of the spaceC. The homotopy subgroup Γ Galois is identified with the kernel of σ, Our main tool of analysis is the characteristic polynomial associated to an operator O, defined by where O i is the expectation value in the vacuum i, X is a formal variable and we multiply over the set of n vacua. Although O i is multi-valued on C, the characteristic polynomial is well defined and single-valued on C, and if the operator O is generic, the Galois group associated to the polynomial 1 characterizes completely the way the vacua are permuted [6,7]: Gal (P O ) = G = Im σ .
(1. 6) We say that O is generic if its Galois group is maximal, in the sense that for any operator O , we have that the Galois group of P (O) satisfies Gal (P O ) ⊆ Gal (P O ). Determining the Galois group of a polynomial or of a field extension is generically a difficult task; we will show on various examples how to overcome the difficulties by combining algebraic facts, group theory databases like [8,9] and the software Sage [10]. The analysis of the Galois group of the characteristic polynomial will serve to determine the breaking pattern of the symmetries of the theory under massive deformation. Specifically, in the mass deformed N = 2 superconformal theories on which we concentrate, we will characterize the breaking of modular invariance in the vacua in this manner.

JHEP05(2017)042
Moreover, the study of the characteristic polynomial of the superpotential will also lead to further insight into the vacuum expectation values of the superpotential. The latter are useful for instance in determining domain wall tensions, or the coupling dependence of the glueball expectation value.
Plan of the paper. Our ideas are illustrated in examples of growing complexity. The whole of sections 2, 3 and 4 are dedicated to mass deformed N = 4 theories. In section 2, we demonstrate that the characteristic polynomial of the extremal superpotential values in this theory is a polynomial with coefficients in the graded ring of modular forms. We analyze how the roots, i.e. the extremal superpotential values, extend the field of functions on modular curves, and generate the corresponding Galois group. The analysis of the characteristic polynomial shows that there are two possibilities for the fate of modular invariance in the vacua: • There can be a residual modular invariance, that is characterized by the fact that Γ Galois is a congruence subgroup of PSL(2, Z). The theories with gauge algebra su(N ) fall in this category, as shown in section 3. We show that in general the Galois group is a strict subgroup of the permutation group, and we compute it explicitly in low-rank examples.
• Modular invariance can be completely broken. In this case the roots of the polynomial with coefficients in the ring of modular forms provide an extension which goes beyond the theory of modular forms for congruence subgroups and includes functions with singularities inside the fundamental domain. The theory with gauge algebra so (8) has this property. It is analyzed in section 4.
In section 5 we illustrate how the concepts we covered in the case of the mass deformed N = 4 theory generalize to N = 2 superconformal QCD broken by mass terms to an N = 1 supersymmetric theory. In the process, we provide a detailed analysis of how the duality group acts in the mass deformed theory, and how the permutation group supersedes the duality group in describing the set of massive vacua. We prove that superconformal QCD belongs to the class of theories where modular invariance is completely broken in a given vacuum.
Our detailed discussion builds in part on previous work, in which we analyzed the vacuum structure of N = 4 supersymmetric Yang-Mills theory with mass deformations for the three adjoint chiral multiplets. This N = 1 * theory has a rich structure of massive vacua [11,12]. In the work [13], we used a combination of numerical analysis of the associated elliptic integrable system [11,14,15], as well as expectations from gauge theory to amass a treasure trove of data, which required further interpretation on several points. In [16], we provided a systematic and simplified count of the number of massive vacua of all N = 1 * theories on R 4 . In [17], we analyzed the count of vacua upon compactifying the theory on a circle, and the analytic description of massless branches of vacua. In [18] we showed how the count of massive vacua for the compactified theory, and its invariance under duality, leads to intriguing number theoretic identities.

JHEP05(2017)042
Using the general picture described in this paper we further our understanding of the wealth of data we excavated in [13]. We acquire a deeper algebraic and analytic understanding of both the extremal superpotential values in the massive vacua as well as the duality symmetry breaking patterns by embedding our findings in Galois theory.

Mass deformed N = 4 super Yang-Mills theories
In this section, we study the N = 4 super Yang-Mills theory deformed by three mass terms for the three N = 1 chiral multiplets in the adjoint. In this deformed theory, an operator that distinguishes all the vacua at generic coupling is the superpotential W . The superpotential will therefore serve as our generic operator O, in the sense of section 1. We first recall a few salient features of the N = 1 * theory and its vacua. Then we write down the characteristic polynomial of the superpotential and explain how it diagnoses the way in which the modular invariance of the N = 4 theory is partially broken in the vacua. The theory is then illustrated in the simplest case of the su(2) theory. We provide example applications as well as remarks on the relation to the vacuum expectation values of the full chiral ring. In section 3 we will further exemplify our analysis with the su(N ) theories with N ≥ 3.

Duality in the N = 4 theory and permutations of N = 1 * vacua
In this subsection, we identify the parameter space, the characteristic polynomial, the relevant Galois theory, and the reduced modular covariance of the theory in a given vacuum.

The parameter space
We recall that the N = 4 super Yang-Mills theories with gauge algebra g take on various guises, depending on the global choice of gauge group, and the spectrum of line operators [19]. The implications of these global choices are commented on in the case of the Lie algebra g = su(N ) in the appendix, section B.1. In the following, we will focus on local physics on the topologically trivial space R 1,3 , which depends only on the choice of Lie gauge algebra. We will correspondingly refer to the N = 4 theory with gauge algebra g.
When the algebra g is simply laced, which will be the case throughout this article, the N = 4 theory is invariant under the action of the modular group PSL(2, Z) acting on the complexified coupling constant τ . The parameter space can then be identified with the quotientC of the upper half-plane H by this group. The half-plane H contains two equivalence classes of fixed points for the action of PSL(2, Z) and as a result, the spaceC N =4 is a non-trivial orbifold. It can be seen as a space with the topology of a plane with two orbifold points of order two and three respectively. Using the appropriate notion of loops in an orbifold, we can define the fundamental group ofC N =4 and find where the symbol * denotes the free product between groups.

JHEP05(2017)042
When we deform N = 4 on R 1,3 by three mass terms for the adjoint chiral multiplets, we obtain the N = 1 * theory. This theory has a finite number n of massive vacua, which can be characterized by the expectation value of the superpotential W . Since the vacua are identified with the extrema of the superpotential, the latter is a good generic operator whose characteristic polynomial allows to probe the vacuum structure.
The space of massive vacua is a bundle V massive over the parameter space with finite fiber. The parameter space includes the three masses, in addition to the spaceC N =1 * (g) corresponding to the complexified coupling constant. As long as the masses remain nonzero, they can be rescaled without changing the vacuum structure, and therefore they factorize in the bundle V massive →C N =1 * (g). As a consequence, a minimal hypothesis is that even after the mass deformation, the parameter space of the N = 1 * theory is a one complex dimensional manifoldC N =1 * (g). When no extra singularity is introduced by the mass deformation, this manifold is equal to the space (2.1). We will loop back to this hypothesis and discuss that Occam's razor may well cut too deep.

The characteristic polynomial
We analyze the structure of the bundle of massive vacua over the coupling space C N =1 * (g) using the values of the superpotential at its n massive extrema. For the su(N ) theories, the superpotential extrema W i in the massive vacua are known explicitly [11,12,20], while for other gauge algebras only partial results are available [13]. We define the characteristic superpotential polynomial P τ which has as roots the values of the superpotential in the massive vacua at gauge coupling τ ∈ C N =1 * (g), and coefficient one for the maximal degree term: According to equation (1.1), if there is no extra singularity, the superpotentials W i (τ ) constitute a vector-valued modular form of weight two for the modular group PSL (2, Z) where all the elements of this group are represented by permutation matrices. In any case, the coefficients of (2.3) are symmetric functions of the roots, and therefore are modular forms of PSL(2, Z) with weight equal to twice their degree in the values W i , which means that they belong to the graded ring m of polynomials in E 4 and E 6 with coefficients in C Here and in the following, the functions E 2n for n ≥ 1 are the Eisenstein series of weight 2n with unit leading coefficient, and Fourier expansion 5) with q = e 2πiτ . The graded dimension of the ring m is encoded in the Hilbert series .

JHEP05(2017)042
We assign a modular weight two to the formal variable W such that the whole characteristic polynomial has a modular weight equal to twice its degree. It will also be useful to introduce another degree n polynomialP τ (Z), where Z = E 4 E 6 W is a formal variable of weight zero, defined byP The coefficients of this polynomial are meromorphic functions on the space (2.1), which can be written as quotients of polynomials in the modular Klein invariant , (2.8) or in other wordsP τ ∈ k[Z] where k = C(j).

The Galois correspondence
Consider an N = 1 * theory with a simply laced Lie gauge algebra g, with its characteristic polynomial P τ ∈ m[W ] constructed in (2.3). The degree n of this polynomial is equal to the number of massive vacua, and its roots W i are pairwise distinct. 2 The polynomial defines a map This map provides an explicit realization of the function σ defined in (1.1). Indeed, along a loop drawn in C N =1 * (g), on which by definition the roots of the polynomial are always distinct, we can continuously follow these roots and compute their permutation. This leads us to introduce the discriminant of the characteristic polynomial We expect to have permutations of roots when looping around the orbifold points, and around points where two or more roots coincide, which appear as zeros of the discriminant. A zero with a non-trivial monodromy will be called a non-trivial zero. In particular, any end of a branch cut of D(τ ) is a non-trivial zero. The field extension k(Z 1 , . . . , Z n ) is by definition a Galois extension, 3 and the fundamental theorem of Galois theory states that there exists a finite group G = Gal (k(Z 1 , . . . , Z n )/k) (2.11) 2 It is possible that the superpotentials in two different vacua coincide for some particular value of τ , as it happens for instance in the limit τ → i∞. However, the Wi considered as functions of τ are pairwise distinct. 3 We recall that a Galois extension is characterized by the fact that it is the splitting field of some separable polynomial with coefficients in the base field. A polynomial is called separable if its roots in any algebraic closure of the base field are distinct.  such that the subgroup structure of G coincides with the field extensions that sit between k and k(Z 1 , . . . , Z n ), as illustrated in figure 1. This gives us a cross-fertilizing relation between global aspects of the geometry of the parameter space, characterized by the Galois group, and local data about individual vacua.
Note that if D(τ ) has branch cuts, or more generally non-trivial zeros, the modular transformations like T or S become path-dependent. Correspondingly, the superpotential values in the multiplets of vacua that contain roots of a characteristic polynomial with such a discriminant no longer exhibit modular covariance. This situation will be illustrated in section 4. On the other hand, if there is no non-trivial zero, modular transformations can be performed, and modular covariance is broken in any given vacuum to a reduced modular covariance that can be studied using Galois theory, as described in the next paragraph.

Reduced modular covariance
In this subsection, we assume that D(τ ) has no non-trivial zero. From the polynomial we can then always construct a duality diagram which represents the action of the generators S and T of the modular group. In other words, the vector (W 1 , . . . , W n ) is a weight two vector-valued modular form. The fact that D(τ ) has no non-trivial zero assures that this action is well-defined and independent from the path followed to compute it. There is a one-to-one correspondence between irreducible factors of the polynomial P over the ring m and connected components of the duality diagram, and for simplicity we will focus in this section on an irreducible factor.
We then have a transitive permutation representation of PSL(2, Z), and this defines uniquely a conjugacy class of subgroups of PSL(2, Z). There is an algorithm [21] that allows to know whether this conjugacy class contains a congruence subgroup or not. 4 In the following, we assume the conjugacy class does contain a congruence subgroup that JHEP05(2017)042 we call Γ roots . 5 This notation is justified by the fact that the roots of the characteristic polynomial are in bijection with coset representatives of Γ roots . Congruence subgroups are fairly well known, and an exhaustive list has been computed for genus lower than 24, see [22]. In order to identify the congruence subgroup, one first reads off from the permutation diagram • the number c 2 of roots fixed by S, • the number c 3 of roots fixed by ST −1 , • the partition ρ of n given by the T -cycles structure, and in particular the number c ∞ of T -cycles.
The genus of the group is then given by This set of data entirely characterizes the group Γ roots . 6 If g ≤ 24, it can be found in the tables of [22] using the above data and the T -multiplet structure. The conjugates of Γ roots are the stabilizers of the individual roots of the characteristic polynomial. Their intersection is a congruence 7 subgroup that is equal to Γ Galois .
To the standard Galois duality that relates subgroups of the Galois group and field extensions, as depicted in the first two columns of figure 2, we now add a third structure, namely the congruence subgroups containing Γ Galois . Let us then consider a congruence subgroup Γ such that Γ Galois ⊆ Γ ⊆ PSL(2, Z) . (2.14) From Γ we can construct a compact Riemann surface, called the modular curve X(Γ), which is the appropriate compactification [23,24] of Γ\H. This permits us to use the general idea that an algebraic curve is entirely characterized by fields of functions C(X(Γ)) defined on it, and that field extensions correspond to morphisms between curves. It is clear that (2.14) implies C(X(Γ Galois )) ⊇ C(X(Γ)) ⊇ C(X(PSL(2, Z))) .
(2.15) 5 For practical purposes, this assumption is not needed. In any particular situation, one simply computes the group Γroots assuming that it is a congruence subgroup, and then checks that it indeed leaves one root invariant. 6 In particular, we remind the reader that the graded dimension of the ring of modular forms for any congruence subgroup Γ that contains the matrix −I is given by [23] If Γ does not contain −I, the above formula still gives the correct contribution for even powers of t, but there is an additional contribution from odd powers of t for which we found no general formula.  In other words, every group contained between Γ Galois and PSL(2, Z) gives a field extension of C(X(PSL(2, Z))) contained inside C(X(Γ Galois )). Conversely, given such a field extension, the subgroup of PSL(2, Z) that leaves all its elements invariant contains Γ Galois , and in particular it is a congruence subgroup.
To summarize, we have constructed a bijection between the subgroups of G, the field extensions between k and k(Z 1 , . . . , Z n ), and the congruence subgroups that contain Γ Galois , as illustrated in figure 2. In order to make the discussion more concrete, we work out an example in full detail.

The su(2) N = 1 * theory
The simplest illustration of the general formalism above is provided by the N = 1 * theory with gauge algebra su(2). It has three inequivalent vacua on R 4 [11,14]. The vacua can be described in terms of the extremal values of an elliptic integrable potential. The corresponding extremal values of the superpotential are 8 [11,12] where the parameter q = e 2πiτ is the exponential of the complexified coupling τ of the theory. The first value W 1 corresponds semi-classically to a Higgs vacuum obtained by

JHEP05(2017)042
giving a vacuum expectation value to the adjoint scalars while the two values W 2,3 correspond to confining vacua of an unbroken su(2) pure N = 1 theory. We then compute the characteristic polynomial: The discriminant of this degree three polynomial is is the modular discriminant, which has no zero on H. We are then in the situation where D(τ ) has no non-trivial zero, and we can use the tools of section 2.1.4. Using the well-known transformation of the Eisenstein series E 2 under τ → −1/τ , or physical expectations combined with consistency, one can derive the duality diagram of figure 3, on which we read c 2 = 1, c 3 = 0, ρ = 2 + 1, c ∞ = 2, and then g = 0. As explained in footnote 5, we assume that Γ roots is a congruence subgroup, which allows us to identify it as Γ roots = Γ 0 (2), (2.19) and then using the set of generators Γ 0 (2) = T, ST 2 S , one checks that it leaves W 1 invariant. The other roots W 2 and W 3 are left invariant under the two conjugates of Γ 0 (2), as can be read from the diagram: . One can check that this provides a set of coset representatives The three isomorphic stabilizers Γ 0 (2) i = α −1 i Γ 0 (2)α i are the groups of matrices that satisfy, respectively, c ≡ 0, b ≡ 0 and a − b + c − d ≡ 0 modulo 2. Using these characterizations, it is straightforward to prove that 9 which gives an alternative proof of the fact that Γ(2) = T 2 , ST 2 S is the stabilizer of all three superpotentials [20]. The space of modular forms of weight two for Γ(2) is two dimensional, and a basis is given by any family of two independent elements constructed from the W 1,2,3 , for instance (W 1 , W 2 − W 3 ). In fact, these two elements are also generators of the full ring of modular forms M(Γ(2)). 10 9 A matrix in the intersection has b ≡ c ≡ a − d ≡ 0, and ad ≡ 1, hence a ≡ d ≡ 1 and it is in Γ(2). The converse is obvious. 10 One way to prove this is the following. According to example 1.7 in [25], the full field of modular forms is generated by the modular forms of weight up to 6. The space M4(Γ(2)) of modular forms of weight four has dimension three and M6(Γ(2)) has dimension four, and we can check that these two spaces are generated as rings by W1 and W2 − W3.
JHEP05(2017)042 1 2 3 Figure 3. The duality group action on the three vacua of the su(2) N = 1 * theory. The action of T on the complexified coupling is indicated in green, the action of S in red. We now study the characteristic polynomial from the perspective of Galois theory. As by the general considerations of section 2.1, the polynomial (2.17) has coefficients in the graded ring m of modular forms. The polynomialP This polynomial is irreducible, and this gives degree three field extensions k[Z i ] for i = 1, 2, 3. Adding another root to one of the fields k[Z i ], one obtains immediately the full extension k[Z 1 , Z 2 , Z 3 ] because Z 1 + Z 2 + Z 3 = 0, and this extension has degree lower or equal to two as a consequence of But the degree can not be one, since Z 2 has fractional powers of q in its expansion, and hence is not in k[Z 1 ]. So the degree is exactly two.
As a result of the Galois correspondence, there is a bijection between the diagram of ring extensions by polynomials of the roots of (2.17) and the subgroups of the Galois group G su (2) , which is itself a subgroup of the group of permutations of these roots. The computations of the previous paragraph show that |G su(2) | ≥ 2 · 3, which implies (2.24) We then obtain immediately the diagram of subgroups, see figure 4. In this first example then, the Galois group is equal to the full permutation group of the roots. Moreover, the Galois group coincides with the duality group action on the massive vacua. According to the Galois correspondence, we observe that there should also be a degree two extension of k given by the functions that are invariant under the permutation (123), but not under the exchange of only two roots. An example of a function leading to such an extension is which indeed is of order two. The function √ j − 1728 is sent to − √ j − 1728 by the transformations S and T , so its stabilizer is the group Γ 2 = T 2 , ST of elements of PSL(2, Z) of even length, when considered as words with letters S, T . This allows to complete the diagram of field extensions, see figure 5. In turn, we have computed the stabilizer group of all these field extensions, which gives birth to a third diagram where the vertexes are certain congruence subgroups, as represented in figure 6. This completes the explicit Galois correspondence of figure 2 in the su(2) case.

Applications
In this subsection, we pause to consider a few applications of the constructions we presented. In section 3, we provide further examples.

Tensor products
We have introduced a characteristic polynomial of degree n whose roots are the values of W in the n vacua of the theory T . This polynomial can be interpreted as living in the tensor product of theories T ⊗n . We are thus lead to explore the tensor products of the theory T with itself. Some special diagonal sectors of this extended theory (with a different choice of vacuum for each factor) have a reduced set of vacuum expectation values for the superpotential, that correspond to non-trivial subgroups of the Galois group. In other JHEP05(2017)042 words, the Galois correspondence tells us what are the sectors within the tensor product that have an enhanced modular invariance. This provides an incarnation of the Galois correspondence in tensor product theories with a particular choice of boundary conditions in each factor theory.

On the chiral ring
In this subsection, we consider a few properties of the chiral ring. Firstly, we take the perspective that we give two of the three adjoint chiral multiplets a larger mass than the third. After having integrated out those two chiral multiplets, the effective superpotential can be expressed in term of the third one, which we call Φ, as The chiral ring is then generated by the operators tr Φ k , tr Φ k W α and tr Φ k W α W α where W α is the vector multiplet superfield. We focus on the bosonic sector. In the su(N ) theory, there are N operators tr Φ k and N operators tr Φ k W α W α which satisfy quantum chiral ring relations. Let us study the vacuum expectation values of tr Φ k first. There are several possible ways to define condensates tr Φ k in the N = 1 * theory. One of them is to use the Dijkgraaf-Vafa approach and solve a matrix model [26] and another is to use the exact integrable system and compute traces of powers of the Lax matrices [27]. However, mixing ambiguities [28] will makes these different results for tr Φ k differ by linear combinations in the operators tr Φ l for l < k as well as vacuum independent functions of the coupling τ . This ambiguity can be solved when there are no non-trivial zeros by choosing the combination that behaves as a modular form under the modular transformations [29]. In this case, this proves that the sector of the chiral ring generated by the tr Φ k is included in the space of forms M(Γ Galois ).

JHEP05(2017)042
The full chiral ring also contains quasi-modular forms, as for instance tr W α W α = − 1 2πi ∂ τ tr Φ 2 . As we know the value of the exact effective superpotential W in a vacuum, we can deduce the value of the gaugino condensate because it appears in the tree-level superpotential multiplied by τ . We then have S = tr W α W α = − 1 2πi ∂ τ W . But we also know from our general discussion that there is a polynomial equation P ( W , E 4 , E 6 ) = 0, where P is a polynomial with integer coefficients. We can differentiate with respect to τ : This equation shows that S belongs to the field k( In fact, we can say more: the derivative of any modular form in M(Γ) belongs to the ring of quasi-modular forms M quasi (Γ) that is obtained by simply adding E 2 , As a consequence, although it is not obvious on the expression (2.28), the gaugino condensate can be expressed as a linear combination of E 2 2 , E 2 W and W 2 , and the explicit combination is easily deduced in a given example from (2.28). For instance, in the su(2) case, the polynomial (2.17) and the division in the corresponding ideal give It would be most interesting to complete the calculation of the vacuum expectation values of the chiral ring operators, including the vacuum expectation values of all three chiral fields Φ i .

Domain wall kinematics in the quantum theory
There are also very direct uses of the superpotential values. To illustrate this aspect, we analyze the kinematical stability of BPS domain walls of the su(2) N = 1 * theory in the quantum theory, at any value of the complexified gauge coupling τ . We will combine our results with those obtained in the classical theory [30], and the physics of confining gauge theories to propose a global picture of the existence of domain walls in the theory. Firstly, we recall that half BPS domain walls in N = 1 theories in four dimensions preserve two supercharges. The corresponding central charge is a complexified tension T , which relates to the tension M through the formula [31] M ≥ |T | ,

JHEP05(2017)042
which is automatically stable. The wall is marginally stable if the phases of the central charges are equal. This will typically happen in a space of real co-dimension one in the space of couplings. A generic expectation would be then that BPS domain walls are stable or unstable on one or another side of such a wall of marginal stability [31,32].
Let's reconsider the example of the su(2) theory with superpotential values W 1,2,3 as in equation (2.17). We note that for τ purely imaginary, as well as in the semi-classical limit τ → i∞, the critical values are real. We have available an existence analysis for classical domain walls [30]. In this limit, one has a full handle on the kinetic term, and therefore on the first order flow equation for a BPS domain wall [31]. One can then explicitly determine whether the BPS wall exists. In [30] it was found that a domain wall exists between two massive vacua if the superpotential on the left (say) is larger than the one on the right. Thus, for su(2) for instance, we have a supersymmetric wall interpolating between the Higgs vacuum and the confining vacua. Indeed, the classical limits of the above superpotentials are (W 1 , W 2 , W 3 ) clas = (−1, −1, 2) respectively. The first two correspond to confining vacua and the last to the Higgs vacuum. The first two are degenerate in the classical regime. Thus, the classical limit suggests the existence of supersymmetric domain walls between vacua 1 and 3 and between 2 and 3. In the classical limit, the tension of the domain wall between the (quantum mechanically) confining vacua becomes zero. At finite and small coupling, the expectation from the pure N = 1 theory is that the domain wall between the two confining vacua exists and is BPS. At finite and small coupling, these facts provide us with a full picture of the domain walls. We can ask whether this picture is accurate in the deep quantum regime. Most importantly, we can also scan for walls of marginal stability, where the three roots of the characteristic polynomial are aligned. These may signal that BPS walls that exist near the classical regime decay at strong coupling. The sum of the roots of the characteristic polynomial always vanishes. If they are aligned, then there exists a phase θ such that the e −iθ W j are all real. Those are then the three real roots of W 3 − 3e 2iθ E 4 W − 2e 3iθ E 6 . Hence the coefficients of this polynomial must be real, and the discriminant must be positive. In particular (e 2iθ E 4 ) 3 /(e 3iθ E 6 ) 2 = E 3 4 /E 2 6 is real. This is true on the lines τ 1 = 0 and τ 1 = 1/2. However on the line τ 1 = 1/2, the discriminant η(τ ) 24 is negative. Therefore the three roots are aligned if and only if τ 1 = 0 (in the fundamental domain). This potentially is a wall of marginal stability. In any event, since the classical regime near τ 2 = i∞, at non-zero θ angle extends towards strong coupling without crossing the only potential wall of marginal stability, we conclude that the existence of BPS domain walls in the deep quantum regime is fixed by the existence analysis of BPS domain walls in the classical regime at non-zero θ-angle. This conclusion illustrates that using our knowledge of the exact values of the superpotential, we can infer properties of the deep quantum regime of the N = 1 * theory.

JHEP05(2017)042 3 The su(N ) theory
In this section, we generalize to the su(N ) theory the structures covered in the previous section in the case of su(2). We will see that the Galois group is in general smaller than the full permutation group of vacua. The order N lattices of Z N × Z N play a classifying role [14], and we start by collecting useful properties of these lattices. These properties imply that all su(N ) N = 1 * theories belong to the class of theories that still display reduced modular invariance in any given vacuum. See also [28]. This can be thought off as a consequence of the toroidal geometries governing both the N = 2 and the N = 1 mass deformed theories [14]. We detail the reduced modular invariance in low-rank examples and highlight some salient features.

Order N lattices of Z N × Z N and dualities
An order N lattice of the group Z N × Z N is an order N subgroup of Z N × Z N . There are σ 1 (N ) = d|N d such lattices. We use the following parametrization: where p is a divisor of N , the integer q is defined by pq = N and k ∈ Z p . Moreover, we define the level of the lattice L N,p,k to be d = gcd(p, k, N/p). Note that we always have d 2 |N . The group SL(2, Z) acts on the set of lattices by left multiplication on the lattice points.
The motivation to study the modular transformation properties of these lattices is twofold. On the one hand, the lattices label the possible choices of line operators in a given theory [19], and hence label the theories with su(N ) gauge algebra. More details on this aspect can be found in appendix B.1.
More important to us here is the fact that the order N lattices of Z N × Z N are in bijection with the massive vacua of the N = 1 * su(N ) theory on R 4 [14]. The superpotential in the vacuum corresponding to the lattice L is given by [11,12] where we identify a point A = (x, y) ∈ L with the complex number A = x + τ y. Using a re-parametrization of the sum, one obtains Two questions are particularly relevant for our study of the permutation of the massive vacua: • Which lattices can be related by a duality transformation?
• What are the duality transformations that leave a given lattice (respectively, the set of all lattices) invariant?

JHEP05(2017)042
The answer to the above questions is given by the three following properties of the lattices (3.1). The proofs of these properties are relegated to appendix B.2. Note that it is clear that Γ(N ) leaves all the lattices invariant (indeed, any matrix in Γ(N ) acts as the identity in Z 2 N by definition). We give one example. For N = 4, property 1 tells us that we have three cycles of size one and one cycle of size four under T . As a result of property 2, these cycles organize themselves into two multiplets, which by property 3 have respectively size one and six.

The characteristic polynomial and the Galois group
The structure of the characteristic polynomial is deduced from the structure of the duality diagram of the vacua. According to property 2 in subsection 3.1, the number of connected components of this graph of dualities is exactly equal to the number of squares dividing N , and from property 3 the number of vertexes in each component is equal to the index of Γ 0 (N/d 2 ). This gives the following decomposition of the number of vacua 11 1 + 1 p . Each multiplet is characterized by its own permutation group, which is the Galois group of the associated factor in the polynomial. This is again reminiscent of the characterization of phases of N = 1 theories through the Galois group associated to the chiral ring relations, advocated in [6]. In general the full Galois group is a subgroup of the product of the individual Galois groups. The physics in these multiplets (e.g. the spectrum of massive excitations) will be different, while in a given multiplet, it will be the same by duality. 12 11 A dual way of saying the same thing is where P (N ) is the set of primes p whose square divides N . 12 Similar remarks apply to the space of theories discussed in appendix B.1.

JHEP05(2017)042
The identification between the roots of the polynomial and the order N subgroups of Z N × Z N , on which there is a well-defined action of the modular group, indicates that √ D has no branch cut. Accordingly, we know that the field extension is a subfield of the field of modular functions of the modular curve of Γ(N ) [20]. In the next paragraph, we examine in detail the relation between these two fields, and use the Galois correspondence to learn about the structure of the Galois group.
To compute the Galois group, one follows the same steps as for the su(2) example in section 2.2. We compute the intersection of the stabilizers of all the W i . Let (α j ) be a family of coset representatives of Γ 0 (N ) in SL(2, Z). We clearly have the inclusion inspired from (2.22) The inclusion can be strict. To see this, we first prove that if α i equals the matrix then we have the coset If N ≥ 2, we always have at least the three coset representatives 1, S, ST −1 in the list (α j ), as can be read on the duality diagram. This shows that the left-hand side of (3.6) is included in but the general expression (3.8) shows that this group is a subgroup of all the α −1 j Γ 0 (N )α j . Therefore we have proven that  This formula simplifies if N ≥ 3 is prime: in this case, Z N is a field where in addition 1 = −1, so s(N ) = 2, and we obtain Although it is difficult to characterize precisely the Galois group in general, it is clear that it is a group much smaller than S #vacua . For instance we have just seen that for the su(N ) theory with N ≥ 3 prime, the ratio of orders of S #vacua and G is 2(N − 2)!. For a given value of N , the Galois group can be computed explicitly as the group generated by the two transformations S and T acting on the order N subgroups of Z N × Z N as described in subsection 3.1.

The su(3) example
Let us apply the general results to the su(3) example. In this case, the result (3.12) gives immediately the congruence subgroup Γ Galois = Γ(3), the cardinality of the Galois group, |G su(3) | = 12 = 1 2 |S 4 |, and therefore the Galois group itself is the alternating group A 4 of even permutations. This is confirmed by an explicit computation based on order 3 sublattices of Z 2 , which gives the duality diagram of figure 7, that can also be interpreted as the coset graph of Γ 0 (3). Physically these are four isolated extrema that correspond to one Higgs vacuum and three confining vacua. The permutations T = (234) and S = (12)(34) indeed generate A 4 .
The subgroup structure of A 4 is presented on the left of figure 8. The subgroups Z 2 are generated by permutations of the form (ab)(cd), and we have added a subscript 1, 2, 3 to represent the three subgroups of this kind. Similarly, there are four subgroups isomorphic to Z 3 corresponding to four independent three-cycles. Finally, we have the group Z 2 2 = {1, (12)(34), (13)(24), (14)(23)}. Using the extremal values of the superpotential, we can compute the characteristic polynomial for the su(3) quadruplet As a check, the discriminant D = −2 24 3 9 ∆ 2 (3.16) is the square of a modular form, which confirms that √ D has no branch cut. The Galois correspondence relates the field extensions generated by polynomials of the roots Z i to congruence subgroups that contain Γ Galois (3) = Γ(3). Those are represented on the right of figure 8, using the notations of [22]. The corresponding fields of modular functions are then engendered by polynomials of the roots left invariant by the associated subgroup of A 4 . For instance, C(X(Γ 3 )) is generated by polynomials left invariant by

JHEP05(2017)042
The extension of k generated by this function is k(j 1/3 ), and the fact that is has degree three guarantees that it is the right extension. Similarly, is associated to the group Z 2 = {1, (12)(34)} and to one of the three congruence subgroups in the isomorphism class 3C 0 .

The su(4) example
The su(4) example is the first one where we have two disjoint multiplets, according to property 2 of section 3.1. The cardinality of the Galois group is given by (3.12), |G su(4) | = 24 = [PSL(2, Z) : Γ(4)], and we have Γ Galois (4) = Γ(4). In contrast with the situation encountered in the su(3) example, the cardinality is not sufficient to determine the Galois group, because there are five conjugacy classes of cardinal 24 groups in S 6 . However, using our correspondence with congruence subgroups, we can extract more information about the subgroups of G su(4) . In particular, using the facts collected in [22], one can compute the diagram of congruence subgroups between PSL(2, Z) and Γ(4). There are 30 subgroups that can be organized into 11 classes up to conjugation. Moreover, we know from JHEP05(2017)042 subsection 3.1 that all the six vacua are permuted by the Galois group. These properties uniquely identify the Galois group, This result can be confirmed using the known duality permutations on massive vacua. Let us show that the Galois correspondence leads to a complete understanding of the behavior of the vacua under dualities in figure 9. The diagram in figure 9 represents the subgroup structure of the Galois group S 4 , the congruence groups contained between Γ Galois = Γ(4)/{±1} and PSL(2, Z), and the associated function field extensions.
For the singlet, the duality group is trivial. The characteristic polynomial P su(4) (W ) defined in terms of the seven extremal values of the superpotential is equal to The sextuplet corresponds to the irreducible factor P su(4) (W )/W .
Our method generalizes to higher rank gauge theories, although the computation complexity grows rapidly. As an illustration, for the smallest N such that Γ Galois (N ) = Γ(N ), namely N = 8, we obtain one phase characterized by the order 96 Galois group (3.21)

The so(8) theory
In the so(8) N = 1 * theory, more of the power of our framework will come to bare. We will see that in this case, the square root √ D of the discriminant of the characteristic polynomial has branch cuts. Relatedly, the field extension lies beyond the theory of modular forms for congruent subgroups. The characteristic polynomial will provide us with a full analytic understanding of the vector valued modular objects described numerically in [13].
In [13], we determined the extrema of the so(8) exact effective superpotential. We found twenty different extremal values that split into multiplets of one, three, four and twelve extrema -this last multiplet is called the duodecuplet. The smaller multiplets can be discussed in analogy with previous examples -the monodromy group is generated by the duality group. The duodecuplet however exhibits new features. The extrema in the duodecuplet were determined numerically in [13], and we computed a Fourier expansion for the value of the superpotential at small absolute value of q (amongst various other properties). We use this Fourier expansion to determine the characteristic polynomial with coefficients in the space of modular forms of PSL(2, Z).
The characteristic polynomial P duod (W ) has degree twelve, and the coefficient of W k therefore has weight 24 − 2k. The dimension of the relevant spaces of modular forms, obtained from (2.6), are  3 Figure 9. Diagram of subgroups of S 4 , and equivalently of congruence subgroups that contain Γ(4). The symbols are defined in the table below, where in each class, we also indicate the number of conjugates. We use the nomenclature of [22] for congruence subgroups.

JHEP05(2017)042
In [13], we determined more than enough 14 terms in the Fourier q-expansion to identify all these coefficients. The resulting polynomial is For this high degree polynomial, we will perform a monodromy analysis only, without attempting to characterize the field extensions or Galois group entirely. We compute the polynomialP duod defined in (2.7): . Then the discriminant of (4.3) is  This analytic result matches the prediction made in [13]. Let us consider more closely the pair W i (τ ), W j (τ ) of roots that coincide at j(τ ) = j 0 . Around the value j 0 we have the behavior Thus when j turns once around j 0 , the superpotential extrema W i and W j are exchanged, realizing a monodromy of order two in the space of couplings. The so(8) discriminant (4.4) also has a degree three polynomial factor that can vanish. It has one real root and two complex conjugate roots. More precisely, its roots are These are order two roots of (4.4), meaning that exactly two superpotentials become equal when j(τ ) = j k . We can write explicit formulas for τ in the fundamental domain that solve (4.7). Numerical estimations of these exact values are: Around these singular values of τ , the pair of superpotentials that coincide satisfies W i (q)− W j (q) ∼ (j − j k ), and there is no monodromy around these points. This shows that the numerical analysis performed in [13] was indeed exhaustive in identifying points of monodromy. We can then describe the spaceC in which the complexified gauge coupling lives as an orbifold with the topology of a disk and three elliptic points of orders two, two and three, as pictured in figure 10. Accordingly the fundamental group is the free product π 1 (C) = Z 2 * Z 2 * Z 3 with generators M , S and U , which contains a PSL(2, Z) = Z 2 * Z 3 group as a subgroup.
The cardinality of the Galois group G = σ(M ),σ(S),σ(U ) generated by these permutations is |G| = 82944, which uniquely determines the group to be where denotes the regular wreath product. We can also introduce the transformation T which refers to the shift of the θ-angle at weak coupling, or equivalently the monodromy around the point τ = i∞. This transformation should be identified with the product M SU , as represented in figure 10, so that σ(T ) =σ(M SU ) = (2, 3, 4, 5, 6, 7) (8,9) (11,12). It is clear from the figure, and it can be explicitly checked, that those S and T dualities do not satisfy the defining relation of the modular group, (ST ) 3 = 1, as discussed in [13]. This explains why the appearance of the additional monodromy M spoils irremediably all modular properties in a given vacuum of the duodecuplet with respect to these S and T actions, in contrast with the analysis of section 3 where there was a residual modular covariance. As we mentioned previously, the modular group does appear as a subgroup of π 1 (C), although with a different interpretation regarding the complexified coupling constant. For instance, defining T = M T = SU we have (ST ) 3 = U 3 = 1. This opens the possibility that the actions of the permutations S and T be trivial for some congruence subgroup. If this is the case, there exists an integer N such that all the generators of Γ(N ) are trivial in this representation. Looking at small values of N , we observe that this situation indeed occurs for N = 8 (and not below), as can be checked by expressing the 33 generators of Γ(8) using the Farey algorithm. It should be kept in mind though that it is the T -transformation that determines the properties of the q-expansion at τ = i∞.
Conclusion. We understand the modular covariant vectors as roots of a characteristic polynomial with coefficients that are modular forms. This provides an analytic understanding of all the integers appearing in the Fourier decomposition of the extrema generated numerically in [13]. The superpotential values are modular algebraic, i.e. the superpotential values live in non-analytical extensions of the field of weight two modular forms. More generally, observables in duality covariant quantum field theory invoke non-analytic modular vectors that live in extensions of the graded ring of modular forms.
In summary, we have realized the two modular group breaking patterns previewed in our introduction. The next section will serve to illustrate that it is the full breaking pattern that is generic.

JHEP05(2017)042 5 Mass deformed N = 2 superconformal QCD
In this section, we focus on the su(N c ), N = 2 theory with N f = 2N c massive quarks. Again, we analyze the characteristic polynomial and the permutation group of its roots and its relation to the duality group. We concentrate on the case of two colors. The Seiberg-Witten analysis for this theory was performed in [33] for N c = 2, and in [34] for N c > 2. The integrable system associated to these theories is the XXX spin chain [35]. Moreover, this integrable system is equivalent to the Gaudin integrable system [36].
We break N = 2 supersymmetry to N = 1 by adding a mass term for the chiral multiplets to the Lagrangian. In other words, we add a quadratic superpotential W (Φ) = µ 2 Φ 2 for the adjoint chiral field Φ. A semi-classical analysis gives the number of massive vacua In the literature, there are few results on matching the semi-classical predictions with the results of analyzing the integrable system description of the quantum effective action.
In [37], the theory with N c = 2 was studied using the XXX spin chain prescription and the number of vacua and their semi-classical behavior was reproduced from the integrable system. 16 Our main interest is in the monodromies of the massive vacua that arise after breaking N = 2 to N = 1 by mass deformation, in the case of the gauge algebra su (2). We denote the four N = 2 masses of the fundamental chiral multiplets by m 1,2,3,4 . In this theory, there are generically six massive vacua. Two vacua arise from the confined dynamics in the su(2) low-energy theory when the gauge group is unbroken and Φ = 0, and the four other vacua are Higgs vacua, associated to the four expectation values, Φ ∝ m 1,2,3,4 diag(1, −1). We wish to describe the quantum effective superpotential that captures these six vacua, and the permutation of massive vacua under monodromy.

The Gaudin integrable system
In order to more easily capture the duality action on the N = 1 massive vacua, it is natural to start from the description of the N = 2 curves adapted to these dualities [38]. These curves in turn are more easily interpreted in terms of the Gaudin integrable system. (See also e.g. [39].) The Gaudin integrable system at hand is a four-punctured two-sphere S with an sl(2) valued Hitchin Higgs field Φ. Up to a conformal transformation, the punctures can be located at z 0 = 0, z 1 = 1, z λ = λ and z ∞ = ∞. The Seiberg-Witten curve Σ is a double cover of the sphere S with four branch points at the four punctures. The curve Σ is a torus
As before, we are interested in the map from the fundamental group of the space of couplings to the permutation group of the six massive vacua. Let us first describe the space of couplings. It can be parametrized by The group generated by those dualities is isomorphic to the permutation group S 3 , and it acts on C as indicated above. The parameter space is then the orbifold quotient The fundamental group includes generators of infinite order corresponding to looping the coupling around two of the special points λ ∈ {0, 1, ∞}, as well as generators of order two around the points fixed by a non-trivial element of S 3 .

The analysis of the integrable system extrema
The Gaudin integrable model has rank one. We can expect the superpotential to be determined in terms of the quadratic Hamiltonians of the Gaudin integrable system. Let's describe the Hamiltonians in some detail. We introduce the Gaudin integrable system through the Higgs field Φ of the Hitchin system

JHEP05(2017)042
where A c are sl(2) matrices, and the adjoint sl(2) action is gauged. We moreover impose the constraint: We further demand that these matrices lie on a particular orbit, Combining these constraints yields The model has five parameters, namely one that defines the geometry of the punctured curve (i.e the gauge coupling) and four (masses) that specify the double pole residues of the quadratic differential φ 2 [38] The quadratic Hamiltonians (which are residues of tr Φ 2 at the punctures) are, for c = 0, 1, λ, In appendix C.1, we introduce an explicit parametrization of the Gaudin integrable system, and compute the equations governing the six massive vacua and their superpotential values. We introduce a Lagrange parameter α for the constraint (5.7), and after some calculation (see appendix C.1) the extremization procedure reduces to solving a sixth degree polynomial in this variable, namely We can write down the Hamiltonians at the extrema as a function of α alone. For instance for H ≡ H 2,0 we find (5.16) The value of H in each vacuum is a function of λ and the masses m 0,1,λ,∞ that we call where the α i (λ, m 0,1,λ,∞ ) are the roots of the polynomial (5.15). We can define a characteristic polynomial The coefficients of this polynomial are invariant under any permutation acting on the index i, so they depend only on the coefficients of the polynomial (5.15) and can be computed without knowing the roots H i (λ, m 0,1,λ,∞ ). Details about this computation and the resulting polynomial P H are presented in appendix C.2. With this polynomial at hand, we can observe the action of various dualities. Firstly, the fact that P H depends only on the function λ(τ ) and not directly on τ shows that the polynomial P H is invariant under Γ(2). Secondly, the polynomial P H is invariant under transformations such as τ → τ + 1 or τ → −1/τ when combined with the appropriate permutation of the masses. More precisely, all dualities are obtained from the two identities: This shows that knowing a root of the polynomial P (H; λ, m 0,1,λ,∞ ) is equivalent to knowing the root of the polynomials obtained after duality as illustrated in figure 11. A vacuum is therefore characterized by the six values represented in figure 11, or equivalently by the six symmetric functions O k of these values. The sum O 1 evaluates to −3M 2 and is independent of λ and H. But the other observables O k for k = 2, 3, 4, 5, 6 are non-trivial and characterize the vacua entirely. We have for instance and for generic masses, this operator is generic in the sense of section 1. By construction, the operators O k are defined on the spaceC, and the dualities can be reformulated in terms of the Galois theory associated to their characteristic polynomials P O k , which we can compute explicitly from the polynomial P H (5.18) -see appendix C.2 for the result.

Dualities and monodromies
Armed with those polynomials, we can read how the six massive vacua transform along loops inC, and construct the mapσ. The fundamental group π 1 (C) contains four types of elements: 1. elements associated to the monodromies around the excised points λ = 0, 1, ∞, 2. elements of order two, associated to the three transpositions in S 3 , 3. elements of order three associated to the two three-cycles of S 3 , 4. cycles around additional points of monodromy, if any.
Since the three-cycles are the products of two transpositions, it is enough to describe the image byσ of the elements of type 1 and type 2. The relevant data concerning the corresponding fixed points is summarized in table 2. Using the global symmetry of the problem, we note that it is sufficient to focus on one transposition, and to study the

JHEP05(2017)042
Transposition Equation Orbifold fixed point Excised fixed point permutation of the vacua around the two fixed points in the λ space -one is an orbifold point, the other is one of the excised points, as summarized in the table.
We focus on the third line of the table. Let us consider first the excised fixed point, namely λ = 0. The fact that this point is not in C is reflected in the fact that the polynomials P O 2 is singular in the limit λ → 0. However, we can define the rescaled polynomialP O 2 (O 2 ; λ, m 0,1,λ,∞ ) = λ 12 P O 2 (λ −2 O 2 ; λ, m 0,1,λ,∞ ) which is regular in this limit. Plugging in λ = 0, the polynomialP O 2 (O 2 ; 0, m 0,1,λ,∞ ) factorizes and the roots can be found analytically. Perturbing those roots, we obtain a small λ expansion for the values of O 2 in the six vacua after scaling back to the original polynomial: We can deduce from these expressions that the vacua labeled by 3 and 4 are exchanged under λ → λ λ−1 , m 0 ↔ m λ while the others are left invariant. We now consider the order two permutation around the orbifold point λ = 2. In order to be at a fixed point of the orbifold action, we also need to impose m 0 = m λ . Plugging in those values in the characteristic polynomials for the invariant operators, we find that they factorize as

JHEP05(2017)042
where Q k is a degree three polynomial, whose roots are distinct for generic masses. As a consequence, the image by the mapσ of this orbifold cycle is an element of S 2 × S 2 × S 2 . One can show, using either numerical computations or exact perturbation theory, that the element is a product of three transpositions. Finally, we turn to possible additional points of monodromy. Let us first consider a simple and interesting situation in which M = 0 and m 0 = m 1 = m λ ≡ m. We then find the discriminant We used the relation between the λ function and the j invariant, Because we concentrated on the mass configuration m 0 = m 1 = m λ , the discriminant (5.23) vanishes at the elliptic points and diverges at the cusps, see table 1. The discriminant also has additional zeros. They correspond to a complexified coupling constant τ that satisfies j(τ ) = −13824. 17 Let us concentrate on the additional root Plugging this value into the polynomial P O 2 , we find a double root O 2 = 27m 4 , and we can then compute the evolution of these two roots for λ = λ M perturbatively, The non-zero coefficient in front of (λ − λ M ) 3/2 proves that the two vacua are exchanged when λ circles once around the additional point of monodromy λ M . In this very symmetric configuration we have thus been able to demonstrate the existence of additional points of monodromy. Because of their topological character, these points must survive when going away from this symmetric configuration. We deduce that the phenomenon of additional monodromies is generic. This conclusion is confirmed by numerical computations. As a final remark, let us note that we can also connect the quantum behavior of massive vacua to our semi-classical intuition. The monodromy around the point λ = 0 can be interpreted as T -duality. The expansions (5.21) prove that two vacua admit an expansion in λ 1/2 , and can be identified with the two confining vacua, while the four other have an expansion in integer powers of λ and are the Higgs vacua.

JHEP05(2017)042
Conclusions. We conclude that the SU(2) N f = 4 theory with N = 1 supersymmetric mass deformation has a Galois group that includes monodromies that do not descend from N = 2 dualities, and that the superpotential expectation values fully break the duality group. While the duality covariance of the N = 2 theory governs the coefficients of the characteristic polynomials, the choice of massive N = 1 vacuum breaks duality. After mass deformation, it is the Galois permutation group that classifies quantum vacua connected by interpolation in the coupling space.

Closing section
The vacuum and chiral ring structure of N = 1 theories is a rich subject. The mere enumeration of the massive vacua gives rise to intriguingly rich counting problems. In this paper, we determined the permutation of massive vacua under completing a loop in the space of couplings. This quest lead us into the Galois theory of field extensions. In the case of the N = 1 theories that inherit duality covariance properties from their N = 2 parents, we argued that the Galois group takes over the role of the duality group in classifying multiplets of massive vacua.
It is clear that many open problems remain. It would be interesting to promote our results on the permutations of vacua into a study of the full Berry connection associated to N = 1 vacuum states. Tackling the problem of determining the full chiral ring vacuum expectation values in some low rank examples with duality covariance, in the spirit of [6,7], should be worthwhile. An efficient derivation of the characteristic polynomials from scratch would also be most welcome. In short, if we promote our generic grasp of the physics of N = 1 theories to a much more detailed understanding of an ever larger class of theories, we are bound to unearth more beautiful treasures.

A Congruence subgroups, automorphic forms and Galois theory
In this appendix, we first collect useful facts about congruence subgroups and the associated fields of functions, which are the basic ingredients of the Galois correspondence. We also explain how these fields are related to the graded ring of modular forms, using the encompassing concept of automorphic form.

A.2 Galois correspondence
Now that we have described the classical congruence subgroup and their inclusions, we recall how to attach a field to each of them and describe those fields explicitly. All of this is summarized in figure 13. From any congruence subgroup Γ we can construct a compact Riemann surface, called the modular curve X(Γ), which is a compactification [23,24] of Γ\H. We denote by C(X(Γ)) the field of meromorphic functions on this curve. If the genus of X(Γ) is zero, then the field can be generated by a single function (sometimes called the Hauptmodul), and otherwise more generators are needed. 18 Let us describe these fields for the classical congruence subgroups introduced in the previous subsection. For (a, b) ∈ Z 2 N − {(0, 0)}, we define the functions We then have [23] C(X(Γ 0 (N ))) = C(j, j N ) (A.8) The fields of meromorphic functions on the modular curves X(Γ) are fairly well understood.  Note that f ∈ A k (Γ) is well defined on X(Γ) when k = 0, but not when k = 0 unless f = 0. The fundamental property is Thus knowing A 0 (Γ) = C(X(Γ)) and a non-trivial element of A k (Γ) gives a full description of A k (Γ). We recall that if k ≥ 0 is even, then The modular forms M k (Γ) are those automorphic forms that are holomorphic on H and at the cusps. Applying the Riemann-Roch theorem, one can deduce that this regularity condition restricts A k (Γ) to a finite-dimensional subspace whose dimension is given by the formula quoted in (2.13).

B Properties of N = 4 su(N ) theories
We collect in this appendix two related analyses. The first is an analysis of the space of N = 4 super Yang-Mills theories with su(N ) gauge algebra. The second part contains proofs of properties of lattices.

B.1 The N = 4 theories with su(N ) gauge algebra
The authors of [19] have shown that the number of different N = 4 theories with gauge algebra su(N ) is given by σ 1 (N ), since we have to make a choice of center Z d ∈ Z N of the gauge group, and one among d possible tilts in the spectrum of dyonic line operators. The

JHEP05(2017)042
structure of the set of su(N ) N = 4 (and N = 1 * ) theories is therefore in bijection with the lattices (3.1), which are in this context interpreted as the electric and magnetic charges of line operators of the theory. The space of parameters for a theory of level d is Γ 0 (N/d 2 )\H. Indeed, a given theory, characterized by a lattice L N,p,k , is left invariant under a group of the form α −1 Γ 0 (N/d 2 )α, which is isomorphic to Γ 0 (N/d 2 ). For instance, the SU(N ) theory is associated with the lattice L N,1,0 which is left invariant by Γ 0 (N ). 19 If N is square-free, then all lattices have level one, and we recover the results of [19].
Note however that for the local physics we describe in the rest of the paper, the global aspects we discussed in this appendix will play second fiddle, and we may then simply refer to PSL(2, Z) as the duality group.
B.2 Proofs of the properties of section 3.1 We prove the three properties stated in section 3.1 that are useful in appendix B.1 as well. We keep the convention that when p is a divisor of N , we set q = N p .
1. For a divisor p of N , consider the p lattices L N,p,k , with k ∈ Z p . The action of T on this set of lattices is k → k + q, so the size of an orbit is the smallest positive solution of xq ≡ 0 modulo p. This solution satisfies xq = lcm (p, q), so the orbit has length p/gcd (p, q). Since all orbits in Z p have the same length, we conclude there are gcd (p, q) of them.
2. We prove the two implications separately.
• Firstly, let us prove that the level is preserved by any duality operation. We remark that the level of a lattice is equal to the greatest common divisor of the coordinates of all the points in the lattice. Indeed, since d divides p, k and q in (3.1), it divides all the coordinates, and reciprocally a divisor of all the coordinates will divide the coordinates of the points (p, 0) and (k, q). Now let L N,p,k be a lattice of level d. Left multiplication by a matrix with integer coefficients can not decrease the level. If the matrix is in SL(2, Z), the operation is invertible, hence the level is preserved.
• Now we prove that conversely, if two lattices have the same level, they are related by a duality. Without loss of generality, we can focus on lattices of level 1, dividing if necessary by the level of the initial lattice. Let us then consider L N,p,k with gcd (p, q, k) = 1. Under this assumption, there exists an integer 20 l such that gcd (p, ql + k) = 1. This means that T l L N,p,k = L N,p,k with gcd(p, k ) = 1. 19 The associated lattice LN,1,0 contains points of the form (r, 0) for r ∈ ZN , and therefore acting with a b c d ∈ Γ0(N ) gives (ar, cr) = (r , 0) with r ∈ ZN since necessarily gcd(a, N ) = 1. The proof of the statement given in [19] is based on the incorrect assumption that the group Γ0(N ) is generated by T and ST N S. The statement, however, is correct. 20 One such integer l can be constructed explicitly along the lines of the proof of Lemma B.1 in [18], as the product of all prime numbers that divide p but that don't divide k nor q.

JHEP05(2017)042
Taking the S-dual of this lattice, one obtains ST l L N,p,k = L N,N,k for some integer k , and finally ST −k ST l L N,p,k = L N,1,0 . We have proven that any lattice of level 1 is related by a sequence of dualities to L N,1,0 , so any two such lattices are related by a duality sequence as well.
3. Again we focus on lattices of level 1. Let L N,p,k be such a lattice. According to the previous paragraph, it can be related by a chain of dualities to L N,1,0 . Let us denote α the corresponding SL(2, Z) matrix, so that L N,1,0 = αL N,p,k . The lattice L N,1,0 is left invariant by Γ 0 (N ), so L N,p,k is left invariant by α −1 Γ 0 (N )α.

C Appendices to section 5
We gather a number of technical results relevant to section 5.

C.1 The parametrization of the Gaudin model
In this subsection, we provide a few technical details of the analysis of the Gaudin integrable system extrema exploited in section 5.2. Firstly, we parameterize the sl(2) valued matrices A i (i = 0, 1, λ) using complex numbers a i , c i as follows The conditions T rA i = 0 and T rA 2 i = m 2 i are then automatically enforced. The constraint c A c = 0 fixes the matrix A ∞ . We exploit the gauge freedom of conjugating all three remaining matrices by SL(2, C) which is of dimension three. Firstly, we can use conjugation to diagonalize A λ , which amounts to setting c λ = a λ = 0. We can then still conjugate by a diagonal matrix and put A 1 in the form 2b + 1 2b(b + 1) −2 −2b − 1 , (C.2) where a 1 = 1 and c 1 = b. To simplify notation further, we also set a 0 = a, c 0 = c. We then define a functional W 0 to be extremized, with a Lagrange multiplier α that imposes the last constraint W 0 (a, b, c, α) = H 2,0 + α( The explicit expression reads λ m 2 W 0 = −2a c(−2bαλ + 2bλ − 2αλ + λ + 1) + b(b + 1)(α − 1)λ + c 2 (α − 1)λ +λ(4bα − 2b − 2cα + 2c + 4α − 1) − 1 .

C.2 Explicit polynomials
In section 5.2, in order to construct the polynomials P H and P O k we face the problem of finding a polynomial Q whose roots are the images by some function f of the roots of another polynomial P = i (X − α i ). If the function f is a ratio of polynomials in α, f (α) = fnum(α) f den (α) , this problem can be solved without knowing explicitly the roots α i . Indeed, we can consider Q(X) = i (f den (α)X − f num (α)) (C.5) whose coefficients are symmetric polynomials of the α i . Using a reduction algorithm for symmetric polynomials, these coefficients can be expressed in terms of the elementary symmetric functions in the α i , which in turn can be identified up to a sign to the coefficients of the polynomial P . We catalogue below explicit expressions for the polynomials that feature in section 5.2, obtained using this algorithm. Although we can compute the polynomials in full generality, for simplicity we provide them here only in the situation where the masses satisfy the constraint M = 0, or equivalently m 2 ∞ = m 2 0 + m 2 1 + m 2 λ . The characteristic polynomial for H is P H (H; λ, m 0,1,λ ) = H 6 +