1 Introduction

\(\hbox {AdS}_5\)/\(\hbox {CFT}_4\) correspondence has attracted much attention since the first proposal of the AdS/CFT correspondence in [1]. Various aspects of the very well-understood duality between type IIB theory on \(AdS_5\times S^5\) and \(N=4\) Super Yang-Mills (SYM) theory in four dimensions are captured by \(N=8\) SO(6) gauged supergravity in five dimensions which is a consistent truncation of type IIB supergravity on \(S^5\) [2]. One aspect of the AdS/CFT correspondence that has been extensively studied is holographic RG flows. There are many previous works considering these solutions both in \(N=8\) five-dimensional gauged supergravity and directly in type IIB string theory, see for example [3,4,5,6,7].

Results along this direction with less supersymmetry have also appeared in [8,9,10,11]. In this case, gauged supergravities in five dimensions with \(N<8\) supersymmetry provide a very useful framework. In this paper, we consider holographic RG flows in half-maximal \(N=4\) gauged supergravity coupled to vector multiplets. This gauged supergravity has global symmetry \(SO(1,1)\times SO(5,n)\), n being the number of vector multiplets. Gaugings of a subgroup \(G_0\subset SO(1,1)\times SO(5,n)\) have been constructed in an \(SO(1,1)\times SO(5,n)\) covariant manner using the embedding tensor formalism in [12], see also [13]. The resulting solutions should describe RG flows arising from perturbing \(N=2\) superconformal field theories (SCFTs) by turning on some operators or their expectation values. Holographic solutions describing these \(N=2\) SCFTs and their deformations are less known compared to the \(N=4\) SYM. The results of this paper will give more examples of supersymmetric RG flow solutions and should hopefully shed some light on strongly coupled dynamics of \(N=2\) SCFTs.

We will consider \(N=4\) gauged supergravity coupled to five vector multiplets. This \(N=4\) gauged supergravity has a possibility of embedding in ten dimensions since the ungauged supergravity can be obtained via a \(T^5\) reduction of \(N=1\) supergravity in ten dimensions similar to \(N=4\) supergravity in four dimensions coupled to six vector multiplets that descends from \(N=1\) ten-dimensional supergravity compactified on a \(T^6\). However, it should be emphasized that the gaugings considered here have no known higher dimensional origin todate. We mainly focus on domain wall solutions interpolating between \(N=4\) \(AdS_5\) vacua or between an \(AdS_5\) vacuum and a singular domain wall corresponding to a non-conformal field theory. These types of solutions have been extensively studied in half-maximal gauged supergravities in various space-time dimensions, see [10, 11, 14,15,16,17,18,19,20,21] for an incomplete list. The solutions involve only the metric and scalar fields.

We will also study solutions with some vector fields non-vanishing. These solutions interpolate between the above mentioned supersymmetric \(AdS_5\) vacua and \(AdS_3\times \Sigma _2\) geometries in the IR in which \(\Sigma _2\) is a two-sphere (\(S^2\)) or a two-dimensional hyperbolic space (\(H^2\)). Holographically, the resulting solutions describe twisted compactifications of the dual \(N=2\) SCFTs to two-dimensional SCFTs as first studied in [22]. A number of these flows across dimensions have been found within \(N=8\) gauged supergravity and its truncations in [23,24,25,26,27], see also a universal result in [28] and solutions obtained directly from type IIB theory in [29]. To the best of our knowledge, solutions of this type have not appeared before in the framework of \(N=4\) gauged supergravity coupled to vector multiplets, see however [30] for similar solutions in pure \(N=4\) gauged supergravity. Our results should give a generalization of the universal RG flows across dimensions in [28] by turning on the twists from flavor symmetries.

In addition, \(AdS_3\times \Sigma _2\) geometries can arise as near horizon limits of black strings. Therefore, flow solutions interpolating between \(AdS_5\) and \(AdS_3\times \Sigma _2\) should describe black strings in asymptotically \(AdS_5\) space. Similar solutions in \(N=2\) gauged supergravity have been considered in [31,32,33,34,35]. We will give solutions of this type in \(N=4\) gauged supergravity. The solutions presented here will provide further examples of supersymmetric \(AdS_5\) black strings and might be useful for both holographic studies of twisted \(N=2\) SCFTs on \(\Sigma _2\) and certain dynamical aspects of black strings.

The paper is organized as follow. In Sect. 2, we review \(N=4\) gauged supergravity in five dimensions coupled to vector multiplets using the embedding tensor formalism. In Sect. 3, a compact \(U(1)\times SU(2)\times SU(2)\) gauge group is considered. Supersymmetric \(AdS_5\) vacua and RG flows interpolating between them are given. A number of \(AdS_3\times H^2\) solutions will also be given along with numerical RG flows interpolating between the previously identified \(AdS_5\) vacua and these \(AdS_3\times H^2\) geometries. In Sect. 4, we repeat the analysis for a non-compact \(U(1)\times SO(3,1)\) gauge group. An RG flow from \(N=2\) SCFT dual to a supersymmetric \(AdS_5\) vacuum to a singular geometry dual to a non-conformal field theory is considered. A supersymmetric \(AdS_3\times H^2\) geometry and an RG flow between this vacuum and the \(AdS_5\) critical point will also be given. We end the paper with some conclusions and comments in Sect. 5.

2 Five dimensional \(N=4\) gauged supergravity coupled to vector multiplets

In this section, we review the structure of five dimensional \(N=4\) gauged supergravity coupled to vector multiplets. We mainly focus on relevant formulae to find supersymmetric solutions. More details on the construction of \(N=4\) gauged supergravity can be found in [12] and [13].

In five dimensions, \(N=4\) gravity multiplet consists of the graviton \(e^{{\hat{\mu }}}_\mu \), four gravitini \(\psi _{\mu i}\), six vectors \(A^0\) and \(A_\mu ^m\), four spin-\(\frac{1}{2}\) fields \(\chi _i\) and one real scalar \(\Sigma \), the dilaton. Space-time and tangent space indices are denoted respectively by \(\mu ,\nu ,\ldots =0,1,2,3,4\) and \({\hat{\mu }},{\hat{\nu }},\ldots =0,1,2,3,4\). The \(SO(5)\sim USp(4)\) R-symmetry indices are described by \(m,n=1,\ldots , 5\) for the SO(5) vector representation and \(i,j=1,2,3,4\) for the SO(5) spinor or USp(4) fundamental representation.

\(N=4\) supersymmetry allows the gravity multiplet to couple to an arbitrary number n of vector multiplets. Each vector multiplet contains a vector field \(A_\mu \), four gaugini \(\lambda _i\) and five scalars \(\phi ^m\). The n vector multiplets will be labeled by indices \(a,b=1,\ldots , n\). Components fields in the n vector multiplets are accordingly denoted by \((A^a_\mu ,\lambda ^{a}_i,\phi ^{ma})\). The 5n scalar fields parametrized the \(SO(5,n)/SO(5)\times SO(n)\) coset. Combining the gravity and vector multiplets, we have \(6+n\) vector fields denoted by \(A^{\mathcal {M}}_\mu =(A^0_\mu ,A^m_\mu ,A^a_\mu )\) and \(5n+1\) scalars. All fermionic fields are symplectic Majorana spinors subject to the condition

$$\begin{aligned} \xi _i=\Omega _{ij}C({\bar{\xi }}^j)^T \end{aligned}$$
(1)

with C and \(\Omega _{ij}\) being the charge conjugation matrix and USp(4) symplectic form, respectively.

To describe the \(SO(5,n)/SO(5)\times SO(n)\) coset, we introduce a coset representative \(\mathcal {V}_M^{\phantom {M}A}\) transforming under the global \(G=SO(5,n)\) and the local \(H=SO(5)\times SO(n)\) by left and right multiplications, respectively. We use indices \(M,N,\ldots ,=1,2,\ldots , 5+n\). The local H indices \(A,B,\ldots \) can be split into \(A=(m,a)\). We can then write the coset representative as

$$\begin{aligned} \mathcal {V}_M^{\phantom {M}A}=(\mathcal {V}_M^{\phantom {M}m},\mathcal {V}_M^{\phantom {M}a}). \end{aligned}$$
(2)

The matrix \(\mathcal {V}_M^{\phantom {M}A}\), an element of SO(5, n), satisfies the relation

$$\begin{aligned} \eta _{MN}={\mathcal {V}_M}^A{\mathcal {V}_N}^B\eta _{AB}=-\mathcal {V}_M^{\phantom {M}m}\mathcal {V}_N^{\phantom {M}m}+\mathcal {V}_M^{\phantom {M}a}\mathcal {V}_N^{\phantom {M}a}\, . \end{aligned}$$
(3)

\(\eta _{MN}=\text {diag}(-1,-1,-1,-1,-1,1,\ldots ,1)\) is the SO(5, n) invariant tensor. In addition, the \(SO(5,n)/SO(5)\times SO(n)\) coset can also be described in term of a symmetric matrix

$$\begin{aligned} M_{MN}=\mathcal {V}_M^{\phantom {M}m}\mathcal {V}_N^{\phantom {M}m}+\mathcal {V}_M^{\phantom {M}a}\mathcal {V}_N^{\phantom {M}a} \end{aligned}$$
(4)

which is manifestly invariant under the \(SO(5)\times SO(n)\) local symmetry.

The full global symmetry of \(N=4\) supergravity coupled to n vector multiplets is \(SO(1,1)\times SO(5,n)\). The \(SO(1,1)\sim {\mathbb {R}}^+\) factor is identified with the coset space described by the dilaton \(\Sigma \). Gaugings can be efficiently described, in an \(SO(1,1)\times SO(5,n)\) covariant manner, by using the embedding tensor formalism. \(N=4\) supersymmetry allows three components of the embedding tensor \(\xi ^{M}\), \(\xi ^{MN}=\xi ^{[MN]}\) and \(f_{MNP}=f_{[MNP]}\). The existence of supersymmetric \(AdS_5\) vacua requires \(\xi ^M=0\), see [36] for more detail. Since, in this paper, we are only interested in supersymmetric \(AdS_5\) vacua and solutions interpolating between these vacua or solutions asymptotically approaching \(AdS_5\), we will restrict ourselves to the gaugings with \(\xi ^{M}=0\).

With \(\xi ^{M}=0\), the gauge group is entirely embedded in SO(5, n). The gauge generators in the fundamental representation of SO(5, n) can be written in terms of the SO(5, n) generators \({(t_{MN})_P}^Q=\delta ^Q_{[M}\eta _{N]P}\) as

$$\begin{aligned} {(X_M)_N}^P= & {} -{f_M}^{QR}{(t_{QR})_N}^P={f_{MN}}^P\quad \text {and} \nonumber \\ {(X_0)_N}^P= & {} -\xi ^{QR}{(t_{QR})_N}^P={\xi _N}^P\, . \end{aligned}$$
(5)

As a result, the covariant derivative reads

$$\begin{aligned} D_\mu =\nabla _\mu +A_\mu ^{M}X_M+A^0_\mu X_0 \end{aligned}$$
(6)

where \(\nabla _\mu \) is the usual space-time covariant derivative including the spin connection. It should be noted that the definition of \(\xi ^{MN}\) and \(f_{MNP}\) includes the gauge coupling constants. Furthermore, SO(5, n) indices \(M,N,\ldots \) are lowered and raised by \(\eta _{MN}\) and its inverse \(\eta ^{MN}\).

In order to define a consistent gauge group, generators \(X_{\mathcal {M}}=(X_0,X_M)\) must form a closed subalgebra of SO(5, n). This requires \(\xi ^{MN}\) and \(f_{MNP}\) to satisfy the quadratic constraints

$$\begin{aligned} f_{R[MN}{f_{PQ]}}^R=0\quad \text {and}\quad {\xi _M}^Qf_{QNP}=0. \end{aligned}$$
(7)

