1 Introduction

Supersymmetric black hole solutions in asymptotically AdS spaces have attracted much attention recently since the groundbreaking work on microstate counting of \(AdS_4\) black holes from supersymmetric localization in [1], see also [2,3,4,5,6,7,8,9,10]. This technique has also been extended to supersymmetric \(AdS_5\) black strings in [11,12,13,14]. Due to these results, constructing new supersymmetric \(AdS_5\) black string solutions to further test the proposed holographic relation is interesting. Along this line, gauged supergravities in five dimensions provide a very useful tool in which \(AdS_5\) black strings become domain walls interpolating between asymptotically \(AdS_5\) spaces and near horizon geometries of the form \(AdS_3\times \Sigma ^2\) for \(\Sigma ^2\) being a two-sphere \((S^2)\) or a two-dimensional hyperbolic space \((H^2).\)

On the other hand, supersymmetric \(AdS_5\) black string solutions also describe holographic RG flows from four-dimensional superconformal field theories (SCFTs) in the UV, dual to \(AdS_5\) vacua, to two-dimensional SCFTs in the IR dual to near horizon geometries [15]. In this point of view, the SCFTs in four dimensions undergo twisted compactifications on \(\Sigma ^2\) to conformal field theories in two dimensions. Since the pioneering work [15], a number of similar solutions have been found [16,17,18,19,20,21,22,23,24,25,26,27,28]. Some of the solutions can be uplifted to string/M-theory, and the SCFTs dual to these solutions have also been identified.

In this paper, we will look for new supersymmetric \(AdS_5\) black string solutions from five-dimensional \(N=4\) gauged supergravity with \(SO(2)_D\times SO(3)\times SO(3)\) gauge group. This gauged supergravity can be constructed from \(N=4\) supergravity coupled to five vector multiplets and has been studied recently in [29] in which a number of \(N=2\) and \(N=4\) supersymmetric \(AdS_5\) vacua and holographic RG flows interpolating among them have been found. Similar solutions within the framework of \(N=4\) gauged supergravity have also appeared in [27, 28], see [19, 20, 30,31,32,33,34] for AdS black string solutions in higher dimensions.

Unlike the solutions given in [27, 28], due to a richer structure of \(AdS_5\) vacua in the gauged supergravity considered in the present paper, there is a large number of new and more interesting \(AdS_5\) black string solutions. In particular, there are solutions connecting one, two or three \(AdS_5\) critical points to \(AdS_3\times \Sigma ^2\) fixed points. A truncation of this \(SO(2)_D\times SO(3)\times SO(3)\) gauged supergravity to two or three vector multiplets and \(SO(2)_D\times SO(3)\) gauge group can be embedded in eleven dimensions as shown in [35]. Accordingly, both the \(AdS_5\) vacua and \(AdS_5\) black strings within this truncation could be uplifted to higher dimensions leading to new \(AdS_5\) and \(AdS_3\) solutions of string/M-theory. However, apart from the proof of the consistency of the truncation using the powerful framework of exceptional field theories in [35], no complete truncation ansatze in this case have appeared to date.

The paper is organized as follows. In Sect. 2, we review the construction of five-dimensional \(N=4\) gauged supergravity with \(SO(2)_D\times SO(3)\times SO(3)\) gauge group in the embedding tensor formalism. In Sects. 3 and 4, we give \(AdS_3\times \Sigma ^2\) geometries with \(SO(2)_{\text {diag}}\times SO(2)\) and \(SO(2)_{\text {diag}}\) symmetries together with black string solutions interpolating between these geometries and supersymmetric \(AdS_5\) vacua. We end the paper with some conclusions and comments in Sect. 5.

2 Five dimensional \(N=4\) gauged supergravity with \(SO(2)_D\times SO(3)\times SO(3)\) gauge group

In this section, we review \(N=4\) gauged supergravity as constructed in [36, 37] by using the embedding tensor formalism. The supergravity multiplet consists of the graviton \(e^{\hat{\mu }}_{\mu }\), four gravitini \(\psi _{\mu i}\), six vectors \((A^0_{\mu },A_{\mu }^m)\), four spin-\(\frac{1}{2}\) fields \(\chi _i\) and one real scalar \(\Sigma \) or 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 fundamental representation of \(SO(5)_R\sim USp(4)_R\) R-symmetry is described by \(m,n=1,\ldots , 5\) for \(SO(5)_R\) and \(i,j=1,2,3,4\) for \(USp(4)_R\). A vector multiplet contains a vector field \(A_{\mu }\), four gauginos \(\lambda _i\) and five scalars \(\phi ^m\). For \(N=4\) supergravity coupled to n vector multiplets, we will label these multiplets by indices \(a,b=1,\ldots , n\) of the form \((A^a_{\mu },\lambda ^{a}_i,\phi ^{ma})\).

From the gravity and vector multiplets, there are \(6+n\) vector fields denoted collectively by \(A^{\mathcal {M}}_{\mu }=(A^0_{\mu },A^m_{\mu },A^a_{\mu })\) and \(5n+1\) scalars in the \(SO(1,1)\times SO(5,n)/SO(5)\times SO(n)\) coset manifold. For later convenience, we have introduced an index \(\mathcal {M}=(0,M)\) as in [36]. The 5n scalars parametrizing the \(SO(5,n)/SO(5)\times SO(n)\) coset can be described by a coset representative \(\mathcal {V}_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 the global SO(5, n) indices \(M,N,\ldots =1,2,\ldots , 5+n\) while the local H indices \(A,B,\ldots \) can be split as \(A=(m,a)\). The coset representative can then be written as

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

For later convenience, we also define a symmetric matrix

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

which is manifestly \(SO(5)\times SO(n)\) invariant. Finally, all fermionic fields are symplectic Majorana spinors subject to the condition

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

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

Gaugings of \(N=4\) supergravity are characterized by the embedding tensor with components \(\xi ^{M}\), \(\xi ^{MN}=\xi ^{[MN]}\) and \(f_{MNP}=f_{[MNP]}\). These components determine the embedding of gauge groups in the global symmetry group \(SO(1,1)\times SO(5,n)\). We are only interested in gaugings with \(\xi ^M=0\) which admit supersymmetric \(AdS_5\) vacua as shown in [38]. Accordingly, we will set \(\xi ^{M}=0\) which leads to considerable simplification in various expressions. In particular, the quadratic constraints on the embedding tensor simply reduce to

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

Furthermore, for \(\xi ^{M}=0\), the gauge group is embedded solely in SO(5, n) with the corresponding gauge generators in SO(5, n) fundamental representation given by

$$\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)

We have chosen SO(5, n) generators of the form \({(t_{MN})_P}^Q=\delta ^Q_{[M}\eta _{N]P}\) with \(\eta _{MN}{=}\text {diag}(-1,-1,-1,-1,-1,1,1,\ldots ,1)\) being the SO(5, n) invariant tensor. The gauge covariant derivative reads

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

with \(\nabla _{\mu }\) being a space-time covariant derivative (possibly) including \(SO(5)\times SO(n)\) composite connection.

The bosonic Lagrangian of a general gauged \(N=4\) supergravity can be written as

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

where e is the vielbein determinant. \(\mathcal {L}_{\text {top}}\) is the topological term whose explicit form can be found in [36].

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_{\mu \nu \mathcal {N}} \end{aligned}$$
(8)

with

$$\begin{aligned} Z^{MN}=\frac{1}{2}\xi ^{MN}\quad \text {and} \quad Z^{0M}=-Z^{M0}=\frac{1}{2}\xi ^M=0. \end{aligned}$$
(9)

In the embedding tensor formalism, the two-form fields \(B_{\mu \nu \mathcal {M}}\) are introduced off-shell. These fields do not have kinetic terms and couple to vector fields via the topological term. It is useful to note the first-order field equations for these two-form fields

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

with \(\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} Z^{\mathcal {M}\mathcal {N}}\mathcal {H}^{(3)}_{\mu \nu \rho \mathcal {N}}= & {} Z^{\mathcal {M}\mathcal {N}}\nonumber \\{} & {} \times \left[ 3D_{[\mu }B_{\nu \rho ]\mathcal {N}} +6d_{\mathcal {NPQ}}A^{\mathcal {P}}_{[\mu }\right. \nonumber \\{} & {} \left. \left( \partial _\nu A^{\mathcal {Q}}_{\rho ]}+ \frac{1}{3}{X_{\mathcal{R}\mathcal{S}}}^{\mathcal {Q}}A^{\mathcal {R}}_\nu A^{\mathcal {S}}_{\rho ]}\right) \right] \end{aligned}$$
(11)

