1 Introduction

The spatial topology of the Universe is one of the unresolved problems in cosmology. From the recent cosmic microwave background radiation data, the density fraction of the curvature is estimated as \(\Omega _k = 0.000 \pm 0.005\) (\(95\%\), Planck TT + lowP + lensing + BAO) [1]. Because of the observational error, it is not possible to determine the spatial topology from the data at the current stage. Some other efforts have been made in the inflation models in the closed/open universe [2,3,4,5,6]. The investigation of primordial density perturbation shows that the peculiar predictions of those models are beyond the resolution of the current observational data. Therefore, one needs to consider other ways in order to catch an idea of the background spatial topology, for example, the investigation of the gravitating localized objects in different topologies.

The pure closed/open (\(S_3/H_3\)) spatial topology is achieved by a constant matter field with the equation of state,

$$\begin{aligned} p=-\frac{1}{3}\rho = \mathrm{constant}, \end{aligned}$$
(1)

where \(\rho >0\) for \(S_3\) and \(\rho <0\) for \(H_3\). The resulting metric is well known as

$$\begin{aligned} ds^2 = \mp dt^2 +\frac{dr^2}{1-kr^2/R_0^2} +r^2d\Omega _2^2, \end{aligned}$$
(2)

where \(k=+1/-1\) represents \(S_3/H_3\), and \(\rho =\pm 3/(8\pi R_0^2)\). For \(S_3\), the ranges of the radial coordinate, \(0 \le r \le R_0\) and \(r \ge R_0\), are considered separately. (We shall call the former \(S_3\)-I and the latter \(S_3\)-II.) For \(S_3\)-II, we take \(g_{00}=+1\) to consider only one time coordinate.

The metric (2) is the only solution to the Einstein’s equation with the matter of Eq. (1). There is no additional mass term unlike in vacuum which admits the flat Minkowski space as the massless limit of the Schwarzschild spacetime. In order to achieve a nontrivial structure such as a black hole in \(S_3/H_3\), other type of matter than Eq. (1) needs to be introduced. Then, the \(S_3/H_3\) nature will be exposed only at some place of space while a nontrivial geometry is formed elsewhere.

For the nontrivial geometrical structure that admits the inherent \(S_3\)/\(H_3\) topology, the static fluid configuration with the equation of state \(p(r) = -\rho (r)/3\) was recently studied in Ref. [7]. It was found that there are a black-hole solution (\(S_3\)-I, \(S_3\)-II, \(H_3\)), a nonstatic cosmological solution (\(S_3\)-II, \(H_3\)), and a singular static solution (\(H_3\)). The nontrivial geometries of these three types of solutions are sourced by fluid. At some region of space, the signature of the \(S_3/H_3\) topology appears (near the equator for \(S_3\)-I, near the center for \(S_3\)-II, and at the asymptotic region for \(H_3\)). In this sense, we interpret the nontrivial geometrical configuration as a gravitating object formed in the \(S_3/H_3\) background spatial topology. This object can be considered as a large fluid object which is produced in a global universe, or a local compact object which is produced in a local \(S_3\)/\(H_3\) space.

In this paper, we consider the same static fluid in Ref. [7] with the electric field in spherical symmetry. If there is only the electric field, the spacetime is described by the Reisner–Norström solution. If we add the constant matter of Eq. (1) to the electric field, there is no consistent static solution to the Einstein’s equation. Therefore, as in Ref. [7] we consider the fluid of \(p(r) = -\rho (r)/3\). The mixture of electric field and fluid form the geometry, and we expect that the \(S_3/H_3\) topology due to fluid unveils at some region of space. When the electric field is turned off, the system reduces to the fluid-only case investigated in Ref. [7]. There are some other works on the gravitating solutions for static fluids (see e.g., Refs. [8,9,10,11,12,13,14]).

This paper consists as following. In Sect. 2, we introduce the model and field equations. In Sect. 3, we classify the solutions and discuss the spacetime structure. In Sect. 4, we discuss the geodesic motions. In Sect. 5, we study the stability of the solutions. In Sect. 6, we conclude.

Table 1 Classification of solutions. The signature of \(\rho _c\) is chosen so that \(f(\chi )g(\chi )>0\)

2 Model and field equations

We consider the electric field and the perfect fluid in static state. The static metric ansatz for spherical symmetry is given by

$$\begin{aligned} ds^2 = -f(r)dt^2 +g(r)dr^2 +r^2d\Omega _2^2. \end{aligned}$$
(3)

The energy-momentum tensor for the fluid is given by

$$\begin{aligned} T^\mu _\nu = \mathrm{diag}[-\rho (r), p(r),p(r),p(r)], \end{aligned}$$
(4)

and we consider the equation of state which meets the \(S_3/H_3\) boundary condition,

$$\begin{aligned} p(r)=-\frac{1}{3}\rho (r) . \end{aligned}$$
(5)

The field-strength tensor for the electric field is given by

$$\begin{aligned} \mathcal{F}_{\mu \nu } = \partial _\mu A_\nu - \partial _\nu A_\mu . \end{aligned}$$
(6)

We consider the static electric field only, then the vector potential is given by

$$\begin{aligned} A_\mu = [A_0(r),0,0,0]. \end{aligned}$$
(7)

Then the nonvanishing components of \(\mathcal{F}_{\mu \nu }\) in Eq. (6) are

