1 Introduction

Black branes of different spatial dimensions play an important role in the develoment of string/M-theory. They lead to many insightful results such as the construction of gauge theories in various dimensions and the celebrated AdS/CFT correspondence [1]. According to the latter, black branes in asymptotically AdS spaces are of particular interest since they are dual to RG flows across dimensions from superconformal field theories (SCFTs) dual to the asymptotically AdS spaces to lower-dimensional fixed points dual to the near horizon geometries [2]. Recently, a new approach for computing microscopic entropy of \(AdS_4\) balck holes has been introduced based on twisted partition functions of three-dimensional SCFTs [3,4,5,6,7,8,9,10,11]. This has also been applied to AdS black holes in other dimensions [12,13,14,15,16,17,18].

In this paper, we are interested in supersymmetric black holes and black strings in asymptocally \(AdS_5\) spaces from five-dimensional \(N=4\) gauged supergravity coupled to vector multiplets constructed in [19, 20] using the embedding tensor formalism [21,22,23]. These solutions have near horizon geometries of the forms \(AdS_2\times \Sigma _3\) and \(AdS_3\times \Sigma _2\), respectively. We will consider \(\Sigma _3\) in the form of a three-sphere (\(S^3\)) and a three-dimensional hyperbolic space (\(H^3\)). Similarly, \(\Sigma _2\) will be given by a two-sphere (\(S^2\)) and a two-dimensional hyperbolic space (\(H^2\)), or a Riemann surface of genus \(\mathfrak {g}>1\). Similar solutions have previously been found in minimal and maximal gauged supergravities, see for example [24,25,26,27,28,29,30,31,32]. This type of solutions has also appeared in pure \(N=4\) gauged supergravity in [33], and recently, half-supersymmetric black strings with hyperbolic horizons have been found in matter-coupled \(N=4\) gauged supergravity with compact \(U(1)\times SU(2)\times SU(2)\) and non-compact \(U(1)\times SO(3,1)\) gauge groups [34].

We will look for more general solutions of \(AdS_5\) black strings with both hyperbolic and spherical horizons and preserving \(\frac{1}{4}\) of the \(N=4\) supersymmetry in five dimensions. The solutions interpolate between \(N=4\) supersymmetric \(AdS_5\) vacua of the gauged supergravity and near horizon geometries of the form \(AdS_3\times \Sigma _2\). In addition, we will look for supersymmetric black holes interpolating between \(AdS_5\) vacua and near horizon geometries \(AdS_2\times \Sigma _3\). According to the AdS/CFT correspondence, these solutions describe RG flows across dimensions from the dual \(N=2\) SCFTs to two- and one-dimensional SCFTs in the IR. The IR SCFTs are obtained via twisted compactifications of \(N=2\) SCFTs in four dimensions. Many solutions of this type have been found in various space-time dimensions, see [35,36,37,38,39,40,41,42,43,44,45,46,47] for an incomplete list.

We mainly consider \(N=4\) gauged supergravity coupled to five vector multiplets with gauge groups entirely embedded in the global symmetry SO(5, 5). We will also restrict ourselves to gauge groups that lead to supersymmetric \(AdS_5\) vacua. These gauge groups have been shown in [48] to take the form of \(U(1)\times H_0\times H\) with the U(1) gauged by the graviphoton that is a singlet under \(USp(4)\sim SO(5)\) R-symmetry. The \(H\subset SO(n+3-\text {dim}\, H_0)\) is a compact group gauged by vector fields in the vector multiplets, and \(H_0\) is a non-compact group gauged by three of the graviphotons and \(\text {dim}\, H_0-3\) vectors from the vector multiplets. The remaining two graviphotons in the fundamental representation of SO(5) are dualized to massive two-form fields. In addition, \(H_0\) must contain an SU(2) subgroup. For the case of five vector multiplets, possible gauge groups that admit supersymmetric \(AdS_5\) vacua and can be embedded in SO(5, 5) are \(U(1)\times SU(2)\times SU(2)\), \(U(1)\times SO(3,1)\) and \(U(1)\times SL(3,\mathbb {R})\). We will look for \(AdS_5\) black string and black hole solutions in all of these gauge groups.

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, we find supersymmetric \(AdS_3\times \Sigma _2\) solutions preserving four supercharges and give numerical RG flow solutions interpolating between these geometries and supersymmetric \(AdS_5\) vacua. An \(AdS_2\times H^3\) solution together with an RG flow interpolating between \(AdS_5\) vacua and this geometry will also be given. In Sects. 4 and 5, we repeat the same analysis for non-compact \(U(1)\times SO(3,1)\) and \(U(1)\times SL(3,\mathbb {R})\) gauge groups. Since the \(U(1)\times SL(3,\mathbb {R})\) gauge group has not been studied in [34], we will discuss its construction and supersymmetric \(AdS_5\) vacuum in detail. The full scalar mass spectrum at this critical point will also be given. This should be useful in the holographic context since it contains information on dimensions of operators dual to supergravity scalars. We end the paper with some conclusions and comments in Sect. 6.

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

In this section, we briefly review the structure of five dimensional \(N=4\) gauged supergravity coupled to vector multiplets with the emphasis on formulae relevant for finding supersymmetric solutions. The detailed construction of \(N=4\) gauged supergravity can be found in [19, 20].

The \(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. The gravity multiplet can 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\), and the components fields within these vector multiplets will be denoted by \((A^a_\mu ,\lambda ^{a}_i,\phi ^{ma})\). From both gravity and vector multiplets, there are in total \(6+n\) vector fields which will be denoted by \(A^{\mathcal {M}}_\mu =(A^0_\mu ,A^m_\mu ,A^a_\mu )\). All fermionic fields are described by symplectic Majorana spinors subject to the following condition

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

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

The 5n scalar fields from the vector multiplets parametrize the \(SO(5,n)/SO(5)\times SO(n)\) coset. To describe this coset manifold, we introduce a coset representative \(\mathcal {V}_M^{\phantom {M}A}\) transforming under the global SO(5, n) and the local \(SO(5)\times SO(n)\) by left and right multiplications, respectively. We use indices \(M,N,\ldots =1,2,\ldots , 5+n\) for global SO(5, n) indices. The local \(SO(5)\times SO(n)\) indices \(A,B,\ldots \) will be split into \(A=(m,a)\). We can accordingly 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}\) is an element of SO(5, n) and 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)

with \(\eta _{MN}=\text {diag}(-1,-1,-1,-1,-1,1,\ldots ,1)\) being the SO(5, n) invariant tensor. Equivalently, 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.

Gaugings promote a given subgroup \(G_0\) of the full global symmetry \(SO(1,1)\times SO(5,n)\) of \(N=4\) supergravity coupled to n vector multiplets to be a local symmetry. These gaugings are efficiently described 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]}\) [19]. The first component \(\xi ^M\) describes the embedding of the gauge group in the \(SO(1,1)\sim \mathbb {R}^+\) factor identified with the coset space parametrized by the dilaton \(\Sigma \). From the result of [48], the existence of \(N=4\) supersymmetric \(AdS_5\) vacua requires \(\xi ^M=0\). In this paper, we are only interested in solutions that are asymptotically \(AdS_5\), so we will restrict ourselves to the gaugings with \(\xi ^{M}=0\).

For \(\xi ^{M}=0\), the gauge group is entirely embedded in SO(5, n) with the gauge generators given by

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

The matrices \({(t_{MN})_P}^Q=\delta ^Q_{[M}\eta _{N]P}\) are SO(5, n) generators in the fundamental representation. The full 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. We use the convention that the definition of \(\xi ^{MN}\) and \(f_{MNP}\) includes the gauge coupling constants. Note also that SO(5, n) indices \(M,N,\ldots \) are lowered and raised by \(\eta _{MN}\) and its inverse \(\eta ^{MN}\), respectively.

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

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

Gauge groups that admit \(N=4\) supersymmetric \(AdS_5\) vacua generally take the form of \(U(1)\times H_0\times H\), see [48] for more detail. 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. \(H_0\) must also 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})\).

In the embedding tensor formalism, there are two-form fields \(B_{\mu \nu \mathcal {M}}\) that are introduced off-shell. These two-form fields do not have kinetic terms and couple to vector fields via a topological term. They satisfy a first-order field equation given by, see [19] for more detail,

$$\begin{aligned} \xi ^{\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}$$
(8)

in which \(\mathcal {M}_{00}=\Sigma ^{-4}\), \(\mathcal {M}_{0M}=0\) and \(\mathcal {M}_{MN}=\Sigma ^2M_{MN}\). The field strength \(\mathcal {H}^{(3)}_{\mathcal {M}}\) is defined by

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

with \(d_{0MN}=d_{MN0}=d_{M0N}=\eta _{MN}\) and

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

In all of the solutions considered here, the Chern–Simons term in Eq. (9) vanish due to a particular form of the ansatz for the gauge fields. In addition, the term \(\mathcal {M}_{\mathcal {N}\mathcal {P}}\mathcal {H}^{\mathcal {P}}_{\mu \nu }\) in Eq. (8) also vanish provided that the gauge fields \(A^1\) and \(A^2\) are set to zero. With all these, the two-form fields can be consistently truncated out. We will accordingly set all the two-form fields to zero from now on.

The bosonic Lagrangian of a general gauged \(N=4\) supergravity coupled to n vector multiplets can accordingly 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}$$
(11)

