$dS_5$ vacua from matter-coupled 5D N=4 gauged supergravity

TL;DR

This paper develops a new method to find de Sitter vacua in five-dimensional N=4 gauged supergravity, characterizing the gauge groups and analyzing the stability of these vacua.

Contribution

It introduces a simple ansatz for scalar potential extremization, providing conditions for dS_5 vacua and detailing the structure of admissible gauge groups.

Findings

Derived conditions for dS_5 vacua existence.

Identified gauge group structures compatible with dS_5 vacua.

Found all dS_5 vacua are unstable, consistent with previous results.

Abstract

We study $dS_5$ vacua within matter-coupled $N=4$ gauged supergravity in five dimensions using the embedding tensor formalism. With a simple ansatz for solving the extremization and positivity of the scalar potential, we derive a set of conditions for the gauged supergravity to admit $dS_5$ as maximally symmetric background solutions. The results provide a new approach for finding $dS_5$ vacua in five-dimensional $N=4$ gauged supergravity and explain a number of notable features pointed out in previous works. These conditions also determine the form of the gauge groups to be $SO(1,1)\times G_{\textrm{nc}}$ with $G_{\textrm{nc}}$ being a non-abelian non-compact group. In general, $G_{\textrm{nc}}$ can be a product of $SO(1,2)$ and a smaller non-compact group $G'_{\textrm{nc}}$ together with (possibly) a compact group. The $SO(1,1)$ factor is gauged by one of the six graviphotons, that is singlet under $SO(5)\sim USp(4)$ R-symmetry. The compact parts of $SO(1,2)$ and $G'_{\textrm{nc}}$ are gauged by vector fields from the gravity and vector multiplets, respectively. In addition, we explicitly study $dS_5$ vacua for a number of gauge groups and compute scalar masses at the vacua. As in the four-dimensional $N=4$ gauged supergravity, all the $dS_5$ vacua identified here are unstable.

Tables

Table 1. Table 1 : Examples of gauge groups that give rise to d ​ S 5 𝑑 subscript 𝑆 5 dS_{5} vacua in matter-coupled N = 4 𝑁 4 N=4 five-dimensional gauged supergravity are listed along with the corresponding embedding tensors. All of these gauge groups can be embedded in S ​ O ​ ( 5 , n ) 𝑆 𝑂 5 𝑛 SO(5,n) with n ≥ 7 𝑛 7 n\geq 7 .

Gauge group	Embedding tensor	Unbroken symmetry
$SO(1,1)\times SO(2,1)$	${\xi }_{56}=g_1,f_{238}=-g_2$	$SO\left(2\right)$
$SO{(1,1)}_{\text{diag}}^{\left(2\right)}\times SO(2,1)$	$\begin{array}{c}{\xi }_{46}={\xi }_{57}=g_1,\\ f_{238}=-g_2\end{array}$	$SO\left(2\right)$
$SO{(1,1)}_{\text{diag}}^{\left(3\right)}\times SO(2,1)$	$\begin{array}{c}{\xi }_{19}={\xi }_{56}={\xi }_{47}=g_1,\\ f_{238}=-g_2\end{array}$	$SO\left(2\right)$
$SO(1,1)\times SO{(2,1)}^2$	$\begin{array}{c}{\xi }_{56}=g_1,\\ f_{238}=-g_2,f_{149}=-g_3\end{array}$	$SO\left(2\right)\times SO\left(2\right)$
$SO(1,1)\times SO(3,1)$	$\begin{array}{c}{\xi }_{56}=g_1,\\ f_{8,9,10}=-g_2,\\ f_{128}=f_{139}=f_{2,3,10}=g_2\end{array}$	$SO\left(3\right)$
$SO{(1,1)}_{\text{diag}}^{\left(2\right)}\times SO(3,1)$	$\begin{array}{c}{\xi }_{46}={\xi }_{57}=g_1,\\ f_{8,9,10}=-g_2,\\ f_{128}=f_{139}=g_2,\\ f_{2,3,10}=g_2\end{array}$	$SO\left(3\right)$
$SO(1,1)\times SU(2,1)$	$\begin{array}{c}{\xi }_{56}=1,\\ f_{129}=f_{138}=g_2,\\ f_{147}=f_{248}=g_2,\\ f_{349}=f_{237}=-g_2,\\ f_{789}=-2g_2,\\ f_{3,4,10}=f_{1,2,10}=\sqrt{3}{g}_2\end{array}$	$SU\left(2\right)\times U\left(1\right)$
$SO(1,1)\times SO(4,1)$	$\begin{array}{c}{\xi }_{56}=1,\\ f_{127}=f_{138}=f_{1,4,10}=g_2,\\ f_{239}=f_{2,4,11}=f_{3,4,12}=g_2,\\ f_{789}=f_{7,10,11}=-g_2,\\ f_{8,10,12}=f_{9,11,12}=-g_2,\end{array}$	$SO\left(4\right)$

Equations

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

$${\eta }_{MN}={{\mathcal{V}}_M}^A{{\mathcal{V}}_N}^B{\eta }_{AB}=-{\mathcal{V}}_M^m{\mathcal{V}}_N^m+{\mathcal{V}}_M^a{\mathcal{V}}_N^a$$

$$D_{\mu }={\nabla }_{\mu }-A_{\mu }^M{f_M}^{NP}{t}_{NP}-A_{\mu }^0{\xi }^{NP}{t}_{NP}-A_{\mu }^M{\xi }^N{t}_{MN}-A_{\mu }^M{\xi }_M{t}_0$$

$${X_{MN}}^P$$

$${X_{M0}}^0$$

$$\left[X_{\mathcal{M}},X_{\mathcal{N}}\right]=-{X_{\mathcal{M}\mathcal{N}}}^{\mathcal{P}}{X}_{\mathcal{P}},$$

$${\xi }^M{\xi }_M$$

$$3f_{R[MN}{f_{PQ]}}^R$$

