An Example (part 1)
After all this talk about integration I think we need an example. This is going to take a while to do in gory detail, but I think it’s very illustrative.
First, let’s start with a function. Let be a function defined on the real plane with the negative -axis and origin cut out. We define it as the angle that the vector from the origin to makes with the positive -axis, just like in polar coordinates. Anything on the positive -axis gets the value ; anything in the upper half-plane gets a positive value of , approaching as we get near the negative -axis from above; anything in the lower half-plane gets a negative value of , approaching as we get near the negative -axis from below. The function cannot be defined smoothly across the negative axis, nor can it be defined consistently at the origin.
What we do know is that . We will now take the differential of both sides of this equation. On the left, we take the partial derivative with respect to :
and a similar formula holding true for the partial derivative with respect to . On the right, we calculate:
Putting these all together we get
Since and are independent we get two equations:
which tell us:
and so we have the differential:
Now we still can’t make sense of these formulas at , but there’s no problem along the negative -axis. In fact, if we’d chosen a different curve to cut along when we’d defined the function, we’d get the same formula for the differential. This suggests that we define the -form
on all of . Some authors will even still call this ““, even though it cannot be the differential of any single smooth function defined on the whole punctured plane. We will soon see that this is the case.
Even so, the differential is going to be identically zero. Away from the “branch curve” on which we cut in our setup — the negative real axis here — this should be obvious, because here we have since the square of the exterior derivative is automatically zero.
It would be hard to imagine it being nonzero along the branch curve, but just as an exercise let’s calculate. For the term only the partial derivative with respect to matters — the one with respect to will give another term which will cancel out — and similarly for the term. So we calculate:
Just as asserted.