where e is the vielbein determinant. \(\mathcal {L}_{\text {top}}\) is the topological term whose explicit form will not be given here since, given our ansatz for the gauge fields, it will not play any role in the present discussion.

With vanishing two-form fields, 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 . \end{aligned}$$
(12)

The scalar potential is given by

$$\begin{aligned} V= & {} -\frac{1}{4}\left[ f_{MNP}f_{QRS}\Sigma ^{-2}\left( \frac{1}{12}M^{MQ}M^{NR}M^{PS}-\frac{1}{4}M^{MQ}\eta ^{NR}\eta ^{PS}\right. \right. \nonumber \\&\left. +\frac{1}{6}\eta ^{MQ}\eta ^{NR}\eta ^{PS}\right) +\frac{1}{4}\xi _{MN}\xi _{PQ}\Sigma ^4(M^{MP}M^{NQ}-\eta ^{MP}\eta ^{NQ})\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}\).

Supersymmetry transformations of fermionic fields \((\psi _{\mu i},\chi _i,\lambda ^a_i)\) 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 \\&\quad -\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) ({\gamma _\mu }^{\nu \rho }{-}4\delta ^\nu _\mu \gamma ^\rho )\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 \\&\quad -\frac{1}{2\sqrt{3}}\left( \Sigma \Omega _{ij}{\mathcal {V}_M}^{jk}\mathcal {H}^M_{\mu \nu }+\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 \\&\qquad \quad -\frac{1}{4}\Sigma {\mathcal {V}_M}^a\mathcal {H}^M_{\mu \nu }\gamma ^{\mu \nu }\epsilon _i \end{aligned}$$
(17)

in which the fermion shift matrices are defined by

$$\begin{aligned} A_1^{ij}= & {} -\frac{1}{\sqrt{6}}\left( \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( \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( \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)

In these equations, \(\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 element \({\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)

In the subsequent analysis, we use the following explicit choice of SO(5) gamma matrices \({\Gamma _{mi}}^j\) given by

$$\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}$$
(21)

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

The covariant derivative on \(\epsilon _i\) reads

$$\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}$$
(22)

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}$$
(23)

In this work, we mainly focus on the case of \(n=5\) vector multiplets. To parametrize the scalar coset \(SO(5,5)/SO(5)\times SO(5)\), it is useful to introduce a basis for \(GL(10,\mathbb {R})\) matrices

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

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

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

3 \(U(1)\times SU(2)\times SU(2)\) gauge group

For a compact \(U(1)\times SU(2)\times SU(2)\) gauge group, components of the embedding tensor are given by

$$\begin{aligned}&\xi ^{MN}=g_1(\delta ^M_2\delta ^N_1-\delta ^M_1\delta ^N_2), \end{aligned}$$
(26)
$$\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}$$
(27)
$$\begin{aligned}&f_{abc}=g_3\epsilon _{abc},\quad a,b,c=1,2,3 \end{aligned}$$
(28)

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

The scalar potential obtained from truncating the scalars from vector multiplets to \(U(1)\times SU(2)_{\text {diag}}\subset U(1)\times SU(2)\times SU(2)\) singlets has been studied in [34]. There is one \(U(1)\times SU(2)_{\text {diag}}\) singlet from the \(SO(5,5)/SO(5)\times SO(5)\) coset corresponding to the following SO(5, 5) non-compact generator

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

With the coset representative given by

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

the scalar potential can be computed to be

$$\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}$$
(31)

The potential admits two \(N=4\) supersymmetric \(AdS_5\) critical points given by

$$\begin{aligned} \text {i}: \phi= & {} 0,\quad \Sigma =1,\quad V_0=-3g_1^2 \end{aligned}$$
(32)
$$\begin{aligned} \text {ii}: \phi= & {} \frac{1}{2}\ln \left[ \frac{g_3-g_2}{g_3+g_2}\right] ,\quad \Sigma =\left( \frac{g_2g_3}{g_1\sqrt{2(g_3^2-g_2^2)}}\right) ^{\frac{1}{3}},\nonumber \\&V_0=-3\left( \frac{g_1g_2^2g_3^2}{2(g_3^2-g_2^2)}\right) ^{\frac{2}{3}}\, . \end{aligned}$$
(33)

In critical point i, we have set \(g_2=-\sqrt{2}g_1\) to make this critical point occur at \(\Sigma =1\). However, we will keep \(g_2\) explicit in most expressions for brevity. Critical point i is invariant under the full gauge symmetry \(U(1)\times SU(2)\times SU(2)\) while critical point ii preserves only \(U(1)\times SU(2)_{\text {diag}}\) symmetry due to the non-vanising scalar \(\phi \). \(V_0\) denotes the cosmological constant, the value of the scalar potential at a critical point.

3.1 Supersymmetric black strings

We now consider vacuum solutions of the form \(AdS_3\times \Sigma _2\) with \(\Sigma _2\) being \(S^2\) or \(H^2\). A number of \(AdS_3\times H^2\) solutions that preserve eight supercharges together with RG flows interpolating between them and supersymmetric \(AdS_5\) critical points have already been given in [34]. In this section, we look for more general solutions that preserve only four supercharges.

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)\nonumber \\ \end{aligned}$$
(34)

where \(dx^2_{1,1}\) is the flat metric in two dimensions. For \(\Sigma _2=H^2\), the metric is given by

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

As \(r\rightarrow \infty \), the metric becomes locally \(AdS_5\) with \(f(r)\sim g(r)\sim \frac{r}{L_{AdS_5}}\) while the near horizon geometry is characterized by the conditions \(f(r)\sim \frac{r}{L_{AdS_3}}\) and constant g(r), or equivalently \(g'(r)=0\).

To preserve some amount of supersymmetry, we perform a twist by cancelling the spin connection along the \(\Sigma _2\) by some suitable choice of gauge fields. We will first consider abelian twists from the \(U(1)\times U(1)\times U(1)\) subgroup of the \(U(1)\times SU(2)\times SU(2)\) gauge symmetry. The gauge fields corresponding to this subgroup will be denoted by \((A^0,A^5,A^8)\). The ansatz for these gauge fields will be chosen as

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

for the \(S^2\) case and

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

for the \(H^2\) case.

3.1.1 Solutions with \(U(1)\times U(1)\times U(1)\) symmetry

There are three singlets from the \(SO(5,5)/SO(5)\times SO(5)\) coset corresponding to the SO(5, 5) non-compact generators \(Y_{53}\), \(Y_{54}\) and \(Y_{55}\). However, these can be consistently truncated to only a single scalar with the coset representative given by

$$\begin{aligned} \mathcal {V}=e^{\varphi Y_{53}} . \end{aligned}$$
(38)

We now begin with the analysis for \(\Sigma _2=S^2\). With the relevant component of the spin connection \(\omega ^{\hat{\phi }\hat{\theta }}=e^{-g}\cot \theta e^{\hat{\phi }}\), we find the covariant derivative of \(\epsilon _i\) along the \(\hat{\phi }\) direction

$$\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}$$
(39)

