Extended canonical vierbein formalism

The canonical vierbein theory, written in the language of differential forms, is extended to include the differentials themselves as independent fields. The resulting theory strongly resembles the BRST extension of the component theory provided the hamiltonian is identified with the BRST charge Q and the differentials dxⁱ with the spatial projections of the ghosts.