Effective theories for 2+1 dimensional non-Abelian topological spin liquids

In this work we propose an effective low-energy theory for a large class of 2+1 dimensional non-Abelian topological spin liquids whose edge states are conformal degrees of freedom with central charges corresponding to the coset structure su(2)k ⊕ su(2)k′ /su(2)k+k′ . For particular values of k′ it furnishes the series for unitary minimal and superconformal models. These gapped phases were recently suggested to be obtained from an array of one-dimensional coupled quantum wires. In doing so we provide an explicit relationship between two distinct approaches: quantum wires and Chern-Simons bulk theory. We firstly make a direct connection between the interacting quantum wires and the corresponding conformal field theory at the edges, which turns out to be given in terms of chiral gauged WZW models. Relying on the bulk-edge correspondence we are able to construct the underlying non-Abelian Chern-Simons effective field theory.


Motivation
Quantum matter under strong coupling produces remarkable physical phenomena. An imprint of such a system is the fractionalization of quantum numbers like electric charge and statistics, making evident the nonperturbative nature of the problem. We need to go beyond traditional perturbative methods in order to fully understand their properties. In addition, they do not fit in the general symmetry-breaking scheme for classifying phases, since there is no local order parameter able to distinguish phases. Rather, they can be classified according to topological properties being generically designated as topological phases of matter.