$$e^{-1}\mathcal{L}=\frac{1}{2}R-\frac{3}{2}{\Sigma }^{-2}{\partial }_{\mu }\Sigma {\partial }^{\mu }\Sigma +\frac{1}{16}{\partial }_{\mu }{M}_{MN}{\partial }^{\mu }{M}^{MN}-V$$

$$V$$

$$M_{MN}={\mathcal{V}}_M^m{\mathcal{V}}_N^m+{\mathcal{V}}_M^a{\mathcal{V}}_N^a.$$

$$M_{MNPQR}={ϵ}_{mnpqr}{\mathcal{V}}_M^m{\mathcal{V}}_N^n{\mathcal{V}}_P^p{\mathcal{V}}_Q^q{\mathcal{V}}_R^r.$$

$$-\frac{1}{4}{\Omega }^{ij}V=A_1^{ik}{A_1^j}_k-A_2^{ik}{A_2^j}_k-A_2^{aik}{A_2^{aj}}_k$$

$$V=-A_1^{ij}{A}_{1ij}+A_2^{ij}{A}_{2ij}+A_2^{aij}{A}_{2ij}^a.$$

$$A_1^{ij}$$

$$A_2^{ij}$$

$$A_2^{aij}$$

$${\tau }^{[ij]}$$

$${\zeta }^{a[ij]}$$

$${\rho }^{a(ij)}$$

$${{\mathcal{V}}_M}^{ij}={{\mathcal{V}}_M}^m{\Gamma }_m^{ij}$$

$${{\mathcal{V}}_M}^{ij}=-{{\mathcal{V}}_M}^{ji}\text{and}{{\mathcal{V}}_M}^{ij}{\Omega }_{ij}=0.$$

$${{\mathcal{V}}_{ij}}^M={{\mathcal{V}}_m}^M({\Gamma }_m^{ij}{)}^{\ast }={{\mathcal{V}}_m}^M{\Gamma }_m^{kl}{\Omega }_{ki}{\Omega }_{lj}.$$

$${\xi }^A$$

$$f^{ABC}$$

$${\xi }^A=({\xi }^m,{\xi }^a),{\xi }^{AB}=({\xi }^{mn},{\xi }^{ma},{\xi }^{ab}),f^{ABC}=(f^{mnp},f^{mna},f^{abm},f^{abc}).$$

$$⟨\delta V⟩=0\text{and}⟨V⟩>0.$$

$$⟨\delta V⟩$$

$$⟨A_2^{ij}{A}_{2ij}⟩+⟨A_2^{aij}{A}_{2ij}^a⟩>⟨A_1^{ij}{A}_{1ij}⟩.$$

$$⟨{\rho }^{a(ij)}⟩=⟨{\zeta }^{a[ij]}⟩=⟨{\tau }^a⟩=0.$$

$$⟨{\zeta }^{(ij)}⟩=2⟨{\rho }^{(ij)}⟩.$$

$${\tau }^a$$

$${\rho }^{a(ij)}$$

$${\xi }^a={\xi }^{am}=f^{amn}=0$$

$${\xi }^M{\xi }_M=-{\xi }^m{\xi }_m+{\xi }^a{\xi }_a={\xi }^m{\xi }_m=0$$

Full text

1. 1 Introduction

2. 2 Five dimensional $N=4$ gauged supergravity coupled to vector multiplets

3. 3 de Sitter vacua of $N=4$ five-dimensional gauged supergravity

4. 3.1 $\langle A_{1}^{ij}\rangle=0$, $\langle A^{aij}_{2}\rangle=0$ and $\langle A^{ik}_{2}A_{2jk}\rangle=\frac{1}{4}|\mu|^{2}\delta^{i}_{j}$

5. 3.2 $\langle A_{1}^{ij}\rangle=0$, $\langle A^{ij}_{2}\rangle=0$ and $\langle A^{aik}_{2}A^{a}_{2jk}\rangle=\frac{1}{4}|\mu|^{2}\delta^{i}_{j}$

6. 4 $dS_{5}$ vacua from different gauge groups

7. 4.1 $SO(1,1)\times SO(2,1)$ gauge group

8. 4.2 $SO(1,1)^{(2)}_{\text{diag}}\times SO(2,1)$

9. 4.3 $SO(1,1)^{(3)}_{\text{diag}}\times SO(2,1)$

10. 4.4 $SO(1,1)\times SO(2,1)\times SO(2,1)$

11. 4.5 $SO(1,1)\times SO(3,1)$

12. 4.6 $SO(1,1)\times SU(2,1)$

13. 4.7 $SO(1,1)\times SO(4,1)$

14. 5 Conclusions

15. A Useful formulae

16. A.1 $SO(5)$ gamma matrices

17. A.2 Embedding tensor for some gauge groups with $dS_{5}$ vacua

1 Introduction

Finding de Sitter $(dS)$ vacua, with a positive cosmological constant, is one of the most interesting areas in gauged supergravities due to their importance in cosmology [1, 2, 3] and the dS/CFT correspondence [4]. Unlike the $AdS$ vacua which are rather common in gauged supergravities, $dS$ vacua are rare and occur only for a specific form of gauge groups. Moreover, embedding these vacua from lower-dimensional effective theories in string/M-theory is a highly non-trivial task, see for example [5, 6, 7, 8, 9, 10, 11, 12, 13, 14], and a recent review [15].

In four dimensions, de Sitter vacua are extensively studied due to their direct relevance for cosmology, see for example [16, 17, 18, 19, 20]. In other dimensions, much less is known about this type of vacua. In this paper, we are interested in $dS_{5}$ vacua of $N=4$ gauged supergravity coupled to vector multiplets constructed in [21, 22]. There are no $dS_{5}$ vacua in pure $N=4$ gauged supergravity of [23]. $dS_{5}$ vacua of $N=4$ gauged supergravity coupled to two vector multiplets have already appeared in [24]. From a number of explicit examples, it has been pointed out that gauge groups admitting $dS_{5}$ vacua must contain non-compact abelian $SO(1,1)$ and non-compact non-abelian factors. To the best of our knowldege, these are the only known $dS_{5}$ vacua in the framework of matter-coupled $N=4$ gauged supergravity. There are also a number of $dS_{5}$ vacua in the maximal $N=8$ and the minimal $N=2$ gauged supergravities [25, 26, 27, 28, 29]. However, most of these $dS_{5}$ vacua are unstable except for a few examples in [29].