where \(\cdots \) refers to the term involving \(g'\) that is not relevant to the present discussion. Note also that \(a_8\) does not appear in the above equation since \(A^8\) is not part of the R-symmetry under which the gravitini and supersymmetry parameters are charged.

For half-supersymmetric solutions considered in [34], it has been shown that the twists from \(A^0\) and \(A^5\) can not be performed simultaneously, and there exist only \(AdS_3\times H^2\) solutions. However, if we allow for an extra projector such that only \(\frac{1}{4}\) of the original supersymmetry is unbroken, it is possible to keep both the twists from \(A^0\) and \(A^5\) non-vanishing. To achieve this, we note that

$$\begin{aligned} i\sigma _2\otimes \sigma _3=i(\sigma _1\otimes \sigma _1)(\sigma _3\otimes \sigma _2). \end{aligned}$$
(40)

We then impose the following projector to make the two terms with \(a_0\) and \(a_5\) in (39) proportional

$$\begin{aligned} {(\sigma _3\otimes \sigma _2)_i}^j\epsilon _j=-\epsilon _i\, . \end{aligned}$$
(41)

To cancel the spin connection, we then impose another projector

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

and the twist condition

$$\begin{aligned} a_0g_1+a_5g_2=1 . \end{aligned}$$
(43)

It should be noted that the condition (43) reduces to that of [34] for either \(a_0=0\) or \(a_5=0\). However, the solutions in this case preserve only four supercharges, or \(N=2\) supersymmetry in three dimensions, due to the additional projector (41).

To setup the BPS equations, we also need the \(\gamma _r\) projection due to the radial dependence of scalars. Following [34], this projector is given by

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

with \({I_i}^j\) defined by

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

The covariant field strength tensors for the gauge fields in (36) can be straightforwardly computed, and the result is

$$\begin{aligned} \mathcal {H}^{\mathcal {M}}=-a_{\mathcal {M}}\sin \theta d\theta \wedge d\phi . \end{aligned}$$
(46)

For \(\Sigma _2=H^2\), the cancellation of the spin connection \(\omega ^{\hat{\phi }\hat{\theta }}=e^{-g}\coth \theta e^{\hat{\phi }}\) is again achieved by the gauge field ansatz (37) using the conditions (41), (42) and (43). On the other hand, the covariant field strengths are now given by

$$\begin{aligned} \mathcal {H}^{\mathcal {M}}=a_{\mathcal {M}}\sinh \theta d\theta \wedge d\phi . \end{aligned}$$
(47)

which have opposite signs to those of the \(S^2\) case. This results in a sign change of the parameter \((a_0,a_5,a_8)\) in the corresponding BPS equations.

Fig. 1
figure 1

An RG flow from \(N=4\) \(AdS_5\) critical point with \(U(1)\times SU(2)\times SU(2)\) symmetry to \(N=2\) \(AdS_3\times S^2\) geometry in the IR with \(U(1)\times U(1)\times SU(2)\) symmetry and \(g_1=1\), \(a_5=1\) and \(a_8=0\)

With all these, we obtain the following BPS equations

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

In these equations, \(\kappa =1\) and \(\kappa =-1\) refer to \(\Sigma _2=S^2\) and \(\Sigma _2=H^2\), respectively. It can also be readily verified that these equations also imply the second order field equations.

We now look for \(AdS_3\) solutions from the above BPS equations. These solutions are characterized by the conditions \(g'=\varphi '=\Sigma '=0\) and \(f'=\frac{1}{L_{AdS_3}}\). We find the following \(AdS_3\) solutions.

  • For \(\varphi =0\), \(AdS_3\) solutions only exist for \(a_8=0\) and are given by

    $$\begin{aligned} \Sigma= & {} \frac{2^{\frac{1}{6}}\kappa }{(a_5g_1)^{\frac{1}{3}}},\quad g=\frac{1}{6}\ln \left( \frac{2a_5^4}{g_1^2}\right) ,\nonumber \\ L_{AdS_3}= & {} \frac{2^{\frac{7}{6}}a_5^{\frac{2}{3}}}{g_1^{\frac{1}{3}}(1-\kappa a_5g_2)}. \end{aligned}$$
    (52)

    This should be identified with similar solutions of pure \(N=4\) gauged supergravity found in [33]. Since \(a_8\) and \(\varphi \) vanish in this case, the \(AdS_3\) solution has a larger symmetry \(U(1)\times U(1)\times SU(2)\). Note also that unlike half-supersymmetric solutions that exist only for \(\Sigma _2=H^2\), both \(\Sigma _2=S^2\) and \(\Sigma _2=H^2\) are possible by appropriately chosen values of \(a_0\), \(a_5\) and \(g_1\), recall that \(g_2=-\sqrt{2}g_1\).

  • For \(\varphi \ne 0\), we find a class of solutions

    $$\begin{aligned} \varphi= & {} \frac{1}{2}\ln \left[ \frac{(a_5-a_8)(a_0g_1-a_8g_2)}{(a_5+a_8)(a_0g_1+a_8g_2)}\right] ,\nonumber \\ \Sigma= & {} \left( \frac{\sqrt{2}\kappa a_0}{\sqrt{(a_5^2-a_8^2)(a_0^2g_1^2-a_8^2g_2^2)}}\right) ^{\frac{1}{3}},\nonumber \\ g= & {} \frac{1}{6}\ln \left[ \frac{2a_0^2(a_5^2-a_8^2)}{a_0^2g_1^2-a_8^2g_2^2}\right] ,\nonumber \\ L_{AdS_3}= & {} \frac{2^{\frac{7}{6}}a_0^{\frac{1}{3}}(a_5^2-a_8^2)^{\frac{1}{3}}(a_0^2g_1^2-a_8^2g_2^2)^{\frac{1}{3}}}{a_0g_1(1-\kappa a_5g_2)-\kappa g_2^2a_8^2} . \end{aligned}$$
    (53)

    Note that when \(a_8=0\), we recover the \(AdS_3\) solutions in (52). As in the previous solution, it can also be verified that these \(AdS_3\) solutions exist for both \(\Sigma _2=S^2\) and \(\Sigma _2=H^2\).

Examples of numerical solutions interpolating between \(N=4\) \(AdS_5\) vacuum with \(U(1)\times SU(2)\times SU(2)\) symmetry to these \(AdS_3\times \Sigma _2\) are shown in Figs. 1 and 2. At large r, the solutions are asymptotically \(N=4\) supersymmetric \(AdS_5\) critical point i given in (32). It should also be noted that the flow solutions preserve only two supercharges due to the \(\gamma _r\) projector imposed along the flow.

Fig. 2
figure 2

An RG flow from \(N=4\) \(AdS_5\) critical point with \(U(1)\times SU(2)\times SU(2)\) symmetry to \(N=2\) \(AdS_3\times S^2\) geometry in the IR with \(U(1)\times U(1)\times U(1)\) symmetry and \(g_1=1\), \(a_5=2\) and \(a_8=-1\)

3.1.2 Solutions with \(U(1)\times U(1)_{\text {diag}}\) symmetry

We now move to a set of scalars with smaller unbroken symmetry \(U(1)\times U(1)_{\text {diag}}\) with \(U(1)_{\text {diag}}\) being a diagonal subgroup of \(U(1)\times U(1)\subset SU(2)\times SU(2)\). As pointed out in [34], there are five singlets from the vector multiplet scalars but these can be truncated to three 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} . \end{aligned}$$
(54)

The coset representative is then given by

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

To implement the \(U(1)_{\text {diag}}\) gauge symmetry, we impose an additional condition on the parameters \(a_5\) and \(a_8\) as follow

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

We can repeat the previous analysis for the \(U(1)\times U(1)\times U(1)\) twists, and the result is the same as in the previous case with the twist condition (43) and projectors (41), (42) and (44).

With the same procedure as in the previous case, we obtain the following BPS equations

$$\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), \end{aligned}$$
(57)
$$\begin{aligned} \phi _2'= & {} \frac{1}{2}\Sigma ^{-1}\cosh (2\phi _1)\cosh (2\phi _3)(g_2\sinh \phi _2+g_3\cosh \phi _2)\nonumber \\&+\frac{1}{2}\Sigma ^{-1}(g_2\sinh \phi _2-g_3\cosh \phi _2)\nonumber \\&+\frac{a_5\kappa }{g_3}e^{-2g}\Sigma (g_2\cosh \phi _2+g_3\sinh \phi _2), \end{aligned}$$
(58)
$$\begin{aligned} \phi _3'= & {} \frac{1}{2}\Sigma ^{-1}\cosh (2\phi _1)\sinh (2\phi _3)\nonumber \\&\times (g_2\cosh \phi _2+g_3\sinh \phi _2), \end{aligned}$$
(59)
$$\begin{aligned} \Sigma '= & {} -\frac{1}{6g_3}\Sigma ^{-1}e^{-2g}\left[ -2\kappa a_5\Sigma ^3 (g_3\cosh \phi _2\right. \nonumber \\&\left. +g_2\sinh \phi _2)+2\sqrt{2}\kappa g_3a_0 \right. \nonumber \\&+e^{2g}g_3\Sigma \left[ \cosh (2\phi _1)\cosh (2\phi _3)\right. \nonumber \\&\times \left. (g_2\cosh \phi _2+g_3\sinh \phi _2) \right. \nonumber \\&\left. \left. g_2\cosh \phi _2-g_3\sinh \phi _2+2\sqrt{2}g_1\Sigma ^3\right] \right] , \end{aligned}$$
(60)
$$\begin{aligned} g'= & {} \frac{1}{6g_3}\Sigma ^{-2}\left[ g_3\Sigma (g_3\sinh \phi _2\right. \nonumber \\&\left. -g_2\cosh \phi _2)-2\sqrt{2}\kappa a_0g_3e^{-2g} \right. \nonumber \\&-\Sigma \cosh (2\phi _1)\cosh (2\phi _3)(g_2\cosh \phi _2\nonumber \\&+g_3\sinh \phi _2)+\sqrt{2}g_1g_3\Sigma ^4\nonumber \\&\left. -4\kappa a_5e^{-2g}\Sigma ^3(g_3\cosh \phi _2+g_2\sinh \phi _2)\right] , \end{aligned}$$
(61)
$$\begin{aligned} f'= & {} \frac{1}{6g_3}\Sigma ^{-2}\left[ g_3\Sigma (g_3\sinh \phi _2\right. \nonumber \\&\left. -g_2\cosh \phi _2)+\sqrt{2}\kappa a_0g_3e^{-2g} \right. \nonumber \\&-\Sigma \cosh (2\phi _1)\cosh (2\phi _3)(g_2\cosh \phi _2\nonumber \\&+g_3\sinh \phi _2) +\sqrt{2}g_1g_3\Sigma ^4\nonumber \\&\left. +2\kappa a_5e^{-2g}\Sigma ^3(g_3\cosh \phi _2+g_2\sinh \phi _2)\right] . \end{aligned}$$
(62)