for \(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}$$
(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}\right. \right. \nonumber \\{} & {} \left. \left. -\frac{1}{4}M^{MQ}\eta ^{NR}\eta ^{PS}+\frac{1}{6}\eta ^{MQ}\eta ^{NR}\eta ^{PS}\right) \right. \nonumber \\{} & {} \left. +\frac{1}{4}\xi _{MN}\xi _{PQ}\Sigma ^4 (M^{MP}M^{NQ}-\eta ^{MP}\eta ^{NQ})\nonumber \right. \\{} & {} \left. +\frac{\sqrt{2}}{3}f_{MNP}\xi _{QR}\Sigma M^{MNPQR}\right] \end{aligned}$$
(13)

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

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

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

Supersymmetry transformations of fermionic fields 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) \nonumber \\{} & {} \times ({\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}\Omega _{ij}A_2^{kj}\epsilon _k\nonumber \\{} & {} -\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, \nonumber \\ \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\nonumber \\{} & {} +\sqrt{2}\Omega _{ij}A_{2}^{akj}\epsilon _k-\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}}\Bigg (\sqrt{2}\Sigma ^2\Omega _{kl}{\mathcal {V}_M}^{ik}{\mathcal {V}_N}^{jl}\xi ^{MN}\nonumber \\{} & {} +\frac{4}{3}\Sigma ^{-1}{\mathcal {V}^{ik}}_M{\mathcal {V}^{jl}}_N{\mathcal {V}^P}_{kl}{f^{MN}}_P\Bigg ),\nonumber \\ A_2^{ij}= & {} \frac{1}{\sqrt{6}}\Bigg (\sqrt{2}\Sigma ^2\Omega _{kl}{\mathcal {V}_M}^{ik}{\mathcal {V}_N}^{jl}\xi ^{MN}\nonumber \\{} & {} -\frac{2}{3}\Sigma ^{-1}{\mathcal {V}^{ik}}_M{\mathcal {V}^{jl}}_N{\mathcal {V}^P}_{kl}{f^{MN}}_P\Bigg ),\nonumber \\ A_2^{aij}= & {} -\frac{1}{2}\Bigg (\Sigma ^2{{\mathcal {V}_M}^{ij}\mathcal {V}_N}^a\xi ^{MN}\nonumber \\{} & {} -\sqrt{2}\Sigma ^{-1}\Omega _{kl}{\mathcal {V}_M}^a{\mathcal {V}_N}^{ik}{\mathcal {V}_P}^{jl}f^{MNP}\Bigg ). \end{aligned}$$
(18)

\(\mathcal {V}_M^{ij}\) is defined in terms of \({\mathcal {V}_M}^m\) and SO(5) gamma matrices \({\Gamma _{mi}}^j\) as

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

with \(\Gamma ^{ij}_m=\Omega ^{ik}{\Gamma _{mk}}^j\). 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)

We will use the following representation of SO(5) gamma matrices

$$\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)

with \(\sigma _i\), \(i=1,2,3\), being the Pauli matrices.

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

with the composite connection 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 paper, we will consider \(N=4\) gauged supergravity coupled to \(n=5\) vector multiplets with \(SO(2)_D\times SO(3)\times SO(3)\) gauge group previously studied in [29]. The corresponding embedding tensor is given by, see [29] for more detail,

$$\begin{aligned}{} & {} \xi ^{MN}=g_1(\delta ^M_1\delta ^N_2-\delta ^M_2\delta ^N_1)-g_2(\delta ^M_{10}\delta ^N_9-\delta ^M_9\delta ^N_{10}), \end{aligned}$$
(24)
$$\begin{aligned}{} & {} f_{\tilde{m}+2,\tilde{n}+2,\tilde{p}+2}=h_1\epsilon _{\tilde{m}\tilde{n}\tilde{p}},\quad \tilde{m},\tilde{n},\tilde{p}=1,2,3, \end{aligned}$$
(25)
$$\begin{aligned}{} & {} f_{\tilde{a}\tilde{b}\tilde{c}}=h_2\epsilon _{\tilde{a}\tilde{b}\tilde{c}},\quad \tilde{a},\tilde{b},\tilde{c}=1,2,3 \end{aligned}$$
(26)

with the coupling constants \(g_1\), \(g_2\), \(h_1\) and \(h_2\). It is useful to note that the first \(SO(3)\sim SO(3)_R\subset SO(5)_R\) is a subgroup of the R-symmetry while the second SO(3) factor is a subgroup of SO(5) symmetry of the vector multiplets. \(SO(2)_D\) is the diagonal subgroup of \(SO(2)'_R\subset SO(2)'_R\times SO(3)_R\subset SO(5)_R\) and \(SO(2)'\subset SO(2)'\times SO(3)\subset SO(5)\).

We end this section by giving an explicit parametrization of the scalar coset \(SO(5,5)/SO(5)\times SO(5)\). With SO(5, 5) non-compact generators given by

$$\begin{aligned} Y_{ma}=t_{m,a+5},\qquad m=1,2,\ldots , 5,\quad a=1,2,\ldots , 5,\nonumber \\ \end{aligned}$$
(27)

the coset representative can be written as

$$\begin{aligned} \mathcal {V}=e^{\phi ^{ma}Y_{ma}}. \end{aligned}$$
(28)

3 Supersymmetric \(AdS_5\) black strings with \(SO(2)_{\text {diag}}\times SO(2)\) symmetry

We now look for supersymmetric \(AdS_5\) black string solutions with a near horizon geometry given by \(AdS_3\times \Sigma ^2\) for \(\Sigma ^2=S^2,H^2\). The metric ansatz is taken to be

$$\begin{aligned} ds^2=e^{2F(r)}dx^2_{1,1}+dr^2+e^{2G(r)}(d\theta ^2+f_\kappa (\theta )^2d\phi ^2) \end{aligned}$$
(29)

with

$$\begin{aligned} f_\kappa (\theta )={\left\{ \begin{array}{ll} \sin \theta , &{} \kappa =1\quad \text {for}\ \Sigma ^2=S^2 \\ \sinh \theta , &{} \kappa =-1\quad \text {for}\ \Sigma ^2=H^2 \end{array}\right. }.\nonumber \\ \end{aligned}$$
(30)

\(dx_{1,1}^2=\eta _{\alpha \beta }dx^\alpha dx^\beta \), \(\alpha ,\beta =0,1\), is the flat metric on the two-dimensional Minkowski space. Relevant components of the spin connection are given by

$$\begin{aligned}{} & {} \omega ^{\hat{\alpha }\hat{r}}=F'e^{\hat{\alpha }},\quad \omega ^{\hat{\theta }\hat{r}}=G'e^{\hat{\theta }},\nonumber \\{} & {} \omega ^{\hat{\phi }\hat{r}}=G'e^{\hat{\phi }},\quad \omega ^{\hat{\theta }{\phi }}=e^{-G}\frac{f'_\kappa (\theta )}{f_{\kappa }(\theta )}e^{\hat{\phi }}. \end{aligned}$$
(31)

Throughout the paper, r-derivatives are denoted by \('\) except for \(f'_\kappa (\theta )=\frac{df_\kappa (\theta )}{d\theta }\). It is also useful to point out that the metric ansatz (29) leads to solutions interpolating between \(AdS_5\) and \(AdS_3\times \Sigma ^2\) geometries. Near the asymptotic \(AdS_5\) space, we have

$$\begin{aligned} F(r)\sim G(r)\sim \frac{r}{L_{AdS_5}} \end{aligned}$$
(32)

with \(L_{AdS_5}\) being the corresponding \(AdS_5\) radius while the \(AdS_3\times \Sigma ^2\) near horizon geometry corresponds to

$$\begin{aligned} F(r)\sim \frac{r}{L_{AdS_3}}\quad \text {and}\quad G'(r)\sim 0 \end{aligned}$$
(33)

with the \(AdS_3\) radius \(L_{AdS_3}\).

We first consider solutions obtained from a topological twist along \(\Sigma ^2\) by turning on \(SO(2)_{\text {diag}}\times SO(2)\) gauge fields of the form

$$\begin{aligned}{} & {} \!\!\!A^0=a_0f'_\kappa (\theta )d\phi =\frac{h_1}{g_2}A^3,\quad A^3=a_3f'_\kappa (\theta )d\phi ,\nonumber \\{} & {} \!\!\!A^6=a_6f'_\kappa (\theta )d\phi \end{aligned}$$
(34)

with \(a_0\), \(a_3\) and \(a_6\) being constants. The \(SO(2)_{\text {diag}}\) is the diagonal subgroup of \(SO(2)_D\times SO(2)_R\) generated by the gauge generators \(X_0\) and \(X_3\) with \(SO(2)_R\subset SO(3)_R\subset SO(5)_R\). From the embedding tensor (24) and the gauge field ansatz (34), we can verify that setting all the two-form fields to zero is a consistent truncation satisfying the two-form field equation (10). The corresponding field strength tensors are then given by

$$\begin{aligned} \mathcal {H}^{\mathcal {M}}=dA^{\mathcal {M}}=-\kappa a_{\mathcal {M}}f_\kappa (\theta )d\theta \wedge d\phi ,\quad \text {for}\ \mathcal {M}=0,3,6\nonumber \\ \end{aligned}$$
(35)