We will use the embedding tensor formalism to analyze the extremization and positivity of the scalar potential in terms of fermion-shift matrices. With a simple ansatz, we can derive a number of conditions the embedding tensor must satisfy in order for the scalar potential to admit a $dS_{5}$ vacuum. In general, solving these conditions subject to the qudratic constraint will determine the form of possible gauge groups. The analysis and the resulting conditions are very similar to the conditions for the existence of maximally supersymmetric $AdS_{5}$ vacua studied in [30]. In a sense, our results can be regarded as a $dS_{5}$ analogue but are based on some assumption rather than supersymmetry. Although the conditions we impose are very restrictive, we will show that our results explicitly lead to the fact that the gauge groups must be of the form $SO(1,1)\times G_{\textrm{nc}}$ with $G_{\textrm{nc}}$ being a non-abelian and non-compact group as pointed out in [24]. In general, for $G_{\textrm{nc}}$ being a semisimple group, $G_{\textrm{nc}}$ can be a product of $SO(2,1)$ and a smaller non-compact group $G^{\prime}_{\textrm{nc}}$.

The paper is organized as follows. In section 2, we review relevant formulae for computing the scalar potential of $N=4$ gauged supergravity in five dimensions coupled to vector multiplets in the embedding tensor formalism. In section 3, we derive the conditions that the embedding tensor needs to satisfy in order for the scalar potential to admit $dS_{5}$ vacua and determine a general form of gauge groups implied by these conditions. Some examples of these gauge groups are explicitly studied in section 4, and conclusions and comments are given in section 5. We also include an appendix containing useful identities for $SO(5)$ gamma matrices and a collection of non-vanishing components of the embedding tensor for all gauge groups considered in this paper.

2 Five dimensional $N=4$ gauged supergravity coupled to vector multiplets

In this section, we review five dimensional $N=4$ gauged supergravity coupled to $n$ vector multiplets. We will only focus on formulae relevant for finding vacuum solutions. The detailed construction can be found in [21] and [22].

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 dilaton $\Sigma$ can be considered as a coordinate on $SO(1,1)\sim\mathbb{R}^{+}$ coset manifold.

The 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 component fields within these 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 collectively denoted by $A^{\mathcal{M}}_{\mu}=(A^{0}_{\mu},A^{M}_{\mu})=(A^{0}_{\mu},A^{m}_{\mu},A^{a}_{\mu})$. 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

[TABLE]

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

[TABLE]

with $\eta_{MN}=\textrm{diag}(-1,-1,-1,-1,-1,1,\ldots,1)$ being the $SO(5,n)$ invariant tensor.

Gaugings are implemented by promoting a subgroup $G_{0}$ of the full global symmetry $G=SO(1,1)\times SO(5,n)$ to be a local symmetry. The most general gaugings can be described by using the embedding tensor. $N=4$ supersymmetry allows three components of the embedding tensor denoted by $\xi^{M}$, $\xi^{MN}=\xi^{[MN]}$ and $f_{MNP}=f_{[MNP]}$ [22]. The embedding tensor leads to minimal coupling of various fields via the covariant derivative

[TABLE]

in which $\nabla_{\mu}$ is the usual space-time covariant derivative and $t_{MN}=t_{[MN]}$ and $t_{0}$ are generators of $SO(5,n)$ and $SO(1,1)$, respectively. It should also be noted that $\xi^{M}$, $\xi^{MN}$ and $f_{MNP}$ include the gauge coupling constants, and $SO(5,n)$ indices $M,N,\ldots$ are lowered and raised by $\eta_{MN}$ and its inverse $\eta^{MN}$, respectively.

In term of the embedding tensor, gauge generators ${X_{\mathcal{M}\mathcal{N}}}^{\mathcal{P}}={(X_{\mathcal{M}})_{\mathcal{N}}}^{\mathcal{P}}$ are given by

[TABLE]

To ensure that these generators form a closed subalgebra of $G$

[TABLE]

the embedding tensor must satisfy the following quadratic constraint

[TABLE]

Since we are only interested in maximally symmetric solutions, we will set all fields but the metric and scalars to zero. In this case, the bosonic Lagrangian of a general gauged $N=4$ supergravity coupled to $n$ vector multiplets can be written as

[TABLE]

where $e$ is the vielbein determinant. The scalar potential is given by

[TABLE]

with $M^{MN}$ being the inverse of a symmetric matrix $M_{MN}$ defined by

[TABLE]

$M^{MNPQRS}$ is obtained from raising indices of $M_{MNPQR}$ defined by

[TABLE]

Equivalently, the scalar potential can also be written in terms of fermion-shift matrices as

[TABLE]

or, after a contraction of $i$ and $j$ indices,

[TABLE]

The fermion shift matrices are in turn defined by

[TABLE]

where

[TABLE]

We have explicitly shown the symmetry of each tensor for later convenience. Note also that lowering and raising of $USp(4)$ indices $i,j,\ldots$ with the symplectic form $\Omega_{ij}$ and its inverse $\Omega^{ij}$ correspond to complex conjugate for example $A_{1ij}=\Omega_{ik}\Omega_{jl}A_{1}^{kl}=(A_{1}^{ij})^{*}$.

${\mathcal{V}_{M}}^{ij}$ is related to ${\mathcal{V}_{M}}^{m}$ by $SO(5)$ gamma matrices ${\Gamma_{mi}}^{j}$. As in [30], we define $\mathcal{V}_{M}^{\phantom{M}ij}$ by

[TABLE]

where $\Gamma^{ij}_{m}=\Omega^{ik}{\Gamma_{mk}}^{j}$. ${\mathcal{V}_{M}}^{ij}$ satisfies the following relations

