1 Introduction

In recent years, a sustained effort has been dedicated to studying the phases of 2+1 dimensional gauge theories, inspired by applications in condensed matter systems and supersymmetric dualities. One important outcome was the proposal of infrared dualities between non-supersymmetric Chern–Simons gauge theories with fundamental matter [1, 2] where certain fermion-boson dualities were conjectured. This avenue included theories with various gauge groups and matter representations [2,3,4,5,6,7,8,9,10,11]. A specific fermion-boson duality that is of interest for our work is

$$\begin{aligned} SU(N)_k+ F\text { Fermions} \longleftrightarrow U(k+F/2)_{-N}+ F\text { Scalars}\ , \end{aligned}$$
(1)

and its time-reversal version.

However, these dualities do not describe the full phase diagram of the gauge theory in \(2+1\) dimensions for any number of flavors, colors, and level. Komargodski and Seiberg considered such a general case and presented the complete phase diagram of three dimensional \(SU(N)_k\) gauge theory with Chern–Simons level k coupled to F fundamental Dirac fermions with mass m. The diagram was drawn as a function of m [12]. The main new feature of the phase diagram is that the infrared (IR) description has a quantum phase that is hidden semiclassically for a large number of flavors. The discussion was extended in [13,14,15,16].

The next step is to consider fermions in fundamental representation with different masses. One step in this direction was to introduce two sets of fundamental fermions with different masses \(m_1 \ne m_2\), where the phase diagram acquires a two-dimensional structure and includes planes of quantum phases in the IR [17, 18]. Our goal in this work is to consider a theory with three sets of fundamental fermions with three different masses and consider the corresponding three-dimensional diagram. We will see that there are three types of quantum regions of dimensions 1, 2, or 3 and will perform various consistency checks on the perturbations of infrared descriptions.

In the rest of this section, we review the description of the one and two-family cases to explain how the flavor symmetry breaking mechanism helps to understand the phase diagram for small masses when the semiclassical description fails. In Sect. 2, we give the details of the IR description for the three-family case for various ranges of k and draw the full phase diagram. In Sect. 3, we perform various checks which, on the one hand, verify our proposal and, on the other hand, confirm the consistency of the results for one family and two families of fermions [12, 17, 18]. Section 4 contains the conclusions.

1.1 Review of the one-family case

The work [12] considered the phase diagram of SU(N) gauge theory in \(2+1\) dimensions with Chern–Simons level k and F fermions in the fundamental representation. The theory has a global flavor symmetry U(F), which is spontaneously broken for small values of k. The spontaneous breaking of the flavor symmetry allows them to split the phase diagram into two cases as followsFootnote 1:

  1. 1.

    \(\underline{k\ge F/2:}\) In this case, the theory in the IR is semiclassically accessible, and the phase diagram is described by the asymptotic theories obtained after integrating the fermions out when their mass m is positive or negative. The two phases are then \(SU(N)_{k+F/2}\) for positive m, which has a level-rank dual \(U(k+F/2)_{-N}\) and \(SU(N)_{k-F/2}\) for negative m with a level-rank dual \(U(k-F/2)_{-N}\). The two phases are separated by a phase transition described by the critical theory \(SU(N)_k+F\, \psi ^0\), where the superscript 0 refers to the fermions being massless. This phase transition could be first or second order, in some cases, it could be a series of phase transitions [14]. The asymptotic phases are gapped and are described by pure topological quantum field theories (TQFT). The phase diagram is as in Fig. 1, where the transition between the two asymptotic phases occurs at the blue point.

  2. 2.

    \(\underline{k<F/2:}\) In this case, the theory is semiclassically accessible only for large mass \((m\rightarrow \pm \infty )\). The asymptotic theories are \(SU(N)_{k+F/2}\longleftrightarrow U(k+F/2)_{-N} \) for large positive m and \(SU(N)_{k-F/2}\longleftrightarrow U(F/2-k)_{N} \) for large negative m. However, integrating out the scalars from the dual bosonic theory \(U(k+F/2)_{-N}+F\, \phi \) for large negative mass squared leads to a sigma-model phase. In [12], the authors suggested that for the fermionic theory there is some value of the number of flavors \(F^*\) at which the U(F) symmetry is spontaneously broken into \(U(F/2+k)\times U(F/2-k)\), leading to a sigma-model \(\sigma \) in the IR that matches the bosonic phase and is given by the Grassmannian

    $$\begin{aligned} Gr(F/2+k,F) = \frac{U(F)}{U(F/2+k)\times U(F/2-k)}\ . \end{aligned}$$
    (2)

    The sigma-model is a purely quantum gapless phase that does not appear semiclassically. The phase diagram now consists of the two asymptotic topological phases and a new quantum region for small m, which separates the two topological phases. The quantum region lies between two transition points that are described by some positive mass \(m^+\) on the right and some negative mass \(m^-\) on the left, as shown in Fig. 2. The authors also conjectured the existence of a new duality in the form \(SU(N)_k+F\, \psi \longleftrightarrow U(F/2-k)_N+F\,\phi \) to cover the phase diagram for negative m.

Fig. 1
figure 1

Phase diagram of \(SU(N)_k+F\, \psi \) with \(k\ge F/2\)

Fig. 2
figure 2

Phase diagram of \(SU(N)_k+F\, \psi \) with \( k<F/2\)

1.2 Review of the two-family phase diagrams

Fig. 3
figure 3

Phases of \(SU(N)_k+p\, \psi _1+(F-p)\, \psi _2\)

Fig. 4
figure 4

Phases of \(SU(N)_k+p\, \psi _1+q\, \psi _2+(F-p-q)\,\psi _3\) with \(k\ge F/2\)

We now move to [17, 18] where the authors considered the case when the F fermions are split into two sets of fermions: \(p\, \psi _1\) fermions with mass \(m_1\) and \((F-p)\, \psi _2\) fermions with mass \(m_2\). The flavor symmetry is now explicitly broken into \(U(p)\times U(F-p)\) and the phase diagram looks different for three particular cases: \(k\ge F/2\), \(F/2-p\le k<F/2\), and \(0\le k<F/2-p\), where the range of p is such that \(0\le p\le F/2\). In analogy to the one-family case, there are two dual bosonic theories \(U(k+F/2)_{-N}+p\, \phi _1+(F-p)\, \phi _2\) and \(U(F/2-k)_{N}+p\, \phi _1+(F-p)\, \phi _2\) for small values of k to cover the full phase diagram.

  1. 1.

    \(\underline{k\ge F/2:}\) There is no flavor symmetry breaking, and the four topological theories describe the phase diagram. Integrating out both \(\psi _1\) and \(\psi _2\) when their masses are both positive and negative, one obtains various topological phases \(\mathrm {T}_a (m_1>0, m_2>0)\), \(\mathrm {T}_b (m_1<0, m_2>0), \mathrm {T}_c(m_1<0, m_2<0), \mathrm {T}_d (m_1 > 0, m_2 <0)\):

    $$\begin{aligned} \begin{aligned}&\mathrm {T}_a:SU(N)_{k+\frac{F}{2}}\quad \longleftrightarrow \ U(k+F/2)_{-N}\ ,\\&\mathrm {T}_b: SU(N)_{k+\frac{F}{2}-p}\longleftrightarrow U(k+F/2-p)_{-N}\ ,\\&\mathrm {T}_c: SU(N)_{k-\frac{F}{2}}\quad \longleftrightarrow U(k-F/2)_{-N}\ ,\\&\mathrm {T}_d: SU(N)_{k-\frac{F}{2}+p}\longleftrightarrow U(k-F/2+p)_{-N}\ .\ \end{aligned} \end{aligned}$$
    (3)

    These topological phases are separated by critical theories represented as red lines in Fig. 3a. The critical theories are \(SU(N)_{k\pm \frac{p}{2}}+(F-p)\, \psi _2\) on the horizontal red line and \(SU(N)_{k\pm \frac{F-p}{2}} +p\, \psi _1\) on the vertical red line. The blue point is a transition point that separates the four different topological phases. We will use the term type \(\mathrm {I}\) phase diagram to label this case.

  2. 2.

    \(\underline{F/2-p\le k<F/2:}\) The asymptotic phases can be found similarly by sending both masses to \(\pm \infty \). The topological phases \(\mathrm {T}_a\), \(\mathrm {T}_b\), and \(\mathrm {T}_d\) remain as in Eq. (3) while \(\mathrm {T}_c\) becomes

    $$\begin{aligned} \mathrm {T}_c\rightarrow \tilde{\mathrm {T}}_c: SU(N)_{k-\frac{F}{2}}\longleftrightarrow U(F/2-k)_{N}\ . \end{aligned}$$
    (4)

    There are quantum regions in this case where the flavor symmetry is spontaneously broken. The strategy is to check the asymptotic phases where we send only one of the masses to \(\pm \infty \), and the theory becomes one-family with a shifted level. The theory is strongly coupled and has sigma-model descriptions \(\sigma _{bc}\) and \(\sigma _{cd}\) for small and/or negative \(m_1\) and \(m_2\), respectively. The sigma-models have target spaces with the following Grassmannians

    $$\begin{aligned}&\sigma _{bc}: Gr(F/2-k,F-p)\nonumber \\&\quad =\frac{U(F-p)}{U(F/2-k)\times U(k+F/2-p)}\ , \end{aligned}$$
    (5)
    $$\begin{aligned}&\sigma _{cd}: Gr(F/2-k,p)\nonumber \\&\quad =\frac{U(p)}{U(F/2-k)\times U(k-F/2+p)}\ . \end{aligned}$$
    (6)

    The theory also has a sigma-model \(\sigma \) on the diagonal line \(m_1=m_2\), where it is reduced to the one-family case. In this case, \(\sigma \) acts as a phase transition between \(\sigma _{bc}\) and \(\sigma _{cd}\). The red line that separates \(\mathrm {T}_a\) and \(\mathrm {T}_d\) corresponds to the critical theory \(SU(N)_{k+\frac{p}{2}}+(F-p)\, \psi _2\) while the red line separating \(\mathrm {T}_a\) and \(\mathrm {T}_b\) corresponds to the critical theory \(SU(N)_{k+\frac{F-p}{2}}+p\, \psi _1\). There also exist critical theories separating the topological theories and the quantum phases, which are described via the dual bosonic theories. For example, the red line that separates \(\mathrm {T}_b\) and \(\sigma _{bc}\) is given by the critical theory \(U(F/2-k)_N+(F-p)\, \phi _2\), and this applies similarly for the remaining red lines. The full phase diagram for this case is shown in Fig. 3b, and we label it as a type \(\mathrm {II}\) phase diagram.

  3. 3.

    \(\underline{0\le k<F/2-p}\): In this range, the phase diagram is similar to the previous case in the sense that there exist topological phases that can be found asymptotically plus expected quantum regions due to the symmetry breaking scenario. The topological phases \(\mathrm {T}_a\), \(\mathrm {T}_b\), and \(\tilde{\mathrm {T}}_c\) remain the same while \(\mathrm {T}_d\) becomes

    $$\begin{aligned} \mathrm {T}_d\rightarrow \tilde{\mathrm {T}}_d: SU(N)_{k-\frac{F}{2}+p}\longleftrightarrow U(F/2-p-k)_{N}\ . \end{aligned}$$
    (7)

    In this case, the quantum phases are \(\sigma \) models on the diagonal line with a Grassmannian given by Eq. (2). They are \(\sigma _{bc}\) which is a plane describing the quantum region for small and negative \(m_2\) with a Grassmannian given by Eq. (5) and \(\sigma _{ad}\) for small and positive \(m_2\) with a Grassmannian

    $$\begin{aligned}&\sigma _{ad}: Gr(F/2+k,F-p)\nonumber \\&\quad =\frac{U(F-p)}{U(F/2+k)\times U(F/2-p-k))}\ . \end{aligned}$$
    (8)

    The phase diagram is shown in Fig. 3c wihch is a type \(\mathrm {III}\) phase diagram. As in type \(\mathrm {II}\), the \(\sigma \) line acts as a transition between \(\sigma _{bc}\) and \(\sigma _{ad}\).