JHEP10(2017)021
It is a great challenge to classify and organize in a common framework the description of the internal orders of topological phases. A major achievement in this direction was the perception of ubiquitous features shared for all these systems like the existence of gapless edge states, bulk anyonic quasi-particle excitations, topological degeneracy, etc [1]. Within the class of 2+1 dimensions gapped topological phases, the only gapless excitations reside at the boundary of the manifold. Then the low energy limit of the system should be described by a two dimensional conformal field theory (CFT). The observation by Witten [2] that current algebra in two dimensions is equivalent to a three dimensional Chern-Simons theory suggested a possibility to classify all rational CFT by a bulk Chern-Simons theory. In [3], this connection is made explicit by showing the equivalence of the Hilbert spaces of general Chern-Simons theories with suitable gauge groups with those of the Wess-Zumino-Witten (WZW) models and its gauged version. This characterization scheme for the CFT also provided a method for the description of the effective low-energy theory for the gapped topological phases in 2+1 dimensions in terms of the Chern-Simons topological field theory [1,[4][5][6][7][8].
Progress in the characterization of topological phases has also been done in terms of a distinct framework denominated quantum wires. In this approach the 2+1 dimensional phase is thought as a limit of a highly anisotropic system constituted of 1+1 dimensional wires arranged in a periodic way. This system describes a CFT in 1 + 1 dimensions characterized by a certain central charge proportional to the number of wires. By switching on electron-electron fine-tuned interactions of finite range, one is able to render a mass gap to the bulk electrons, consequently reducing the total central charge of the system. The only gapless excitations reside on the two extreme bundles of quantum wires. In addition to offer in a certain sense a more microscopic view of the topological phase, a great advantage of this construction is to have at our disposal all the machinery of bosonization of two dimensional quantum field theories. Fractional quantum Hall phases were successfully constructed in [9][10][11] and further generalization to other phases were presented in [12,13].
The main purpose of the present work is to make an explicit connection between the two mentioned approaches by proposing an effective bulk theory for the non-Abelian spin liquids constructed within the quantum wires scheme.

Main results
The work of ref. [13] gives a low-energy description of classes of non-Abelian topological spin liquids in terms of an array of quantum wires coupled through current-current interactions. Based on the bulk-edge correspondence [4,5] one could expect that the effective theory for this topological phase should be expressed in terms of a non-Abelian Chern-Simons theory, which is then seen as a bulk theory for the quantum wires system. In our analysis we have suggested how this connection can be made explicit. Namely, we started from the quantum wires and we have shown that its strong coupling limit is given in terms of a gauged WZW model at the edge, which in turn corresponds to a bulk non-Abelian Chern-Simons theory. In this process we argued in favor of the plausibility in trading the strong coupling limit of the interactions among neighboring wires by direct constraints on the currents. In the work of ref. [14] it is shown that such a set of constrained free fermions in 1 + 1 dimensions is a realization of a gauged WZW model, which implements the Sugawara construction (see,

JHEP10(2017)021
for example, ref. [15]) of the conformal field theories for a coset of simple groups known as GKO construction [16]. This relation paves the way for our identification of the strongly coupled quantum wires system with the gauged WZW model. Notwithstanding, this is not an arbitrary representation of the edge conformal field theory, but it follows directly from the physical setup of quantum wires. In ref. [3] one establishes a general method to implement the correspondence between a 1+1 dimensional conformal field theory and a 2+1 dimensional Chern-Simons topological field theory, first emphasized in [2]. This method is used in ref. [7] to construct an explicit realization of the non-Abelian topological phase for the Pfaffian fractional quantum Hall state [17] in terms of a bulk Chern-Simons theory with suitable gauge groups glued by appropriated boundary conditions. In the present work we implement this construction to describe the non-Abelian spin liquid topological phases with the central charge associated with the coset structure of Lie-algebras in terms of a bulk Chern-Simons theory. With this effective theory one can in principle explore important effects of the topological phase, like the braiding statistics of the non-Abelian anyons and the topological degeneracy of the ground state. We believe that our whole construction can be extended to other classes of topological phases with important phenomenological consequences. This work is organized as it follows. In section 2 we review certain aspects of the coupled quantum wires construction, which are useful in the remaining of the paper. Section 3 is devoted to the identification of the conformal field theory of the edge in terms of constrained fermions. In section 4 we discuss the equivalence between the constrained fermions theory and the gauged WZW theory, which is suitable for the connection with the bulk theory. In section 5 we construct the bulk effective theory and establish the connection with the edge theory by means of the bulk-edge correspondence. The paper is closed with a summary and additional remarks in section 6. We have included two appendices containing a couple of auxiliary calculations.

Quantum wires construction
In order to make the work reasonably self-contained we start by reviewing aspects of the quantum wires approach [13], which are relevant to our purposes. The key idea is to describe a topological phase in 2+1 dimensions from a set of coupled theories in 1+1 dimensions.
The starting point is a set of spinfull electrons propagating along one dimension in both right and left ways, as represented in figure 1. The corresponding Lagrangian is given in terms of free complex spinors ψ L,σ,I and ψ R,σ,I , The index I specify the wire on which the electrons are propagating. From the physical point of view, this index can be interpreted as a "discretized" dimension. The spin is JHEP10(2017)021  Figure 2. System of wires decomposed into bundles. The picture shows three bundles constituted of k + k ′ = 6 wires.
specified by the index σ = 1, 2. The interactions will allow for electrons to pass from one wire to another. The Lagrangian (2.1) is a free conformal field theory with total central charge which essentially counts the number of gapless degrees of freedom. The strategy is to introduce interactions between neighboring wires in order to reduce part of the central charge by giving a gap for the wires of the bulk while leaving gapless the wires at the ends. Thus the interaction effectively turns the system into a two-dimensional one, since it enables the electrons to pass from one wire (or a set of wires) to another. This is the physical mechanism responsible for the production of nontrivial topological phases from quantum wires. The symmetries preserved by the interactions determine the symmetries of the resulting topological phase. The Lagrangian (2.1) is time-reversal invariant, and it is also invariant In order to take advantage of the coset construction, we decompose the system of wires into N bundles of k + k ′ wires, such that the total number of wires is N = N (k + k ′ ), as illustrated in figure 2. In this case the wire location of each fermion will be specified according to ψ R/L,σ,I → ψ m R/L,σ,i , ψ m R/L,σ,i ′ , with m = 1, . . . , N running over the bundles JHEP10(2017)021 and i = 1, . . . , k and i ′ = 1, . . . , k ′ running over wires inside a specific bundle. The Lagrangian (2.1) is then written as This form enables us to consider the subgroup of U(2N ) for both right and left groups. Each one of the small groups U(2k) has an associated Lie algebra u(2k) 1 , which in turn can be decomposed as and a corresponding expression for k → k ′ . According to the Sugawara construction (see, for example, ref. [15]), the corresponding energy-momentum tensor is also decomposed into the sum of the parts (2.7) A quick check for this can be done by considering the central charge of both sides. For an u(2k) theory the central charge is 2k. For the right-hand side, the central charge is the sum The energy-momentum tensor of the u(2k) group is that of a free theory The energy-momentum tensors in the right-hand-side of (2.7) are given in terms of the underlying currents

JHEP10(2017)021
with the following currents: and In the above expressions we are omitting the bundle index m. Moreover, σ a /2 and T A are the generators of SU(2) and SU(k), respectively. The next step is to introduce interactions between wires inside a bundle in order to gap specific sectors of the theory. As shown in [13], by means of the computation of renormalization group beta functions, the following interactions render a gap for different sectors inside a bundle. The U(1) interaction corresponding to a generalized Umklapp process, gaps the U(1) charge sector of wires 1, . . . , k inside a bundle, just as in the case of Luttinger liquid [18]. Gapping the charge sector means that we are describing non-Abelian spin liquids, not quantum Hall states. The SU(2) current-current interaction, gaps the SU(2) sector for the wires 1, . . . , k for λ SU(2) > 0. The SU(k) current-current interaction, gaps the SU(k) sector for the wires 1, . . . , k for λ SU(k) > 0. In order to produce interesting non-Abelian topological phases, we choose to gap firstly the U(1) and SU(k) sectors. The remaining sector is gapless and supports a SU(2) × SU (2) current algebra, Thus the low energy theory is characterized by a central charge (2.20)

JHEP10(2017)021
Note that this is just a number N of copies of a theory with central charge equal to the term between brackets. This is so because so far we have considered only intra-bundle interactions. Thus it still does not constitute a two dimensional phase. To this end we need to introduce inter-bundle interactions. This can be done by means of the diagonal subgroup SU(2), with the corresponding Lie algebra The diagonal generators K a,m R/L are immediately constructed from the sum of two copies of (2.14): where we have inserted the bundle index m. The interactions that gap the desired conformal degrees of freedom are As it is argued in [13], these interactions are conjectured to stabilize a strongly interacting fixed point by gaping all modes involved in the sum such that the remaining conformal degrees of freedom are that ones associated to the cosets living in the first and last bundles, respectively. Each one of these sectors realizes a chiral conformal field theory with central charge The presence of only one chirality in the opposite bundles is due to the time reversal symmetry breaking introduced by the interactions in (2.23). In the next section we shall return to the interaction Lagrangian (2.23) to discuss some issues concerning its strong coupling limit. The central charge (2.25) incorporates several classes of unitary conformal field theories. In particular, for k ′ = 1, we obtain the series of minimal models c(k) = 1 − 6 (k + 2)(k + 3) , k = 1, 2, 3, . . . . For k ′ = 2, we obtain the series of superconformal minimal models , k = 1, 2, 3, . . . , (2.27) JHEP10(2017)021 Figure 3. The resulting topological phase from coupling quantum wires. The shaded region corresponds to the gapped bulk due to the interactions while the opposite ends correspond to the gapless edge states of different chiralities.
that in addition to the conformal invariance exhibit supersymmetry. It is interesting to note that this is an emergent supersymmetry at the edge since the bulk is not supersymmetric. Along this line, the work of ref. [19] reported the emergence of spacetime supersymmetry at the boundary of a 2+1 dimensional topological superconductor, with central charge c = 7/10. This conformal field theory describes the two dimensional tricritical Ising model at its critical point [20]. In the above construction, this supersymmetric edge state appears as the first member of the series (2.27), which also coincides with the second member of (2.26).

Edge theory
The wire construction has raised up the possibility of getting a large class of twodimensional gapped topological phases of non-Abelian spin liquids with edge states characterized by the central charge (2.25). The goal of this section is to identify the conformal field theories of the edges. We argue in favor of the plausibility in trading the strong coupling limit of the interactions among neighboring wires by direct constraints on the currents. This is an useful guide to the construction of the bulk theory, since we can connect the physics of the bulk and the edge by means of the bulk-edge correspondence, as we shall discuss in the later sections. The question is how to incorporate the effects of interactions into the edge theory.
In terms of the building blocks, namely fermions propagating along the wires inside the bundles, the edge theory is characterized by chiral gapless degrees of freedom propagating in the first and in the last bundle, as depicted in figure 3. However, there is no one-to-one correspondence between the number of wires (k + k ′ ) inside those bundles and the number of conformal degrees of freedom. There is a fractionalization of degrees of freedom, such that part of them is gapped out due to the interactions and part of them remains gapless, associated to the coset In the following sections we will discuss how this works. Our strategy is to isolate the gapless sector and construct the underlying conformal field theory. In doing so we keep both chiralities to avoid issues with gauge anomalies [21]. As we shall see, the final picture involves a chiral splitting with each chiral conformal field theory living at the opposite edges of the bulk.

Strongly coupled limit
The quantum theory for the whole system can be defined by the partition function where Dψ R Dψ L is a shorthand for the measure (3. 2) The free Lagrangian L 0 is given by (2.4) and the interacting Lagrangian L int is the sum with L m u(1) k and L m su(k) given by (2.16) and (2.18), respectively, with similar expressions for k → k ′ , and the interaction L inter su(2) given by (2.23). The fact that the interactions among the quantum wires provide a mass gap to the interacting modes enables us to describe the low-energy strongly coupled effective theory, where the gapped modes are projected out, in terms of a set of constraints on an initially free fermion model. As we will show in detail in the next section, to suppress the correct gapped modes, we can impose constraints on the currents that partake of the interactions among the quantum wires. We then claim that the conjectured topological phase obtained by the quantum wires construction can be realized in terms of the initial set of free fermions propagating inside the wires but subjected to constraints of the form current = 0 on all the initially interacting currents.
The argument that this constrained system is the strong coupling limit of the interacting quantum wires picture relies on the validity of the conjecture about the stability of the strongly coupled phase. The subtle point of this conjecture concerns the non-commutativity of the two kinds of terms in the interacting Lagrangian (2.23) that partake of the interactions between neighboring bundles, JJ-terms, with those that gap the diagonal subgroup inside each bundle, KK-terms. In the strong coupled limit the competition between these interactions might not result in the expected topological phase since the currents are not separately conserved.
The perturbative analysis of the renormalization group shows that coupling constants λ m , λ ′ m and g m flow independently to the strong coupled limit if they are initially positive [13]. While this is compatible with the general picture expected to get a two dimensional topological phase, it does not mean that we can reach the desired topological phase since the inter and intra bundle interactions compete with each other. Outside the perturbative regime we do not have control on the coupling constants and it is a formidable task to get a definitive conclusion. To ultimately decide if the topological phase can be stabilized involves to access nonperturbative information, which is beyond the scope of this work. We can, however, consider certain limiting cases to acquire some intuition on

JHEP10(2017)021
what physics we can expect. 1 To appreciate this point we will focus just on the interacting Lagrangian containing non-commuting terms (2.23). Let us rewrite it by using auxiliary fields and discuss the problem in terms of the equivalent Lagrangian The equivalence of the Lagrangians (2.23) and (3.4) is achieved by using the equations of motion for the auxiliary fields in the Lagrangian (3.4). We can then verify that the original interactions are restored.
The two limiting cases we will consider are We will analyze the resulting phases in these different situations.

Case λ/g ≫ 1
In this case the mixing terms in the first and second lines of (3.4) are negligible and the integrals over the gauge fields implement the constraints with m = 1, . . . , N − 1. Thus, for g m → 0, the constraints (3.6) render a topological phase with boundary gapless modes supporting the algebra Since m = 1, . . . , N − 1, the only gapless sectors correspond to the right modes in the first bundle and the left modes in the last one. For non-vanishing intra-bundle interactions, g m = 0, the constraints (3.6) imply K m L = 0 and K m+1 R = 0, such that the remaining terms of (3.4) are To understand the role that the intra-bundle interactions play in this phase, we can proceed, for example, by integrating over the fields D m − , m = 1, . . . , N . This will not lead to any additional constraint over the bundles. Only the constraints in (3.6) play a role, by fully JHEP10(2017)021 gapping the bulk. This phase is then stable under small perturbations of the intra-bundle interactions, leaving chiral edge states supporting the algebra which correspond to a non-coset topological phase. Of course, the same conclusions are obtained if we integrate out the fields D m + .
3.1.2 Case λ/g ≪ 1 In this limit the mixing term 1 gm D m − D m + in (3.4) becomes negligible compared to the remaining ones. Then the last line effectively imposes the constraints δ(K m L ) and δ(K m R ), which is equivalent to impose For vanishing inter bundle interactions, λ m → 0, these constraints generate a set of uncoupled one-dimensional conformal field theories corresponding to the coset su(2) k ⊕ su(2) k ′ /su(2) k+k ′ for the left and right modes. This gapless phase is not stable under small pertubations of inter-bundle interactions.
For non-vanishing λ m the constraints (3.10) turn the Lagrangian (3.4) into After integrating the auxiliary fields we get which is exactly the inter bundle interactions. The difference, however, is that now the flow of these constants is determined by the renormalization group analysis in the non perturbative region with large g. Despite the difficulty of doing that, three scenarios rise up: i) the constant couplings are marginal irrelevant. In this case, as we go to low energy we get back the initial gapless phase; ii) the coupling constants are marginally exact. This will not generate a gap and the theory remains critical; iii) the coupling constants are marginal relevant. In this case, the above interactions destabilize the initial gapless phase, leading the system to a gapped topological phase. Since they couple the gapless modes between neighboring bundles, the only decoupled modes are the right modes in the first bundle and the left modes in the last one. This  will delivery a strongly coupled phase supporting chiral edge states associated to the coset structure which is a non-Abelian topological phase. The best we can do now is to assume this case and to explore some interesting consequences. This analysis will be the object of the remaining of the paper. As we shall discuss in detail, in this limit the interactions can be represented in terms of constraints on currents. Among other things, this enable us to identify the edge states directly in terms of the original fermions and then to use the bulk-edge correspondence to construct a low energy bulk theory for that class of topological phases.
In passing from the limiting case λ/g ≫ 1 to λ/g ≪ 1 we find out two distinct strongly coupled topological phases, indicating that a phase transition with gap closing must take place in the non perturbative region where the inter and intra bundle interactions compete to each other. A qualitative phase diagram is depicted in figure 4. This general pattern is explicitly confirmed in the work of ref. [22], where it is analyzed a mean field solution for a system of quantum wires built up from Majorana fermions with interactions sharing some features of that ones in (2.23).
To proceed we take the strong coupling limit, (λ, g) → ∞, understanding that we are running in the region comprised in the case iii) where the coset topological phase is realized, without crossing the critical line. We can do this directly in the Lagrangian (2.23). In this limit the quadratic terms in the auxiliary fields are suppressed and we get a set of Lagrange multiplier fields enforcing the constraints current = 0. In the partition function these constraints are implemented through delta functions δ(current). The issue of having noncommuting terms in the Lagrangian (3.4) can be identified in the strong coupling limit with overlapping delta functions. In fact, for all the bundles inside the bulk, m = 2, . . . , N − 1, the constraints δ(J m ) and δ(J ′m ) already integrate out the associated degrees of freedom. The extra constraints K m R/L = 0 are redundant for these bundles. This problem could be avoided by just turning off the K-interactions without affecting the strongly coupled topological phase. However, for the first and last bundles, m = 1 and m = N , respectively, we do JHEP10(2017)021 not have this option, since the K-coupling is essential for gapping the right number of modes inside the edge bundles in order to produce a non-Abelian topological phase. For those bundles, only the K 1 L and K N R constraints are redundant, and as said this redundancy cannot be avoided by turning off the K-coupling without affecting the expected topological phase.
By taking (λ, g) → ∞ in (3.4) we obtain 14) The delta functions in the first line compactly represent the constraints in the U(1), U ′ (1), SU(k), and SU(k ′ ) sectors in all bundles of the system, in addition to the constraints in the sectors SU(2) k , SU(2) k ′ , and SU(2) k+k ′ for the bundles of the bulk, i.e., excluding the bundles of the edges (first and last), which are explicitly written in the second line since they need a more detailed analysis. The constraints for the SU(2)-currents J 1 L and J ′1 L make the constraint in K 1 L to be redundant. The same happens to K N R due to constraints in J N R and J ′N R and to all the diagonal constraints in K m L and K m R inside the bulk due to the delta functions δ(J m R/L ) and δ(J ′m R/L ), with m = 2, . . . , N − 1. All these redundant delta functions for the diagonal currents contribute with factor of δ(0) to the partition function and render it ill-defined in the strong coupling limit. However, for each one of these diagonal currents we can understand the singular deltas as functional integrals over the accompanying respective auxiliary fields in (3.1). Since these fields decouple in this limit, we can simply absorb the infinite factors into the functional measure without prejudice to the low-energy topological phase. Of course, correlations functions of the theory are insensitive to this.
As we shall see, the role of the constraints is to delete from the spectrum the modes in the representation of group related to the respective current. For the bundles in the bulk, the constraints are sufficient to suppress all the modes. We will end up with chiral gapless excitations living on both edges of the system describing a conformal field theory with central charge given by (2.25).
With all these qualifications we can write the effective partition function compactly as bundles. The decoupled factor Z bulk , which is fully gapped, can be absorbed into the measure. In the next section we will start a detailed analysis of the partition function (3.15) in order to unveil its gapless content.
This whole picture makes it plausible to describe the non-Abelian topological phase in terms of constrained fermions that, as we shall see, is reinforced by the equality of central charges of the edges in both approaches.