From these equations, we find the following \(AdS_3\times \Sigma _2\) solutions.

  • For \(\phi _1=\phi _3=0\), there is a family of \(AdS_3\) solutions given by

    $$\begin{aligned} \text {I}: \phi _2= & {} \frac{1}{2}\ln \left[ \frac{(g_2-g_3)(g_2^2a_5-a_0g_1g_3)}{(g_2+g_3)(g_2^2a_5+a_0g_1g_3)}\right] ,\nonumber \\ g= & {} \frac{1}{6}\ln \left[ \frac{2a_0^2a_5^4(g_3^2-g_2^2)^2}{g_3^2(a_0^2g_1^2g_3^2-a_5^2g_2^4)}\right] ,\nonumber \\ \Sigma= & {} -\left[ \frac{\sqrt{2}a_0g_3^2}{a_5\sqrt{(g_3^2-g_2^2)(a_0^2g_1^2g_3^2-a_5^2g_2^4)}}\right] ^{\frac{1}{3}}.\nonumber \\ \end{aligned}$$
    (63)

    We refrain from giving the explicit form of \(L_{AdS_3}\) at this vacuum due to its complexity.

  • For \(\phi _3=0\), we find

    $$\begin{aligned} \text {II}: \phi _2= & {} \phi _1=\frac{1}{2}\ln \left[ \frac{g_3-g_2}{g_3+g_2}\right] ,\nonumber \\ \Sigma= & {} \left[ \frac{\sqrt{2}\kappa g_3}{g_1a_5\sqrt{g_3^2-g_2^2}}\right] ^{\frac{1}{3}},\nonumber \\ g= & {} \frac{1}{6}\ln \left[ \frac{2a_5^4(g_3^2-g_2^2)^2}{g_1^2g_3^4}\right] ,\nonumber \\ L_{AdS_3}= & {} \left[ \frac{8\sqrt{2}a_5^2(g_3^2-g_2^2)}{g_1g_3^2(1-\kappa a_5g_2)^3}\right] ^{\frac{1}{3}}.\quad \end{aligned}$$
    (64)
  • Finally, for \(\phi _1=0\), we find

    $$\begin{aligned} \text {III}: \phi _2= & {} \phi _3=\frac{1}{2}\ln \left[ \frac{g_3-g_2}{g_3+g_2}\right] ,\nonumber \\ \Sigma= & {} \left[ \frac{\sqrt{2}\kappa g_3}{g_1a_5\sqrt{g_3^2-g_2^2}}\right] ^{\frac{1}{3}},\nonumber \\ g= & {} \frac{1}{6}\ln \left[ \frac{2a_5^4(g_3^2-g_2^2)^2}{g_1^2g_3^4}\right] ,\nonumber \\ L_{AdS_3}= & {} \left[ \frac{8\sqrt{2}a_5^2(g_3^2-g_2^2)}{g_1g_3^2(1-\kappa a_5g_2)^3}\right] ^{\frac{1}{3}}. \quad \end{aligned}$$
    (65)

Unlike the previous case, at large r, we find that solutions to these BPS equations can be asymptotic to any of the two \(N=4\) supersymmetric \(AdS_5\) vacua i and ii given in (32) and (33). Therefore, we can have RG flows from the two \(AdS_5\) vacua to any of these \(AdS_3\times \Sigma _2\) solutions. Some examples of these solutions for \(\Sigma _2=S^2\) are given in Figs. 3, 4, 5 and 6.

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 S^2\) critical point I for \(g_1=1\), \(g_3=2g_1\) and \(a_5=\frac{1}{4}\)

Fig. 4
figure 4

An RG flow from \(AdS_5\) critical point with \(U(1)\times SU(2)\times SU(2)\) symmetry to \(AdS_3\times S^2\) critical point II for \(g_1=1\), \(g_3=2g_1\) and \(a_5=\frac{1}{4}\)

Fig. 5
figure 5

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 S^2\) critical point II for \(g_1=1\), \(g_3=2g_1\) and \(a_5=\frac{1}{4}\)

Fig. 6
figure 6

An RG flow from \(AdS_5\) critical point with \(U(1)\times SU(2)\times SU(2)\) symmetry to \(AdS_3\times S^2\) critical point III for \(g_1=1\), \(g_3=2g_1\) and \(a_5=\frac{1}{4}\)

3.2 Supersymmetric black holes

We now move to another type of solutions, supersymmetric \(AdS_5\) black holes. We will consider near horizon geometries of the form \(AdS_2\times \Sigma _3\) for \(\Sigma _3=S^3\) and \(\Sigma _3=H^3\). The twist procedure is still essential to preserve supersymmetry. For the \(S^3\) case, we take the metric to be

$$\begin{aligned} ds^2= & {} -e^{2f(r)}dt^2 + dr^2 + e^{2g(r)}\nonumber \\&\times \left[ d\psi ^2 + \sin ^2\psi (d\theta ^2 + \sin ^2\theta d\phi ^2)\right] . \end{aligned}$$
(66)

With the following choice of vielbein

$$\begin{aligned} e^{\hat{t}}= & {} e^fdt,\quad e^{\hat{r}}=dr,\quad e^{\hat{\psi }}=e^gd\psi ,\nonumber \\ e^{\hat{\theta }}= & {} e^g\sin \psi d\theta ,\quad e^{\hat{\phi }}=e^g\sin \psi \sin \theta d\phi , \end{aligned}$$
(67)

we obtain non-vanishing components of the spin connection

$$\begin{aligned} {\omega ^{\hat{t}}}_{\hat{r}}= & {} f'e^{\hat{t}},\quad {\omega ^{\hat{\psi }}}_{\hat{r}}=g'e^{\hat{\psi }}, {\omega ^{\hat{\theta }}}_{\hat{r}}=g'e^{\hat{\theta }},\quad {\omega ^{\hat{\phi }}}_{\hat{r}}=g'e^{\hat{\phi }},\nonumber \\ {\omega ^{\hat{\phi }}}_{\hat{\theta }}= & {} e^{-g}\frac{\cot \theta }{\sin \psi }e^{\hat{\phi }},\nonumber \\ {\omega ^{\hat{\phi }}}_{\hat{\psi }}= & {} e^{-g}\cot \psi e^{\hat{\phi }},\quad {\omega ^{\hat{\theta }}}_{\hat{\psi }}=e^{-g}\cot {\psi }e^{\hat{\theta }}. \end{aligned}$$
(68)

We then turn on gauge fields corresponding to the \(U(1)\times SU(2)_{\text {diag}}\subset U(1)\times SU(2)\times SU(2)\) symmetry and consider scalar fields that are singlet under \(U(1)\times SU(2)_{\text {diag}}\). Using the coset representative (30), we find components of the composite connection that involve the gauge fields

$$\begin{aligned} {Q_i}^j= & {} -\frac{i}{2}g_1A^0{(\sigma _2\otimes \sigma _3)_i}^j+\frac{i}{2}g_2\left[ A^3{(\sigma _2\otimes \mathbb {I}_2)_i}^j\right. \nonumber \\&\left. -A^4{(\sigma _3\otimes \sigma _1)_i}^j+A^5{(\sigma _1\otimes \sigma _1)_i}^j\right] . \end{aligned}$$
(69)

The components of the spin connection on \(S^3\) that need to be cancelled are \({\omega ^{\hat{\phi }}}_{\hat{\theta }}\), \({\omega ^{\hat{\phi }}}_{\hat{\psi }}\) and \({\omega ^{\hat{\theta }}}_{\hat{\psi }}\). To impose the twist, we set \(A^0=0\) and take the \(SU(2)_{\text {diag}}\) gauge fields to be

$$\begin{aligned} A^3= & {} a_3\cos \psi d\theta ,\quad A^4=a_4\cos \theta d\phi ,\nonumber \\ A^5= & {} a_5\cos \psi \sin \theta d\phi \end{aligned}$$
(70)

together with \(A^{3+m}=\frac{g_2}{g_3}A^m\) for \(m=3,4,5\).

Fig. 7
figure 7

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

By considering the covariant derivative of \(\epsilon _i\) along \(\theta \) and \(\phi \) directions, we find that the twist is achieved by imposing the following conditions

$$\begin{aligned} g_2a_3=g_2a_4=g_2a_5=1 \end{aligned}$$
(71)

and projectors

$$\begin{aligned} i\gamma _{\hat{\theta }\hat{\psi }}\epsilon _i= & {} {(\sigma _2\otimes \mathbb {I}_2)_i}^j\epsilon _j,\quad i\gamma _{\hat{\theta }\hat{\phi }}\epsilon _i={(\sigma _3\otimes \sigma _1)_i}^j\epsilon _j,\nonumber \\ i\gamma _{\hat{\phi }\hat{\psi }}\epsilon _i= & {} {(\sigma _1\otimes \sigma _1)_i}^j\epsilon _j . \end{aligned}$$
(72)

Note that the last projector is not independent of the first two. Therefore, the \(AdS_2\) solutions preserve four supercharges of the original supersymmetry. Condition (71) also implies \(a_3=a_4=a_5\). We will then set \(a_3=a_4=a_5=a\) from now on. Using the definition (12), we find the gauge covariant field strengths

$$\begin{aligned} \mathcal {H}^3= & {} -ae^{-2g}e^{\hat{\psi }}\wedge e^{\hat{\theta }},\quad \mathcal {H}^4=-ae^{-2g}e^{\hat{\theta }}\wedge e^{\hat{\phi }},\nonumber \\ \mathcal {H}^5= & {} -ae^{-2g}e^{\hat{\psi }}\wedge e^{\hat{\phi }} \end{aligned}$$
(73)

and \(\mathcal {H}^{3+m}=\frac{g_2}{g_3}\mathcal {H}^m\) for \(m=3,4,5\).

For \(\Sigma _3=H^3\), we use the metric ansatz