in which we have used the relation \(f''_\kappa (\theta )=-\kappa f_\kappa (\theta )\). It should also be noted that the relation \(a_0=\frac{h_1}{g_2}a_3\) implements the diagonal subgroup of \(SO(2)_D\times SO(2)_R\).

Among the 25 scalar fields from the vector multiplets, there are 5 singlets under \(SO(2)_{\text {diag}}\times SO(2)\) corresponding to the following non-compact generators

$$\begin{aligned}{} & {} \hat{Y}_1=Y_{31},\quad \hat{Y}_3=Y_{44}+Y_{55},\quad \hat{Y}_5=Y_{45}-Y_{54},\nonumber \\{} & {} \tilde{Y}_3=Y_{14}+Y_{25},\quad \tilde{Y}_4=Y_{15}-Y_{24}. \end{aligned}$$
(36)

Accordingly, the coset representative can be written as

$$\begin{aligned} \mathcal {V}=e^{\phi _1\hat{Y}_1}e^{\phi _3\hat{Y}_3}e^{\phi _5\hat{Y}_5}e^{\varphi _3\tilde{Y}_3}e^{\varphi _4\tilde{Y}_4}. \end{aligned}$$
(37)

As pointed out in [29], non-vanishing \(\phi _3\) and \(\phi _5\) break half of the supersymmetry with the corresponding Killing spinors given by \(\epsilon _{1,3}\) or \(\epsilon _{2,4}\).

We are now in a position to perform a topological twist by canceling component \(\omega ^{\hat{\theta }\hat{\phi }}\) of the spin connection. It turns out that this can be achieved only for \(g_2=g_1\) or \(\varphi _3=\varphi _4=0\). Both of these possibilities lead to equivalent results, so we will choose to set \(\varphi _3=\varphi _4=0\) in the following analysis. With this, the composite connection along the \(\phi \)-direction is given by

$$\begin{aligned} {Q_i}^j=\frac{ih_1}{2g_2}A^3\left[ g_2{(\sigma _2\otimes {\mathbb {I}}_2)_i}^j-g_1{(\sigma _2\otimes \sigma _3)_i}^j\right] . \end{aligned}$$
(38)

It should be noted that \(A^6\) does not appear in the composite connection since this vector field gauges the SO(2) subgroup of the \(SO(3)\subset SO(5)\) symmetry of the vector multiplets under which the gravitini are not charged.

From the supersymmetry transformation \(\delta \psi _{\hat{\phi }i}\), the twist requires

$$\begin{aligned} \gamma _{\hat{\theta }\hat{\phi }}\epsilon _i=\frac{ih_1a_3}{g_2}\left[ g_2{(\sigma _2\otimes {\mathbb {I}}_2)_i}^j-g_1{(\sigma _2\otimes \sigma _3)_i}^j\right] \epsilon _j. \end{aligned}$$
(39)

The identity \((\gamma _{\hat{\theta }\hat{\phi }})^2=-{\mathbb {I}}_4\) imposes the consistency condition

$$\begin{aligned} \epsilon _i=\frac{h_1^2a_3^2}{g_2^2}\left[ (g_1^2+g_2^2)\delta _i^j-2g_1g_2{({\mathbb {I}}_2\otimes \sigma _3)_i}^j\right] \epsilon _j. \end{aligned}$$
(40)

This condition can be satisfied by setting \(g_1g_2=0\) or imposing a projector

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

The existence of supersymmetric \(AdS_5\) vacua requires non-vanishing \(g_1\) [38]. On the other hand, the \(SO(2)_{\text {diag}}\) twist requires non-vanishing \(g_2\), see (34). Therefore, we need to impose the projector (41) on the Killing spinors. Explicitly, the two sign choices of this projector give \(\epsilon _{2,4}=0\) and \(\epsilon _{1,3}=0\), respectively. This is precisely in agreement with the \(N=2\) unbroken supersymmetry preserved by non-vanishing scalars \(\phi _3\) and \(\phi _5\) as noted before. For definiteness, we will choose the plus sign.

Imposing the projector (41), equation (39) leads to a twist condition

$$\begin{aligned} 1=h_1a_3\left( 1-\frac{g_1}{g_2}\right) \end{aligned}$$
(42)

and a projector

$$\begin{aligned} \gamma _{\hat{\theta }\hat{\phi }}\epsilon _i={(i\sigma _2\otimes {\mathbb {I}}_2)_i}^j\epsilon _j. \end{aligned}$$
(43)

3.1 Supersymmetric \(AdS_5\) vacua

We first look at supersymmetric \(AdS_5\) vacua within the aforementioned truncation to \(SO(2)_{\text {diag}}\times SO(2)\) residual symmetry. For \(\varphi _3=\varphi _4=0\), the scalar potential is given by

$$\begin{aligned} V= & {} \frac{1}{8\Sigma ^2}(1+\cosh 2\phi _3\cosh 2\phi _5)\nonumber \\{} & {} \times \,\left[ h_1^2[\cosh 2\phi _1(\cosh 2\phi _3\cosh 2\phi _5-1)-2]\right. \nonumber \\{} & {} \left. +\,4\sqrt{2}g_1h_1\cosh \phi _1\Sigma ^3{+}g_2^2\Sigma ^6(\cosh 2\phi _3\cosh 2\phi _5{-}1)\right] \!.\nonumber \\ \end{aligned}$$
(44)

The superpotential is given in terms of the first (\(\alpha _1\)) or third \((\alpha _3)\) eigenvalue of \(A^{ij}_1\) tensor as \(W=\sqrt{\frac{2}{3}}|\alpha _{1,3}|\) with the explicit form

$$\begin{aligned} W= & {} \frac{1}{12\Sigma }\left[ 2h_1\cosh \phi _1(1+\cosh 2\phi _3\cosh 2\phi _5)\right. \nonumber \\{} & {} \left. +\,\sqrt{2}\Sigma ^3(g_2-2g_1-g_2\cosh 2\phi _3\cosh 2\phi _5) \right] . \end{aligned}$$
(45)

The superpotential admits two supersymmetric \(AdS_5\) critical points. The first one is given by the trivial critical point at the origin of the scalar manifold \(SO(5,5)/SO(5)\times SO(5)\)

$$\begin{aligned}{} & {} \phi _1=\phi _3=\phi _5=0,\quad \Sigma =-\left( \frac{h_1}{\sqrt{2}g_1}\right) ^{\frac{1}{3}},\nonumber \\{} & {} V_0=-3\left( \frac{g_1h_1^2}{2}\right) ^{\frac{2}{3}},\quad L_{AdS_5}=\sqrt{2}\left| \frac{2}{g_1h_1^2}\right| ^{\frac{1}{3}}. \end{aligned}$$
(46)

\(V_0\) is the cosmological constant, and the \(AdS_5\) radius is given by \(L=\sqrt{-\frac{6}{V_0}}\). We can also choose \(g_1=-\frac{h_1}{\sqrt{2}}\) to bring this critical point to \(\Sigma =1\). This critical point preserves the full \(N=4\) supersymmetry and \(SO(2)_D\times SO(3)\times SO(3)\) gauge symmetry.

The second critical point is \(N=2\) supersymmetric and given by

$$\begin{aligned}{} & {} \phi _1=0,\quad \phi _5=\text {constant},\quad \Sigma =\left( \frac{\sqrt{2}h_1}{g_2}\right) ^{\frac{1}{3}},\nonumber \\{} & {} \phi _3=\frac{1}{2}\ln \nonumber \\{} & {} \quad {\times } \left[ \frac{2g_2{-}8g_1{+}\sqrt{2}\sqrt{32g_1^2{-}16g_1g_2{-}7g_2^2{-}9g_2^2\cosh 4\phi _5}}{6g_2\cosh 2\phi _5}\right] , \nonumber \\{} & {} V_0=-\frac{2}{3}(g_2-g_1)^2\left( \frac{h_1^2}{\sqrt{2}g_2^2}\right) ^{\frac{2}{3}},\nonumber \\{} & {} L_{AdS_5}=\frac{3}{g_2-g_1}\left( \frac{\sqrt{2}g_2^2}{h_1^2}\right) ^{\frac{1}{3}}. \end{aligned}$$
(47)

We have taken \(g_2>g_1\) for simplicity. For \(\phi _5=0\), we recover the results of [29, 39] with

$$\begin{aligned} \phi _3=\frac{1}{2}\ln \left[ \frac{g_2-4g_1+2\sqrt{4g_1^2-2g_1g_2-2g_2^2}}{3g_2}\right] . \end{aligned}$$
(48)

Similar to the result of [29], the gauge group is broken to \(SO(2)_{\text {diag}}\times SO(3)\) with \(SO(2)_{\text {diag}}\) being the diagonal subgroup of \(SO(2)_D\times SO(2)_R\). The SO(2) symmetry is enhanced to \(SO(3)\subset SO(5)\) due to the vanishing of \(\phi _1\). We also note that for \(\phi _3=0\), we have