Constrained fermions at the edges
According to the above discussion, the dismembering of degrees of freedom due to interactions can be incorporated into the edge bundles in terms of constraints over currents. In an operator formalism, this is equivalent to imposing selection rules for gapless physical states. For completeness, we write down explicitly all selection rules contained in partition function (3.15). For the first bundle, we have the following selection rules: Notice that we have also included constraints for sectors u(1) k , u(1) k ′ , su(k) and su(k ′ ), that can be handled in a similar way, but involving only intra-bundle interactions. Although the U(1) charge-sector interaction is not of the current-current form, the constraint on the U(1) current is equivalent in the low-energy limit to integrate gapped degrees of freedom out of the spectrum. We have a similar structure in the last bundle, where the rules (3.21) and ( In these expressions the state |phys represent the physical conformal degrees of freedom of the first and last bundles, |phys ≡ |R ⊗ |L .

JHEP10(2017)021
Now we go back to the partition function (3.15), which takes into account all of these conditions. We write it again for convenience, This partition function is the compact form for with the functional measure defined as The Lagrangian in (3.31) involves the contributions of all the wires in the first and last bundles Now we write back the functional deltas in terms of Lagrange multiplier fields as it follows: where all A's are U(1) Abelian gauge fields; where B's are SU(k) non-Abelian gauge fields; where B ′ 's are SU(k ′ ) non-Abelian gauge fields; where all C's are SU(2) non-Abelian gauge field. The partition function becomes with the measure for the gauge fields defined as

JHEP10(2017)021
where we have used the shorthand ∂ ± ≡ ∂ t ± ∂ x . The non-Abelian gauge fields in this expression are contracted with the corresponding generators, i.e., At this point it is convenient to split the Lagrangian (3.45) in two independent parts according to As the subscripts already indicate, these contributions are divided according to the presence or not of gapless degrees of freedom. Thus our next task is to show that the Lagrangian (3.48) contains the gapless degrees of freedom whereas the Lagrangian (3.49) is fully gapped.

Gapless sector
In order to extract the gapless physical content of (3.48) we have to deal with the gauge redundancy that it contains. At the first sight it is invariant under independent transformations for right and left fields. For example, for the fermions of the k-wires transforming as ψ 1 R → e iΛ R ψ 1 R and ψ N L → e iΛ L ψ N L and the Abelian fields as A 1 + → A 1 + + ∂ + Λ R and A N + → A N + + ∂ + Λ L , with different functions Λ R and Λ L . However, such invariance is an illusion since it fails at the quantum level -the integration measure is not invariant and the theory contains an anomaly. Rather it is invariant under transformations with the JHEP10(2017)021 same function for right and left sectors Λ R = Λ L ≡ Λ, once the anomalies in both sectors are canceled. In this way, the gauge invariance ties the fields of first and last bundle. This is how the existence of the bulk manifest itself into the edges.
To avoid unnecessary heavy notation we omit the index bundle of the fields without prejudice of ambiguities. The full set of gauge transformations which leave invariant the partition function associated to the Lagrangian (3.48) are: Note that we do not have independent SU(2) C-fields for wires belonging to sets k and k ′ . As we shall see now, this is what allows for the existence of gapless degrees of freedom.
In order to have a well-defined partition function we need to fix the gauge in the path integral (3.43) according to the Faddeev-Popov procedure. This involves the introduction of ghost fields, which are responsible for subtracting central charge since they effectively counts as a negative number of degrees of freedom. We proceed by fixing the gauge as The corresponding Faddeev-Popov determinants can be exponentiated in terms of b-c ghost systems: where the ghost fields b's and c's have conformal weights h b = 1 and h c = 0, respectively. Each ghost field gives a central charge −2 for the right sector, such that the total contribution of the ghost action is Note that the ghost action does not give any contribution for the central charge of the left sector. This imbalance of central charge in the two sectors is equalized with the contributions discussed below. The remaining gauge fields in the Lagrangian (3.45) can be parametrized as

JHEP10(2017)021
These changes of variables produce nontrivial Jacobians which will be taken into account in a moment. As discussed in the appendix A, the integration over fermionic fields produces It defines a two dimensional quantum field theory in spite of the presence of a threedimensional integral. Indeed, this term is a Wess-Zumino term that encodes the chiral anomaly in two-dimensional spacetime [23]. For the Abelian gauge fields it reduces to the Lagrangian of a free scalar field, which can be easily seen if we write φ = e iϕ . The determinants det ∂ + and det ∂ − in (3.63) can be exponentiated back in terms of the functional integration over the original fermionic fields ψ R/L . The Jacobians for the Abelian parametrizations in (3.60) are with the measure DG representing the functional integral over all ghost fields in the action (3.58) -right and left sectors -and the effective action is given by The first term S[ψ R , ψ L ] is the action associated with the Lagrangian (3.48) and S ghost includes the Lagrangian (3.58) and the corresponding left sector ghost fields. From the effective action we can determine the total central charge by adding the contributions of the parts, remembering that the central charge for the WZW theory is given by the Knizhnik-Zamolodchikov formula [24] c W ZW = p dimH p + C H , (3.70)

JHEP10(2017)021
where p is the Kac-Moody level of the WZW currents and C H is the quadratic Casimir of the algebra H -for SU(N ) the quadratic Casimir is C H = N . The resulting central charge is (3.71) It is easy to see that this central charge is always smaller than the central charge of the free fermions inside the bundle 2(k + k ′ ) and is equal to the one in expression (2.25). We see that the effect of constraining currents is to remove gapless degrees of freedom since they introduce some gauge redundancy. The constraints on the currents effectively implement the interactions between nearby wires. We shall discuss now the issue of chiral splitting of the action (3.69). This is important since the global picture of the topological phase corresponds to each chiral conformal field theory living at one of the edges. In decomposing the action (3.69) into two chiralities we need to deal with four type of theories. Decomposition of fermions, Abelian fields and ghosts are straightforward. Thus we will focus on the WZW contribution (3.64).
At first we consider the nonlinear sigma model part of WZW action and write it in terms of an auxiliary field Λ [25], where we have taken our two dimensional Minkowski metric as (1, −1). By using the equation of motion for Λ and plugging it back into the action we restore the original form of the nonlinear sigma model. Next we introduce new fields M R and M L as It is straightforward to show that the action becomes Note that at this point there is no yet a chiral splitting due to the mixing term in the last line. It is exactly canceled when we include the topological term

JHEP10(2017)021
By considering the full WZW action, S = S N SM + Γ, we obtain which is the chiral-split WZW action desired. Thus we see that the chiral gapless degrees of freedom characterized by the central charges c R and c L of equation (3.71) are decoupled and propagate at the opposite edges of the system.

Gapped sector
To show that the Lagrangian (3.49) is fully gapped we follow the same general strategy of the previous section but with the crucial difference that now the involved SU(2) C-fields of the sets of k and k ′ wires are independent. This implies that we have two independent gauge fixing conditions C − = 0 and C ′ − = 0 (3.78) and correspondingly ghosts fields for both of them, and also two independent parametrizations By following the same steps as before, we arrive at where the effective action is given now by (3.81) It is straightforward to show that the resulting central charge vanishes, Thus, as anticipated in the previous section, there is no gapless degrees of freedom associated to the Lagrangian (3.49). All contributions for the conformal sector are due to the Lagrangian (3.48).
To sum up, these results show that the effective action (3.69) coming from fermions with constrained currents represents the edge states obtained in the coupled wires approach of section 2. However, it is still not a convenient form to make connection with the topological bulk theory since it is hard to obtain from a bulk theory a boundary theory like (3.69) involving diverse types of fields. We need one more step to show that it is equivalent to a gauged version of chiral WZW model, which will be discussed in next section.

JHEP10(2017)021 4 Gauged WZW models
We will discuss now in some detail the equivalence between the gapless sector of the constrained fermionic theory of the previous section and a gauged WZW model following ref. [14]. We start by considering the equivalence for the case where the gauge fields are background fields, i.e., they are not integrated in the partition function, withS being the action corresponding to the Lagrangian (3.48). Let us assume that the partition function is normalized to the unity in absence of background fields. Next, instead of fixing the gauge by putting the (−) components of the gauge fields equal to zero, we parametrize them similarly to (3.60), (3.61) and (3.62): Now let us define the fields The partition function can be written as Note that we can introduce fields as Kronecker sums 2 and (4.10)

JHEP10(2017)021
Integration over fermions produces with α and α ′ being regularization-dependent parameters [26]. This expression can be compared with that one coming from the gauged-WZW model, defined by the action 12) where w is a matrix-valued field belonging to some group G and F ± take values in a subgroup H of G. The gauged-WZW model that we consider is written in terms of the direct sum w w ′ , with w ∈ U(2k) and w ′ ∈ U(2k ′ ), coupled to the direct sum of the background fields (4.8), A ± A ′ ± . The action becomes The partition function in the presence of background fields is given bỹ which is assumed to be normalized to the unity in the absence of background fields. Now we can use the Polyakov-Wiegmann identity [27], With this the partition function (4.13) becomes With the change of variables U wŪ −1 → w and U ′ w ′Ū ′−1 → w ′ we see the partition function factorizes and as it is normalized we get Thus if the regularization is chosen such that α = α ′ = 0 in (4.11) we obtain the equivalence between the two models. The equivalence to the case of dynamical fields is immediate. Just replace the fields A ± and A ′ ± in the fermionic partition function (4.7) by E ± + A ± and E ′ ± + A ′ ± where the fields E ∈ U(2k) and E ′ ∈ U(2k ′ ) and then integrate over the gauge fields. Integration over the fermions furnishes

