This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

\savesymbol

iint \savesymboliiint \restoresymbolTXFiint \restoresymbolTXFiiint

Interface Junctions in QCD4

Abstract

We study 3+1 dimensional SU(N)SU(N) Quantum Chromodynamics (QCD) with NfN_{f} degenerate quarks that have a spatially varying complex mass. It leads to a network of interfaces connected by interface junctions. We use anomaly inflow to constrain these defects. Based on the chiral Lagrangian and the conjectures on the interfaces, charaterized by a spatially varying θ\theta-parameter, we propose a low-energy description of such networks of interfaces. Interestingly, we observe that the operators in the effective field theories on the junctions can carry baryon charges, and their spin and isospin representations coincide with baryons. We also study defects, characterized by spatially varying coupling constants, in 2+1 dimensional Chern-Simons-matter theories and in a 3+1 dimensional real scalar theory.

1 Introduction and Summary

A quantum field theory can form various defects by making its coupling constants space-dependent. These defects can be co-dimension one interfaces, co-dimension two strings and so on. They can also intersect and form junctions of higher co-dimensions. Sometimes there are localized degrees of freedom on the defects with intricate dynamics. These localized degrees of freedom are often protected by anomaly inflow [1], generalized anomalies involving coupling constants [2, 3] or higher berry phase [4, 5, 6].

A typical example is interfaces in 3+1 dimensional SU(N)SU(N) Yang-Mills theory with a position-dependent θ\theta-angle that interpolates from θ=0\theta=0 to θ=2π\theta=2\pi.111Our discussion is restricted to smooth interfaces whose dynamics is uniquely determined by the microscopic theory. It is to be contrasted with discontinuous interfaces where θ\theta jumps abruptly. Discontinuous interfaces have an ambiguity of adding more degrees of freedom localized on the interfaces. The interface supports an SU(N)1SU(N)_{-1} Chern-Simons theory on its worldvolume [7, 8, 9]. The Chern-Simons theory has a N\mathbb{Z}_{N} one-form symmetry with an ’t Hooft anomaly that cancels the anomaly inflow from the bulk [10, 8, 11]. The anomaly inflow can also be phrased in terms of a generalized anomaly involving the θ\theta-angle [3]. The N\mathbb{Z}_{N} one-form symmetry is spontaneously broken in the Chern-Simons theory, which signals deconfinement of probe quarks on the interface.

Similar interfaces with varying θ\theta have also been studied in 3+1 dimensional SU(N)SU(N) QCD [9, 12, 3].222See [13] for a study of QCD domain walls from a holographic perspective. The Lagrangian of the theory is333We will work with Lagrangians in the Lorentzian signature (,+,+,+)(-,+,+,+).

=14g2Tr(fμνfμν)+θ8π2ϵμνρσTr(fμνfρσ)+I=1Nfψ¯I(i+m)ψI,\mathcal{L}=\frac{1}{4g^{2}}\text{Tr}\left(f^{\mu\nu}f_{\mu\nu}\right)+\frac{\theta}{8\pi^{2}}\epsilon^{\mu\nu\rho\sigma}\text{Tr}(f_{\mu\nu}f_{\rho\sigma})+\sum_{I=1}^{N_{f}}\overline{\psi}_{I}(i\not{D}+m)\psi_{I}~{}, (1.1)

where ff is the field strength of the dynamical gauge field cc. Depending on the fermion mass mm, the number of flavors NfN_{f} and the number of colors NN, the interface can either support a topological quantum field theory, a gapless sigma model or a trivially gapped theory. The theory on the interface is closely related to the dualities of Chern-Simons-matter theories [14].

In this note, we will explore other defects in SU(N)SU(N) QCD by making the complex fermion mass mm vary on a plane. We will use two coordinates on the plane interchangeably, the radial coordinate (r,α)(r,\alpha) and the Cartesian coordinate (x,y)=(rcosα,rsinα)(x,y)=(r\cos\alpha,r\sin\alpha). Consider a winding mass profile mreif(α,r)m\propto re^{if(\alpha,r)} where f(α,r)f(\alpha,r) is a smooth function that satisfies f(α+2π,r)=f(α,r)+2πf(\alpha+2\pi,r)=f(\alpha,r)+2\pi. At large radius, the fermions are heavy so they can be integrated out. This reduces the theory to a pure SU(N)SU(N) Yang-Mills theory with a winding θ\theta-angle, θ=Nff(α)\theta=N_{f}f(\alpha). It leads to NfN_{f} interfaces centered at the trajectories where f(α,r)=(π+2π)/Nff(\alpha,r)=(\pi+2\pi\mathbb{Z})/N_{f}. Each of these interfaces supports an SU(N)1SU(N)_{-1} Chern-Simons theory. The fermion path integral also generates a classical winding counterterm of the background gauge fields and the metric. The winding of such counterterms is robust under the addition of other smooth space-dependent counterterms.

The question we would like to answer is what happens in the interior of the space. Let us first consider the anomaly inflow from large radius. There are two contributions. One of them is the gravitational anomaly inflow from the SU(N)1SU(N)_{-1} Chern-Simons theories on the interfaces. The other one comes from the winding counterterm. The nontrivial anomaly inflow implies that there are gapless degrees of freedom localized in the interior. We will present a coherent picture of the interior based on the chiral Lagrangian of QCD and some conjectured low-energy descriptions of the θ\theta-varying interfaces. The proposal is consistent with the anomaly inflow. For the validity of the chiral Lagrangian, our discussions throughout the paper will be restricted to NCFTNf1N_{\text{CFT}}\geq N_{f}\geq 1 where NCFTN_{\text{CFT}} is the lower bound of the conformal window. Despite the restriction, many discussions in this note can be applied to NfNCFTN_{f}\geq N_{\text{CFT}}.

Let us summarize our proposal. We will first consider a specific profile m=εreiαΛ2m=\varepsilon re^{i\alpha}\Lambda^{2}. Here Λ\Lambda is the QCD scale and ε\varepsilon is a dimensionless constant. Below we will study two cases, ε1\varepsilon\ll 1 and ε1\varepsilon\gtrsim 1.

For Nf=1N_{f}=1, as illustrated in figure 2, the only interface at large radius continues along the radial direction and terminates around the point where the quadratic potential of the η\eta^{\prime} particle vanishes. The interface theory undergoes a transition from the SU(N)1SU(N)_{-1} Chern-Simons theory to a trivially gapped theory at certain radius R11/(εΛ)R_{1}\sim 1/(\varepsilon\Lambda). The transition leads to a 1+1 dimensional compact chiral boson localized around the transition interface. Interestingly, the excitations of the chiral boson can carry baryon charges, and the spin of corresponding operator 𝒪N=eiNϕ\mathcal{O}_{N}=e^{iN\phi} coincides with the spin of the baryon ϵa1aNψa1ψa2\epsilon^{a_{1}\cdots a_{N}}\psi_{a_{1}}\cdots\psi_{a_{2}} in the ultraviolet theory.444 This observation has been recently employed in the quantum Hall droplet proposal for the Nf=1N_{f}=1 baryons [15]. An important element of the proposal is a meta-stable sheet of the η\eta^{\prime} particle. In contrast to the proposal, the setup we considered with a spatially varying fermion mass, although not translation invariant, is stable.

Around the end point of the interface, the quadratic potential of the η\eta^{\prime} particle vanishes. One might suspect that the η\eta^{\prime} particle gets localized around the end point and reduces to some gapless 1+1 dimensional excitataions. We will show that this intuition is not correct. On the contrary, the localized excitations of the η\eta^{\prime} particle have a non-zero effective mass in 1+1 dimensions so there are no gapless degrees of freedom localized at the end point.

For NCFT>Nf>1N_{\text{CFT}}>N_{f}>1, the discussions are divided into two cases ε1\varepsilon\ll 1 and ε1\varepsilon\gtrsim 1.

  • When ε1\varepsilon\ll 1, the NfN_{f} interfaces continue along the radial direction and meet at the origin where they form an interface junction of size R21/(ε1/3Λ)R_{2}\sim 1/(\varepsilon^{1/3}\Lambda). At certain radius R11/(εΛ)R_{1}\sim 1/(\varepsilon\Lambda), the theories on the interfaces undergo a transition from an SU(N)1SU(N)_{-1} Chern-Simons theory to a Nf1\mathbb{CP}^{N_{f}-1} sigma model with a Wess-Zumino term. On the junction, the fields obey an orthogonality condition (5.12) that reduces the target space from NfN_{f} copies of Nf1\mathbb{CP}^{N_{f}-1} manifold to the flag manifold

    U(Nf)a=1NfU(1).\frac{U(N_{f})}{\prod_{a=1}^{N_{f}}U(1)}~{}. (1.2)

    We emphasize that the flag sigma model on the junction is not an isolated 1+1 dimensional theory. It should be viewed as the boundary theory of the 2+1 dimensional theories on the interfaces. The flag sigma model can be parametrized by a U(Nf)U(N_{f}) matrix with a block-diagonal a=1NfU(1)\prod_{a=1}^{N_{f}}U(1) gauge symmetry acting from the right. It is supplemented by a Wess-Zumino term SWZWS_{\text{WZW}} of the U(Nf)U(N_{f}) matrix field defined in (5.22). SWZWS_{\text{WZW}} is not invariant under the a=1NfU(1)\prod_{a=1}^{N_{f}}U(1) gauge symmetry but its non-invariance is canceled by the gauge variation of the Wess-Zumino terms of the Nf1\mathbb{CP}^{N_{f}-1} sigma models on the interfaces. If the flag sigma model were an isolated theory, SWZWS_{\text{WZW}} would not be allowed since it is not gauge invariance. The flag sigma model on the junction and the Wess-Zumino term SWZWS_{\text{WZW}} can be derived from the chiral Lagrangian. The proposal is summarized in figure 3.

  • When ε1\varepsilon\gtrsim 1, R2>R1R_{2}\mathrel{\mathstrut\smash{\ooalign{\raise 2.5pt\hbox{$>$}\cr\lower 2.5pt\hbox{$\sim$}}}}R_{1} so the SU(N)1SU(N)_{-1} Chern-Simons theories on the interfaces are in direct contact with the interface junction. The theory on the junction becomes a gauged U(Nf)U(N_{f}) Wess-Zumino-Witten model with a restricted block-diagonal a=1NfU(1)\prod_{a=1}^{N_{f}}U(1) gauge symmetry acting from the right. The gauge parameters are restricted such that they depend only on one light coordinate. Such chirally gauged Wess-Zumino-Witten model was studied in [16]. The theory has a chiral algebra that consists of a 𝔲(Nf)N\mathfrak{u}(N_{f})_{N} left-moving chiral algebra and a 𝔲(Nf)N/a=1Nf𝔲(1)N\mathfrak{u}(N_{f})_{N}/\prod_{a=1}^{N_{f}}\mathfrak{u}(1)_{N} right-moving coset chiral algebra (we do not pay attention to the global form of the chiral algebra). The chiral algebra has the correct ’t Hooft anomaly that cancels the anomaly inflow from large radius. Interestingly, the junction theory has operators that carry baryon charges. For instance, it has an operator with spin N/2N/2 which transforms under the SymN(){Sym}^{N}(\square) representation of the U(Nf)U(N_{f}) global symmetry. The spin of the operator coincides with the spin of the baryons in the same isospin representation.

For a general mass profile m=εreif(α,r)Λ2m=\varepsilon re^{if(\alpha,r)}\Lambda^{2}, the interfaces still form a junction at the origin but some of them can merge into one interface before joining with other interfaces at the origin (see figure 6). This leads to a network of interfaces connected by interface junctions. Each of these junctions supports a 1+1 dimensional chiral algebra. The total central charge and the total ’t Hooft anomaly of these chiral algebras are constrained by the anomaly inflow.

The low-energy descriptions above for interfaces and interface junctions are similar to the descriptions for domain walls and domain wall junctions in 𝒩=1\mathcal{N}=1 supersymmetric gauge theory [17, 18, 19, 20]. The theory on the domain wall is conjectured to be a supersymmetric Chern-Simons theory [17] and the theory on the domain wall junction is conjectured to have a supersymmetric coset chiral algebra [18].555See [21, 22, 23, 24] for related discussions on domain wall junctions in supersymmetric theories. We emphasize that domain walls and interfaces are two different objects. Domain walls are dynamical excitations that separate two different vacua while interfaces are defects created by the variation of coupling constants. Similarly, domain wall junctions should be distinguished from interface junctions.

The rest of the paper is organized as follows. In section 2, we review the chiral Lagrangian and the dynamics on the interfaces with a varying θ\theta-parameter. In section 3, we initiate the study of SU(N)SU(N) QCD with a space-dependent fermion mass mreiαm\propto re^{i\alpha} by analyzing the large radius behavior of the theory. In section 4 and 5, we propose a coherent picture of the interior for Nf=1N_{f}=1 and Nf>1N_{f}>1 respectively. In section 6, we discuss more general mass profiles mreif(α,r)m\propto re^{if(\alpha,r)}. Appendix A studies interfaces in Chern-Simons-matter theories including U(1)kU(1)_{k} Chern-Simons theory coupled to NfN_{f} scalars with a spatially varying mass squared and SU(N)k+Nf/2SU(N)_{-k+N_{f}/2} Chern-Simons theory coupled to NfN_{f} fermions with a spatially varying mass when Nf>k>0N_{f}>k>0. Appendix B studies defects in a 3+1 dimensional real scalar theory defined by making the coefficients of the quadratic and the linear term in the potential position-dependent.

2 Background

2.1 Phase Diagram

We begin by reviewing the QCD phase diagram presented in [9]. The phase diagram is consistent with the large NN analysis [25, 26, 27, 28, 29] and the constraint from ’t Hooft anomalies [8, 3].

The theory depends on the complex fermion mass mm and the θ\theta-angle only through the combination MNfM^{N_{f}} where M=meiθ/NfM=me^{i\theta/N_{f}}. The theory is trivially gapped at generic MM. It has a first order phase transition line along the negative real axis of MNfM^{N_{f}} coming from infinity. The first-order phase transition is associated to the spontaneous symmetry breaking of the CP\mathrm{CP} symmetry. When Nf=1N_{f}=1, the line terminates at M=M0<0M=M_{0}<0 with a massless η\eta^{\prime} particle. When Nf>1N_{f}>1, the line terminates at M=0M=0 with an SU(Nf)SU(N_{f}) non-linear sigma model for NCFT>Nf>1N_{\text{CFT}}>N_{f}>1, an interacting CFT for 112N>Nf>NCFT\frac{11}{2}N>N_{f}>N_{\text{CFT}} or a free gauge theory for Nf>112NN_{f}>\frac{11}{2}N. The phase diagram is summarized in Fig 1.

Refer to caption
(a)
Refer to caption
(b)
Figure 1: (a) The phase diagram of QCD with single quark. The first order line terminates at M=M0M=M_{0} with a massless η\eta^{\prime} particle. (b) The phase diagram of QCD with NCFT>Nf>1N_{\text{CFT}}>N_{f}>1 quarks. The first order line terminates at M=0M=0 with an SU(Nf)SU(N_{f}) non-linear sigma model.

Our discussion below will be restricted to NCFT>Nf1N_{\text{CFT}}>N_{f}\geq 1. We will briefly comment on the cases with Nf>NCFTN_{f}>N_{\text{CFT}}.

2.1.1 η\eta^{\prime} Effective Field Theory

For Nf=1N_{f}=1, the low energy dynamics of the η\eta^{\prime} particle near M=M0M=M_{0} can be described by an effective Lagrangian

η=fη2(12(η)2+κη+12μ2η2+14λη4),\mathcal{L}_{\eta^{\prime}}=f_{\eta^{\prime}}^{2}\left(\frac{1}{2}(\partial\eta^{\prime})^{2}+\kappa\eta^{\prime}+\frac{1}{2}\mu^{2}\eta^{\prime 2}+\frac{1}{4}\lambda\eta^{\prime 4}\right)~{}, (2.1)

where κIm(M)\kappa\propto\text{Im}(M) and μ2(Re(M)M0)\mu^{2}\propto(\text{Re}(M)-M_{0}). The η\eta^{\prime} particle is a pseuodoscalar so when it condenses for M<M0M<M_{0}, it breaks the time-reversal symmetry.

The η\eta^{\prime} particle has a particularly nice interpretation in the large NN limit. In the strictly infinite NN limit, the U(1)U(1) axial symmetry is restored at M=0M=0 and the η\eta^{\prime} particle can be identified with the phase of the chiral condensate

ψ¯ψ=fη2Λeiη,\langle\overline{\psi}\psi\rangle=f^{2}_{\eta^{\prime}}\Lambda e^{i\eta^{\prime}}~{}, (2.2)

and hence, as the Nambu-Goldstone boson of the restored U(1)U(1) axial symmetry. Here we define Λ\Lambda to be the QCD scale. Λ\Lambda does not scale with NN in the large NN limit but fηNΛf_{\eta^{\prime}}\sim\sqrt{N}\Lambda. Because of the Adler-Bell-Jackiw anomaly, 1/N1/N correction explicitly breaks the U(1)U(1) axial symmetry and correspondingly generates a small mass for the η\eta^{\prime} particle. For |M|Λ|M|\ll\Lambda, the η\eta^{\prime} particle can be described by an effective Lagrangian666The η\eta^{\prime} potential has a cusp singularity at θ=π\theta=\pi, which signals a rearrangement of the heavy fields. This means that the effective η\eta^{\prime} field theory breaks down when η\eta^{\prime} crosses ±π\pm\pi.

η=12fη2(η)2fη2Λ(Re(M)cosηIm(M)sinη)+12χΛ4mink(η+2πk)2.\mathcal{L}_{\eta^{\prime}}=\frac{1}{2}f_{\eta^{\prime}}^{2}\left(\partial\eta^{\prime})^{2}-f_{\eta^{\prime}}^{2}\Lambda(\text{Re}(M)\cos\eta^{\prime}-\text{Im}(M)\sin\eta^{\prime}\right)+\frac{1}{2}\chi\Lambda^{4}\text{min}_{k}(\eta^{\prime}+2\pi k)^{2}~{}. (2.3)

The effective Lagrangian only includes the leading 1/N1/N corrections. Here χ\chi is the topological susceptibility defined by the two-point function of the instanton density in the pure gauge theory. The η\eta^{\prime} particle becomes massless at M=M0M=M_{0} where M0=χΛ3/fη2M_{0}=-\chi\Lambda^{3}/f_{\eta^{\prime}}^{2}. Around M=M0M=M_{0}, the effective Lagrangian (2.3) reduces to (2.1).

2.1.2 SU(Nf)SU(N_{f}) Chiral Lagrangian

For NCFT>Nf>1N_{\text{CFT}}>N_{f}>1, the chiral symmetry is spontaneously broken at M=0M=0 which leads to an SU(Nf)SU(N_{f}) non-linear sigma model. We will ignore the dynamics of the η\eta^{\prime} field. The SU(Nf)SU(N_{f}) field is denoted by UU. When Nf3N_{f}\geq 3, the sigma model has a Wess-Zumino term, which is defined using a five-dimensional extension of the field configuration:

ΓWZ=i240π2N5Tr[(UdU)5],\Gamma_{\text{WZ}}=\frac{i}{240\pi^{2}}\int_{N_{5}}\text{Tr}\left[(U^{\dagger}dU)^{5}\right]~{}, (2.4)