$$\begin{aligned} ds^2=-e^{2f}dt^2+dr^2+\frac{e^{2g}}{y^2}(dx^2+dy^2+dz^2) \end{aligned}$$
(74)

with non-vanishing components of the spin connection

$$\begin{aligned} {\omega ^{\hat{x}}}_{\hat{r}}= & {} g'e^{\hat{x}},\quad {\omega ^{\hat{y}}}_{\hat{r}}=g'e^{\hat{y}},\quad {\omega ^{\hat{z}}}_{\hat{r}}=g'e^{\hat{z}},\nonumber \\ {\omega ^{\hat{x}}}_{\hat{y}}= & {} -e^{-g}e^{\hat{x}},\quad {\omega ^{\hat{z}}}_{\hat{y}}=-e^{-g}e^{\hat{z}},\quad {\omega ^{\hat{t}}}_{\hat{r}}=f'e^{\hat{t}} \end{aligned}$$
(75)

where various components of the vielbein are given by

$$\begin{aligned} e^{\hat{t}}= & {} e^fdt,\quad e^{\hat{r}}=dr,\quad e^{\hat{x}}=\frac{e^g}{y}dx,\nonumber \\ e^{\hat{y}}= & {} \frac{e^g}{y}dy,\quad e^{\hat{z}}=\frac{e^g}{y}dz . \end{aligned}$$
(76)

Since there are only two components, \({\omega ^{\hat{x}}}_{\hat{y}}\) and \({\omega ^{\hat{z}}}_{\hat{y}}\), of the spin connection to be cancelled in the twisting process, we turn on the following SU(2) gauge fields

$$\begin{aligned} A^3=\frac{a}{y}dx,\quad A^4=0,\quad A^5=\frac{\tilde{a}}{y}dz \end{aligned}$$
(77)

and \(A^{m+3}=\frac{g_2}{g_3}A^m\), for \(m=3,4,5\).

Repeating the same analysis as in the \(S^3\) case, we find the twist conditions

$$\begin{aligned} g_2a=g_2\tilde{a}=1 \end{aligned}$$
(78)

and projectors

$$\begin{aligned} i\gamma _{\hat{y}\hat{x}}\epsilon _i= & {} {(\sigma _2\otimes \mathbb {I}_2)_i}^j\epsilon _j,\quad i\gamma _{\hat{y}\hat{z}}\epsilon _i={(\sigma _1\otimes \sigma _1)_i}^j\epsilon _j,\nonumber \\ i\gamma _{\hat{x}\hat{z}}\epsilon _i= & {} {(\sigma _3\otimes \sigma _1)_i}^j\epsilon _j. \end{aligned}$$
(79)

The last projector is not needed for the twist with \(A^4=0\). In addition, it follows from the first two projectors as in the \(S^3\) case. The twist condition (78) again implies that \(\tilde{a}=a\), and the covariant field strengths in this case are given by

$$\begin{aligned} \mathcal {H}^3= & {} ae^{-2g}e^{\hat{x}}\wedge e^{\hat{y}},\quad \mathcal {H}^4=ae^{-2g}e^{\hat{z}}\wedge e^{\hat{x}},\nonumber \\ \mathcal {H}^5= & {} ae^{-2g}e^{\hat{z}}\wedge e^{\hat{y}} \end{aligned}$$
(80)

and \(\mathcal {H}^{m+3}=\frac{g_2}{g_3}\mathcal {H}^m\), for \(m=3,4,5\). Note that although \(A^4=0\), we have non-vanishing \(\mathcal {H}^4\) due to the non-abelian nature of SU(2) field strengths.

With all these ingredients, the following BPS equations are straightforwardly obtained

$$\begin{aligned} \phi '= & {} \frac{1}{8g_3}\Sigma ^{-1}e^{-3\phi -2g}[g_2-g_3+e^{2\phi }(g_2+g_3)]\nonumber \\&\times \left[ g_3e^{2g}(e^{4\phi }-1)+4\kappa ae^{2\phi }\Sigma ^2\right] ,\quad \end{aligned}$$
(81)
$$\begin{aligned} \Sigma '= & {} -\frac{1}{3}\left[ g_2\cosh ^3\phi +g_3\sinh ^3\phi +\sqrt{2}g_1\Sigma ^3\right] \nonumber \\&+\frac{\kappa }{g_3}ae^{-2g}\Sigma ^2(g_3\cosh \phi +g_2\sinh \phi ), \end{aligned}$$
(82)
$$\begin{aligned} g'= & {} -\frac{1}{3}\Sigma ^{-1}(g_2\cosh ^3\phi +g_3\sinh ^3\phi )+\frac{1}{3}g_1\Sigma ^2\nonumber \\&-\frac{\kappa }{g_3}ae^{-2g}\Sigma (g_3\cosh \phi +g_2\sinh \phi ), \end{aligned}$$
(83)
$$\begin{aligned} f'= & {} -\frac{1}{3}\Sigma ^{-1}(g_2\cosh ^3\phi +g_3\sinh ^3\phi )+\frac{1}{3}g_1\Sigma ^2\nonumber \\&+\frac{\kappa }{g_3}ae^{-2g}\Sigma (g_3\cosh \phi +g_2\sinh \phi ). \end{aligned}$$
(84)

As in the \(AdS_3\) solutions, \(\kappa =1\) and \(\kappa =-1\) corresponds to \(\Sigma _3=S^3\) and \(\Sigma _3=H^3\), respectively.

It turns out that only \(\kappa =-1\) leads to an \(AdS_2\) solution given by

$$\begin{aligned} \phi= & {} \frac{1}{2}\ln \left[ \frac{g_3-g_2}{g_3+g_2}\right] ,\quad \Sigma =-\left[ \frac{2\sqrt{2}g_2g_3}{g_1\sqrt{g_3^2-g_2^2}}\right] ^{\frac{1}{3}},\nonumber \\ g= & {} \frac{1}{2}\ln \left[ \frac{2a(g_3^2-g_2^2)^{\frac{2}{3}}}{g_1^{\frac{2}{3}}g_2^{\frac{1}{3}}g_3^{\frac{4}{3}}}\right] ,\quad L_{AdS_2}=\frac{(g_3^2-g_2^2)^{\frac{1}{3}}}{\sqrt{2}g_1^{\frac{1}{3}}g_2^{\frac{2}{3}}g_3^{\frac{2}{3}}}\, .\nonumber \\ \end{aligned}$$
(85)

This solution preserves \(N=4\) supersymmetry in two dimensions and \(U(1)\times SU(2)_{\text {diag}}\) symmetry. As \(r\rightarrow \infty \), \(f\sim g\sim r\), solutions to the above BPS equations are locally asymptotic to either of the \(N=4\) \(AdS_5\) vacua in (32) and (33). RG flow solutions interpolating between these \(AdS_5\) vacua and the \(AdS_2\times H^3\) solution in (85) are shown in Figs. 7 and 8. In particular, the flow in Fig. 8 connects three critical points similar to the solution given in the previous section.

Fig. 8
figure 8

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_2\times H^3\) critical point for \(g_1=1\) and \(g_3=2g_1\)

We end this section by a comment on the possibility of turning on the twist from \(A^0\) along with those from the \(SU(2)_{\text {diag}}\) gauge fields. As in the previous section, if we impose an additional projector

$$\begin{aligned} {(\mathbb {I}_2\otimes \sigma _3)_i}^j\epsilon _j=-\epsilon _i, \end{aligned}$$
(86)

the projection matrix of the \(A^0\) term in the composite connection (69) will be proportional to that of \(A^3\). We will consider the \(S^3\) case for concreteness and take the ansatz for \(A^0\) to be

$$\begin{aligned} A^0=a_0\cos \psi d\theta \end{aligned}$$
(87)

and proceed as in the \(A^0=0\) case. This results in the projectors given in (72) and the twist conditions

$$\begin{aligned} g_2a_4=g_2a_5=1\quad \text {and}\quad g_1a_0+g_2a_3=1\, . \end{aligned}$$
(88)

We can see that at this stage the parameter \(a_3\) needs not be equal to \(a_4\) and \(a_5\). However, consistency of the BPS equations from \(\delta \lambda ^a_i\) conditions require \(a_3=a_4=a_5\) and hence \(a_0=0\) by the conditions in (88). This is because \(A^0\) does not appear in \(\delta \lambda ^a_i\) variation. The resulting BPS equations then reduce to those of the previous case with \(A^0=0\). So, we conclude that the \(A^0\) twist cannot be turned on along with the \(SU(2)_{\text {diag}}\) twists.

4 \(U(1)\times SO(3,1)\) gauge group

For non-compact \(U(1)\times SO(3,1)\) gauge group, components of the embedding tensor are given by

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

This gauge group has already been studied in [34]. The scalar potential admits one supersymmetric \(N=4\) \(AdS_5\) vauum at which all scalars from vector multiplets vanish and \(\Sigma =1\) after choosing \(g_2=-\sqrt{2}g_1\). At the vacuum, the gauge group is broken down to its maximal compact subgroup \(U(1)\times SO(3)\). A holographic RG flow from this critical point to a non-conformal field theory in the IR and a flow to \(AdS_3\times H^2\) vacuum preserving eight supercharges have also been studied in [34]. In this case, \(AdS_3\times S^2\) solutions do not exist.

