This course develops the calculus of differential forms as a unified language for multivariable analysis, geometry, and integration. It begins by building the algebraic framework needed to talk about alternating multilinear maps and exterior powers, then turns to differential forms on open subsets of $\mathbb{R}^n$. From there, the central operators and ideas of the subject appear: the [exterior derivative](/theorems/1525), pullbacks, orientation, and integration of forms. Together, these tools provide a coordinate-flexible way to express differentiation and integration in several variables.

The later chapters show why the subject is so powerful. Stokes’ theorem ties the [exterior derivative](/theorems/1525) to boundary integration and serves as the organizing principle for the entire theory. Closed and exact forms, along with Poincaré’s lemma, explain when local differential information comes from potentials and when topological obstructions appear. The course concludes with applications that reconnect the abstract formalism to classical vector calculus, showing how familiar results about gradients, curls, divergence, and line and surface integrals are natural consequences of the language of differential forms.

# Introduction

This course takes the line integrals, surface integrals, change-of-variables formulas, and integral theorems of multivariable calculus and rewrites them in one language. The central objects are differential forms: algebraic devices that know how many tangent directions they should eat, how orientation affects sign, and how integration changes under parametrisation. We begin on open subsets of $\mathbb R^n$, where coordinates are available for computation, and build toward a coordinate-free formulation that later extends to smooth manifolds.

The guiding theme is that calculus has two compatible operations: differentiating inside a region and restricting to the boundary of that region. Exterior calculus is the formalism in which these operations become the [exterior derivative](/theorems/1525) $d$, the boundary operator $\partial$, and the identity

\begin{align*} \int_M d\omega = \int_{\partial M} \omega. \end{align*}

