Relationship between $(n - 1)$ forms and flux of a vector field across a hypersurface I am currently studying about differential forms and want to deduce the Divergence Theorem (the one in $\mathbb{R}^n$) from the general Stokes' Theorem, which is obtained by taking $$\omega = \sum_{i=1}^n (-1)^{i+1}F_idx_1\wedge\dots\widehat{dx_i}\dots,\wedge dx_n$$
However, I also want to find the relation between $\omega$ and the flux of $F$ through a surface $\Sigma$. Note we defined flux using the integral
$$\text{flux} = \int_\Sigma F\cdot \hat{n} $$
 It seems to me that if $g$ is a parameterization of $\Sigma$, then $g^* \omega=F\cdot \hat{n}\ \text{dvol}_\Sigma$, but I cannot prove this. I tried writing the normal explicitly as a cross product
$$ N=\det \begin{bmatrix}
e_1 & | & |& |\\ 
 |& \frac{\partial g}{\partial u_1} & \cdots & \frac{\partial g}{\partial u_{n-1}}\\ 
e_n & | & | & |
\end{bmatrix},\ \hat{n}=\frac{N}{||N||}$$
Then if we dot product with $F$, we do get by opening the determinant a sum of the form
$$F\cdot \hat{n} = \sum_{i=1}^n (-1)^{i+1}F_i\circ g \cdot \text{det of a weird minor}$$
I couldn't get any further though.
EDIT: I should point out that my knowledge volume forms is basic and stems from the definition
$$\text{vol}_M(x)(v_1,\dots,v_k) = \varepsilon \text{vol}_k (v_1,\dots,v_k) ,\ \forall v_i \in T_xM$$ where $\varepsilon$ is chosen such that $(v_1,\dots,v_k ; \varepsilon)$ is a positivly oriented frame. I also know that if I pull back a volume form I get $\sqrt{\det Dg^T Dg} du_1 \wedge \dots \wedge du_k$
 A: Of course you mean the flux of $\vec F$ across an oriented hypersurface $\Sigma$. You don't need any parametrization to do this.
If $\vec n$ is the unit outward normal vector to $\Sigma$, then the "area" $(n-1)$-form for $\Sigma$ is given by
$$\sigma = \sum (-1)^{i-1}n_i dx_1\wedge\dots\wedge\widehat{dx_i}\wedge\dots\wedge dx_n.$$
To see this, note that for any $v_1,\dots,v_{n-1}$ in the tangent plane of $\Sigma$ at a point, we have
$\sigma(v_1,\dots,v_{n-1}) = \det(\vec n,v_1,\dots,v_{n-1})$, and this is the $(n-1)$-dimensional (signed) volume of the (oriented) parallelepiped spanned by $v_1,\dots,v_{n-1}$. Next, write $\vec F = (\vec F\cdot\vec n)\vec n + \vec G$, and note that 
\begin{multline*}
(\vec F\cdot\vec n)\sigma(v_1,\dots,v_{n-1}) = \det((\vec F\cdot\vec n)\vec n,v_1,\dots,v_{n-1}) \overset{(*)}= \det(\vec F,v_1,\dots,v_{n-1}) \\ = \big(\sum (-1)^{i-1}F_i dx_1\wedge\dots\wedge\widehat{dx_i}\wedge\dots\wedge dx_n\big)(v_1,\dots,v_{n-1}),
\end{multline*}
as desired. The equality ($*$) follows because $\det(\vec G,v_1,\dots,v_{n-1})=0$, noting that we have $n$ vectors in the $(n-1)$-dimensional tangent plane of $\Sigma$.
Thus, $\sum (-1)^{i-1}F_i dx_1\wedge\dots\wedge\widehat{dx_i}\wedge\dots\wedge dx_n$ gives the correct $(n-1)$-form whose integral over $\Sigma$ is the flux of $\vec F$ across $\Sigma$.
A: Hint It's perhaps easier to see this in a coordinate-free way (which thus establishes the Divergence Theorem for any ambient manifold $M$).
Along $\Sigma$ decompose $F$ into parts normal to and tangent to $\Sigma$, respectively, $F\vert_\Sigma = F^\perp + F^\top $, so that
$$
{\iota_F \operatorname{vol}_M} \vert_\Sigma
= {\iota_{F^\perp} \operatorname{vol}_M} \vert_\Sigma + {\iota_{F^\top} \operatorname{vol}_M} \vert_\Sigma .$$
The second term on the right is zero. To handle the first term on the right, use the definition of orthogonality to write $F^\perp$ in terms of $F\vert_\Sigma$ and $\hat n$.
In our case, $M = \Bbb R^n$ is endowed with the Euclidean metric and the standard coordinates and orientation, giving $\operatorname{vol}_M = dx^1 \wedge \cdots \wedge dx^n$, and so $\omega = \iota_F \operatorname{vol}_M$.
A: The general Stokes theorem requires only smooth manifolds. The divergence theorem, however, requires a metric, and therefore a Riemannian manifold. 
There’s a proof of this in Jack Lees Riemannian Manifolds. I forget which chapter, but it’s in one of the early ones.