[TABLE]

Similarly, the inverse element ${\mathcal{V}_{ij}}^{M}$ can be written as

[TABLE]

3 de Sitter vacua of $N=4$ five-dimensional gauged supergravity

We now consider gauge groups that lead to de Sitter vacua. As in [30], it is useful to introduce “dressed” components of the embedding tensor

[TABLE]

where, as in [30], $\langle\,\,\,\rangle$ means the quantity inside is evaluated at the vacuum. Using the splitting of the index $A=(m,a)$, we have the following components of the embedding tensor under the decomposition $SO(5,n)\rightarrow SO(5)\times SO(n)$

[TABLE]

In subsequent snalysis, we will determine the form of gauge groups that lead to $dS_{5}$ vacua. With some assumption, the analysis is very similar to that of the supersymmetric $AdS_{5}$ vacua studied in [30].

In order to have $dS_{5}$ vacua, we require that

[TABLE]

In terms of the fermion-shift matrices, these conditions read

[TABLE]

There are various ways to satisfy these relations. To make the analysis tractable, we will restrict ourselves to the following two possibilities:

$\langle A_{1}^{ij}\rangle=0$, $\langle A^{aij}_{2}\rangle=0$ and $\langle A^{ik}_{2}A_{2jk}\rangle=\frac{1}{4}|\mu|^{2}\delta^{i}_{j}$ with $A_{2ij}\delta A^{ij}_{2}=0$. 2. 2.

$\langle A_{1}^{ij}\rangle=0$, $\langle A^{ij}_{2}\rangle=0$ and $\langle A^{aik}_{2}A^{a}_{2jk}\rangle=\frac{1}{4}|\mu|^{2}\delta^{i}_{j}$ with $A^{a}_{2ij}\delta A^{aij}_{2}=0$.

$|\mu|^{2}$ denotes the cosmological constant, the value of the scalar potential at the vacuum $V_{0}$.

3.1 $\langle A_{1}^{ij}\rangle=0$, $\langle A^{aij}_{2}\rangle=0$ and $\langle A^{ik}_{2}A_{2jk}\rangle=\frac{1}{4}|\mu|^{2}\delta^{i}_{j}$

We begin with the first possibility. Since $A^{aij}_{2}$ consists of three representations of $USp(4)$ namely $\mathbf{10}$, $\mathbf{5}$ and $\mathbf{1}$ corresponding to $\rho^{a(ij)}$, $\zeta^{a[ij]}$ and $\Omega^{ij}\tau^{a}$, respectively, the condition $\langle A^{aij}_{2}\rangle=0$ then implies that these components must vanish separately

[TABLE]

The condition $\langle A^{ij}_{1}\rangle=0$ gives

[TABLE]

Using the definitions in (16), we have

[TABLE]

The conditions in (25) then imply that

[TABLE]

due to the non-vanishing $\langle\Sigma\rangle$ and $\Gamma^{ij}_{m}$ and $\Gamma_{mn}^{ij}$ being all linearly independent. Using the first condition of the quadratic constraint (6), we find that

[TABLE]

which implies $\xi^{m}=0$. Accordingly, we are left with $\xi^{M}=0$.

With $\xi^{M}=0$ together with (26), we have $\tau^{[ij]}=\Sigma^{-1}\xi^{m}\Gamma^{ij}_{m}=0$ and

[TABLE]

Using the identity given in (144) and the fact that $(A^{ij}_{2})^{*}=A_{2}^{kl}\Omega_{ki}\Omega_{lj}$, we find, from $A_{2}^{ik}A_{2jk}=\frac{1}{4}|\mu|^{2}\delta^{i}_{j}$,

[TABLE]

which gives

[TABLE]

In addition, the condition (26) gives

[TABLE]

We can easily see that, apart from numerical differences, these conditions have a very similar structure to those for the existence of supersymmetric $AdS_{5}$ vacua. However, we still need to check whether these conditions extremize the potential. Note that for the $AdS_{5}$ case, the potential is automatically extremized since in this case we have

[TABLE]

where we have introduced the variations of the coset representative ${\mathcal{V}_{M}}^{A}$ with respect to scalars $\phi^{ma}$

[TABLE]

With $\langle A^{ij}_{2}\rangle=\langle A^{aij}_{2}\rangle=0$, we immediately see that $\langle\delta V\rangle=-2\langle A_{1ij}\delta A_{1}^{ij}\rangle=0$.

However, in the present case, with $\langle A^{ij}_{1}\rangle=\langle A^{aij}_{2}\rangle=0$, we find

[TABLE]

where we have used the relation

[TABLE]

We see that $\langle\delta V\rangle=0$ implies $\langle\rho^{(ij)}\rangle=\langle A^{ij}_{2}\rangle=0$. The cosmological constant then vanishes, and there are no possible $dS_{5}$ vacua.

It is now useful to note that if all the above conditions extremized the potential, the structure of the resulting gauge groups would be the same as in the $AdS_{5}$ case namely $U(1)\times H$ with $H$ containing an $SU(2)$ subgroup gauged by three of the graviphotons. Therefore, the same gauge group would give two types of vacua, $AdS_{5}$ and $dS_{5}$, with different ratios of the gauge coupling constants for the $U(1)$ and $H$ factors. According to the explicit form of the scalar potential studied in [31] and [32], this is not the case. There is no $dS_{5}$ vacuum for gauge groups of the form $U(1)\times H$ for any values of the coupling constants precisely in agreement with the above result.

3.2 $\langle A_{1}^{ij}\rangle=0$, $\langle A^{ij}_{2}\rangle=0$ and $\langle A^{aik}_{2}A^{a}_{2jk}\rangle=\frac{1}{4}|\mu|^{2}\delta^{i}_{j}$