To summarize, the two-family theory has the following features:

  • For \(k\ge F/2\), the theory in the IR is described by the four topological field theories in Eq. (3).

  • For small k, the IR description is given by four topological field theories and a line of sigma-model \(\sigma \) separating two planes of sigma-models \((\sigma _{bc},\, \sigma _{cd})\) or \((\sigma _{bc},\, \sigma _{ad})\).

The theory passes various consistency checks such as matching the phases of the dual bosonic theory near the transition points as well as perturbing the \(\sigma \) model to make sure the description is valid when both masses are small [17].

2 The theory with three families

We now turn to the main work of this paper where we split the F fermions into three sets of fermions p fermions \(\psi _1\) with mass \(m_1\), q fermions \(\psi _2\) with mass \(m_2\) and \(F-p-q\) fermions \(\psi _3\) with mass \(m_3\). The global flavor symmetry U(F) is explicitly broken to \(U(p)\times U(q)\times U(F-p-q)\). There are two possible scenarios to cover the full phase diagram of the three-family case. The two scenarios depend on the value of the number of flavors for the extra family; The first is for \(F-p-q \le F/2\) and the second is when \(F-p-q>F/2\), each scenario is split into five different cases depending on the value of k. However, most of these cases are the same in the two different situations, while the difference appears when we check the phases of k with a boundary of \(|F/2-p-q|\) flavors.

2.1 \(F-p-q\le F/2\) scenario

In order to keep the analysis under control, we consider the choice of p and q such that \(0<q\le p\le F-(p+q) \le F/2\). The range of k diagram is divided into five cases: \(k\ge F/2\), \(F/2-q\le k<F/2\), \(F/2-p\le k<F/2-q\), \((p+q)-F/2\le k<F/2-p\), and \(0\le k<(p+q)-F/2\), each one with a different phase diagram.

Our strategy for finding the topological phases is by sending the three masses to \(\pm \infty \). For small values of k, we look for the quantum regions in two steps; the first is to find the asymptotic limits when two of the masses are sent to \(\pm \infty \) and then when we send only one of the three masses to \(\pm \infty \). The theory on the three-dimensional diagonal line \(m_1=m_2=m_3\) is reduced to the one-family case with the phase diagram described by Figs. 1 and 2, which means that we always expect \(\sigma \) to appear as a phase for all the ranges with \(k<F/2\).

2.1.1 \(\underline{\hbox {Case 1: } k\ge F/2}\)

In this case, The theory in the IR is weakly coupled with no symmetry breaking scenario. We describe the phase diagram by eight topological field theories and their level-rank dual descriptions; six critical lines separate these phases. The topological phases are determined by finding the asymptotic limits of the three masses and they appear in the following ranges of the masses \(m_1,\, m_2,\,\text {and } m_3\) as \(\mathrm {T}_1(m_1>0,m_2>0,m_3>0),\mathrm {T}_2(m_1>0,m_2>0,m_3<0), \mathrm {T}_3(m_1>0,m_2<0,m_3>0) \mathrm {T}_4(m_1<0,m_2>0,m_3>0),\mathrm {T}_5(m_1>0,m_2<0,m_3>0),\mathrm {T}_6(m_1<0,m_2>0,m_3<0)\), \(\mathrm {T}_7(m_1<0,m_2<0,m_3>0), \mathrm {T}_8(m_1<0,m_2<0,m_3<0)\). They are

$$\begin{aligned} \begin{aligned}&\mathrm {T}_1:SU(N)_{k+\frac{F}{2}}\qquad \longleftrightarrow \ U(k+F/2)_{-N}\\&\mathrm {T}_2:SU(N)_{k+p+q-\frac{F}{2}}\longleftrightarrow \ U(k+p+q-F/2)_{-N}\\&\mathrm {T}_3:SU(N)_{k+\frac{F}{2}-q}\quad \longleftrightarrow \ U(k+F/2-q)_{-N}\\&\mathrm {T}_4:SU(N)_{k+\frac{F}{2}-p}\quad \longleftrightarrow \ U(k+F/2-p)_{-N}\\&\mathrm {T}_5: SU(N)_{k+p-\frac{F}{2}}\quad \longleftrightarrow \ U(k+p-F/2)_{-N}\\&\mathrm {T}_6: SU(N)_{k+q-\frac{F}{2}}\quad \longleftrightarrow \ U(k+q-F/2)_{-N}\\&\mathrm {T}_7: SU(N)_{k+\frac{F}{2}-p-q}\longleftrightarrow \ U(k+F/2-p-q)_{-N}\\&\mathrm {T}_8:SU(N)_{k-\frac{F}{2}}\qquad \longleftrightarrow \ U(k-F/2)_{-N} \end{aligned} \end{aligned}$$
(9)
Fig. 5
figure 5

The three-dimensional phase diagram of \(SU(N)_k+p\,\psi _1+q\,\psi _2+(F-p-q)\,\psi _3\) with \(k\ge F/2\). The blue ball represents the critical point, the red lines are the critical lines given by Eq. (10) while the planes in cyan are the critical planes, each plane is described by one of the critical theories in Eq. (11)

The phase diagram is three-dimensional in the space \((m_1,m_2,m_3)\) as shown in Fig. 5 and the six different projections are shown in Fig. 4. The separation between the eight topological theories occurs via point, lines, and planes of critical theories. The blue point is described by a critical theory given by \(SU(N)_k+p\, \psi ^0_1+q\, \psi ^0_2+(F-p-q)\, \psi ^0_3\). Each point on the critical lines belong to one of the following critical theories

$$\begin{aligned} \begin{aligned}&C_1^{\pm }:SU(N)_{k\pm \frac{p}{2}}+q\,\psi ^0_2+(F-p-q)\,\psi ^0_3\ ,\\&C_2^{\pm }:SU(N)_{k\pm \frac{q}{2}}+p\,\psi ^0_1+(F-p-q)\,\psi ^0_3\ ,\\&C_3^{\pm }:SU(N)_{k\pm \frac{F-p-q}{2}}+p\,\psi ^0_1+q\,\psi ^0_2\ . \end{aligned} \end{aligned}$$
(10)

\(C_1^{\pm }\), \(C_2^{\pm }\), and \(C_3^{\pm }\) describe the lines on the mass axes \(m_1\), \(m_2\), and \(m_3\), respectively. The plus or minus sign indicates whether the theory is along the positive or negative axes. The critical planes are given by any of the following theories

$$\begin{aligned} \begin{aligned}&C_{12}^{\pm }:SU(N)_{k\pm \frac{p+q}{2}}+(F-p-q)\,\psi ^0_3\ ,\\&C_{21}^{\pm }:SU(N)_{k\pm \frac{p-q}{2}}+(F-p-q)\,\psi ^0_3\ ,\\&C_{13}^{\pm }:SU(N)_{k\pm \frac{F-q}{2}}+q\,\psi ^0_2\ ,\\&C_{31}^{\pm }:SU(N)_{k\pm \left( \frac{F-q}{2}-p\right) }+q\,\psi ^0_2\ ,\\&C_{23}^{\pm }:SU(N)_{k\pm \frac{F-p}{2}}+p\,\psi ^0_1 ,\\&C_{32}^{\pm }:SU(N)_{k\pm \left( \frac{F-p}{2}-q\right) }+p\,\psi ^0_1\ . \end{aligned} \end{aligned}$$
(11)

\(C_{ij}^{\pm }\) describes the theories on the planes \((m_i,m_j)\) with both of the masses being positive or negative, while \(C_{ji}^{\pm }\) for the planes when one of the masses is positive and the other is negative (Fig. 5).

2.1.2 \(\underline{\hbox {Case 2: } F/2-q\le k<F/2}\)

In this range of k and all the remaining cases, we need two bosonic dual descriptions to fill in the full phase diagram as conjectured in [12]. These bosonic theories are \(U(F/2+k)_{-N}+p\,\phi _1+q\, \phi _2+(F-p-q)\, \phi _3\) and \(U(F/2-k)_{N}+p\,\phi _1+q\, \phi _2+(F-p-q)\, \phi _3\), where \(\phi _1\), \(\phi _2\), and \(\phi _1\) are scalars in the fundamental representation of SU(N). The three masses asymptotic limits yield the same topological theories as in Eq. (9) except for \(\mathrm {T}_8\), which becomes

$$\begin{aligned} \mathrm {T}_8\rightarrow \tilde{\mathrm {T}}_8: SU(N)_{k-\frac{F}{2}}\longleftrightarrow U(F/2-k)_{N}\ . \end{aligned}$$
(12)
Fig. 6
figure 6

Phases of \(SU(N)_k+p\, \psi _1+q\, \psi _2+(F-p-q)\,\psi _3\) with \(F/2-q\le k<F/2\)

