Find Antiderivative 1-Form from 2-Form? I would like generalize the following theorem from Calc III: "If $U$ is an open, connected subset of $\mathbb{R}^2$ or $\mathbb{R}^3$ and $\omega$ is a 1-form on $U$ with $d\omega = 0$ on $U$, then TFAE: 1) $\omega = df$ on $U$ 2) $\omega$ is path-independent 3) For any closed loop $L$ lying entirely inside $U$, $\oint_{L} \omega = 0$"
The generalization I would like prove is "If $U$ is an open, connected subset of $\mathbb{R}^3$ with $\pi_1(U)$ finitely generated and $H_{*,dR}(U)$ finitely generated and $\omega$ is a 2-form on $U$ with $d\omega = 0$ on $U$, then TFAE: 1) $\omega = d\theta$ for some 1-form on U 2) For any 2 compact, oriented surfaces with boundary $S_1$ and $S_2$ bounding the same loop $L$ in $U$ and inducing the same orientation on $L$ , $\iint_{S_1} \omega = \iint_{S_2} \omega$ 3) For any closed, oriented surface $S$ lying entirely inside $U$, $\unicode{x222F}_{S}\ \omega = 0$"
The implications other than 3) $\Rightarrow$ 1) [or 2) $\Rightarrow$ 1)] follow from Stokes's Theorem and some standard TFAE round-robin/cycle proof nonsense.
Thanks much in advance. Any assistance is appreciated.
 A: (Many special thanks to Craig Guilbault) I have a proof for 3) $\Rightarrow$ 1). It is orders and orders of magnitude harder/more complicated than the proof of 2) $\Rightarrow$ 1) for the first theorem as outlined in Anton. It involves "Munkres-deRham cohomology" (as outlined in Analysis on Manifolds by Munkres  - his definition of $H^0(U)$ is different from standard deRham cohomology but is otherwise the same) and the standard Mayer-Vietoris sequence. 
Munkres shows that for $U = \mathbb{R}^3 \backslash \{(0,0,0)\}$, $$H^k_{M-dR}(U) \cong \begin{cases} \mathbb{R} & k=2 \\ 0 & \text{ow} \end{cases}$$ and shows this implies  3) $\Rightarrow$ 1) for this $U$. Note $U$ strong deformation retracts onto the standard 2-sphere $S^2$.
For $U = \mathbb{R}^3 \backslash ([S^1 \times \{0\}] \cup \{(0,0,z)\ |\ z \in \mathbb{R}\})$, set $X = \mathbb{R}^3 \backslash [\{(x,y,z)\ |\ x^2+y^2=1, z \ge 0\} \cup \{0,0,z)\ |\ z \in \mathbb{R}\}]$, $Y = \mathbb{R}^3 \backslash [\{(x,y,z)\ |\ x^2+y^2=1, z \le 0\} \cup \{0,0,z)\ |\ z \in \mathbb{R}\}]$, and $A = X \cap Y$. Then U = $X \cup Y$. Note $U$ strong deformation retracts onto the genus-1 torus $T^2$.
I will outline later why $$H^k_{M-dR}(A) \cong \begin{cases} \mathbb{R} & k = 0 \\ \mathbb{R} \oplus \mathbb{R} & k=1 \\ 0 & \text{ow} \end{cases}$$ and $$H^k_{M-dR}(X) \cong H^k_{M-dR}(Y) \cong\begin{cases} \mathbb{R} & k=1 \\ 0 & \text{ow} \end{cases}$$ I will also outline later why this leads to the Mayer-Vietoris sequence
\begin{equation}
\scriptstyle
0 \to H^0(U) \to^{j^0} H^0(X)\oplus H^0(Y)\to^{i^0} H^0(A) \to^{d} H^1(U) \to^{j^1} H^1(X)\oplus H^1(Y) \to^{i^1} H^1(A) \to^{d} H^2(U) \to^{j^2} H^2(X)\oplus H^2(Y)
\end{equation}
which leads to the three exact sequences
$$0 \to H^0(U) \to^{j^0} H^0(X) \oplus H^0(Y)\to^{i^0} \text{im}(i^0)$$
$$0 \to H^0(U) \to 0 \to 0$$
then
$$H^0(X)\oplus H^0(Y) \to^{i^0} H^0(A) \to^{d} H^1(U) \to^{j^1} \text{im}(j^1) \to 0$$
$$0 \to \mathbb{R} \to H^1(U) \to \mathbb{R} \to 0$$
and 
$$0 \to \text{coker}(i^1) \to^{d} H^2(U) \to^{j^2} H^2(X)\oplus H^2(Y)$$
$$0 \to \mathbb{R} \to H^2(U) \to 0$$
and so leads to $H^k_{M-dR}(U) \cong \begin{cases} 0 & k = 0 \\ \mathbb{R} \oplus \mathbb{R} & k=1 \\ \mathbb{R} & k = 2 \\ 0 & \text{ow} \end{cases}$
I will then outline later how to prove 3) $\Rightarrow$ 1), actually computing the antiderivative 1-form for a closed 2-form $\omega$ on $U$ with $\unicode{x222F}\ _{T^2}\ \omega = 0$ using a "co-chain homotopy operator" ($\mathcal{P}$ in Munkres, $K$ in Bott and Tu, and $L$ in this post) - basically integrating the 2-form with respect to $x_3 = z$ to get a 1-form on the projection of $A$ into the plane and then taking the pull-back along this projection - from this cohomology calculation for the $U$ in question.
Finally, I will show later for the various other $U$'s that have points and/or wedges of circles and/or vertical lines deleted how to find subsets $U_i$ with an associated closed, oriented surface $S_i$ onto which they strong deformation retract and associated $A_i$'s, $X_i$'s, and $Y_i$'s, compute $H^*_{M-dR}(U_i)$ for each $i$, use Mayer-Vietoris with this to compute $H^*_{M-dR}(U)$, and, for a closed 2-form $\omega$ with $\unicode{x222F}_{S_1}\ \omega = 0$ for each $i$, compute the antiderivative 1-form from the co-chain homotopy operators for the various $A_i$ with identifications via the overlaps of the various $U_i$'s from Mayer-Vietoris. The final answer will likely not be suitable for a traditional Calc III student (boo-hiss!).
"If you can't explain it simply, you don't understand it well enough." - Albert Einstein