In this section, we will study \(AdS_3\times \Sigma _2\) and \(AdS_2\times \Sigma _3\) solutions preserving four supercharges. The analysis is closely parallel to that performed in the previous section, so we will give less detail in order to avoid repetition.

4.1 Supersymmetric black strings

We will use the same metric ansatz as in Eqs. (34) and (35) and consider the twist from \(U(1)\times U(1)\) gauge fields. The second U(1) is a subgroup of the \(SO(3)\subset SO(3,1)\). There are in total five scalars that are singlet under this \(U(1)\times U(1)\), but as in the compact \(U(1)\times SU(2)\times SU(2)\) gauge group, these can be truncated to three singlets corresponding to the following SO(5, 5) 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}$$
(91)

With the embedding tensor (90), the compact SO(3) symmetry is generated by \(X_3\), \(X_4\) and \(X_5\) generators.

Using the coset representative of the form

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

we can repeat all the analysis of the previous section by using the ansatz for the gauge fields

$$\begin{aligned} A^0= a_0\cos \theta d\phi \quad \text {and}\quad A^5= a_5\cos \theta d\phi , \end{aligned}$$
(93)

for \(\Sigma _2=S^2\) and

$$\begin{aligned} A^0= a_0\cosh \theta d\phi \quad \text {and}\quad A^5= a_5\cosh \theta d\phi , \end{aligned}$$
(94)

for \(\Sigma _2=H^2\). The result is similar to the compact case with the projectors (41) and (42) and the twist condition (43).

Using the \(\gamma _r\) projection (44), the BPS equations in this case read

$$\begin{aligned} f'= & {} -\frac{1}{24 \Sigma ^2}e^{-2 \phi _1-\phi _2-2 (\phi _3+g)} \left[ e^{2 g} \left[ 1-e^{4 \phi _1}\right. \right. \nonumber \\&\left. \left. -e^{2 \phi _2}+e^{4 \phi _1+2 \phi _2}+e^{4 \phi _3}+4 e^{2 (\phi _1+\phi _3)}\right. \right. \nonumber \\&\left. \left. -\,\,e^{4 (\phi _1+\phi _3)}+4 e^{2 (\phi _1+\phi _2+\phi _3)}\right. \right. \nonumber \\&\left. \left. -e^{2 \phi _2+4 \phi _3}+e^{4 \phi _1+2 \phi _2+4 \phi _3}\right] g_2 \Sigma \right. \nonumber \\&-4 \sqrt{2}\kappa a_0 e^{2 \phi _1+\phi _2+2 \phi _3}-4\kappa a_5 e^{2 (\phi _1+\phi _3)} \left( 1+e^{2 \phi _2}\right) \Sigma ^3 \nonumber \\&\left. -4 \sqrt{2} e^{2 \phi _1+\phi _2+2 (\phi _3+g)} g_1 \Sigma ^4\right] , \end{aligned}$$
(95)
$$\begin{aligned} g'= & {} \frac{1}{24 \Sigma ^2}e^{-2 \phi _1-\phi _2-2 (\phi _3+g)} \left[ -e^{2 g} \left[ 1-e^{4 \phi _1}\right. \right. \nonumber \\&\left. \left. -e^{2 \phi _2}+e^{4 \phi _1+2 \phi _2}+e^{4 \phi _3}+4 e^{2 (\phi _1+\phi _3)}\right. \right. \nonumber \\&\left. \left. -\,\,e^{4 (\phi _1+\phi _3)}+4 e^{2 (\phi _1+\phi _2+\phi _3)}\right. \right. \nonumber \\&\left. \left. -e^{2 \phi _2+4 \phi _3}+e^{4 \phi _1+2 \phi _2+4 \phi _3}\right] g_2 \Sigma \right. \nonumber \\&-8\kappa \sqrt{2} a_0 e^{2 \phi _1+\phi _2+2 \phi _3}-8\kappa a_5 e^{2 (\phi _1+\phi _3)} \left( 1+e^{2 \phi _2}\right) \Sigma ^3\nonumber \\&\left. +4 \sqrt{2} e^{2 \phi _1+\phi _2+2 (\phi _3+g)} g_1 \Sigma ^4\right] , \end{aligned}$$
(96)
$$\begin{aligned} \Sigma '= & {} \frac{1}{24 \Sigma }e^{-2 \phi _1-\phi _2-2 (\phi _3+g)} \left[ -e^{2 g} \left( 1-e^{4 \phi _1}\right. \right. \nonumber \\&\left. \left. -e^{2 \phi _2}+e^{4 \phi _1+2 \phi _2}+e^{4 \phi _3}+4 e^{2 (\phi _1+\phi _3)}\right. \right. \nonumber \\&\left. \left. -\,\,e^{4 (\phi _1+\phi _3)}+4 e^{2 (\phi _1+\phi _2+\phi _3)}\right. \right. \nonumber \\&\left. \left. -e^{2 \phi _2+4 \phi _3}+e^{4 \phi _1+2 \phi _2+4 \phi _3}\right) g_2 \Sigma \right. \nonumber \\&-8\kappa \sqrt{2} a_0 e^{2 \phi _1+\phi _2+2 \phi _3}+4\kappa a_5 e^{2 (\phi _1+\phi _3)} \left( 1+e^{2 \phi _2}\right) \Sigma ^3\nonumber \\&\left. -8 \sqrt{2} e^{2 \phi _1+\phi _2+2 (\phi _3+g)} g_1 \Sigma ^4\right] , \end{aligned}$$
(97)
$$\begin{aligned} \phi '_1= & {} \frac{e^{-2 \phi _1-\phi _2+2 \phi _3} \left( 1+e^{4 \phi _1}\right) \left( e^{2 \phi _2}-1\right) g_2}{2 \left( 1+e^{4 \phi _3}\right) \Sigma }, \end{aligned}$$
(98)
$$\begin{aligned} \phi '_2= & {} \frac{1}{8 \Sigma }e^{-2 \phi _1-\phi _2-2 (\phi _3+g)} \left[ e^{2 g} \left( e^{4 \phi _1}-e^{2 \phi _2}\right. \right. \nonumber \\&\left. \left. +e^{4 \phi _1+2 \phi _2}-e^{4 \phi _3}-4 e^{2 (\phi _1+\phi _3)}\right. \right. \nonumber \\&\left. +e^{4 (\phi _1+\phi _3)}-1+4 e^{2 (\phi _1+\phi _2+\phi _3)}\right. \nonumber \\&\left. -e^{2 \phi _2+4 \phi _3}+e^{4 \phi _1+2 \phi _2+4 \phi _3}\right) g_2\nonumber \\&\left. +4\kappa a_5 e^{2 (\phi _1+\phi _3)} \left( e^{2 \phi _2}-1\right) \Sigma ^2\right] , \end{aligned}$$
(99)
$$\begin{aligned} \phi '_3= & {} \frac{e^{-2 \phi _1-\phi _2-2 \phi _3} \left( e^{4 \phi _1}-1\right) \left( e^{2 \phi _2}-1\right) \left( e^{4 \phi _3}-1\right) g_2}{8 \Sigma } .\nonumber \\ \end{aligned}$$
(100)

This set of equations admits an \(AdS_3\) solution given by

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

As in the compact case, \(\Sigma _2\) can be either \(S^2\) or \(H^2\), depending on the values of \(a_5\), \(a_0\), \(g_1\) and \(g_2\) such that the twist condition (43) is satisfied. This is in contrast to the half-supersymmetric solution found in [34] for which only \(\Sigma _2=H^2\) is possible.

To find a domain wall interpolating between the \(AdS_5\) vacuum to this \(AdS_3\times \Sigma _2\) solution, we further truncate the BPS equations by setting \(\phi _i=0\) for \(i=1,2,3\). The resulting equations are given by

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

An example of numerical solutions is shown in Fig. 9.

Fig. 9
figure 9

An RG flow solution from supersymmetric \(AdS_5\) with \(U(1)\times SO(3)\) symmetry to \(AdS_3\times S^2\) geometry in the IR for \(U(1)\times SO(3,1)\) gauge group and \(g_1 = 1\), \(a_5 = 1\)

Fig. 10
figure 10

An RG flow solution from \(AdS_5\) with \(U(1)\times SO(3)\) symmetry to \(AdS_2\times H^3\) geometry in the IR for \(U(1)\times SO(3,1)\) gauge group and \(g_1 = 1\)

4.2 Supersymmetric black holes

We now consider \(AdS_2\times \Sigma _3\) solutions within this non-compact gauge group. We will look for solutions with \(U(1)\times SO(3)\subset U(1)\times SO(3,1)\) symmetry. There is one \(U(1)\times SO(3)\) singlet from the \(SO(5,5)/SO(5)\times SO(5)\) coset corresponding to the non-compact generator

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

The coset representative can be written as

$$\begin{aligned} L = e^{\phi Y} . \end{aligned}$$
(106)

Using the metric ansatz (66) and (74) together with the gauge fields (70) and (77), we find that the twist can be implemented by using the projectors given in (72). Furthermore, the twist condition also implies that \(a_3=a_4=a_5=a\) with \(g_2a=1\), and the twist from \(A^0\) cannot be turned on. The \(AdS_2\times \Sigma _3\) solutions preserve four supercharges.

Using the projector (44), we can derive the following BPS equations