$$\begin{aligned} \mathcal{F}_{01} = -\mathcal{F}_{10} = E(r) = [f(r)A_0(r)]', \end{aligned}$$
(8)

where E(r) is the electric field, and the prime denotes the derivative with respect to r. The energy-momentum tensor for the electric field is given by

$$\begin{aligned} \mathcal{T}^\mu _\nu&= \mathcal{F}^{\mu \alpha }\mathcal{F}_{\nu \alpha } -\frac{1}{4}\delta ^\mu _\nu \mathcal{F}_{\alpha \beta }\mathcal{F}^{\alpha \beta } \nonumber \\&= \frac{E^2(r)}{2f(r)g(r)} \mathrm{diag}(-1,-1,1,1). \end{aligned}$$
(9)

With the metric (3) and the energy-momentum tensors (4) and (9), the nonvanishing components of the Einstein’s equation, \(G^\mu _\nu = 8\pi (T^\mu _\nu +\mathcal{T}^\mu _\nu \)), are

$$\begin{aligned} G^0_0&= -\frac{1}{r^2} + \frac{1}{r^2 g} - \frac{g'}{r g^2} = - 8\pi \left[ \rho (r) +\frac{E^2(r)}{2f(r)g(r)} \right] , \end{aligned}$$
(10)
$$\begin{aligned} G^1_1&= -\frac{1}{r^2} + \frac{1}{r^2 g}+ \frac{f'}{rfg} = 8\pi \left[ p(r) -\frac{E^2(r)}{2f(r)g(r)} \right] , \end{aligned}$$
(11)
$$\begin{aligned} G^2_2&= G^3_3 = \frac{f'}{2rfg} - \frac{f'^2}{4f^2 g} - \frac{g'}{2rg^2} - \frac{f' g'}{4f g^2} + \frac{f''}{2fg} \nonumber \\&= 8\pi \left[ p(r) +\frac{E^2(r)}{2f(r)g(r)} \right] . \end{aligned}$$
(12)

Since the fluid and the electric field are minimally coupled only thorough gravity, the conservation of the energy-momentum tensor is satisfied individually, \(\nabla _\mu T^{\mu \nu } = 0\) and \(\nabla _\mu \mathcal{T}^{\mu \nu } = 0\), which provide the field equations,

$$\begin{aligned} \rho ' +\frac{f'}{f}\rho =0, \quad \frac{3E^2}{fg} \left( \frac{E'}{E} -\frac{f'}{2f} -\frac{g'}{2g} +\frac{2}{r} \right) =0. \end{aligned}$$
(13)

These field equations give solutions for fluid and electric field in terms of the gravitational field,

$$\begin{aligned} \rho (r) = \mathrm{constant} \times f(r), \quad E(r) = \mathrm{constant} \times \frac{\sqrt{f(r)g(r)}}{r^2}. \end{aligned}$$
(14)

3 Classification of solutions

With the solutions in Eq. (14) and the equation of state (5), the Einstein Eqs. (10)–(12) are solved,

$$\begin{aligned} \rho (r)&= -\frac{3}{8\pi \alpha } \left\{ 1\mp \frac{2\alpha |\beta |}{r} \left[ \beta (r^2+\alpha ) \right] ^{1/2}\right. \nonumber \\&\quad \left. +\frac{Q^2}{3}\left( \frac{1}{\alpha } +\frac{1}{2r^2} \right) \right\} , \end{aligned}$$
(15)
$$\begin{aligned} f(r)&= \frac{\rho (r)}{\rho _c}, \quad g^{-1}(r) = -\frac{8\pi }{3} (r^2+\alpha ) \rho (r), \end{aligned}$$
(16)
$$\begin{aligned} E(r)&= \frac{Q}{3r^2\left[ \beta (r^2+\alpha ) \right] ^{1/2}}, \end{aligned}$$
(17)

where, Q is the electric charge, \(\alpha \) and \(\beta \) are integration constants, and \(\rho _c = -9\beta /(8\pi )\). The above solutions reduce to those of the fluid-only solutions in Ref. [7] when \(Q=0\), and to the Reisner–Norström (RN) solution when \(\alpha \rightarrow \infty \) and \(\beta \rightarrow 0\) with \(\alpha \beta = \mathrm{finite} = M^{2/3}\).

In order to catch the idea of the spatial topology, we transform the radial coordinate r to \(\chi \), and use the metric

$$\begin{aligned} ds^2 = -f(\chi )dt^2 +g(\chi )d\chi ^2 + R_0^2b^2(\chi )d\Omega _2^2, \end{aligned}$$
(18)

where \(b(\chi )\) is introduced in the subsections below. We introduced a new parameter \(R_0\equiv \sqrt{|\alpha |}\) which is related with the curvature. In addition, we introduce another parameter \(K \equiv 2R_0^2|\beta |^{3/2}\) interpreted as a mass parameter analogous to the fluid-only black hole investigated Ref. [7]. Depending on the signatures of \(\alpha \) and \(\beta \), the solutions are classified into three categories. Two of them meet the \(S_3\) boundary condition, and the other does the \(H_3\) condition. The classes are summarized in Table 1. When both of the parameter K and the charge Q are turned off, the metric reduces to that of the pure \(S_3\)/\(H_3\) in Eq. (2)

3.1 \(S_3\)-I

This is the case of \(\alpha <0\) and \(\beta <0\). The transformation is performed by

$$\begin{aligned} r = R_0b(\chi ) = R_0\sin \chi \quad (0\le \chi \le \pi ,\; 0\le r \le R_0). \end{aligned}$$
(19)

Note that for a given value of r, \(\chi \) is double valued. The metric becomes

$$\begin{aligned} ds^2= & {} -\frac{3}{8\pi R_0^2\rho _c} \left[ 1- K \cot \chi -\frac{Q^2}{6R_0^2} (1-\cot ^2\chi ) \right] dt^2 \nonumber \\&+\frac{R_0^2}{1- K \cot \chi -(Q^2/6R_0^2) (1-\cot ^2\chi )} d\chi ^2 \nonumber \\&+R_0^2\sin ^2\chi d\Omega _2^2. \end{aligned}$$
(20)

Here, \(\rho _c>0\). This solution states that the fluid with the electric field strength in Eq. (8) closes the space in a finite region \( 0\le r \le R_0\). We believe that the fluid is responsible for this closure since the same phenomenon occurs even in the fluid-only case in Ref. [7]. Both of the Ricci scalar and the Kretschmann scalar diverge at \(\chi =0\) and \(\pi \), i.e., there exist curvature singularities at both poles. For the pure fluid case (\(Q=0\)) investigated in Ref. [7], the background \(S_3\) topology is exposed at the boundary around the equator (\(\chi \approx \pi /2\), i.e., \(r\approx R_0\)),

$$\begin{aligned} ds_3^2 \approx R_0^2d\chi ^2 +R_0^2\sin ^2\chi d\Omega _2^2. \end{aligned}$$
(21)

With the electric field, however, there is a charge correction,

$$\begin{aligned} ds_3^2 \approx \frac{R_0^2}{1-Q^2/(6R_0^2)}d\chi ^2 +R_0^2\sin ^2\chi d\Omega _2^2. \end{aligned}$$
(22)

The location of the horizon is found from \(g_{\chi \chi }^{-1}=0\),

$$\begin{aligned}&\chi _h = \chi _\pm \equiv \cot ^{-1} \left( \frac{3KR_0^2 \mp \sqrt{J_1}}{Q^2} \right) , \nonumber \\&\quad \text{ where }\quad J_1=9K^2R_0^4 -6Q^2R_0^2+Q^4. \end{aligned}$$
(23)

Depending on the existence of the horizon, there are two types of solutions. (See Fig. 1 for the graphical view of the metric function.)

(i) RN black-hole type solution If \(J_1>0\), there exist two horizons at \(\chi _h=\chi _\pm \), which coalesce when \(J_1=0\). This solution mimics the Reisner–Nordström geometry of the charge black hole. The spacetime is regular at \(\chi <\chi _-\) and \(\chi >\chi _+\). The singularity at the north pole (\(\chi =0\)) is inside the inner horizon, and is not accessible by the timelike observers as in the RN black hole. The singularity at the south pole (\(\chi =\pi \)) is naked, but is not accessible either by the timelike observers as in the fluid black hole investigated in Ref. [7]. The geodesics are studied in the next section.

(ii) Naked singular solution If \(J_1<0\), there is no horizon. Both singularities are naked, but neither of them are accessible.

Fig. 1
figure 1

Plot of metric function \(8\pi R_0^2 \rho (\chi )/3\) for \(S_3\)-I. (i) RN black-hole type solution: \(K=0.9\), \(Q=1\), \(R_0=1\). There are two horizons between which the spacetime is nonstatic. There exist two curvature singularities. Neither of them is accessible except by radial null rays. (ii) Naked singular solution: \(K=5/9\), \(Q=1\), \(R_0=1\)

3.2 \(S_3\)-II

This is the case of \(\alpha <0\), \(\beta >0\). The transformation is performed by

$$\begin{aligned} r=R_0b(\chi ) =R_0\cosh \chi \quad \left( -\infty< \chi < \infty ,\; r\ge R_0\right) , \end{aligned}$$
(24)

Again, \(\chi \) is double-valued for a given value of r. The metric becomes

$$\begin{aligned} ds^2= & {} -\frac{3}{8\pi R_0^2\rho _c} \left[ 1 \ominus \oplus K \tanh \chi -\frac{Q^2}{6R_0^2} (1+\tanh ^2\chi ) \right] dt^2\nonumber \\&+\frac{R_0^2}{-\left[ 1 \ominus \oplus K \tanh \chi -(Q^2/6R_0^2) (1+\tanh ^2\chi ) \right] } d\chi ^2 \nonumber \\&+R_0^2\cosh ^2\chi d\Omega _2^2. \end{aligned}$$
(25)

Here, \(\rho _c<0\). The fluid curves the space in a flipped way to the \(S_3\)-I case; the space is confined in the open region \(r\ge R_0\). The curvature is finite everywhere. The location of the horizon is

$$\begin{aligned}&\chi _h = \chi _\pm \equiv \tanh ^{-1} \left( \frac{\ominus \oplus 3KR_0^2 \pm \sqrt{J_2}}{Q^2} \right) , \nonumber \\&\quad \text{ where }\quad J_2=9K^2R_0^4 +6Q^2R_0^2 -Q^4. \end{aligned}$$
(26)

(The ± roots are valid for both \(\ominus \) and \(\oplus \).) There are four types of solutions. (See Fig. 2.) Two of them are black-hole type solutions (Schwarzschild and Reisner–Nordström types) without a singularity, and the others are regular and nonstatic solutions.

Let us consider the \(\ominus \) solution.

If \(J_2>0\), there are three types of solutions.

  1. (i)

    RN black-hole type solution For \(Q^2 \ge 3(1+K)R_0^2\), there are two horizons at \(\chi _\pm \) and this is the RN black-hole type.

  2. (ii)

    Schwarzschild black-hole type solution For \(3(1-K)R_0^2< Q^2 < 3(1+K)R_0^2\), there exists only one horizon. Inside the horizon (the trapped region), \(f(\chi ), g(\chi ) <0\) and \(\rho >0\). The spacetime is nonstatic in the trapped region, and static outside. The structure is similar to that of the Schwarzschild black hole.

  3. (iii)

    Nonstatic solution For \(Q^2 \le 3(1-K)R_0^2\), there is no horizon and the spacetime is nonstatic everywhere. This type of solution is special for \(S_3\)-II. This is analogous to the solution in Eq. (2) describing the region \(r\ge R_0\) in which the roles of the temporal and the radial coordinates are exchanged. If \(J_2<0\), there is one type of solution.

  4. (iv)

    Regular solution The spacetime is regular everywhere while \(\rho <0\). For the \(\oplus \) solution, the situation is the same with the \(\ominus \) solution with \(\chi \rightarrow {{-}}\chi \). Therefore, out of four types (i)-(iv), the only change is in (ii). Now, the region of \(\chi < \chi _h\) is static, and the region of \(\chi > \chi _h\) is nonstatic.

Fig. 2
figure 2

Plot of metric function \(-8\pi R_0^2 \rho (\chi )/3\) for \(S_3\)-II. (i) RN black-hole type solution: \(K=1\), \(Q=1\), \(R_0=0.4\). (ii) Schwarzschild black-hole type solution: \(K=0.3\), \(Q=1\), \(R_0=0.6\). (iii) Nonstatic solution: \(K=0.1\), \(Q=1\), \(R_0=0.4\). (iv) Regular solution: \(K=0.3\), \(Q=1\), \(R_0=1\)

3.3 \(H_3\)

This is the case of \(\alpha >0\), \(\beta >0\). The transformation is performed by

$$\begin{aligned} r= R_0b(\chi ) =R_0\sinh \chi \quad (\chi \ge 0,\; r \ge 0), \end{aligned}$$
(27)

and the metric becomes

$$\begin{aligned} ds^2= & {} -\frac{3}{8\pi R_0^2(-\rho _c)} \left[ 1 \ominus \oplus K \coth \chi +\frac{Q^2}{6R_0^2} (1+\coth ^2\chi ) \right] dt^2\nonumber \\&+\frac{R_0^2}{1 \ominus \oplus K \coth \chi +(Q^2/6R_0^2) (1+\coth ^2\chi )} d\chi ^2 \nonumber \\&+R_0^2\sinh ^2\chi d\Omega _2^2. \end{aligned}$$
(28)

Here, \(\rho _c<0\). The curvature diverges at \(\chi =0\). The location of the horizon is

$$\begin{aligned}&\chi _h = \chi _\pm \equiv \coth ^{-1} \left( \frac{\oplus \ominus 3KR_0^2 \mp \sqrt{J_3}}{Q^2} \right) , \nonumber \\&\quad \text{ where }\quad J_3=9K^2R_0^4 -6Q^2R_0^2 -Q^4. \end{aligned}$$
(29)

The solutions are classified as below. (See Fig. 3.)

For the \(\ominus \) solution in Eq. (28), there are three types of solutions for \(J_3>0\).

  1. (i)

    RN black-hole type solution For \(3(K-1)R_0^2< Q^2 < 3KR_0^2\), there are two horizons at \(\chi _\pm \) and this is the RN black-hole type.

  2. (ii)

    dS-type solution For \(Q^2 \le 3(K-1)R_0^2 \), there is only one horizon at \(\chi _+\). The spacetime is static inside the horizon, and nonstatic outside. This is a de Sitter-like solution. This solution is achieved when the electric charge Q is small. When \(Q=0\), this corresponds to the cosmological solution of the fluid-only case in Ref. [7] for which the spacetime is nonstatic everywhere. It was interpreted as a universe expanding from an initial singularity. For the present case, however, the horizon is formed due to the electric field inside which the spacetime is static.

  3. (iii)

    Naked singular solution For \(Q^2 \ge 3KR_0^2\), the solution is static everywhere, but with a singularity at the center.

For the \(\oplus \) solution in Eq. (28), or for \(J_3<0\), there is no horizon, and the solution is singular static like (iii).

Fig. 3
figure 3

Plot of metric function \(-8\pi R_0^2 \rho (\chi )/3\) for \(H_3\). (i) RN black-hole type solution (blue): \(K=1\), \(Q=1\), \(R_0=1\). (ii) dS-type solution (red): \(K=1.5\), \(Q=1\), \(R_0=1\). (iii) Naked singular solution: \(K=0.5\), \(Q=1\), \(R_0=1\)

3.4 Gauss’ law

Let us discuss the Gauss’ law in the \(\chi \) coordinate. The field-strength tensor \(\mathcal{F}_{\mu \nu }\) in Eq. (6) in the r coordinate with the components (8) is transformed to \(\mathcal{F}'_{\mu \nu }\) in the \(\chi \) coordinate with the nonzero components,

$$\begin{aligned} \mathcal{F}'_{t\chi } = -\mathcal{F}'_{\chi t} = E(\chi ) = \frac{Q}{3|\beta |^{1/2}R_0^2b^2(\chi )} . \end{aligned}$$
(30)

The electric flux is then

$$\begin{aligned} \Phi _E&= \oint E\sqrt{g^{(2)}}d^2x = \iint \frac{Q}{3|\beta |^{1/2}R_0^2b^2(\chi )} \nonumber \\&\quad \times R_0^2b^2(\chi ) \sin \theta d\theta d\phi = \frac{4\pi Q}{3|\beta |^{1/2}}\nonumber \\&\quad = \frac{4\pi Q}{\sqrt{8\pi |\rho _c|}}, \end{aligned}$$
(31)

where we used the relation \(\rho _c = -9\beta /(8\pi )\). Compared with the Gauss’ law in flat space, there is a correction due to fluid by the factor \(\sqrt{8\pi |\rho _c|}\).

3.5 Mass

In this section, let us discuss the mass of the black-hole solutions. For the fluid-only case in Ref. [7], it was investigated that the horizon structure of the fluid black hole is similar to that of the Schwarzschild black hole. The parameters are related with the Schwarzschild mass M as

$$\begin{aligned} K&= \left( \frac{R_0^2}{4M^2} -1 \right) ^{-1/2}, \quad \left( -\frac{R_0^2}{4M^2} +1 \right) ^{-1/2}, \nonumber \\&\quad \left( \frac{R_0^2}{4M^2} +1 \right) ^{-1/2}, \end{aligned}$$
(32)

for the type \(S_3\)-I, \(S_3\)-II, and \(H_3\), respectively. For the \(S_3\)-I type, there is an upper limit in the mass, \(M \rightarrow R_0/2\) as \( K \rightarrow \infty \). In this limit, the horizon approaches the equator of \(S_3\), \(\chi _h = \cot ^{-1}(1/K) \rightarrow \pi /2\).

Table 2 Effective potential \(V(\chi )\)

Other than the Schwarzschild mass, it is interesting to consider the Misner–Sharp mass \(\mathcal{M}\) which can be used for black-hole thermodynamics [15]. We evaluate \(\mathcal{M}\) in this work. When the metric is given by

$$\begin{aligned} ds^2 = h_{ab} dx^adx^b +r^2(x)d\Omega _2^2, \end{aligned}$$
(33)

where \(a,b=0,1\), the Misner–Sharp mass is defined as

$$\begin{aligned} \mathcal{M} = \frac{1}{2} (1-h^{ab} \partial _a r \partial _b r). \end{aligned}$$
(34)

In the \(\chi \) coordinate, we have \(r=R_0b(\chi )\) and Eq. (34) becomes

$$\begin{aligned} \mathcal{M}(\chi ) = -\frac{4\pi R_0^3}{3s} \rho (\chi ) b(\chi ) [b'(\chi )]^2 +\frac{R_0}{2}b(\chi ), \end{aligned}$$
(35)

where s is the signature of \(\rho _c\) (\(s=+1\) for \(S_3\)-I, and \(s=-1\) for the others). The mass depends on the radial coordinate \(\chi \).

For the fluid-only case (\(Q=0\)), the mass is still \(\chi \) dependent, while one has \(\mathcal{M}_{\mathrm{Sch}} = M\) for the ordinary Schwarzschild black hole. For the fluid black-hole solutions, one can show with the aid of Eq. (32) that the Misner–Sharp mass evaluated on the horizon coincides with the Schwarzschild mass, \(\mathcal{M}(\chi _h) = M\). This indicates that the horizon structure of the fluid black hole is the same with that of the Schwarzschild black hole.

For the ordinary RN black hole, the Misner–Sharp mass is given by \(\mathcal{M}_{\mathrm{RN}} =M-Q^2/(2r) = M-Q^2/[2R_0b(\chi )]\). For the RN black-hole type solutions obtained in this work (\(Q\ne 0\)), keeping the mass relation of K in Eq. (32), the Misner–Sharp mass evaluated on the horizons does not coincide with that of the ordinary RN black hole, \(\mathcal{M}(\chi _\pm ) \ne \mathcal{M}_\mathrm{RN}(\chi _\pm )\).

Although the horizon structure of the fluid black hole (\(Q=0\)) is the same with that of the ordinary one, the thermodynamics must be very different because the off-horizon structure is very different. We shall study the thermodynamics using the Misner–Sharp mass in a separate work including the charged case.

4 Geodesics

In this section, we discuss the geodesics of the solutions. We focus mainly on the black-hole solutions. For simplicity, we define a function,

$$\begin{aligned} F(\chi ) \equiv \frac{8\pi R_0^2}{3s}\rho (\chi ). \end{aligned}$$
(36)

The geodesic equations become

$$\begin{aligned}&t-\hbox {eq.} : \quad \frac{1}{F(\chi )} \frac{d}{d\lambda } \left[ F(\chi ) \frac{dt}{d\lambda }\right] =0 , \end{aligned}$$
(37)
$$\begin{aligned}&\phi -\hbox {eq.} : \quad \frac{1}{b^2(\chi )} \frac{d}{d\lambda } \left[ b^2(\chi ) \frac{d\phi }{d\lambda }\right] =0. \end{aligned}$$
(38)

From Eqs. (37) and (38), we denote the conserved quantities E (energy) and L (angular momentum) as

$$\begin{aligned} E \equiv F(\chi ) \frac{dt}{d\lambda } = \mathrm{constant}, \quad L \equiv b^2(\chi ) \frac{d\phi }{d\lambda } = \mathrm{constant}. \end{aligned}$$
(39)

The \(\chi \)-equation can be derived from the metric as

$$\begin{aligned} g_{\mu \nu } \frac{dx^\mu }{d\lambda } \frac{dx^\nu }{d\lambda } = - \varepsilon , \end{aligned}$$
(40)

where \(\varepsilon = 0,1\) for null and timelike geodesics, individually. On the \(\theta =\pi /2\) plane, Eq. (40) becomes

$$\begin{aligned} \frac{1}{2} \left( \frac{d\chi }{d\lambda } \right) ^2 + V(\chi ) = \frac{3E^2}{16\pi R_0^4|\rho _c|} \equiv {\tilde{E}}^2, \end{aligned}$$
(41)

where the effective potential is given by

$$\begin{aligned} V(\chi ) = \frac{1}{2} F(\chi ) \left[ \frac{L^2}{b^2(\chi )} +\frac{\varepsilon }{R_0^2} \right] . \end{aligned}$$
(42)

We summarize \(V(\chi )\) in Table 2. The effective potential \(V(\chi )\) of the black-hole type solutions is plotted in Figs. 4, 5 and 6.

For the RN black-hole type solution of \(S_3\)-I, the singularities at both poles are not accessible except by the radial null geodesic. For the fluid-only case in Ref. [7], the one at the north pole inside the horizon was accessible since the inner geometry was similar to that of the Schwarzschild black hole. However, for the present case, it is not because the inner geometry is similar to that of the charged black hole. The nonaccessibility to the naked singularity at the south pole is similar to the fluid-only case. The geodesic observer starting from the outer static region falls into the inner static region passing the intermediate nonstatic region. Afterwards, the observer bounces back to the nonstatic region and then enters the outer static region. This later motion after the bounce proceeds in the other copy of the spacetime accompanied in the usual RN geometry. The geodesic as a whole is an oscillatory orbit in the infinite tower of the RN spacetime.

Fig. 4
figure 4

Plot of effective potential \(V(\chi )\) for (i) RN black-hole type solution (\(K=0.9\), \(Q=1\), \(R_0=1\)) for \(S_3\)-I. [\(L=0\) (blue), \(L=1\) (red) for timelike and \(L=1\) for null.] The shape of the potential shows that the two singularities are not accessible except by the radial (\(L=0\)) null geodesic. The geodesic observers can get into the inner region of the black hole. Then they bounce to the outer region in the other copy of the spacetime as usual in the Reisner–Norström geometry in which there exists an infinite tower of spacetime

Fig. 5
figure 5

Plot of effective potential \(V(\chi )\) for \(S_3\)-II. [\(L=0\) (blue), \(L=4\) (red) for timelike.] (i) RN black-hole type solution: \(K=1\), \(Q=1\), \(R_0=0.4\), \(L_{\mathrm{null}}=4\). For the low energy level (\({{\tilde{E}}}\)), the geodesic motion is similar to that of \(S_3\)-I (i), which oscillates in the infinite spacetime tower. For the intermediate energy level, the geodesic motion can reach the inner static region behind the inner horizon. For the high energy level, the geodesic motion can reach the asymptotic infinity at the outer static region. (ii) Schwarzschild black-hole type solution: \(K=0.3\), \(Q=1\), \(R_0=0.6\), \(L_{\mathrm{null}}=4\). The potential is similar to that of the usual Schwarzschild black hole. For the low energy level, the geodesic motion falls into the black hole

For \(S_3\)-II, the RN black-hole type solution, when the energy level (\({{\tilde{E}}}\)) is low, the oscillatory orbit is similar to that of \(S_3\)-I. When the energy level is increased, the geodesic observer can reach the inner static region behind the inner horizon. When the energy level is high enough, the geodesic observer can escape to the asymptotic infinity in the static region. The Schwarzschild black-hole type solution has the similar geodesic structure to that of the usual Schwarzschild black hole. When the energy level is low, all the geodesic motions fall into the black hole. However, \(V(\chi )\) approaches a constant value as \(\chi \rightarrow -\infty \).

For \(H_3\), the singularity at the center is not accessible except by the radial null geodesic, which is different from the fluid-only case. Similarly to the \(S_3\)-I, it is due the electric charge. When the energy level is low, the geodesic motion is oscillatory as in \(S_3\)-I. When the energy level is high, the geodesic observer can reach the asymptotic infinity. Another interesting solution is dS-type. For this solution, the geodesics escape from the static region crossing the de Sitter-like horizon and reach asymptotic infinity. This is different from the pure de Sitter space in which there can be a stable geodesic motion inside the horizon.

Fig. 6
figure 6

Plot of effective potential \(V(\chi )\) for \(H_3\). [\(L=0\) (blue), \(L=1\) (red) for timelike.] (i) RN black-hole type solution: \(K=1\), \(Q=1\), \(R_0=1\), \(L_{\mathrm{null}}=1\). The central singularity is not accessible. For the high energy level, the geodesic motion can reach the asymptotic infinity. (ii) dS-type solution: \(K=1.5\), \(Q=1\), \(R_0=1\), \(L_{\mathrm{null}}=0.2\). There is no stable geodesic motion inside the de Sitter-like horizon. All the geodesics escape from the static region crossing the horizon

5 Stability

In this section, we study the stability of the solutions. We introduce linear spherical scalar perturbations with the metric ansatz,

$$\begin{aligned} ds^2 = -f(t,\chi )dt^2 + g(t,\chi ) d\chi ^2 + R_0^2 b^2(\chi ) d\Omega _2^2. \end{aligned}$$
(43)

The metric perturbations are introduced as

$$\begin{aligned} f(t,\chi )&= f_0(\chi ) + \epsilon f_1(t,\chi ), \end{aligned}$$
(44)
$$\begin{aligned} g(t,\chi )&= R_0^2 \big [ g_0(\chi ) + \epsilon g_1(t,\chi ) \big ], \end{aligned}$$
(45)

where \(\epsilon \) is a small parameter, and the subscript 0 stands for the background solutions obtained in Sect. 3. Using the function \(F(\chi ) = 8\pi R_0^2\rho _0(\chi )/3s\) defined in Eq. (36), where \(\rho _0(\chi )\) is the background solution in Table 1, we have

$$\begin{aligned} f_0(\chi )&= \frac{\rho _0(\chi )}{\rho _c} = \frac{3s}{8\pi R_0^2\rho _c}F(\chi ), \end{aligned}$$
(46)
$$\begin{aligned} g_0(\chi )&= \frac{1}{F(\chi )}. \end{aligned}$$
(47)

The contravariant form of the energy-momentum tensor for fluid is written as

$$\begin{aligned} T^{\mu \nu } = (\rho +p)u^\mu u^\nu + pg^{\mu \nu }, \end{aligned}$$
(48)

with the velocity four-vector

$$\begin{aligned} u^\mu = \big [ u^0(t,\chi ),u^1(t,\chi ),0,0 \big ]. \end{aligned}$$
(49)

For the fluid at hand, \(p=-\rho /3\), the perturbations for the energy density and the four-velocity are introduced by

$$\begin{aligned} \rho (t,\chi )&= \rho _0(\chi ) +\epsilon \rho _1(t,\chi ), \end{aligned}$$
(50)
$$\begin{aligned} u^0(t,\chi )&= u_0^0(\chi ) +\epsilon u_1^0(t,\chi ), \end{aligned}$$
(51)
$$\begin{aligned} u^1(t,\chi )&= u_0^1(\chi ) +\epsilon u_1^1(t,\chi ). \end{aligned}$$
(52)

We have \(u_0^1(\chi )=0\) for the comoving background fluid. From the normalization \(u^\mu u_\mu =-1\), we have \(u_0^0(\chi )=1/\sqrt{f_0(\chi )}\) and \(u_1^0(t,\chi )=-f_1u_0^0/(2f_0) = -f_1/(2f_0^{3/2})\).

For the electric field, we introduce the simplest perturbation along the radial direction only, by which there is no magnetic field induced by the perturbation,

$$\begin{aligned} \mathcal{F}'_{t\chi } = -\mathcal{F}'_{\chi t} = E(t,\chi ) = E_0(\chi ) + \epsilon E_1(t,\chi ), \end{aligned}$$
(53)

where \(E_0(\chi )\) is given in Eq. (30).

Now we apply the perturbations (44), (45), and (50)–(53), and expand the field equations in the first order of \(\epsilon \). From the (0, 1) component of the Einstein’s equation, we get

$$\begin{aligned} u_1^1(t,\chi ) = -\sqrt{\frac{2\pi R_0^2\rho _c}{3}} \frac{\dot{g_1}b'F}{s^2b\sqrt{F}}. \end{aligned}$$
(54)

Therefore, the perturbations of the four-vector, \(u_1^0\) and \(u_1^1\) in Eqs. (51) and (52), are expressed by the background functions and the metric perturbations. There are seven equations in total for four perturbations, \(f_1\), \(g_1\), \(\rho _1\) and \(E_1\); three from Einstein’s equation, two from \(\nabla _\mu T^{\mu \nu } =0\) , and two from \(\nabla _\mu \mathcal{T}^{\mu \nu } =0\). Four of them are independent equations. After manipulating equations with

$$\begin{aligned} f_1(t,\chi )&= e^{i\omega t} \psi (\chi ),\end{aligned}$$
(55)
$$\begin{aligned} g_1(t,\chi )&= e^{i\omega t} \varphi (\chi ), \end{aligned}$$
(56)

the equation for \(\varphi (\chi )\) is decoupled as

$$\begin{aligned}&-F^2\varphi '' -\left[ 3FF' + F^2 \left( 3\frac{b''}{b'} +s\frac{b}{b'} \right) \right] \varphi '\nonumber \\&\quad +\left[ \frac{\omega ^2}{\sigma } -2FF'' -FF'\left( 4\frac{b''}{b'}-\frac{b'}{b} -s\frac{b}{b'} \right) \right. \nonumber \\&\quad \left. -2F^2 \left( \frac{b'''}{b'} -\frac{b'^2}{b^2} +s \frac{bb''}{b'^2} -s \right) \right] \varphi =0, \end{aligned}$$
(57)

where \(\sigma \equiv 1/(8\pi R_0^4\rho _c s) = 1/(8\pi R_0^4|\rho _c|) >0\) for all classes. The coefficients of the above equation depend only on the background functions \(F(\chi )\) and \(b(\chi )\).

By transforming the radial coordinate and the amplitude function as

$$\begin{aligned} z = \int ^\chi _0 \frac{d\chi }{\sqrt{2}F(\chi )}, \qquad \Phi (z) = N \frac{F(\chi )b'(\chi )}{z} \varphi (\chi ), \end{aligned}$$
(58)

where N is a normalization constant, we get the perturbation equation in the nonrelativistic Schrödinger-type,

$$\begin{aligned}&\left[ -\frac{1}{2}\frac{d^2}{dz^2} - \frac{1}{z}\frac{d}{dz} +U(z) \right] \Phi (z) = -\frac{\omega ^2}{\sigma } \Phi (z) \nonumber \\&\quad =-8\pi R_0^4|\rho _c| \omega ^2 \Phi (z) \equiv \Omega \Phi (z). \end{aligned}$$
(59)

The potential is given by

$$\begin{aligned} U[z(\chi )]&= F^2 \left[ -\frac{F''}{F} +\left( \frac{F'}{F} \right) ^2 +\frac{F'}{F} \left( \frac{b''}{b'} +2\frac{b'}{b} +4s \right) \right. \nonumber \\&\quad \left. +2 \left( \frac{b''}{b'} \right) ^2 +s \right] , \end{aligned}$$
(60)

where we used \(sb/b' = -b''/b'\), \(b'''/b'=-s\), and \(b''/b=-s\). Since there always exists a positive eigenvalue \(\Omega \) for any type of potential U, i.e., \(\omega ^2 <0\), this system is unconditionally unstable.

The stability story is very similar to the fluid-only case. When perturbations are introduced to the static fluid, the fluid becomes time dependent, which drives the Universe to undergo the Friedmann expansion. This type of instability does not necessarily mean that the black-hole structure is destroyed. Instead, the instability indicates that the background universe undergoes expansion while the black-hole structure sustains.

When the perturbation of the electric field is considered, the instability can be related with the destruction of the black-hole structure. It is known that the Cauchy (inner) horizon of the charged black hole is unstable to form a singularity [16]. The perturbation introduced in this work may develop such an instability in the RN black-hole type solution.

6 Conclusions

We investigated the gravitational field of static fluid plus electric field. Both of the fluid and the electric field are the sources of the gravitational field, but the way to curve the spacetime is a bit different from each other. By adopting the equation of state \(p(r) = -\rho (r)/3\), the fluid is responsible for the topology of the background space. The spatial topology can be either closed (\(S_3\)) or open (\(H_3\)). Such a nature of the spatial topology is not observed everywhere. Instead, the signature of the background spatial topology appears at some place of the spacetime.

Based on the background topology, there exist various types of solutions in three classes which we named as \(S_3\)-I, \(S_3\)-II, and \(H_3\). Interesting classes are \(S_3\)-I and \(H_3\) although the class \(S_3\)-II has most varieties in solution. The most interesting solutions are the black-hole solutions. Due to the presence of the electric field, the black-hole geometry mimics that of the Reisner–Norström spacetime. This type of black hole exists in both \(S_3\) and \(H_3\) spaces. (There exists also a Schwarzschild-type black hole in \(S_3\)-II.) The central singularity inside the black hole of this type of solution is due to the electric source as well as the fluid source. There is a naked singularity in \(S_3\)-I at the antipodal point which is not accessible except by the radial null rays. The formation of this singularity is caused by the fluid. The geodesics of the Reisner–Norström black-hole type solution exhibit the oscillatory orbit in the infinite tower of the spacetime encountered in the usual Reisner-Norström geometry.

All the solutions obtained in this paper are unconditionally unstable. This is not surprising because the stability story is similar to the fluid-only case in Ref. [7]. The reason of the instability is that the static fluid becomes unstable (time dependent) with small perturbations and drives the background geometry to the Friedmann expansion. In addition, there is an electric field for which it is well known that the pure charged black-hole solution (Reisner–Norström geometry) is unstable under perturbations.

The solutions investigated in this paper are useful in studying the magnetic monopole in the closed/open space, which is under investigation currently. Usually, the outside geometry of the magnetic monopole is the same with that of the charged black hole (Reisner–Norström geometry) [17,18,19,20,21]. Since we obtained the charged black-hole solution in \(S_3\)/\(H_3\) with the aid of fluid, it is very interesting to investigate the magnetic monopole in the presence of fluid. It may give rise to insight about the monopole in the closed/open space. The asymptotic geometry of this type of the gauge monopole is worth while to investigate and will be very interesting to compare with the usual monopole geometry. In addition, the removal of the singularity is also a very interesting issue. For the usual case, the monopole field removes the singularity of the charged solution. For this case, however, the formation of the singularity is caused not only by the electric charge, but also by the fluid. It is interesting to see if the monopole field can regularize the singular behavior of the fluid.