The two mass asymptotic limits produce a one-family theory with a shifted level. In some limits, the shifted level becomes lower than the remaining number of flavors divided by two, and the theory is strongly coupled. The three-dimensional phase diagram includes quantum regions described by sigma-models, but this time the quantum regions appear as cuboids in the three-dimensional picture. The cuboid quantum phases are signature of the three-family theory as the planes of sigma-models were signatures of the two-family case. The theory that has a level within this range experience a cuboid sigma-model in its phase diagram in the following cases:

  • \(m_2\), \(m_3 \, \rightarrow -\infty \): the theory becomes \(SU(N)_{k-F/2+p/2}\) \(+p \, \psi _1\). The cuboid quantum region is described by a sigma-model \(\sigma _1^c\). From now on we shorthand the cuboid Grassmannains by their corresponding sigma-models, the Grassmannian for this region is

    $$\begin{aligned} \sigma _1^c= \frac{U(p)}{U(F/2-k)\times U(k-F/2+p)}\ . \end{aligned}$$
    (13)
  • \(m_1\), \(m_3 \, \rightarrow -\infty \): the theory becomes \(SU(N)_{k-F/2+q/2}\) \(+q \, \psi _2\) which has a sigma-model \(\sigma _2^c\) given by

    $$\begin{aligned} \sigma _2^c= \frac{U(q)}{U(F/2-k)\times U(k-F/2+q)}\ . \end{aligned}$$
    (14)
  • \(m_1\), \(m_2 \, \rightarrow -\infty \): the theory is \(SU(N)_{k-p/2-q/2}+(F-p-q) \, \psi _3\) with a sigma-model \(\sigma _3^c\) given by

    $$\begin{aligned} \sigma _3^c= \frac{U(F-p-q)}{U(F/2-k)\times U(F/2-p-q+k)}\ . \end{aligned}$$
    (15)

Now let us perform a consistency check by sending one mass to infinity where the theory with the remaining flavors is reduced to a two-family case with shifted level. In each limit, we check the relation between the remaining number of flavors and the shifted level, which determines whether the phase diagram is type \(\mathrm {I}\), \(\mathrm {II}\), or \(\mathrm {III}\). We summarize the check as follows:

  1. (i)

    \(m_1 \rightarrow +\infty \): we integrate \(\psi _1\) out, and the theory is reduced to

    $$\begin{aligned}&SU(N)_{k+\frac{p}{2}}+q\, \psi _2+ (F-p-q)\, \psi _3 \nonumber \\&\quad \equiv SU(N)_{k_1^+} +q\, \psi _2+ (F_1-q)\, \psi _3\ , \end{aligned}$$
    (16)

    where \(k_1^+= k+p/2\) and \(F_1 = F-p\) with \(k_1^+>F_1/2\). Due to the range of \(k_1^+\), this region of the three-dimensional phase diagram has a type \(\mathrm {I}\) phase diagram with the topological theories \(\mathrm {T}_1\), \(\mathrm {T}_2\), \(\mathrm {T}_3\), and \(\mathrm {T}_5\).

  2. (ii)

    \(m_1 \rightarrow -\infty \): integrating \(\psi _1\) out leads to

    $$\begin{aligned}&SU(N)_{k-\frac{p}{2}}+q\, \psi _2+ (F-p-q)\, \psi _3 \nonumber \\&\quad \equiv SU(N)_{k_1^-} +q\, \psi _2+ (F_1-q)\, \psi _3\ , \end{aligned}$$
    (17)

    where \(k_1^-= k-p/2\) and \(F_1/2-q<k_1^-<F_1\). Due to the range of \(k_1^-\), the phase diagram is then of type \(\mathrm {II}\) with the topological theories \(\mathrm {T}_4\), \(\mathrm {T}_6\), \(\mathrm {T}_7\), and \(\tilde{\mathrm {T}}_8\). Alongside these topological phases, we have a sigma-model on the diagonal given by

    $$\begin{aligned}&\sigma _{23}^d: Gr(F_1/2+k_1^-,F_1)\nonumber \\&\quad =\frac{U(F-p)}{U(F/2-k)\times U(F/2-p+k)}\ . \end{aligned}$$
    (18)

    This diagonal sigma-model is not a line but rather a plane region in the three-dimensional picture. Only one side appears here, which will become clear in Sect. 4. The horizontal and vertical sigma-models are \(\sigma _{78}\) which separates \(\mathrm {T}_7\) and \(\tilde{\mathrm {T}}_8\) as well as \(\sigma _{68}\) separating \(\mathrm {T}_6\) and \(\tilde{\mathrm {T}}_8\). They are given by

    $$\begin{aligned}&\sigma _{78}:Gr(F_1/2-k_1^-,F_1-q)\nonumber \\&\quad =\frac{U(F-p-q)}{U(F/2-k)\times U(F/2-p-q+k)}\equiv \sigma _3^c\ ,\nonumber \\ \end{aligned}$$
    (19)
    $$\begin{aligned}&\sigma _{68}:Gr(F_1/2-k_1^-,q)\nonumber \\&\quad =\frac{U(q)}{U(F/2-k)\times U(k-F/2+q)}\equiv \sigma _2^c\ . \end{aligned}$$
    (20)

    We notice that \(\sigma _{78}\equiv \sigma _3^c\) which means that \(\sigma _{78}\) is just one side of the three-dimensional quantum region \(\sigma _3^c\), the same thing applies for \(\sigma _{68}\) which is equivalent to \(\sigma _2^c\).

  3. (iii)

    \(m_2 \rightarrow +\infty \): we integrate \(\psi _2\) out, and the theory becomes

    $$\begin{aligned}&SU(N)_{k+\frac{q}{2}}+p\, \psi _1+ (F-p-q)\, \psi _3 \nonumber \\&\quad \equiv SU(N)_{k_2^+} +p\, \psi _1+ (F_1-p)\, \psi _3\ , \end{aligned}$$
    (21)

    where \(k_2^+= k+p/2\) and \(F_2 = F-q\) with \(k_2^+>F_2/2\) and the phase diagram is of type \(\mathrm {I}\) with the topological phases \(\mathrm {T}_1\), \(\mathrm {T}_2\), \(\mathrm {T}_4\), and \(\mathrm {T}_6\).

  4. (iv)

    \(m_2 \rightarrow -\infty \): integrating \(\psi _2\) gives

    $$\begin{aligned}&SU(N)_{k-\frac{q}{2}}+p\, \psi _1+ (F-p-q)\, \psi _3 \nonumber \\&\quad \equiv SU(N)_{k_2^-} +p\, \psi _1+ (F_1-p)\, \psi _3\ , \end{aligned}$$
    (22)

    where \(k_2^-= k-p/2\) and \(F_2/2-q<k_2^-<F_2\). The phase diagram is then of type \(\mathrm {II}\) with the topological theories \(\mathrm {T}_3\), \(\mathrm {T}_5\), \(\mathrm {T}_7\), and \(\tilde{\mathrm {T}}_8\). The diagonal sigma-model is

    $$\begin{aligned}&\sigma _{13}^d: Gr(F_2/2+k_2^-,F_2)\nonumber \\&\quad =\frac{U(F-q)}{U(F/2-k)\times U(F/2-q+k)}\ , \end{aligned}$$
    (23)

    the quantum phase \(\sigma _{78}\) also exists in this side as in Eq. (19) alongside the phase \(\sigma _{58}\) that separates \(\mathrm {T}_5\) and \(\tilde{\mathrm {T}}_8\) which is given by

    $$\begin{aligned}&\sigma _{58}:Gr(F_2/2-k_2^-,p)\nonumber \\&\quad =\frac{U(p)}{U(F/2-k)\times U(k-F/2+p)}\equiv \sigma _1^c\ . \end{aligned}$$
    (24)

    We should emphasize here that the equivalence between these phases and the cuboid sigma-models is itself a consistency check of our analysis.

  5. (v)

    \(m_3 \rightarrow +\infty \): after integrating \(\psi _3\) out the theory is

    $$\begin{aligned}&SU(N)_{k+\frac{F-p-q}{2}}+p\, \psi _1+ q\, \psi _2 \nonumber \\&\quad \equiv SU(N)_{k_3^+} +p\, \psi _1+ (F_3-p)\, \psi _2\ , \end{aligned}$$
    (25)

    where \(k_3^+= k+(F-p-q)/2\) and \(F_3 = p+q\), the relation \(k_3^+>F_3/2\) holds, and we have a type \(\mathrm {I}\) phase diagram with the topological phases \(\mathrm {T}_1\), \(\mathrm {T}_3\), \(\mathrm {T}_4\), and \(\mathrm {T}_7\).

  6. (vi)

    \(m_3 \rightarrow -\infty \): integrating \(\psi _3\) gives

    $$\begin{aligned}&SU(N)_{k-\frac{F-p-q}{2}}+p\, \psi _1+ q\, \psi _2 \nonumber \\&\quad \equiv SU(N)_{k_3^-} +p\, \psi _1+ (F_3-p)\, \psi _3\ , \end{aligned}$$
    (26)

    where \(k_3^-= k-(F-p-q)/2\) and \(F_3/2-q<k_3^-<F_3\), but \(p>q\) which makes this case cover the range of type \(\mathrm {II}\) phase diagram. The phase diagram has the topological phases \(\mathrm {T}_2\), \(\mathrm {T}_5\), \(\mathrm {T}_6\), and \(\tilde{\mathrm {T}}_8\). The diagonal sigma-model of this side is

    $$\begin{aligned}&\sigma _{12}^d: Gr(F_3/2+k_3^-,F_3)\nonumber \\&\quad = \frac{U(p+q)}{U(F/2-k)\times U(k-F/2+p+q)}\ , \end{aligned}$$
    (27)

    while the horizontal and vertical quantum regions are \(\sigma _{68}\) and \(\sigma _{58}\) respectively and given by Eqs. (20) and (24).

Fig. 7
figure 7

The three-dimensional phase diagram of \(SU(N)_k+p\,\psi _1+q\,\psi _2+(F-p-q)\,\psi _3\) with \(F/2-q\le k< F/2\). \(\sigma \) is represented by the thick black line between the two critical points. \(\sigma _1^c\), \(\sigma _2^c\), and \(\sigma _3^c\) are represented by the red, yellow, and blue regions, respectively. The diagonal sigma-models are the dark brown planes separating the cuboid quantum regions

Fig. 8
figure 8

Phases of \(SU(N)_k+p\, \psi _1+q\, \psi _2+(F-p-q)\,\psi _3\) with \(F/2-p\le k<F/2-q\)

In this range of k, we summarize the phase diagram in Figs. 6 and 7 where the IR theory has the following phases; eight topological phases \((\mathrm {T}_{1-7},\tilde{\mathrm {T}}_8)\), three cuboid sigma-models \((\sigma _1^c,\sigma _2^c,\sigma _3^c)\), three planes of sigma-models \((\sigma _{12}^d,\sigma _{13}^d,\sigma _{23}^d)\), as well as a line of sigma-model \(\sigma \) that appears on the diagonal line \(m_1=m_2=m_3\). In the limiting case \(q=0\), the phase diagram becomes equivalent to the \(k=F/2\) case where all the sigma-models, as well as the topological theories \(\mathrm {T}_6\) and \(\mathrm {T}_8\) trivialize. The phase diagram is then reduced to a two-dimensional phase diagram with three topological theories \(\mathrm {T}_a\), \(\mathrm {T}_b\), and \(\mathrm {T}_d\), as well as a trivial theory \(SU(N)_0\).