JHEP10(2017)021
By proceeding in a similar way for the partition function (4.13), it follows that (4.20) Since we have shown that the integrand of the two above partition functions are the same, . In other words, the fermionic theory with constraints over the currents (3.43) is equivalent to the gauged-WZW theorỹ in the sense that both of them produce the same correlation functions. Our next task is to show that this gauged-WZW theory follows naturally from a coset Chern-Simons-like bulk theory whenever we define it in the presence of a physical edge.

Effective field theory
In sections 2 and 3, we have derived the properties of the gapped topological phases starting from a fermionic interacting quantum field theory. In this section we will focus on a more effective approach that exhibits the important properties of the ground states of the gapped phases, namely only the topological ones. It turns out that the Chern-Simons theories captures the relevant topological aspects of the low-energy phenomenology of these systems. In particular, a common feature of these topological phases is the appearance of gapless excitations at the boundary of the manifold where the system is placed. The relation between the bulk dynamics with the boundary dynamics can be obtained through the bulkedge correspondence [4,5]. Both, the Abelian and non-Abelian Chern-Simons theories, exhibit such a correspondence and are important in the description of the aspects of the topological phases of matter. However, since our interest is on the phases described by a coset of non-Abelian algebras, we will focus only on the correspondence between non-Abelian Chern-Simons theories and the boundary WZW models and their gauged versions for the case of coset of non-Abelian algebras.