$$\begin{aligned} \phi _5=\frac{1}{2}\ln \left[ \frac{g_2-4g_1+2\sqrt{4g_1^2-2g_1g_2-2g_2^2}}{3g_2}\right] \end{aligned}$$
(49)

which shows a symmetric role between \(\phi _3\) and \(\phi _5\). Indeed, all values of \(\phi _5\) lead to physically equivalent \(N=2\) \(AdS_5\) vacua with \(SO(2)_{\text {diag}}\) generator given by different linear combinations of \(X_0\) and \(X_3\).

3.2 Supersymmetric \(AdS_3\times \Sigma ^2\) fixed points

With the twist condition (42) and the projector (43), the supersymmetry transformations \(\delta \psi _{\hat{\phi }i}\) and \(\delta \psi _{\hat{\theta }i}\) lead to the same BPS equation as usually the case in performing topological twists. Setting \(\epsilon _2=\epsilon _4=0\), we arrive at the following BPS equations

$$\begin{aligned} F'= & {} \frac{1}{48g_2^2\Sigma ^2}\left[ 4g_2^2\Sigma \left\{ 2h_1\cosh \phi _1(1+\cosh 2\phi _3\cosh 2\phi _5)\right. \right. \nonumber \\{} & {} \left. +\sqrt{2}\Sigma ^3(g_2-2g_1-g_2\cosh 2\phi _3\cosh 2\phi _5)\right\} \nonumber \\{} & {} \left. -8\kappa e^{-2G}\left\{ \sqrt{2}a_3h_1+2g_2\Sigma ^3(a_3\cosh \phi _1\right. \right. \nonumber \\{} & {} \left. \left. +a_6\sinh \phi _1)\right\} \right] , \end{aligned}$$
(50)
$$\begin{aligned} G'= & {} \frac{1}{48g_2^2\Sigma ^2}\left[ 4g_2^2\Sigma \left\{ 2h_1\cosh \phi _1(1+\cosh 2\phi _3\cosh 2\phi _5)\right. \right. \nonumber \\{} & {} \left. +\sqrt{2}\Sigma ^3(g_2-2g_1-g_2\cosh 2\phi _3\cosh 2\phi _5)\right\} \nonumber \\{} & {} \left. +16\kappa e^{-2G}\left\{ \sqrt{2}a_3h_1+2g_2\Sigma ^3(a_3\cosh \phi _1\right. \right. \nonumber \\{} & {} \left. \left. +a_6\sinh \phi _1)\right\} \right] , \end{aligned}$$
(51)
$$\begin{aligned} \Sigma '= & {} \frac{1}{6}h_1\cosh \phi _1(1+\cosh 2\phi _3\cosh 2\phi _5)\nonumber \\{} & {} +\frac{\sqrt{2}}{6}\Sigma ^3(2g_1-g_2+g_2\cosh 2\phi _3\cosh 2\phi _5)\nonumber \\{} & {} +\frac{\kappa }{6g_2\Sigma }e^{-2G}\left[ 2\sqrt{2} a_3h_1-2 g_2\Sigma ^3(a_3\cosh \phi _1 \right. \nonumber \\{} & {} \left. +a_6\sinh \phi _1)\right] , \end{aligned}$$
(52)
$$\begin{aligned} \phi '_1= & {} -h_1\Sigma ^{-1}\sinh \phi _1(1+\cosh 2\phi _3\cosh 2\phi _5)\nonumber \\{} & {} -\kappa e^{-2G}\Sigma (a_3\sinh \phi _1+a_6\cosh \phi _1),\nonumber \\ \end{aligned}$$
(53)
$$\begin{aligned} \phi '_3= & {} \frac{1}{4}\Sigma ^{-1}\text {sech}2\phi _5\sinh 2\phi _3(\sqrt{2}g_2\Sigma ^3-2h_1\cosh \phi _1),\nonumber \\ \end{aligned}$$
(54)
$$\begin{aligned} \phi '_5= & {} \frac{1}{4}\Sigma ^{-1}\cosh 2\phi _3\sinh 2\phi _5(\sqrt{2}g_2\Sigma ^3-2h_1\cosh \phi _1).\nonumber \\ \end{aligned}$$
(55)

As in [29], we have also used the \(\gamma _{\hat{r}}\)-projector of the form

$$\begin{aligned} \gamma _{\hat{r}}\epsilon _i=-i{I_i}^j\epsilon _j \end{aligned}$$
(56)

for \({I_i}^j=\sqrt{\frac{2}{3}}\frac{\Omega _{ik}A_1^{kj}}{|W|}\). It can be verified that these equations imply the second-order field equations.

An \(AdS_3\times \Sigma ^2\) fixed point is obtained from the conditions

$$\begin{aligned} \phi '_1=\phi _3'=\phi _5'=\Sigma '=G'=0\quad \text {and}\quad F'=\frac{1}{L_{AdS_3}}. \end{aligned}$$
(57)

From the BPS equations, we find the following \(AdS_3\times \Sigma ^2\) fixed points:

$$\begin{aligned} 1. \quad{} & {} \phi _3=\phi _6=0,\quad \phi _1=\frac{1}{2}\ln \left[ \frac{(a_3-a_6)(a_3g_1-a_6g_2)}{(a_3+a_6)(a_3g_1+a_6g_2)}\right] ,\nonumber \\ \quad{} & {} \Sigma =\left( -\frac{\sqrt{2}a_3^2h_1(g_1+g_2)}{g_2\sqrt{(a_3^2-a_6^2)(a_3^2g_1^2-a_6^2g_2^2)}}\right) ^{\frac{1}{3}}, \nonumber \\ \quad{} & {} G=\frac{1}{2}\ln \left[ -\frac{2\kappa a_3g_2(a_3^2-a_6^2)^2}{h_1(g_1+g_2)(a_3^2g_1^2-a_6^2g_2^2)}\right] ,\nonumber \\{} & {} L_{AdS_3}{=}\left( \frac{8\sqrt{2}a_3^2g_2^2(g_1{+}g_2)(a_3^2{-}a_6^2)(a_6^2g_2^2{-}a_3^2g_1^2)}{h_1^2(a_6^2g_2^2{+}g_1a_3^2(g_1{+}2g_2))^3}\right) ^{\frac{1}{3}} \end{aligned}$$
(58)
$$\begin{aligned} 2. \quad{} & {} a_6=0,\quad \phi _1=0,\quad \Sigma =\left( \frac{\sqrt{2}h_1}{g_2}\right) ^{\frac{1}{3}},\nonumber \\{} & {} \phi _5=\phi ^*_5=\text {constant},\nonumber \\{} & {} \phi _3{=}\frac{1}{2}\!\ln \left[ \frac{2g_2{-}8g_1{+}\sqrt{2}\sqrt{32g_1^2{-}16g_1g_2{-}7g_2^2{-}9g_2^2\cosh 4\phi _5}}{6g_2\cosh 2\phi _5}\right] ,\nonumber \\{} & {} G=\frac{1}{2}\ln \left[ \frac{3\kappa a_3}{(g_1-g_2)}\left( \frac{2g_2}{h_1}\right) ^{\frac{1}{3}}\right] ,\nonumber \\{} & {} L_{AdS_3}=\frac{2}{(g_2-g_1)}\left( \frac{\sqrt{2}g_2^2}{h_1^2}\right) ^{\frac{1}{3}} \end{aligned}$$
(59)
$$\begin{aligned} 3. \quad{} & {} \phi _1=\frac{1}{2}\ln \left[ \frac{a_3+a_6}{a_3-a_6}\right] ,\quad \Sigma =\left( \frac{\sqrt{2}\kappa a_3h_1}{g_2\sqrt{a_3^2-a_6^2}}\right) ^{\frac{1}{3}},\nonumber \\{} & {} \phi _5=\phi ^*_5=\text {constant},\nonumber \\{} & {} \phi _3{=}\frac{1}{2}\ln \left[ \sqrt{4e^{4\phi _5}[a_3^2(4g_1{-}g_2){+}a_6^2g_2]^2{-}g_2^2(3a_3^2{+}a_6^2)^2(1{+}e^{4\phi _5})^2}\right. \nonumber \\{} & {} \left. \qquad \quad -2e^{2\phi _5}[a_3^2(4g_1-g_2)+a_6^2g_2]\right] \nonumber \\{} & {} \qquad \quad -\frac{1}{2}\ln \left[ g_2(3a_3^2+a_6^2)(1+e^{4\phi _5})\right] ,\nonumber \\{} & {} G=\frac{1}{6}\ln \left[ \frac{2\kappa g_2(3a_3^2+a_6^2)^3}{a_3h_1(a_3^2-a_6^2)(g_1-g_2)^3}\right] , \nonumber \\{} & {} L_{AdS_3}=\left( \frac{8\sqrt{2}g_2^2(a_3^2-a_6^2)}{a_3^2h_1^2(g_2-g_1)^3}\right) ^{\frac{1}{3}}. \end{aligned}$$
(60)