We now consider the second possibility with $\langle A_{1}^{ij}\rangle=\langle A^{ij}_{2}\rangle=0$ and $\langle A^{aik}_{2}A^{a}_{2jk}\rangle=\frac{1}{4}|\mu|^{2}\delta^{i}_{j}$. $A^{ij}_{2}$ consists of a symmetric and an anti-symmetric part. To satisfy the condition $\langle A^{ij}_{2}\rangle=0$, these two parts must separately vanish. This implies $\tau^{[ij]}=0$ or $\xi^{m}=0$, and, as in the previous case, the quadratic constraint $\xi^{M}\xi_{M}=0$ gives $\xi^{a}=0$. We again find that $\xi^{M}=0$.

With $\xi^{M}=0$, the conditions $\langle A_{1}^{ij}\rangle=\langle A^{ij}_{2}\rangle=0$ give

[TABLE]

which implies

[TABLE]

Using (27) and the identity in (144) together with

[TABLE]

we find, after some manipulation, that the condition $\langle A^{aik}_{2}A^{a}_{2jk}\rangle=\frac{1}{4}|\mu|^{2}\delta^{i}_{j}$ gives

[TABLE]

After using (143), we arrive at

[TABLE]

We then move to the extremization of the potential, $\langle\delta V\rangle=2\langle A^{a}_{2ij}\delta A^{aij}_{2}\rangle=0$, which gives

[TABLE]

and

[TABLE]

With the relations

[TABLE]

the first condition gives

[TABLE]

From the definitions (16), we can easily derive the following relations

[TABLE]

After some manipulation together with (139), we find that the condition (46) gives

[TABLE]

where we have used the previous results $\xi^{mn}=0$ and $f^{mnp}=0$.

We now need to find solutions to all of these conditions subject to the quadratic constraints (6). With $\xi^{M}=0$, the quadratic constraint simplifies considerably

[TABLE]

By using $SO(5,n)$ generators of the form ${(t_{MN})_{P}}^{Q}=\delta^{Q}_{[M}\eta_{N]P}$, we find that the gauge generators in the fundamental representation of $SO(5,n)$ are given by

[TABLE]

where we have set $\xi^{M}=0$. Note also that, for $\xi^{M}=0$, the gauge group is entirely embedded in $SO(5,n)$. The quadratic constraint then implies that $[X_{0},X_{M}]=0$, so $X_{0}$ generates an abelian factor. On the other hand, $X_{M}$ in general generate a non-abelian group with structure constants $f_{MNP}$, and the first quadratic constraint in (52) gives the corresponding Jacobi’s identity.

Using the relations $\xi^{mn}=f^{mnp}=0$, the second relation in (52) gives

[TABLE]

We now see that the first condition in (54) automatically solves (43). Using components $(mnpq)$ of the first quadratic constraint in (52), we find from (44) that

[TABLE]

We now study consequences of all the above conditions on the structure of gauge groups. First of all, using the relation (48) in (42), we find that

[TABLE]

This result implies that, for $|\mu|^{2}\neq 0$, we must have $\xi^{am}\neq 0$ and $f^{amn}\neq 0$. Therefore, the abelian generator $X_{0}$ corresponds to a non-compact group $SO(1,1)$, and the non-abelian part must be necessarily non-compact. This is in agreement with the result of [24] in which it has been pointed out, based on a few explicit examples, that only gauge groups of the form $SO(1,1)\times G_{\textrm{nc}}$ lead to $dS_{5}$ vacua. With a simple assumption, we are able to derive this result.

From equation (57), we see that $\xi^{am}$ and $f^{amn}$ must be non-vanishing for different values of indices $m$ and $a$. This also implies that gauge groups of the form $SO(1,1)\times G_{\textrm{nc}}$ are only possible for $n\geq 2$ (at least two different values of $a$) as shown by explicit computation in [24] that the existence of $dS_{5}$ vacua requires at least two vector multiplets. We now determine possible gauge groups allowed by the remaining conditions.

We begin with the simplest possibility namely $\xi^{ab}=f_{mab}=f_{abc}=0$. These components are not constrained by the existence of $dS_{5}$ vacua, so we can have $dS_{5}$ vacua regardless of their values. Since in this case we have $f_{abc}=0$, the compact part of $G_{\textrm{nc}}$ must be an abelian $SO(2)$ group. We find that $f_{amn}$ must correspond to $SO(2,1)$ group. The full gauge group then takes the form of a product $SO(1,1)\times SO(2,1)$.

For $\xi^{ab}=f_{abc}=0$ but $f_{mab}\neq 0$, the quadratic constraint implies that $f_{mab}$ and $f_{amn}$ cannot have common indices. Therefore, these components generate two separate non-compact groups with $f_{amn}$ corresponding to $SO(2,1)$ as in the previous case. Since the existence of $dS_{5}$ vacua requires $f_{mnp}=0$, the compact subgroup of the non-compact group corresponding to $f_{mab}$ must be $SO(2)$, hence $f_{mab}$ generate another $SO(2,1)^{\prime}$ factor. However, it should be noted that the compact parts of the two $SO(2,1)$’s are embedded in the matter and R-symmetry directions, respectively. The full gauge group in this case is then given by $SO(1,1)\times SO(2,1)\times SO(2,1)^{\prime}$.

For $\xi^{ab}=f_{mab}=0$ but $f_{abc}\neq 0$, we have the following non-vanishing components of the embedding tensors

[TABLE]

in which we have split indices as $m=(\tilde{m},m^{\prime})$ and $a=(\tilde{a},a^{\prime})$. In this case, $f_{a^{\prime}b^{\prime}c^{\prime}}$ together with $f_{a^{\prime}m^{\prime}n^{\prime}}$ form a non-compact group $\tilde{G}_{\textrm{nc}}$ whose compact subgroup $\tilde{H}_{\textrm{c}}$ is generated by $f_{a^{\prime}b^{\prime}c^{\prime}}$. The quadratic constraint gives the standard Jacobi’s identity for $\tilde{H}_{\textrm{c}}$. In general, there can be a subspace in which $f_{a^{\prime}b^{\prime}c^{\prime}}$ do not have common indices with $f_{a^{\prime}m^{\prime}n^{\prime}}$. We will denote these components as $f_{a^{\prime\prime}b^{\prime\prime}c^{\prime\prime}}$ with $f_{a^{\prime\prime}m^{\prime}n^{\prime}}=0$. In this case, $f_{a^{\prime\prime}b^{\prime\prime}c^{\prime\prime}}$ form a separate compact group $H_{\textrm{c}}$ while $f_{a^{\prime}m^{\prime}n^{\prime}}$ and $f_{a^{\prime}b^{\prime}c^{\prime}}$ still generate a smaller non-compact group $G_{\textrm{nc}}$. The full gauge group can be written as $SO(1,1)\times G_{\textrm{nc}}\times H_{\textrm{c}}$.

