I’m continuing my series of articles for the Princeton Companion to Mathematics through the holiday season with my article on “Differential forms and integration“. This is my attempt to explain the concept of a differential form in differential geometry and several variable calculus; which I view as an extension of the concept of the *signed integral* in single variable calculus. I briefly touch on the important concept of de Rham cohomology, but mostly I stick to fundamentals.

I would also like to highlight Doron Zeilberger‘s PCM article “Enumerative and Algebraic combinatorics“. This article describes the art of how to usefully count the number of objects of a given type exactly; this subject has a rather algebraic flavour to it, in contrast with asymptotic combinatorics, which is more concerned with computing the order of magnitude of number of objects in a class. The two subjects complement each other; for instance, in my own work, I have found enumerative and other algebraic methods tend to be useful for controlling “main terms” in a given expression, while asymptotic and other analytic methods tend to be good at controlling “error terms”.

### Like this:

Like Loading...

## 18 comments

Comments feed for this article

26 December, 2007 at 6:09 am

Frank MorganDIFFERENTIAL FORMS. Geometric measure theory has a more direct and general definition of the integral of a differential form, which requires no parametrization and applies to any kD rectifiable subset of R^n. It uses kD Hausdorff measure (which can be defined in one line) and the fact that a kD rectifiable set has an (approximate) tangent plane at almost every point. Namely, apply the differential form to the tangent plane and integrate with respect to Hausdorff measure. This definition is also more clearly related to the unsigned definite integral.

26 December, 2007 at 11:53 am

finelliI think I spotted a typo in the paper http://www.math.ucla.edu/~tao/preprints/forms.pdf

If I am not mistaken, on page 5 it should read

$f(x+v) \approx f(x) + df_x(v)$ and consequently the equation just below.

Thank you for your wonderful papers !

26 December, 2007 at 6:44 pm

Terence TaoDear finelli: Thanks for the correction!

Dear Frank: Thanks for the comment! It appears to me that one also needs to specify an orientation on each tangent plane in order to define the integral of a form properly (and in case the subset is a non-orientable manifold, this orientation will necessarily be discontinuous) but still, the point that the signed definite integral (i.e. integration of forms) can be represented in terms of the unsigned one (integration against a measure) is a valid one. Which notion of integral is “better” probably depends on what type of mathematics one is doing, though. For geometric measure theory, integration against a measure is much more important than integration on forms (as term “measure” in “geometric measure theory” already suggests); but for differential topology, for instance, the reverse would be true.

26 December, 2007 at 9:35 pm

AnonymousThis was a very nice little article. I am a second year graduate student and I am planning to study Geometry and I find that differential forms, among my fellows students as well, are very difficult objects to understand well. Even after doing many textbook problems and computations, I often find myself discovering “simple” features that had eluded me in the past. I think the difficulty lies in the variety of ways in which they can be described; certainly being told they’re sections of the exterior algebra of the cotangent bundle is probably the least illuminating for most first year graduate students. I especially liked the intuitive description of them as “infinitesimal” multi-linear maps, which would fall under the category of “simple” feature I mentioned earlier. Nevertheless, thanks for this addition. I am always excited to hear intuitive surveys of topics that are all too often immediately treated with a “cold” formalism and are thus abstruse even to students that might pretend to understand them.

27 December, 2007 at 2:37 am

Michael KinyonTerry:

There are various books out there (Edwards, Flanders, Bressoud, etc.) which use differential forms, but the whole idea finally clicked for me when I found the marvelous “Applied Differential Geometry” by the late William L. Burke. It’s certainly not the book one should look to for formalities, but it has the best pictures around. Please have a look at it if you haven’t already done so.

27 December, 2007 at 4:33 am

Frank MorganGEOMETRIC MEASURE THEORY. Differential forms are actually fundamental to geometric measure theory, where the space of generalized kD surfaces (with unrestricted topology and singularities) called “currents” is defined as the dualspace of the space of smooth differential forms. In other words, a surface is defined by what you get when you integrate differential forms over it. The space of all currents is too big, so one restricts attention to the “rectifiable currents” associated with rectifiable sets.

27 December, 2007 at 8:18 am

davidspeyerThis article would have been a big help to me when I was first trying, and failing, to understand differential forms. I’ll certainly consult it if I have to teach about them.

Is there any chance of a follow up article explaining the definition of the exterior derivative in equally well motivated terms? To me, this is still one of those things that I just have to accept without understanding.

27 December, 2007 at 11:26 am

Dan CarneyHi Prof. Tao,

When you define the derivative df of a function f:R^n -> R on the top of page 5, you do so by demanding that it gives the first order Taylor approximation mentioned in a comment above,

f(x+v) \approx f(x) + df_x(v).

This is fine in R^n since the tangent space of any point is just a copy of the base manifold, but I don’t see the generalization to a generic manifold where this is no longer true. Since I too am still trying to make sense out of the exterior derivative, I was wondering how you would explain how the construction makes sense in general.

27 December, 2007 at 8:48 pm