The first condition is the usual Jacobi identity. From the result of [36], gauge groups that admit \(N=4\) supersymmetric \(AdS_5\) vacua are generally of the form \(U(1)\times H_0\times H\). The U(1) is gauged by \(A^0_\mu \) while \(H\subset SO(n+3-\text {dim}\, H_0)\) is a compact group gauged by vector fields in the vector multiplets. \(H_0\) is a non-compact group gauged by three of the graviphotons and \(\text {dim}\, H_0-3\) vectors from the vector multiplets. In addition, \(H_0\) must contain an SU(2) subgroup. For simple groups, \(H_0\) can be \(SU(2)\sim SO(3)\), SO(3, 1) and \(SL(3,{\mathbb {R}})\).

The bosonic Lagrangian of a general gauged \(N=4\) supergravity coupled to n vector multiplets can be written as

$$\begin{aligned} e^{-1}\mathcal {L}= & {} \frac{1}{2}R-\frac{1}{4}\Sigma ^2M_{MN}\mathcal {H}^M_{\mu \nu }\mathcal {H}^{N\mu \nu }-\frac{1}{4}\Sigma ^{-4}\mathcal {H}^0_{\mu \nu }\mathcal {H}^{0\mu \nu }\nonumber \\&-\frac{3}{2}\Sigma ^{-2}D_\mu \Sigma D^\mu \Sigma +\frac{1}{16} D_\mu M_{MN}D^\mu M^{MN}\nonumber \\&-V+e^{-1}\mathcal {L}_{\text {top}} \end{aligned}$$
(8)

where e is the vielbein determinant. \(\mathcal {L}_{\text {top}}\) is the topological term which we will not give the explicit form here due to its complexity. The covariant gauge field strength tensors read

$$\begin{aligned} \mathcal {H}^{\mathcal {M}}_{\mu \nu }=2\partial _{[\mu }A^{\mathcal {M}}_{\nu ]}+{X_{\mathcal {N}\mathcal {P}}}^{\mathcal {M}}A^{\mathcal {N}}_\mu A^{\mathcal {P}}_\nu +Z^{\mathcal {M}\mathcal {N}}B_{\mathcal {N}\mu \nu } \end{aligned}$$
(9)

where

$$\begin{aligned} {X_{MN}}^P= & {} -{f_{MN}}^P,\quad {X_{M0}}^0=0,\quad {X_{0M}}^N=-{\xi _M}^N,\nonumber \\ Z^{MN}= & {} \frac{1}{2}\xi ^{MN},\quad Z^{0M}=-Z^{M0}=0\, . \end{aligned}$$
(10)

The two-form fields do not have kinetic terms and satisfy the first-order field equation

$$\begin{aligned} Z^{\mathcal {M}\mathcal {N}}\left[ \frac{1}{6\sqrt{2}}\epsilon _{\mu \nu \rho \lambda \sigma }\mathcal {H}^{(3)\rho \lambda \sigma }_{\mathcal {N}}-\mathcal {M}_{\mathcal {N}\mathcal {P}} \mathcal {H}^{\mathcal {P}}_{\mu \nu }\right] =0 \end{aligned}$$
(11)

with \(\mathcal {H}^{(3)}\) defined by

$$\begin{aligned} Z^{\mathcal {M}\mathcal {N}}\mathcal {H}^{(3)}_{\mathcal {N}\mu \nu \rho }= & {} Z^{\mathcal {M}\mathcal {N}}\left[ \phantom {\frac{1}{3}{X_{\mathcal {RS}}}^{\mathcal {Q}}}3D_{[\mu }B_{\nu \rho ]\mathcal {N}} +6d_{\mathcal {NPQ}}A^{\mathcal {P}}_{[\mu }\right. \nonumber \\&\times \left. \left. \left( \partial _\nu A^{\mathcal {Q}}_{\rho }]\right. +\frac{1}{3}{X_{\mathcal {RS}}}^{\mathcal {Q}}A^{\mathcal {R}}_\nu A^{\mathcal {S}}_{\rho }]\right) \right] \end{aligned}$$
(12)

and \(d_{0MN}=d_{MN0}=d_{M0N}=\eta _{MN}\). These two form fields arise from vector fields that transform non-trivially under the U(1) part of the gauge group.

The scalar potential is given by

$$\begin{aligned} V= & {} -\frac{1}{4}\left[ \phantom {\left. +\frac{\sqrt{2}}{3}f_{MNP}\xi _{QR}\Sigma M^{MNPQRS}\right] }f_{MNP}f_{QRS}\Sigma ^{-2}\left( \frac{1}{12}M^{MQ}M^{NR}M^{PS}\right. \right. \nonumber \\&-\frac{1}{4}M^{MQ}\eta ^{NR}\eta ^{PS} \left. +\frac{1}{6}\eta ^{MQ}\eta ^{NR}\eta ^{PS}\right) \nonumber \\&+\frac{1}{4}\xi _{MN}\xi _{PQ}\Sigma ^4\left( M^{MP}M^{NQ}-\eta ^{MP}\eta ^{NQ}\right) \nonumber \\&\left. +\frac{\sqrt{2}}{3}f_{MNP}\xi _{QR}\Sigma M^{MNPQRS}\right] \end{aligned}$$
(13)

where \(M^{MN}\) is the inverse of \(M_{MN}\), and \(M^{MNPQRS}\) is obtained from

$$\begin{aligned} M_{MNPQR}=\epsilon _{mnpqr}\mathcal {V}_{M}^{\phantom {M}m}\mathcal {V}_{N}^{\phantom {M}n} \mathcal {V}_{P}^{\phantom {M}p}\mathcal {V}_{Q}^{\phantom {M}q}\mathcal {V}_{R}^{\phantom {M}r} \end{aligned}$$
(14)

by raising the indices with \(\eta ^{MN}\).

Fermionic supersymmetry transformations are given by

$$\begin{aligned} \delta \psi _{\mu i}= & {} D_\mu \epsilon _i+\frac{i}{\sqrt{6}}\Omega _{ij}A^{jk}_1\gamma _\mu \epsilon _k\nonumber \\&-\frac{i}{6}\left( \Omega _{ij}\Sigma {\mathcal {V}_M}^{jk}\mathcal {H}^M_{\nu \rho }-\frac{\sqrt{2}}{4}\delta ^k_i\Sigma ^{-2}\mathcal {H}^0_{\nu \rho }\right) \left( {\gamma _\mu }^{\nu \rho } \right. \nonumber \\&\left. -4\delta ^\nu _\mu \gamma ^\rho \right) \epsilon _k, \end{aligned}$$
(15)
$$\begin{aligned} \delta \chi _i= & {} -\frac{\sqrt{3}}{2}i\Sigma ^{-1} D_\mu \Sigma \gamma ^\mu \epsilon _i+\sqrt{2}A_2^{kj}\epsilon _k\nonumber \\&-\frac{1}{2\sqrt{3}}\left( \phantom {\left. +\frac{1}{\sqrt{2}}\Sigma ^{-2}\delta ^k_i\mathcal {H}^0_{\mu \nu }\right) }\Sigma \Omega _{ij}{\mathcal {V}_M}^{jk}\mathcal {H}^M_{\mu \nu }\right. \nonumber \\&\left. +\frac{1}{\sqrt{2}}\Sigma ^{-2}\delta ^k_i\mathcal {H}^0_{\mu \nu }\right) \gamma ^{\mu \nu }\epsilon _k, \end{aligned}$$
(16)
$$\begin{aligned} \delta \lambda ^a_i= & {} i\Omega ^{jk}({\mathcal {V}_M}^aD_\mu {\mathcal {V}_{ij}}^M)\gamma ^\mu \epsilon _k+\sqrt{2}\Omega _{ij}A_{2}^{akj}\epsilon _k\nonumber \\&-\frac{1}{4}\Sigma {\mathcal {V}_M}^a\mathcal {H}^M_{\mu \nu }\gamma ^{\mu \nu }\epsilon _i\, . \end{aligned}$$
(17)

In the above equations, the fermion shift matrices are defined by

$$\begin{aligned} A_1^{ij}= & {} -\frac{1}{\sqrt{6}}\left( \phantom {\left. +\frac{4}{3}\Sigma ^{-1}{\mathcal {V}^{ik}}_M{\mathcal {V}^{jl}}_N{\mathcal {V}^P}_{kl}{f^{MN}}_P\right) }\sqrt{2}\Sigma ^2\Omega _{kl}{\mathcal {V}_M}^{ik}{\mathcal {V}_N}^{jl}\xi ^{MN} \right. \nonumber \\&\left. +\frac{4}{3}\Sigma ^{-1}{\mathcal {V}^{ik}}_M{\mathcal {V}^{jl}}_N{\mathcal {V}^P}_{kl}{f^{MN}}_P\right) ,\nonumber \\ A_2^{ij}= & {} \frac{1}{\sqrt{6}}\left( \phantom {\left. -\frac{2}{3}\Sigma ^{-1}{\mathcal {V}^{ik}}_M{\mathcal {V}^{jl}}_N{\mathcal {V}^P}_{kl}{f^{MN}}_P\right) }\sqrt{2}\Sigma ^2\Omega _{kl}{\mathcal {V}_M}^{ik}{\mathcal {V}_N}^{jl}\xi ^{MN} \right. \nonumber \\&\left. -\frac{2}{3}\Sigma ^{-1}{\mathcal {V}^{ik}}_M{\mathcal {V}^{jl}}_N{\mathcal {V}^P}_{kl}{f^{MN}}_P\right) ,\nonumber \\ A_2^{aij}= & {} -\frac{1}{2}\left( \phantom {\left. -\sqrt{2}\Sigma ^{-1}\Omega _{kl}{\mathcal {V}_M}^a{\mathcal {V}_N}^{ik}{\mathcal {V}_P}^{jl}f^{MNP}\right) }\Sigma ^2{\mathcal {V}_M}^a{\mathcal {V}_N}^{ij}\xi ^{MN}\right. \nonumber \\&\left. -\sqrt{2}\Sigma ^{-1}\Omega _{kl}{\mathcal {V}_M}^a{\mathcal {V}_N}^{ik}{\mathcal {V}_P}^{jl}f^{MNP}\right) . \end{aligned}$$
(18)

\(\mathcal {V}_M^{\phantom {M}ij}\) is defined in term of \({\mathcal {V}_M}^m\) as

$$\begin{aligned} {\mathcal {V}_M}^{ij}=\frac{1}{2}{\mathcal {V}_M}^{m}\Gamma ^{ij}_m \end{aligned}$$
(19)

where \(\Gamma ^{ij}_m=\Omega ^{ik}{\Gamma _{mk}}^j\) and \({\Gamma _{mi}}^j\) are SO(5) gamma matrices. Similarly, the inverse \({\mathcal {V}_{ij}}^M\) can be written as

$$\begin{aligned} {\mathcal {V}_{ij}}^M=\frac{1}{2}{\mathcal {V}_m}^M(\Gamma ^{ij}_m)^*=\frac{1}{2}{\mathcal {V}_m}^M\Gamma _{m}^{kl}\Omega _{ki}\Omega _{lj}\, . \end{aligned}$$
(20)

The covariant derivative on \(\epsilon _i\) is given by

$$\begin{aligned} D_\mu \epsilon _i=\partial _\mu \epsilon _i+\frac{1}{4}\omega _\mu ^{ab}\gamma _{ab}\epsilon _i+{Q_{\mu i}}^j\epsilon _j \end{aligned}$$
(21)

where the composite connection is defined by

$$\begin{aligned} {Q_{\mu i}}^j= & {} {\mathcal {V}_{ik}}^M\partial _\mu {\mathcal {V}_M}^{kj}-A^0_\mu \xi ^{MN}\mathcal {V}_{Mik}{\mathcal {V}_N}^{kj}\nonumber \\&-A^M_\mu {\mathcal {V}_{ik}}^N\mathcal {V}^{kjP}f_{MNP}\, . \end{aligned}$$
(22)