where N5N_{5} is a five-manifold whose boundary is the original spacetime M4M_{4}. The coefficient of the Wess-Zumino term has to be an integer such that its weight exp(iΓWZ)\exp(i\Gamma_{\text{WZ}}) is independent of the extensions. In order to match with the perturabative ’t Hooft anomalies of QCD, the coefficient needs to be NN [30]. When Nf=2N_{f}=2, the sigma model has no Wess-Zumino term, instead, it has a four-dimensional 2\mathbb{Z}_{2}-valued discrete θ\theta term associated to π4(SU(2))=2\pi_{4}(SU(2))=\mathbb{Z}_{2} [31]. We will use the same notation ΓWZ\Gamma_{\text{WZ}} to denote the discrete θ\theta term. When Nf=2N_{f}=2, the ultraviolet theory has no perturbative anomaly for the SU(2)L×SU(2)RSU(2)_{L}\times SU(2)_{R} symmetry but it can have a non-pertubative 2\mathbb{Z}_{2}-valued SU(2)SU(2) anomaly associated to π4(SU(2))=2\pi_{4}(SU(2))=\mathbb{Z}_{2} [32]. To match with the non-perturbative anomaly, the coefficient of the θ\theta term has to be NN mod 2.

The chiral Lagrangian is still valid for |M|Λ|M|\ll\Lambda but it includes a potential generated by the fermion mass term. The full action is given by

Sπ=12fπ2M4(Tr(μUμU)ΛTr(MU+MU))+NΓWZ,S_{\pi}=\frac{1}{2}f_{\pi}^{2}\int_{M_{4}}\left(\text{Tr}(\partial_{\mu}U^{\dagger}\partial^{\mu}U)-\Lambda\text{Tr}(MU+M^{*}U^{\dagger})\right)+N\Gamma_{\text{WZ}}~{}, (2.5)

where M=meiθ/NfM=me^{i\theta/N_{f}} is defined before.

The non-linear sigma model has skyrmions associated to π3(SU(Nf))=\pi_{3}(SU(N_{f}))=\mathbb{Z}. These skyrmions are identified with the baryons in the ultraviolet theory [31]. The skyrmion current is given by

Jμ=124π2ϵμνρσTr[(UνU)(UρU)(UσU)].J_{\mu}=\frac{1}{24\pi^{2}}\epsilon_{\mu\nu\rho\sigma}\text{Tr}\left[(U^{\dagger}\partial^{\nu}U)(U^{\dagger}\partial^{\rho}U)(U^{\dagger}\partial^{\sigma}U)\right]~{}. (2.6)

The ’t Hooft anomalies involving the baryon current in the ultraviolet theory can be reproduced by the chiral Lagrangian with the skrymion current [30].

2.2 Interfaces

We can create an interface in QCD by making the θ\theta-angle vary from θ=0\theta=0 to θ=2πk\theta=2\pi k along one coordinate. Such θ\theta-varying interfaces have been discussed extensively in [9, 12, 19, 11, 3]. We will focus on the interfaces with k=1k=1.

For large fermion mass mΛm\gg\Lambda, the bulk theory reduces to an SU(N)SU(N) Yang-Mills theory with a varying θ\theta, which leads to an SU(N)1SU(N)_{-1} Chern-Simons theory on the interface. For small fermion mass mΛm\ll\Lambda, the bulk theory reduces to the effective field theories discussed in section 2.1. For Nf=1N_{f}=1, the effective field theory of the η\eta^{\prime} particle leads to a trivially gapped interface theory.

For NCFT>Nf>1N_{\text{CFT}}>N_{f}>1, the effective field theory is an SU(Nf)SU(N_{f}) non-linear sigma model with a position-dependent potential

12mfπ2Λ(eiθ(x)/NfTr(U)+c.c).-\frac{1}{2}mf_{\pi}^{2}\Lambda\left(e^{i\theta(x)/N_{f}}\text{Tr}(U)+c.c\right)~{}. (2.7)

On one side, θ=0\theta=0, the potential is minimized at U=𝟙U=\mathbbm{1}. On the other side, θ=2π\theta=2\pi, the potential is minimized at U=e2πi/Nf𝟙U=e^{-2\pi i/N_{f}}\mathbbm{1}. Without lost of generality, we can interpolate between them using a diagonal matrix

V=(eiφ1eiφ2eiφNf),φa=0 mod 2π.V=\left(\begin{array}[]{ccccc}e^{i\varphi_{1}}\\ &e^{i\varphi_{2}}\\ &&\cdots&\\ &&&e^{i\varphi_{N_{f}}}\end{array}\right),\quad\sum\varphi_{a}=0\text{ mod }2\pi~{}. (2.8)

The vacuum has φ1=(1Nf)φ\varphi_{1}=(1-N_{f})\varphi and φ2==φNf=φ\varphi_{2}=\cdots=\varphi_{N_{f}}=\varphi where φ(x)\varphi(x) is a function that interpolates from 0 to 2π/Nf-2\pi/{N_{f}}. The other vacua can be generated by the SU(Nf)SU(N_{f}) global symmetry U=gVgU=gVg^{\dagger}. The vacua constitute a

Nf1=U(Nf)U(1)×U(Nf1)\mathbb{CP}^{N_{f}-1}=\frac{U(N_{f})}{U(1)\times U(N_{f}-1)} (2.9)

manifold which then becomes the target space of the three-dimensional non-linear sigma model on the interface.

The sigma model has a three-dimensional Wess-Zimino term which descends from the Wess-Zumino term ΓWZ\Gamma_{\text{WZ}} of the bulk chiral Lagrangian [9]. The Nf1\mathbb{CP}^{N_{f}-1} sigma model can be parametrized by NfN_{f} complex scalars ΦI\Phi_{I} with a constraint ΦIΦI=1\sum\Phi_{I}^{\dagger}\Phi_{I}=1 and a U(1)U(1) gauge symmetry ΦIΦIeiλ\Phi_{I}\rightarrow\Phi_{I}e^{-i\lambda}. Alternatively, it can be parametrized by a U(Nf)U(N_{f}) matrix gIag_{Ia} with a U(1)×U(Nf1)U(1)\times U(N_{f}-1) block-diagonal gauge symmetry acting from the right. The two descriptions are related by ΦI=gI1\Phi_{I}=g_{I1}. The three-dimensional field on the interface and the four-dimensional bulk field U(x,z)U(x,\vec{z}) are related by

U(x,z)=g(z)V(x)g(z),U(x,\vec{z})=g(\vec{z})V(x)g(\vec{z})^{\dagger}~{}, (2.10)

where z\vec{z} denotes the transverse coordinates on the interface. To compute the Wess-Zumino term ΓWZ\Gamma_{\text{WZ}}, we can construct a five-dimensional extension of UU by extending only g(z)g(\vec{z}) to a four-manifold N4N_{4}. The boundary of N4N_{4} is the worldvolume of the interface M3M_{3}. This choice of extension is only for computational convenience. The Wess-Zumino term does depend on the choice of the extensions. We notice that

gUdUg=VgdgV+VdVgdg.g^{\dagger}U^{\dagger}dUg=V^{\dagger}g^{\dagger}dgV+V^{\dagger}dV-g^{\dagger}dg~{}. (2.11)

Since VV depends only on the xx coordinate, we need exactly one factor of VdVV^{\dagger}dV appearing in the Wess-Zumino term. The Wess-Zumino term NΓWZN\Gamma_{\text{WZ}} then simplifies to

iN48π2N4×Tr[VdV(VgdgVgdg)4]=Cabcd12π2N4(gdg)ab(gdg)bc(gdg)cd(gdg)da.\frac{iN}{48\pi^{2}}\int_{N_{4}\times\mathbb{R}}\text{Tr}\left[V^{\dagger}dV(V^{\dagger}g^{\dagger}dgV-g^{\dagger}dg)^{4}\right]=\frac{C_{abcd}}{12\pi^{2}}\int_{N_{4}}(g^{\dagger}dg)_{ab}(g^{\dagger}dg)_{bc}(g^{\dagger}dg)_{cd}(g^{\dagger}dg)_{da}~{}. (2.12)

The coefficient CabcdC_{abcd} is

Cabcd\displaystyle C_{abcd} =Nsin(φab2)sin(φbc2)sin(φcd2)sin(φda2)d(φba+φdc)\displaystyle=N\int\sin\left(\frac{\varphi_{ab}}{2}\right)\sin\left(\frac{\varphi_{bc}}{2}\right)\sin\left(\frac{\varphi_{cd}}{2}\right)\sin\left(\frac{\varphi_{da}}{2}\right)d\left(\varphi_{ba}+\varphi_{dc}\right) (2.13)
=3π2N((1δa1)δb1(1δc1)δd1δa1(1δb1)δc1(1δd1)),\displaystyle=\frac{3\pi}{2}N\big{(}(1-\delta_{a1})\delta_{b1}(1-\delta_{c1})\delta_{d1}-\delta_{a1}(1-\delta_{b1})\delta_{c1}(1-\delta_{d1})\big{)}~{},

where φab=φaφb\varphi_{ab}=\varphi_{a}-\varphi_{b}. In the end, we obtain the three-dimensional Wess-Zumino term for the Nf1\mathbb{CP}^{N_{f}-1} sigma model

N4πN4d(gdg)11d(gdg)11=N4πM3=N4b𝑑b,-\frac{N}{4\pi}\int_{N_{4}}d(g^{\dagger}dg)_{11}d(g^{\dagger}dg)_{11}=\frac{N}{4\pi}\int_{M_{3}=\partial N_{4}}bdb~{}, (2.14)

where we define a composite gauge field b=iΦIdΦI=i(gdg)11b=i\sum\Phi_{I}^{\dagger}d\Phi_{I}=i(g^{\dagger}dg)_{11}. When Nf=2N_{f}=2, the bulk theory has only a discrete 2\mathbb{Z}_{2}-valued θ\theta term, which reduces to the discrete 2\mathbb{Z}_{2}-valued θ\theta term of the 1\mathbb{CP}^{1} non-linear sigma model associated to π3(1)=\pi_{3}(\mathbb{CP}^{1})=\mathbb{Z} [33, 34]. The θ\theta-term can also be presented as a Chern-Simons term of the composite gauge field bb

πN(14π2M3b𝑑b).\pi N\left(\frac{1}{4\pi^{2}}\int_{M_{3}}bdb\right)~{}. (2.15)

The term in the parenthesis is an integer when M3M_{3} is a closed manifolds.

Using the relation (2.10), we can also reduce the bulk skyrmion current (2.6) to the interface:

Jμ𝑑x=18π2ϵμνρ(gνg)ab(gρg)basin2(φab2)𝑑φba=14πϵμνρνbρ,\int J_{\mu}dx=\frac{1}{8\pi^{2}}\epsilon_{\mu\nu\rho}(g^{\dagger}\partial^{\nu}g)_{ab}(g^{\dagger}\partial^{\rho}g)_{ba}\int\sin^{2}\left(\frac{\varphi_{ab}}{2}\right)d\varphi_{ba}=\frac{1}{4\pi}\epsilon_{\mu\nu\rho}\partial^{\nu}b^{\rho}~{}, (2.16)

where the indices are restricted to the ones for the transverse coordinates. The reduced current coincides with the skyrmion current of the Nf1\mathbb{CP}^{N_{f}-1} sigma model associated to π2(Nf1)=\pi_{2}(\mathbb{CP}^{N_{f}-1})=\mathbb{Z}. This means that skyrmions in the Nf1\mathbb{CP}^{N_{f}-1} sigma model can be interpreted as baryons localized on the interfaces.

In summary, the k=1k=1 interface theory has two phases. For large fermion mass mΛm\gg\Lambda, the theory is an SU(N)1SU(N)_{-1} Chern-Simons theory. For small fermion mass mΛm\ll\Lambda, the theory is trivially gapped when Nf=1N_{f}=1, a Nf1\mathbb{CP}^{N_{f}-1} non-linear sigma model with a Wess-Zumino term when NCFT>Nf>1N_{\text{CFT}}>N_{f}>1. For Nf>NCFTN_{f}>N_{\text{CFT}}, it is natural to conjecture that the interface theory remains SU(N)1SU(N)_{-1} Chern-Simons theory for all mass [9].

For NCFT>Nf1N_{\text{CFT}}>N_{f}\geq 1, the interface must go through a phase transition when the bulk fermion mass increases. Whether this phase transition is first-ordered or second-order has not been determined. A possible three-dimensional theory that captures this phase transition is U(1)NU(1)_{N} Chern-Simons theory coupled to NfN_{f} scalars [9]. The theory is consistent with the anomaly inflow from the bulk [9, 3]. It has a conjectured fermionic dual, an SU(N)1+Nf/2SU(N)_{-1+N_{f}/2} Chern-Simons theory coupled to NfN_{f} fermions [14]. In the following sections, we will assume the validity of these effective interface theories.

Let us briefly summarize the dynamics on k>1k>1 interfaces. We will assume k<Nf/2k<N_{f}/2. The theories on the interfaces depend on how fast θ\theta varies. For large mass mΛm\gg\Lambda, there is only one interface that supports an SU(N)kSU(N)_{-k} when |θ|Λ|\nabla\theta|\gg\Lambda and kk separated interfaces with each of them supporting an SU(N)1SU(N)_{-1} when |θ|Λ|\nabla\theta|\ll\Lambda. For small mass mΛm\ll\Lambda, the interface theory is trivially gapped for Nf=1N_{f}=1 and a non-linear sigma model for NCFT>Nf>1N_{\text{CFT}}>N_{f}>1. When |θ|mΛ|\nabla\theta|\gg\sqrt{m\Lambda}, there is only one interface and the target space of the sigma model is the Grassmannian manifold

(k,Nfk)=U(Nf)U(k)×U(Nfk).\mathcal{M}(k,N_{f}-k)=\frac{U(N_{f})}{U(k)\times U(N_{f}-k)}~{}. (2.17)

When |θ|mΛ|\nabla\theta|\ll\sqrt{m\Lambda}, there are kk interfaces and each of them supports a Nf1\mathbb{CP}^{N_{f}-1} sigma model. As before, these non-linear sigma models have nontrivial Wess-Zumino terms (see appendix A.2 for a detailed discussion on the Wess-Zumino terms).

3 Large Radius Behavior and Anomaly Inflow

We now promote the complex fermion mass mm to be space-dependent while fixing the θ\theta-angle to be zero. The fermion mass has a winding profile m=εreiαΛ2m=\varepsilon re^{i\alpha}\Lambda^{2}.777Even though the theory depends only on MNfM^{N_{f}}, we can not consider the fermion mass profile mreiα/Nfm\propto re^{i\alpha/N_{f}} since it has branch cut. We will first analyze the theory at large radius and then determine the dynamics in the interior in the subsequent sections.

At large radius where |m|Λ|m|\gg\Lambda, we can integrate out the fermions. In this process, we will keep track of the classical counterterms of the background gauge fields and the metric.

The global symmetry of the theory includes a U(Nf)/NU(N_{f})/\mathbb{Z}_{N} symmetry. For simplicity, we will not couple the theory to the most general background. Instead, we turn on only an SU(Nf)×U(1)SU(N_{f})\times U(1) background. The background consists of a U(1)U(1) gauge field AA with a field strength FAF_{A} and an SU(Nf)SU(N_{f}) gauge field BB with a field strength FBF_{B}. The two gauge fields can be combined into a U(Nf)U(N_{f}) gauge field B+A𝟙B+A\mathbbm{1}. AA can be viewed as the background gauge field of the baryon symmetry. It is normalized such that the baryon has charge NN.

Before integrating out the fermions, we can remove the phase of the fermion mass mm by a chiral rotation. This generates a winding θ\theta-angle for the dynamical and background gauge fields as well as for the metric:888The integral 1384π2Tr(RR)\frac{1}{384\pi^{2}}\int\text{Tr}(R\wedge R) is an integer on closed spin manifolds and an integer multiple of 148\frac{1}{48} on closed non-spin manifolds. It defines the gravitational Chern-Simons term dCSgrav=1384π2Tr(RR)d\text{CS}_{\text{grav}}=\frac{1}{384\pi^{2}}\text{Tr}(R\wedge R).

NfαTr(ff)8π2+NNfαFAFA8π2+NαTr(FBFB)8π2+2NNfαTr(RR)384π2.\mathcal{L}\supset N_{f}\alpha\frac{\text{Tr}(f\wedge f)}{8\pi^{2}}+NN_{f}\alpha\frac{F_{A}\wedge F_{A}}{8\pi^{2}}+N\alpha\frac{\text{Tr}(F_{B}\wedge F_{B})}{8\pi^{2}}+2NN_{f}\alpha\frac{\text{Tr}(R\wedge R)}{384\pi^{2}}~{}. (3.1)

We emphasize that this procedure is possible only for non-zero mm and therefore only away from r=0r=0. After integrating out the fermions, the large radius theory becomes a pure SU(N)SU(N) Yang-Mills theory with θ=Nfα\theta=N_{f}\alpha supplemented by a winding counterterm for the background.

It is well-known that quantum field theories are subject to an ambiguity due to the addition of smooth space-dependent counterterms. Since the plane is contractible, the coefficients of smooth counterterms can never have nontrivial winding numbers around infinity. This means that the winding number of the counterterm at infinity is robust but the precise form of the counterterm can be deformed as long as the winding number is preserved. The winding counterterm provides an anomaly inflow to the interior. The anomaly inflow is characterized by an anomaly polynomial

2πNNfFAFA8π22πNTr(FBFB)8π24πNNfTr(RR)384π2,-2\pi NN_{f}\frac{F_{A}\wedge F_{A}}{8\pi^{2}}-2\pi N\frac{\text{Tr}(F_{B}\wedge F_{B})}{8\pi^{2}}-4\pi NN_{f}\frac{\text{Tr}(R\wedge R)}{384\pi^{2}}~{}, (3.2)

which depends only on the winding number of the counterterm.

The winding θ\theta-angle for the dynamical gauge field, θ=Nfα\theta=N_{f}\alpha, leads to NfN_{f} interfaces centered at α=(π+2π)/Nf\alpha=(\pi+2\pi\mathbb{Z})/N_{f}. Notice that the condition |θ|Λ|\nabla\theta|\ll\Lambda always holds at sufficiently large radius. Each of these interfaces support an SU(N)1SU(N)_{-1} Chern-Simons theory. For Nf=1N_{f}=1, the only interface must end with a boundary in the interior. For Nf=2N_{f}=2, the two interfaces can connect into one interface. For Nf>2N_{f}>2, the interfaces can form junctions at the origin. The SU(N)1SU(N)_{-1} Chern-Simons theories on each interfaces provide a gravitational anomaly inflow to the interior. The gravitational anomaly inflow is determined by the framing anomaly or the chiral central charge cc of the Chern-Simons theory [35, 36]. It is characterized by the anomaly polynomial

4πcTr(RR)384π2.-4\pi c\frac{\text{Tr}(R\wedge R)}{384\pi^{2}}~{}. (3.3)

The chiral central charge of the SU(N)1SU(N)_{-1} theory is c=1Nc=1-N.

Combining the contributions from the winding counterterm and from the NfN_{f} SU(N)1SU(N)_{-1} Chern-Simons theories, the total anomaly inflow to the interior is

2πNNfFAFA8π22πNTr(FBFB)8π24πNfTr(RR)384π2.-2\pi NN_{f}\frac{F_{A}\wedge F_{A}}{8\pi^{2}}-2\pi N\frac{\text{Tr}(F_{B}\wedge F_{B})}{8\pi^{2}}-4\pi N_{f}\frac{\text{Tr}(R\wedge R)}{384\pi^{2}}~{}. (3.4)

The anomaly inflow only constrains the dynamics in the interior. Below, we will present a coherent picture of the interior using various low energy effective field theories for the bulk and for the interfaces.

4 Interior for Nf=1N_{f}=1

Here we focus on QCD with one quark. The analysis in section 3 shows that at large radius, the theory has only one interface centered at α=π\alpha=\pi with an SU(N)1SU(N)_{-1} Chern-Simons theory on its worldvolume together with a winding counterterm

NαFAFA8π2+2NαTr(RR)384π2.N\alpha\frac{F_{A}\wedge F_{A}}{8\pi^{2}}+2N\alpha\frac{\text{Tr}(R\wedge R)}{384\pi^{2}}~{}. (4.1)