2.1.3 \(\underline{\hbox {Case 3: } F/2-p\le k<F/2-q}\)

As in the previous case, the theory has two bosonic dual descriptions. The topological phases are given by Eqs. (9) and (12) except for \(\mathrm {T}_6\), which becomes

$$\begin{aligned} \mathrm {T}_6\rightarrow \tilde{\mathrm {T}}_6: SU(N)_{k-\frac{F}{2}+q}\longleftrightarrow U(F/2-q-k)_{N}\ . \end{aligned}$$
(28)

\(\mathrm {T}_8\) is also replaced by \(\tilde{\mathrm {T}}_8\) as before.

The cuboid quantum regions exist in the following cases:

  • \(m_2\rightarrow +\infty \) and \(m_3\rightarrow -\infty \): the theory is reduced to \(SU(N)_{k-F/2+p/2+q}+p\, \psi _1\) which has a sigma-model phase given by

    $$\begin{aligned} \bar{\sigma }_1^c= \frac{U(p)}{U(F/2-q-k)\times U(k-F/2+p+q)}\ . \end{aligned}$$
    (29)
  • \(m_2\), \(m_3 \rightarrow -\infty \): the theory has the same cuboid sigma-model as in Eq. (13).

  • \(m_2\rightarrow +\infty \) and \(m_1\rightarrow -\infty \): the theory is reduced to \(SU(N)_{k-p/2+q/2}+(F-p-q)\, \psi _3\) with a sigma-model given by

    $$\begin{aligned} \hat{\sigma }_3^c= \frac{U(F-p-q)}{U(F/2-p+k)\times U(F/2-q-k)}\ . \end{aligned}$$
    (30)
  • \(m_1\), \(m_2 \rightarrow -\infty \): the theory has the same cuboid sigma-model \(\sigma _3^c\) as in Eq. (15).

The phases that appear when we take one of the masses to \(\pm \infty \) are as follows:

  1. (i)

    \(m_1\rightarrow +\infty \): this is similar to case 2, where we have a type \(\mathrm {I}\) phase diagram with only topological phases.

  2. (ii)

    \(m_1\rightarrow -\infty \): this limit is different from the previous case, as in this range of k the value of \(k_1^-\) lies between \(F_1/2-p\) and \(F_1/2 -q\), which gives a type \(\mathrm {III}\) phase diagram. The sigma-models \(\sigma _{23}^d\) and \(\sigma _{78}\) remain the same, while a new phase \(\sigma _{46}\) appears between \(\mathrm {T}_4\) and \(\tilde{\mathrm {T}}_6\) and is given by

    $$\begin{aligned}&\sigma _{46}: Gr(F_1/2+k_1^-,F_1-q)\nonumber \\&\quad = \frac{U(F-p-q)}{U(F/2-p+k)\times U(F/2-q-k)} \equiv \hat{\sigma }_3^c\ . \nonumber \\ \end{aligned}$$
    (31)
  3. (iii)

    \(m_2\rightarrow +\infty \): the range of \(k_2^+\) within this range of k is \(F_2/2-p\le k_2^+<F_2/2\) and the phase diagram is of type \(\mathrm {II}\) with a new diagonal sigma-model \(\bar{\sigma }_{13}^d\) given by

    $$\begin{aligned}&\bar{\sigma }_{13}^d: Gr(F_2/2+k_2^+,F_2)\nonumber \\&\quad =\frac{U(F-q)}{U(F/2+k)\times U(F/2-q-k)}\ . \end{aligned}$$
    (32)

    The other two sigma-models are \(\sigma _{46}\) as in Eq. (31) and a new \(\sigma _{26}\) that separates \(\mathrm {T}_2\) and \(\tilde{\mathrm {T}}_6\) with a Grassmannian given by

    $$\begin{aligned}&\sigma _{26}: Gr(F_2/2-k_2^+,p)\nonumber \\&\quad =\frac{U(p)}{U(F/2-q-k)\times U(k-F/2+p+q)}\equiv \bar{\sigma }_1^c\ . \nonumber \\ \end{aligned}$$
    (33)
  4. (iv)

    \(m_2\rightarrow -\infty \): in this case, \(k_2^-\) is within \(F_2/2-p\le k_2^-<F_2/2\), which is just similar to case 2 with the same quantum phases \(\sigma _{13}^d\), \(\sigma _{78}\), and \(\sigma _{58}\).

  5. (v)

    \(m_3\rightarrow +\infty \): \(k_3^+>F_3/2\) giving a type \(\mathrm {I}\) phase diagram just like in case 2.

  6. (vi)

    \(m_3\rightarrow -\infty \): it is not clear whether this case is of type \(\mathrm {II}\) or \(\mathrm {III}\) because \(k_3^-\) takes some negative values in this range of k. The theory is better understood by rewriting its reduction in the form \(SU(N)_{k_3^-}+q\,\psi _2+(F_3-q)\, \psi _1\). Hence it becomes clear that \(|k_3^-|<F_3/2-q\) and the theory is type \(\mathrm {III}\) with sigma-models appearing only for small \(m_1\) both negative and positive sides which are \(\sigma _{58}\) and \(\sigma _{26}\) respectively, as shown in Fig. 8f.

Fig. 9
figure 9

The three-dimensional phase diagram of \(SU(N)_k+p\,\psi _1+q\,\psi _2+(F-p-q)\,\psi _3\) with \(F/2-p\le k< F/2-q\). \(\bar{\sigma }_1^c\) is given by the region in magenta color and \(\hat{\sigma }_3^c\) is represented by the green region

Fig. 10
figure 10

Phases of \(SU(N)_k+p\, \psi _1+q\, \psi _2+(F-p-q)\,\psi _3\) with \((p+q)-F/2\le k<F/2-p\)

The phases of case 3 are summarized in Figs. 8 and 9. These phases are eight topological field theories \((\mathrm {T}_{1-5},\tilde{\mathrm {T}}_6,\) \(\mathrm {T}_7,\tilde{\mathrm {T}}_8)\), four cuboid sigma-models \((\sigma _1^c,\bar{\sigma }_1^c, \hat{\sigma }_3^c,\sigma _3^c)\), four planes of sigma-models \((\sigma _{12}^d,\sigma _{13}^d,\bar{\sigma }_{13}^d,\sigma _{23}^d)\), as well as the one-dimensional sigma-model \(\sigma \). In the limiting case \(q=0\), the Chern–Simons level range becomes \(F/2-p\le k<F/2\) and the phase diagram is reduced to Fig. 3b.

2.1.4 \(\underline{\hbox {Case 4: } (p+q)-F/2\le k<F/2-p}\)

Following the same procedure, we found that this case has the same topological phases as in case 3 with an extra change being that \(\mathrm {T}_5\) is replaced by \(\tilde{\mathrm {T}}_5\) as

$$\begin{aligned} \mathrm {T}_5\rightarrow \tilde{\mathrm {T}}_5: SU(N)_{k-\frac{F}{2}+p}\longleftrightarrow U(F/2-p-k)_{N}\ . \end{aligned}$$
(34)

The two masses asymptotic limits show that the theory has the following cuboid sigma-models

  • \(m_1\rightarrow +\infty \) and \(m_3\rightarrow -\infty \):

    $$\begin{aligned} \bar{\sigma }_2^c= \frac{U(q)}{U(F/2-p-k)\times U(k-F/2+p+q)}\ . \end{aligned}$$
    (35)
  • \(m_1\rightarrow +\infty \) and \(m_2\rightarrow -\infty \):

    $$\begin{aligned} \bar{\sigma }_3^c= \frac{U(F-p-q)}{U(F/2-p-k)\times U(F/2-q+k)}\ , \end{aligned}$$
    (36)

    along with \(\bar{\sigma }_1^c\), \(\hat{\sigma }_3^c\), and \(\sigma _3^c\).

The six sides of the three-dimensional picture have the following phases:

  1. (i)

    \(m_1\rightarrow +\infty \): \(F_1/2-q\le k_1^+<F_1/2\) and the theory has a type \(\mathrm {II}\) phase diagram with a diagonal sigma-model \(\bar{\sigma }_{23}^d\) given by

    $$\begin{aligned}&\bar{\sigma }_{23}^d: Gr(F_1/2+k_1^+,F_1) \nonumber \\&\quad =\frac{U(F-p)}{U(F/2+k)\times U(F/2-p-k)}\ . \end{aligned}$$
    (37)

    This diagonal sigma-model separates two other sigma-models given by

    $$\begin{aligned}&\sigma _{35}: Gr(F_1/2-k_1^+,F_1-q) \nonumber \\&\quad =\frac{U(F-p-q)}{U(F/2-p-k)\times U(F/2-q+k)}\equiv \bar{\sigma }_3^c \ ,\nonumber \\ \end{aligned}$$
    (38)
    $$\begin{aligned}&\sigma _{25}: Gr(F_1/2-k_1^+,q)\nonumber \\&\quad =\frac{U(q)}{U(F/2-p-k)\times U(k-F/2+p+q)}\equiv \bar{\sigma }_2^c\ .\nonumber \\ \end{aligned}$$
    (39)
  2. (ii)

    \(m_1\rightarrow -\infty \): this limit is similar to case 3 with \(\sigma _{23}^d\), \(\sigma _{78}\), and \(\sigma _{46}\) appear as quantum phases.

  3. (iii)

    \(m_2\rightarrow +\infty \): this is also similar to case 3 with \(\bar{\sigma }_{13}^d\), \(\sigma _{46}\), and \(\sigma _{26}\).

  4. (iv)

    \(m_2\rightarrow -\infty \): we have \( k_2^-<F_2/2-p\) within this range of k, which makes this limit to be of type \(\mathrm {III}\) with \(\sigma _{13}^d\), \(\sigma _{78}\), and \(\sigma _{35}\).

  5. (v)

    \(m_3\rightarrow +\infty \): this remains of type \(\mathrm {I}\) phase diagram just like in cases 2 and 3.

  6. (vi)

    \(m_3\rightarrow -\infty \): this limit gives a shifted level within the range \(F_3/2-p<k_3^-<F_3/2\), which makes this case of type \(\mathrm {II}\) phase diagram. However, \(k_3^-\) is always negative in this range of k, which requires a flip of the masses signs to get the right phase diagram. This allows sigma-models to appear for small \(m_2\) but positive \(m_1\) (\(\sigma _{25}\)) and small \(m_1\) with positive \(m_2\) (\(\sigma _{26}\)) instead of \(\sigma _{68}\) and \(\sigma _{58}\), as shown in Fig. 10f. \(\sigma _{25}\) and \(\sigma _{26}\) are the correct phases to appear in this limit as they are part of \(\bar{\sigma }_1^c\) and \(\bar{\sigma }_2^c\) while \(\sigma _{68}\) and \(\sigma _{58}\) are part of \(\sigma _1^c\) and \(\sigma _2^c\) which do not appear in this range of k.

