I am self-studying differential forms, and I'd like to understand the proof of Stoke's theorem.

I have read through the document here by Dan Piponi and really liked his explanation of the exterior derivative as finding the boundary in the picture (section 4, page 6), but I have a hard time to connect this with the formal definition of the exterior derivative.

Reading through the comments of his answer here, I am not sure if the concept of 'finding the boundary in the picture' applies to just xdy or any differential forms?

  • $\begingroup$ two earlier MO questions are similar: one and two --- is there something left to answer here? $\endgroup$ Jun 11, 2020 at 11:17
  • $\begingroup$ well, I think joining the dots is essentially proving, at least some local version of Stoke's theorem. I understand that there is a gap between the definition, via essentially a formula, of the exterior differential, and the intuition, which is essentially the local version of Stoke's theorem. Historically, it came from generalizing several lower dimensional special cases, and is thus non-trivial. Many books discuss it. I would guess you could find it in some volume of Spivak, one of Lee's books, possibly in Boothby's book and many other places. $\endgroup$
    – Malkoun
    Jun 11, 2020 at 13:10
  • $\begingroup$ Perhaps my recent answer in Carlo's reference link "one" may join your dots. $\endgroup$ Aug 9, 2020 at 15:26


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.