Hi 1. The problem statement, all variables and given/known data In the ADM formalsim, we need at some point to see the normal vector (to the 3D surfaces) as a 1-form. 2. Relevant equations How can we (simply) see that? (Please no Frobenius theorem, otherwise, with more explanation about this theorem) 3. The attempt at a solution No idea!!!