Exercises to help in the understanding of differential forms?

Maybe you will find useful the notes by Sjamaar - "Manifolds and Differential Forms" which can be downloaded for free at his website. The explanation is geometrically motivated and straightforward from the ground up, and it contains lots of doable exercises and explicit detailed examples which may help you grasp everything you need to know and more. Donu Arapura has a nice elementary summary of the concepts and uses of differential forms in his notes Arapura - "Introduction to differential forms" freely downloadable too.

The most explicit, introductory but detailed, and full of exercises references for an elementary introduction to all of this, are the books:

  • Weintraub - Differential Forms, A Complement to Vector Calculus.
  • Bachman - A Geometric Approach to Differential Forms.

(The second one has a draft old version available online, but the second edition of the book has been very improved).

As a conceptual complement, a very interesting book geared toward theoretical physics applications is Baez/Muniain - "Gauge Fields, Knots and Gravity" where the meaning and extensive use of covectors and differential forms in general is used as a primary tool to formulate physical theories in geometric terms.


Using the general framework to rederive classical results should be a good exercise and let you see how the general framework relates to what you already know. Here are two exercises I think will be enlightening.

  1. Show that the de Rham complexes of $\mathbb{R}^2$ and $\mathbb{R}^3$ are isomorphic to $$0\rightarrow C^\infty(\mathbb{R}^2,\mathbb{R})\stackrel{\text{grad}}{\longrightarrow}C^\infty(\mathbb{R}^2,\mathbb{R}^2)\stackrel{\text{rot}}{\longrightarrow}C^\infty(\mathbb{R}^2,\mathbb{R})\rightarrow 0$$ and $$0\rightarrow C^\infty(\mathbb{R}^3,\mathbb{R})\stackrel{\text{grad}}{\longrightarrow}C^\infty(\mathbb{R}^3,\mathbb{R}^3)\stackrel{\text{curl}}{\longrightarrow}C^\infty(\mathbb{R}^3,\mathbb{R}^3)\stackrel{\text{div}}{\longrightarrow}C^\infty(\mathbb{R}^3,\mathbb{R})\rightarrow 0$$ respectively.

  2. Use the generalized Stokes' theorem to rederive Green's theorem, the divergence theorem and the classical stokes' theorem from classical multivariable analysis.