$$\begin{aligned} f'= & {} \frac{1}{12 \Sigma }\left[ e^{-3 \phi } \left( 1-3 e^{2 \phi }-3 e^{4 \phi }+e^{6 \phi }\right) g_2\right. \nonumber \\&\left. +6\kappa a e^{-\phi -2 g} \left( 1+e^{2 \phi }\right) \Sigma ^2 +2 \sqrt{2} g_1 \Sigma ^3\right] , \end{aligned}$$
(107)
$$\begin{aligned} g'= & {} \frac{1}{12 \Sigma }\left[ e^{-3 \phi } \left( 1-3 e^{2 \phi }-3 e^{4 \phi }+e^{6 \phi }\right) g_2\right. \nonumber \\&\left. -6\kappa a e^{-\phi -2 g} \left( 1+e^{2 \phi }\right) \Sigma ^2 +2 \sqrt{2} g_1 \Sigma ^3\right] , \end{aligned}$$
(108)
$$\begin{aligned} \Sigma '= & {} \frac{1}{12} e^{-3 \phi -2 g} \left[ e^{2 g} \left( 1-3 e^{2 \phi } -3 e^{4 \phi }\right. \right. \nonumber \\&\left. \left. +e^{6 \phi }\right) g_2+6\kappa a e^{2 \phi } \left( 1+e^{2 \phi }\right) \Sigma ^2\right. \nonumber \\&\left. -4 \sqrt{2} e^{3 \phi +2 g} g_1 \Sigma ^3\right] , \end{aligned}$$
(109)
$$\begin{aligned} \phi '= & {} -\frac{1}{4 \Sigma }e^{-3 \phi -2 g}\nonumber \\&\times \left( e^{2 \phi }-1\right) \left( e^{2 g} \left( 1+e^{4 \phi }\right) g_2-2\kappa a e^{2 \phi } \Sigma ^2\right) .\nonumber \\ \end{aligned}$$
(110)

These equations admit one \(AdS_2\times H^3\) solution given by

$$\begin{aligned} \phi= & {} 0, \quad \Sigma = -\sqrt{2}\left( \frac{g_2}{g_1}\right) ^{\frac{1}{3}} \nonumber \\ g= & {} -\frac{1}{2}\ln \left[ \frac{\left( \frac{}{}g_1^{2}g_2\right) ^{\frac{1}{3}}}{2a}\right] ,\quad L_{AdS_2} =\frac{1}{\sqrt{2}\left( g_1 g^2_2\right) ^{\frac{1}{3}}}\nonumber \\ \end{aligned}$$
(111)

while \(AdS_2\times S^3\) solutions do not exist.

By setting \(\phi =0\), we find a numerical solution to the above BPS equations as shown in Fig. 10.

5 \(U(1)\times SL(3,\mathbb {R})\) gauge group

In this section, we consider non-compact \(U(1)\times SL(3,\mathbb {R})\) gauge group. This has not been studied in [34], so we will give more detail about the construction of this gauged supergravity and possible supersymmetric \(AdS_5\) vacua.

Components of the embedding tensor for this gauge group are given by

$$\begin{aligned}&\xi ^{MN} =g_1(\delta ^M_2\delta ^N_1 -\delta ^M_1\delta ^N_2), \end{aligned}$$
(112)
$$\begin{aligned}&f_{345} = f_{389} =f_{468} =f_{497}= f_{569}=f_{578} =-g_2,\nonumber \\&f_{367} = 2g_2, \quad f_{4,9,10} =f_{5,8,10}= \sqrt{3}g_2\, . \end{aligned}$$
(113)

\({f_{MN}}^P\) can be extracted from \(SL(3,\mathbb {R})\) generators \((\frac{i\lambda _2}{2},\frac{i\lambda _5}{2},\frac{i\lambda _7}{2},\frac{\lambda _1}{2},\frac{\lambda _3}{2},\frac{\lambda _4}{2},\frac{\lambda _6}{2},\frac{\lambda _8}{2})\) with \(\lambda _i\), \(i=1,2,\ldots , 8\) being the usual Gell–Mann matrices. The compact \(SO(3)\subset SL(3,\mathbb {R})\) symmetry is generated by \(X_3\), \(X_4\) and \(X_5\).

5.1 Supersymmetric \(AdS_5\) vacuum

The \(SL(3,\mathbb {R})\) factor is embedded in \(SO(3,5)\subset {SO(5,5)}\) such that its adjoint representation is identified with the fundamental representation of SO(3, 5). The \(SO(3)\subset SL(3,\mathbb {R})\) is embedded in \(SL(3,\mathbb {R})\) such that \(\mathbf {3}\rightarrow \mathbf {3}\). Decomposing the adjoint representation of SO(3, 5) to \(SL(3,\mathbb {R})\) and SO(3), we find that the 25 scalars transform under \(SO(3)\subset SL(3,\mathbb {R})\) as

$$\begin{aligned} 2(\mathbf {1}\times \mathbf {5})+\mathbf {3}\times \mathbf {5}=\mathbf {3}+3\times \mathbf {5}+\mathbf {7} . \end{aligned}$$
(114)

Unlike the \(U(1)\times SO(3,1)\) gauge group, there is no singlet under the compact SO(3) symmetry. Taking into account the embedding of the U(1) factor in the gauge group as described in (112), we find the transformation of the scalars under \(U(1)\times SO(3)\)

$$\begin{aligned} \mathbf {3}_0+\mathbf {5}_0+\mathbf {7}_0+\mathbf {5}_2+\mathbf {5}_{-2} \end{aligned}$$
(115)

with the subscript denoting the U(1) charges.

It can be readily verified by studying the corresponding scalar potential or recalling the result of [48] that this \(U(1)\times SL(3,\mathbb {R})\) gauge group admits a supersymmetric \(N=4\) \(AdS_5\) vacuum at which all scalars from vector multiplets vanish with

$$\begin{aligned} \Sigma =1\quad \text {and}\quad V_0=-3g_1^2 . \end{aligned}$$
(116)

We have, as in other gauge groups, set \(g_2=-\sqrt{2}g_1\) to bring this vacuum to the value of \(\Sigma =1\). All scalar masses at this vacuum are given in Table 1. Massless scalars in \(\mathbf {5}_0\) representation are Goldstone bosons corresponding to the symmetry breaking \(SL(3,\mathbb {R})\rightarrow SO(3)\).

Table 1 Scalar masses at the \(N=4\) supersymmetric \(AdS_5\) critical point with \(U(1)\times SO(3)\) symmetry and the corresponding dimensions of dual operators for the non-compact \(U(1)\times SL(3,\mathbb R)\) gauge group. The scalars are organized into representations of \(U(1)\times SO(3)\) with the singlet corresponding to the dilaton \(\Sigma \)

5.2 Supersymmetric black strings

We now consider \(U(1)\times U(1)\subset U(1)\times SO(3)\subset U(1)\times SL(3,\mathbb {R})\) invariant scalars. We will choose the \(U(1)\subset SO(3)\) generator to be \(X_5\). From the vector multiplets, there are three singlet scalars corresponding to the following non-compact generators

$$\begin{aligned} \bar{Y}_1 = Y_{31}-Y_{44}, \quad \bar{Y}_2 = Y_{41}+ Y_{34}, \quad \bar{Y}_3 = \sqrt{3} Y_{52} - Y_{55} .\nonumber \\ \end{aligned}$$
(117)

The coset representative can be written as

$$\begin{aligned} L = e^{\phi _1 \bar{Y}_1} e^{\phi _2 \bar{Y}_2} e^{\phi _3 \bar{Y}_3} \end{aligned}$$
(118)

which gives rise to the scalar potential

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

Notice that V doesn’t depend on \(\phi _1\), consistent with the fact that \(\phi _1\) is part of the Goldstone bosons in \(\mathbf 5_0\) representation. It can be verified that this potential admits only one supersymmetric \(AdS_5\) critical point at \(\phi _1=\phi _2=\phi _3=0\) and \(\Sigma =1\) for \(g_2=-\sqrt{2}g_1\).

Fig. 11
figure 11

An RG flow solution from \(AdS_5\) with \(U(1)\times SO(3)\) symmetry to \(N=4\) \(AdS_3\times H^2\) geometry in the IR for \(U(1)\times SL(3,\mathbb {R})\) gauge group and \(g_1 = 1\)

We first consider \(AdS_3\times \Sigma _2\) solutions preserving eight supercharges. We will omit some detail since the same analysis has been carried out in [34]. By turning on gauge fields \(A^0\) and \(A^5\) along \(\Sigma _2\) and performing the twist in Eq. (39) by imposing only one projector

$$\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}$$
(120)

we find that consistency of this projection condition, namely \((i\gamma _{\hat{\phi }\hat{\theta }})^2=\mathbb {I}_4\), implies \(a_0a_5=0\), see [34] for more detail. Therefore, for half-supersymmetric solutions, the twists from \(A^0\) and \(A^5\) cannot be turned on simultaneously. Furthermore, as shown in [34], see also a similar discussion in [39], the twist with \(a_5=0\) does not lead to an \(AdS_3\) fixed point. We will accordingly consider only the case of \(a_0=0\) and \(a_5\ne 0\) which leads to the twist condition \(a_5g_2=1\) and the projector

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

The resulting BPS equations read

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

The Killing spinors \(\epsilon _i\) are subject to the projection conditions (44) and

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