Before considering various supersymmetric solutions, we note here the relation between the scalar potential and the fermion shift matrices \(A_1\) and \(A_2\)

$$\begin{aligned} V=-A^{ij}_1A_{1ij}+A^{ij}_2A_{2ij}+A_2^{aij} A^a_{2ij}\, . \end{aligned}$$
(23)

Rasing and lowering of indices \(i,j,\ldots \) by \(\Omega ^{ij}\) and \(\Omega _{ij}\) are also related to complex conjugation for example \(A_{1ij}=\Omega _{ik}\Omega _{jl}A_1^{kl}=(A_1^{ij})^*\).

3 Supersymmetric RG flows in \(U(1)\times SU(2)\times SU(2)\) gauge group

We begin with a compact gauge group \(U(1)\times SU(2)\times SU(2)\). In order to gauge this group, we need to couple the gravity multiplet to at least three vector multiplets. Components of the embedding tensor for this gauge group are given by

$$\begin{aligned} \xi ^{MN}= & {} g_1\left( \delta ^M_2\delta ^N_1-\delta ^M_1\delta ^N_2\right) , \end{aligned}$$
(24)
$$\begin{aligned} f_{{\tilde{m}}+2,{\tilde{n}}+2,{\tilde{p}}+2}= & {} -g_2\epsilon _{{\tilde{m}}{\tilde{n}}{\tilde{p}}},\quad {\tilde{m}},{\tilde{n}},{\tilde{p}}=1,2,3, \end{aligned}$$
(25)
$$\begin{aligned} f_{abc}= & {} g_3\epsilon _{abc},\quad a,b,c=1,2,3 \end{aligned}$$
(26)

where \(g_1\), \(g_2\) and \(g_3\) are the corresponding coupling constants for each factor in \(U(1)\times SU(2)\times SU(2)\).

To parametrize the scalar coset \(SO(5,n)/SO(5)\times SO(n)\), we introduce a basis for \(GL(5+n,{\mathbb {R}})\) matrices

$$\begin{aligned} (e_{MN})_{PQ}=\delta _{MP}\delta _{NQ} \end{aligned}$$
(27)

in terms of which SO(5, n) non-compact generators are given by

$$\begin{aligned} Y_{ma}=e_{m,a+5}+e_{a+5,m},\quad m=1,2,\ldots , 5,\quad a=1,2,\ldots , n\, .\nonumber \\ \end{aligned}$$
(28)

We will mainly consider the case of \(n=5\) vector multiplets, but the results can be straightforwardly extended to the case of \(n>5\).

3.1 RG flows between \(N=4\) supersymmetric \(AdS_5\) critical points

We will consider scalar fields that are singlets of \(U(1)\times SU(2)_{\text {diag}}\subset U(1)\times SU(2)\times SU(2)\). Under \(SO(5)\times SO(5)\subset SO(5,5)\), the scalars transform as \(({\mathbf {5}},{\mathbf {5}})\). With the above embedding of the gauge group in SO(5, 5), the scalars transform under \(U(1)\times SU(2)\times SU(2)\) gauge group as

$$\begin{aligned}&2\times ({\mathbf {1}},{\mathbf {1}})_{+2}+2\times ({\mathbf {1}},{\mathbf {1}})_{-2}+({\mathbf {1}},{\mathbf {3}})_{+2}+({\mathbf {1}},{\mathbf {3}})_{-2}\nonumber \\&\quad +2\times ({\mathbf {3}},{\mathbf {1}})_{0}+({\mathbf {3}},{\mathbf {3}})_{0} \end{aligned}$$
(29)

and transform under \(U(1)\times SU(2)_{\text {diag}}\) as

$$\begin{aligned} {\mathbf {1}}_0+2\times {\mathbf {1}}_{+2}+2\times {\mathbf {1}}_{-2}+3\times {\mathbf {3}}_0+{\mathbf {3}}_{+2}+{\mathbf {3}}_{-2}+{\mathbf {5}}_0\nonumber \\ \end{aligned}$$
(30)

where the subscript denotes the U(1) charges. According to this decomposition, there is one singlet corresponding to the following SO(5, 5) non-compact generator

$$\begin{aligned} Y_s=Y_{31}+Y_{42}+Y_{53}\, . \end{aligned}$$
(31)

Using the coset representative parametrized by

$$\begin{aligned} \mathcal {V}=e^{\phi Y_s}, \end{aligned}$$
(32)

we find the scalar potential for \(\phi \) and \(\Sigma \) as follow

$$\begin{aligned} V= & {} \frac{1}{32\Sigma ^2}\left[ 32\sqrt{2}g_1g_2\Sigma ^3\cosh ^3\phi -9(g_2^2+g_3^2)\cosh (2\phi ) \right. \nonumber \\&-8(g_2^2-g_3^2-4\sqrt{2}g_1g_3\Sigma ^3\sinh ^3\phi -g_2g_3\sinh ^3\phi )\nonumber \\&\left. +(g_2^2+g_3^2)\cosh (6\phi )\right] . \end{aligned}$$
(33)

This potential admits two \(N=4\) supersymmetric \(AdS_5\) critical points. The first one is given by

$$\begin{aligned} \phi =0\quad \text {and}\quad \Sigma =\left( -\frac{g_2}{\sqrt{2}g_1}\right) ^{\frac{1}{3}}\, . \end{aligned}$$
(34)

This critical point is invariant under the full gauge symmetry \(U(1)\times SU(2)\times SU(2)\) since \(\Sigma \) is a singlet of the whole SO(5, 5) global symmetry. Furthermore, we can rescale \(\Sigma \), or equivalently set \(g_2=-\sqrt{2}g_1\) to bring this critical point located at \(\Sigma =1\). The cosmological constant, the value of the scalar potential at the critical point, is

$$\begin{aligned} V_0=-3g_1^2\, . \end{aligned}$$
(35)

Another supersymmetric critical point is given by

$$\begin{aligned} \phi =\frac{1}{2}\ln \left[ \frac{g_3-g_2}{g_3+g_2}\right] \quad \text {and}\quad \Sigma =\left( \frac{g_2g_3}{g_1\sqrt{2(g_3^2-g_2^2)}}\right) ^{\frac{1}{3}}\, .\nonumber \\ \end{aligned}$$
(36)

This critical point also preserves the full \(N=4\) supersymmetry but has only \(U(1)\times SU(2)_{\text {diag}}\) symmetry due to the non-vanising scalar \(\phi \). The cosmological constant for this critical point is

$$\begin{aligned} V_0=-3\left( \frac{g_1g_2^2g_3^2}{2(g_3^2-g_2^2)}\right) ^{\frac{2}{3}}\, . \end{aligned}$$
(37)

This second \(N=4\) \(AdS_5\) critical point has been shown to exist in [11] when an additional SU(2) dual to a flavor symmetry of the dual \(N=2\) SCFT is present.

We now analyze the BPS equations arising from setting supersymmetry transformations of fermions to zero. We first define \({\mathcal {V}_M}^{ij}\) with the following explicit choice of SO(5) gamma matrices \({\Gamma _{mi}}^j\)

$$\begin{aligned} \Gamma _1= & {} -\sigma _2\otimes \sigma _2,\quad \Gamma _2=i{\mathbb {I}}_2\otimes \sigma _1,\quad \Gamma _3={\mathbb {I}}_2\otimes \sigma _3,\nonumber \\ \Gamma _4= & {} \sigma _1\otimes \sigma _2,\quad \Gamma _5=\sigma _3\otimes \sigma _2 \end{aligned}$$
(38)

where \(\sigma _i\), \(i=1,2,3\) are the usual Pauli matrices.

Since we are interested only in solutions with only the metric and scalars non-vanishing, we will set all the vector and two-form fields to zero. The metric ansatz is given by the standard domain wall

$$\begin{aligned} ds^2=e^{2A(r)}dx^2_{1,3}+dr^2 \end{aligned}$$
(39)

with \(dx^2_{1,3}\) being the metric on four dimensional Minkowski space. In addition, the scalars \(\Sigma \) and \(\phi \) as well as the Killing spinors \(\epsilon _i\) are functions of only the radial coordinate r.

We begin with the \(\delta \psi _{\mu i}=0\) conditions for \(\mu =0,1,2,3\) which lead to

$$\begin{aligned} A'\gamma _r\epsilon _i+i\sqrt{\frac{2}{3}}\Omega _{ij}A^{jk}_1\epsilon _k=0 \end{aligned}$$
(40)

where \('\) denotes the r-derivative. Multiply this equation by \(A'\gamma _r\) and iterate, we find

$$\begin{aligned} A'^2\epsilon _i+{M_i}^k{M_k}^j\epsilon _j=0 \end{aligned}$$
(41)

for \({M_i}^j=\sqrt{\frac{2}{3}}\Omega _{ik}A_1^{kj}\). The above equation has non-vanishing solutions for \(\epsilon _i\) if \({M_i}^k{M_k}^j\propto \delta ^j_i\). We will write

$$\begin{aligned} {M_i}^k{M_k}^j=-|W|^2\delta ^j_i \end{aligned}$$
(42)

where W will be identified with the superpotential. When substitute this result in Eq. (41), we find

$$\begin{aligned} A'=\pm |W|\, . \end{aligned}$$
(43)

On the other hand, Eq. (40) leads to the projection condition on \(\epsilon _i\)

$$\begin{aligned} \gamma _r\epsilon _i=\pm i {I_i}^j\epsilon _j \end{aligned}$$
(44)

where \({I_i}^j\) is defined via

$$\begin{aligned} {M_i}^j=|W|{I_i}^j\, . \end{aligned}$$
(45)

The condition \(\delta \psi _{{\hat{r}}i}=0\) gives the usual r-dependent Killing spinors of the form \(\epsilon _i=e^{\frac{A}{2}}\epsilon _{0i}\) for constant spinors \(\epsilon _{0i}\) satisfying (44). Using the projector (44) in conditions \(\delta \chi _i=0\) and \(\delta \lambda ^a_i=0\), we can derive the first order flow equations for \(\Sigma \) and \(\phi \).

For the coset representative in (32), we find the superpotential

$$\begin{aligned} W=\frac{1}{6}\Sigma ^{-1}\left( \sqrt{2}g_1\Sigma ^3-2g_2\cosh ^3\phi -2g_3\sinh ^3\phi \right) .\nonumber \\ \end{aligned}$$
(46)

The matrix \({I_i}^j\) in the \(\gamma _r\) projection is given by

$$\begin{aligned} i{I_i}^j={(\sigma _2\otimes \sigma _3)_i}^j\, . \end{aligned}$$
(47)

The scalar kinetic term reads

$$\begin{aligned} \mathcal {L}_{\text {kin}}=-\frac{3}{2}\Sigma ^{-2}\Sigma '^2-\frac{3}{2}\phi '^2 \, . \end{aligned}$$
(48)

The scalar potential (33) can be written in term of the superpotential as

$$\begin{aligned} V=\frac{3}{2}\left( \frac{\partial W}{\partial \phi }\right) ^2+\frac{3}{2}\Sigma ^2\left( \frac{\partial W}{\partial \Sigma }\right) ^2-6W^2\, . \end{aligned}$$
(49)

By choosing the sign choice such that the \(U(1)\times SU(2)\times SU(2)\) is identified with \(r\rightarrow \infty \), the BPS conditions from \(\delta \chi _i\) and \(\delta \lambda ^a_i\) reduce to the following equations

$$\begin{aligned} \phi '= & {} -\frac{\partial W}{\partial \phi }=\Sigma ^{-1}\cosh \phi \sinh \phi (g_2\cosh \phi +g_3\sinh \phi ), \end{aligned}$$
(50)
$$\begin{aligned} \Sigma '= & {} -\Sigma ^2\frac{\partial W}{\partial \Sigma }{=}-\frac{1}{3}\left( \sqrt{2}g_1\Sigma ^3{+}g_2\cosh ^3\phi {+}g_3\sinh ^3\phi \right) . \end{aligned}$$
(51)