It turns out that all of these fixed points only exist for \(\kappa =-1\) leading to \(AdS_3\times H^2\) geometries. For critical points 2 and 3, this is obviously seen by the reality of G and the twist condition (42). It should also be pointed out that at critical point 2, \(a_6=0\) is required by consistency of Eq. (53) for \(\phi _1=0\).

Although in this work, we are mainly interested in the cases of \(\Sigma ^2=S^2\) and \(\Sigma ^2=H^2\), it could be useful to point out the possibility of obtaining black string solutions with \(AdS_3\times {\mathbb {R}}^2\) near horizon geometry. Since in this case, the \(\Sigma ^2={\mathbb {R}}^2\) is flat, there is no need to perform a twist. A similar analysis leading to the twist condition (42) would require that \(a_3=0\) which also implies \(a_0=0\). Therefore, the possible solutions will not be charged under any subgroup of the \(SU(4)_R\sim SO(6)_R\) R-symmetry. In this case, only \(A^6\) gauge field corresponding to an SO(2) subgroup of the SO(3) flavor symmetry in the dual four-dimensional SCFTs has a non-trivial magnetic flux along \(\Sigma ^2={\mathbb {R}}^2\). Setting \(a_3=0\) in the above construction of solutions with \(SO(2)_{\text {diag}}\times SO(2)\) twist, we have not found any \(AdS_3\times {\mathbb {R}}^2\) vacua from the resulting BPS equations. It is possible that different twists such as turning on \(SO(2)_D\times SO(2)\times SO(2)\subset SO(2)_D\times SO(3)\times SO(3)\) gauge fields could lead to \(AdS_3\times {\mathbb {R}}^2\) solutions. However, we will not further consider this type of solutions in the present paper.

Before giving explicit solutions interpolating between supersymmetric \(AdS_5\) vacua and these \(AdS_3\times H^2\) fixed points, we first note the unbroken supersymmetry of the solutions. Due to the projectors (41), (43) and (56), the black string solutions preserve \(\frac{16}{2^3}=2\) supercharges. Using the relation among SO(1, 4) gamma matrices \(i=\gamma _{\hat{0}}\gamma _{\hat{1}}\gamma _{\hat{r}}\gamma _{\hat{\theta }}\gamma _{\hat{\phi }}\), we find the chirality matrix on the two-dimensional Minkowski space

$$\begin{aligned} \gamma _*\epsilon _i=\gamma _{\hat{0}}\gamma _{\hat{1}}\epsilon _i=-i\gamma _{\hat{r}}\gamma _{\hat{\theta }}\gamma _{\hat{\phi }}=\pm (\epsilon _1,0,\epsilon _3,0) \end{aligned}$$
(61)

in which we have used the projector (43) and an explicit form of the \(\gamma _{\hat{r}}\)-projector (56), \(\gamma _{\hat{r}}\epsilon _i=\pm {(\sigma _2\otimes \sigma _3)_i}^j\epsilon _j\). We then see that the Killing spinors \(\epsilon _1\) and \(\epsilon _3\) have definite two-dimensional chiralities, so the flow solutions will preserve \(N=(2,0)\) or \(N=(0,2)\) Poincaré supersymmetry in two dimensions. At the \(AdS_3\times H^2\) fixed points, the supersymmetry is enhanced to 4 supercharges since the \(\gamma _{\hat{r}}\)-projector is not necessary for constant scalars. This results in \(N=(2,0)\) or \(N=(0,2)\) superconformal symmetry in two dimensions. Accordingly, the aforementioned \(AdS_3\times H^2\) fixed points are dual to two-dimensional \(N=(2,0)\) or \(N=(0,2)\) SCFTs.

3.3 Supersymmetric black string solutions

We now find solutions to the BPS equations that interpolate between supersymmetric \(AdS_5\) critical points and \(AdS_3\times H^2\) fixed points identified previously. We begin with a simple solution interpolating between the \(N=2\) \(AdS_5\) vacuum to \(AdS_3\times H^2\) fixed point 2. It should be noted that \(\Sigma \), \(\phi _1\) and \(\phi _3\) take the same values at both of these critical points. We can then truncate these scalar fields out by setting them to the values at the critical points together with \(a_6=0\). For \(\kappa =-1\), the remaining BPS equations are simply given by

$$\begin{aligned}{} & {} F'=\frac{(g_2-g_1)}{3}\left( \frac{h_1^2}{\sqrt{2}g_2^2}\right) ^{\frac{1}{3}}+\frac{1}{2} a_3\left( \frac{\sqrt{2}h_1}{g_2}\right) ^{\frac{1}{3}}e^{-2G},\nonumber \\ \end{aligned}$$
(62)
$$\begin{aligned}{} & {} G'=\frac{(g_2-g_1)}{3}\left( \frac{h_1^2}{\sqrt{2}g_2^2}\right) ^{\frac{1}{3}}- a_3\left( \frac{\sqrt{2}h_1}{g_2}\right) ^{\frac{1}{3}}e^{-2G}.\nonumber \\ \end{aligned}$$
(63)

Accordingly, the flow from \(N=2\) \(AdS_5\) vacuum to \(AdS_3\times H^2\) critical point 2 is driven only by the metric function G(r). The above equations can be readily solved by

$$\begin{aligned} G= & {} \frac{1}{2}\ln \left[ \frac{e^{\frac{2(r{-}r_0)}{L_5}}{+}6a_3g_2^{\frac{1}{3}}}{2^{\frac{2}{3}}(g_2{-}g_1)h_1^{\frac{1}{3}}}\right] , \quad L_5{=}\frac{3}{(g_2-g_1)}\left( \frac{\sqrt{2}g_2^2}{h_1^2}\right) ^{\frac{1}{3}},\nonumber \\ F= & {} \frac{3r}{2L_5}-\frac{1}{4}\ln \left[ e^{\frac{2(r-r_0)}{L_5}}+6 a_3g_2^{\frac{1}{3}}\right] \end{aligned}$$
(64)

in which we have removed an additive integration constant in F(r). The constant \(r_0\) can also be removed by shifting the radial coordinate r. From this solution, we immediately see that as \(r\rightarrow \infty \),

$$\begin{aligned} F\sim G\sim \frac{r}{L_5} \end{aligned}$$
(65)

which gives locally asymptotically \(N=2\) \(AdS_5\) critical point. On the other hand, for \(r\rightarrow -\infty \), we find that the solution becomes \(AdS_3\times H^2\) fixed point 2

$$\begin{aligned}{} & {} G\sim \frac{1}{2}\ln \left[ \frac{3a_3}{g_2-g_1}\left( \frac{2g_2}{h_1}\right) ^{\frac{1}{3}}\right] \qquad \nonumber \\{} & {} \quad \text {and}\quad F\sim \frac{(g_2-g_1)}{2}\left( \frac{h_1^2}{\sqrt{2}g_2^2}\right) ^{\frac{1}{3}}r. \end{aligned}$$
(66)

For more general solutions with non-vanishing scalars, we need to solve the BPS equations numerically to find the solutions. We follow [29] to fix numerical values of various parameters by defining

$$\begin{aligned} g_1=-\frac{h_1}{\sqrt{2}},\quad g_2=\frac{\sqrt{2}h_1}{\rho },\quad h_2=\frac{h_1}{\zeta }. \end{aligned}$$
(67)

