1: \begin{definition}{(Torsion 2-form)}

2: 

3: The \textbf{torsion 2-form} of $\o$ is defined by $\Theta^\o := D^\o \varphi \in \overline{\Lambda}^2(F(M),\mathbb{R}^{1,3})$, where $\varphi $ is the canonical 1-form on $F(M)$ and $\o$ is a connection $\o$ given on $F(M)$.

4: 

5: Therefore by Theorem. (\ref{Thm:ext derivative}) one has

6: \begin{equation}\label{E:connection torsion}

7: \Theta^\o := D^\o \varphi = d\varphi + \o \dot{\wedge } \varphi

8: \end{equation}

9: 

10: \end{definition}

11: