The most general form of the metric for a homogeneous, isotropic and static space-time What is the most general form of the metric for a homogeneous, isotropic and static space-time?
For the first 2 criteria, the Robertson-Walker metric springs to mind. (I shall adopt the (-+++) signature)
$$ds^2=dt^2+a^2(t)g_{ij}(\vec x)dx^idx^j$$
Now the static condition. If I'm not mistaken, it means that the metric must be time-independent and invariant under time reversal $t\to -t$. So does that mean that the most general metric that satisfies all these 3 criteria is $$ds^2=dt^2+g_{ij}(\vec x)dx^idx^j$$ for some spatial metric $g_{ij}(\vec x)$?
Thank you.
(My apologies for the mistaken definition. I may have misunderstood what's been said in class...)
 A: The FLRW metric can be static, this is the solution that Einstein concocted before Hubble observed the expansion of the universe. The only way that Einstein could make his equations static was by introducing the infamous cosmological constant $\Lambda$. The general FLRW metric has the form
$$
\text{d}s^2 = -c^2\text{d}t^2 + a^2(t)\left[\frac{\text{d}r^2}{1 - kr^2} + r^2\text{d}\theta^2 + r^2\!\sin^2\!\theta\,\text{d}\varphi^2\right],
$$
where $k=-1$, $0$, or $1$ is the curvature of space. The Einstein field equations reduce to the Friedmann equations
$$
\begin{align}
\dot{a}^2 + kc^2 -\frac{\Lambda c^2}{3}\!a^2 &= \frac{8\pi G}{3}\!\rho\, a^2,\\
2\ddot{a}a + \dot{a}^2 + kc^2 -\Lambda c^2a^2 &= -\frac{8\pi G}{c^2}\!P\,a^2,
\end{align}
$$
with $\rho$ and $P$ the mass density and pressure density. For ordinary matter, $P=0$, and for a static universe we have $\dot{a}=\ddot{a}=0$, so that
$$
\begin{align}
\rho &= \frac{kc^2}{4\pi G a^2},\\
\Lambda &= \frac{k}{a^2}.
\end{align}
$$
moreover, since $\rho > 0$, it follows that $k=1$. In other words, the static universe has the topology of a 3-sphere. It is an unstable solution though: a small value of $\dot{a}$ or $\ddot{a}$ would make it expand or contract. And of course, since Hubble's observations, we know that the universe is in fact expanding.