Examples of solutions for \(\phi _1=0\), \(a_6=0\), \(h_1=1\), \(\zeta =\frac{1}{2}\) and \(\rho =\frac{3}{2}\) are given in Fig. 1. In the figure, we have given two types of solutions. A solution interpolating between the \(N=4\) \(AdS_5\) critical point to the \(AdS_3\times H^2\) fixed point with \(\phi ^*_5=0.15\) is given by the purple line. There are also solutions that flow from the \(N=4\) \(AdS_5\) critical point to \(N=2\) \(AdS_5\) vacuum and then proceed to \(AdS_3\times H^2\) fixed point 2 in the IR. Examples of these solutions for three different values of \(\phi ^*_5=0.00,0.15,0.30\) at the latter two fixed points are given by pink, orange and green lines, respectively. The dashed lines in the solutions for \(F'(r)\) indicate the values of \(\frac{1}{L_{AdS_5}}\) and \(\frac{1}{L_{AdS_3}}\) at different critical points.

To obtain these solutions, we have performed numerical integrations from the \(AdS_3\times H^2\) vacua in the IR to the \(AdS_5\) critical points in the UV. Generic choices of boundary conditions lead to the first type of solutions interpolating between the \(N=4\) \(AdS_5\) and \(AdS_3\times H^2\) fixed points. On the other hand, by tuning the boundary conditions very close to the \(AdS_3\times H^2\) fixed points, we find the second type of solutions interpolating between \(N=4\) and \(N=2\) \(AdS_5\) vacua and \(AdS_3\times H^2\) geometries in the IR.

Fig. 1
figure 1

Examples of RG flows from \(N=4\) and \(N=2\) \(AdS_5\) critical points to \(N=(2,0)\) \(AdS_3\times H^2\) fixed point 2 with \(SO(2)_{\text {diag}}\times SO(2)\) symmetry in the IR with \(\phi _1=0\), \(a_6=0\), \(h_1=1\), \(\rho =\frac{3}{2}\) and \(\zeta =\frac{1}{2}\) for \(\phi ^*_5=0\) (pink), \(\phi ^*_5=0.15\) (orange and purple) and \(\phi ^*_5=0.30\) (green)

Fig. 2
figure 2

Examples of RG flows from \(N=4\) \(AdS_5\) critical point to \(N=(2,0)\) \(AdS_3\times H^2\) fixed point 1 in the IR with \(\phi _3=\phi _5=0\), \(h_1=1\), \(\rho =4\) and \(\zeta =\frac{1}{2}\) for \(a_6=0.70\) (blue), \(a_6=0.75\) (red) and \(a_6=0.80\) (green)

We now consider solutions flowing to \(AdS_3\times H^2\) critical point 1 with only \(\phi _1\) non-vanishing. For \(\phi _3=\phi _5=0\), the truncated BPS equations only admit the \(N=4\) \(AdS_5\) critical point as an asymptotic geometry. Therefore, in this case, there are only solutions interpolating between this \(AdS_5\) critical point and the \(AdS_3\times H^2\) geometry in the IR. Examples of these solutions for different values of \(a_6=0.70,0.75,0.80\) are given in Fig. 2.

Finally, we look for more complicated solutions flowing to \(AdS_3\times H^2\) fixed point 3 with all scalars non-vanishing. Examples of solutions interpolating between \(N=4\) \(AdS_5\) critical point and this \(AdS_3\times H^2\) fixed point are given in Fig. 3. It should be noted that at the \(AdS_3\times H^2\) fixed point, only the value of \(\phi _3\) is affected by the value of \(\phi ^*_5\). In addition, the solutions in the figure indicate that apart from the solutions for \(\phi _3\) and \(\phi _5\), the entire flow solutions for other fields are not affected by different values of \(\phi ^*_5\) at the \(AdS_3\times H^2\) fixed point.

Fig. 3
figure 3

Examples of RG flows from \(N=4\) \(AdS_5\) critical point to \(N=(2,0)\) \(AdS_3\times H^2\) fixed point 3 in the IR with \(h_1=1\), \(\rho =\frac{3}{2}\), \(\zeta =\frac{1}{2}\) and \(a_6=\frac{1}{4}\) for \(\phi ^*_5=0\) (orange), \(\phi ^*_5=0.15\) (pink) and \(\phi ^*_5=0.30\) (purple)

All of these solutions describe black strings with a near horizon geometry of the form \(AdS_3\times H^2\) in asymptotically locally \(AdS_5\) spaces. Holographically, the solutions can also be considered as holographic RG flows from the four-dimensional \(N=2\) and \(N=1\) SCFTs to two-dimensional \(N=(2,0)\) SCFTs in the IR.

4 Supersymmetric \(AdS_5\) black strings with \(SO(2)_{\text {diag}}\) symmetry

In this section, we repeat the same analysis for a smaller residual symmetry \(SO(2)_{\text {diag}}\) that is the diagonal subgroup of \(SO(2)_D\times SO(2)_R\times SO(2)\) generated by \(X_0\), \(X_3\) and \(X_6\). As pointed out in [29], there are nine singlet scalars under \(SO(2)_{\text {diag}}\) corresponding to the non-compact generators

$$\begin{aligned}{} & {} \hat{Y}_1=Y_{31},\quad \hat{Y}_2=Y_{42}+Y_{53},\quad \hat{Y}_3=Y_{44}+Y_{55},\nonumber \\{} & {} \hat{Y}_4=Y_{43}-Y_{52},\quad \hat{Y}_5=Y_{45}-Y_{54},\quad \tilde{Y}_1=Y_{12}+Y_{23},\nonumber \\{} & {} \tilde{Y}_2=Y_{13}-Y_{22},\quad \tilde{Y}_3=Y_{14}+Y_{25},\quad \tilde{Y}_4=Y_{15}-Y_{24}. \nonumber \\ \end{aligned}$$
(68)

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}e^{\phi _4\hat{Y}_4}e^{\phi _5\hat{Y}_5} e^{\varphi _1\tilde{Y}_1}e^{\varphi _2\tilde{Y}_2}e^{\varphi _3\tilde{Y}_3}e^{\varphi _4\tilde{Y}_4}. \end{aligned}$$
(69)

It turns out that the analysis in this case is much more complicated than the previous case of \(SO(2)_{\text {diag}}\times SO(2)\) symmetry. To proceed further, we will consider a subtruncation of this sector with \(\varphi _1=\varphi _2=\varphi _3=\varphi _4=0\). However, consistency among the BPS equations and compatibility between the BPS equations and the field equations further require that \(\phi _4=\phi _5=0\). The resulting truncation is accordingly the same as that studied in [29] with only \(\phi _1\), \(\phi _2\) and \(\phi _3\) non-vanishing.

The ansatz for the metric and \((A^0, A^3,A^6)\) gauge fields are the same as in the previous section. To implement the \(SO(2)_{\text {diag}}\) symmetry, in this case, we impose the following conditions

$$\begin{aligned} A^0=\frac{h_1}{g_2}A^3\quad \text {and}\quad A^6=\frac{h_1}{h_2}A^3. \end{aligned}$$
(70)

The twist can be performed in the same way as in the previous section with the twist condition (42) and projectors (41) and (43).

4.1 Supersymmetric \(AdS_5\) vacua

Since the scalar sector considered here is the same as in [29], the \(AdS_5\) vacua are given by those identified in [29]. We will only give the superpotential and supersymmetric \(AdS_5\) critical points but refer to [29] for the explicit form of the scalar potential.

The superpotential is given by

$$\begin{aligned} W= & {} \frac{1}{3}\Sigma ^{-1}\cosh ^2\phi _3\left( h_1\cosh \phi _1\cosh ^2\phi _2\right. \nonumber \\{} & {} \left. {+}h_2\sinh \phi _1\sinh ^2\phi _2\right) \nonumber \\{} & {} +\frac{\sqrt{2}}{12}(g_2- 2g_1-g_2\cosh 2\phi _3)\Sigma ^2 \end{aligned}$$
(71)

which admits the following \(AdS_5\) critical points:

  • I. The trivial critical point, at the origin of SO(5, 5)/SO\( (5)\times SO(5)\), is given by

    $$\begin{aligned}{} & {} \phi _1=\phi _2=\phi _3=0,\quad \Sigma =-\left( \frac{h_1}{\sqrt{2}g_1}\right) ^{\frac{1}{3}},\nonumber \\{} & {} V_0=-3\left( \frac{g_1h_1^2}{2}\right) ^{\frac{2}{3}}. \end{aligned}$$
    (72)

    As in the previous section, this critical point preserves the full \(SO(2)_D\times SO(3)\times SO(3)\) gauge symmetry and \(N=4\) supersymmetry.

  • II. Unlike the previous case of \(SO(2)_{\text {diag}}\times SO(2)\) symmetry, there is another \(N=4\) \(AdS_5\) critical point given by

    $$\begin{aligned}{} & {} \phi _1\,{=}\,\phi _2\,{=}\,\frac{1}{2}\ln \left[ \frac{h_2-h_1}{h_2{+}h_1}\right] ,\,\, \Sigma {=}{-}\left( \frac{h_1h_2}{\sqrt{2}g_1\sqrt{h_2^2{-}h_1^2}}\right) ^{\frac{1}{3}}\!,\nonumber \\{} & {} \phi _3=0,\quad V_0=-\frac{3}{2}\quad \left( \frac{\sqrt{2}g_1h_1^2h_2^2}{h_2^2-h_1^2}\right) ^{\frac{2}{3}}. \end{aligned}$$
    (73)

    This critical point preserves \(SO(2)_D\times SO(3)_{\text {diag}}\) symmetry.

  • III. The next critical point is given by

    $$\begin{aligned}{} & {} \phi _1=\phi _2=0,\nonumber \\{} & {} \phi _3=\frac{1}{2}\ln \left[ \frac{g_2-4g_1+ 2\sqrt{4g_1^2-2g_1g_2-2g_2^2}}{3g_2}\right] ,\nonumber \\{} & {} \Sigma =-\left( \frac{\sqrt{2}h_1}{g_2}\right) ^{\frac{1}{3}},\nonumber \\{} & {} V_0=-\frac{1}{3}(g_1-g_2)^2\left( \frac{\sqrt{2}h_1}{g_2}\right) ^{\frac{4}{3}}. \end{aligned}$$
    (74)

    This critical point preserves \(N=2\) supersymmetry and \(SO(2)_{\text {diag}}\times SO(3)\) symmetry.

  • IV. There is another \(N=2\) supersymmetric critical point given by

    $$\begin{aligned}{} & {} \phi _1=\phi _2{=}\frac{1}{2}\ln \left[ \frac{h_2{-}h_1}{h_2{+}h_1}\right] ,\quad \Sigma {=}\left( \frac{\sqrt{2}h_1h_2}{g_2\sqrt{h_2^2-h_1^2}}\right) ^{\frac{1}{3}},\nonumber \\{} & {} \phi _3=\frac{1}{2}\ln \left[ \frac{g_2-4g_1+ 2\sqrt{4g_1^2-2g_1g_2-2g_2^2}}{3g_2}\right] ,\nonumber \\{} & {} V_0=-\frac{2}{3}(g_1-g_2)^2\left( \frac{h_1^2h_2^2}{\sqrt{2}g_2^2(h_2^2-h_1^2)}\right) ^{\frac{2}{3}} \end{aligned}$$
    (75)

    which is invariant under \(SO(2)_{\text {diag}}\).