Non-Abelian Chern-Simons
To describe conformal field theories with non-integer values for the central charge on the boundary in terms of a bulk topological field theory we need to consider non-Abelian Chern-Simons models. We consider a non-Abelian unitary group G with generators G † a = −G a . For a Lie-algebra-valued gauge field A µ ≡ A a µ G a the non-Abelian Chern-Simons classical model is defined by the action with the group generators satisfying the algebra

JHEP10(2017)021
We adjust the generator basis to have completely antisymmetric structure constants f abc and to obey Under a gauge transformation, the action (5.1a) changes to In this case, the group elements U (x) are maps from S 3 to G. These maps are topologically classified by the third homotopy group Π 3 (G). With exception of SO(4), which has Π 3 (SO(4)) = Z×Z, all other simple non-Abelian groups have Π 3 (G) = Z. The first integral in (5.3) can be recognized as the winding number for such maps, which counts the number of times the map winds a target 3-sphere, associated to a SU(2) subgroup of G, while the domain 3-sphere is covered once. For the group elements that are continuously connected to the identity, the winding number is zero, and the action (5.1a) is then invariant under such a subset of transformations. However, for the more general transformations called large gauge transformations, the winding number is a non-zero integer. Therefore, the action is not gauge invariant for these large transformations, but changes according to The quantum theory can be defined by the partition function Then, for a consistent quantization of the theory it is not S that should be gauge invariant, but exp iS. From (5.6), we obtain the quantization condition of the Chern-Simons level k, k ∈ Z, (5.8) in order to make the quantum theory gauge invariant. Let us consider now the non-Abelian Chern-Simons theory defined on a manifold with a boundary. The presence of the boundary breaks even the small gauge transformations, which opens the possibility for describing dynamical modes at the edge. In fact, as discussed above, in the presence of a boundary, the action ( To be concrete, we consider the system in the lower half xy plane with boundary at y = 0, as illustrate in figure 5. The boundary conditions are chosen so that boundary terms do not contribute to the equations of motion. However, as one can verify, we still have some freedom and some choices indeed lead to dynamical edge modes. Particularly, the boundary condition provides a dynamical chiral boson propagating at the edge. The parameter v can be identified as the propagation velocity of the edge modes. The condition (5.9) also guarantees that there are no contributions to the equations of motion from the boundary terms. It is worth mentioning that this condition is not a gauge fixing since the theory does not have gauge invariance at the boundary. Considering the constraint (5.9) in (5.1a) we get where The quantum theory is defined by using this action in the partition function (5.7). Since there is no derivative acting on the component A t in (5.10), this is an auxiliary field and can be integrated out in the partition function. Performing this integral in A t we get a delta functional δ[F ij ], with F ij defined in eq. (5.11). Then, we have Let us introduce complex combinations of the coordinates in the xy plane, Az ≡ 1 2 (A x + iA y ) . (5.14)

JHEP10(2017)021
In terms of these coordinates the partition function reads (5.15) The solution of the constraint is a pure gauge field A i = −∂ i M M −1 , with M ∈ SU(N ). We can implement this constraint in the partition function above by first changing the variables according to the parametrization where U is a complex matrix with unit determinant. In the appendix B we show that this change of variables introduces a Jacobian determinant that is canceled by another determinant coming from the same change of variables in the delta functional. Using these results we get By integrating on U † , changing back to real coordinates and after some algebra we obtain This partition function is the chiral WZW model already found in (3.77). As is well known, the WZW model describes a class of two dimensional CFT's with rational central charges c ≥ 1. As discussed previously, the WZW model is only a well defined quantum theory for integer k.

Coset theories
As emphasized above, the WZW model provides a field theory realization of the class of the 2D Rational CFT's with c ≥ 1. In the WZW model, the Virasoro algebra, which is related to the conformal invariance of the theory, is derived from the affine Lie algebraĝ k . We denote by g the Lie algebra associated to the group G of invariance of the WZW action and byĝ k its affine extension of level k. From the algebraic perspective this structure is known as the Sugawara construction. The Sugawara construction can be generalized to the so called Goddard-Kent-Olive (GKO) construction [16], where one considers a conformal theory described in terms of the Virasoro generators for a quotient of WZW models. Specifically, we consider an affine Lie algebraĝ and ap subalgebra ofĝ and let L g m and L p m be the associated Virasoro generators. The quotient Virasoro generators are defined by L g/p m ≡ L g m − L p m and they are shown to JHEP10(2017)021 satisfy a Virasoro algebra by themselves. This coset construction is expected to complete the classification of all RCFT [3]. The realization of the coset construction in terms of an action is given in terms of the gauged WZW model. We will review here the CS-WZW correspondence for the coset construction [7]. We start by considering a simply connected compact Lie group G and a subgroup H. Let g and h be, respectively, the associated Lie algebras and A a µ G a and B i µ H i are gauge field that take values in these algebras. We consider the following action (5.21) The pair of non-Abelian CS actions S CS for the fields A and B are of the form (5.1a) except for the CS levels k g and k h , respectively, that have been factored out. This pair of levels satisfy the relation The integer l is called the embedding index of h into g.

This action changes by boundary terms under the independent gauge transformations
with Λ and ω being elements of the gauge groups G and H, respectively. The dynamics on the boundary is obtained by fixing the following boundary conditions [7]: where P h and P h ⊥ are projectors on the subalgebra h and on its orthogonal complement, respectively. The BC (5.25) are analogous to the BC (5.9) and are chosen in order to provide a nontrivial dynamics at the boundary and to avoid edge contributions for the equations of motion for the vector fields, whereas the second set relates the components of the gauge fields that live in the same algebra subspace. It is this intertwining of the fields that provides a richer symmetry structure compared to the trivial extension G × H. By using (5.25) and (5.26) in the action (5.21), we obtain To write the partition function in this form we have used the fact that h ⊥ A a x A a x = Tr g A 2 x − Tr h A 2 x and the second set of BC (5.26) to make Tr h A 2 x = Tr h B 2 x . Furthermore, since we still have the full A x field at the boundary, we inserted a Lagrange multiplier λ i H i , which is valued in the Lie-subalgebra h, to enforce the x BC in (5.26).

JHEP10(2017)021
Now we can proceed in direct analogy with the non-Abelian case. We integrate the non-dynamical fields A t and B t , which effectively play the role of auxiliary fields. There follows the constraints F ij = 0, B ij = 0, (5.28) which are implemented by the pair of delta functions δ[F ij ] and δ[B ij ] that multiply the measure over A i and B i , with i = x, y. As we discussed in the previous section, we can use complex parametrizations for the A i and B i fields like in (5.14) with independent complex matrices M and M † , and N and N † , respectively. As we showed in the appendix B, we can effectively replace the constrained measures DA µ δ[F ij ] and DB i δ[B ij ] by DM and DN , respectively, and use the solutions to the constraints, into the action. We finally obtain where S Ch W ZW is the chiral Wess-Zumino-Witten action defined in (5.20). For our purposes, we will consider the case of regular embeddings, that is l = 1. We now rewrite this partition function in a more convenient way that will allow us to make a more direct link to the quantum wire picture of the topological phases of matter. For this aim, let us perform the following change of variables [7]: and use the Polyakov-Wiegmann identity [23] for the chiral action, Using these results and factoring the group volume Dh, we obtain In the change of variable from N to C x we should account a non-trivial Jacobian det(D x ). However, as pointed in [3], by a canonical treatment one can show that this Jacobian does not contribute. We recognize the action in this expression as the gauged version of the chiral WZW model. In this case, we start with the chiral WZW model for a group valued field U ∈ G and gauge a subgroup H of G by coupling a dynamical gauge field C i ∈ h to U in an anomaly free way.

Coset model for
U(1)×SU(k ′ ) 2 /SU(2) k+k ′ In this section we will use the results of our previous analysis to construct the connection between the bulk Chern-Simons theory and the boundary WZW model for the specific coset JHEP10(2017)021 of our interest in this paper. We then will be able to associate an effective Chern-Simons theory to the description of the topological phases in terms of the quantum wires.
We will denote the fields in the direct sums of algebras with a tilde, whereas the pairs of fields in the two separate spaces will be differed by a prime. To start with we need to consider a gauge fieldΩ µ that takes values in the direct sum of Lie algebras u(2k) u(2k ′ ). ThenΩ µ can also be written as a direct sum of gauge fields Ω µ Ω ′ µ , with Ω µ ∈ u(2k) and Ω µ ∈ u(2k ′ ). It is also convenient to extract the u(1) gauge fields a µ and a ′ µ from the gauge fields Ω µ and Ω ′ µ , respectively. Withã µ = a µ a ′ µ we can write the Kronecker sum Ω µ =ã µ ⊕β µ , withβ ∈ su(2k) su(2k ′ ). The corresponding su(2k) and su(2k ′ )-fields are denoted by β µ and β ′ µ , respectively. Explicitly, we havẽ To get the aimed coset structure we introduce a gauge fieldÃ µ belonging to the subalgebra (u(1) ⊕ su(k) 2 u(1) ⊕ su(k ′ ) 2 ) ⊕ su(2) k+k ′ . In terms of fields in the smaller subalgebras, we haveÃ with B µ and B ′ µ ∈ su(k) and su(k ′ ), respectively, and C µ ∈ su(2). According to the general discussion of the previous section, the CS theory for this coset is then given by wherew ∈ u(2k) × u(2k ′ ) and can be further decomposed as with χ and χ ′ ∈ u(1) and v (v ′ ) ∈ su(2k) (su(2k ′ )). The gauge fields are Lagrange multipliers that ensure the constraints of vanishing subgroup currents. In terms of the fields in JHEP10(2017)021 the smaller subalgebras we can write the partition function (5.38) as We can notice that the U(1) fields χ and χ ′ were withdrawn from the partition function due to the constraints imposed by the abelian gauge fields A and A ′ , which are likewise suppressed. It is also convenient to express the bulk theory (5.35) in terms of the fields in the smaller subalgebras that compose the whole coset structure. From (5.33), (5.34), and (5.35) we obtain which we need to supplement with the following boundary conditions: a α = A α , (5.42) P ⊥ su(k)⊕su(2) (β t + vβ x ) = 0, (5.43) P ⊥ su(k ′ )⊕su(2) β ′ t + vβ ′ x = 0, (5.44) P su(k) (β α ) = B α , (5.45) with α = t, x.
In section 4 we have showed that the edge theory for the low-energy dynamical modes coincides with the gauged chiral WZW model. Similarly, we showed in this section that the bulk low-energy effective field theory corresponds to the same gauged WZW model. Therefore, we can conclude that the Chern-Simons theory (5.41) supplemented with the boundary conditions (5.42)-(5.47) can be associated to the low-energy effective theory for the interacting electrons propagating in the quantum wires.

JHEP10(2017)021 6 Summary
In spite of the achievements toward a complete characterization of two dimensional rational conformal field theories in terms of 2+1 dimensional topological Chern-Simons theories, a general classification of non-Abelian topological ordered phases of matter in terms of topological effective field theories is still missing. In this work we discussed how to implement this connection for a class of non-Abelian phases, namely the class of non-Abelian topological spin liquids characterized by chiral edge states with central charge corresponding to the coset structure su(2) k ⊕ su(2) k ′ /su(2) k+k ′ . This class was recently predicted in the work of ref. [13] by analyzing the strong coupling limit of a system of interacting quantum wires.
In our pursuance of the effective low-energy field theory for the coset structure, we also argued in favor of the conjectured stability of the strongly coupled fixed point. Firstly, we started with the interacting quantum wires system and by taking its strong coupling limit we obtained the partition function of the constrained free fermions after integrating over decoupled gauge fields. In this way, we showed that the system of constrained free fermions (3.15) may realize the conjectured strongly coupled topological phase of the interacting quantum wires by matching the central charges of both systems. The gapless sector of the constrained fermion system, located at the edges, was then shown to be equivalent to a chiral gauged WZW models at the boundaries, which in turn was connected with a bulk Chern-Simons theory through the bulk-edge correspondence. In section 5 we explicitly constructed the bulk Chern-Simons theory as well as the boundary conditions for the bulk gauge fields to get the desired central charge for the boundary coset conformal field theory. The effective theory can be used in principle to explore interesting properties of the topological phase, like the braiding statistics of the non-Abelian anyons and the topological degeneracy of the ground state. We also expect that the construction done in this work can be extended to other classes of topological phases with important phenomenological consequences.

JHEP10(2017)021
and (3.62). Now define the fields U and U ′ which are the direct product of U ≡ φ ⊗ h ⊗ g and U ′ ≡ φ ′ ⊗ h ′ ⊗ g. (A.2) Note that the g-field is the same in both expressions, since it is the parametrization of the diagonal field. Thus it follows that and With this the first line in (A.1) can be integrated out to produce It is this canceling of determinants that justify the change from the constrained measure in (5.15) to the one that appears in (5.19).
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.