Fig. 11
figure 11

The three-dimensional phase diagram of \(SU(N)_k+p\,\psi _1+q\,\psi _2+(F-p-q)\,\psi _3\) with \((p+q)-F/2\le k< F/2-p\). \(\bar{\sigma }_2^c\) is the region in purple and \(\bar{\sigma }_3^c\) is represented by the light brown region

Fig. 12
figure 12

Phases of \(SU(N)_k+p\, \psi _1+q\, \psi _2+(F-p-q)\,\psi _3\) with \(0\le k<(p+q)-F/2\)

Figures 10 and 11 summarize the phases of case 4, which include the following; the eight topological phases \((\mathrm {T}_{1-4},\) \(\tilde{\mathrm {T}}_5,\tilde{\mathrm {T}}_6,\mathrm {T}_7,\tilde{\mathrm {T}}_8)\), five cuboid sigma-models \((\bar{\sigma }_1^c,\bar{\sigma }_2^c,\bar{\sigma }_3^c,\hat{\sigma }_3^c,\) \(\sigma _3^c)\), five planes of sigma-models \((\sigma _{12}^d,\sigma _{13}^d\), \(\bar{\sigma }_{13}^d,\sigma _{23}^d,\bar{\sigma }_{23}^d)\) together with the sigma-model line \(\sigma \). In the limiting case \(q=0\), the phase diagram becomes equivalent to a theory with level \(k=F/2-p\) where all the sigma-models and the topological theories \(\mathrm {T}_2\) and \(\mathrm {T}_5\), trivialize. The phase diagram is then reduced to a two-dimensional phase diagram with three topological theories \(\mathrm {T}_a\), \(\mathrm {T}_b\), and \(\mathrm {T}_c\), as well as a trivial theory \(SU(N)_0\).

2.1.5 \(\underline{\hbox {Case 5: } 0\le k<(p+q)-F/2}\)

This is the last possible range of k has a three-dimensional phase diagram with the same topological phases as in case 4 except that \(\mathrm {T}_7\) is now

$$\begin{aligned} \mathrm {T}_7\rightarrow \tilde{\mathrm {T}}_7: SU(N)_{k+\frac{F}{2}-p-q}\longleftrightarrow U(p+q-F/2-k)_{N}\ . \end{aligned}$$
(40)

The topological theories come along with \(\bar{\sigma }_1^c\), \(\bar{\sigma }_2^c\), \(\bar{\sigma }_3^c\), \(\hat{\sigma }_3^c\), and the following new cuboid quantum regions

  • \( m_2\rightarrow -\infty ,\, m_3\rightarrow +\infty \):

    $$\begin{aligned} \hat{\sigma }_1^c= \frac{U(p)}{U(F/2+k-q)\times U(p+q-F/2-k)}\ . \end{aligned}$$
    (41)
  • \( m_1\rightarrow -\infty ,\, m_3\rightarrow +\infty \):

    $$\begin{aligned} \hat{\sigma }_2^c= \frac{U(q)}{U(F/2+k-p)\times U(p+q-F/2-k)}\ . \end{aligned}$$
    (42)

The one mass asymptotic limits are now

  1. (i)

    \(m_1\rightarrow +\infty \): \(F_1/2-q\le k_1^+<F_1/2\) which gives a type \(\mathrm {II}\) phase diagram with the quantum regions \(\bar{\sigma }_{23}^d\), \(\sigma _{35}\), and \(\sigma _{25}\).

  2. (ii)

    \(m_1\rightarrow -\infty \): \(F_1/2-q\le |k_1^-|<F_1/2\) with negative \(k_1^-\) which leads to a time-reversed type \(\mathrm {II}\) phase diagram as shown in 12b with the phases \(\sigma _{23}^d\), \(\sigma _{46}\), and \(\sigma _{47}\), where

    $$\begin{aligned}&\sigma _{47}: Gr(F_1/2+k_1^-,q)\nonumber \\&\quad =\frac{U(q)}{U(F/2+k-p)\times U(p+q-F/2-k)}\equiv \hat{\sigma }_2^c\ . \nonumber \\ \end{aligned}$$
    (43)
  3. (iii)

    \(m_2\rightarrow +\infty \): \(F_2/2-p<k_2^+<F_2/2\) and the phase diagram is of type \(\mathrm {II}\) with the phases \(\bar{\sigma }_{13}^d\), \(\sigma _{46}\), and \(\sigma _{26}\).

  4. (iv)

    \(m_2\rightarrow -\infty \): \(F_2/2-p<|k_2^-|<F_2/2\), with \(k_2^-<0\), hence we have a time-reversed type \(\mathrm {II}\) phase diagram with \(\sigma _{13}^d\), \(\sigma _{35}\), and \(\sigma _{37}\), where

    $$\begin{aligned}&\sigma _{37}: Gr(F_2/2+k_2^-,p)\nonumber \\&\quad =\frac{U(p)}{U(F/2+k-q)\times U(p+q-F/2-k)}\equiv \hat{\sigma }_1^c\ . \end{aligned}$$
    (44)
  5. (v)

    \(m_3\rightarrow +\infty \): \(F_3/2-p\le |k_3^+|<F_3/2\) which gives a type \(\mathrm {II}\) phase diagram with \(\sigma _{37}\), \(\sigma _{47}\), and a new diagonal sigma model \(\bar{\sigma }_{12}^d\) given by

    $$\begin{aligned}&\bar{\sigma }_{12}^d: Gr(F_3/2+k_3^+,F_3) \nonumber \\&\quad =\frac{U(p+q)}{U(F/2+k)\times U(p+q-F/2-k)}\ , \end{aligned}$$
    (45)
  6. (vi)

    \(m_3\rightarrow -\infty \): \(F_3/2-p\le |k_3^-|<F_3/2\) this limit has a time-reversed type \(\mathrm {II}\) phase diagram with \(\sigma _{12}^d\), \(\sigma _{25}\), and \(\sigma _{26}\).

Fig. 13
figure 13

The three-dimensional phase diagram of \(SU(N)_k+p\,\psi _1+q\,\psi _2+(F-p-q)\,\psi _3\) with \(0\le k< (p+q)-F/2\). \(\hat{\sigma }_1^c\) is represented by the region in gray, while \(\hat{\sigma }_2^c\) is the white region

Fig. 14
figure 14

Phases of \(SU(N)_k+p\, \psi _1+q\, \psi _2+(F-p-q)\,\psi _3\) with \(0\le k<F/2-(p+q)\)

We summarize the phases of case 5 in Figs. 12 and 13 where these are: eight topological field theories \((\mathrm {T}_1,\mathrm {T}_2,\) \(\mathrm {T}_3,\mathrm {T}_4,\tilde{\mathrm {T}}_5,\tilde{\mathrm {T}}_6,\tilde{\mathrm {T}}_7,\tilde{\mathrm {T}}_8)\), six cuboid sigma-models \((\bar{\sigma }_1^c,\hat{\sigma }_1^c,\bar{\sigma }_2^c,\hat{\sigma }_2^c,\bar{\sigma }_3^c,\) \(\hat{\sigma }_3^c)\), six planes of sigma-models \((\sigma _{12}^d,\bar{\sigma }_{12}^d,\sigma _{13}^d,\bar{\sigma }_{13}^d,\sigma _{23}^d,\bar{\sigma }_{23}^d)\), as well as \(\sigma \). The limiting case \(q=0\) reproduces the phase diagram in Fig. 3c.

2.2 \(F-p-q>F/2\) scenario

In this scenario we consider the choice of p and q such that \(0<q\le p\le p+q \le F/2\). The range of k diagram is divided into: \(k\ge F/2\), \(F/2-q\le k<F/2\), \(F/2-p\le k<F/2-q\), \(F/2-(p+q)\le k<F/2-p\), and \(0\le k<F/2-(p+q)\), we label these cases by \(\bar{1}\), \(\bar{2}\), \(\bar{3}\), \(\bar{4}\), and \(\bar{5}\), respectively. We notice that the cases \(\bar{1}\) to \(\bar{3}\) are precisely similar to cases 1 to 3 of the first scenario, and the phase diagrams of these cases are equivalent. Case \(\bar{4}\) is identical to case 4 in the first scenario since we have \(k>|F/2-(p+q)|\) in both scenarios. The only difference then would be in the \(0\le k<F/2-(p+q)\) case.

2.2.1 \(\underline{\hbox {Case } \bar{5}: 0\le k<F/2-(p+q)}\)

This range of k under the constraint of this scenario has a three-dimensional phase diagram with the same topological phases as in case 4 of the first scenario except that \(\mathrm {T}_2\) is now

$$\begin{aligned} \mathrm {T}_2\rightarrow \tilde{\mathrm {T}}_2: SU(N)_{k-\frac{F}{2}+p+q}\longleftrightarrow U(F/2-p-q-k)_{N}\ . \end{aligned}$$
(46)

The topological theories come along with \(\sigma _3^c\), \(\bar{\sigma }_3^c\), \(\hat{\sigma }_3^c\), and a new cuboid region when we send \(m_1,\, m_2\rightarrow +\infty \) given by

$$\begin{aligned} \tilde{\sigma }_3^c= \frac{U(F-p-q)}{U(F/2+k)\times U(F/2-p-q-k)}\ . \end{aligned}$$
(47)