As pointed out in [29], some of these critical points appear in pairs with some sign differences. Since critical points related by these sign changes are physically equivalent, in the above equations, we have chosen a particular sign choice for definiteness.

4.2 Supersymmetric \(AdS_3\times \Sigma ^2\) fixed points

With the same analysis of supersymmetry transformations of fermionic fields, we obtain the BPS equations

$$\begin{aligned} F'= & {} \frac{1}{12g_2h_2\Sigma ^2}\left[ \sqrt{2}g_2h_2\Sigma ^4(g_2-2g_1-g_2\cosh 2\phi _3)\right. \nonumber \\{} & {} +4g_2h_2\cosh ^2\phi _3\times (h_1\cosh \phi _1\cosh ^2\phi _2\nonumber \\{} & {} +h_2\sinh \phi _1\sinh ^2\phi _2)\Sigma -2\kappa a_3e^{-2G}\nonumber \\{} & {} \times \left. \left\{ 2g_2\Sigma ^3(h_2\cosh \phi _1+h_1\sinh \phi _1)+\sqrt{2}h_1h_2 \right\} \right] ,\nonumber \\ \end{aligned}$$
(76)
$$\begin{aligned} G'= & {} \frac{1}{12g_2h_2\Sigma ^2}\left[ \sqrt{2}g_2h_2\Sigma ^4(g_2-2g_1-g_2\cosh 2\phi _3)\right. \nonumber \\{} & {} +4g_2h_2\cosh ^2\phi _3\times (h_1\cosh \phi _1\cosh ^2\phi _2\nonumber \\{} & {} +h_2\sinh \phi _1\sinh ^2\phi _2)\Sigma +4\kappa a_3e^{-2G}\nonumber \\{} & {} \times \left. \left\{ 2g_2\Sigma ^3(h_2\cosh \phi _1+h_1\sinh \phi _1)+\sqrt{2}h_1h_2 \right\} \right] ,\nonumber \\ \end{aligned}$$
(77)
$$\begin{aligned} \Sigma '= & {} \frac{1}{3}\cosh ^2\phi _3\left( h_1\cosh \phi _1\cosh ^2\phi _2{+}h_2\sinh \phi _1\sinh ^2\phi _2\right) \nonumber \\{} & {} {+}\frac{\sqrt{2}}{6}\Sigma ^3(g_2\cosh 2\phi _3{+}2g_1{-}g_2){+}\frac{1}{3g_2h_2\Sigma }\kappa a_3e^{{-}2G}\nonumber \\{} & {} \times \left[ \sqrt{2}h_1h_2{-}2g_2\Sigma ^3(h_2\cosh \phi _1+h_1\sinh \phi _1)\right] , \nonumber \\ \end{aligned}$$
(78)
$$\begin{aligned} \phi _1'= & {} -\Sigma ^{-1}\cosh ^2\phi _3\nonumber \\{} & {} \times \left( h_1\cosh ^2\phi _2\sinh \phi _1+h_2\cosh \phi _1\sinh ^2\phi _2\right) \nonumber \\{} & {} -\frac{\kappa a_3}{h_2}e^{-2G}\Sigma (h_1\cosh \phi _1+h_2\sinh \phi _1),\nonumber \\ \end{aligned}$$
(79)
$$\begin{aligned} \phi _2'= & {} -\Sigma ^{-1}\cosh \phi _2\sinh \phi _2(h_1\cosh \phi _1+h_2\sinh \phi _1), \end{aligned}$$
(80)
$$\begin{aligned} \phi _3'= & {} \frac{1}{4}\Sigma ^{-1}\sinh 2\phi _3\nonumber \\{} & {} \times \left[ \sqrt{2}g_2\Sigma ^3-2h_1\cosh \phi _1\cosh ^2\phi _2\right. \nonumber \\{} & {} \left. -2h_2\sinh \phi _1\sinh ^2\phi _2\right] . \end{aligned}$$
(81)

From these equations, we find the following \(AdS_3\times \Sigma ^2\) fixed points:

$$\begin{aligned} \text {i}:{} & {} \phi _2{=}\phi _3{=}0,\quad \phi _1{=}\frac{1}{2}\ln \left[ \frac{(h_2{-}h_1)(g_1h_2{-}g_2h_1)}{(h_2{+}h_1)(g_2h_1{+}g_1h_2)}\right] ,\nonumber \\{} & {} \Sigma =\left( -\frac{\sqrt{2}(g_1+g_2)h_1h_2^2}{g_2\sqrt{(h_2^2-h_1^2)(g_1^2h_2^2-g_2^2h_1^2)}}\right) ^{\frac{1}{3}}, \nonumber \\{} & {} G=\frac{1}{2}\ln \left[ \frac{2^{\frac{1}{3}}\kappa a_3 (g_1+g_2)h_1h_2^2}{g_2(g_2^2h_1^2-g_1^2h_2^2)}\right] ,\nonumber \\{} & {} L_{AdS_3}=\left( \frac{\begin{aligned}8\sqrt{2}g_2^2h_2^2(g_1+g_2)(h_2^2-h_1^2)\\(g^2_2h_1^2-g_1^2h_2^2)\end{aligned}}{h_1^2[g_2^2h_1^2+g_1^2h_2^2(g_1+2g_2)]^3}\right) ^{\frac{1}{3}}, \end{aligned}$$
(82)
$$\begin{aligned} \text {ii}:{} & {} \quad \phi _3=0,\quad \phi _1=\phi _2=\frac{1}{2}\ln \left[ \frac{h_2-h_1}{h_2+h_1}\right] ,\nonumber \\{} & {} \Sigma =\left( -\frac{\sqrt{2}h_1h_2(g_1+g_2)}{g_1g_2\sqrt{h_2^2-h_1^2}}\right) ^{\frac{1}{3}},\nonumber \\{} & {} G=\frac{1}{6}\ln \left[ -\frac{2g_2\kappa a_3^3(h_2^2-h_1^2)^2}{g_1^2h_1h_2^4(g_1+g_2)}\right] ,\nonumber \\{} & {} L_{AdS_3}=\left( -\frac{8\sqrt{2}g_2^2(g_1+g_2)(h_2^2-h_1^2)}{g_1h_1^2h_2^2(g_1+2g_2)^3}\right) ^{\frac{1}{3}}, \end{aligned}$$
(83)
$$\begin{aligned} \text {iii}:{} & {} \quad \phi _2=0,\quad \phi _1=\frac{1}{2}\ln \left[ \frac{h_2+h_1}{h_2-h_1}\right] ,\nonumber \\{} & {} \Sigma =\left( \frac{\sqrt{2}h_1h_2}{g_2\sqrt{h_2^2-h_1^2}}\right) ^{\frac{1}{3}},\nonumber \\{} & {} \phi _3=\frac{1}{2}\ln \left[ \frac{\begin{aligned}g_2(h_2^2-h_1^2)-4g_1h_2^2+2h_2\\ \sqrt{2(g_1-g_2)[g_2h_1^2+h_2^2(2g_1+g_2)]}\end{aligned}}{g_2(h_1^2+3h_2^2)}\right] ,\nonumber \\{} & {} G=\frac{1}{6}\ln \left[ \frac{2\kappa a_3^3g_2(h_1^2+3h_2^2)^3}{h_1h_2^4(g_1-g_2)^3(h_2^2-h_1^2)}\right] ,\nonumber \\{} & {} L_{AdS_3}=\frac{6}{g_2-g_1}\left( 1+\sqrt{\frac{4h_2^2}{h_2^2-h_1^2}}\right) ^{-1}\nonumber \\{} & {} \times \left( \frac{\sqrt{2}g_2^2(h_2^2-h_1^2)}{h_1^2h_2^2}\right) ^{\frac{1}{3}}, \end{aligned}$$
(84)
$$\begin{aligned} \text {iv}:{} & {} \quad \phi _1\,{=}\,\phi _2\,{=}\,\frac{1}{2}\ln \left[ \frac{h_2{-}h_1}{h_2{+}h_1}\right] ,\quad \Sigma {=}\left( \frac{\sqrt{2}h_1h_2}{g_2\sqrt{h_2^2-h_1^2}}\right) ^{\frac{1}{3}},\nonumber \\{} & {} \phi _3=\frac{1}{2}\ln \left[ \frac{g_2-4g_1+2\sqrt{4g_1^2-2g_1g_2-2g_2^2}}{3g_2}\right] ,\nonumber \\{} & {} G=\frac{1}{6}\ln \left[ \frac{54\kappa a_3^3g_2(h_2^2-h_1^2)^2}{(g_1-g_2)^3h_1h_2^4}\right] ,\nonumber \\{} & {} L_{AdS_3}=\frac{2}{g_2-g_1}\left( \frac{\sqrt{2}g_2^2(h_2^2-h_1^2)}{h_1^2h_2^2}\right) ^{\frac{1}{3}}. \end{aligned}$$
(85)
Fig. 4
figure 4