If in addition $f_{m^{\prime}a^{\prime}b^{\prime}}\neq 0$, we have an extra factor of $SO(2,1)^{\prime}$, so a general gauge group takes the form of

[TABLE]

with the compact parts of $SO(2,1)$ and $G_{\textrm{nc}}$ are embedded along the R-symmetry and matter directions, respectively.

The non-vanishing $\xi^{ab}$ on the other hand does not change the structure of the gauge groups.

4 $dS_{5}$ vacua from different gauge groups

In this section, we will study $N=4$ gauged supergravity with gauge groups that lead to $dS_{5}$ vacua identified in the previous section. We will restrict ourselves to a simple case of $\xi^{ab}=f^{mab}=0$ given in (59) and consider only semisimple gauge groups. In general, the $SO(1,1)$ factor can be embedded as a diagonal subgroup $SO(1,1)^{(d)}_{\textrm{diag}}\sim(SO(1,1)^{1}\times\ldots\times SO(1,1)^{d})_{\textrm{diag}}$ in which each $SO(1,1)$ factor is characterized by the values of indices $\tilde{m}$ and $\tilde{a}$.

In order to have non-vanishing $f_{m^{\prime}n^{\prime}a^{\prime}}$, we must have $d\leq 3$ to allow for the antisymmetry in $m^{\prime}$ and $n^{\prime}$ indices since $1\leq m^{\prime},n^{\prime}\leq 5-d$. An explicit form of the gauge generators is given by

[TABLE]

Generators $X_{m^{\prime}}$ and $X_{a^{\prime}}$ correspond to non-compact and compact generators of $G_{\textrm{nc}}$, respectively. Note also that we can have at most $5-d$ non-compact generators for $G_{\textrm{nc}}$. We now discuss possible gauge groups for different values of $d$.

For $d=1$, $G_{\textrm{nc}}$ is a non-compact subgroup of $SO(4,n-1)$ with at most four non-compact generators. We can gauge the following groups

[TABLE]

For $d=2$ and $d=3$, we have the following admissible gauge groups

[TABLE]

We will explicitly study scalar potentials arising from these gauge groups and their $dS_{5}$ vacua. In most of the following analysis, we mainly work in the case of $n=5$ vector multiplets for definiteness with an exception of $SO(1,1)\times SO(4,1)$ gauge group that requires $n=7$. In addition, in many cases, we will consider only non-vanishing dilaton due to the complexity of including scalars from vector multiplets. In all of these gauge groups we have explicitly checked that the conditions $\langle A^{ij}_{1}\rangle=\langle A^{ij}_{2}\rangle=0$ and $\langle A^{aij}_{2}A^{a}_{2kj}\rangle=\frac{1}{4}V_{0}\delta^{i}_{k}$ are satisfied. We note here that $SO(1,1)\times SO(2,1)$ and $SO(1,1)^{(2)}_{\textrm{diag}}\times SO(2,1)$ gauge groups have already been studied in [24]. However, all the remaining gauge groups are new and arise from our analysis given in the previous section.

To compute the scalar potential, we need an explicit form of the coset representative for $SO(5,n)/SO(5)\times SO(n)$. It is convenient to define a basis of $GL(5+n,\mathbb{R})$ matrices

[TABLE]

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

[TABLE]

To adopt the normalization used in [22] with

[TABLE]

we will use a slightly different definition of ${\mathcal{V}_{M}}^{ij}$ and ${\mathcal{V}_{ij}}^{M}$

[TABLE]

The explicit representation of the $SO(5)$ gamma matrices is chosen to be

[TABLE]

where $\sigma_{i}$, $i=1,2,3$, are the usual Pauli matrices.

4.1 $SO(1,1)\times SO(2,1)$ gauge group

We begin with the simplest possible gauge group $SO(1,1)\times SO(2,1)$. The embedding of $SO(1,1)$ factor is given by

[TABLE]

while the $f_{MNP}$ describing the embedding of $SO(2,1)$ has the following independent non-vanishing component

[TABLE]

This means that the compact part $SO(2)\subset SO(2,1)$ is generated by $X_{8}$ while the two noncompact generators are embedded in the R-symmetry directions $M=2,3$. Note also that this embedding tensor manifestly satisfies the quadratic constraint (52).

At the vacuum, $SO(1,1)\times SO(2,1)$ gauge symmetry will be broken to its compact subgroup $SO(2)$. In principle, we can study the scalar potential for scalars which are singlets under this residual $SO(2)$ symmetry. However, the number of these singlet scalars is rather large, $15$ singlets in this case. Therefore, we will mainly analyze the scalar potential only to second-order in fluctuations of scalar fields and give the explicit form of the potential only for the dilaton $\Sigma$ non-vanishing. With all scalars from vector multiplets set to zero, the scalar potential is given by

[TABLE]

This potential admits a unique critical point at

[TABLE]

The value of the dilaton $\Sigma$ at the vacuum can be rescaled to $\Sigma=1$ by setting $g_{2}=g_{1}$ which gives the $dS_{5}$ vacuum in a simple form

[TABLE]

The linearized analysis of the full scalar potential for all $26$ scalars shows that this is also the critical point of the full potential with scalar masses given by

[TABLE]