We can deform the counterterm such that it jumps across the interface

2πNΘ(απ)(FAFA8π2+2Tr(RR)384π2).2\pi N\Theta(\alpha-\pi)\left(\frac{F_{A}\wedge F_{A}}{8\pi^{2}}+2\frac{\text{Tr}(R\wedge R)}{384\pi^{2}}\right)~{}. (4.2)

Here Θ(x)\Theta(x) is the Heaviside step function. This generates some classical Chern-Simons terms on the interface

N4πAdA2NCSgrav.-\frac{N}{4\pi}AdA-2N\text{CS}_{\text{grav}}~{}. (4.3)

Here AA is a U(1)U(1) gauge field with 2π2\pi integer flux. More generally, we can promote AA to a U(1)/NU(1)/\mathbb{Z}_{N} gauge field with fractional flux since the faithful global symmetry is U(1)/NU(1)/\mathbb{Z}_{N}. This twists the dynamical gauge bundle to a PSU(N)PSU(N) bundle such that the combination c~=c+A𝟙\widetilde{c}=c+A\mathbbm{1} is always a well-defined U(N)U(N) gauge field. This allows us to combine the dynamical SU(N)1SU(N)_{-1} Chern-Simons theory with the classical Chern-Simons term (4.3), which gives

=14πTr(c~dc~2i3c~3)12πad(Tr(c~)NA)2NCSgrav,\mathcal{L}=-\frac{1}{4\pi}\text{Tr}\left(\widetilde{c}d\widetilde{c}-\frac{2i}{3}\widetilde{c}^{3}\right)-\frac{1}{2\pi}ad(\text{Tr}(\widetilde{c})-NA)-2N\text{CS}_{\text{grav}}~{}, (4.4)

where aa is a dynamical U(1)U(1) gauge field that acts as a Lagrangian multiplier. The combined theory is level-rank dual to a U(1)NU(1)_{N} Chern-Simons theory with no additional counterterms [37]:

=N4πada+N2πadA.\mathcal{L}=\frac{N}{4\pi}ada+\frac{N}{2\pi}adA~{}. (4.5)

The background gauge field AA now couples to the magnetic U(1)U(1) symmetry of the dual theory. We will use the U(1)NU(1)_{N} description for the interface theory below.

The theory has only one interface at large radius so the interface has to terminate somewhere in the bulk. The bulk phase diagram suggests that the interface continues all the way along α=π\alpha=\pi following the first-order phase transition line and ends around x0=M0/(εΛ2)x_{0}=M_{0}/(\varepsilon\Lambda^{2}) where the quadratic potential of the η\eta^{\prime} particle vanishes. The dynamics in the interior is summarized in figure 2.

Refer to caption
Figure 2: The dynamics in the interior for a space-dependent mass profile m=εreiαΛ2m=\varepsilon re^{i\alpha}\Lambda^{2} when Nf=1N_{f}=1. The interface extends along the negative xx axis and terminates at some point. At radius R1R_{1}, the theory on the interface undergoes a transition from an SU(N)1SU(N)_{-1} Chern-Simons theory to a trivially gapped theory which leads to a 1+1 dimensional compact chiral boson on the transition interface.

On the interface, at certain radius R11/(εΛ)R_{1}\sim 1/(\varepsilon\Lambda) where |m|Λ|m|\sim\Lambda, the theory undergoes a transition from a U(1)NU(1)_{N} Chern-Simons theory to a trivial theory. We will assume the transition can be described by an effective theory on the interface: a U(1)NU(1)_{N} Chern-Simons theory coupled to a complex scalar. The transition leads to an interface in the effective theory where the mass squared of the scalar interpolates from a positive value to a negative value. We will refer to this interface as the transition interface. The theory is equivalent to a U(1)NU(1)_{N} Chern-Simons theory on one side where the scalar is massive, and a trivial theory on the other side where the scalar has a non-zero vacuum expectation value.

The transition interface is analyzed in appendix A. We will use the light coordinate for the transverse directions

x±=12(t±z),±=t±z,a±=at±az.x_{\pm}=\frac{1}{2}(t\pm z),\quad\partial_{\pm}=\partial_{t}\pm\partial_{z},\quad a_{\pm}=a_{t}\pm a_{z}~{}. (4.6)

It is shown that the transition leads to a chiral Dirichlet boundary condition a=0a_{-}=0 on the transition interface, which gives rise to a 1+1 dimensional compact chiral boson on the interface [38, 39, 40]. The action of the chiral boson is

S=d2x(N4πϕ+ϕ+N2πA+ϕ).S=\int d^{2}x\left(-\frac{N}{4\pi}\partial_{-}\phi\partial_{+}\phi+\frac{N}{2\pi}A_{-}\partial_{+}\phi\right)~{}. (4.7)

ϕ\phi is periodic ϕϕ+2π\phi\sim\phi+2\pi, and it has a gauge symmetry ϕϕ+λ(x)\phi\rightarrow\phi+\lambda(x_{-}) which eliminates the anti-chiral modes. The background gauge field AA for the baryon symmetry now couples to the shift symmetry of the compact boson. Under the background gauge transformation,

AA+dξ,ϕϕ+ξ,A\rightarrow A+d\xi,\quad\phi\rightarrow\phi+\xi~{}, (4.8)

the action is not invariant instead it is shifted by

SS+d2x(N4πξ+ξ+N2πA+ξ).S\rightarrow S+\int d^{2}x\left(\frac{N}{4\pi}\partial_{-}\xi\partial_{+}\xi+\frac{N}{2\pi}A_{-}\partial_{+}\xi\right)~{}. (4.9)

This represents an ’t Hooft anomaly that can be canceled by the following 2+1 dimensional invertible field theory together with a 1+1 dimensional counterterm

N4πd3xϵμνρAμνAρN4πd2xAA+.-\frac{N}{4\pi}\int d^{3}x\,\epsilon^{\mu\nu\rho}A_{\mu}\partial_{\nu}A_{\rho}-\frac{N}{4\pi}\int d^{2}x\,A_{-}A_{+}~{}. (4.10)

The corresponding anomaly polynomial matches with the U(1)U(1) part of the anomaly inflow (3.4) from infinity. The chiral central charge of the theory cLcR=1c_{L}-c_{R}=1 also agrees with the anomaly inflow.

Interestingly, the excitations of the chiral boson can carry baryon charges. Consider a vertex operator 𝒪N=eiNϕ\mathcal{O}_{N}=e^{iN\phi}. The operator carries NN U(1)U(1) charge or equivalently one unit of baryon charge. The corresponding excitation can be interpreted as baryons in the ultraviolet theory, ϵa1aNψa1ψaN\epsilon^{a_{1}\cdots a_{N}}\psi_{a_{1}}\cdots\psi_{a_{N}}, that are localized on the 1+1 dimensional transition interface. This observation has been recently employed in the quantum Hall droplet proposal for the Nf=1N_{f}=1 baryons [15]. Let us briefly summarize the proposal. Within the large NN effective field theory of η\eta^{\prime}, one can define a two-form global symmetry associated to the topological current

Jμνρ=12πϵμνρσση.J_{\mu\nu\rho}=\frac{1}{2\pi}\epsilon_{\mu\nu\rho\sigma}\partial^{\sigma}\eta^{\prime}~{}. (4.11)

The charged objects are two-dimensional sheets. Such two-form symmetry is absent in the ultraviolet theory, which means that the charged sheets are only meta-stable excitations in the full theory. It was proposed that these meta-stable sheets have a compact chiral boson on their boundary, and following the same discussions above, the sheets with nontrivial boundary excitations can be interpreted as baryons in the ultraviolet theory [15].999See [41] for discussions on the connections between the Nf=1N_{f}=1 quantum Hall droplet and the Nf>1N_{f}>1 Skyrmions. As a nontrivial check, the operator 𝒪N\mathcal{O}_{N} has spin N/2N/2, which precisely matches with the spin of the baryons. The chiral boson has more basic vertex operators such as 𝒪1=eiϕ\mathcal{O}_{1}=e^{i\phi} which can be thought as the end point of the charge 1 Wilson line in the U(1)NU(1)_{N} Chern-Simons theory. This operator should be contrasted with the genuine local operator 𝒪N=eiNϕ\mathcal{O}_{N}=e^{iN\phi} that connects to a transparent Wilson line in the Chern-Simon theory. The excitations corresponding to 𝒪1\mathcal{O}_{1} have fractional 1/N1/N baryon charge. Hence they can be interpreted as a liberated quark localized on the transition interface.

Let us come back to our analysis of the interface. Around the end point of the interface, the effective field theory of the η\eta^{\prime} particle is valid. Its Lagrangian is

=fη2(12(η)2+κ(y)η+12μ2(x)η2+14λη4),\mathcal{L}=f_{\eta^{\prime}}^{2}\left(\frac{1}{2}(\partial\eta^{\prime})^{2}+\kappa(y)\eta^{\prime}+\frac{1}{2}\mu^{2}(x)\eta^{\prime 2}+\frac{1}{4}\lambda\eta^{\prime 4}\right)~{}, (4.12)

where κ(y)εy\kappa(y)\propto\varepsilon y and μ2(x)ε(xx0)\mu^{2}(x)\propto\varepsilon(x-x_{0}). The quadratic term in the η\eta^{\prime} potential vanishes at x0x_{0}. One may suspect that the η\eta^{\prime} particle gets localized at x0x_{0} and becomes gapless 1+1 dimensional excitations. In appendix B, we analyze the system in an extreme scenerio where κ(y)\kappa(y) and μ2(x)\mu^{2}(x) are discontinuous step functions. We observe that the 1+1 dimensional effective mass of the η\eta^{\prime} particle is always positive. Even though the analysis is restricted to discontinuous profiles, we expect the conclusion holds for generic profiles. This suggests that there are no gapless degrees of freedom localized at x0x_{0}.

Let us compare the η\eta^{\prime} profile in our system with the one around the η\eta^{\prime} sheet. We will work with the large NN chiral Lagrangian (2.3). Consider the theory at a radius which is large compared to the scales in (4.12) but sill small enough such that the chiral Lagrangian is valid. At such radius, the potential energy dominates the chiral Lagrangian so in order to minimize the potential, ηα\eta^{\prime}\approx-\alpha for α(π+ϵ,πϵ)\alpha\in(-\pi+\epsilon,\pi-\epsilon) where ϵ\epsilon denotes a small angle. In order to avoid the singularity at the origin, η\eta^{\prime} can not have a nontrivial winding number at large radius so it increases rapidly from ηπ+ϵ\eta^{\prime}\approx-\pi+\epsilon to ηπϵ\eta^{\prime}\approx\pi-\epsilon for α(πϵ,π+ϵ)\alpha\in(\pi-\epsilon,\pi+\epsilon). This leads to an interface centered at α=π\alpha=\pi. The η\eta^{\prime} profile is everywhere smooth and never crosses η=π\eta^{\prime}=\pi. It is to be contrasted with the η\eta^{\prime} sheet where η\eta^{\prime} changes by 2π2\pi across the sheet and it remains constant away from the sheet. This configuration has a nontrivial winding around the boundary of the sheet, and hence generates a singularity on the boundary. The singularity can not be computed in the η\eta^{\prime} effective field theory but it can be resolved in the full theory by a vanishing vacuum expectation value of the chiral condensate.

5 Interior for Nf>1N_{f}>1

We now consider QCD with more than one quark. The Nf=2N_{f}=2 case will be discussed separately in a subsection. We will assume NCFT>NfN_{\text{CFT}}>N_{f} so that the chiral Lagrangian is valid. The analysis in section 3 shows that at large radius, the theory has NfN_{f} interfaces centered at α=(π+2π)/Nf\alpha=(\pi+2\pi\mathbb{Z})/N_{f} with an SU(N)1SU(N)_{-1} Chern-Simons theory on the worldvolume of each interface. There is also a winding counterterm

NNfαFAFA8π2+NαTr(FBFB)8π2+2NNfαTr(RR)384π2.NN_{f}\alpha\frac{F_{A}\wedge F_{A}}{8\pi^{2}}+N\alpha\frac{\text{Tr}(F_{B}\wedge F_{B})}{8\pi^{2}}+2NN_{f}\alpha\frac{\text{Tr}(R\wedge R)}{384\pi^{2}}~{}. (5.1)

As in the Nf=1N_{f}=1 case, we can deform the counterterm such that the gravitational counterterm and the U(1)U(1) counterterm jump across each interface

NαTr(FBFB)8π2+2πNa=1NfΘ(α(2a1)πNf)(FAFA8π2+2Tr(RR)384π2).N\alpha\frac{\text{Tr}(F_{B}\wedge F_{B})}{8\pi^{2}}+2\pi N\sum_{a=1}^{N_{f}}\Theta\left(\alpha-\frac{(2a-1)\pi}{N_{f}}\right)\left(\frac{F_{A}\wedge F_{A}}{8\pi^{2}}+2\frac{\text{Tr}(R\wedge R)}{384\pi^{2}}\right)~{}. (5.2)

This generates the classical Chern-Simons term (4.3) on each interface. With this counterterm, the interface theory can be dualized to a U(1)NU(1)_{N} Chern-Simons theory. There still remains a winding counterterm for the SU(Nf)SU(N_{f}) gauge field BB.

The dynamics in the interior depends on how large ε\varepsilon is. The discussions will be divided into two cases: ε1\varepsilon\ll 1 and ε1\varepsilon\gtrsim 1.

5.1 Slowly Varying Mass Profile

We will first consider the case of ε1\varepsilon\ll 1. The dynamics in the interior is summarized in figure 3. The interfaces at large radius extend towards the interior along the radial direction. When they enter certain radius R11/(εΛ)R_{1}\sim 1/(\varepsilon\Lambda) where |m|Λ|m|\sim\Lambda, the theories on the interfaces undergo a transition from a U(1)NU(1)_{N} Chern-Simons theory to a Nf1\mathbb{CP}^{N_{f}-1} sigma model with a Wess-Zumino term. At the transition radius R1R_{1}, |θ|1/R1εΛΛ|\nabla\theta|\sim 1/R_{1}\sim\varepsilon\Lambda\ll\Lambda, the interfaces are still far apart.

Refer to caption
Figure 3: The dynamics in the interior for a space-dependent mass m=εreiαΛ2m=\varepsilon re^{i\alpha}\Lambda^{2} with ε1\varepsilon\ll 1 when Nf=3N_{f}=3. There are NfN_{f} interfaces continuing from infinity to the origin. When the interfaces pass through radius R11/(εΛ)R_{1}\sim 1/(\varepsilon\Lambda), the theories on the interfaces undergo a transition from SU(N)1SU(N)_{-1} Chern-Simons theory to a Nf1\mathbb{CP}^{N_{f}-1} sigma model with a Wess-Zumino term which leads to 1+1 dimensional chiral modes localized at the transition interfaces. The interfaces form an interface junction of size R21/(ε1/3Λ)R_{2}\sim 1/(\varepsilon^{1/3}\Lambda) at the origin. On the interface junction, one should impose an orthogonality boundary condition IΦIaΦIb=δab\sum_{I}\Phi_{Ia}^{\dagger}\Phi_{Ib}=\delta_{ab} for the NfN_{f} Nf1\mathbb{CP}^{N_{f}-1} sigma models. This reduces the target space on the junction from NfN_{f} independent copies of Nf1\mathbb{CP}^{N_{f}-1} manifold to the flag manifold U(Nf)/U(1)NfU(N_{f})/U(1)^{N_{f}}. The flag sigma model on the junction is supplemented by a Wess-Zumino term SWZWS_{\text{WZW}} defined in (5.22).

In general, there are many different boundary conditions one can choose between the U(1)NU(1)_{N} Chern-Simons theory and the Nf1\mathbb{CP}^{N_{f}-1} sigma model. Here we determine the boundary condition by assuming that the transition is described by an effective theory on the interface: a U(1)NU(1)_{N} Chern-Simons theory coupled to NfN_{f} complex scalars. The transition leads to an interface in the effective theory where the mass squared of the scalars interpolates from a positive value to a negative value. We will refer to this interface as the transition interface. On one side of the transition interface, the scalars are massive so the theory is equivalent to a U(1)NU(1)_{N} Chern-Simons theory. On the other side, the scalars have a non-zero vacuum expectation value so the theory is equivalent to a Nf1\mathbb{CP}^{N_{f}-1} sigma model.

As discussed in section 2.2, the Nf1\mathbb{CP}^{N_{f}-1} sigma model can be parameterized by NfN_{f} complex scalars ΦI\Phi_{I} with a constraint ΦIΦI=1\sum\Phi_{I}^{\dagger}\Phi_{I}=1 and a U(1)U(1) gauge symmetry ΦIΦIeiλ\Phi_{I}\rightarrow\Phi_{I}e^{-i\lambda}. We define a composite gauge field b=iΦIdΦIb=i\sum\Phi_{I}^{\dagger}d\Phi_{I} that transforms as an ordinary gauge field under the gauge symetry.

The transition interface is analyzed in appendix A. It is shown that the transition leads to a chiral boundary condition a=ba_{-}=b_{-} that identifies a light cone component of the Chern-Simons gauge field aa with the corresponding light cone component of the composite gauge field bb on the interface. The U(1)U(1) gauge symmetries on both sides share the same gauge parameter on the interface. As discussed in appendix A, after integrating out the Chern-Simons gauge field and fixing the gauge symmetry, a boundary term on the transition interface is generated for the Nf1\mathbb{CP}^{N_{f}-1} sigma model. The action of the system is

S=d3x(v02DμΦIDμΦI+N4πϵμνρbμνbρ)N4πd2xbb+,S=\int d^{3}x\left(v_{0}^{2}D^{\mu}\Phi_{I}^{\dagger}D_{\mu}\Phi_{I}+\frac{N}{4\pi}\epsilon^{\mu\nu\rho}b_{\mu}\partial_{\nu}b_{\rho}\right)-\frac{N}{4\pi}\int d^{2}x\,b_{-}b_{+}~{}, (5.3)

where DΦI=(+ib)ΦID\Phi_{I}=(\partial+ib)\Phi_{I}. Any two-dimensional integral should be understood as the integral on the transition interface. The U(1)U(1) gauge symmetry of ΦI\Phi_{I} is restricted on the transition interface such that the gauge parameter can depends on xx_{-} on the boundary. This leads to a chiral mode that depends only on x+x_{+} which absorbs the gravitational anomaly inflow (3.4) from infinity. We can couple the system to the U(1)U(1) background gauge field AA through

N2πd3xϵμνρAμνbρN2πd2xAb+.\frac{N}{2\pi}\int d^{3}x\,\epsilon^{\mu\nu\rho}A_{\mu}\partial_{\nu}b_{\rho}-\frac{N}{2\pi}\int d^{2}x\,A_{-}b_{+}~{}. (5.4)

The background AA couples to both the skyrmion current in the bulk of the interface and the current localized on the transition interface. These currents should be interpreted as baryon currents. Under the background gauge transformation

AA+dξ,ΦIeiξΦI,bbdξ,A\rightarrow A+d\xi,\quad\Phi_{I}\rightarrow e^{i\xi}\Phi_{I},\quad b\rightarrow b-d\xi~{}, (5.5)

the action is not invariant instead it is shifted by

SS+d2x(N4πξ+ξ+N2πA+ξ).S\rightarrow S+\int d^{2}x\left(\frac{N}{4\pi}\partial_{-}\xi\partial_{+}\xi+\frac{N}{2\pi}A_{-}\partial_{+}\xi\right)~{}. (5.6)

This represents an ’t Hooft anomaly that can be canceled by the 2+1 dimensional invertible field theory (4.10). The corresponding anomaly polynomial matches with the U(1)U(1) part of the anomaly inflow (3.4) from infinity.