The one mass asymptotic limits are now

  1. (i)

    \(m_1\rightarrow +\infty \): \(p/2\le k_1^+<F_1/2-q\) which gives a type \(\mathrm {III}\) phase diagram with the quantum regions \(\bar{\sigma }_{23}^d\), \(\sigma _{35}\) as well as a new region for small \(m_3\) but positive \(m_2\):

    $$\begin{aligned}&\sigma _{12}: Gr(F_1/2+k_1^+,F_1-q)\nonumber \\&\quad =\frac{U(F-p-q)}{U(F/2+k)\times U(F/2-p-q-k)}\equiv \tilde{\sigma }_3^c\ . \nonumber \\ \end{aligned}$$
    (48)
  2. (ii)

    \(m_1\rightarrow -\infty \): \(|k_1^-|<F_1/2-q\) giving a type \(\mathrm {III}\) phase diagram as in case 4 with the phases \(\sigma _{23}^d\), \(\sigma _{78}\), and \(\sigma _{46}\).

  3. (iii)

    \(m_2\rightarrow +\infty \): \(q/2<k_2^+<F_2/2-p\) and the phase diagram is of type \(\mathrm {III}\) with the phases \(\bar{\sigma }_{13}^d\), \(\sigma _{46}\), and \(\sigma _{12}\).

  4. (iv)

    \(m_2\rightarrow -\infty \): this is a type \(\mathrm {III}\) phase diagram with \(\sigma _{13}^d\), \(\sigma _{78}\), and \(\sigma _{35}\).

  5. (v)

    \(m_3\rightarrow +\infty \): type \(\mathrm {I}\) phase diagram.

  6. (vi)

    \(m_3\rightarrow -\infty \): this limit has a type \(\mathrm {I}\) phase diagram with no quantum regions as it satisfies \(|k_3^-|>F_3/2\).

Fig. 15
figure 15

The three-dimensional phase diagram of \(SU(N)_k+p\,\psi _1+q\,\psi _2+(F-p-q)\,\psi _3\) with \(0\le k< F/2-(p+q)\). \(\tilde{\sigma }_3^c\) is represented by the region in cyan

We summarize the phases of case \(\bar{5}\) in Figs. 14 and 15 where these are: eight topological field theories \((\mathrm {T}_1,\tilde{\mathrm {T}}_2,\) \(\mathrm {T}_3,\mathrm {T}_4,\tilde{\mathrm {T}}_5,\tilde{\mathrm {T}}_6,\mathrm {T}_7,\tilde{\mathrm {T}}_8)\), four cuboid sigma-models \((\tilde{\sigma }_3^c,\) \(\bar{\sigma }_3^c,\) \(\hat{\sigma }_3^c,\sigma _3^c)\), four planes of sigma-models \((\sigma _{13}^d,\bar{\sigma }_{13}^d,\sigma _{23}^d,\bar{\sigma }_{23}^d)\), and the one-dimensional sigma-model \(\sigma \). The limiting case \(q=0\) reproduces the phase diagram in Fig. 3c.

We see that this scenario does not include \(\bar{\sigma }_{12}^d\), \(\hat{\sigma }_1^c\), and \(\hat{\sigma }_2^c\) as in the first scenario. However, this scenario includes \(\tilde{\sigma }_3^c\), which was missing in the first scenario. Hence there is no single analysis that discusses the full phases of the three-family case; one should choose a scenario for the analysis based on the number \(F-p-q\). The difference appears in some new and other missing quantum phases for each scenario.

3 Consistency checks

In this section, we discuss a few ways to check our analysis for the three-family case. We mostly zoom on the region around the blue critical points on our figures, when we use the boson/fermion duality adapted to our three-family situation. We generalize the procedure used in [17] to our model of the three-family theory. The discussion for this section is mainly for the first scenario discussed in Sect. 2.2, and we will mention the possible changes to the analysis when we use the second scenario accordingly.

3.1 Planar sigma-models

Fig. 16
figure 16

Phase diagrams in the limiting case \(m_1=m_2\)

Fig. 17
figure 17

Phase diagrams in the limiting case \(m_1=m_3\)

Fig. 18
figure 18

Phase diagrams in the limiting case \(m_2=m_3\)

Before we start looking at the bosonic phases, we give an alternative way of the reduction to the two-family case by looking at the planes where two of the masses are equal. This reduction gives more insights into the nature of the diagonal sigma-models that appear in the three-family theory.

  1. 1.

    \(\underline{(m_1=m_2,m_3) \hbox { plane}:}\)

    The theory is reduced to \(SU(N)_k+\bar{p}\, \psi _1+(F-\bar{p})\,\psi _3\) with \(\bar{p}=p+q\) fermions of mass \(m_1=m_2\) and \(F-\bar{p}\) of mass \(m_3\). However, in this case the choice of \(\bar{p}\) is such that \(0\le F-\bar{p}\le F/2\), which makes the quantum regions appear for small \(m_1=m_2\) in the type \(\mathrm {III}\) phase diagram. The phase diagram is then of type \(\mathrm {I}\) in case 1, type \(\mathrm {II}\) in cases 2, 3, and 4, and type \(\mathrm {III}\) in case 5 of Sect. 2.1. The phase diagrams are now reduced to the phases in Fig. 16. In Fig. 16b, the quantum phases are \(\sigma _{17}\) and \(\sigma _{28}\) where

    $$\begin{aligned}&\sigma _{17}: Gr(F/2+k,\bar{p}) \nonumber \\&\quad =\frac{p+q}{U(F/2+k)\times U(p+q-F/2-k)}\equiv \bar{\sigma }_{12}^d\ ,\nonumber \\ \end{aligned}$$
    (49)
    $$\begin{aligned}&\sigma _{28}: Gr(F/2-k,\bar{p}) \nonumber \\&\quad =\frac{p+q}{U(F/2-k)\times U(k-F/2+p+q)}\equiv \sigma _{12}^d\ .\nonumber \\ \end{aligned}$$
    (50)

    We note that \(\sigma _{28}\) is equivalent to \(\sigma _{12}^d\), which clearly shows that \(\sigma _{12}^d\) is not a line of quantum phase but rather a plane, and it appears in cases 2, 3, and 4. The quantum regions in Fig. 16c are \(\sigma _{78}\) and \(\sigma _{17}\), which are given by Eqs. (19) and (49).

    The only difference between the first and second scenarios is that the phase diagram in Fig. 16c becomes a type \(\mathrm {III}\) with quantum regions for small \(m_3\) instead of small \(m_1=m_2\). This makes the diagonal sigma model \(\bar{\sigma }_{12}^d\) disappear as we expected from the discussion of case \(\bar{5}\).

  2. 2.

    \(\underline{(m_1=m_3,m_2) \hbox { plane}:}\)

    The theory is reduced to \(SU(N)_k+q\, \psi _2+(F-q)\,\psi _3\) with q fermions of mass \(m_1 = m_3\) and \(F-q\) fermions of mass \(m_2\). The phase diagram is now of type \(\mathrm {I}\) in case 1, type \(\mathrm {II}\) in case 2, and type \(\mathrm {III}\) in cases 3, 4, and 5. The phase diagram is summarized in Fig. 17 with the following quantum regions: in Fig. 17b we have \(\sigma _{68}\) and \(\sigma _{38}\) where

    $$\begin{aligned}&\sigma _{38}: Gr(F/2-k,F-q) \nonumber \\&\quad =\frac{F-q}{U(F/2-k)\times U(F/2-q+k)}\equiv \sigma _{13}^d\ . \end{aligned}$$
    (51)

    In Fig. 17c the quantum phases are \(\sigma _{38}\) and \(\sigma _{16}\) where

    $$\begin{aligned}&\sigma _{16}: Gr(F/2+k,F-q) \nonumber \\&\quad =\frac{F-q}{U(F/2+k)\times U(F/2-q-k)}\equiv \bar{\sigma }_{13}^d\ . \end{aligned}$$
    (52)

    We conclude that the diagonal sigma-model \(\sigma _{13}^d\) appears in all the cases except case 1 while \(\bar{\sigma }_{13}^d\) appears only in cases 3, 4, and 5 of Sect. 2.1. The analysis is the same for the second scenario.

  3. 3.

    \(\underline{(m_1,m_2=m_3) \hbox { plane}:}\)

    The theory is reduced to \(SU(N)_k+p\, \psi _1+(F-p)\,\psi _3\) where \(\psi _2=\psi _3\). The phase diagram is of type \(\mathrm {I}\) in case 1, type \(\mathrm {II}\) only in cases 2 and 3, and type \(\mathrm {III}\) in cases 4 and 5. The phase diagram is summarized in Fig. 18, wherein Fig. 18b, the quantum regions are \(\sigma _{58}\) and \(\sigma _{48}\) with

    $$\begin{aligned}&\sigma _{48}: Gr(F/2-k,F-p) \nonumber \\&\quad =\frac{F-p}{U(F/2-k)\times U(F/2-p+k)}\equiv \sigma _{23}^d\ . \end{aligned}$$
    (53)

    In Fig. 18c the quantum phases are \(\sigma _{48}\) and \(\sigma _{15}\) where

    $$\begin{aligned}&\sigma _{15}: Gr(F/2+k,F-p) \nonumber \\&\quad =\frac{F-p}{U(F/2+k)\times U(F/2-p-k)}\equiv \bar{\sigma }_{23}^d\ , \end{aligned}$$
    (54)

    which shows that the diagonal sigma-model \(\sigma _{23}^d\) appears cases 2 and 3 while \(\bar{\sigma }_{23}^d\) appears in cases 4 and 5. The analysis is also the same for the second scenario in this limiting case.

3.2 Matching the bosonic phases

Near the critical points, the fermionic theory with three families of fermions is conjectured to have a bosonic dual description with gauge group \(U(n)_{l}\) and three sets of scalar fields in the fundamental representation of the gauge group which are \(p\ \phi _1\), \(q\, \phi _2\) and \((F-p-q)\, \phi _3\). In \(U(n)_{l}\), n and l take the value \(F/2\pm k\) and \(\pm N\), respectively. We have split the F scalars into three sets which can acquire independent mass deformations to be denoted \(M_i^2,\, i = 1,2,3\).

This bosonic theory has six gauge invariants operators which can be written in terms of the three scalars as

$$\begin{aligned} \begin{aligned}&X=\phi _1\, \phi _1^{\dagger },\ Y=\phi _2\, \phi _2^{\dagger },\ Z=\phi _3\, \phi _3^{\dagger }\\&U=\phi _1\, \phi _2^{\dagger },\ W=\phi _1\, \phi _3^{\dagger },\ T=\phi _2\, \phi _3^{\dagger }\ , \end{aligned} \end{aligned}$$
(55)

where X, Y, and Z are positive semidefinite diagonal Hermitian matrices of dimensions p, q, and \(F-p-q\), respectively. We consider a scalar potential for the critical theory including up to quartic order in the scalar field, which is further deformed by symmetry breaking mass operators. Written in terms of the six gauge invariants operators, this is

$$\begin{aligned} V= & {} M_1^2 \text {Tr}X + M_2^2 \text {Tr}Y+ M_3^2 \text {Tr}Z+\lambda (\text {Tr}^2X+\text {Tr}^2Y\nonumber \\&+\text {Tr}^2Z+2\text {Tr}X\text {Tr}Y+2\text {Tr}X\text {Tr}Z+2\text {Tr}Y\text {Tr}Z)\nonumber \\&+\mu (\text {Tr}X^2+\text {Tr}Y^2+\text {Tr}Z^2+2\text {Tr}UU^{\dagger }+2\text {Tr}WW^{\dagger }+2\text {Tr}TT^{\dagger })\ , \end{aligned}$$
(56)