The number in the subscripts of each mass value is the multiplicity of that mass value at the critical point, and the $dS_{5}$ radius is given by $L^{2}=6/V_{0}$. This $dS_{5}$ critical point is unstable because of the negative mass value $2(1-\sqrt{33})$. The mass value $16$ corresponds to that of $\Sigma$, and the nine massless scalars contain three Goldstone bosons of the symmetry breaking $SO(1,1)\times SO(2,1)\rightarrow SO(2)$.

4.2 $SO(1,1)^{(2)}_{\text{diag}}\times SO(2,1)$

We now consider another embedding for the $SO(1,1)$ factor as a diagonal subgroup of $SO(1,1)\times SO(1,1)$ generated by the non-compact generators $Y_{41}$ and $Y_{52}$ of $SO(5,5)$. The embedding tensor for $SO(2,1)$ remains the same as in the previous case. We will use the following non-vanishing components of the embedding tensor for the $SO(1,1)^{(2)}_{\textrm{diag}}$

[TABLE]

The scalar potential for this gauging is given by

[TABLE]

with a unique critical point at

[TABLE]

We can again shift this critical point to the value $\Sigma=1$ by setting $g_{2}=\sqrt{2}g_{1}$ and obtain the value of the cosmological constant

[TABLE]

Scalar masses at this critical point are given by

[TABLE]

Notice that all masses are quantized, and the $dS_{5}$ vacuum is unstable because of the negative mass values $-8$ and $-6$. The value $m^{2}L^{2}=16$ corresponds to that of $\Sigma$. Three of the eight massless scalars correspond to the Goldstone bosons of the symmetry breaking $SO(1,1)_{\text{diag}}\times SO(2,1)\rightarrow SO(2)$ at the vacuum.

4.3 $SO(1,1)^{(3)}_{\text{diag}}\times SO(2,1)$

In this case, the embedding tensor for $SO(2,1)$ remains the same as the previous two cases while the $SO(1,1)$ is a diagonal subgroup of $SO(1,1)\times SO(1,1)\times SO(1,1)$. Non-vanishing components of the full embedding tensor are now given by

[TABLE]

These give the following scalar potential for $\Sigma$

[TABLE]

which admits a critical point at

[TABLE]

After setting $g_{2}=\sqrt{3}g_{1}$, we find the cosmological constant

[TABLE]

Scalar masses are given by

[TABLE]

This $dS_{5}$ vacuum is unstable due to the negative mass value $\dfrac{2}{3}(5-\sqrt{201})$ with three massless scalars corresponding to the Goldstone bosons of the symmetry breaking $SO(1,1)_{\textrm{diag}}\times SO(2,1)\rightarrow SO(2)$.

4.4 $SO(1,1)\times SO(2,1)\times SO(2,1)$

In this case, the four noncompact generators of $SO(2,2)\sim SO(2,1)\times SO(2,1)$ group are embedded in the R-symmetry directions $M=1,2,3,4$ while the compact $SO(2)\times SO(2)$ generators are embedded in the matter directions $M=8,9$. The embedding tensor for the $SO(2,2)$ factor can be chosen as

[TABLE]

The embedding tensor for $SO(1,1)$ is still given by (83). Under the compact $SO(2)\times SO(2)$ symmetry, there are five singlet scalars corresponding to the non-compact generators $Y_{2a}$, $a=1,2,\ldots,5$. The coset representative can be written as

[TABLE]

The scalar potential is given by

[TABLE]

which admits only one critical point at

[TABLE]

The scalar mass spectrum is

[TABLE]

The $dS_{5}$ vacuum is unstable because of the negative mass value $2(3-\sqrt{17})$. The mass value 16 corresponds to that of the dilaton while the five scalars with zero mass correspond to the Goldstone bosons of the symmetry breaking $SO(1,1)\times SO(2,1)\times SO(2,1)\rightarrow SO(2)\times SO(2)$.

4.5 $SO(1,1)\times SO(3,1)$

The embedding tensor for the $SO(1,1)$ factor is the same as in (83) while the $SO(3,1)$ part is gauged by the following components of the embedding tensor

[TABLE]

The compact $SO(3)\subset SO(3,1)$ is formed by generators $X_{8}$, $X_{9}$ and $X_{10}$ along the matter multiplet directions.

There are five $SO(3)$ singlet scalars from $SO(5,5)/SO(5)\times SO(5)$ coset corresponding to the non-compact generators

[TABLE]

With the coset representative

[TABLE]

the scalar potential is given by

[TABLE]

This potential admits a critical point at

[TABLE]

We have not found other critical points from the above potential. As in other cases, we can bring this critical point to the value $\Sigma=1$ by setting $g_{2}=\frac{g_{1}}{\sqrt{3}}$.

The scalar mass spectrum at this $dS_{5}$ critical point is given by

[TABLE]

which implies that the $dS_{5}$ vacuum is unstable because of the negative mass values $-20/3$ and $\frac{2}{3}(7-\sqrt{145})$. There are four Goldstone bosons corresponding to the symmetry breaking $SO(1,1)\times SO(3,1)\rightarrow SO(3)$.

We now move to a similar gauge group of the form $SO(1,1)^{(2)}_{\text{diag}}\times SO(3,1)$ with the embedding tensor

[TABLE]

Apart from a $dS_{5}$ critical point with all scalars from vector multiplets vahishing, we have not found any other critical point. Therefore, to simplify the expression, we will give the potential with only the dilaton $\Sigma$ non-vanishing

[TABLE]

Choosing $g_{2}=\sqrt{\frac{2}{3}}g_{1}$, the $dS_{5}$ critical point is given by

[TABLE]

with the scalar mass spectrum

[TABLE]

This $dS_{5}$ vacuum is again unstable because of negative mass values $-2/3$ and $\dfrac{4}{3}(5-\sqrt{73})$. The mass value $m^{2}L^{2}=16$ corresponds to that of $\Sigma$.

4.6 $SO(1,1)\times SU(2,1)$

We now consider the last gauge group that can be embedded in $SO(5,5)$. Non-vanishing components of the embedding tensor for the non-abelian part $SU(2,1)$ are given by

