Let $e^\alpha_{\ \mu}$ be the tetrad i.e.
\begin{equation}
g_{\mu\nu} = \eta_{\alpha\beta}e^{\alpha}_{\ \mu}e^{\beta}_{\ \nu}
\end{equation}
I'm denoting the internal indices using greek letters $\alpha,\beta,\gamma,\dots$ as in Weinberg. I will use a coordinate free description from now on so $e^\alpha$ are 1-forms on spacetime such that $e^\alpha(u) = e^\alpha_{\ \mu}u^\mu$. The spin connection is a $\mathfrak{so}(1, 3)$-valued connection 1-form $\omega^\alpha_{\ \beta}$ and its curvature is given by the second structural equation
\begin{equation}
R^\alpha_{\ \ \beta} = d\omega^\alpha_{\ \ \beta} + \omega^\alpha_{\ \ \gamma}\wedge \omega^\gamma_{\ \ \beta}
\end{equation}
I am considering the torsion-free spin connection which directly relates to the Levi-Civita connection on space time. This directly relates to the curvature for the Levi-Civita connection on spacetime via the equation
\begin{equation}
e^\alpha_{\ \ \mu}e_{\beta}^{\ \ \nu}R^\mu_{\ \ \nu} = R^\alpha_{\ \ \beta}
\end{equation}
The Einstein-Cartan action is (without the cosmological constant)
\begin{equation}
S[e,\omega] = \frac{1}{16\pi G} \int \epsilon_{\alpha\beta\gamma\delta} e^\alpha \wedge e^\beta \wedge R^{\gamma\delta}
\end{equation}
(see Krosnov, Formulations of General Relativity: Gravity, Spinors and Differential forms equation 3.60)
which gives the equation of motion
\begin{equation}
\epsilon_{\alpha\beta\gamma\delta}e^\beta \wedge R^{\gamma\delta} = 0
\end{equation}
when varied wrt the tetrad and gives the zero torsion condition when varied wrt the spin connection.
My question is: how do I show that this equation implies the Einstein equation $R_{\mu\nu} = 0$?
Best Answer
I am assuming that since you are interested in the differential-forms formulation you are already familiar with the Hodge star operation. I would suggest you do the following.