The point of the course is not to discard familiar vector calculus, but to explain why gradient, curl, divergence, [Green's theorem](/theorems/3612), Gauss' theorem, and [Stokes' theorem](/theorems/1530) are shadows of the same construction.

## Why Vector Calculus Needs A Common Language

The same integral theorem appears in several disguises, so what is the single object being integrated in each case? In $\mathbb R^3$, a vector field may be used in a line integral, a flux integral, or a divergence integral, but these are not the same operation. A line integral measures a vector field along one tangent direction, while a flux integral measures oriented area, and a volume integral measures oriented volume.

Differential forms separate these roles by degree. A $0$-form is a function, a $1$-form is integrated along oriented curves, a $2$-form is integrated over oriented surfaces, and a $3$-form is integrated over oriented regions in $\mathbb R^3$. The degree tells us the dimension of the object of integration.

[example: Vector Calculus Dictionary In R3] Let $U\subset \mathbb R^3$ be open, write $x=(x_1,x_2,x_3)$, and let $F=(P,Q,R):U\to\mathbb R^3$ be smooth. The same coordinate functions give different forms according to the dimension of the object being integrated: \begin{align*} \omega_1 &= P\,dx_1 + Q\,dx_2 + R\,dx_3,\\ \omega_2 &= P\,dx_2\wedge dx_3 + Q\,dx_3\wedge dx_1 + R\,dx_1\wedge dx_2,\\ \omega_3 &= P\,dx_1\wedge dx_2\wedge dx_3. \end{align*} For an oriented curve $\gamma:[a,b]\to U$, write $\gamma(t)=(\gamma_1(t),\gamma_2(t),\gamma_3(t))$. Since $\gamma^*dx_i=d(\gamma_i)=\dot\gamma_i(t)\,dt$, we get \begin{align*} \gamma^*\omega_1 &= P(\gamma(t))\,\gamma^*dx_1 + Q(\gamma(t))\,\gamma^*dx_2 + R(\gamma(t))\,\gamma^*dx_3\\ &= P(\gamma(t))\dot\gamma_1(t)\,dt + Q(\gamma(t))\dot\gamma_2(t)\,dt + R(\gamma(t))\dot\gamma_3(t)\,dt\\ &= \bigl(P(\gamma(t))\dot\gamma_1(t) + Q(\gamma(t))\dot\gamma_2(t) + R(\gamma(t))\dot\gamma_3(t)\bigr)\,dt\\ &= F(\gamma(t))\cdot \dot\gamma(t)\,dt. \end{align*} Thus \begin{align*} \int_\gamma \omega_1 = \int_a^b F(\gamma(t))\cdot \dot\gamma(t)\,dt, \end{align*} so $\omega_1$ is the form corresponding to the usual work integral of $F$ along an oriented curve. For an oriented parametrised surface $\Phi:W\subset\mathbb R^2\to U$, write $\Phi(u,v)=(X(u,v),Y(u,v),Z(u,v))$. Then \begin{align*} \Phi^*dx_1 &= X_u\,du+X_v\,dv,\\ \Phi^*dx_2 &= Y_u\,du+Y_v\,dv,\\ \Phi^*dx_3 &= Z_u\,du+Z_v\,dv. \end{align*} Using $du\wedge du=0$, $dv\wedge dv=0$, and $dv\wedge du=-du\wedge dv$, \begin{align*} \Phi^*(dx_2\wedge dx_3) &= (Y_u\,du+Y_v\,dv)\wedge (Z_u\,du+Z_v\,dv)\\ &= Y_uZ_u\,du\wedge du+Y_uZ_v\,du\wedge dv +Y_vZ_u\,dv\wedge du+Y_vZ_v\,dv\wedge dv\\ &= (Y_uZ_v-Y_vZ_u)\,du\wedge dv,\\ \Phi^*(dx_3\wedge dx_1) &= (Z_u\,du+Z_v\,dv)\wedge (X_u\,du+X_v\,dv)\\ &= (Z_uX_v-Z_vX_u)\,du\wedge dv,\\ \Phi^*(dx_1\wedge dx_2) &= (X_u\,du+X_v\,dv)\wedge (Y_u\,du+Y_v\,dv)\\ &= (X_uY_v-X_vY_u)\,du\wedge dv. \end{align*} Therefore \begin{align*} \Phi^*\omega_2 &= \Bigl[ P(\Phi)(Y_uZ_v-Y_vZ_u) +Q(\Phi)(Z_uX_v-Z_vX_u) +R(\Phi)(X_uY_v-X_vY_u) \Bigr]\,du\wedge dv\\ &= F(\Phi(u,v))\cdot \bigl(Y_uZ_v-Y_vZ_u,\; Z_uX_v-Z_vX_u,\; X_uY_v-X_vY_u\bigr)\,du\wedge dv\\ &= F(\Phi(u,v))\cdot(\partial_u\Phi\times \partial_v\Phi)\,du\wedge dv. \end{align*} Thus $\omega_2$ is the form corresponding to the flux of $F$ through the oriented tangent parallelogram spanned in order by $\partial_u\Phi$ and $\partial_v\Phi$. Finally, if a volume parametrisation $\Psi:A\subset\mathbb R^3\to U$ is written $\Psi(s,t,r)=(X,Y,Z)$, then \begin{align*} \Psi^*\omega_3 &= P(\Psi)\,\Psi^*(dx_1\wedge dx_2\wedge dx_3)\\ &= P(\Psi)\,dX\wedge dY\wedge dZ\\ &= P(\Psi)\,\det D\Psi\,ds\wedge dt\wedge dr. \end{align*} So $\omega_3$ is the top-degree form corresponding to an oriented volume integral with scalar density $P$. [/example]

This dictionary is not merely a notation change. It tells us which algebraic object is being pulled back to a parameter domain before integration, and it keeps track of the sign changes caused by reversing orientation.

A concrete failure of naive notation already appears for curves. If $\gamma:[0,1]\to U$ is traversed backwards by $\tilde\gamma(t)=\gamma(1-t)$, then the pullback calculation gives

\begin{align*} \int_{\tilde\gamma}\omega = -\int_\gamma \omega. \end{align*}

Writing only "$\int_C F\cdot dx$" hides the fact that the sign is attached to the oriented parametrisation, not just to the underlying set of points. Differential forms force this bookkeeping: the $1$-form is pulled back to the parameter interval, where the derivative of $1-t$ supplies the minus sign.

## The Algebra Of Oriented Measurement

What algebraic object can record length, oriented area, and oriented volume without choosing a preferred coordinate system? The answer is an alternating multilinear form. Alternation is the sign rule that makes area change sign when two ordered tangent directions are swapped, and it is the reason repeated tangent directions contribute zero oriented area.

[definition: Alternating k-linear Form] Let $V$ be a real [vector space](/page/Vector%20Space) and let $k\in\mathbb N$. An alternating $k$-linear form on $V$ is a map \begin{align*} \alpha: V^k \to \mathbb R \end{align*} that is linear in each argument and satisfies \begin{align*} \alpha(v_1,\dots,v_i,\dots,v_j,\dots,v_k) = -\alpha(v_1,\dots,v_j,\dots,v_i,\dots,v_k) \end{align*} for all $v_1,\dots,v_k\in V$ and all $i\neq j$. [/definition]

The [vector space](/page/Vector%20Space) of alternating $k$-linear forms on $V$ is denoted $\Lambda^k(V^*)$. We use the convention $\Lambda^0(V^*)=\mathbb R$. For $k=1$ this is the ordinary [dual space](/page/Dual%20Space) $V^*$; for $k=2$ it consists of signed area-measuring functions; for $k=\dim V$ it consists of signed volume forms.

A fixed alternating form measures tangent data in one vector space, but calculus needs measurements attached to every point of a region. Without a smooth dependence on the point, there is no way to differentiate coefficients, pull the measurement through a parametrisation, or integrate it consistently over a moving surface. The definition therefore treats a differential form as a pointwise choice of alternating covector that varies smoothly across the open set.