After passing through the transition radius R1R_{1}, the interfaces continue towards the origin. In the domain around the origin where |m|Λ|m|\ll\Lambda, the low energy dynamics can be described by the chiral Lagrangian with a space-dependent potential

π=12fπ2Tr(μUμU)12εfπ2Λ3(reiαTr(U)+reiαTr(U)).\mathcal{L}_{\pi}=\frac{1}{2}f_{\pi}^{2}\text{Tr}(\partial_{\mu}U^{\dagger}\partial^{\mu}U)-\frac{1}{2}\varepsilon f_{\pi}^{2}\Lambda^{3}\big{(}re^{i\alpha}\text{Tr}(U)+re^{-i\alpha}\text{Tr}(U^{\dagger})\big{)}~{}. (5.7)

The interfaces are still far apart whenever the condition |θ|1/rmΛ=εrΛ3|\nabla\theta|\sim 1/r\ll\sqrt{m\Lambda}=\sqrt{\varepsilon r\Lambda^{3}} holds. However, the condition is violated within the radius R21/(ε1/3Λ)R_{2}\sim 1/(\varepsilon^{1/3}\Lambda) where the interfaces smear out and form an interface junction (see figure 3).

Between R1R_{1} and R2R_{2}, each interface supports a Nf1\mathbb{CP}^{N_{f}-1} sigma model. As discussed in section 2.2, these sigma models arise because the eigenvalues of the bulk field UU interpolate across the interfaces following different trajectories which break the SU(Nf)SU(N_{f}) symmetry of the bulk chiral Lagrangian.

Now with a winding mass the eigenvalues will depend on both the radial and the angular coordinates. Let us denote the vacuum eigenvalue matrix of the bulk field UU by

V(r,α)=(eiφ1eiφ2eiφNf),φa=0 mod 2π.V(r,\alpha)=\left(\begin{array}[]{ccccc}e^{i\varphi_{1}}\\ &e^{i\varphi_{2}}\\ &&\cdots&\\ &&&e^{i\varphi_{N_{f}}}\end{array}\right),\quad\sum\varphi_{a}=0\text{ mod }2\pi~{}. (5.8)

All vacua can be generated by the SU(Nf)SU(N_{f}) symmetry VgVgV\rightarrow gVg^{\dagger}. Outside the radius R2R_{2}, the eigenvalues depend only on the angular coordinate α\alpha. We will determine how the eigenvalues interpolate as α\alpha winds outside R2R_{2}. Let us partition the angular coordinate α\alpha into NfN_{f} intervals labeled by n=0,,Nf1n=0,\cdots,N_{f}-1

In=[αn,αn+1],αn=2πnNf.I_{n}=[\alpha_{n},\alpha_{n+1}],\qquad\alpha_{n}=\frac{2\pi n}{N_{f}}. (5.9)

Within each interval, there is exactly one interface so the eigenvalues should follow the same trajectories as how they interpolate across an interface described in section 2.2. On the nn-th interval InI_{n}, the phases of the eigenvalues interpolate from (αn-\alpha_{n} mod 2π2\pi) to (αn+1-\alpha_{n+1} mod 2π2\pi). Nf1N_{f}-1 of them interpolate using φ(ααn)\varphi(\alpha-\alpha_{n}) and the remaining one interpolates in the opposite direction using (Nf1)φ(ααn)-(N_{f}-1)\varphi(\alpha-\alpha_{n}). Here φ(α)\varphi(\alpha) is a function on [0,2π/Nf][0,{2\pi}/{N_{f}}] which interpolates from 0 to 2π/Nf-{2\pi}/{N_{f}}. It is crucial that these phases can not have nontrivial winding numbers at infinity, otherwise, they develop a singularity in the interior. The only way to achieve this is to demand that each phase interpolates using (Nf1)φ(ααn)-(N_{f}-1)\varphi(\alpha-\alpha_{n}) once in one of the NfN_{f} intervals. Gluing the NfN_{f} intervals together, the phases are smooth functions of α\alpha in the following form

φa=Nfφ(ααa)Πa+n=a+1Nf2πΠn+n=0Nf1(φ(ααn)αn)Πn+1.\varphi_{a}=-N_{f}\varphi\left(\alpha-\alpha_{a}\right)\Pi_{a}+\sum_{n={a+1}}^{N_{f}}2\pi\Pi_{n}+\sum_{n=0}^{N_{f}-1}\left(\varphi\left(\alpha-\alpha_{n}\right)-\alpha_{n}\right)\Pi_{n+1}~{}. (5.10)

Here Πn(α)=Θ(ααn1)Θ(ααn)\Pi_{n}(\alpha)=\Theta(\alpha-\alpha_{n-1})-\Theta(\alpha-\alpha_{n}) denotes a rectangular function that has support only on the interval In1I_{n-1}. Figure 4 sketches how the phases interpolate as α\alpha winds outside R2R_{2}. They set the boundary conditions for the phases inside R2R_{2}.

Refer to caption
Figure 4: The trajectories of the phases φa(α)\varphi_{a}(\alpha) outside R2R_{2} for Nf=4N_{f}=4. We deliberately split the trajectories by a tiny amount for a better illustration. The trajectories that are close to each other suppose to coincide.

Different eigenvalues have different boundary conditions at the radius R2R_{2} so the SU(Nf)SU(N_{f}) global symmetry is broken to its Cartan subgroup U(1)Nf1U(1)^{N_{f}-1} inside R2R_{2}. This leads to a 1+1 dimensional sigma model at the center whose target space is the flag manifold

U(Nf)a=1NfU(1).\frac{U(N_{f})}{\prod_{a=1}^{N_{f}}U(1)}~{}. (5.11)

We will refer to this sigma model as flag sigma model.101010See [42, 43, 44] for discussions on 1+1 dimensional sigma models whose target space is a flag manifold. We emphasize that the flag sigma model at the center is not an isolated theory. It lives on the junction of the NfN_{f} incoming interfaces so it should be viewed as the boundary theory of the NfN_{f} copies of gapless 2+1 dimensional Nf1\mathbb{CP}^{N_{f}-1} sigma model on the interfaces. As we will explain below, the flag sigma model does not have any additional degrees of freedom compared to the NfN_{f} Nf1\mathbb{CP}^{N_{f}-1} sigma models. All of its fields come from restricting the fields of the NfN_{f} Nf1\mathbb{CP}^{N_{f}-1} sigma models to the junction. Since the flag sigma model lives on the boundary of 2+1 dimensional theories, its action can include terms that do not exist in the isolated theory. For instance, as we will see later, the action of the flag sigma model includes a gauge non-invariant Wess-Zumino term SWZWS_{\text{WZW}} defined in (5.22) whose gauge non-invariance is canceled by the gauge variations of the three-dimensional theories.

Let us parametrize the Nf1\mathbb{CP}^{N_{f}-1} sigma models on the NfN_{f} interfaces by an Nf×NfN_{f}\times N_{f} matrix ΦIa\Phi_{Ia} where aa labels the NfN_{f} interfaces and II labels the NfN_{f} complex scalar fields on each interface. The scalar fields have a constraint IΦIaΦIa=1\sum_{I}\Phi_{Ia}^{\dagger}\Phi_{Ia}=1 and a U(1)U(1) gauge symmetry ΦIaΦIaeiλa\Phi_{Ia}\rightarrow\Phi_{Ia}e^{-i\lambda_{a}} for each aa. We comment that ΦIa\Phi_{Ia} is not a U(Nf)U(N_{f}) matrix in general.

We can also parametrize each sigma model by a U(Nf)U(N_{f}) matrix with a block-diagonal U(1)×U(Nf1)U(1)\times U(N_{f}-1) gauge symmetry acting from the right. The matrix on the aa-th interface is denoted by hah^{a}. Since the trajectory of the aa-th eigenvalue is different from the others on the aa-th interface, we will demand that that the U(1)U(1) gauge symmetry of hah^{a} acts on its aa-th column vector. The two parametrization are related by (ha)Ia=ΦIa(h^{a})_{Ia}=\Phi_{Ia}.

The flag manifold can be parametrized by a U(Nf)U(N_{f}) matrix gIag_{Ia} with a block-diagonal a=1NfU(1)\prod_{a=1}^{N_{f}}U(1) gauge symmetry acting from the right gIagIaeiλag_{Ia}\rightarrow g_{Ia}e^{-i\lambda_{a}}. The unitarity condition imposes a constraint gIagIb=δab\sum g_{Ia}^{\dagger}g_{Ib}=\delta_{ab}.

Since the flag sigma model and the Nf1\mathbb{CP}^{N_{f}-1} sigma models all arise from the symmetry breaking of the bulk theory, we should be able to relate the two target spaces. The NfN_{f} copies of Nf1\mathbb{CP}^{N_{f}-1} manifold can be embedded in the flag manifold through the identification gIa=ΦIag_{Ia}=\Phi_{Ia}. The constraint and the gauge symmetry of each Nf1\mathbb{CP}^{N_{f}-1} sigma model is included in the unitarity constraint and the gauge symmetries of the flag sigma model. On the other hand, the flag sigma model is more constrained than NfN_{f} independent copies of Nf1\mathbb{CP}^{N_{f}-1} sigma model. The flag sigma model requires that the NfN_{f} scalar fields from different copies are orthogonal,

ΦIaΦIb=0for ab.\sum\Phi_{Ia}^{\dagger}\Phi_{Ib}=0\quad\text{for }a\neq b~{}. (5.12)

The orthogonality condition should be viewed as a boundary condition at the junction for the NfN_{f} copies of Nf1\mathbb{CP}^{N_{f}-1} sigma model on the interfaces. The boundary condition reduces the target space from NfN_{f} copies of Nf1\mathbb{CP}^{N_{f}-1} manifold to the flag manifold which becomes the target space of the 1+1 dimensional sigma model on the junction.

Refer to caption
Figure 5: The geometry of the extensions of the interfaces and the interface junction. The two transverse directions are not shown in the figure. ww is the coordinate for the fifth-dimension.

Let us determine the effective action of the flag sigma model on the junction. Specifically, we will consider the reduction of the Wess-Zumino term NΓWZN\Gamma_{\text{WZ}} of the bulk chiral Lagrangian.

The bulk field UU is related to the fields on the interfaces and the fields on the interface junction through