As in the \(U(1)\times SO(3,1)\) gauge group studied in [34], there is only one supersymmetric \(AdS_3\times H^2\) critical point given by

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

This solution is dual to a two-dimensional \(N=(2,2)\) SCFT. By setting \(\phi _1=\phi _2=\phi _3=0\), we find a domain wall interpolating between this critical point and the supersymmetric \(AdS_5\) as shown in Fig. 11.

Fig. 12
figure 12

An RG flow solution from \(AdS_5\) with \(U(1)\times SO(3)\) symmetry to \(N=2\) \(AdS_3\times S^2\) geometry in the IR for \(U(1)\times SL(3,\mathbb {R})\) gauge group and \(g_1 = 1\), \(a_5 = 1\)

We now move to \(AdS_3\times \Sigma _2\) solutions preserving four supercharges. The analysis follows the same line as in the previous two gauge groups, so we will be very brief in this section. By the same analysis as in the previous two gauge groups, we obtain the following BPS equations

$$\begin{aligned} f'= & {} \frac{1}{12 \Sigma ^2}e^{-2 (\phi _2+\phi _3+g)} \left[ 2 \sqrt{2}\kappa a_0 e^{2 (\phi _2+\phi _3)}\right. \nonumber \\&\left. -e^{2 g} \left( \sqrt{3}-2 e^{2 \phi _2} -\sqrt{3} e^{4 \phi _2}-\sqrt{3} e^{4 \phi _3}\right. \right. \nonumber \\&\left. \left. +\,\,\sqrt{3} e^{4 (\phi _2+\phi _3)}-2 e^{2 \phi _2+4 \phi _3}\right) g_2 \Sigma \right. \nonumber \\&\left. +\,\, 2\kappa a_5 e^{2 \phi _2} \left( 1+e^{4 \phi _3}\right) \Sigma ^3\right. \nonumber \\&\left. +2 \sqrt{2} e^{2 (\phi _2+\phi _3+g)}g_1 \Sigma ^4\right] , \end{aligned}$$
(130)
$$\begin{aligned} g'= & {} -\frac{1}{12 \Sigma ^2}e^{-2 (\phi _2+\phi _3+g)} \left[ 4 \sqrt{2}\kappa a_0 e^{2 (\phi _2+\phi _3)}\right. \nonumber \\&\left. +e^{2 g} \left( \sqrt{3}-2 e^{2 \phi _2}-\sqrt{3} e^{4 \phi _2}-\sqrt{3} e^{4 \phi _3}\right. \right. \nonumber \\&\left. \left. +\sqrt{3} e^{4 (\phi _2+\phi _3)}-2 e^{2 \phi _2+4 \phi _3}\right) g_2 \Sigma \right. \nonumber \\&\left. + 4\kappa a_5 e^{2 \phi _2} \left( 1+e^{4 \phi _3}\right) \Sigma ^3\right. \nonumber \\&\left. -2 \sqrt{2} e^{2 (\phi _2+\phi _3+g)}g_1 \Sigma ^4\right] , \end{aligned}$$
(131)
$$\begin{aligned} \Sigma '= & {} \frac{1}{12 \Sigma }e^{-2 (\phi _2+\phi _3+g)} \left[ -4 \sqrt{2}\kappa a_0 e^{2 (\phi _2+\phi _3)}\right. \nonumber \\&\left. +e^{2 g} \left( \sqrt{3}-2 e^{2 \phi _2}-\sqrt{3} e^{4 \phi _2}-\sqrt{3} e^{4 \phi _3}\right. \right. \nonumber \\&\left. \left. +\,\,\sqrt{3} e^{4 (\phi _2+\phi _3)}-2 e^{2 \phi _2+4 \phi _3}\right) g_2 \Sigma \right. \nonumber \\&\left. +2\kappa a_5 e^{2 \phi _2} \left( 1+e^{4 \phi _3}\right) \Sigma ^3\right. \nonumber \\&\left. -4 \sqrt{2} e^{2 (\phi _2+\phi _3+g)}g_1 \Sigma ^4\right] , \end{aligned}$$
(132)
$$\begin{aligned} \phi '_1= & {} 0, \end{aligned}$$
(133)
$$\begin{aligned} \phi '_2= & {} -\frac{\sqrt{3} e^{-2 (\phi _2+\phi _3)} \left( 1+e^{4 \phi _2}\right) \left( e^{4 \phi _3}-1\right) g_2}{4 \Sigma },\end{aligned}$$
(134)
$$\begin{aligned} \phi '_3= & {} -\frac{1}{8 \Sigma }e^{-2 (\phi _2+\phi _3+g)} \left[ e^{2 g} \left( 2 e^{2 \phi _2}-\sqrt{3}\right. \right. \nonumber \\&\left. \left. +\sqrt{3} e^{4 \phi _2}-\sqrt{3} e^{4 \phi _3}+\sqrt{3} e^{4 (\phi _2+\phi _3)}\right. \right. \nonumber \\&\left. \left. -2 e^{2 \phi _2+4 \phi _3}\right) g_2-2\kappa a_5 e^{2 \phi _2} \left( e^{4 \phi _3}-1\right) \Sigma ^2\right] .\nonumber \\ \end{aligned}$$
(135)

These equations admit one supersymmetric \(AdS_3\times \Sigma _2\) solution given by

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

and a domain wall interpolating between this critical point and the supersymmetric \(AdS_5\) is shown in Fig. 12. It should also be noted that this \(AdS_3\times \Sigma _2\) solution is the same as in \(U(1)\times SO(3,1)\) gauge group.

5.3 Supersymmetric black holes

We end this section with an analysis of \(AdS_2\times \Sigma _3\) solutions and domain walls connecting these solutions to the supersymmetric \(AdS_5\). In order to preserve supersymmetry, \(SO(3)\subset SL(3,\mathbb {R})\) gauge fields must be turned on. However, in the present case, there is no SO(3) singlet scalar from the vector multiplets. After using the twist condition \(g_2a=1\) and projectors in (72) and (79) together with the ansatz for the gauge fields in (70) and (77), we obtain the BPS equations

$$\begin{aligned} f'= & {} -\frac{1}{6\Sigma } \left( 2 g_2-6\kappa a e^{-2 g} \Sigma ^2-\sqrt{2} g_1 \Sigma ^3\right) , \end{aligned}$$
(137)
$$\begin{aligned} \\ g'= & {} -\frac{1}{6\Sigma } \left( 2 g_2+6\kappa a e^{-2 g} \Sigma ^2-\sqrt{2} g_1 \Sigma ^3\right) , \end{aligned}$$
(138)
$$\begin{aligned} \\ \Sigma '= & {} -\frac{1}{3} \left( g_2-3\kappa a e^{-2 g} \Sigma ^2+\sqrt{2} g_1 \Sigma ^3\right) . \end{aligned}$$
(139)

These equations turn out to be the same as in the SO(3, 1) case after setting all the scalars from vector multiplets to zero. A single \(AdS_2\times H^3\) critical point is again given by (111).

6 Conclusions and discussions

We have found a new class of supersymmetric black strings and black holes in asymptotically \(AdS_5\) space within \(N=4\) gauged supergravity in five dimensions coupled to five vector multiplets with gauge groups \(U(1)\times SU(2)\times SU(2)\), \(U(1)\times SO(3,1)\) and \(U(1)\times SL(3,\mathbb {R})\). These generalize the previously known black string solutions preserving eight supercharges by including more general twists along \(\Sigma _2\). Furthermore, unlike the half-supersymmetric solutions which only exhibit hyperbolic horizons, the \(\frac{1}{4}\)-supersymmetric black strings can have both \(S^2\) and \(H^2\) horizons. On the other hand, the \(AdS_5\) black holes only feature \(H^3\) horizons.

For \(U(1)\times SU(2)\times SU(2)\) gauge group, we have identified a number of \(AdS_3\times \Sigma _2\) solutions preserving four supercharges. The solutions have \(U(1)\times U(1)\times U(1)\) and \(U(1)\times U(1)_{\text {diag}}\) symmetries and correspond to \(N=(0,2)\) SCFTs in two dimensions. We have given many examples of numerical RG flow solutions from the two supersymmetric \(AdS_5\) vacua to these \(AdS_3\times \Sigma _2\) geometries. We have also found a supersymmetric \(AdS_2\times H^3\) solution describing the near horizon geometry of a supersymmetric black hole in \(AdS_5\). For \(U(1)\times SO(3,1)\) and \(U(1)\times SL(3,\mathbb {R})\) gauge groups, all \(AdS_3\times \Sigma _2\) and \(AdS_2\times H^3\) solutions exist only for vanishing scalar fields from vector multiplets and have the same form for both gauge groups.

It would be interesting to compute twisted partition functions and twisted indices in the dual \(N=2\) SCFTs compactified on \(\Sigma _2\) and \(\Sigma _3\). These should provide a microscopic description for the entropy of the aforementioned black strings and black holes in \(AdS_5\) space. On the other hand, it is also interesting to find supersymmetric rotating \(AdS_5\) black holes similar to the solutions found in minimal and maximal gauged supergravities [49, 50] or black holes with horizons in the form of a squashed three-sphere [51,52,53]. Furthermore, embedding these solutions in string/M-theory is of particular interest and should give a full holograpic interpretation for the RG flows across dimensions identified here.