where \(\lambda \) and \(\mu \) are the coupling constants for the quartic terms. The quartic couplings are chosen such that the full U(F) flavor symmetry is preserved. We choose \(\mu \ge 0\), which requires \(\mu +\text {min}(n,F)\lambda >0\) for the potential to be bounded from below.

Consider that X, Y, and Z have \(r_1\), \(r_2\), and \(r_3\) degenerate eigenvalues x, y, and z respectively such that

$$\begin{aligned} \text {Tr}X = r_1x,\ \text {Tr}Y = r_2y,\ \text {Tr}Z = r_3z,\ . \end{aligned}$$
(57)

The gauge group U(n) is never Higgsed if the squared mass of X, Y, and Z are non-negative. In this case, all the six gauge invariants operators vanish on-shell, so there is no scalar condensation, all matter fields are integrated out due to being massive, and one obtains a topological \(U(n)_l\) theory in the infrared.

On the other hand, if at least one of the scalars has a negative mass squared, the minimum of the potential can be found by solving the equations of motion

$$\begin{aligned}&M_1^2+2\lambda (\text {Tr}X+\text {Tr}Y+\text {Tr}Z)+2\mu X=0\ , \end{aligned}$$
(58)
$$\begin{aligned}&M_2^2+2\lambda (\text {Tr}X+\text {Tr}Y+\text {Tr}Z)+2\mu Y=0\ ,\end{aligned}$$
(59)
$$\begin{aligned}&M_3^2+2\lambda (\text {Tr}X+\text {Tr}Y+\text {Tr}Z)+2\mu Z=0\ . \end{aligned}$$
(60)

It also implies that \(U=W=T=0\). Solving the equations of motion gives the following eigenvalues

$$\begin{aligned} x&= \frac{\lambda (M_2^2r_2+M_3^2 r_3)-M_1^2[\mu +\lambda (r_2+r_3)]}{2\mu [\mu +\lambda (r_1+r_2+r_3)]}\ , \end{aligned}$$
(61)
$$\begin{aligned} y&= \frac{\lambda (M_1^2r_1+M_3^2 r_3)-M_2^2[\mu +\lambda (r_1+r_3)]}{2\mu [\mu +\lambda (r_1+r_2+r_3)]}\ , \end{aligned}$$
(62)
$$\begin{aligned} z&= \frac{\lambda (M_1^2r_1+M_2^2 r_2)-M_3^2[\mu +\lambda (r_1+r_2)]}{2\mu [\mu +\lambda (r_1+r_2+r_3)]}\ . \end{aligned}$$
(63)

It can be easily seen that minimizing the potential always requires maximization of \(r_1+r_2+r_3\). The ranks \(r_1\), \(r_2\), and \(r_3\) are non-negative integers satisfying the following conditions

$$\begin{aligned} \begin{aligned} r_1\le \text {min}(n,p)&,\ r_2\le \text {min}(n,q),\ r_3\le \text {min}(n,F-p-q),\\&r_1+r_2+r_3\le \text {min}(n,F)\ . \end{aligned} \end{aligned}$$
(64)

The constraints in Eq. (64) and the sign of the mass squared of each gauge invariant operator defines the phases that appear in the bosonic theory. The bosonic theory experiences Higgsing of the gauge group or Higgsing plus spontaneous symmetry breaking except when \(M_1^2\), \(M_2^2\), and \(M_3^2\) are all non-negative, as discussed above.

The phase diagram of the bosonic theory can be divided into five cases:

  1. 1.

    \(\underline{q\le p\le F-p-q\le F<n}\): \(F<n\) does not allow any spontaneous symmetry breaking for the flavor symmetry U(F). We expect to have eight different regions to describe the phase diagram in this range. Region \(\mathbb {A}\) describes the theory when all the masses squared are non-negative with no scalar condensation. The regions \(\mathbb {B}\), \(\mathbb {C}\), and \(\mathbb {D}\) are reached when only one scalar mass squared is negative, allowing a condensation for \(\phi _1\), \(\phi _2\), or \(\phi _3\), respectively. There are also three regions \(\mathbb {E}\), \(\mathbb {F}\), and \(\mathbb {G}\) where two of the scalars condense before integrating them out. The last region, \(\mathbb {H}\), describes a phase when the three scalars condense simultaneously.

Table 1 Phases of the bosonic theory with \(q\le p\le F-p-q\le F<n\)

The phases of the bosonic theory in this range are summarized in Table 1. For \(n=F/2+k\), the phases reproduce the topological theories of Eq. (9), which match the phases of case 1 in the fermionic description. For \(n=F/2-k\), the remaining topological phases from cases 2 to 5 appear.

For the second scenario, the bosonic phases are similar except that, for \(n=F/2-k\), region \(\mathbb {D}\) will not be allowed, and region \(\mathbb {E}\) will be described by \(\tilde{\mathrm {T}}_2\). The bosonic phases then match the topological phases of the fermionic theory for cases \(\bar{1}\) to \(\bar{5}\).

Table 2 Phases of the bosonic theory with \(q\le p\le F-p-q\le n< F\)
  1. 2.

    \(\underline{q\le p\le F-p-q\le n<F}\): In this range, there is a possibility of spontaneous symmetry breaking, which allows sigma-models to appear in the bosonic phases. The sigma-models appear when there is a condensation of more than one scalar. The region \(\mathbb {E}\), where \(\phi _1\) and \(\phi _2\) condense, splits into two regions: \(\mathbb {E}_1\) where only the constraint on \(r_1\) is saturated and \(\mathbb {E}_2\) where the constraint on \(r_2\) is saturated. The same scenario occurs for regions \(\mathbb {F}\) and \(\mathbb {G}\), while region \(\mathbb {H}\) splits into three subregions, each of them is described when one of the constraints on \(r_1\), \(r_2\), or \(r_3\) is saturated.

The phases of the bosonic theory in this range are summarized in Table 2. For \(n=F/2+k\), the quantum phases are \((\sigma _1^c,\, \bar{\sigma }_1^c,\, \hat{\sigma }_1^c,\, \sigma _2^c,\, \bar{\sigma }_2^c,\, \hat{\sigma }_2^c,\, \sigma _3^c,\, \bar{\sigma }_3^c,\, \hat{\sigma }_3^c)\), which are equivalent to all the cuboid quantum phases of the fermionic theory in cases 2, 3, 4, and 5 of Sect. 2.1. For \(n=F/2-k\), the quantum phases are \( \bar{\sigma }_1^c,\, \hat{\sigma }_1^c,\, \bar{\sigma }_2^c,\, \hat{\sigma }_2^c,\, \bar{\sigma }_3^c,\, \hat{\sigma }_3^c)\), which match the fermionic phases from case 5.

For the second scenario, the only allowed substitution is \(n=F/2+k\) with slightly changed phases where the regions \(\mathbb {E}_1\) and \(\mathbb {E}_2\) will not be allowed under the constraint \(F-p-q>F/2\). This makes the quantum phases \(\hat{\sigma }_1^c\) and \(\hat{\sigma }_2^c\) disappear, and the bosonic phases match correctly the fermionic phases in cases \(\bar{2}\), \(\bar{3}\), and \(\bar{4}\).

  1. 3.

    \(\underline{q\le p \le n< F-p-q\le F}\): In this range, the regions \(\mathbb {A}\), \(\mathbb {B}\), and \(\mathbb {C}\) are similar to the previous cases. Since \(n<F-p-q\), \(r_1\) is saturated to n and region \(\mathbb {D}\) now shrinks to a smaller region \(\mathbb {D}_1\) with a sigma-model phase. The regions \(\mathbb {E}_1\) and \(\mathbb {E}_2\) remain the same as in the previous case while only \(\mathbb {F}_1\), \(\mathbb {G}_1\), and \(\mathbb {H}_1\) subregions appear in this case. Each of the remaining subregions shares the same phase as in one of the other regions (e. g. the subregion \(\mathbb {F}_2\) has the same sigma-model as in \(\mathbb {D}_1\)).

Table 3 Phases of the bosonic theory with \(q\le p \le n< F-p-q\le F\)

The phases of this case are summarized in Table 3. Only \(n=F/2-k\) is allowed for the first scenario which gives the phases \((\bar{\sigma }_1^c,\, \bar{\sigma }_2^c,\, \sigma _3^c,\, \hat{\sigma }_3^c,\, \bar{\sigma }_3^c)\) . These quantum phases are equivalent to the phases of the fermionic theory in case 4 of Sect. 2.1.

For the second scenario, when \(n=F/2+k\), the phases are \((\bar{\sigma }_1^c,\, \bar{\sigma }_2^c,\, \bar{\sigma }_3^c,\, \hat{\sigma }_3^c,\, \tilde{\sigma }_3^c,\, \sigma _3^c)\), which are equivalent to the phases of the fermionic theory in cases \(\bar{4}\) and \(\bar{5}\). For \(n=F/2-k\), the bosonic phases are \((\sigma _3^c,\, \bar{\sigma }_3^c,\, \hat{\sigma }_3^c,\, \tilde{\sigma }_3^c)\) which match the fermionic phases in case \(\bar{5}\) of Sect. 2.2.

  1. 4.

    \(\underline{q\le n< p\le F-p-q\le F}\): In this case, the regions \(\mathbb {A}\) and \(\mathbb {C}\) do not experience any spontaneous symmetry breaking. Since \(n<(p,F-p-q)\), both \(r_1\) and \(r_3\) are saturated to n in regions \(\mathbb {B}\) and \(\mathbb {D}\), which shrink to smaller regions \(\mathbb {B}_1\) and \(\mathbb {D}_1\) with sigma-model phases. The subregions \(\mathbb {F}_1\) and \(\mathbb {H}_1\) now join the subregion \(\mathbb {B}_1\) to form a broader region sharing the same sigma-model, and the same happens for \(\mathbb {F}_2\) and \(\mathbb {H}_2\) which join the subregion \(\mathbb {D}_1\).

Table 4 Phases of the bosonic theory with \(q\le n< p\le F-p-q\le F\)

The phases of this case are summarized in Table 4. Only \(n=F/2-k\) is allowed in this case which gives \(( \sigma _1^c,\, \bar{\sigma }_1^c,\, \sigma _3^c,\, \hat{\sigma }_3^c)\), which match the phases of the fermionic theory in case 3 of Sect.  2.1. The analysis is precisely the same for the second scenario, where case 3 and case \(\bar{3}\) are identical.

  1. 5.

    \(\underline{n<q\le p\le F-p-q\le F}\): In this range, all the single condensation cases experience spontaneous symmetry breaking scenario where each of the corresponding ranks is saturated to n producing a sigma-model. The double and triple condensation cases share the same sigma-model as in the single condensation case.

