 Cartan curvature forms for a static spherical metric

In the exterior orthonormal coframe $E^0=\sqrt{V}dt$, $E^1=dr/\sqrt{V}$, $E^2=rd\theta$, $E^3=r\sin \theta d\varphi$, use ${\Omega }^a{}_b=\frac{1}{2}{R}^a{}_{bcd}{E}^c\wedge E^d$. The independent mixed-index curvature 2-forms are ${\Omega }^0{}_1=-V^{\prime \prime }{E}^0\wedge E^1/2$, ${\Omega }^0{}_A=-V^{\prime }{E}^0\wedge E^A/(2r)$, ${\Omega }^1{}_A=-V^{\prime }{E}^1\wedge E^A/(2r)$ for $A=2,3$, and ${\Omega }^2{}_3=(1-V)E^2\wedge E^3/r^2$. The orthonormal Ricci tensor is diagonal with entries $V^{\prime \prime }/2+V^{\prime }/r$, $-V^{\prime \prime }/2-V^{\prime }/r$, and twice $(1-V-r{V}^{\prime })/r^2$. The Einstein field equations with negative cosmological constant then give $V=1-2M/r+r^2/l^2$.

// Target: general-relativity.bigb