Questions: Stokes' Theorem on Manifolds

Question 1

The generalized Stokes' theorem ∫_M dω = ∫_{∂M} ω unifies several classical theorems. When M is a region in ℝ² bounded by a curve C, the theorem reduces to...

• A. The divergence theorem
• B. Green's theorem
• C. The fundamental theorem of calculus
• D. The classical Stokes theorem for surfaces

Answer: (B)

When M is a 2-dimensional region in ℝ² and ω is a 1-form P dx + Q dy, then dω = (∂Q/∂x - ∂P/∂y) dx ∧ dy, and ∫_M dω = ∫_{∂M} ω becomes ∬_M (∂Q/∂x - ∂P/∂y) dA = ∮_C P dx + Q dy, which is Green's theorem. For a region in ℝ³ with boundary surface, you get the divergence theorem. For a surface with boundary curve, you get the classical Stokes theorem. For an interval [a,b], you get the fundamental theorem of calculus.

Question 2

If M is a compact oriented manifold without boundary (∂M = ∅), then ∫_M dω = 0 for any (n-1)-form ω.

• T. True
• F. False

Answer: True

By Stokes' theorem, ∫_M dω = ∫_{∂M} ω = ∫_∅ ω = 0. This has profound consequences: it means exact n-forms integrate to zero over closed manifolds. Therefore, if ∫_M α ≠ 0 for some closed n-form α (dα = 0), then α cannot be exact — it represents a nontrivial de Rham cohomology class. This is how Stokes' theorem connects to topology: the integrals of closed forms over closed manifolds detect topological features.

Question 3

Stokes' theorem requires a specific relationship between the orientation of M and the orientation of ∂M. What is this relationship?

Model answer: The boundary ∂M receives the induced orientation: at each boundary point, the outward-pointing normal vector followed by a positively oriented basis of the boundary gives a positively oriented basis of M. Equivalently, the boundary orientation is determined by the convention that (outward normal, boundary frame) is positively oriented in M. In 2D, this means the boundary curve is traversed counterclockwise when M is oriented by the standard orientation of the plane.

The induced boundary orientation is essential — using the wrong orientation flips the sign of ∫_{∂M} ω, making the theorem false. The 'outward normal first' convention is standard but must be applied carefully. For example, an annulus with the standard planar orientation has its outer boundary oriented counterclockwise and its inner boundary oriented clockwise (inward normal for the hole boundary points outward from the annulus).

Question 4

The equation ∫_M dω = ∫_{∂M} ω can be viewed as a vast generalization of the fundamental theorem of calculus ∫_a^b f'(x) dx = f(b) - f(a).

• T. True
• F. False

Answer: True

When M = [a,b], an oriented 1-manifold with boundary, and ω = f is a 0-form (function), then dω = f' dx is a 1-form. Stokes' theorem gives ∫_{[a,b]} f' dx = ∫_{∂[a,b]} f = f(b) - f(a), where the boundary consists of two points with opposite orientations. Every instance of Stokes' theorem has this structure: integration of a derivative over a region equals the boundary values of the original object. This is why it is sometimes called 'the' fundamental theorem of calculus in its most general form.