Finding two inequivalent closed, non-exact $1$-forms on $T = S^1 \times S^1$ I've been studying the torus and the first cohomology group $H^1_{dR}(T)$ for a couple of weeks now. I finally had a breakthrough of understanding and would like to kindly request the community to check my understanding for correctness.
It was my goal to find two inequivalent, closed, non-exact $1$-forms on $T=S^1 \times S^1$.
Here is what I did:
Step 1: Recall the basic example of $$d\theta = {x \,dy - y \,dx\over x^2 + y^2}$$ on $S^1$ and recall that it is closed and not exact.
Step 2: Since $T = S^1 \times S^1$ this suggests that $d\theta, d\varphi$ are closed and not exact where $\varphi$ and $\theta$ denote the angle functions $S^1 \to (0,2\pi)$. 
Step 3: To prove that they are not exact we have to calculate $\oint_{S^1}$ for each. This is a line integral and the way to calculate line integrals is by choosing a parametrisation and then substituting it into the integral. We choose the parametrisations 
$$ \gamma(t)= (t,0)$$
and
$$ \gamma'(t) = (0,t)$$
for $t \in (0,2\pi)$ and calculate
$$ \oint d\theta = \int_0^{2\pi} (1,0)\cdot (1,0) \,dt = \int_0^{2\pi}dt = 2 \pi$$
and similarly
$$ \oint d \varphi = 2\pi$$
So as claimed both are not exact!
Step 4: $\theta$ and $\varphi$ are not equivalent if they do not differ by a closed $1$-form. Assume there was a closed $1$-form $d\eta$ such that $d \theta = d\varphi + d\eta$. Then integrating on both sides yields
$$ \eta = 0$$
therefore $d\theta$ and $d\varphi$ are not equivalent. 

Please, if you read my work, be nitpicky and meticulous. I really
  really want to understand. If there is anything above that is missing
  detail then it is probably not due to my being lazy but rather due to
  my lack of understanding. Any feedback is appreciated.

 A: To be (as requested) nitpicky and (I hope) meticulous: Step $2$ suggests that $d\theta$ is the differential of an angle function $S^1 \to (0, 2\pi)$, but this isn't true for two reasons: First, it is not defined at the point $(1, 0) \in S^1$. More seriously, being closed but not exact, $d\theta$ is not actually the differential of any real-valued function on $S^1$. In this sense, using $d\theta$ to denote the desired $1$-form is potentially confusing.
The second statement is almost true, however (and this arguably justifies the notation $d\theta$ maligned above): Consider the coordinate chart $$\theta_1: (S^1 - \{(1, 0)\}) \to (0, 2\pi)$$ given by the usual angle function. Since $\theta_1$ is a differentiable real-valued function, it determines a perfectly good differential $d\theta_1$ on the domain of the chart. Now, we can cover $S^1$ with the two open arcs $(S^1 - \{(1, 0)\})$ and $(S^1 - \{(-1, 0)\}$, and we can define a second coordinate chart $$\theta_2 : S^1 - \{(-1, 0)\} \to (-\pi, \pi)$$ given by the angle function that takes values in $(-\pi, \pi)$, and again we get a differential $d\theta_2$ on the domain of $\theta_2$.
Now, as $\theta_1$ and $\theta_2$ are both angle functions, they differ by a constant on each component $X$ of the overlap $W := S^1 - \{(1, 0), (-1, 0)\}$ of their domains, and (on each $X$) we have $\theta_2\vert_X = \theta_1\vert_X + c$ for some constant $c$ and thus $d\theta_1\vert_X = d\theta_2\vert_X$. Hence, we can patch $d\theta_1$ and $d\theta_2$ into a single smooth $1$-form sometimes (as in the question) denoted $d\theta$ but which I'll denote $\alpha$. Now, both $d\theta_1$ and $d\theta_2$ are differentials of functions, so they are exact and hence closed. But unlike exactness closedness is a local property, and so $\alpha$ is closed. The argument using Stokes' Theorem in the question shows that $\alpha$, however is not exact.
On the other hand, we can dispense with coordinate charts altogether by exploiting the formula
$$\alpha = \frac{-y \,dx + x \, dy}{x^2 + y^2}$$
for $\alpha$ (strictly speaking, $\alpha$ is the pullback of the $1$-form on $\mathbb{R}^2 - \{0\}$ defined by the r.h.s. via the usual embedding $S^1 \hookrightarrow \mathbb{R}^2 - \{0\}$). Then, we can describe the desired $1$-forms on $T = S^1 \times S^1$ as follows: As for any Cartesian products, there are natural projection maps $\pi_i: T \to S^1$, $i = 1, 2$ onto the first and second factors of $S^1$. Then, we can define $1$-forms $\alpha_i$ on $T$ by pulling back our $1$-form $\alpha$ via these maps, that is, setting
$$\alpha_i := \pi_i^* \alpha.$$ By naturality of the exterior derivative, we have $d\alpha_i = d\pi_i^* \alpha = \pi_i^* d\alpha = 0$, so these are closed, but integrating each over an appropriate closed path (which, with our new characterization of these forms, is very quick) shows that they are not exact.
Finally, no form of the argument in (4) cannot be correct, as $\eta = 0$ implies that the two $1$-forms are actually the same. (Also, there is a mistype: Two closed forms define the same cohomology class if they differ by an exact form, not a closed form.) Anyway, we can approach this part very concretely: The two $1$-forms will be inequivalent if we can find some $1$-cycle (closed path) $\gamma$ such that $\oint_{\gamma} \alpha_1 \neq \oint_{\gamma} \alpha_2$, but direct checking shows that exactly the paths considered in the integral (which, roughly speaking, wrap around one factor circle in the torus but not the other) in the question have this property.