RG flows from \(N=4\) \(AdS_5\) critical point I to \(N=(2,0)\) \(AdS_3\times H^2\) fixed point i with \(\phi _2=\phi _3=0\), \(h_1=1\), \(\zeta =\frac{1}{2}\) for \(\rho =1.20\) (green), \(\rho =1.35\) (blue), \(\rho =1.50\) (red)

Fig. 5
figure 5

RG flows from \(N=4\) \(AdS_5\) critical points I and II to \(N=(2,0)\) \(AdS_3\times S^2\) fixed point ii in the IR with \(\phi _3=0\), \(h_1=1\), \(\rho =-\frac{5}{2}\) and \(\zeta =\frac{1}{2}\)

Fig. 6
figure 6

RG flows from \(N=4\) \(AdS_5\) critical point I to \(N=(2,0)\) \(AdS_3\times H^2\) fixed point iii in the IR with \(\phi _2=0\), \(h_1=1\), \(\zeta =\frac{1}{2}\) and \(\rho =\frac{3}{2}\) (green), \(\rho =\frac{5}{2}\) (blue), \(\rho =4\) (cyan)

Among these fixed points, only ii leads to \(AdS_3\times S^2\) geometry. All the remaining fixed points correspond to \(AdS_3\times H^2\) solutions.

Fig. 7
figure 7

RG flows from \(AdS_5\) critical points I, II and IV to \(N=(2,0)\) \(AdS_3\times H^2\) fixed point iv with \(h_1=1\), \(\zeta =\frac{1}{2}\) and \(\rho =3\)

4.3 Supersymmetric black string solutions

We now look for supersymmetric black string solutions interpolating between \(AdS_5\) and \(AdS_3\times \Sigma ^2\) geometries. We begin with solutions flowing to \(AdS_3\times H^2\) critical point i. With \(\phi _2=\phi _3=0\) and \(\kappa =-1\), examples of solutions interpolating between \(N=4\) \(AdS_5\) critical point I and \(AdS_3\times H^2\) fixed point i are shown in Fig. 4.

We now move to solutions involving \(AdS_3\times \Sigma ^2\) fixed point ii. Unlike other cases, the solutions in this case only exist for \(\kappa =1\). Some examples of solutions for \(\phi _3=0\) are given in Fig. 5. There is a solution flowing directly from \(N=4\) \(AdS_5\) vacuum I to \(AdS_3\times S^2\) fixed point ii (red line). There are also solutions that flow to \(AdS_3\times S^2\) fixed point ii and approach arbitrarily close to \(N=4\) \(AdS_5\) critical point II shown by green, purple and blue lines. Similarly, setting \(\phi _2=0\), we find solutions interpolating between \(AdS_5\) critical point I and \(AdS_3\times H^2\) fixed point iii with some examples of these solutions shown in Fig. 6.

Finally, we consider solutions that flow to \(AdS_3\times H^2\) critical point iv. We first note that the values of scalar fields are the same as those for \(N=2\) \(AdS_5\) critical point IV. By setting all scalar fields to the values at these critical points, we find a solution involving only F(r) and G(r) given by

$$\begin{aligned}{} & {} G=\frac{1}{2}\ln \left[ \frac{e^{\frac{2(r-r_0)}{L_5}}+6 a_3g_2^{\frac{1}{3}}(h_2^2-h_1^2)}{h_2(g_2-g_1)[4h_1h_2(h_2^2-h_1^2)]^{\frac{1}{3}}}\right] ,\nonumber \\{} & {} L_5=\frac{3}{(g_2-g_1)}\left( \frac{g_2^2(h_2^2-h_1^2)}{4\sqrt{2}h_1^2h_2^2}\right) ^{\frac{1}{3}},\nonumber \\{} & {} F=\frac{3r}{2L_5}-\frac{1}{4}\ln \left[ e^{\frac{2(r-r_0)}{L_5}}+6 a_3g_2^{\frac{1}{3}}(h_2^2-h_1^2)\right] . \end{aligned}$$
(86)

For more general solutions with scalars depending on r, we can find only numerical solutions. Examples of these solutions can be found in Fig. 7. In this case, the solutions are more interesting than those of the previous cases. There is a solution interpolating between \(AdS_5\) critical point I to \(AdS_3\times H^2\) fixed point iv shown by the purple line. On the other hand, there are solutions interpolating among \(AdS_5\) critical points I, II and IV and \(AdS_3\times H^2\) fixed point iv. Some of these solutions connects all these critical points within a single flow (pink line). There are also solutions interpolating between two \(AdS_5\) vacua and \(AdS_3\times H^2\) fixed point iv as shown by the orange and cyan lines. The former begins at critical point I and flows to critical points IV and iv while the latter flows from critical point I to critical points II and iv.

As in the previous section, these solutions should also holographically describe various possible RG flows from \(N=2\) and \(N=1\) SCFTs in four dimensions to \(N=(2,0)\) two-dimensional conformal fixed points in the IR.

5 Conclusions and discussions

In this paper, we have constructed a large number of supersymmetric \(AdS_5\) black string solutions from five-dimensional \(N=4\) gauged supergravity with \(SO(2)_D\times SO(3)\times SO(3)\) gauge group. The solutions interpolate between a number of different \(AdS_5\) and \(AdS_3\times \Sigma ^2\) critical points and preserve \(SO(2)_{\text {diag}}\times SO(2)\) or \(SO(2)_{\text {diag}}\) symmetry and two supercharges. On the other hand, the \(AdS_3\times \Sigma ^2\) fixed points preserve 4 supercharges corresponding to \(N=(2,0)\) or \(N=(0,2)\) superconformal symmetry in two dimensions. Some of the solutions can even be analytically obtained. Although most of the solutions describe black strings with \(AdS_3\times H^2\) near horizon geometry, we have also found one \(AdS_3\times S^2\) solution with \(SO(2)_{\text {diag}}\) symmetry. The solutions could be of interest in microscopic counting of black string entropy along the line of [11,12,13,14]. Holographically, the solutions also describe various RG flows from four-dimensional \(N=1\) and \(N=2\) SCFTs to two-dimensional \(N=(2,0)\) SCFTs in the IR via twisted compactifications on \(\Sigma ^2\). The solutions given here are expected to be useful in holographic study of strongly coupled \(N=1,2\) SCFTs in four dimensions with topological twists as well.

It should be pointed out that the \(N=2\) \(AdS_5\) vacuum with \(SO(2)_{\text {diag}}\times SO(3)\) symmetry, obtained from \(SO(2)_{\text {diag}}\times SO(2)\) sector, together with \(AdS_3\times H^2\) fixed point 2 and related flow solutions can be embedded in \(N=4\) gauged supergravity with \(n=2,3\) vector multiplets. The latter can be obtained from the gauged supergravity considered here by truncating out \(\phi _1\) and the gauge field \(A^6_{\mu }\) resulting in \(N=4\) gauged supergravity with \(SO(2)_D\times SO(3)_R\) gauge group. It has been shown in [35] that this gauged supergravity can be embedded in eleven dimensions.Therefore, within the above truncation, the solutions given here can be uplifted to M-theory. It is then of particular interest to construct the truncation ansatz from the result of [35] and uplift the black string solutions found here to M-theory. This would lead to a new holographic dual of \(N=(2,0)\) SCFTs in two dimensions within string/M-theory context.

Moreover, it could be interesting to identify the \(N=1\) and \(N=2\) SCFTs dual to the \(AdS_5\) vacua and the two-dimensional conformal fixed points in the IR as well as the associated RG flows in the field theory context. Partial results along this direction have been given in [39] in which the possible dual \(N=1\) and \(N=2\) SCFTs have been identified. It would be useful to extend these results to the case with topological twists. Furthermore, constructing similar solutions in the form of with being a spindle or a half-spindle along the line of recent results in [40,41,42,43] is also worth considering. Finally, finding similar solutions within \(N=4\) gauged supergravity with gauge groups identified in [35] as embeddable in eleven dimensions would lead to new holographic solutions in string/M-theory framework. We leave all these and related issues for future work.