Terence TaoDear Dan: well, the quick and dirty fix is simply to place an arbitrary smooth coordinate chart on the manifold near x, and verify by hand that the above definition is consistent across all changes of coordinate charts. Another approach is to go back to the abstract definition of the tangent space , which is the space of all curves with , with two curves which are tangent to each other in the sense that as are considered equivalent. Such curves give a way to make sense of for , up to errors of which can be hidden inside the notation that I didn’t bother defining.

More generally, at the infinitesimal level, all errors of o(|t|) can be ignored (until one starts differentiating twice or more, but we’re not doing that here), and so all smooth manifolds can be viewed as infinitesimally flat for the purposes of first derivatives. Curvature only shows up at the second derivative level.

Dear David: I’m afraid I only have some unsatisfactory “motivations” for the exterior derivative also. One way is to decide from the fundamental theorem of calculus that differentiation is the adjoint of the boundary operation , and then seek to compute what the adjoint of the boundary operator in higher dimensions is (i.e. to derive Stokes’ theorem). Another motivation is to try to work out the correct notion of a derivation is on an exterior algebra; there is basically only one non-trivial notion which is compatible with the antisymmetry of the wedge product, and then d is going to be the only such derivation (up to scalars) from k forms to k+1 forms which is covariant (I think). A third way that appeals to my Fourier-analytic background is to write , where is the 1-form that represents the “frequency” of . (This can be made rigorous using Fourier analysis or pseudodifferential calculus.) Viewed in this way, d is basically the only natural operation that combines the k-form with the 1-form of frequency.

Dear Michael: Thanks for the reference. I myself learnt forms initially the old-fashioned way, from Spivak, but I really only understood it when I got frustrated at doing differential geometry computations in coordinates and decided that there had to be a better way.

Dear Frank: Thanks again for the comments. I was vaguely aware of currents as some sort of “weighted combination of surfaces” but didn’t realise that they were defined as the dual to smooth forms (much as distributions are the dual to test functions, I suppose.)

28 December, 2007 at 12:12 am

Emmanuel KowalskiAnother way to define the operator which is somewhat abstract at first but very convenient comes from interpreting the tangent space at as the linear space of derivations on the space of smooth (say real-valued) functions on which are “based at “: a tangent vector is then seen as an -linear map such that

for all functions and . [In a chart centered at , this amounts to interpreting, say, a unit tangent vector in the -th coordinate direction as the operator of partial derivation in this direction, evaluated at the origin.]

Then , which at must map a tangent vector to a number, is simply the map , i.e., evaluating the “variable” derivation for the given function.

(This approach has the feature of working essentially unchanged in algebraic geometry.)

28 December, 2007 at 12:14 am

Emmanuel KowalskiP.S. I noticed the following typos:

page 2 line 1 delete “the”

page 7, line 19, a backslash is missing in one R^n

page 8, line -10, there seems to be missing “=0” at the end of the line.

28 December, 2007 at 12:23 pm

Terence TaoDear Emmanuel: Thanks for the corrections! I do find the abstract approach of viewing the tangent bundle as the space of derivations on some abstract algebra , then defining forms etc. by purely algebraic means to be very pretty. Indeed, with this approach, one doesn’t even really need to know that there is an underlying space X consisting of points x involved at all. In differential geometry, this approach leads to various extremely clean proofs of geometric identities (e.g. Bianchi identities for curvature), without any messing around with infinitesimals or limits at all. Though I did find it tricky to connect this “point-less” perspective with geometric intuition, at times…

31 December, 2007 at 12:32 am

t8m8rReading the article was very useful to me. Two typos to report:

page 2, end of the fifth (counting backwards) line before eq. (3): “be to” should probably be “to be”;

page 9, towards the end of the second paragraph: probably ““, not ““.

1 January, 2008 at 5:27 pm

Terence TaoDear t8m8r: Thanks for the corrections to this article, and the phase space article also!

2 January, 2008 at 3:31 am

OrrDear Prof. Tao,

This exposition is more or less the opposite of any exposition I ever saw in a course or textbook and it is therefore very illuminating, thanks!

Here are some (perhaps) typos that haven’t been mentioned above:

page 6, the first line of equations – should muliply by delta t.

page 9, line 7, perhaps it should be “… another n-form fdx_1 …”

page 9, line 6 into the second paragraph, perhaps you meant “…based at phi(x)”.

Also, in page 9, there is some confusion between capital phi and lowercase phi.

3 January, 2008 at 3:18 pm

Terence TaoThanks for the corrections!

29 March, 2011 at 8:36 pm

AnonymousWhat type of the line integrals with respect to arc length in differential geometry? It seems that there is no “sign” and it is not a “anti-derivative”. So is it the “unsigned definite integral”?

Generally speaking, can one say that all kinds of integration can be categorized into these three concepts? What about the integration in complex analysis? Are they kind of the same as those in the real world(say, can also be put into these three categories) though they have some special properties?

11 December, 2012 at 7:46 pm

JackWhat “definition” do you use for integration of forms? In page 5 of the article, you points out a connection between integration of differential forms and the Lebesgue (or Riemann) integral. I saw several textbooks actually use this connection to “define” integration of differential forms. Is there an advantage of not defining it in terms of the Lebesgue (or Riemann) integral?