[TABLE]

Gauge generators $(X_{7},X_{8},X_{9})$ and $X_{10}$ correspond to the compact $SU(2)$ and $U(1)$, respectively.

Among the $25$ scalars in $SO(5,5)/SO(5)\times SO(5)$, there are two $SU(2)$ singlets corresponding to the following non-compact generators $Y_{51}$ and $Y_{55}$. The coset representative can be written as

[TABLE]

and, with the embedding tensor of $SO(1,1)$ given by (83), the scalar potential reads

[TABLE]

There is only one critical point at

[TABLE]

The scalar mass spectrum for all the 26 scalars is identical to that of $SO(1,1)\times SO(2,2)$ gauge group with the five massless scalars being the Goldstone bosons of the symmetry breaking $SO(1,1)\times SU(2,1)\rightarrow SU(2)\times U(1)$.

4.7 $SO(1,1)\times SO(4,1)$

As a final example, we consider $N=4$ gauged supergravity coupled to seven vector multiplets with $SO(1,1)\times SO(4,1)$ gauge group. The compact part of $SO(4,1)$ containing six generators of $SO(4)$ is embedded in the matter multiplet directions $M=7,...,12$ while the $4$ noncompact generators are embedded in the R-symmetry directions $M=1,2,3,4$. The embedding tensor for $SO(4,1)$ is then given by

[TABLE]

The embedding of $SO(1,1)$ is again given in (83).

Under $SO(4)\subset SO(4,1)$ symmetry, there are three singlet scalars from $SO(5,7)/SO(5)\times SO(7)$ coset corresponding to non-compact generators $Y_{51}$, $Y_{61}$ and $Y_{62}-Y_{71}$. Using the coset representative

[TABLE]

we find the scalar potential for this gauge group

[TABLE]

which admits only one critical point at

[TABLE]

Scalar masses at this vacuum are given by

[TABLE]

which implies the instability of the $dS_{5}$ critical point because of the negative mass value $3-\sqrt{17}$. The five massless scalars are Goldstone bosons of the symmetry breaking $SO(1,1)\times SO(4,1)\rightarrow SO(4)$.

5 Conclusions

In this paper, we have studied $dS_{5}$ vacua of five-dimensional $N=4$ gauged supergravity coupled to vector multiplets. By using a simple ansatz for solving the extremization and positivity of the scalar potential, we have derived a set of general conditions for determining the form of gauge groups admitting $dS_{5}$ vacua as maximally symmetric backgrounds. In particular, these gauge groups must be of the form $SO(1,1)\times SO(2,1)\times G_{\textrm{nc}}\times H_{\textrm{c}}$ with $SO(1,1)$ gauged by one of the graviphotons that is $SO(5)_{R}$ singlet. $G_{\textrm{nc}}$ is a non-compact group whose compact subgroup is gauged by vector fields in vector multiplets. On the other hand, the compact and non-compact parts of $SO(2,1)$ are embedded along the R-symmetry and matter directions, respectively. $H_{\textrm{c}}\subset SO(n)$ is a compact group gauged by vector fields from the vector multiplets. We also note that the $SO(2,1)$ factor is not needed for the $dS_{5}$ vacua to exist.

The results provide a new approach for finding $dS_{5}$ vacua which could be of particular interest in various contexts such as in the dS/CFT correspondence and cosmology. We have also explicitly computed scalar potentials and studied $dS_{5}$ vacua for a number of gauge groups. However, as in the $N=4$ gauged supergravity in four dimensions, all of these $dS_{5}$ vacua are unstable. Although the conditions we have imposed are very restrictive, the analysis given here might provide a starting point for a systematic classification of $dS_{5}$ vacua in $N=4$ gauged supergravity.

It would be interesting to carry out a similar analysis in gauged supergravities in other dimensions in particular in four-dimensional $N=4$ gauged supergravity and compare with the results given in [17] and [19]. Another direction would be to relate the known $dS_{5}$ vacuum of $N=8$ gauged supergravity with $SO(3,3)$ gauge group to $dS_{5}$ solutions of $N=4$ gauged supergravity considered here. On the other hand, embedding the $dS_{5}$ vacua identified here in $N=2$ gauged supergravity by truncating out some scalar fields might give stable $dS_{5}$ vacua within $N=2$ gauged supergravity as in a similar study in four-dimensional gauged supergravity [20]. Finally, relations between $dS_{4}$ and $dS_{5}$ vacua in $N=4$ gauged supergravity similar to the $N=2$ case studied in [28] also deserve further study. We hope to come back to these issues in future works.

Acknowledgement

P. K. is supported by The Thailand Research Fund (TRF) under grant RSA6280022.

Appendix A Useful formulae

In this section, we collect some useful identities involving $SO(5)$ gamma matrices which are useful in the analysis of the constraints on the embedding tensor. For convenience, we also give a summary of non-vanishing components of the embedding tensor for gauge groups considered in the main text.

A.1 $SO(5)$ gamma matrices

The $SO(5)$ gamma matrices ${\Gamma_{mi}}^{j}$ satisfy the Clifford algebra

[TABLE]

The charge conjugation matrix $C_{ij}$ and its inverse $C^{ij}$ are related to the $USp(4)$ symplectic form as follow

[TABLE]

We can now define the gamma matrices with all indices up or down

[TABLE]

Anti-symmetrized products of gamma matrices are defined as

[TABLE]

In particular, we have the following relations

[TABLE]

with the symmetry

[TABLE]

Other useful identities are

[TABLE]

with $\epsilon_{12345}=+1$. The sign choices are related to the definition $\Gamma_{5}=\pm\Gamma_{1}\Gamma_{2}\Gamma_{3}\Gamma_{4}$. In our calculations, we choose the convention with the upper sign.

A.2 Embedding tensor for some gauge groups with $dS_{5}$ vacua

Examples of gauge groups that lead to $dS_{5}$ vacua are listed in table 1 along with non-vanishing components of the corresponding embedding tensor.