U(r,α,z)={g(z)V(r,α)g(z),for rR2a=1NfΠa(α)ha(r,z)V(α)ha(r,z),for rR2.U(r,\alpha,\vec{z})=\begin{dcases}g(\vec{z})V(r,\alpha)g(\vec{z})^{\dagger},\quad&\text{for }r\leq R_{2}\\ \sum_{a=1}^{N_{f}}\Pi_{a}(\alpha)h^{a}(r,\vec{z})V(\alpha)h^{a}(r,\vec{z})^{\dagger},\quad&\text{for }r\geq R_{2}\end{dcases}~{}. (5.13)

It is invariant under the gauge symmetries of gg and hah^{a}. It is also continuous everywhere, especially at radius R2R_{2} thanks to the identification gIa=(ha)Iag_{Ia}=(h^{a})_{Ia}. To compute the Wess-Zumino term, we construct a five-dimensional extension of UU by extending g(z)g(\vec{z}) to a three-dimensional manifold N3N_{3} and ha(r,z)h^{a}(r,\vec{z}) to a four-dimensional manifold N4aN_{4}^{a} for each interface. The boundary of N3N_{3} is the worldsheet of the junction M2M_{2} and the boundary of N4aN_{4}^{a} includes N3N_{3} and the worldvolume of the aa-th interface M3aM_{3}^{a}. The extension of gIag_{Ia} and (ha)Ia(h^{a})_{Ia} should agree on N3N_{3}. The details of the extension are illustrated in figure 5.

We notice that

gUdUg=VgdgV+VdVgdg.g^{\dagger}U^{\dagger}dUg=V^{\dagger}g^{\dagger}dgV+V^{\dagger}dV-g^{\dagger}dg~{}. (5.14)

Outside R2R_{2}, VV depends only on the angular coordinate so we need exactly one factor of VdVV^{\dagger}dV. As computed in section 2.2, this gives

aN4πN4a𝑑ba𝑑ba=aN4πM3aba𝑑baN4πN3abadba,\sum_{a}\frac{N}{4\pi}\int_{N_{4}^{a}}db^{a}db^{a}=\sum_{a}\frac{N}{4\pi}\int_{M_{3}^{a}}b^{a}db^{a}-\frac{N}{4\pi}\int_{N_{3}}\sum_{a}b^{a}db^{a}~{}, (5.15)

where we define ba=iIΦIadΦIab^{a}=i\sum_{I}\Phi^{\dagger}_{Ia}d\Phi_{Ia}. The minus sign of the second term comes from the orientation of N3N_{3} which is chosen such that N3=M3a=M2\partial N_{3}=\partial M_{3}^{a}=M_{2}. Inside R2R_{2}, VV depends only on the radial and the angular coordinates so we need exactly two factors of VdVV^{\dagger}dV. This gives

iN48π2\displaystyle\frac{iN}{48\pi^{2}} (N3×D2Tr[(VdV)2(VgdgVgdg)3]+\displaystyle\left(\int_{N_{3}\times D^{2}}\text{Tr}\left[(V^{\dagger}dV)^{2}(V^{\dagger}g^{\dagger}dgV-g^{\dagger}dg)^{3}\right]+\right. (5.16)
N3×D2Tr[(VdV)(VgdgVgdg)(VdV)(VgdgVgdg)2]).\displaystyle\ \,\left.\int_{N_{3}\times D^{2}}\text{Tr}\left[(V^{\dagger}dV)(V^{\dagger}g^{\dagger}dgV-g^{\dagger}dg)(V^{\dagger}dV)(V^{\dagger}g^{\dagger}dgV-g^{\dagger}dg)^{2}\right]\right)~{}.

The first term vanishes since (VdV)2=0(V^{\dagger}dV)^{2}=0. The second term simplifies to

N24π2N3Cabc(gdg)ab(gdg)bc(gdg)ca.\frac{N}{24\pi^{2}}\int_{N_{3}}C_{abc}(g^{\dagger}dg)_{ab}(g^{\dagger}dg)_{bc}(g^{\dagger}dg)_{ca}~{}. (5.17)

The coefficient CabcC_{abc} is determined by the following integral

Cabc\displaystyle C_{abc} =13r<R2(sin(φab)+sin(φbc)+sin(φca))(dφadφb+dφbdφc+dφcdφa)\displaystyle=-\frac{1}{3}\int_{r<R_{2}}\left(\sin(\varphi_{ab})+\sin(\varphi_{bc})+\sin(\varphi_{ca})\right)\left(d\varphi_{a}d\varphi_{b}+d\varphi_{b}d\varphi_{c}+d\varphi_{c}d\varphi_{a}\right) (5.18)
=16r=R2cos(φab)d(φca+φcb)+cos(φbc)d(φab+φac)+cos(φca)d(φbc+φba)\displaystyle=-\frac{1}{6}\int_{r=R_{2}}\cos(\varphi_{ab})d(\varphi_{ca}+\varphi_{cb})+\cos(\varphi_{bc})d(\varphi_{ab}+\varphi_{ac})+\cos(\varphi_{ca})d(\varphi_{bc}+\varphi_{ba})

where we rewrite the integral into a boundary integral using the Stokes’ theorem. On the boundary, the phases are in the form of (5.10). The integrand can be expanded as follows

dφab\displaystyle d\varphi_{ab} =Nf(ΠbΠa)dφ,\displaystyle=N_{f}(\Pi_{b}-\Pi_{a})d\varphi~{}, (5.19)
cos(φab)\displaystyle\cos(\varphi_{ab}) =1+(1δab)(cos(Nfφ)1)(Πa+Πb),\displaystyle=1+(1-\delta_{ab})(\cos(N_{f}\varphi)-1)(\Pi_{a}+\Pi_{b})~{},

using which, the integral evaluates to

Cabc=2π(1δab)(1δbc)(1δca).\displaystyle C_{abc}=-2\pi(1-\delta_{ab})(1-\delta_{bc})(1-\delta_{ca})~{}. (5.20)

In the end, inside R2R_{2}, the Wess-Zumino term reduces to

N12πN3Tr[(gdg)3]+N4πN3abadba,-\frac{N}{12\pi}\int_{N_{3}}\text{Tr}\left[(g^{\dagger}dg)^{3}\right]+\frac{N}{4\pi}\int_{N_{3}}\sum_{a}b^{a}db^{a}~{}, (5.21)

where we use the identification gIa=ΦIag_{Ia}=\Phi_{Ia} on N3N_{3} to replace i(gdg)aai(g^{\dagger}dg)_{aa} by bab^{a}.

Combining the two terms (5.15) and (5.21), we conclude that the Wess-Zumino term NΓWZN\Gamma_{\text{WZ}} reduces to

N12πN3Tr[(gdg)3]SWZW+N4πaM3aba𝑑ba.\underbrace{-\frac{N}{12\pi}\int_{N_{3}}\text{Tr}\left[(g^{\dagger}dg)^{3}\right]}_{\text{$S_{\text{WZW}}$}}+\frac{N}{4\pi}\sum_{a}\int_{M_{3}^{a}}b^{a}db^{a}~{}. (5.22)

The first term SWZWS_{\text{WZW}} is the Wess-Zumino term of the U(Nf)U(N_{f}) field gg which does not depend on the extensions. It is not gauge invariant under the a=1NfU(1)\prod_{a=1}^{N_{f}}U(1) gauge symmetry. The second term is the Wess-Zumino term of the Nf1\mathbb{CP}^{N_{f}-1} sigma models on the interfaces. This Wess-Zumino term is also not gauge invariant under the gauge symmetry but its variation can be written as a boundary term which cancels the gauge variation of SWZWS_{\text{WZW}} on the junction.

The SU(Nf)SU(N_{f}) global symmetry acts on the flag sigma model as ghgg\rightarrow hg. Let us couple the symmetry to the SU(Nf)SU(N_{f}) background gauge field BB. This modifies the Wess-Zumino term SWZWS_{\text{WZW}} to

SGWZW=N12πN3Tr[(gdg)3]N4πM2Tr(iBdgg).S_{\text{GWZW}}=-\frac{N}{12\pi}\int_{N_{3}}\text{Tr}\left[(g^{\dagger}dg)^{3}\right]-\frac{N}{4\pi}\int_{M_{2}}\text{Tr}(iBdgg^{\dagger})~{}. (5.23)

SGWZWS_{\text{GWZW}} is not invariant under the infinitesimal background gauge transformation

BB+[B,ζ]+dζ,gg+iζg.B\rightarrow B+[B,\zeta]+d\zeta,\quad g\rightarrow g+i\zeta g~{}. (5.24)

It transforms as

SGWZWSGWZW+N4πTr(Bdζ)S_{\text{GWZW}}\rightarrow S_{\text{GWZW}}+\frac{N}{4\pi}\text{Tr}(Bd\zeta) (5.25)

This represents an ’t Hooft anomaly that can be canceled by the following 2+12+1 dimensional invertible field theory

N4πd3xTr(BdB2i3B3)-\frac{N}{4\pi}\int d^{3}x\,\text{Tr}\left(BdB-\frac{2i}{3}B^{3}\right) (5.26)

which matches the SU(Nf)SU(N_{f}) part of the anomaly inflow (3.4) from infinity. The excitations of the flag sigma model does not carry any baryon charges. It can be seen directly by reducing the skyrmion current (2.6) to the junction.

The dynamics in the interior when ε1\varepsilon\ll 1 is summarized in figure 3. There are NfN_{f} interfaces continuing from infinity to the origin. When the interfaces pass through radius R1R_{1}, the theories on the interfaces undergo a transition from SU(N)1SU(N)_{-1} Chern-Simons theory to a Nf1\mathbb{CP}^{N_{f}-1} sigma model which leads to 1+1 dimensional chiral modes localized at the transition interfaces. The interfaces form an interface junction of size R2R_{2} at the origin. On the interface junction, one should impose an orthogonality boundary condition IΦIaΦIb=δab\sum_{I}\Phi_{Ia}^{\dagger}\Phi_{Ib}=\delta_{ab} for the NfN_{f} Nf1\mathbb{CP}^{N_{f}-1} sigma models. This reduces the target space on the junction to the flag manifold U(Nf)/U(1)NfU(N_{f})/U(1)^{N_{f}}. The flag sigma model on the junction is supplemented by a Wess-Zumino term SWZWS_{\text{WZW}}.

5.2 Rapidly Varying Mass Profile

We now increase ε\varepsilon. It shrinks the domain between R1R_{1} and R2R_{2} where the interface supports a gapless Nf1\mathbb{CP}^{N_{f}-1} sigma model. When ε\varepsilon is order 1, R1R21/ΛR_{1}\sim R_{2}\sim 1/\Lambda so the theory on the junction is in direct contact with the gapped topological field theories on the interfaces. Since the interfaces are gapped, the gapless degrees of freedom on the junction can be described alone by a 1+1 dimensional theory. We will use the U(1)NU(1)_{N} description for the topological field theories on the interfaces.

When ε1\varepsilon\ll 1, the boundary condition at the transition interface on the aa-th interface is

aa=iIΦIaΦIa.a_{-}^{a}=i\sum_{I}\Phi_{Ia}^{\dagger}\partial_{-}\Phi_{Ia}~{}. (5.27)

On the junction, the field gIag_{Ia} of the flag sigma model are identified with the field ΦIa\Phi_{Ia} of the Nf1\mathbb{CP}^{N_{f}-1} sigma models. When ε\varepsilon is order 1, the transition interfaces collapse with the junction and the two boundary conditions combine into

aa=i(gg)aa,a_{-}^{a}=i(g^{\dagger}\partial_{-}g)_{aa}~{}, (5.28)

on the junction. We will use the same notation bab^{a} to denote i(gdg)aai(g^{\dagger}dg)_{aa}.

The boundary condition can be imposed dynamically by equations of motion. As discussed in appendix A.1, this amounts to introducing a boundary term on the junction. The action of the system is modified to

S=\displaystyle S= +N4πaM3aaa𝑑aa\displaystyle\,+\frac{N}{4\pi}\sum_{a}\int_{M_{3}^{a}}a^{a}da^{a} (5.29)
N4πM2d2x(Tr(g+g)2aa+aba+aaaa+a)N12πN3Tr[(gdg)3].\displaystyle\,-\frac{N}{4\pi}\int_{M_{2}}d^{2}x\left(\text{Tr}(\partial_{-}g^{\dagger}\partial_{+}g)-2\sum_{a}a^{a}_{+}b^{a}_{-}+\sum_{a}a^{a}_{-}a^{a}_{+}\right)-\frac{N}{12\pi}\int_{N_{3}}\text{Tr}\left[(g^{\dagger}dg)^{3}\right]~{}.

It is invariant under the a=1NfU(1)\prod_{a=1}^{N_{f}}U(1) gauge symmetry. The boundary condition aa=baa_{-}^{a}=b_{-}^{a} is imposed by the equation of motion of aa on the junction. Similar to the discussions in appendix A, we can integrate out aaa_{-}^{a} in the Chern-Simons theory and solve the constraint by introducing compact bosons ϕa\phi^{a}

a+a=+ϕa,axa=xϕa.a_{+}^{a}=\partial_{+}\phi^{a},\quad a_{x}^{a}=\partial_{x}\phi^{a}~{}. (5.30)

The action then becomes

S=N4πM2d2x(Tr(g+g)2a+ϕaba+aϕa+ϕa)N12πN3Tr[(gdg)3].S=-\frac{N}{4\pi}\int_{M_{2}}d^{2}x\Big{(}\text{Tr}(\partial_{-}g^{\dagger}\partial_{+}g)-2\sum_{a}\partial_{+}\phi^{a}b^{a}_{-}+\sum_{a}\partial_{-}\phi^{a}\partial_{+}\phi^{a}\Big{)}-\frac{N}{12\pi}\int_{N_{3}}\text{Tr}\left[(g^{\dagger}dg)^{3}\right]~{}. (5.31)

The system has a gauge symmetry

gIagIaeiλa(x+,x),ϕaϕa+λa(x+,x)+ξa(x).g_{Ia}\rightarrow g_{Ia}e^{-i\lambda^{a}(x_{+},x_{-})},\quad\phi^{a}\rightarrow\phi^{a}+\lambda^{a}(x_{+},x_{-})+\xi^{a}(x_{-})~{}. (5.32)

We can fix the gauge symmetry by demanding ϕa=0\phi^{a}=0. This constrains the gauge parameter λa(x+,x)\lambda^{a}(x_{+},x_{-}) to be a function that depends only on xx_{-}, i.e. , λa(x)=ξa(x)\lambda^{a}(x_{-})=-\xi^{a}(x_{-}). After imposing the gauge fixing condition, the action (5.31) can be rewritten as a gauged U(Nf)U(N_{f}) Wess-Zumino-Witten model

S=N4πd2xTr(g+g)N12πN3Tr[(gdg)3],S=-\frac{N}{4\pi}\int d^{2}x\,\text{Tr}(\partial_{-}g^{\dagger}\partial_{+}g)-\frac{N}{12\pi}\int_{N_{3}}\text{Tr}\left[(g^{\dagger}dg)^{3}\right]~{}, (5.33)

with a a=1NfU(1)\prod_{a=1}^{N_{f}}U(1) gauge symmetry, that depends only on xx_{-}, acting from the right

gIagIaeiλa(x).g_{Ia}\rightarrow g_{Ia}e^{-i\lambda^{a}(x_{-})}~{}. (5.34)

Such chirally gauged Wess-Zumino-Witten models have been studied in [16].

It was shown that the theory has a chiral algebra that consists of a 𝔲(Nf)N\mathfrak{u}(N_{f})_{N} left-moving chiral algebra and a 𝔲(Nf)N/a=1Nf𝔲(1)N\mathfrak{u}(N_{f})_{N}/\prod_{a=1}^{N_{f}}\mathfrak{u}(1)_{N} right-moving coset chiral algebra. We do not pay attention to the global form of the chiral algebra. The U(Nf)U(N_{f}) global symmetry of the ultraviolet theory acts on the gauged Wess-Zumino-Witten model from the left ghgg\rightarrow hg. We can couple the symmetry to the U(Nf)U(N_{f}) background B+A𝟙B+A\mathbbm{1}. The chiral algebra implies that this symmetry has an ’t Hooft anomaly which exactly matches with the anomaly inflow (3.4) from infinity. The theory also has the correct chiral central charge cLcR=Nc_{L}-c_{R}=N.

Let us examine the spectrum of the junction theory. We will first discuss the vertex operators of the left-moving and the right moving chiral algebra and then discuss their pairing. The vertex operators of the 𝔲(Nf)\mathfrak{u}(N_{f}) left-moving chiral algebra are labeled by their U(Nf)U(N_{f}) representations \mathcal{R}. Following the GKO construction [45], the vertex operators of the 𝔲(Nf)N/a=1Nf𝔲(1)N\mathfrak{u}(N_{f})_{N}/\prod_{a=1}^{N_{f}}\mathfrak{u}(1)_{N} right-moving coset chiral algebra are labeled by U(Nf)U(N_{f}) representations \mathcal{R} and a=1NfU(1)\prod_{a=1}^{N_{f}}U(1) representations {qa}\{q_{a}\} that the U(Nf)U(N_{f}) representations \mathcal{R} can be decomposed into. Note that U(1)U(1) representations are labeled by integer charges qq. The U(Nf)U(N_{f}) Wess-Zumino-Witten model has a diagonal pairing. Following this property, the primary operators of the junction theory pair up vertex operators with the same U(Nf)U(N_{f}) representations. This suggests that the primary operators are in one-to-one correspondence with the right-moving vertex operators. The labels for the primary operators (,{qa})(\mathcal{R},\{q_{a}\}) have actual physical meanings. The operator labeled by (,{qa})(\mathcal{R},\{q_{a}\}) transforms in the \mathcal{R} representations under the U(Nf)U(N_{f}) global symmetry acting from the left. It is connected to a charge qaq_{a} Wilson line of the U(1)NU(1)_{N} Chern-Simons theory on the aa-th interface. It has spin L0L¯0=aqa2/2NL_{0}-\overline{L}_{0}=\sum_{a}q_{a}^{2}/2N.

Let us consider the operator labeled by the SymN()Sym^{N}(\square) representation and q1=Nq_{1}=N, q2==qNf=0q_{2}=\cdots=q_{N_{f}}=0. The operator is connected to transparent Wilson lines of the Chern-Simons theories so it is a genuine local operator. It has one unit of baryon charge and spin N/2N/2. The excitations corresponding to this operator can be interpreted as a baryon localized on the junction. Interestingly, the spin of this operator coincides with the spin of the baryon in the same isospin representation.

A similar observation has been employed in the quantum Hall droplet proposal for baryons [15]. It was proposed that on the boundary of the droplet there is a 𝔲(Nf)L\mathfrak{u}(N_{f})_{L} chiral algebra. The spin of the primary operator in the SymN()Sym^{N}(\square) representation of the U(Nf)U(N_{f}) global symmetry is also N/2N/2, which agrees with the spin of the baryons in the same isospin representation.

5.3 Nf=2N_{f}=2

We now turn to study the Nf=2N_{f}=2 case. As reviewed in section 2.1, the chiral Lagrangian has no ordinary Wess-Zumino term, instead it has a 2\mathbb{Z}_{2}-valued θ\theta-term with coefficient NN mod 2. The Wess-Zumino term of the bulk chiral Lagrangian is crucial in the Nf>2N_{f}>2 proposal. It gives rise to SWZWS_{\text{WZW}} on the junction, which absorbs the anomaly inflow associated to the SU(Nf)SU(N_{f}) background. Since the Wess-Zumino term is absent in the Nf=2N_{f}=2 chiral Lagrangian, one might expect that the Nf>2N_{f}>2 proposal does not apply to Nf=2N_{f}=2. However, as we will see, the θ\theta-term of bulk chiral Lagrangian plays a similar role as the Wess-Zumino term so the Nf>2N_{f}>2 proposal works even at Nf=2N_{f}=2.

Consider the case of ε1\varepsilon\ll 1. The chiral Lagrangian has a space-depedenet potential for the SU(2)SU(2) matrix UU

V(U)=εfπ2Λ3rcos(α)Tr(U),V(U)=-\varepsilon f_{\pi}^{2}\Lambda^{3}r\cos(\alpha)\text{Tr}(U)~{}, (5.35)

where we use the property Tr(U)=Tr(U)\text{Tr}(U)=\text{Tr}(U^{\dagger}) for SU(2)SU(2) matrices. The potential depends only on the x=rcos(α)x=r\cos(\alpha) coordinate so the theory has an emergent translation symmetry along the yy direction. To minimize the potential energy, U=𝟙U=\mathbbm{1} at large positive xx and U=𝟙U=-\mathbbm{1} at large negative xx. The interpolation between them breaks the SU(2)SU(2) global symmetry, and hence leads a 2+1 dimensional interface perpendicular to the xx direction. As discussed in section 2.2, the interface supports a 1\mathbb{CP}^{1} sigma model with a 2\mathbb{Z}_{2}-valued θ\theta-term with coefficient NN mod 2. Unlike the case of Nf>2N_{f}>2, there is no interface junction at the origin. In particular, the target space at the origin is the same as the target space elsewhere on the interface. It is a happy coincidence that the flag manifold U(2)/U(1)2U(2)/U(1)^{2} is the same as 1\mathbb{CP}^{1}. As far as the target space is concerned, it is consistent with the Nf=2N_{f}=2 application of the Nf>2N_{f}>2 proposal.

At certain radius R11/(εΛ)R_{1}\sim 1/(\varepsilon\Lambda), |m|Λ|m|\sim\Lambda, the chiral Lagrangian is no longer valid so the emergent translation symmetry along the yy direction is also not valid. The 1\mathbb{CP}^{1} interface then connects with the two interfaces coming from infinity. Together they form a continuous interface along the yy axis. Let us pick a continuous orientation along the interface by flipping the orientation as well as the sign of the Chern-Simons level at yΛy\gg\Lambda. The interface is described by different theories at different domains. It is described by an SU(N)1SU(N)_{-1} Chern-Simons theory at yΛy\ll-\Lambda, an SU(N)1SU(N)_{1} Chern-Simons theory at yΛy\gg\Lambda and a 1\mathbb{CP}^{1} sigma model in between. Let us also keep track of the classical counterterms. We can make the winding counterterm (5.1) jumps at α=π/2,3π/2\alpha=\pi/2,3\pi/2:

2πNΘ(απ2)(FAFA8π2+2Tr(RR)384π2)+\displaystyle 2\pi N\Theta\left(\alpha-\frac{\pi}{2}\right)\left(\frac{F_{A}\wedge F_{A}}{8\pi^{2}}+2\frac{\text{Tr}(R\wedge R)}{384\pi^{2}}\right)+ (5.36)
2πNΘ(α3π2)(FAFA8π2+Tr(FBFB)8π2+2Tr(RR)384π2).\displaystyle 2\pi N\Theta\left(\alpha-\frac{3\pi}{2}\right)\left(\frac{F_{A}\wedge F_{A}}{8\pi^{2}}+\frac{\text{Tr}(F_{B}\wedge F_{B})}{8\pi^{2}}+2\frac{\text{Tr}(R\wedge R)}{384\pi^{2}}\right)~{}.

This induces a classical Chern-Simons term on the interface. For yΛy\gg\Lambda, it is

N4πAdA+2NCSgrav,\frac{N}{4\pi}AdA+2N\text{CS}_{\text{grav}}~{}, (5.37)

and for yΛy\ll\Lambda, it is

N4πAdAN4πTr(BdB2i3B3)2NCSgrav.-\frac{N}{4\pi}AdA-\frac{N}{4\pi}\text{Tr}\left(BdB-\frac{2i}{3}B^{3}\right)-2N\text{CS}_{\text{grav}}~{}. (5.38)

The SU(N)±1SU(N)_{\pm 1} Chern-Simons theory at large |y||y| can be dualized to a U(1)NU(1)_{\mp N} Chern-Simons theory. This removes all of the classical Chern-Simons terms except for the one associated to the SU(2)SU(2) background gauge field BB at yΛy\ll\Lambda.

We will assume that the transitions between the 1\mathbb{CP}^{1} sigma model and the U(1)±NU(1)_{\pm N} Chern-Simons theories are described by a U(1)±NU(1)_{\pm N} Chern-Simons theory coupled to NfN_{f} scalars with a spatially varying mass squared. According to the conjectures in [14], the two transitions can both be described by a three-dimensional SU(N)SU(N) QCD with two quarks at a zero Chern-Simons level. Appendix A.2 studies the interfaces in SU(N)k+Nf/2SU(N)_{-k+N_{f}/2} Chern-Simon theory coupled to NfN_{f} fermions with a spatially varying mass when Nf>k>0N_{f}>k>0. Our discussion here specializes to Nf=2N_{f}=2 and k=1k=1.

We can parametrize the 1\mathbb{CP}^{1} sigma model by a U(2)U(2) matrix gg with a block-diagonal a=12U(1)\prod_{a=1}^{2}U(1) gauge symmetry acting from the right. Let us introduce an artificial interface in the middle of the Grassmannian sigma model at y=0y=0. We emphasize there are no localized degrees of freedom on the interface. The θ\theta-term of the 1\mathbb{CP}^{1} sigma model can be presented as

N12πN3Tr[(gdg)3]SWZW+N4πy<0b1𝑑b1N4πy>0b2𝑑b2,\underbrace{-\frac{N}{12\pi}\int_{N_{3}}\text{Tr}\left[(g^{\dagger}dg)^{3}\right]}_{\text{$S_{\text{WZW}}$}}+\frac{N}{4\pi}\int_{y<0}b^{1}db^{1}-\frac{N}{4\pi}\int_{y>0}b^{2}db^{2}~{}, (5.39)

where ba=i(gdg)aab^{a}=i(g^{\dagger}dg)_{aa} and N3N_{3} is a three-dimensional manifold that extends the x=0x=0 locus. The θ\theta term is independent of the extension N3N_{3}. It is also independent of the choice of the artificial interface because of the relation

14πb1db1+14πb2db2=112πTr[(gdg)3].\frac{1}{4\pi}b^{1}db^{1}+\frac{1}{4\pi}b^{2}db^{2}=-\frac{1}{12\pi}\text{Tr}\left[(g^{\dagger}dg)^{3}\right]~{}. (5.40)

The θ\theta term has many other presentations. For example, it can be presented as

k4πb1𝑑b1, or k4πb2𝑑b2,\frac{k}{4\pi}\int b^{1}db^{1},\quad\text{ or }\quad-\frac{k}{4\pi}\int b^{2}db^{2}~{}, (5.41)

with k=Nk=N mod 2. All these presentations are equivalent on closed manifolds but inequivalent on open manifolds. In particular, they have different gauge variations under the a=12U(1)\prod_{a=1}^{2}U(1) gauge symmetry on open manifolds. At the transition interfaces, we identify b1b^{1}_{-} and b2b^{2}_{-} with the corresponding light cone components of the U(1)NU(1)_{N} and the U(1)NU(1)_{-N} gauge fields, respectively. Among these three presentations, only the gauge variation of (5.39) cancels the gauge variations of the Chern-Simons theories at the transition interfaces. The boundary condition therefore selects the specific presentation of the θ\theta term in (5.39).

The presentation (5.39) of the θ\theta term is identical to (5.22). Hence we conclude that the Nf>2N_{f}>2 proposal is also valid at Nf=2N_{f}=2.

6 General Winding Mass Profile

More generally, we can consider a mass profile m=εreif(α,r)Λ2m=\varepsilon re^{if(\alpha,r)}\Lambda^{2} where f(α,r)f(\alpha,r) satisfies f(α+2π,r)=f(α,r)+2πf(\alpha+2\pi,r)=f(\alpha,r)+2\pi. The large radius analysis in section 3 still goes through except now the NfN_{f} interfaces are centered at the trajectories where f(α,r)=(π+2π)/Nff(\alpha,r)=(\pi+2\pi\mathbb{Z})/N_{f}. Each of these interfaces still support an SU(N)1SU(N)_{-1} Chern-Simons theory. We are interested in the dynamics in the interior of the space.

For Nf=1N_{f}=1, the same discussion in section 4 holds except that the trajectory of the interface is now deformed. For Nf=2N_{f}=2, the two interfaces from infinity no longer connect into one interface along the yy axis instead they are connected at the origin by a junction which supports a 1+11+1 dimensional 1\mathbb{CP}^{1} sigma model. For Nf>2N_{f}>2, there is a possibility that two interfaces can merge into one interface before joining with other interfaces at the origin. This happens when the separation of the two interfaces is comparable to 1/Λ1/\Lambda when they are outside R1R_{1} or comparable to 1/mΛ1/\sqrt{m\Lambda} when they are inside R1R_{1}. The merging of the interfaces leads to a new interface junction.

Refer to caption
Figure 6: The dynamics in the interior for a mass profile m=εreif(α,r)Λ2m=\varepsilon re^{if(\alpha,r)}\Lambda^{2} with ε1\varepsilon\ll 1 when Nf=4N_{f}=4. The centers of the interfaces follow the trajectories (colored in black and blue) where f(α,r)=(π+2π)/Nff(\alpha,r)=(\pi+2\pi\mathbb{Z})/N_{f}. Two interfaces (colored in black) can merge into one interface (colored in blue) when their separation is less than 1/Λ1/\Lambda outside the radius R11/(εΛ)R_{1}\sim 1/(\varepsilon\Lambda). This leads to an interface junction that supports the chiral algebra T1,1NT^{N}_{1,1} defined in (6.1)\eqref{eq:defT}. The theories on the interfaces undergo a transition from Chern-Simons theories to sigma models with appropriate Wess-Zumino terms at radius R1R_{1}. It leads to chiral modes localized at the transition interfaces. The interfaces form a junction of size R21/(ε1/3Λ)R_{2}\sim 1/(\varepsilon^{1/3}\Lambda) at the origin. On the interface junction, one should impose an orthogonality boundary condition that reduces the target space on the junction to the flag manifold (2,1,,1)\mathcal{M}(2,1,\cdots,1). The flag sigma model on the junction is supplemented by a Wess-Zumino term SWZWS_{\text{WZW}} defined in (5.22).

Consider for instance a configuration in figure 6. For simplicity, let us assume that the merging occurs outside R1R_{1}. The theory on the new interface is an SU(N)2SU(N)_{-2} Chern-Simons theory as discussed in section 2.2. The natural boundary condition on the junction is to identify the SU(N)SU(N) gauge fields of the three Chern-Simons theories on the interfaces since they originate from the same bulk SU(N)SU(N) gauge fields. This boundary condition leads to a coset chiral algebra T1,1NT^{N}_{1,1} on the junction [38]. Here we define the chiral algebra

Tk1,,knN=[𝔰𝔲(N)k1××𝔰𝔲(N)kn𝔰𝔲(N)k1++kn]R.T^{N}_{k_{1},\cdots,k_{n}}=\left[\frac{\mathfrak{su}(N)_{k_{1}}\times\cdots\times\mathfrak{su}(N)_{k_{n}}}{\mathfrak{su}(N)_{k_{1}+\cdots+k_{n}}}\right]_{R}~{}. (6.1)

The new interface continues towards the origin. We can dualize the SU(N)2SU(N)_{-2} Chern-Simons theory to a U(2)NU(2)_{N} Chern-Simons theory by adding twice of the classical counterterm (4.3).

Let us first consider the situation when ε1\varepsilon\ll 1. At radius R11/(εΛ)R_{1}\sim 1/(\varepsilon\Lambda), |m|Λ|m|\sim\Lambda, all the interfaces undergo a transition to a Nf1\mathbb{CP}^{N_{f}-1} sigma model except for the new interface, which undergoes a transition to a Grassmannian sigma model with target space

(Nf2,2)=U(Nf)U(2)×U(Nf2).\mathcal{M}(N_{f}-2,2)=\frac{U(N_{f})}{U(2)\times U(N_{f}-2)}~{}. (6.2)

Here we introduce a notation for general flag manifolds

(n1,,nk)=U(n1++nk)U(n1)××U(nk).\mathcal{M}(n_{1},\cdots,n_{k})=\frac{U(n_{1}+\cdots+n_{k})}{U(n_{1})\times\cdots\times U(n_{k})}~{}. (6.3)

The (Nf2,2)\mathcal{M}(N_{f}-2,2) sigma model has a three-dimensional Wess-Zumino term with coefficient NN (see appendix A.2). We will assume that the transition on the new interface is described by a U(2)NU(2)_{N} Chern-Simons theory coupled to NfN_{f} scalars. As discussed in appendix A.2, this leads to a chiral boundary condition. After integrating out the U(2)U(2) Chern-Simons gauge field and fixing the gauge symmetry, the U(2)U(2) gauge symmetry of the (Nf2,2)\mathcal{M}(N_{f}-2,2) sigma model becomes restricted on the boundary such that its gauge parameter depends only on one of the light cone coordinates. This leads to chiral modes at the transition interface.

Eventually all the interfaces meet at the origin and form an interface junction with size R2R_{2}. Similar to the discussion in section 5, on the junction, we should impose an orthogonality boundary condition, which reduces the target space to

(2,1,,1)=U(Nf)U(2)×a=1Nf2U(1).\mathcal{M}(2,1,\cdots,1)=\frac{U(N_{f})}{U(2)\times\prod_{a=1}^{N_{f}-2}U(1)}~{}. (6.4)

The (2,1,,1)\mathcal{M}(2,1,\cdots,1) sigma model can be parametrized by a U(Nf)U(N_{f}) matrix with a block-diagonal U(2)×a=1Nf2U(1)U(2)\times\prod_{a=1}^{N_{f}-2}U(1) gauge symmetry acting from the right. It is supplemented by a Wess-Zumino term SWZWS_{\text{WZW}} of the U(Nf)U(N_{f}) matrix defined in (5.22). The Wess-Zumino term SWZWS_{\text{WZW}} is not gauge invariant. Its gauge non-invariance is canceled by the three-dimensional Wess-Zumino terms of the sigma models on the intefaces. Similar to the discussion in section 5, the Wess-Zumino term SWZWS_{\text{WZW}} on the junction can be derived from the Wess-Zumino term NΓWZN\Gamma_{\text{WZ}} of the bulk chiral Lagrangian.

When ε1\varepsilon\gtrsim 1, the Chern-Simons theories on the interfaces directly couple to the 1+1 dimensional (2,1,,1)\mathcal{M}(2,1,\cdots,1) sigma model at the center. After integrating out the Chern-Simons gauge fields and fixing the gauge symmetries, the theory on the junction is reduced to a gauged U(Nf)U(N_{f}) Wess-Zumino-Witten model with a restricted block-diagonal U(2)×a=1Nf2U(1)U(2)\times\prod_{a=1}^{N_{f}-2}U(1) gauge symmetry acting from the right. The gauge parameters depend only on one of the light coordinates. The theory has a S2,1,,1NS^{N}_{2,1,\cdots,1} chiral algebra. Here we define a chiral algebra Sn1,,nkNS^{N}_{n_{1},\cdots,n_{k}} which consists of a 𝔲(na)N\mathfrak{u}(\sum n_{a})_{N} left-moving chiral algebra and a 𝔲(na)N/𝔲(na)N{\mathfrak{u}(\sum n_{a})_{N}}/{\prod\mathfrak{u}(n_{a})_{N}} right-moving chiral algebra. The U(Nf)U(N_{f}) global symmetry of the ultraviolet theory acts on the gauged Wess-Zumino-Witten model from the left. Hence the chiral algebra implies an ’t Hooft anomaly of the global symmetry which is consistent with the anomaly inflow (3.4). The total chiral central charge of the two junction theories is cLcR=Nc_{L}-c_{R}=N which also matches with the anomaly inflow from infinity.

It is straightforward to generalize the discussions to general mass profile m=εreif(α,r)Λ2m=\varepsilon re^{if(\alpha,r)}\Lambda^{2}. The interfaces can form a network connected by interface junctions. In particular there is always an interface junction at the origin. We will consider only ε1\varepsilon\gtrsim 1 for simplicity. The theories on the interfaces then are all Chern-Simons theories. The theory on the junction at the origin is a chirally gauged U(Nf)U(N_{f}) Wess-Zumino-Witten model whose gauge symmetry is determined by the Chern-Simons theories on the interfaces that the junction connects to. The gauge parameters are restricted such that they depend only on one of the light cone coordinates. The chirally gauged Wess-Zumino-Witten model has a chiral algebra in the form of Sn1,,nkNS^{N}_{n_{1},\cdots,n_{k}}, which has a U(Nf)U(N_{f}) anomaly that absorbs the anomaly inflow (3.4). The theories on the junctions away from the origin have chiral algebras in the form of Tk1,,knNT^{N}_{k_{1},\cdots,k_{n}}. The total chiral central charge of these junction theories is always cLcR=Nc_{L}-c_{R}=N as constrained by the anomaly inflow.

Acknowledgements

We thank Clay Córdova for collaboration in the early stages of this project and many stimulating discussions. We especially thank Nathan Seiberg for advice, encouragement, numerous helpful discussions throughout the project and comments on the draft. We thank Po-Shen Hsin for useful conversations. We thank Yunqin Zheng for comments on the draft. P.G. is supported by Physics Department of Princeton University. H.T.L. is supported by a Croucher Scholarship for Doctoral Study, a Centennial Fellowship from Princeton University and Physics Department of Princeton University.

Appendix A Interface in Chern-Simons-Matter Theory

In this appendix, we study interfaces in Chern-Simons-Matter theories including U(1)kU(1)_{k} Chern-Simons theory coupled to NfN_{f} scalars and SU(N)k+Nf/2SU(N)_{-k+N_{f}/2} Chern-Simons theory coupled to NfN_{f} fermions with Nf>k>0N_{f}>k>0.

A.1 U(1)kU(1)_{k} + NfN_{f} Scalars

We will consider interfaces in U(1)kU(1)_{k} Chern-Simons theory coupled to NfN_{f} complex scalars with an SU(Nf)SU(N_{f})-symmetric potential. We make the mass squared of the scalars monotonically decreases in one spatial coordinate xx, from a positive value to a negative value. As a result, the scalars develop a non-zero position-dependent vacuum expectation value v(x)v(x) everywhere. v(x)v(x) smoothly increases from zero to a finite value v0v_{0}. Ignoring the massive amplitude fluctuation of the scalars, the low energy dynamics of the system can be described by an 𝕊2Nf1\mathbb{S}^{2N_{f}-1} sigma model coupled to a dynamical gauge field aa with Lagrangian

=14g2FμνFμν+k4πϵμνρaμνaρ+v(x)2(μΦIμΦI2iaμΦIμΦI+aμaμ)+v(x)2\mathcal{L}=\frac{1}{4g^{2}}F^{\mu\nu}F_{\mu\nu}+\frac{k}{4\pi}\epsilon^{\mu\nu\rho}a_{\mu}\partial_{\nu}a_{\rho}+v(x)^{2}\left(\partial^{\mu}\Phi_{I}^{\dagger}\partial_{\mu}\Phi_{I}-2ia_{\mu}\Phi_{I}^{\dagger}\partial^{\mu}\Phi_{I}+a_{\mu}a^{\mu}\right)+v^{\prime}(x)^{2} (A.1)

where ΦI\Phi_{I} are complex scalars that satisfy the constraint |ΦI|2=1\sum|\Phi_{I}|^{2}=1. The U(1)U(1) gauge symmetry acts as ΦIΦIeiλ\Phi_{I}\rightarrow\Phi_{I}e^{-i\lambda}, aa+dλa\rightarrow a+d\lambda. The transverse coordinates are denoted by yy and tt, and we pick the convention ϵxyt=1\epsilon^{xyt}=-1.

A.1.1 Localized Chiral Mode

Let us start by analyzing the equation of motion of the gauge field:

νFμν+mCSϵμνρνaρ+mH2(x)aμ=mH(x)2bμ,\partial_{\nu}F^{\mu\nu}+m_{CS}\epsilon^{\mu\nu\rho}\partial_{\nu}a_{\rho}+m_{H}^{2}(x)a^{\mu}=m_{H}(x)^{2}b^{\mu}~{}, (A.2)

where we define mCS=12πg2km_{CS}=\frac{1}{2\pi}g^{2}k, mH(x)=2gv(x)m_{H}(x)=\sqrt{2}gv(x) and b=iΦIdΦIb=\sum i\Phi_{I}^{\dagger}d\Phi_{I}. In the light cone coordinate,

x±=12(t±y),±=t±y,a±=at±ay,ϵx+=1,x_{\pm}=\frac{1}{2}(t\pm y),\quad\partial_{\pm}=\partial_{t}\pm\partial_{y},\quad a_{\pm}=a_{t}\pm a_{y}~{},\quad\epsilon^{x-+}=1, (A.3)

the equation of motion becomes

+ax12x(a+++a)+12mCS(a++a)+mH2(x)ax\displaystyle\partial_{+}\partial_{-}a_{x}-\frac{1}{2}\partial_{x}(\partial_{-}a_{+}+\partial_{+}a_{-})+\frac{1}{2}m_{CS}(\partial_{-}a_{+}-\partial_{+}a_{-})+m_{H}^{2}(x)a_{x} =mH(x)2bx,\displaystyle=m_{H}(x)^{2}b_{x}~{}, (A.4)
12(+2x2)a±12±2a+±xax±mCS(xa±±ax)+mH2(x)a±\displaystyle\frac{1}{2}(\partial_{+}\partial_{-}-2\partial_{x}^{2})a_{\pm}-\frac{1}{2}\partial_{\pm}^{2}a_{\mp}+\partial_{\pm}\partial_{x}a_{x}\pm m_{CS}(\partial_{x}a_{\pm}-\partial_{\pm}a_{x})+m_{H}^{2}(x)a_{\pm} =mH(x)2b±.\displaystyle=m_{H}(x)^{2}b_{\pm}~{}.

These equations are invariant under a parity transformation

yy,a±a,b±b,mCSmCS.y\rightarrow-y,\quad a_{\pm}\rightarrow a_{\mp},\quad b_{\pm}\rightarrow b_{\mp},\quad m_{CS}\rightarrow-m_{CS}~{}. (A.5)

The solutions of the equations of motion can be decomposed into a nonhomogeneous solution and homogeneous solutions with arbitrary coefficients. The homogeneous solutions solve the equations with b=0b=0. They represent dynamical excitations of the gauge field. We are interested in gapless excitations localized on the interface. They can be decomposed into chiral and anti-chiral modes. Without lost of generality, we will assume positive chirality aμ=0\partial_{-}a_{\mu}=0. Correspondingly, the homogeneous equation simplifies to

x2a+mCSxamH2(x)a\displaystyle\partial_{x}^{2}a_{-}+m_{CS}\partial_{x}a_{-}-m_{H}^{2}(x)a_{-} =0,\displaystyle=0~{}, (A.6)
x+a+mCS+a2mH2(x)ax\displaystyle\partial_{x}\partial_{+}a_{-}+m_{CS}\partial_{+}a_{-}-2m_{H}^{2}(x)a_{x} =0,\displaystyle=0~{},
x2a++12+2a+xaxmCS(xa++ax)mH2(x)a+\displaystyle\partial_{x}^{2}a_{+}+\frac{1}{2}\partial_{+}^{2}a_{-}-\partial_{+}\partial_{x}a_{x}-m_{CS}(\partial_{x}a_{+}-\partial_{+}a_{x})-m_{H}^{2}(x)a_{+} =0.\displaystyle=0~{}.

The equations have nontrivial bounded solutions only for positive mCSm_{CS}. The solutions are in the form of

ax=a=0,a+=a+(x+,x).a_{x}=a_{-}=0,\quad a_{+}=a_{+}(x_{+},x)~{}. (A.7)

Similarly, using parity transformation (A.5), the anti-chiral solutions exist only for negative mCSm_{CS}.

To find the bounded solution, we first assume ax=a=0a_{x}=a_{-}=0, which reduces (A.6) to

x2a+mCSxa+mH2(x)a+=0.\partial_{x}^{2}a_{+}-m_{CS}\partial_{x}a_{+}-m_{H}^{2}(x)a_{+}=0~{}. (A.8)

The equation is independent of the transverse coordinates so a+a_{+} can be decomposed into a+=+ϕ(x+)h(x)a_{+}=\partial_{+}\phi(x_{+})h(x). Let us examine the behavior of h(x)h(x) in the asymptotic regions:

  • When x+x\rightarrow+\infty, mH2(x)mH2(+)m_{H}^{2}(x)\rightarrow m_{H}^{2}(+\infty), the equation implies the following asymptotic behavior

    h′′(x)mCSh(x)mH2(+)h(x)=0h(x)=c1eλ+x+c2eλx,h^{\prime\prime}(x)-m_{CS}h^{\prime}(x)-m_{H}^{2}(+\infty)h(x)=0\quad\Rightarrow\quad h(x)=c_{1}e^{\lambda_{+}x}+c_{2}e^{\lambda_{-}x}~{}, (A.9)

    where λ±=12(mCS±mCS2+4mH2(+))\lambda_{\pm}=\frac{1}{2}(m_{CS}\pm\sqrt{m_{CS}^{2}+4m_{H}^{2}(+\infty)}). We set c1=0c_{1}=0 for the solutions to be bounded. This selects a unique solution.

  • When xx\rightarrow-\infty, mH2(x)0m_{H}^{2}(x)\rightarrow 0, the equation implies the following asymptotic behavior

    h′′(x)mCSh(x)=0h(x)=c3emCSx+c4.\displaystyle h^{\prime\prime}(x)-m_{CS}h^{\prime}(x)=0\quad\Rightarrow\quad h(x)=c_{3}e^{m_{CS}x}+c_{4}~{}. (A.10)

    For bounded solutions with c1=0c_{1}=0, c3c_{3} and c4c_{4} generally do not vanish. Hence the equation has a bounded solution only if mCSm_{CS} is positive.

The assumption ax=a=0a_{x}=a_{-}=0 can be justified by considering the first two equations of (A.6). The first equation of (A.6) is the same as (A.8) with mCSmCSm_{CS}\rightarrow-m_{CS} so the equation can have nontrivial bounded solutions only if mCSm_{CS} is negative. However, for such solutions, (x+mCS)a(\partial_{x}+m_{CS})a_{-} approaches a constant when xx\rightarrow-\infty which makes axa_{x} diverge according to the second equation of (A.6). Therefore bounded solutions have ax=a=0a_{x}=a_{-}=0.

We conclude that when ±mCS\pm m_{CS} is positive, the equations of motion have a homogeneous solution

ax=a=0,a±=±ϕ(x±)h(x),a_{x}=a_{\mp}=0,\quad a_{\pm}=\partial_{\pm}\phi(x_{\pm})h(x)~{}, (A.11)

which represents a compact chiral boson localized in the xx coordinate. Note that it is not a free compact boson when Nf>1N_{f}>1. It interacts with other gapless fields.

A.1.2 Sharp Interface

Let us consider the limit gg approaching infinity and v(x)v(x) approaching a step function v0Θ(x)v_{0}\Theta(x) with large v0v_{0}. The system reduces to a sharp interface between a U(1)kU(1)_{k} Chern-Simons theory

k4πx<0d3xϵμνρaμνaρ=k2πx<0d3x(ax(a++a)+12(a+xaaxa+)),\displaystyle\frac{k}{4\pi}\int_{x<0}d^{3}x\,\epsilon^{\mu\nu\rho}a_{\mu}\partial_{\nu}a_{\rho}=\frac{k}{2\pi}\int_{x<0}d^{3}x\left(a_{x}(\partial_{-}a_{+}-\partial_{+}a_{-})+\frac{1}{2}(a_{+}\partial_{x}a_{-}-a_{-}\partial_{x}a_{+})\right), (A.12)

and a Nf1\mathbb{CP}^{N_{f}-1} sigma model with a Wess-Zumino term

x>0d3x(v02DμΦIDμΦI+k4πϵμνρbμνbρ),\int_{x>0}d^{3}x\left(v_{0}^{2}D^{\mu}\Phi_{I}^{\dagger}D_{\mu}\Phi_{I}+\frac{k}{4\pi}\epsilon^{\mu\nu\rho}b_{\mu}\partial_{\nu}b_{\rho}\right)~{}, (A.13)

where DΦI=(+ib)ΦID\Phi_{I}=(\partial+ib)\Phi_{I} and b=iΦIdΦIb=\sum i\Phi_{I}^{\dagger}d\Phi_{I}. When Nf=1N_{f}=1, the Nf1\mathbb{CP}^{N_{f}-1} sigma model is simply a trivial theory.

In general, one can impose many different boundary conditions on the sharp interface but here we will land on a unique boundary condition by taking the limit described above.

The limit has two consequences on the equations of motion (A.2)

  • The profile h(x)h(x) becomes a step function Θ(x)\Theta(x). When ±mCS\pm m_{CS} is positive, the homogeneous solution has a=0a_{\mp}=0 and a±=±ϕ(x±)Θ(x)a_{\pm}=\partial_{\pm}\phi(x_{\pm})\Theta(x). This means that aa_{\mp} is always continuous across the interface while a±a_{\pm} can have a discontinuity.

  • The equation of motion (A.2) becomes aμ=bμa_{\mu}=b_{\mu} for x<0x<0.

When ±k\pm k is positive, the appropriate boundary condition on the interface is a=ba_{\mp}=b_{\mp}. There are no constraints relating a±a_{\pm} and b±b_{\pm} since they can differ by a discontinuous homogeneous solution with arbitrary coefficient.

We now discuss the consequences of this boundary condition. In the discussion below, we will assume kk is positive. The case with negative kk can be inferred using the parity transformation (A.5). The boundary condition a=ba_{-}=b_{-} can be imposed dynamically by the equations of motion. This amounts to adding a term on the interface

k2πx=0d2x(a+b12(aa++bb+)).\displaystyle\frac{k}{2\pi}\int_{x=0}d^{2}x\left(a_{+}b_{-}-\frac{1}{2}(a_{-}a_{+}+b_{-}b_{+})\right)~{}. (A.14)

The full action, including (A.13), (A.12) and (A.14), is invariant under the gauge symmetry

ΦIΦIeiλ,aa+dλ,bb+dλ.\Phi_{I}\rightarrow\Phi_{I}e^{-i\lambda},\quad a\rightarrow a+d\lambda,\quad b\rightarrow b+d\lambda~{}. (A.15)

To check the gauge invariance, let us compute the gauge variation of a piece of the action

S=\displaystyle S= k4πx=0d2xaa+±k4πx<0d3xϵμνρaμνaρ.\displaystyle-\frac{k}{4\pi}\int_{x=0}d^{2}x\,a_{-}a_{+}\pm\frac{k}{4\pi}\int_{x<0}d^{3}x\,\epsilon^{\mu\nu\rho}a_{\mu}\partial_{\nu}a_{\rho}. (A.16)

Here ±\pm sign is introduced so that the computation can also apply to the term associated to bb. The gauge variation can be written as a boundary term

SSk2πx=0d2x(a±λ+12λ+λ).\displaystyle S\rightarrow S-\frac{k}{2\pi}\int_{x=0}d^{2}x\left(a_{\pm}\partial_{\mp}\lambda+\frac{1}{2}\partial_{-}\lambda\partial_{+}\lambda\right)~{}. (A.17)

It is then straightforward to the check the gauge invariance of the full action. Let us also compute the variation of (A.16) with respect to aa, which gives

δS=±k2πx<0d3x(f+δax+fxδa++f+xδa)k2πx=0d2xaδa±.\displaystyle\delta S=\pm\frac{k}{2\pi}\int_{x<0}d^{3}x\left(f_{-+}\delta a_{x}+f_{x-}\delta a_{+}+f_{+x}\delta a_{-}\right)-\frac{k}{2\pi}\int_{x=0}d^{2}x\,a_{\mp}\delta a_{\pm}~{}. (A.18)

Combing it with the variation of k2πd2xa+b\frac{k}{2\pi}\int d^{2}x\,a_{+}b_{-} gives the constraint a=ba_{-}=b_{-}.

We can integrate out aa_{-}. It restricts the remaining gauge fields to be pure gauge

ax=xϕ,a+=+ϕ,a_{x}=\partial_{x}\phi,\quad a_{+}=\partial_{+}\phi~{}, (A.19)

where ϕ\phi is a compact boson, ϕϕ+2π\phi\sim\phi+2\pi, with a redundancy ϕϕ+ξ(x)\phi\rightarrow\phi+\xi(x_{-}). Substituting the solutions back to (A.13), (A.12) and (A.14) gives

x>0d3x(v02DμΦIDμΦI+k4πϵμνρbμνbρ)k4πx=0d2x(ϕ+ϕ+bb+2b+ϕ).\displaystyle\int_{x>0}d^{3}x\left(v_{0}^{2}D^{\mu}\Phi_{I}^{\dagger}D_{\mu}\Phi_{I}+\frac{k}{4\pi}\epsilon^{\mu\nu\rho}b_{\mu}\partial_{\nu}b_{\rho}\right)-\frac{k}{4\pi}\int_{x=0}d^{2}x\left(\partial_{-}\phi\partial_{+}\phi+b_{-}b_{+}-2b_{-}\partial_{+}\phi\right)~{}. (A.20)

Even though the boundary action is not chiral, ϕ\phi is in fact a chiral boson due to the redundancy ϕϕ+ξ(x)\phi\rightarrow\phi+\xi(x_{-}). Let us summarize the gauge symmetry of the system

ΦIΦIeiλ(x,x+),bb+dλ(x,x+),ϕϕ+λ(x,x+)+ξ(x).\Phi_{I}\rightarrow\Phi_{I}e^{-i\lambda(x_{-},x_{+})},\quad b\rightarrow b+d\lambda(x_{-},x_{+}),\quad\phi\rightarrow\phi+\lambda(x_{-},x_{+})+\xi(x_{-})~{}. (A.21)

We can fix the gauge symmetry by demanding ϕ=0\phi=0. It reduces the action to

x>0d3x(v02DμΦIDμΦI+k4πϵμνρbμνbρ)k4πx=0d2xbb+.\displaystyle\int_{x>0}d^{3}x\left(v_{0}^{2}D^{\mu}\Phi_{I}^{\dagger}D_{\mu}\Phi_{I}+\frac{k}{4\pi}\epsilon^{\mu\nu\rho}b_{\mu}\partial_{\nu}b_{\rho}\right)-\frac{k}{4\pi}\int_{x=0}d^{2}x\,b_{-}b_{+}~{}. (A.22)

The gauge parameter λ\lambda is restricted such that it depends only on xx_{-}, λ(x)=ξ(x)\lambda(x_{-})=-\xi(x_{-}). The restricted gauge symmetry on the boundary can be interpreted as an extension of the Nf1\mathbb{CP}^{N_{f}-1} sigma model to the 𝕊2Nf1\mathbb{S}^{2N_{f}-1} sigma model by the compact chiral boson (A.11) [46]. When Nf=1N_{f}=1, the bulk sigma model is trivial so the theory on the interface is a free compact chiral boson with the action

k4πx=0d2xϕ+ϕ,-\frac{k}{4\pi}\int_{x=0}d^{2}x\,\partial_{-}\phi\partial_{+}\phi~{}, (A.23)

and the gauge symmetry ϕϕ+λ(x)\phi\rightarrow\phi+\lambda(x_{-}).

We can couple the system to a U(1)U(1) background gauge field AA by introducing the following coupling to the full Lagrangian (A.1)

12πϵμνρAμνaρ.\frac{1}{2\pi}\epsilon^{\mu\nu\rho}A_{\mu}\partial_{\nu}a_{\rho}~{}. (A.24)

When the system is reduced to a sharp interface, the coupling becomes

12πx<0d3xϵμνρAμνaρ+12πx>0d3xϵμνρAμνbρ+12πx=0d2xϵμνAμ(bνaν).\frac{1}{2\pi}\int_{x<0}d^{3}x\,\epsilon^{\mu\nu\rho}A_{\mu}\partial_{\nu}a_{\rho}+\frac{1}{2\pi}\int_{x>0}d^{3}x\,\epsilon^{\mu\nu\rho}A_{\mu}\partial_{\nu}b_{\rho}+\frac{1}{2\pi}\int_{x=0}d^{2}x\,\epsilon^{\mu\nu}A_{\mu}(b_{\nu}-a_{\nu})~{}. (A.25)

The background gauge field AA couples to the U(1)U(1) magnetic symmetry of the Chern-Simons theory and the baryon current of the sigma model. As discussed above, when kk is positive, we can integrate out aa_{-} and solve the constraint by introducing a compact boson ϕ\phi

ax=1kAx+xϕ,a+=1kA+++ϕ.a_{x}=-\frac{1}{k}A_{x}+\partial_{x}\phi,\quad a_{+}=-\frac{1}{k}A_{+}+\partial_{+}\phi~{}. (A.26)

This generates the following coupling in addition to the action (A.20)

12πx>0d3xϵμνρAμνbρ12πx=0d2xA(b++ϕ).\frac{1}{2\pi}\int_{x>0}d^{3}x\,\epsilon^{\mu\nu\rho}A_{\mu}\partial_{\nu}b_{\rho}-\frac{1}{2\pi}\int_{x=0}d^{2}x\,A_{-}(b_{+}-\partial_{+}\phi)~{}. (A.27)

As before, we can fix the gauge by setting ϕ=0\phi=0. This reduces the coupling to

12πx>0d3xϵμνρAμνbρ12πx=0d2xAb+.\frac{1}{2\pi}\int_{x>0}d^{3}x\,\epsilon^{\mu\nu\rho}A_{\mu}\partial_{\nu}b_{\rho}-\frac{1}{2\pi}\int_{x=0}d^{2}x\,A_{-}b_{+}~{}. (A.28)

When Nf=1N_{f}=1, the bulk sigma model is trivial so the background gauge field AA only couples to the compact boson on the interface

12πx=0d2xA+ϕ.\frac{1}{2\pi}\int_{x=0}d^{2}x\,A_{-}\partial_{+}\phi~{}. (A.29)

AA can be interpreted as the background gauge field of the shift symmetry of the compact chiral boson.

A.2 SU(N)k+Nf/2SU(N)_{-k+N_{f}/2} + NfN_{f} Fermions

Consider an SU(N)k+Nf/2SU(N)_{-k+N_{f}/2} Chern-Simons theory coupled to NfN_{f} degenerate fermions with Nf>k>0N_{f}>k>0. According to [14], the theory flows to an SU(N)k+NfSU(N)_{-k+N_{f}} Chern-Simons theory for large positive mass, an SU(N)kSU(N)_{-k} Chern-Simons theory for large negative mass, and a quantum phase, described by a sigma model with a Grassmannian target space

(k,Nfk)=U(Nf)U(k)×U(Nfk),\mathcal{M}(k,N_{f}-k)=\frac{U(N_{f})}{U(k)\times U(N_{f}-k)}~{}, (A.30)

for intermediate mass. Let us also keep track of the classical counterterms of the background gauge fields. The theory has a U(Nf)/NU(N_{f})/\mathbb{Z}_{N} global symmetry [47]. For simplicity, we will only couple the theory to a U(1)U(1) background gauge field AA and an SU(Nf)SU(N_{f}) background gauge field BB. The two gauge fields can be combined into a U(Nf)U(N_{f}) gauge field B+A𝟙B+A\mathbbm{1}. The classical counterterms at large positive and large negative mass differ by

NNf4πAdA+N4πTr(BdB2i3B3)+2NNfCSgrav.\frac{NN_{f}}{4\pi}AdA+\frac{N}{4\pi}\text{Tr}\left(BdB-\frac{2i}{3}B^{3}\right)+2NN_{f}\text{CS}_{\text{grav}}~{}. (A.31)

We can use level-rank duality [37] to dualize the SU(N)k+NfSU(N)_{-k+N_{f}} and the SU(N)kSU(N)_{-k} Chern-Simons theory of the two asymptotic phases to U(Nfk)NU(N_{f}-k)_{-N} and U(k)NU(k)_{N}, respectively. This removes the difference of the U(1)U(1) and the gravitational counterterms but leaves the SU(Nf)SU(N_{f}) counterterms intact.

The transitions between the quantum phase and the asymptotic phases are described by two separate bosonic theories: a U(k)NU(k)_{N} coupled to NfN_{f} scalars and a U(Nfk)NU(N_{f}-k)_{-N} coupled to NfN_{f} scalars. The Grassmannian sigma model of the quantum phase can be seen from the bosonic theories by condensing the scalars. The Chern-Simons terms of the bosonic theories become the Wess-Zumino term of the sigma model (or the 2\mathbb{Z}_{2}-valued θ\theta term of the 1\mathbb{CP}^{1} sigma model when Nf=2N_{f}=2, k=1k=1).

Let us explain the Wess-Zumino term in more detail. The Grassmannian sigma model can be described by a U(Nf)U(N_{f}) matrix gg with a block-diagonal U(k)×U(Nfk)U(k)\times U(N_{f}-k) gauge symmetry acting from the right. We define two composite gauge fields

aIJ\displaystyle a_{IJ} =i(gdg)IJ,\displaystyle=i(g^{\dagger}dg)_{IJ},\qquad 1I,Jk,\displaystyle 1\leq I,J\leq k~{},
bIJ\displaystyle b_{IJ} =i(gdg)IJ,k+\displaystyle=i(g^{\dagger}dg)_{IJ},\qquad k+ 1I,JNf.\displaystyle 1\leq I,J\leq N_{f}~{}. (A.32)

They transform as ordinary gauge fields under the U(k)U(k) and the U(Nfk)U(N_{f}-k) gauge symmetry respectively. The Wess-Zumino term is defined on a four-dimensional manifold N4N_{4} which extends the original spacetime M3M_{3},

N4πN41I,Kkk+1J,LNf(gdg)IJ(gdg)JK(gdg)KL(gdg)LI.\displaystyle\frac{N}{4\pi}\int_{N_{4}}\sum_{\begin{subarray}{c}1\leq I,K\leq k\\ k+1\leq J,L\leq N_{f}\end{subarray}}(g^{\dagger}dg)_{IJ}(g^{\dagger}dg)_{JK}(g^{\dagger}dg)_{KL}(g^{\dagger}dg)_{LI}~{}. (A.33)

The definition is independent of the extensions modulo 2π2\pi. The integrand is a total derivative so the Wess-Zumino term can also be expressed as a Chern-Simons term for the composite gauge fields

NM3CS(a)=NM3CS(b).N\int_{M_{3}}\text{CS}(a)=-N\int_{M_{3}}\text{CS}(b)~{}. (A.34)

CS(a)\text{CS}(a) denotes the Chern-Simons form of aa

CS(a)=14πTr(ada2i3a3).\text{CS}(a)=\frac{1}{4\pi}\text{Tr}\left(ada-\frac{2i}{3}a^{3}\right)~{}. (A.35)

When Nf=2N_{f}=2, k=1k=1, the 1\mathbb{CP}^{1} sigma model does not have a Wess-Zumino term, instead, it has a 2\mathbb{Z}_{2}-valued discrete θ\theta term [33, 34] which can also be expressed as (A.34).

Refer to caption
Figure 7: SU(N)k+Nf/2SU(N)_{-k+N_{f}/2} Chern-Simons theory coupled to NfN_{f} fermions with a spatially varying mass mxm\propto x. There are two interfaces separating the U(k)NU(k)_{N} Chern-Simons theory, the (k,Nfk)\mathcal{M}(k,N_{f}-k) Grassmannian sigma model and the U(Nfk)NU(N_{f}-k)_{-N} Chern-Simons theory. The interfaces can be described by the bosonic theories with a spatially varying mass squared. The sigma model has a Wess-Zumino term which consists of three components: NCS(a)N\text{CS}(a) on M3M_{3}^{\prime} (red), NCS(b)N\text{CS}(b) on M3′′M_{3}^{\prime\prime} (blue) and NWZW(g)N\text{WZW}(g) on N3N_{3} (black).

Let us now make the fermion mass vary slowly along one coordinate, mxm\propto x. As illustrated in figure 7, this leads to two interfaces that separate the U(k)NU(k)_{N} Chern-Simons theory, the Grassmannian sigma model and the U(Nfk)NU(N_{f}-k)_{-N} Chern-Simons theory. In the bosonic descriptions, the mass squared of the scalars varies across the interfaces. This leads to chiral boundary conditions on the interfaces. The boundary conditions identify aa_{-} and bb_{-} of the Grassmannian sigma model with the corresponding light cone components of the U(k)U(k) and the U(Nfk)U(N_{f}-k) gauge fields on the two interfaces, respectively. Similar to the discussions in appendix A.1, we can integrate out the Chern-Simons gauge fields and fix the gauge symmetry. This leads to a restricted U(k)U(k) and U(Nfk)U(N_{f}-k) gauge symmetry on the two interfaces, respectively. The gauge parameters are restricted such that they can depend only on the light cone coordinate xx_{-} on the interfaces. Hence there are chiral modes localized on the interfaces. These chiral modes do not carry SU(Nf)SU(N_{f}) anomaly.

Let us examine the Grassmannian sigma model in the intermediate region. Around the two interfaces, the Chern-Simons terms of the dual bosonic theories both descend to the Wess-Zumino term of the sigma model. However, they have different presentations. One of them is NCS(a)N\text{CS}(a) and the other one is NCS(b)-N\text{CS}(b). This suggests us to use a specific presentation of the Wess-Zumino term that agrees with both presentations around the interfaces. Let us introduce an artificial interface M2M_{2} in the middle of the Grassmannian sigma model. There are no localized degrees of freedom on the interface. As illustrated in figure 7, we define the manifold on the left hand side by M3M_{3}^{\prime}, the manifold on the right hand side by M3′′M_{3}^{\prime\prime} and a three-dimensional manifold that extends M2M_{2} by N3N_{3}. We can present the Wess-Zumino term as

NM3CS(a)NM3′′CS(b)+NN3WZW(g).N\int_{M_{3}^{\prime}}\text{CS}(a)-N\int_{M_{3}^{\prime\prime}}\text{CS}(b)+N\int_{N_{3}}\text{WZW}(g)~{}. (A.36)

where WZW(g)\text{WZW}(g) denotes

WZW(g)=112πTr[(gdg)3]=CS(a)+CS(b).\text{WZW}(g)=-\frac{1}{12\pi}\text{Tr}\left[(g^{\dagger}dg)^{3}\right]=\text{CS}(a)+\text{CS}(b)~{}. (A.37)

The Wess-Zumino term in this presentation is independent of the extensions on N3N_{3}. When Nf=2N_{f}=2, k=1k=1, the θ\theta term of the 1\mathbb{CP}^{1} sigma model can also be expressed as (A.36).

The three different presentations of the Wess-Zumino term in (A.34) and (A.36) are equivalent when M3=M3M3′′M_{3}=M_{3}^{\prime}\cup M_{3}^{\prime\prime} is a closed manfiold. It can be shown using the relation (A.37). But these presentations are not equivalent on open manifolds. In particular, they have different gauge variations on open manifolds. We choose the presentation (A.36) such that its gauge variation cancels the gauge variations of the Chern-Simons theories at the interfaces.

We can couple the SU(Nf)SU(N_{f}) global symmetry of the Grassmannian sigma model, ghgg\rightarrow hg, to the SU(Nf)SU(N_{f}) background gauge field BB. This modifies the Wess-Zumino term to

NM3CS(a~)NM3′′CS(b~)+NN3WZW(g)N4πM2Tr(iBdgg),N\int_{M_{3}^{\prime}}\text{CS}(\widetilde{a})-N\int_{M_{3}^{\prime\prime}}\text{CS}(\widetilde{b})+N\int_{N_{3}}\text{WZW}(g)-\frac{N}{4\pi}\int_{M_{2}}\text{Tr}(iBdgg^{\dagger})~{}, (A.38)

where we define

a~IJ\displaystyle\widetilde{a}_{IJ} =i(g(d+iB)g)IJ,\displaystyle=i\left(g^{\dagger}(d+iB)g\right)_{IJ},\qquad 1I,Jk,\displaystyle 1\leq I,J\leq k~{},
b~IJ\displaystyle\widetilde{b}_{IJ} =i(g(d+iB)g)IJ,k+\displaystyle=i\left(g^{\dagger}(d+iB)g\right)_{IJ},\qquad k+ 1I,JNf.\displaystyle 1\leq I,J\leq N_{f}~{}. (A.39)

The modified Wess-Zumino term is not invariant under the infinitesimal gauge symmetry

BB+[B,ζ]+dζ,gg+iζg.B\rightarrow B+[B,\zeta]+d\zeta,\quad g\rightarrow g+i\zeta g~{}. (A.40)

It is shifted by

N4πTr(Bdζ),\frac{N}{4\pi}\text{Tr}(Bd\zeta)~{}, (A.41)

which exactly cancels the anomaly inflow due to the difference in the SU(Nf)SU(N_{f}) counterterms (A.31) at large |x||x|.

When the fermion mass varies rapidly, the intermediate region described by the Grassmannian sigma model shrinks and becomes negligible. The two interfaces then collapse into one interface between the U(k)NU(k)_{N} and the U(Nfk)NU(N_{f}-k)_{-N} Chern-Simons theory. The theory on the interface is a two-dimensional Grassmannian sigma model with the same target space (k,Nfk)\mathcal{M}(k,N_{f}-k). The Wess-Zumino term of the three-dimensional sigma model reduces

NN3WZW(g),N\int_{N_{3}}\text{WZW}(g)~{}, (A.42)

where N3N_{3} extends the interface worldvolume M2M_{2}. On the interface, we impose boundary conditions that identifies aa_{-} and bb_{-} with the corresponding light cone component of the U(k)U(k) and the U(Nfk)U(N_{f}-k) gauge fields, respectively. After integrating out the Chern-Simons gauge fields and fixing the gauge symmetry, the theory on the interface becomes a gauged U(Nf)U(N_{f}) Wess-Zumino-Witten model with a restricted U(k)×U(Nfk)U(k)\times U(N_{f}-k) gauge symmetry acting from the right. The gauge parameters can depend only on the xx_{-} coordinate.

The theory has a chiral algebara that consists of a 𝔲(Nf)N\mathfrak{u}(N_{f})_{N} left-moving chiral algebra and a 𝔲(Nf)N/(𝔲(k)N×𝔲(Nfk)N)\mathfrak{u}(N_{f})_{N}/(\mathfrak{u}(k)_{N}\times\mathfrak{u}(N_{f}-k)_{N}) right-moving coset chiral algebra. The chiral algebra has an ’t Hooft anomaly for the U(Nf)U(N_{f}) background that couples only to the left-moving currents. The ’t Hooft anomaly exactly absorbs the U(Nf)U(N_{f}) anomaly inflow due to the difference in the classical counterterms (A.31) at large |x||x|. The chiral central charge of the chiral algebra also agrees with the gravitational anomaly inflow which includes contributions from the SU(N)kSU(N)_{-k} and SU(N)k+NfSU(N)_{-k+N_{f}} Chern-Simons theories as well as the difference in the classical counterterms.

Appendix B Defects in Real Scalar Theory

In this appendix, we shall prove the claim made at the end of section 4: the 1+1 dimensional effective mass of the η\eta^{\prime} particle [localized on the string at (x,y)=(x0,0)(x,y)=(x_{0},0); we shall choose x0=0x_{0}=0] is positive when κ(y)\kappa(y) and μ2(x)\mu^{2}(x) are discontinuous step functions. The Lagrangian that we are going to study is (4.12)

=12(Φ)2+κ(y)Φ+12μ2(x)Φ2+14λΦ4,\mathcal{L}=\frac{1}{2}(\partial\Phi)^{2}+\kappa(y)\Phi+\frac{1}{2}\mu^{2}(x)\Phi^{2}+\frac{1}{4}\lambda\Phi^{4}~{}, (B.1)

where we define the scalar Φ=fηη\Phi=f_{\eta^{\prime}}\eta^{\prime} with a canonical mass dimension, and rescale κ(y)\kappa(y) and μ2(x)\mu^{2}(x) accordingly. We restrict κ(y)\kappa(y) to be an odd function of yy since the original problem has the same property. Hence, the above Lagrangian has a 2\mathbb{Z}_{2} symmetry, yyy\rightarrow-y and ΦΦ\Phi\rightarrow-\Phi.

B.1 Interface

To get a sense of the kind of arguments we will use to prove the above claim, we shall first consider an interface where κ(y)=0\kappa(y)=0, i.e., only μ2(x)\mu^{2}(x) varies along xx. One may expect that because μ2(0)=0\mu^{2}(0)=0, η\eta^{\prime} becomes a gapless 2+1 dimensional excitation localized along x=0x=0. However, we shall see that when μ2(x)\mu^{2}(x) is a discontinuous step function, the 2+1 dimensional effective mass of η\eta^{\prime} is always positive.

Let μ2(x)\mu^{2}(x) be a step function

μ2(x)={+μ12>0,x>0μ22<0,x<0.\mu^{2}(x)=\begin{dcases}+\mu_{1}^{2}>0,\quad&x>0\\ -\mu_{2}^{2}<0,\quad&x<0\end{dcases}~{}. (B.2)

The vacuum solution v(x)v(x) satisfies the equation of motion

x2v(x)+μ2(x)v(x)+λv(x)3=0,-\partial_{x}^{2}v(x)+\mu^{2}(x)v(x)+\lambda v(x)^{3}=0~{}, (B.3)

where we expect that, for energy reasons, the vacuum depends only on the longitudinal direction xx. We also expect that v(x)=μ2/λv(x)=\mu_{2}/\sqrt{\lambda} as xx\rightarrow-\infty, and it decays to v(x)=0v(x)=0 as x+x\rightarrow+\infty. In fact, the above equation can be exactly solved, and the solution is

v(x)={μ2λtanh[μ2x2arctanh(λv0μ2)],x<02μ1λcsch[μ1x+arcsinh(2μ1v0λ)],x>0v\left(x\right)=\begin{dcases}-\frac{\mu_{2}}{\sqrt{\lambda}}\tanh\left[\frac{\mu_{2}x}{\sqrt{2}}-\text{arctanh}\left(\frac{\sqrt{\lambda}v_{0}}{\mu_{2}}\right)\right]~{},&x<0\\ \frac{\sqrt{2}\mu_{1}}{\sqrt{\lambda}}\text{csch}\left[\mu_{1}x+\text{arcsinh}\left(\frac{\sqrt{2}\mu_{1}}{v_{0}\sqrt{\lambda}}\right)\right]~{},&x>0\end{dcases} (B.4)

where v0=μ22/2λ(μ12+μ22)=v(0)v_{0}=\mu_{2}^{2}/\sqrt{2\lambda(\mu_{1}^{2}+\mu_{2}^{2})}=v(0). Note that, if v(x)v(x) is a solution, then v(x)-v(x) is also a solution because of the 2\mathbb{Z}_{2} symmetry. We can work with one of them without loss of generality.

Consider the linearized fluctuation around this vacuum Φ=v+εφ\Phi=v+\varepsilon\varphi, which satisfies

2φ+M2(x)φ=0,-\partial^{2}\varphi+M^{2}(x)\varphi=0~{}, (B.5)

where M2(x)=μ2(x)+3λv2(x)M^{2}(x)=\mu^{2}(x)+3\lambda v^{2}(x). Since the linearized equation of motion is translational invariant along the transverse coordinates (y,t)(\vec{y},t), we can assume the following ansatz

φ=eiEtipyψ(x).\varphi=e^{iEt-i\vec{p}\cdot\vec{y}}\psi(x)~{}. (B.6)

The wave function ψ(x)\psi(x) is the eigenfunction of a one-dimensional Schrödinger equation

x2ψ(x)+M2(x)ψ(x)=m2ψ(x),-\partial_{x}^{2}\psi(x)+M^{2}(x)\psi(x)=m^{2}\psi(x)~{}, (B.7)

whose eigenvalue m2=E2|p|2m^{2}=E^{2}-|\vec{p}|^{2} is the effective 2+1 dimensional mass of the excitations. The eigenvalue m2m^{2} is always non-negative if v(x)v(x) is the true vacuum with minimal energy. To show that it is indeed positive, i.e., there are no zero modes, consider the following three cases (see figure 8):

Refer to caption
(a)
Refer to caption
(b)
Refer to caption
(c)
Figure 8: The potential M2(x)M^{2}(x) (solid line) and their corresponding lower bounding square-well potentials V(x;L)V(x;L) (dotted line) when: (a) μ22<μ12/2\mu_{2}^{2}<\mu_{1}^{2}/2, (b) μ12/2<μ22<2μ12\mu_{1}^{2}/2<\mu_{2}^{2}<2\mu_{1}^{2}, and (c) μ22>2μ12\mu_{2}^{2}>2\mu_{1}^{2}.
  • μ22<μ12/2\mu_{2}^{2}<\mu_{1}^{2}/2: In this case, 0<M2()<M2(+)0<M^{2}(-\infty)<M^{2}(+\infty), and we have a region where M2(x)<0M^{2}(x)<0. The negative M2(x)M^{2}(x) region lies in L0<x<0-L_{0}<x<0 where L0>0L_{0}>0 depends on the parameters (μ1,μ2\mu_{1},\mu_{2} and λ\lambda) of the theory. In fact, the minimum is obtained at x=0x=0, where M2(0)=μ22+3λv02<0M^{2}(0^{-})=-\mu_{2}^{2}+3\lambda v_{0}^{2}<0. For some L>L0L>L_{0}, consider a square-well potential of the form

    V(x;L)={M2(L),x<L or x>0M2(0),L<x<0V(x;L)=\begin{dcases}M^{2}(-L)~{},&x<-L\text{ or }x>0\\ M^{2}(0^{-})~{},&-L<x<0\end{dcases} (B.8)

    This potential is chosen such that M2(x)V(x;L)M^{2}(x)\geq V(x;L) for all xx and LL, i.e., the square-well potential lower bounds M2(x)M^{2}(x). Hence, if we can show that there exists an LL such that the Schrödinger equation (B.7) with potential V(x;L)V(x;L) has only positive eigenvalues, then the Schrödinger equation with potential M2(x)M^{2}(x) also has only positive eigenvalues. First, it is clear that L>L0L>L_{0} for the square-well potential to have any positive eigenvalues with bounded solutions at all. As is familiar from quantum mechanics, the eigenvalues of the square-well problem are given by a transcendental equation,

    λ=M12+4η2L2, where ηsecη=M0(L)L2,\lambda=-M_{1}^{2}+\frac{4\eta^{2}}{L^{2}},\text{ where }\eta\sec\eta=\frac{M_{0}(L)L}{2}~{}, (B.9)

    and M02(L)=M2(L)+M12>0M_{0}^{2}(L)=M^{2}(-L)+M_{1}^{2}>0 is the depth of the potential V(x;L)V(x;L), and M12=M2(0)>0M_{1}^{2}=-M^{2}(0^{-})>0. The lowest eigenvalue corresponds to 0<η<π20<\eta<\frac{\pi}{2}. Requiring λ>0\lambda>0 then gives us the constraint that

    η>M1L2M0(L)L2=ηsecη>M1L2secM1L2M2(L)M12>tan2M1L2,\eta>\frac{M_{1}L}{2}\implies\frac{M_{0}(L)L}{2}=\eta\sec\eta>\frac{M_{1}L}{2}\sec\frac{M_{1}L}{2}\implies\frac{M^{2}(-L)}{M_{1}^{2}}>\tan^{2}\frac{M_{1}L}{2}~{}, (B.10)

    because secx\sec x is a monotonically increasing function in 0<x<π20<x<\frac{\pi}{2}. Since η<π2\eta<\frac{\pi}{2}, we only need to look for L<π/M1L<\pi/M_{1}. Therefore, the possible range of LL is L0<L<π/M1L_{0}<L<\pi/M_{1}. Defining =M1L2\ell=\frac{M_{1}L}{2} and 0=M1L02\ell_{0}=\frac{M_{1}L_{0}}{2}, we can write the range as 0<<π2\ell_{0}<\ell<\frac{\pi}{2}, and the constraint as

    M2(2/M1)M12>tan2.\frac{M^{2}(-2\ell/M_{1})}{M_{1}^{2}}>\tan^{2}\ell~{}. (B.11)

    For μ22=μ12/2\mu_{2}^{2}=\mu_{1}^{2}/2, there is indeed an \ell that satisfies the above constraint (for example, choosing LL such that μ4d2(L)=34μ12\mu^{2}_{4d}(-L)=\frac{3}{4}\mu_{1}^{2} satisfies the above condition). As μ2/μ10\mu_{2}/\mu_{1}\rightarrow 0, the LHS approaches 3tanh2213\tanh^{2}\sqrt{2}\ell-1, and it can be verified numerically that any \ell between 1=0.647549\ell_{1}=0.647549 and 2=0.730573\ell_{2}=0.730573 satisfies (B.11). In fact, as the above two limits suggest, for the entire range of μ2\mu_{2} considered here, an \ell that satisfies (B.11) can always be found. Figure 9 shows these limiting cases and some cases in between. Therefore, any bounded solution of (B.7) has m2>0m^{2}>0.

    Refer to caption
    (a)
    Refer to caption
    (b)
    Figure 9: (a) Four cases of the LHS of equation (B.11) are plotted here. All of them have a range of \ell where they are above the RHS (tan2\tan^{2}\ell) curve. (b) Zoomed up version of μ2/μ10\mu_{2}/\mu_{1}\rightarrow 0, in which case the LHS of (B.11) corresponds to 3tanh2213\tanh^{2}\sqrt{2}\ell-1.
  • μ12/2<μ22<2μ12\mu_{1}^{2}/2<\mu_{2}^{2}<2\mu_{1}^{2}: In this case, there is still a region where M2(x)<0M^{2}(x)<0 but now 0<M2(+)<M2()0<M^{2}(+\infty)<M^{2}(-\infty). Once again, we can use a lower bounding square-well potential

    V(x;L)={34μ12,x<L or x>0M2(0),L<x<0V(x;L)=\begin{dcases}\frac{3}{4}\mu_{1}^{2}~{},&x<-L\text{ or }x>0\\ M^{2}(0^{-})~{},&-L<x<0\end{dcases} (B.12)

    where LL is chosen such that M2(L)=34μ12M^{2}(-L)=\frac{3}{4}\mu_{1}^{2} (here, 34\frac{3}{4} isn’t special, it just serves the purpose). It can be shown that for any μ2\mu_{2} in the given range, this potential has only positive eigenvalues. Hence, even in this case, any bounded solution of (B.7) has m2>0m^{2}>0.

  • μ22>2μ12\mu_{2}^{2}>2\mu_{1}^{2}: In this case, M2(x)>0M^{2}(x)>0 everywhere, and hence, any bounded solution of (B.7) has m2>0m^{2}>0.

We conclude that the effective 2+1 dimensional mass m2m^{2} of the η\eta^{\prime} excitations are always positive when μ2(x)\mu^{2}(x) is discontinuous. Although the proof is restricted to discontinuous μ2(x)\mu^{2}(x), we expect that deforming μ2(x)\mu^{2}(x) to a generic profile doesn’t change the above conclusion drastically.

It is interesting to consider the limit μ1,2,λ\mu_{1,2},\lambda\rightarrow\infty such that μ1,2/λ\mu_{1,2}/\sqrt{\lambda} is finite. In this limit, the vacuum solution (B.4) behaves like a step function with v(x)=μ2/λv(x)=\mu_{2}/\sqrt{\lambda} for x<0x<0, and v(x)=0v(x)=0 for x>0x>0. In this case, the system can be thought of as being in the massive phase on one side, and the condensed phase on the other side.

B.2 String

Let us now go back to our original problem with both κ(y)\kappa(y) and μ2(x)\mu^{2}(x) being discontinuous step functions. We define μ2(x)\mu^{2}(x) as before, and κ(y)\kappa(y) as an odd step function with κ(y)=κ0\kappa(y)=\kappa_{0} for y>0y>0. The vacuum v(x,y)v(x,y) satisfies the equation of motion

(x2+y2)v(x,y)+κ(y)+μ2(x)v(x,y)+λv(x,y)3=0.-(\partial_{x}^{2}+\partial_{y}^{2})v(x,y)+\kappa(y)+\mu^{2}(x)v(x,y)+\lambda v(x,y)^{3}=0~{}. (B.13)

Due to the 2\mathbb{Z}_{2} symmetry, yyy\rightarrow-y and ΦΦ\Phi\rightarrow-\Phi, of the Lagrangian (4.12), we expect the vacuum to be an odd function of yy. In particular, this means v(x,0)=0v(x,0)=0 for all xx. At large |x||x|, we expect the vacuum to be independent of xx, so the equation (B.13) reduces to a one-dimensional problem in yy. An exact solution for both v(+,y)v(+\infty,y) and v(,y)v(-\infty,y) can be found with suitable boundary conditions. Since μ2()<0<μ2(+)\mu^{2}(-\infty)<0<\mu^{2}(+\infty), the asymptotic solutions satisfy v2(,y)v2(+,y)v^{2}(-\infty,y)\geq v^{2}(+\infty,y) for all yy. We expect the vacuum to interpolate between these two asymptotic solutions monotonically, so v2(x,y)v2(+,y)v^{2}(x,y)\geq v^{2}(+\infty,y) for all xx and yy.

Assuming the ansatz φ=eiEtipzψ(x,y)\varphi=e^{iEt-ipz}\psi(x,y) for the linearized fluctuation around the vacuum Φ=v+εφ\Phi=v+\varepsilon\varphi, the wave function ψ(x,y)\psi(x,y) is the eigenfunction of a two-dimension Schrödinger equation

(x2+y2)ψ(x,y)+M2(x,y)ψ(x,y)=m2ψ(x,y),-(\partial_{x}^{2}+\partial_{y}^{2})\psi(x,y)+M^{2}(x,y)\psi(x,y)=m^{2}\psi(x,y)~{}, (B.14)

where M2(x,y)=μ2(x)+3λv2(x,y)M^{2}(x,y)=\mu^{2}(x)+3\lambda v^{2}(x,y), and the eigenvalue m2=E2p2m^{2}=E^{2}-p^{2} is the effective 1+1 dimensional mass of the excitations. Since v(x,0)v(x,0) is always zero, the potential M2(x,0)M^{2}(x,0) is negative for x<0x<0. In fact, there is always a region around the negative xx axis where M2(x,y)<0M^{2}(x,y)<0. Hence, there is always a possibility of bounded solutions with zero eigenvalues m2m^{2}. We shall show that this is not the case.

Consider the following lower bound on the potential,

M2(x,y)=μ2(x)+3λv2(x,y)μ22+3λv2(+,y).M^{2}(x,y)=\mu^{2}(x)+3\lambda v^{2}(x,y)\geq-\mu^{2}_{2}+3\lambda v^{2}(+\infty,y)~{}. (B.15)

Although this is a crude bound, it is enough for our purposes for a wide range of μ1,μ2,λ\mu_{1},\mu_{2},\lambda and κ0\kappa_{0}. The RHS in the above inequality can be further lower bounded by the following square-well potential,

V(y;L)={μ22,|y|<Lμ22+3λv2(,L),|y|>LV(y;L)=\begin{dcases}-\mu_{2}^{2}~{},&|y|<L\\ -\mu_{2}^{2}+3\lambda v^{2}(\infty,L)~{},&|y|>L\end{dcases} (B.16)

Let uu be the real root of the cubic polynomial u3+u+(λκ0/μ13)=0u^{3}+u+(\sqrt{\lambda}\kappa_{0}/\mu_{1}^{3})=0 (there is only one real root). It can be shown that, whenever u22μ22/μ12u^{2}\geq 2\mu_{2}^{2}/\mu_{1}^{2}, there exists a value of LL such that the eigenvalues of this square-well problem are positive (here, the factor of 2 in the inequality can be made smaller by more careful analysis). Therefore, as long as this condition is met, the above crude bound allows us to conclude that the eigenvalues m2m^{2} of the Schrödinger equation (B.14) are always positive.

Once again, the above proof shows that the effective 1+1 dimensional mass m2m^{2} of the η\eta^{\prime} excitations are always positive in the case of a discontinuous κ(y)\kappa(y) and μ2(x)\mu^{2}(x), and with a certain restriction on the parameters. We expect that, with better lower bounds on the potential M2(x,y)M^{2}(x,y), we can relax this condition but we do not attempt this exercise here. Moreover, deforming κ(y)\kappa(y) and μ2(x)\mu^{2}(x) to a generic profile shouldn’t change the above conclusion drastically.

References