Table 5 Phases of the bosonic theory with \(n<q\le p\le F-p-q\le F\)

The phases are now reduced to include only regions \(\mathbb {A}\), \(\mathbb {B}_1\), \(\mathbb {C}_1\), and \(\mathbb {D}_1\), as shown in Table 5. For \(n=F/2-k\), the phases are \((\sigma _1^c,\, \sigma _2^c,\, \sigma _3^c)\), matching the fermionic phases in case 2 of Sect. 2.1. The analysis is also the same for the second scenario, where case 2 and case \(\bar{2}\) are identical.

An additional and straightforward consistency check is to reduce the bosonic theory to the two-family case by putting \(q=0\) where the Tables 1, 2, 3, 4, and 5 reduce to the tables in [17].

3.3 Perturbing the lower dimension sigma-models

We saw in the previous subsection how to match the phases of the bosonic and the fermionic theories around the critical points by considering perturbations in the bosonic dual descriptions. We now want to perturb the diagonal sigma-models in both two-dimensional and three-dimensional pictures. We do this by adding a mass term which explicitly breaks the flavor symmetry U(F), as considered in [17] for the two-family case. The target space of the sigma model \(\sigma \) is

$$\begin{aligned} \sigma : Gr(n,F)= \frac{U(F)}{U(n)\times U(F-n)}\ , \end{aligned}$$
(65)

where again n can be either \(F/2+k\) or \(F/2 - k\). \(\sigma \) appears on the diagonal line of the three different limiting cases discussed in the previous subsection, which show that there exist three different possibilities of the mass deformation corresponding to deforming the mass of each of the scalars independently.

For \((m_1,m_2=m_3)\) plane, the theory has \(p\, \phi _1+(F-p)\, \phi _2\) scalar. This allows us to perturb \(\sigma \) by deforming \(\phi _1\) or \(\phi _2\) where the result is independent of the choice of the scalar set that we deform so let us say that we deform \(\phi _1\) by adding an infinitesimal mass squared \(\delta M_1^2\) to \(M_1^2\). Hence we have four possibilities:

  • If \(\delta M_1^2>0\) and \(F-p>n\), \(\phi _3\) condenses first Higgsing the gauge group U(n), then one can integrate \(\phi _1\) out and the resulting sigma-model has a Grassmannian \(Gr(n,F-p)\).

  • If \(\delta M_1^2>0\) but \(F-p<n\) the condensation of \(\phi _3\) partially Higgs the gauge group down to \(U(n-F+p)\) and then can be integrated out followed by integrating out \(\phi _1\). This gives a sigma-model with a Grassmannian \(Gr(F-p,p)\).

  • For \(\delta M_1^2<0\) and \(p>n\), \(\phi _1\) condenses first with a complete Higgsing of the gauge group which leads to a sigma-model with a Grassmannian Gr(np).

  • For \(\delta M_1^2<0\) and \(p<n\), the theory has a sigma-model with a Grassmannian \(Gr(F-n,F-p)\).

Substituting \(n=F/2\pm k\) gives Grassmannians describing the sigma-models \(\sigma _{23}^d\), \(\sigma _1^c\), and \(\bar{\sigma }_{23}^d\), which match the theories around \(\sigma \) in Fig. 18c.

Similarly for the \((m_2,m_1=m_3)\) plane, where we deform the mass of \(\phi _1\) to perturb sigma leading to the Grassmannians \(Gr(n,F-q)\), \(Gr(F-n,q)\), Gr(nq), and \(Gr(F-n,F-q)\). These Grassmanians correspond to the sigma-models \(\sigma _{13}^d\), \(\sigma _2^c\), and \(\bar{\sigma }_{13}^d\) matching the phases around \(\sigma \) in Fig. 17c. Lastly, the mass deformation of \(\phi _3\) in the \((m_1=m_2,m_3)\) plane leads to the Grassmannians \(Gr(n,F-p-q)\), \(Gr(F-n,p+q)\), \(Gr(n,p+q)\), and \(Gr(F-n,F-p-q)\) describing the target space of the sigma-models \(\sigma _3^c\), \(\sigma _{12}^d\), and \(\tilde{\sigma }_3^c\) which match the phases around \(\sigma \) in the fermionic theory, as shown in Fig. 16c.

We now move to perturb the other diagonal sigma-models when we simultaneously deform the mass of two scalars. We consider the perturbation of pairs of diagonal sigma-models as follows:

  1. 1.

    \(\underline{\hbox {Perturbing } \sigma _{23}^d \hbox { and } \bar{\sigma }_{23}^d}\): we rewrite both theories in the general form \(Gr(n,F-p)\) where \(\sigma _{23}^d\) can be found by substituting \(n=F/2-k\) while \(\bar{\sigma }_{23}^d\) is found by substituting \(n=F/2+k\). This can be obtained by deforming the mass of \(\phi _1\) with \(\delta M_1^2>0\) and \(F-p>n\) on the \((m_1,m_2=m_3)\) plane. In addition, we deform the mass of \(\phi _2\) and check the four possibilities.

    Now we have a perturbation of \(Gr(n,F_1)\) \(\delta M_2^2>0\) or \(\delta M_2^2<0\). As in the previous discussion, this gives sigma-models with Grassmannians \(Gr(n,F-p-q)\), \(Gr(F-p-n,q)\), Gr(nq), and \(Gr(F-p-n,F-p-q)\). For \(n=F/2-k\), these Grassmannians correspond to \(\sigma _3^c\), \(\hat{\sigma }_3^c\), \(\sigma _2^c\), and \(\hat{\sigma }_2^c\) matching the fermionic phases around \(\sigma _{23}^d\), as shown in Figs. 6b, 8b, 10b, and 12b. For \(n=F/2+k\), these Grassmannians correspond to \(\bar{\sigma }_3^c\) and \(\bar{\sigma }_2^c\) matching the fermionic phases around \(\bar{\sigma }_{23}^d\), as shown in Figs. 10a and 12a.

    We should clarify that not all the Grassmannians are allowed when we make the substitution \(n=F/2\pm k\) where they are subject to k being non-negative and the constraint of the first deformation, which is \(F-p>n\) in this case.

    In the second scenario, \(Gr(F-p-n,F-p-q)\) is not allowed for \(n=F/2-k\) and \(Gr(n,F-p-q)\) provides \(\tilde{\sigma }_3^c\) for \(n= F/2+k\). Then we have only \(\sigma _3^c\), \(\hat{\sigma }_3^c\), and \(\sigma _2^c\) that surround \(\sigma _{23}^d\), as shown in Figs. 6b, 8b, 10b, and 14b. \(\tilde{\sigma }_3^c\), \(\bar{\sigma }_3^c\) and \(\bar{\sigma }_2^c\) are the phases around \(\bar{\sigma }_{23}^d\) matching the fermionic description, as shown in Figs. 10a, 12a, and 14a.

  2. 2.

    \(\underline{\hbox {Perturbing } \sigma _{13}^d \hbox { and } \bar{\sigma }_{13}^d}\): these two theories have Grassmannians written in a single form \(Gr(n,F-q)\) which is obtained by deforming the mass of \(\phi _2\) with \(\delta M_2^2>0\) and \(F-q>n\) on the \((m_2,m_1=m_3)\) plane. By adding a deformation to the mass of \(\phi _1\), the resulting sigma-models have Grassmannians \(Gr(n,F-p-q)\), \(Gr(F-q-n,p)\), Gr(np), and \(Gr(F-q-n,F-p-q)\). For \(n=F/2-k\), these Grassmannians correspond to \(\sigma _3^c\), \(\sigma _1^c\), \(\bar{\sigma }_3^c\), and \(\hat{\sigma }_1^c\) which match the phases around \(\sigma _{13}^d\). For \(n=F/2+k\), the Grassmanians correspond to \(\bar{\sigma }_1^c\) and \(\hat{\sigma }_3^c\), which match the phases around \(\bar{\sigma }_{13}^d\) in the fermionic picture. The analysis is similar for the second scenario except that the Grassmannian \(Gr(F-q-n,F-p-q)\) is no longer allowed for \(n=F/2-k\).

  3. 3.

    \(\underline{\hbox {Perturbing } \sigma _{12}^d \hbox { and } \bar{\sigma }_{12}^d}\): we start from \(Gr(n,p+q)\) which can be read from deforming the mass of \(\phi _3\) with \(\delta M_3^2<0\) and \(p+q>n\) on the \((m_1=m_2,m_3)\) plane. An extra deformation of the mass of \(\phi _1\) gives sigma-models. For \(n=F/2-k\), the only allowed sigma-models have Grassmannians \(Gr(F/2-k,p)\), \(Gr(p+q-F/2+k,p)\), and \(Gr(p+q-F/2+k,q)\). These Grassmannians correspond to \(\sigma _1^c\), \(\bar{\sigma }_1^c\), and \(\bar{\sigma }_2^c\), which are the phases that appear around \(\sigma _{12}^d\). For \(n=F/2+k\), the allowed sigma-models are \(\hat{\sigma }_1^c\) and \(\hat{\sigma }_2^c\), which are the only quantum phases that appear around \(\bar{\sigma }_{12}^d\). The substitution \(n=F/2+k\) is not allowed for the second scenario; the analysis remains the same elsewhere.

4 Conclusion

We investigated the IR behaviour of SU(N) gauge theory coupled to three-families of flavors in the fundamental representation, extending the previous work for one family [12] and two families [17, 18]. Our description covers the full phase diagram in all the possible ranges of the Chern–Simons level. Our analysis leads to a three-dimensional phase diagram which is well described semiclassically by topological and gapped phases for \(k\ge F/2\) as in the one and two-family cases. In addition to the topological phases, we encounter one-dimensional sigma-models, planar, and cuboid sigma-models which are all quantum phases. The cuboid sigma-models are an intrinsic feature of the three-dimensional phase diagram which appear when one of the fermion masses become small.

We also provided consistency checks such as matching the phases of the bosonic dual descriptions with the fermionic ones and perturbing the diagonal sigma-model via mass deformations to match the off-diagonal lines phases. The reduction to the two-family case by describing the various planes when two of the masses are equal reproduces the results of [17, 18].

The order of the phase transitions that appear in the phase diagrams is only known in some limits to be second-order phase transitions [19,20,21,22]. It would be interesting to study such transitions in the two and three-dimensional phase diagrams when more than one fermion is massless and decipher the type of phase transition. We leave this for future work.