It can be readily verified that the critical points given in (34) and (36) are also critical point of W and solve Eqs. (50) and (51). These critical points are then \(N=4\) supersymmetric. Together with the \(A'\) equation

$$\begin{aligned} A'=-\frac{1}{6}\Sigma ^{-1}(\sqrt{2}g_1\Sigma ^3-2g_2\cosh ^3\phi -2g_3\sinh ^3\phi ), \end{aligned}$$
(52)

we have the full set of BPS equations to be solved for RG flows interpolating between the two supersymmetric \(AdS_5\) critical points. It can be verified that these BPS equations imply the second-order field equations.

By treating \(\phi \) as an independent variable, we can solve for \(\Sigma (\phi )\) and \(A(\phi )\) as follow

$$\begin{aligned} \Sigma= & {} -\frac{e^{\frac{\phi }{3}}(g_3-g_3e^{2\phi }-g_2-g_2e^{2\phi })^{\frac{1}{3}}}{\left[ (e^{4\phi }-1)C-2\sqrt{2}g_1\right] ^{\frac{1}{3}}}, \end{aligned}$$
(53)
$$\begin{aligned} A= & {} -\frac{1}{3}\phi {+}\frac{1}{2}\ln (1-e^{4\phi }){-}\frac{1}{2}\ln (g_3-g_3e^{2\phi }-g_2{-}g_2e^{2\phi })\nonumber \\&-\frac{1}{6}\ln \left[ g_2(1-e^{2\phi })-g_3(1+e^{2\phi })\right] . \end{aligned}$$
(54)

We have neglected an irrelevant additive integration constant in A. The constant C will be chosen in such a way that \(\Sigma \) approaches the second \(AdS_5\) vacuum. This requires \(C=-\frac{g_1(g_3+g_2)^2}{\sqrt{2}g_2g_3}\) leading to the final form of the solution for \(\Sigma \)

$$\begin{aligned} \Sigma =\left[ \frac{\sqrt{2}g_2g_3e^{\phi }}{g_1(g_2-g_2e^{2\phi }-g_3-g_3e^{2\phi })}\right] ^{\frac{1}{3}}\, . \end{aligned}$$
(55)

Finally, the solution for \(\phi (r)\) is given by

$$\begin{aligned} g_2g_3\rho= & {} g_3\ln \left[ \frac{1-e^\phi }{1+e^\phi }\right] -2g_2\tan ^{-1}e^\phi \nonumber \\&+2\sqrt{g_3^2-g_2^2}\tanh ^{-1}\left[ e^\phi \sqrt{\frac{g_3+g_2}{g_3-g_2}}\right] \end{aligned}$$
(56)

where the new radial coordinate \(\rho \) is defined by \(\frac{d\rho }{dr}=\Sigma ^{-1}\). This solution is the same as that obtained in [11] and has a very similar structure to solutions obtained from half-maximal gauged supergravities in seven and six dimensions [14, 16].

Table 1 Scalar masses at the \(N=4\) supersymmetric \(AdS_5\) critical point with \(U(1)\times SU(2)\times SU(2)\) symmetry and the corresponding dimensions of the dual operators
Table 2 Scalar masses at the \(N=4\) supersymmetric \(AdS_5\) critical point with \(U(1)\times SU(2)_{\text {diag}}\) symmetry and the corresponding dimensions of the dual operators

Near the UV \(N=4\) critical point, we find

$$\begin{aligned} \phi \sim \Sigma \sim e^{-\sqrt{2}g_1r}\sim e^{-\frac{2r}{L_{\text {UV}}}} \end{aligned}$$
(57)

where the \(AdS_5\) radius is given by \(L_{\text {UV}}=\sqrt{-\frac{6}{V_0}}=\frac{\sqrt{2}}{g_1}\). This behavior implies that the RG flow dual to this solution is driven by vacuum expectation values of operators with dimension \(\Delta =2\). Near the IR point, we find

$$\begin{aligned} \phi \sim e^{\frac{2r}{L_{\text {IR}}}},\quad \Sigma \sim e^{-\frac{2r}{L_{\text {IR}}}} \end{aligned}$$
(58)

where

$$\begin{aligned} L_{\text {IR}}=\left[ \frac{2^{\frac{5}{2}}(g_3^2-g_2^2)}{g_1(g_2g_3)^2}\right] ^{\frac{1}{3}}\, . \end{aligned}$$
(59)

The operator dual to \(\phi \) becomes irrelevant in the IR with dimension \(\Delta =6\) while the operator dual to \(\Sigma \) has dimension \(\Delta =2\) as in the UV. For completeness, we give masses for all scalars at both critical points in Tables 1 and 2. In these tables, the singlets \(({\mathbf {1}},{\mathbf {1}})_0\) and one of the \({\mathbf {1}}_0\) with \(m^2L^2=-4\) in Table 2 corresponds to \(\Sigma \). The massless scalars \({\mathbf {3}}_0\) in Table 2 are Goldstone bosons corresponding to the symmetry breaking \(SU(2)\times SU(2)\rightarrow SU(2)_{\text {diag}}\). The massless scalars \({\mathbf {5}}_0\) are dual to marginal operators in the dual \(N=2\) SCFT. It should also be noted that most of the results in this section have already been found in [11]. However, the full scalar mass spectra are new results that have not been studied in [11].

3.2 Supersymmetric RG flows from \(N=2\) SCFTs to two dimensional SCFTs

We now consider another type of solutions namely solutions interpolating between supersymmetric \(AdS_5\) vacua identified previously and \(AdS_3\times \Sigma _2\) geometries. In the present consideration, \(\Sigma _2\) is a two-sphere (\(S^2\)) or a two-dimensional hyperbolic space (\(H^2\)).

We begin with the metric ansatz for the \(\Sigma _2=S^2\) case

$$\begin{aligned} ds^2=e^{2f(r)}dx^2_{1,1}+dr^2+e^{2g(r)}(d\theta ^2+\sin ^2\theta d\phi ^2) \end{aligned}$$
(60)

where \(dx^2_{1,1}\) is the flat metric in two dimensions. It is useful to note the components of the spin connection

$$\begin{aligned} \omega ^{{\hat{\mu }}{\hat{r}}}= & {} f'e^{{\hat{\mu }}},\quad \omega ^{{\hat{\theta }}{\hat{r}}}=g'e^{{\hat{\theta }}},\nonumber \\ \omega ^{{\hat{\phi }}{\hat{r}}}= & {} g'e^{{\hat{\phi }}},\quad \omega ^{{\hat{\phi }}{\hat{\theta }}}=e^{-g}\cot \theta e^{{\hat{\phi }}} \end{aligned}$$
(61)

with the obvious choice of vielbein

$$\begin{aligned} e^{{\hat{\mu }}}=e^fdx^\mu ,\quad e^{{\hat{r}}}=dr,\quad e^{{\hat{\theta }}}=e^gd\theta ,\quad e^{{\hat{\phi }}}=e^g\sin \theta d\phi \nonumber \\ \end{aligned}$$
(62)

for \({\hat{\mu }}=0,1\).

To preserve some amount of supersymmetry, we impose a twist condition by cancelling the spin connection on \(S^2\) with some gauge connections. We will consider abelian twists from \(U(1)\times U(1)\times U(1)\subset U(1)\times SU(2)\times SU(2)\) and its \(U(1)\times U(1)_{\text {diag}}\) subgroup. The corresponding gauge fields are denoted by \((A^0,A^5,A^8)\). Note that turning on \(A^0\) and \(A^5\) correspond to a twist along the R-symmetry \(U(1)\times SU(2)\) of the dual \(N=2\) SCFTs while a non-vanishing \(A^8\) is related to turning on the gauge field of SU(2) flavor symmetry. The latter cannot be used as a twist since the Killing spinor is neutral under this symmetry.

An effect of the twisting procedure is to cancel \(\omega ^{{\hat{\theta }}{\hat{\phi }}}\) on \(S^2\). The BPS conditions \(\delta \psi _{i{\hat{\theta }}}=0\) and \(\delta \psi _{i{\hat{\phi }}}=0\) then lead to the same BPS equation. In order to achieve this, we consider the ansatz for the gauge fields

$$\begin{aligned} A^{\mathcal {M}=0,5,8}=a_{\mathcal {M}}\cos \theta d\phi \, . \end{aligned}$$
(63)

We consider two type of solutions with unbroken gauge symmetry \(U(1)\times U(1)\times U(1)\) and \(U(1)\times U(1)_{\text {diag}}\). We begin with a simpler case of \(U(1)\times U(1)\times U(1)\) invariant sector consisting of four singlet scalars \(\Sigma \) and \(\varphi _i\), \(i=1,2,3\). The latter correspond to the SO(5, 5) non-compact generators \(Y_{53}\), \(Y_{54}\) and \(Y_{55}\). The coset representative is then given by

$$\begin{aligned} \mathcal {V}=e^{\varphi _1 Y_{53}}e^{\varphi _2 Y_{54}}e^{\varphi _3 Y_{55}}\, . \end{aligned}$$
(64)

A straightforward computation gives relevant components of the covariant derivative on the Killing spinors \(\epsilon _i\)

$$\begin{aligned} D_{{\hat{\phi }}}\epsilon _i= & {} \cdots +\frac{1}{2}e^{-g}\cot \theta \left[ \gamma _{{\hat{\phi }}{\hat{\theta }}}\epsilon _i-ia_0g_1{(\sigma _2\otimes \sigma _3)_i}^j\epsilon _j\right. \nonumber \\&\left. +ia_5g_2{(\sigma _1\otimes \sigma _1)_i}^j\epsilon _j\right] . \end{aligned}$$
(65)

In order to cancel the spin connection, we need to impose the conditions

$$\begin{aligned} i\gamma _{{\hat{\theta }}{\hat{\phi }}}\epsilon _i=a_0g_1{(\sigma _2\otimes \sigma _3)_i}^j\epsilon _j-a_5g_2{(\sigma _1\otimes \sigma _1)_i}^j\epsilon _j\, . \end{aligned}$$
(66)

Consistency with \((i\gamma _{{\hat{\theta }}{\hat{\phi }}})^2={\mathbb {I}}_4\) requires the conditions

$$\begin{aligned} (g_1a_0)^2+(g_2a_5)^2=1\quad \text {and}\quad g_1g_2a_0a_5=0\, . \end{aligned}$$
(67)

The second condition implies, for non-vanishing \(g_1\) and \(g_2\), either \(a_0=0\) or \(a_5=0\) for which the first condition gives \(g_2a_5=\pm 1\) or \(g_1a_0=\pm 1\), respectively. These two possibilities correspond respectively to the \(\alpha \)-twist and \(\beta \)-twist studied in [37], see also a discussion in [28].

For \(a_0=0\) and \(g_2a_5=\pm 1\), the condition (66) becomes a projector

$$\begin{aligned} i\gamma _{{\hat{\theta }}{\hat{\phi }}}\epsilon _i=\mp {(\sigma _1\otimes \sigma _1)_i}^j\epsilon _j\, . \end{aligned}$$
(68)

For \(a_5=0\) and \(g_1a_0=\pm 1\), we find

$$\begin{aligned} i\gamma _{{\hat{\theta }}{\hat{\phi }}}\epsilon _i=\pm {(\sigma _2\otimes \sigma _3)_i}^j\epsilon _j\, . \end{aligned}$$
(69)

It should be noted that we can make a definite sign choice for the twist condition and the \(\gamma _{{\hat{\theta }}{\hat{\phi }}}\) projector. The other possiblility can be obtained by changing the sign of \(a_0\) or \(a_5\) together with a sign change in the \(\gamma _{{\hat{\theta }}{\hat{\phi }}}\) projector. In the remaining part of this paper, we will choose the twist conditions and \(\gamma _{{\hat{\theta }}{\hat{\phi }}}\) projector with the upper sign.

For the \(U(1)\times U(1)_{\text {diag}}\) sector with the \(U(1)_{\text {diag}}\) being a diagonal subgroup of \(U(1)\times U(1)\subset SU(2)\times SU(2)\), we have five singlets from the vector multiplet scalars corresponding to the following non-compact generators of SO(5, 5)

$$\begin{aligned} {\hat{Y}}_1= & {} Y_{31}+Y_{42},\quad {\hat{Y}}_2=Y_{53},\quad {\hat{Y}}_3=Y_{32}-Y_{41},\nonumber \\ {\hat{Y}}_4= & {} Y_{54},\quad {\hat{Y}}_5=Y_{55} \end{aligned}$$
(70)

giving rise to the coset representative

$$\begin{aligned} \mathcal {V}=e^{\phi _1{\hat{Y}}_1}e^{\phi _2{\hat{Y}}_2}e^{\phi _3{\hat{Y}}_3}e^{\phi _4{\hat{Y}}_4}e^{\phi _5{\hat{Y}}_5}\, . \end{aligned}$$
(71)

The result of the analysis is the same as in the previous case but with an additional condition imposed on the flux parameters \(a_5\) and \(a_8\)

$$\begin{aligned} g_2a_5=g_3a_8 \end{aligned}$$
(72)

implementing the \(U(1)_{\text {diag}}\) gauge symmetry. It turns out that, in both cases, all two-form fields can be consistently set to zero provided that \(A^1\) and \(A^2\) vanish.

For the \(H^2\) case, we simply change \(\sin \theta \) to \(\sinh \theta \) in the metric (60) and take the gauge fields to be \(A^{\mathcal {M}}=a_{\mathcal {M}}\cosh \theta d\phi \). The twist procedure works as in the \(S^2\) case. However, due to the opposite sign in the covariant field strengths \(\mathcal {H}^{\mathcal {M}}=dA^{\mathcal {M}}\), the resulting BPS equations for the two cases are related to each other by a sign change in the twist parameters \(a_{\mathcal {M}}\).

3.2.1 Flow solutions with \(U(1)\times U(1)\times U(1)\) symmetry

With the coset representative (64), the scalar potential and the superpotential are given respectively by

$$\begin{aligned} V=-\frac{1}{2}\Sigma ^{-2}\left( g_2^2{-}2\sqrt{2}g_1g_2\Sigma ^3\cosh \varphi _1\cosh \varphi _2\cosh \varphi _3\right) \nonumber \\ \end{aligned}$$
(73)

and

$$\begin{aligned} W=\frac{1}{6}\Sigma ^{-1}\left( \sqrt{2}g_1\Sigma ^3-2g_2\cosh \varphi _1\cosh \varphi _2\cosh \varphi _3)\right. \nonumber \\ \end{aligned}$$
(74)

The scalar kinetic term reads

$$\begin{aligned} \mathcal {L}_{\text {kin}}= & {} -\frac{3}{2}\Sigma ^{-2}\Sigma '^2-\frac{1}{2}\cosh ^2\varphi _2\cosh ^2\varphi _3\varphi _1'^2\nonumber \\&-\frac{1}{2}\cosh ^2\varphi _3\varphi _2'^2-\frac{1}{2}\varphi _3'^2\, . \end{aligned}$$
(75)

The scalar potential can also be written in term of the superpotential as

$$\begin{aligned} V= & {} \frac{3}{2}\Sigma ^2\left( \frac{\partial W}{\partial \Sigma }\right) ^2+\frac{9}{2}\cosh ^{-2}\varphi _2\cosh ^{-2}\varphi _3\left( \frac{\partial W}{\partial \varphi _1}\right) ^2\nonumber \\&+\frac{9}{2}\cosh ^{-2}\varphi _3\left( \frac{\partial W}{\partial \varphi _2}\right) ^2+\frac{9}{2}\left( \frac{\partial W}{\partial \varphi _3}\right) ^2-6W^2\, . \end{aligned}$$
(76)

It can be easily checked that setting \(\varphi _2=\varphi _3=0\) is a consistent truncation. Moreover, the result with non-vanishing \(\varphi _2\) and \(\varphi _3\) is not significantly different from that with \(\varphi _2=\varphi _3=0\). Therefore, we will further simplify the computation by using this truncation and set \(\varphi _1=\varphi \).

We first consider the case with \(a_0=0\). By using the \(\gamma _{{\hat{r}}}\) projection (44) with the matrix \({I_i}^j\) given in (47), we find the following BPS equations

$$\begin{aligned} \varphi '= & {} \frac{1}{2}\Sigma ^{-1}e^{-\varphi -2g}[g_2e^{2g}(e^{2\varphi }-1)-\kappa \Sigma ^2(a_5-a_8)\nonumber \\&+\kappa (a_5+a_8)e^{2\varphi }],\end{aligned}$$
(77)
$$\begin{aligned} \Sigma '= & {} -\frac{1}{3}\left[ \sqrt{2}g_1\Sigma ^3 \right. \nonumber \\&\left. +g_2\cosh \varphi -\kappa e^{-2g}\Sigma ^2(a_5\cosh \varphi +a_8\sinh \varphi )\right] ,\end{aligned}$$
(78)
$$\begin{aligned} g'= & {} \frac{1}{6}\Sigma ^{-1}\left[ \sqrt{2}g_1\Sigma ^3-2g_2\cosh \varphi \right. \nonumber \\&\left. -\kappa 4e^{-2g}\Sigma ^2(a_5\cosh \varphi +a_8\sinh \varphi )\right] ,\end{aligned}$$
(79)
$$\begin{aligned} f'= & {} \frac{1}{6}\Sigma ^{-1}\left[ \sqrt{2}g_1\Sigma ^3 \right. \nonumber \\&\left. +2\kappa g_2\cosh \varphi +2\kappa e^{-2g}\Sigma ^2(a_5\cosh \varphi +a_8\sinh \varphi )\right] .\nonumber \\ \end{aligned}$$
(80)

The sign choices \(\kappa =+1\) and \(\kappa =-1\) correspond to \(\Sigma _2=S^2\) and \(\Sigma _2=H^2\), respectively. We will use this convention throughout the paper.

Fig. 1
figure 1

RG flows from \(N=4\) \(AdS_5\) critical point with \(U(1)\times SU(2)\times SU(2)\) symmetry to \(N=4\) \(AdS_3\times H^2\) geometries in the IR with \(g_1=1\) and \(\varphi _0=0\) (red), \(\varphi _0=0.5\) (blue) and \(\varphi _0=1\) (green)

The \(AdS_3\times \Sigma _2\) vacua are characterized by the conditions \(g'=\varphi '=\Sigma '=0\) and \(f'=\frac{1}{L_{AdS_3}}\). It turns out that the above equations admit any \(AdS_3\) solutions only for \(a_8=0\) and \(\kappa =-1\). In this case, we find that any constant value of \(\varphi \) leads to an \(AdS_3\times H^2\) solution of the form

$$\begin{aligned} \varphi= & {} \varphi _0,\quad \Sigma =-\left( \frac{\sqrt{2}g_2\cosh \varphi _0}{g_1}\right) ^{\frac{1}{3}},\nonumber \\ g= & {} \frac{1}{6}\ln \left[ \frac{2a_5\cosh ^2\varphi _0}{g_1^2g_2}\right] ,\quad L_{AdS_3}=\left( \frac{\sqrt{2}}{g_1g_2^2\cosh ^2\varphi _0}\right) ^{\frac{1}{3}}\nonumber \\ \end{aligned}$$
(81)

where \(\varphi _0\) is a constant. This solution preserves eight supercharges or \(N=4\) in three dimensions due to the \(\gamma _{{\hat{\theta }}{\hat{\phi }}}\) projector. On the other hand, the entire flow solution will preserve only four supercharges due to an additional \(\gamma _{{\hat{r}}}\) projector.

For \(\varphi _0=0\), the solution has \(U(1)\times U(1)\times SU(2)\) symmetry due to the vanishing \(A^8\) while the solution with \(\varphi _0\ne 0\) has smaller symmetry \(U(1)\times U(1)\times U(1)\). The resulting \(AdS_3\times H^2\) geometry should be dual to a two dimensional \(N=(2,2)\) SCFT with SU(2) or U(1) flavor symmetry depending on the value of \(\varphi _0\). An asymptotic analysis near the \(AdS_3\times H^2\) critical point shows that \(\varphi \) is dual to a marginal operator in the two-dimensional SCFT. The central charge of the dual SCFT can also be computed by [38]

$$\begin{aligned} c=\frac{3L_{AdS_3}}{2G_3}= \frac{3L_{AdS_3}\text {vol}(H^2)}{2G_5}e^{2g_0}=\frac{3\text {vol}(H^2) a_5^{\frac{1}{3}}}{\sqrt{2}g_1g_2G_5}\nonumber \\ \end{aligned}$$
(82)

which is independent of \(\varphi _0\). \(g_0\) is the value of g(r) at the \(AdS_3\) critical point. For \(H_2\) being a genus \({\mathfrak {g}}>1\) Riemann surface, we have \(\text {vol}(H^2)=4\pi ({\mathfrak {g}}-1)\).

Examples of numerical flow solutions interpolating between \(N=4\) supersymmetric \(AdS_5\) and \(N=4\) supersymmetric \(AdS_3\times H^2\) with different values of \(\varphi _0\) are given in Fig. 1. The solution with \(\varphi _0=0\) is effectively the same as that studied in [28] which is in turn obtained from the solutions in [30] by turning off the U(1) gauge field. In this case, the matter multiplets can be decoupled. Solutions with \(\varphi _0\ne 0\) are only possible in the matter-coupled gauged supergravity and have not previously appeared.

For the case of \(a_5=0\), we also find that the BPS conditions require \(a_8=0\). The resulting BPS equations read

$$\begin{aligned} \varphi '= & {} g_2\Sigma ^{-1}\sinh \varphi ,\end{aligned}$$
(83)
$$\begin{aligned} \Sigma '= & {} -\frac{\sqrt{2}}{3}\Sigma ^{-1}\left( \kappa a_0e^{-2g}+g_1\Sigma ^4\right) -\frac{1}{3}g_2\cosh \varphi ,\end{aligned}$$
(84)
$$\begin{aligned} g'= & {} \frac{1}{6}\Sigma ^{-2}\left( \sqrt{2}g_1\Sigma ^4-2g_2\Sigma \cosh \varphi -2\kappa \sqrt{2}a_0e^{-2g}\right) ,\end{aligned}$$
(85)
$$\begin{aligned} f'= & {} \frac{1}{6}\Sigma ^{-2}\left( \sqrt{2}g_1\Sigma ^4-2g_2\Sigma \cosh \varphi +\sqrt{2}\kappa a_0e^{-2g}\right) .\nonumber \\ \end{aligned}$$
(86)

Note also that the BPS equation for \(\varphi \) does not involve \(a_0\) since \(\varphi \) is neutral under \(A^0\). In this case, \(AdS_3\) vacua do not exist. For \(\varphi '=g'=0\), we find a singular behavior of \(\Sigma \) at a finite value of r

$$\begin{aligned} \Sigma \sim \frac{1}{\sqrt{\sqrt{2}g_1r-C}} \end{aligned}$$
(87)

for some contant C. This has also been pointed out in [28].

3.2.2 Flow solutions with \(U(1)\times U(1)_{\text {diag}}\) symmetry

In this case, there are five singlet scalars from \(SO(5,5)/SO(5)\times SO(5)\) coset with the coset representative given by (71). Together with \(\Sigma \), there are in total six singlet scalars, and the computation is much more complicated than the previous case. We will again make a truncation by setting \(\phi _4=\phi _5=0\) in the following analysis. The scalar potential with this truncation is given by

$$\begin{aligned}&V=\frac{1}{16}\Sigma ^{-2}\left[ 8\sqrt{2}g_1(g_2\cosh \phi _2-g_3\sinh \phi _2)+4(g_3^2-g_2^2) \right. \nonumber \\&\quad +g_2g_3\sinh (2\phi _2)(2\cosh ^2(2\phi _1)\cosh (4\phi _3)+\cosh (4\phi _1)-3)\nonumber \\&\quad +8\sqrt{2}g_1\cosh (2\phi _1)\cosh (2\phi _3)\Sigma ^3(g_2\cosh \phi _2+g_3\sinh \phi _2)\nonumber \\&\quad +(g_2^2+g_3^2)\cosh (2\phi _2)(\cosh ^2(2\phi _1)\cosh ^2(2\phi _3)-1)\nonumber \\&\quad \left. -4(g_2^2+g_3^2)\cosh (2\phi _1)\cosh (2\phi _3) \right] . \end{aligned}$$
(88)

This can be written in term of the superpotential as

$$\begin{aligned} V= & {} \frac{3}{2}\Sigma ^2\left( \frac{\partial W}{\partial \Sigma }\right) ^2+\frac{9}{4}\cosh ^{-2}(2\phi _3)\left( \frac{\partial W}{\partial \phi _1}\right) ^2\nonumber \\&+\frac{9}{2}\left( \frac{\partial W}{\partial \phi _2}\right) ^2+\frac{9}{4}\left( \frac{\partial W}{\partial \phi _3}\right) ^2-6W^2 \end{aligned}$$
(89)

where the superpotential in this case is given by

$$\begin{aligned} W= & {} \frac{1}{6}\Sigma ^{-1}\left[ \sqrt{2}g_1\Sigma ^3-g_2\cosh \phi _2+g_3\sinh \phi _2 \right. \nonumber \\&\left. -\cosh (2\phi _1)\cosh (2\phi _3)(g_2\cosh \phi _2+g_3\sinh \phi _2)\phantom {\sqrt{2}g_1\Sigma ^3}\right] .\nonumber \\ \end{aligned}$$
(90)

It can be verified that this superpotential admits two critical points given in Eqs. (34) and (36). When \(\phi _1=\phi _3=0\), this is the \(U(1)\times U(1)\times U(1)\) invariant sector. For \(\phi _3=0\) and \(\phi _1=\phi _2\), we reobtain the \(U(1)\times SU(2)_{\text {diag}}\) invariant scalars which admit the second \(N=4\) \(AdS_5\) critical point with \(U(1)\times SU(2)_{\text {diag}}\) symmetry.

We firstly consider the twist from \(A^0\) gauge field. For \(a_5=0\), the \(U(1)_{\text {diag}}\) symmetry also demands \(a_8=0\). The BPS equations for \(\phi _1\), \(\phi _2\) and \(\phi _3\) will not depend on the twist parameter \(a_0\) since they are not charged under \(A^0\). Therefore, the only possibility to have \(AdS_3\) vacua is to set these scalars to their values at the two \(AdS_5\) critical points. Setting all \(\phi _i=0\) for \(i=1,2,3\) dose not lead to any \(AdS_3\) solutions as in the previous case. The other choice namely \(\phi _3=0\) and \(\phi _1=\phi _2=\frac{1}{2}\ln \left[ \frac{g_3-g_2}{g_3+g_2}\right] \) does not give rise to any \(AdS_3\) vacua either. Therefore, we will not give the explicit form of the BPS equations in this case.

We now consider the twist from \(A^5\) and \(A^8\) gauge fields. In this case, we do find some \(AdS_3\) solutions. The BPS equations read

$$\begin{aligned} \phi _1'= & {} \frac{1}{2}\Sigma ^{-1}\text {sech}(2\phi _3)\sinh (2\phi _1)(g_2\cosh \phi _2+g_3\sinh \phi _2),\nonumber \\ \end{aligned}$$
(91)
$$\begin{aligned} \phi _2'= & {} \frac{1}{2}\Sigma ^{-1}\left[ \phantom {\left. -2\kappa \Sigma ^2e^{-2g}(a_8\cosh \phi _2+a_5\sinh \phi _2) +g_2\sinh \phi _2\right] }\cosh (2\phi _1)\cosh (2\phi _3)(g_3\cosh \phi _2\right. \nonumber \\&+g_2\sinh \phi _2)-g_3\sinh \phi _2 -2\kappa \Sigma ^2e^{-2g}(a_8\cosh \phi _2\nonumber \\&\left. +a_5\sinh \phi _2) +g_2\sinh \phi _2\right] , \end{aligned}$$
(92)
$$\begin{aligned} \phi _3'= & {} \frac{1}{2}\Sigma ^{-1}\cosh (2\phi _1)\sinh (2\phi _3)(g_2\cosh \phi _2+g_3\sinh \phi _2),\nonumber \\ \end{aligned}$$
(93)
$$\begin{aligned} \Sigma '= & {} \frac{1}{6}\left[ g_3\sinh \phi _2 -\cosh (2\phi _2)\cosh (2\phi _3)(g_2\cosh \phi _2\right. \nonumber \\&+g_3\sinh \phi _2) -2\kappa e^{-2g}\Sigma ^2(a_5\cosh \phi _2\nonumber \\&\left. +a_8\sinh \phi _2)-2\sqrt{2}\Sigma ^3\right. \left. -g_2\cosh \phi _2\right] , \end{aligned}$$
(94)
$$\begin{aligned} g'= & {} \frac{1}{6}\Sigma ^{-1}\left[ \phantom {\left. +\sqrt{2}g_1\Sigma ^3\right] }g_3\sinh \phi _2-\cosh (2\phi _1)\cosh (2\phi _3)(g_2\cosh \phi _2\right. \nonumber \\&+g_3\sinh \phi _2) -g_2\cosh \phi _2+4\kappa e^{-2g}\Sigma ^2(a_5\cosh \phi _2\nonumber \\&\left. +a_8\sinh \phi _2)\right. \left. +\sqrt{2}g_1\Sigma ^3\right] , \end{aligned}$$
(95)
$$\begin{aligned} f'= & {} \frac{1}{6}\Sigma ^{-1}\left[ \phantom {\left. +\sqrt{2}g_1\Sigma ^3\right] }g_3\sinh \phi _2-\cosh (2\phi _1)\cosh (2\phi _3)(g_2\cosh \phi _2\right. \nonumber \\&+g_3\sinh \phi _2) -g_2\cosh \phi _2-2\kappa e^{-2g}\Sigma ^2(a_5\cosh \phi _2\nonumber \\&\left. +a_8\sinh \phi _2)\right. \left. +\sqrt{2}g_1\Sigma ^3\right] \end{aligned}$$
(96)

for which there is a relation \(g_2a_5=g_3a_8\) to be imposed.

Fig. 2
figure 2

An RG flow between \(N=4\) \(AdS_5\) vacuum with \(U(1)\times SU(2)\times SU(2)\) symmetry and \(N=4\) \(AdS_3\times H^2\) vacuum with \(U(1)\times U(1)_{\text {diag}}\) symmetry in (97) for \(g_1=1\)

We find that these equations admit \(AdS_3\times \Sigma _2\) solutions only for \(\kappa =-1\). The \(AdS_3\times H^2\) solutions are given as follow.

  • I. The simplest solution is obtained by setting \(\phi _i=0\), \(i=1,2,3\) and

    $$\begin{aligned} \Sigma= & {} -\left( \frac{\sqrt{2}g_2}{g_1}\right) ^{\frac{1}{3}},\quad g=\frac{1}{6}\ln \left[ \frac{2a_5}{g_1^2g_2}\right] ,\nonumber \\ L_{AdS_3}= & {} \left( \frac{\sqrt{2}}{g_1g_2^2}\right) ^{\frac{1}{3}}\, . \end{aligned}$$
    (97)
  • II. One of the \(AdS_3\times H^2\) solutions with vector multiplet scalars non-vanishing is given by

    $$\begin{aligned} \phi _1= & {} \phi _2=\frac{1}{2}\ln \left[ \frac{g_3-g_2}{g_3+g_2}\right] ,\quad \phi _3=0,\nonumber \\ \Sigma ^3= & {} -\frac{\sqrt{2}g_2g_3}{g_1\sqrt{g_3^2-g_2^2}},\nonumber \\ g= & {} \frac{1}{6}\ln \left[ \frac{a_5^3(g_3^2-g_2^2)^2}{g_1^2g_2g_3^4}\right] ,\nonumber \\ L_{AdS_3}= & {} \left( \frac{\sqrt{2}(g_3^2-g_2^2)}{g_1g_2^2g_3^2}\right) ^{\frac{1}{3}}\, . \end{aligned}$$
    (98)
  • III. There is another \(AdS_3\times H^2\) solution located at

    $$\begin{aligned} \phi _1= & {} 0,\quad \phi _2=\phi _3=\frac{1}{2}\ln \left[ \frac{g_3-g_2}{g_3+g_2}\right] ,\nonumber \\ \Sigma ^3= & {} -\frac{\sqrt{2}g_2g_3}{g_1\sqrt{g_3^2-g_2^2}},\nonumber \\ g= & {} \frac{1}{6}\ln \left[ \frac{2a_5^3(g_3^2-g_2^2)^2}{g_1^2g_2g_3^4}\right] ,\nonumber \\ L_{AdS_3}= & {} \left( \frac{\sqrt{2}(g_3^2-g_2^2)}{g_1g_2^2g_3^2}\right) ^{\frac{1}{3}}\, . \end{aligned}$$
    (99)

All of these solutions preserve eight supercharges corresponding to \(N=4\) supersymmetry in three dimensions or equivalently \(N=(2,2)\) in the dual two dimensional SCFTs. It should also be noted that critical points II and III appear to be related by a permutation of \(\phi _i\). However, the solution with \(\phi _2=0\) does not exist since this also requires \(\phi _1=\phi _3=0\) and \(a_8=a_5=0\).

The next step is to find RG flow solutions interpolating between \(N=4\) supersymmetric \(AdS_5\) critical points and the above \(AdS_3\times H^2\) geometries. We first consider a simple case of the flow to \(AdS_3\times H^2\) critical point I with \(\phi _1=\phi _2=\phi _3=0\). The BPS equations simplify considerably to

$$\begin{aligned} \Sigma '= & {} -\frac{1}{3}\left( \sqrt{2}g_1\Sigma ^3+g_2-a_5e^{-2g}\Sigma ^2\right) ,\end{aligned}$$
(100)
$$\begin{aligned} g'= & {} \frac{1}{6}\Sigma ^{-1}\left( \sqrt{2}g_1\Sigma ^3-2g_2-4a_5e^{-2g}\Sigma ^2\right) ,\end{aligned}$$
(101)
$$\begin{aligned} f'= & {} \frac{1}{6}\Sigma ^{-1}\left( \sqrt{2}g_1\Sigma ^3-2g_2+2a_5e^{-2g}\Sigma ^2\right) . \end{aligned}$$
(102)

We can partially solve these equations analytically and find a relation between solutions of g and \(\Sigma \) of the form

$$\begin{aligned} 2a_5g+4a_5\ln \Sigma =e^{2g}\Sigma ^{-2}(g_2+\sqrt{2}g_1\Sigma ^3). \end{aligned}$$
(103)

However, the complete solutions can only be found numerically. In this case, the solutions reduce to the universal flows across dimensions considered in [28]. An example of these solutions is given in Fig. 2.

Fig. 3
figure 3

An RG flow from \(AdS_5\) critical point with \(U(1)\times SU(2)\times SU(2)\) symmetry to \(AdS_3\times H^2\) critical point II for \(g_1=1\) and \(g_3=2g_1\)

Fig. 4
figure 4

An RG flow from \(AdS_5\) critical point with \(U(1)\times SU(2)\times SU(2)\) symmetry to \(AdS_5\) critical point with \(U(1)\times SU(2)_{\text {diag}}\) symmetry and finally to \(AdS_3\times H^2\) critical point II for \(g_1=1\) and \(g_3=2g_1\)

\(AdS_3\times H^2\) critical point II is more interesting in the sense that it can be connected to both of the \(N=4\) \(AdS_5\) vacua. In order to obtain RG flow solutions, we set \(\phi _3=0\) which is a consistent truncation. An example of flows from \(AdS_5\) with \(U(1)\times SU(2)\times SU(2)\) symmetry to \(AdS_3\times H^2\) critical point II is given in Fig. 3. With suitable boundary conditions, we can find a solution that flows from \(AdS_5\) with \(U(1)\times SU(2)\times SU(2)\) symmetry and approaches \(AdS_5\) with \(U(1)\times SU(2)_{\text {diag}}\) symmetry before reaching the \(AdS_3\times H^2\) critical point II. A solution of this type is shown in Fig. 4.

Similarly, we can set \(\phi _1=0\) and find a numerical solution interpolating between \(AdS_5\) vacuum with \(U(1)\times SU(2)\times SU(2)\) symmetry and \(AdS_3\times H^2\) critical point III. The result is shown in Fig. 5. We have also verified that all of these solutions satisfy the corresponding field equations.

Fig. 5
figure 5

An RG flow from \(AdS_5\) critical point with \(U(1)\times SU(2)\times SU(2)\) symmetry to \(AdS_3\times H^2\) critical point III for \(g_1=1\) and \(g_3=2g_1\)

4 Supersymmetric RG flows in \(U(1)\times SO(3,1)\) gauge group

In this section, we consider a non-compact gauge group \(U(1)\times SO(3,1)\) with the embedding tensor

$$\begin{aligned} \xi ^{MN}= & {} g_1(\delta ^M_2\delta ^N_1-\delta ^M_1\delta ^N_2), \end{aligned}$$
(104)
$$\begin{aligned} f_{345}= & {} f_{378} = -f_{468} = -f_{567} = -g_2\, . \end{aligned}$$
(105)

At the vacuum, the \(U(1)\times SO(3,1)\) gauge group will be broken down to it maximal compact subgroup \(U(1)\times SO(3)\subset U(1)\times SO(3,1)\). Under this unbroken symmetry, there is one scalar singlet from \(SO(5,5)/SO(5)\times SO(5)\) corresponding to the non-compact generator

$$\begin{aligned} Y = Y_{31} +Y_{42} - Y_{53}\, . \end{aligned}$$
(106)

With the usual parametrization of the coset representative of the form

$$\begin{aligned} L = e^{\phi Y}, \end{aligned}$$
(107)

the scalar potential is given by

$$\begin{aligned} V= & {} \frac{1}{16} \Sigma ^{-2}e^{-6 \phi } g_2 \left[ \left( 1{+}3 e^{4 \phi }{-}16 e^{6 \phi }{+}3 e^{8 \phi }{+}e^{12 \phi }\right) g_2\phantom {\sqrt{2}}\right. \nonumber \\&\left. -4 \sqrt{2} e^{3 \phi } \left( 1-3 e^{2 \phi }-3 e^{4 \phi }+e^{6 \phi }\right) g_1 \Sigma ^3\right] . \end{aligned}$$
(108)

This potential admits only one \(N=4\) supersymmetric \(AdS_5\) vacuum due to the absence of flavor symmetry in the dual \(N=2\) SCFT in agreement with the result of [11]. This critical point is located at

$$\begin{aligned} \phi = 0 \quad \text {and}\quad \Sigma =-\left( \frac{g_2}{\sqrt{2}g_1}\right) ^{1/3}\, . \end{aligned}$$
(109)

As in the \(U(1)\times SU(2)\times SU(2)\) gauge group, we can rescale \(\Sigma \) such that \(\Sigma =1\) at the \(AdS_5\) vacuum. Equivalently, we can choose the value of \(g_2\) to be \(g_2=-\sqrt{2}g_1\). With this choice, the cosmological constant and \(AdS_5\) radius are given by

$$\begin{aligned} V_0 = -3g_1^2\quad \text {and}\quad L^2 = -\frac{6}{V_0} = \frac{2}{g^2_1}\, . \end{aligned}$$
(110)

Scalar masses at this vacuum are given in Table 3. The spectrum is the same as that of the \(N=4\) \(AdS_5\) with \(U(1)\times SU(2)_{\text {diag}}\) symmetry in the compact gauge group. Massless scalars in \({\mathbf {3}}_0\) representation are Goldstone bosons of the symmetry breaking \(SO(3,1)\rightarrow SO(3)\).

Table 3 Scalar masses at the \(N=4\) supersymmetric \(AdS_5\) critical point with \(U(1)\times SO(3)\) symmetry and the corresponding dimensions of the dual operators for the non-compact \(U(1)\times SO(3,1)\) gauge group

4.1 BPS equations and holographic RG flow solutions

Since there is only one supersymmetric \(AdS_5\) critical point, supersymmetric RG flows between \(AdS_5\) critical points do not exist. We will look for solution describing a domain wall with one limit being the \(AdS_5\) critical point identified above and another limit being a singular geometry dual to an \(N=2\) non-conformal field theory.

With the same procedure as before, the superpotential in this case reads

$$\begin{aligned} W = \frac{e^{-3 \phi } \left( 1-3 e^{2 \phi }-3 e^{4 \phi }+e^{6 \phi }\right) g_2+2 \sqrt{2} g_1 \Sigma ^3}{12 \Sigma }\, .\nonumber \\ \end{aligned}$$
(111)

It can be easily verified that W has only one critical point. The potential can be written in term of the superpotential as

$$\begin{aligned} V = \frac{3}{2}\left[ \Sigma ^2\left( \frac{\partial W}{\partial \Sigma }\right) ^2 + \left( \frac{\partial W}{\partial \phi }\right) ^2\right] - 6W^2\, . \end{aligned}$$
(112)

The BPS equations for this gauge group are given by

$$\begin{aligned} \phi '= & {} -\left( \frac{\partial W}{\partial \phi }\right) =\frac{e^{-3 \phi } \left( e^{2 \phi }-e^{4 \phi }+e^{6 \phi }-1\right) g_2}{4 \Sigma },\nonumber \\ \Sigma '= & {} -\Sigma ^2 \left( \frac{\partial W}{\partial \Sigma }\right) =\frac{1}{12} e^{-3 \phi }\nonumber \\&\times \left[ 4 \sqrt{2} e^{3 \phi } g_1 \Sigma ^3-\left( 1-3 e^{2 \phi }-3 e^{4 \phi }+e^{6 \phi }\right) g_2\right] ,\nonumber \\ A'= & {} W = \frac{e^{-3 \phi } \left( 1-3 e^{2 \phi }-3 e^{4 \phi }+e^{6 \phi }\right) g_2+2 \sqrt{2} g_1 \Sigma ^3}{12 \Sigma }\, .\nonumber \\ \end{aligned}$$
(113)

By combining these equations, the flow equations for the warp factor A and the dilaton \(\Sigma \) can be written as

$$\begin{aligned} \Sigma '(\phi )= & {} \frac{\Sigma \left[ 4 \sqrt{2} e^{3 \phi } g_1 \Sigma ^3-g_2\left( 1-3 e^{2 \phi }{-}3 e^{4 \phi }{+}e^{6 \phi }\right) \right] }{3g_2 \left( e^{2 \phi }{-}e^{4 \phi }+e^{6 \phi }-1\right) }, \end{aligned}$$
(114)
$$\begin{aligned} A'(\phi )= & {} -\frac{\left( 1-3 e^{2 \phi }-3 e^{4 \phi }+e^{6 \phi }\right) g_2+2 \sqrt{2} e^{3 \phi } g_1 \Sigma ^3}{3 \left( e^{2 \phi }-e^{4 \phi }+e^{6 \phi }-1\right) g_2}\, .\nonumber \\ \end{aligned}$$
(115)

The solution for \(\Sigma \) can be readily obtained

$$\begin{aligned} \Sigma = -\left[ g_2\frac{e^{\phi } \left( e^{2 \phi }-1\right) }{g_2 C_1(1+e^{4 \phi })-\sqrt{2} g_1}\right] ^{1/3}\, . \end{aligned}$$
(116)

To make the flow approach the \(AdS_5\) critical point, we choose the constant \(C_1\) to be \(C_1 = \frac{g_1}{\sqrt{2}g_2}\). This leads to

$$\begin{aligned} \Sigma = -\left[ \frac{\sqrt{2} g_2\,e^\phi }{g_1(1+ e^{2\phi })} \right] ^{1/3} \end{aligned}$$
(117)

which clearly gives \(\Sigma =-\left( \frac{g_2}{\sqrt{2}g_1}\right) ^{1/3}\) for \(\phi =0\).

With the solution for \(\Sigma (\phi )\), the solution for A can be straightforwardly obtained. The result is

$$\begin{aligned} A= & {} \frac{1}{6} \left[ 2 \phi +3 \ln \left( 1-e^{2 \phi }\right) \right. \nonumber \\&+\left. \ln \left( 1+e^{2 \phi }\right) -3 \ln \left( 1+e^{4 \phi }\right) \right] . \end{aligned}$$
(118)

Finally, by redefining the radial coordinate r to \(\rho \) via \(\frac{d\rho }{dr} = \Sigma ^{-1}\), we find the solution for \(\phi (\rho )\)

$$\begin{aligned} 2g_2\rho= & {} 2 \ln \left( 1-e^{\phi }\right) -2 \ln \left( 1+e^{\phi }\right) \nonumber \\&+\sqrt{2} \left[ \ln \left( \sqrt{2} e^{\phi }{+}e^{2 \phi }{+}1\right) {-}\ln \left( \sqrt{2} e^{\phi }{-}e^{2 \phi }-1\right) \right] \nonumber \\ \end{aligned}$$
(119)

where an additive integration constant has been discarded.

As \(r\rightarrow \infty \), we find

$$\begin{aligned} \Sigma \sim e^{-\frac{2r}{L}}\quad \text {and}\quad \phi \sim e^{\frac{2r}{L}}\, . \end{aligned}$$
(120)

The operator dual to \(\phi \) is irrelevant as indicated by the value of \(m^2L^2=12\) in Table 3. From the solution (119), \(\phi \rightarrow \pm \infty \) at a finite value of \(\rho \). Explicitly, we find that, as \(\phi \rightarrow \pm \infty \),

$$\begin{aligned} \phi \sim \frac{1}{3}\ln \left[ C+\frac{3g_2\rho }{4}\right] \quad \text {and}\quad \phi \sim -\ln \left[ C-\frac{g_1\rho }{2}\right] \nonumber \\ \end{aligned}$$
(121)

for some constant C. In both cases, \(\Sigma \rightarrow 0\) and \(V\rightarrow \infty \). As a result, these singularities are unphysical by the criterion of [39].

4.2 RG flows to \(AdS_3\times \Sigma _2\) geometries

We now restrict ourselves to scalars which are invariant under \(SO(2)\subset SO(3)\subset SO(3,1)\) whose generator is \({(T_5)_M}^N={f_{5M}}^N\). There are in total five singlets from \(SO(5,5)/SO(5)\times SO(5)\). However, as in the case of \(U(1)\times SU(2)\times SU(2)\) gauge group, we can truncate this set to just three singlets corresponding to the following non-compact generators

$$\begin{aligned} {\tilde{Y}}_1 = Y_{31} + Y_{42}, \quad {\tilde{Y}}_2 = Y_{32}-Y_{41}, \quad {\tilde{Y}}_3 = Y_{53}\, . \end{aligned}$$
(122)

The coset representative is given by

$$\begin{aligned} L = e^{\phi _1 {\tilde{Y}}_1}e^{\phi _2 {\tilde{Y}}_2}e^{\phi _3 {\tilde{Y}}_3}, \end{aligned}$$
(123)

and the potential reads

$$\begin{aligned} V= & {} \frac{1}{16} \Sigma ^{-2}\left[ g^2_2 \left[ \cosh (4 \phi _1-2 \phi _3)+\cosh (4 \phi _1+2\phi _3)\right. \phantom {\sqrt{2}} \right. \nonumber \\&\left. +\cosh (2 \phi _3) \left( 6+4 \cosh (4 \phi _2) \sinh ^2(2 \phi _1)\right) \right] \nonumber \\&\left. -16g_2^2 +16 \Sigma ^3\sqrt{2} g_1 g_2\left[ \cosh \phi _3\right. \right. \nonumber \\&\left. \left. +\cosh (2 \phi _2) \sinh (2 \phi _1) \sinh (\phi _3)\right] \right] \end{aligned}$$
(124)
Fig. 6
figure 6

An RG flow from \(N=4\) \(AdS_5\) critical point with \(U(1)\times SO(3)\) symmetry to \(AdS_3\times H^2\) geometry in the IR from \(U(1)\times SO(3,1)\) gauge group and \(g_1=1\)

which admits only a single supersymmetric critical point at which all vector multiplet scalars vanish.

The metric ansatz is still given by (60). We will consider the twists obtained from turning on \(U(1)\times U(1)\subset U(1)\times SO(3,1)\) gauge fields along \(\Sigma _2\). These gauge fields will be denoted by \(A^0\) and \(A^5\). As in the previous section, the twists from \(A^0\) and \(A^5\) cannot be turned on simultaneously. Furthermore, the \(A^0\) twist does not lead to \(AdS_3\times \Sigma _2\) solutions. We will therefore consider only the twist from \(A^5\). It turns out that the two-form fields can also be consistently set to zero provided that we set the gauge fields \(A^1=A^2=0\).

With the same ansatz as in (63), together with the projectors (44) and (68), we find the following BPS equations after using the twist condition \(g_2a_5=1\)

$$\begin{aligned} f'= & {} -\frac{1}{24 \Sigma }e^{-2 \phi _1-2 \phi _2-\phi _3-2 g} \left[ e^{2 g} \left( 1-e^{4 \phi _1}+e^{4 \phi _2}\right. \right. \nonumber \\&+\,4 e^{2 (\phi _1+\phi _2)}-e^{4 (\phi _1+\phi _2)}-e^{2 \phi _3} \nonumber \\&\left. \left. +\,4 e^{2 (\phi _1+\phi _2+\phi _3)}+e^{4 \phi _1+2 \phi _3}-e^{4 \phi _2+2 \phi _3} \right. \right. \nonumber \\&\left. +\,e^{4 \phi _1+4 \phi _2+2 \phi _3}\right) g_2 -4\kappa a_5 e^{2 (\phi _1+\phi _2)} \left( 1+e^{2 \phi _3}\right) \Sigma ^2 \nonumber \\&\left. -\,4 \sqrt{2} e^{2 \phi _1+2 \phi _2+\phi _3+2 g} g_1 \Sigma ^3\right] , \end{aligned}$$
(125)
$$\begin{aligned} g'= & {} -\frac{1}{24 \Sigma }e^{-2 \phi _1-2 \phi _2-\phi _3-2 g} \left[ e^{2 g} \left( 1-e^{4 \phi _1}+e^{4 \phi _2}\right. \right. \nonumber \\&+\,4 e^{2 (\phi _1+\phi _2)}-e^{4 (\phi _1+\phi _2)}-e^{2 \phi _3}\nonumber \\&\left. \left. +\,4 e^{2 (\phi _1+\phi _2+\phi _3)}+e^{4 \phi _1+2 \phi _3}-e^{4 \phi _2+2 \phi _3} \right. \right. \nonumber \\&\left. \left. +\,e^{4 \phi _1+4 \phi _2+2 \phi _3}\right) g_2 +8\kappa a_5 e^{2 (\phi _1+\phi _2)} \left( 1+e^{2 \phi _3}\right) \Sigma ^2 \right. \nonumber \\&\left. -\, 4 \sqrt{2} e^{2 \phi _1+2 \phi _2+\phi _3+2 g} g_1 \Sigma ^3\right] , \end{aligned}$$
(126)
$$\begin{aligned} \Sigma '= & {} -\frac{1}{24} e^{-2 \phi _1-2 \phi _2-\phi _3-2 g} \left[ e^{2 g} \left( 1-e^{4 \phi _1}+e^{4 \phi _2}\right. \right. \nonumber \\&+\,4 e^{2 (\phi _1+\phi _2)}-e^{4 (\phi _1+\phi _2)}-e^{2 \phi _3} \nonumber \\&\left. \left. +\,4 e^{2 (\phi _1+\phi _2+\phi _3)}+e^{4 \phi _1+2 \phi _3}-e^{4 \phi _2+2 \phi _3}\right. \right. \nonumber \\&\left. \left. +\,e^{4 \phi _1+4 \phi _2+2 \phi _3}\right) g_2 -4\kappa a_5 e^{2 (\phi _1+\phi _2)} \left( 1+e^{2 \phi _3}\right) \Sigma ^2 \right. \nonumber \\&\left. +\, 8 \sqrt{2} e^{2 \phi _1+2 \phi _2+\phi _3+2 g} g_1 \Sigma ^3\right] , \end{aligned}$$
(127)
$$\begin{aligned} \phi _1'= & {} \frac{e^{-2 \phi _1+2 \phi _2-\phi _3} \left( 1+e^{4 \phi _1}\right) \left( e^{2 \phi _3}-1\right) g_2}{2 \left( 1+e^{4 \phi _2}\right) \Sigma }, \end{aligned}$$
(128)
$$\begin{aligned} \phi _2'= & {} \frac{e^{-2 \phi _1-2 \phi _2-\phi _3} \left( e^{4 \phi _1}-1\right) \left( e^{4 \phi _2}-1\right) \left( e^{2 \phi _3}-1\right) g_2}{8 \Sigma }, \nonumber \\ \end{aligned}$$
(129)
$$\begin{aligned} \phi _3'= & {} \frac{1}{8 \Sigma }e^{-2 \phi _1-2 \phi _2-\phi _3-2 g} \left[ e^{2 g} \left( e^{4 \phi _1}-e^{4 \phi _2}\right. \right. \nonumber \\&-\,4 e^{2 (\phi _1+\phi _2)}+e^{4 (\phi _1+\phi _2)}-e^{2 \phi _3}-1 \nonumber \\&\left. +\,4 e^{2 (\phi _1+\phi _2+\phi _3)}+e^{4 \phi _1+2 \phi _3}-e^{4 \phi _2+2 \phi _3}\right. \nonumber \\&\left. \left. +\,e^{4 \phi _1+4 \phi _2+2 \phi _3}\right) g_2+4\kappa a_5 e^{2 (\phi _1+\phi _2)} \left( e^{2 \phi _3}-1\right) \Sigma ^2\right] .\nonumber \\ \end{aligned}$$
(130)

Unlike the compact gauge group considered in the previous section, the above equations admit only one \(AdS_3\times H^2\) solution given by

$$\begin{aligned} \phi _1= & {} \phi _2 = \phi _3 = 0, \quad \Sigma = -\left( \frac{\sqrt{2}\,g_2}{g_1}\right) ^{1/3}, \nonumber \\ g= & {} -\frac{1}{2}\ln \left[ \frac{1}{a_5}\left( \frac{g^2_1 g_2}{2}\right) ^{1/3}\right] ,\quad L_{AdS_3} = \left( \frac{\sqrt{2}}{g_1 g_2^2}\right) ^{1/3} \, .\nonumber \\ \end{aligned}$$
(131)

To find an RG flow solution interpolating between this \(AdS_3\times H^2\) and the \(AdS_5\) critical point (109), we can consistently set all \(\phi _i\), \(i=1,2,3\), to zero and \(\kappa =-1\). The remaining BPS equations read

$$\begin{aligned} f'= & {} -\frac{2 g_2+2 a_5 e^{-2 g} \Sigma ^2-\sqrt{2} g_1 \Sigma ^3}{6 \Sigma }, \nonumber \\ g'= & {} -\frac{2 g_2-4 a_5 e^{-2 g} \Sigma ^2-\sqrt{2} g_1 \Sigma ^3}{6 \Sigma }, \nonumber \\ \Sigma '= & {} -\frac{1}{3} \left( g_2+a_5 e^{-2 g} \Sigma ^2+\sqrt{2} g_1 \Sigma ^3\right) . \end{aligned}$$
(132)

A numerical solution to these equations is shown in Fig. 6. Similar to an analogous solution in the compact gauge group, this solution is the same as the universal RG flow considered in [28] since it does not involve scalars from vector multiplets.

5 Conclusions and discussions

We have studied gauged \(N=4\) supergravity in five dimensions coupled to five vector multiplets with compact and non-compact gauge groups \(U(1)\times SU(2)\times SU(2)\) and \(U(1)\times SO(3,1)\). For \(U(1)\times SU(2)\times SU(2)\) gauge group, we have recovered two supersymmetric \(N=4\) \(AdS_5\) vacua with \(U(1)\times SU(2)\times SU(2)\) and \(U(1)\times SU(2)_{\text {diag}}\) symmetries together with the RG flow interpolating between them found in [11]. However, we have also given the full mass spectra for scalar fields at both critical points which have not been studied in [11]. These should be useful in the holographic context since it provides information about dimensions of operators dual to the supergravity scalars. For \(U(1)\times SO(3,1)\) gauge group, there is only one \(N=4\) supersymmetric \(AdS_5\) critical point with vanishing vector multiplet scalars. We have given an RG flow solution from an \(N=2\) SCFT dual to this vacuum to a non-conformal field theory dual to a singular geometry. However, this singularity is unphysical within the framework of \(N=4\) gauged supergravity. It would be interesting to embed this solution in ten or eleven dimensions and further investigate whether this singularity is resolved or has any physical interpretation in the context of string/M-theory.

We have also considered \(AdS_3\times \Sigma _2\) solutions by turning on gauge fields along \(\Sigma _2\). We have found that in order to preserve eight supercharges, the twists from the U(1) factor in the gauge group and the Cartan \(U(1)\subset SU(2)\), denoted by the parameters \(a_0\) and \(a_5\), cannot be performed simultaneously. It should also be noted that for less supersymmetric solutions, both \(a_0\) and \(a_5\) can be non-vanishing such as \(\frac{1}{4}\)-BPS solutions found in [30] for pure \(N=4\) gauged supergravity with \(U(1)\times SU(2)\) gauge group. It would also be interesting to look for more general solutions of this type.

For \(U(1)\times SU(2)\times SU(2)\) gauge group, we have identified a number of \(AdS_3\times H^2\) solutions preserving eight supercharges. We have given numerical RG flow solutions from the two \(AdS_5\) vacua to these \(AdS_3\times H^2\) geometries. For \(U(1)\times SO(3,1)\) gauge group, there is one \(AdS_3\times H^2\) solution when all scalars from vector multiplets vanish. The solution preserves eight supercharges similar to the solutions in the compact gauge group. A numerical RG flow between this solution and the \(N=4\) \(AdS_5\) vacuum has also been given. All of these solutions describe twisted compactifications of \(N=2\) SCFTs on \(H^2\) and should be of interest in holographic studies of \(N=2\) SCFTs in four dimensions and in the context of supersymmetric black strings. It is noteworthy that the space of \(AdS_5\) and \(AdS_3\) solutions in the compact gauge group is much richer than that of the non-compact gauge group. This is in line with similar studies of half-maximal gauged supergravities in other dimensions.

There are a number of future works extending our results presented here. It is interesting to consider flow solutions with non-vanishing two-form fields similar to the recently found solutions in seven and six dimensions in [40,41,42]. These solutions will also give a description of conformal defects in the dual \(N=2\) SCFTs. Furthermore, finding Janus solution within this \(N=4\) gauged supergravity is also of particular interest. This can be done by an analysis similar to that initiated in [43] and [44]. Up to now, this type of solutions has only appeared in \(N=8\) and \(N=2\) gauged supergravities, see for example [45, 46].